@substrat-run/model-emit 0.4.0 → 0.5.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +202 -661
- package/dist/emit-sql.d.ts +2 -1
- package/dist/emit-sql.d.ts.map +1 -1
- package/dist/emit-sql.js +21 -5
- package/dist/emit-sql.js.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/journal.d.ts +24 -27
- package/dist/journal.d.ts.map +1 -1
- package/dist/journal.js +45 -165
- package/dist/journal.js.map +1 -1
- package/dist/replay.d.ts +26 -0
- package/dist/replay.d.ts.map +1 -0
- package/dist/replay.js +156 -0
- package/dist/replay.js.map +1 -0
- package/package.json +6 -2
package/dist/emit-sql.d.ts
CHANGED
|
@@ -16,7 +16,8 @@ export interface EmitSqlOptions {
|
|
|
16
16
|
* accepts duplicate rows and a column-wise parity check cannot see it (#804).
|
|
17
17
|
* - `key` becomes a `UNIQUE` constraint.
|
|
18
18
|
* - `parents` becomes a `REFERENCES` clause per parent, on `<parent>_id` when the
|
|
19
|
-
* entity declares such a column — never invented if it does not
|
|
19
|
+
* entity declares such a column — never invented if it does not, and pointed at
|
|
20
|
+
* the parent's own key rather than an assumed `id`.
|
|
20
21
|
*/
|
|
21
22
|
export declare function emitTables<T extends Record<string, EntityDef>>(entities: T, options?: EmitSqlOptions): string;
|
|
22
23
|
/** One emitted column: its name, its full definition, and whether SQLite could ADD it. */
|
package/dist/emit-sql.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"emit-sql.d.ts","sourceRoot":"","sources":["../src/emit-sql.ts"],"names":[],"mappings":"AAqBA,OAAO,EAA6B,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AA+HpF,MAAM,WAAW,cAAc;IAC7B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED
|
|
1
|
+
{"version":3,"file":"emit-sql.d.ts","sourceRoot":"","sources":["../src/emit-sql.ts"],"names":[],"mappings":"AAqBA,OAAO,EAA6B,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AA+HpF,MAAM,WAAW,cAAc;IAC7B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAC5D,QAAQ,EAAE,CAAC,EACX,OAAO,GAAE,cAAmB,GAC3B,MAAM,CAgBR;AAED,0FAA0F;AAC1F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iFAAiF;IACjF,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAC3D,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,CAAC,GACV,aAAa,EAAE,CAkDjB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,EAAE,CAG9E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,EAAE,CAO3E"}
|
package/dist/emit-sql.js
CHANGED
|
@@ -137,7 +137,8 @@ function tableOrder(entities) {
|
|
|
137
137
|
* accepts duplicate rows and a column-wise parity check cannot see it (#804).
|
|
138
138
|
* - `key` becomes a `UNIQUE` constraint.
|
|
139
139
|
* - `parents` becomes a `REFERENCES` clause per parent, on `<parent>_id` when the
|
|
140
|
-
* entity declares such a column — never invented if it does not
|
|
140
|
+
* entity declares such a column — never invented if it does not, and pointed at
|
|
141
|
+
* the parent's own key rather than an assumed `id`.
|
|
141
142
|
*/
|
|
142
143
|
export function emitTables(entities, options = {}) {
|
|
143
144
|
const exists = options.ifNotExists ? 'IF NOT EXISTS ' : '';
|
|
@@ -187,12 +188,27 @@ export function columnsOf(name, entity, entities) {
|
|
|
187
188
|
ddl += ' NOT NULL';
|
|
188
189
|
if (c.check)
|
|
189
190
|
ddl += ` ${c.check}`;
|
|
190
|
-
// A parent edge whose id column is present becomes a real foreign key
|
|
191
|
+
// A parent edge whose id column is present becomes a real foreign key —
|
|
192
|
+
// pointed at the parent's OWN key, which is not always `id`.
|
|
191
193
|
for (const parent of entity.parents ?? []) {
|
|
192
|
-
const
|
|
193
|
-
if (
|
|
194
|
-
|
|
194
|
+
const parentEntity = entities[parent];
|
|
195
|
+
if (!parentEntity)
|
|
196
|
+
continue;
|
|
197
|
+
if (c.name !== `${String(parent).replace(/([a-z0-9])([A-Z])/g, '$1_$2').toLowerCase()}_id`)
|
|
198
|
+
continue;
|
|
199
|
+
const parentKey = primaryKeyOf(String(parent), parentEntity);
|
|
200
|
+
if (parentKey.length > 1) {
|
|
201
|
+
// A one-column reference cannot point at a several-column key. SQLite
|
|
202
|
+
// parses `REFERENCES t(id)` against a table with no `id` quite happily
|
|
203
|
+
// and then rejects every valid child row at INSERT with "foreign key
|
|
204
|
+
// mismatch" — so this must refuse at emit, where someone can read it.
|
|
205
|
+
throw new Error(`emit-sql: ${name}.${c.name} points at '${String(parent)}', which is keyed by ` +
|
|
206
|
+
`(${parentKey.join(', ')}) — a single column cannot reference a composite key. ` +
|
|
207
|
+
'A composite-keyed table is not something the platform can point at: give the ' +
|
|
208
|
+
'parent a single-column identity, or drop the parent edge and model the link ' +
|
|
209
|
+
'in your own columns');
|
|
195
210
|
}
|
|
211
|
+
ddl += ` REFERENCES ${parentEntity.table}(${parentKey[0]})`;
|
|
196
212
|
}
|
|
197
213
|
out.push({ name: c.name, ddl, requiredWithoutDefault: !c.nullable });
|
|
198
214
|
}
|
package/dist/emit-sql.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"emit-sql.js","sourceRoot":"","sources":["../src/emit-sql.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,yBAAyB,CAAC;AAWpF,8EAA8E;AAC9E,SAAS,IAAI,CAAC,MAAoB;IAChC,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,sEAAsE;IACtE,SAAS,CAAC;QACR,MAAM,GAAG,GAAI,CAAgE,CAAC,IAAI,CAAC;QACnF,MAAM,CAAC,GAAG,GAAG,EAAE,QAAQ,IAAK,CAAuB,CAAC,IAAI,CAAC;QACzD,IAAI,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,GAAG,EAAE,SAAS,EAAE,CAAC;YAC3G,QAAQ,GAAG,IAAI,CAAC;YAChB,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC;YAClB,SAAS;QACX,CAAC;QACD,2DAA2D;QAC3D,MAAM,MAAM,GAAI,CAAqC,CAAC,MAAM,CAAC;QAC7D,IAAI,OAAO,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,aAAa,CAAC,EAAE,CAAC;YACjF,QAAQ,GAAG,IAAI,CAAC;YAChB,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,MAAoB,EAAE,KAAa;IAClE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,IAAI,GAAI,KAA2B,CAAC,IAAI,IAAK,KAA0C,CAAC,IAAI,EAAE,QAAQ,CAAC;IAE7G,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACvF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAChD,2EAA2E;QAC3E,2EAA2E;QAC3E,uEAAuE;QACvE,gDAAgD;QAChD,EAAE;QACF,yEAAyE;QACzE,wEAAwE;QACxE,wEAAwE;QACxE,MAAM,IAAI,KAAK,CACb,aAAa,KAAK,sEAAsE;YACtF,8EAA8E;YAC9E,yCAAyC,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9C,sEAAsE;QACtE,qEAAqE;QACrE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC7C,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CACzB,KAAgF,CAAC,OAAO;YACtF,KAAmD,CAAC,IAAI,EAAE,MAAM;YACjE,EAAE,CACO,CAAC;QACd,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,4BAA4B,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;IACjF,CAAC;IAED,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,IAAK,KAAkC,CAAC,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC1C,CAAC;IAED,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,IAAI,KAAK,CACb,wBAAwB,KAAK,eAAe,MAAM,CAAC,IAAI,CAAC,mBAAmB;QACzE,+DAA+D,CAClE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAsC,QAAW;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,GAAG,GAAa,EAAE,CAAC;IAEzB,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,OAAO,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7C,QAAQ,GAAG,KAAK,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;YAC9C,wEAAwE;YACxE,mDAAmD;YACnD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,OAAO;gBAAE,SAAS;YACtB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C,CAC9F,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD
|
|
1
|
+
{"version":3,"file":"emit-sql.js","sourceRoot":"","sources":["../src/emit-sql.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,MAAM,yBAAyB,CAAC;AAWpF,8EAA8E;AAC9E,SAAS,IAAI,CAAC,MAAoB;IAChC,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,sEAAsE;IACtE,SAAS,CAAC;QACR,MAAM,GAAG,GAAI,CAAgE,CAAC,IAAI,CAAC;QACnF,MAAM,CAAC,GAAG,GAAG,EAAE,QAAQ,IAAK,CAAuB,CAAC,IAAI,CAAC;QACzD,IAAI,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,GAAG,EAAE,SAAS,EAAE,CAAC;YAC3G,QAAQ,GAAG,IAAI,CAAC;YAChB,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC;YAClB,SAAS;QACX,CAAC;QACD,2DAA2D;QAC3D,MAAM,MAAM,GAAI,CAAqC,CAAC,MAAM,CAAC;QAC7D,IAAI,OAAO,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,aAAa,CAAC,EAAE,CAAC;YACjF,QAAQ,GAAG,IAAI,CAAC;YAChB,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,MAAoB,EAAE,KAAa;IAClE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,IAAI,GAAI,KAA2B,CAAC,IAAI,IAAK,KAA0C,CAAC,IAAI,EAAE,QAAQ,CAAC;IAE7G,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACvF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAChD,2EAA2E;QAC3E,2EAA2E;QAC3E,uEAAuE;QACvE,gDAAgD;QAChD,EAAE;QACF,yEAAyE;QACzE,wEAAwE;QACxE,wEAAwE;QACxE,MAAM,IAAI,KAAK,CACb,aAAa,KAAK,sEAAsE;YACtF,8EAA8E;YAC9E,yCAAyC,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9C,sEAAsE;QACtE,qEAAqE;QACrE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC7C,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CACzB,KAAgF,CAAC,OAAO;YACtF,KAAmD,CAAC,IAAI,EAAE,MAAM;YACjE,EAAE,CACO,CAAC;QACd,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,KAAK,4BAA4B,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;IACjF,CAAC;IAED,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,IAAK,KAAkC,CAAC,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC1C,CAAC;IAED,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,IAAI,KAAK,CACb,wBAAwB,KAAK,eAAe,MAAM,CAAC,IAAI,CAAC,mBAAmB;QACzE,+DAA+D,CAClE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAsC,QAAW;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,GAAG,GAAa,EAAE,CAAC;IAEzB,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,OAAO,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7C,QAAQ,GAAG,KAAK,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;YAC9C,wEAAwE;YACxE,mDAAmD;YACnD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,OAAO;gBAAE,SAAS;YACtB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,IAAI,KAAK,CACb,gCAAgC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C,CAC9F,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CACxB,QAAW,EACX,OAAO,GAAmB,EAAE;IAE5B,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,MAAM,GAAG,GAAa,EAAE,CAAC;IAEzB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,IAAI,GAAG;YACX,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;YAC7D,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;SACxD,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,gBAAgB,MAAM,GAAG,MAAM,CAAC,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC;AAWD;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CACvB,IAAY,EACZ,MAAiB,EACjB,QAAW;IAEX,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAqC,CAAC;IAClE,MAAM,GAAG,GAAoB,EAAE,CAAC;IAEhC,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IAE1B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACnC,0EAA0E;YAC1E,yEAAyE;YACzE,0CAA0C;YAC1C,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,IAAI,KAAK,gDAAgD;gBACxE,uDAAuD,CAC1D,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,0EAA0E;QAC1E,kEAAkE;QAClE,2DAA2D;QAC3D,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,IAAI,uBAAuB,CAAC;aACnE,IAAI,CAAC,CAAC,CAAC,QAAQ;YAAE,GAAG,IAAI,WAAW,CAAC;QACzC,IAAI,CAAC,CAAC,KAAK;YAAE,GAAG,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAClC,wEAAwE;QACxE,6DAA6D;QAC7D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAiB,CAAC,CAAC;YACjD,IAAI,CAAC,YAAY;gBAAE,SAAS;YAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,KAAK;gBAAE,SAAS;YACrG,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;YAC7D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,sEAAsE;gBACtE,uEAAuE;gBACvE,qEAAqE;gBACrE,sEAAsE;gBACtE,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,IAAI,CAAC,CAAC,IAAI,eAAe,MAAM,CAAC,MAAM,CAAC,uBAAuB;oBAC7E,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD;oBAChF,+EAA+E;oBAC/E,8EAA8E;oBAC9E,qBAAqB,CACxB,CAAC;YACJ,CAAC;YACD,GAAG,IAAI,eAAe,YAAY,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9D,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,MAAiB;IAClE,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,MAAiB;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAqC,CAAC;IAClE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,eAAe,CAAC,yBAAyB,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9D,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
export { emitTables, columnsOf, primaryKeyConstraint, uniqueConstraints, type EmitSqlOptions, type EmittedColumn, } from './emit-sql.js';
|
|
2
2
|
export { journalColumns, journalUniques, journalPrimaryKeys } from './journal.js';
|
|
3
|
+
export { readSchema, statements, type TableSchema } from './replay.js';
|
|
3
4
|
export { planMigration, parseJournal, type Journal, type JournalEntry, type MigrationPlan, } from './plan.js';
|
|
4
5
|
//# sourceMappingURL=index.d.ts.map
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,EACpB,iBAAiB,EACjB,KAAK,cAAc,EACnB,KAAK,aAAa,GACnB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EACL,aAAa,EACb,YAAY,EACZ,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,EACpB,iBAAiB,EACjB,KAAK,cAAc,EACnB,KAAK,aAAa,GACnB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EACL,aAAa,EACb,YAAY,EACZ,KAAK,OAAO,EACZ,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
export { emitTables, columnsOf, primaryKeyConstraint, uniqueConstraints, } from './emit-sql.js';
|
|
2
2
|
export { journalColumns, journalUniques, journalPrimaryKeys } from './journal.js';
|
|
3
|
+
export { readSchema, statements } from './replay.js';
|
|
3
4
|
export { planMigration, parseJournal, } from './plan.js';
|
|
4
5
|
//# sourceMappingURL=index.js.map
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,EACpB,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EACL,aAAa,EACb,YAAY,GAIb,MAAM,WAAW,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,SAAS,EACT,oBAAoB,EACpB,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAoB,MAAM,aAAa,CAAC;AACvE,OAAO,EACL,aAAa,EACb,YAAY,GAIb,MAAM,WAAW,CAAC"}
|
package/dist/journal.d.ts
CHANGED
|
@@ -1,36 +1,35 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Reading a migration journal — the verification half of `emitTables`.
|
|
3
|
-
*
|
|
4
|
-
* The emitter's claim is "what this emits is what the database ends up with";
|
|
5
|
-
* this is how that gets checked. They live together because they are two halves
|
|
6
|
-
* of one statement, and a reader that drifts from its emitter checks nothing.
|
|
7
|
-
*/
|
|
8
1
|
/**
|
|
9
2
|
* Column names per table, read out of a migration journal's SQL.
|
|
10
3
|
*
|
|
11
|
-
* Three engines had hand-rolled a copy of this and the copies had already
|
|
12
|
-
*
|
|
13
|
-
* forever.
|
|
4
|
+
* Three engines had hand-rolled a copy of this and the copies had already
|
|
5
|
+
* drifted — none followed `RENAME TO`, so a journal that rebuilds a table under
|
|
6
|
+
* a temporary name would report the pre-rebuild columns forever.
|
|
14
7
|
*
|
|
15
8
|
* It exists because a registry and a journal are two descriptions of one schema
|
|
16
9
|
* until migrations are derived from the registry. Holding them to each other is
|
|
17
10
|
* what keeps that duplication safe in the meantime.
|
|
18
11
|
*
|
|
19
|
-
*
|
|
20
|
-
*
|
|
21
|
-
*
|
|
22
|
-
*
|
|
12
|
+
* Everything a real journal does is handled, because SQLite handles it:
|
|
13
|
+
* `ADD COLUMN`, `DROP TABLE`, `RENAME COLUMN`, and the `RENAME TO` that an
|
|
14
|
+
* append-only journal uses to rebuild a table by creating a `_new`, copying,
|
|
15
|
+
* dropping the original and renaming onto its name.
|
|
23
16
|
*/
|
|
24
17
|
export declare function journalColumns(sql: string): Map<string, Set<string>>;
|
|
25
18
|
/**
|
|
26
19
|
* UNIQUE constraints per table, read out of a journal.
|
|
27
20
|
*
|
|
28
|
-
* `journalColumns`
|
|
29
|
-
*
|
|
30
|
-
*
|
|
31
|
-
*
|
|
21
|
+
* `journalColumns` answers "which columns exist". But a declared `key` is a
|
|
22
|
+
* schema fact too, and adding one to an entity that already has a table is a
|
|
23
|
+
* change SQLite cannot make in place. Without this the planner reported "up to
|
|
24
|
+
* date" over a missing constraint.
|
|
25
|
+
*
|
|
26
|
+
* All three spellings count, because the database does not distinguish them:
|
|
27
|
+
* table-level `UNIQUE (a, b)`, column-level `b TEXT UNIQUE`, and
|
|
28
|
+
* `CREATE UNIQUE INDEX … ON t (b)`. A PARTIAL index (`… WHERE deleted_at IS
|
|
29
|
+
* NULL`) is excluded — it constrains a subset of the rows, so counting it would
|
|
30
|
+
* claim a guarantee the database does not make.
|
|
32
31
|
*
|
|
33
|
-
* Normalised to `a, b` (single space,
|
|
32
|
+
* Normalised to `a, b` (single space, key order preserved) so the same
|
|
34
33
|
* constraint written two ways compares equal.
|
|
35
34
|
*/
|
|
36
35
|
export declare function journalUniques(sql: string): Map<string, Set<string>>;
|
|
@@ -43,15 +42,13 @@ export declare function journalUniques(sql: string): Map<string, Set<string>>;
|
|
|
43
42
|
* names, types and nullability across 63 tables and reported 63/63 while 15 of
|
|
44
43
|
* the emitted tables had no primary key at all.
|
|
45
44
|
*
|
|
46
|
-
*
|
|
47
|
-
*
|
|
48
|
-
*
|
|
49
|
-
* EMPTY array rather than being absent — "the journal never built this table"
|
|
50
|
-
* and "the journal built it without a key" are different answers, and only one
|
|
51
|
-
* of them is a bug.
|
|
45
|
+
* A table with no primary key maps to an EMPTY array rather than being absent —
|
|
46
|
+
* "the journal never built this table" and "the journal built it without a key"
|
|
47
|
+
* are different answers, and only one of them is a bug.
|
|
52
48
|
*
|
|
53
|
-
* Order is
|
|
54
|
-
* searched by, so `(a, b)` and `(b, a)`
|
|
49
|
+
* Order is the KEY's order, which is not always declaration order: a composite
|
|
50
|
+
* primary key is the index its columns are searched by, so `(a, b)` and `(b, a)`
|
|
51
|
+
* are not the same key.
|
|
55
52
|
*/
|
|
56
53
|
export declare function journalPrimaryKeys(sql: string): Map<string, string[]>;
|
|
57
54
|
//# sourceMappingURL=journal.d.ts.map
|
package/dist/journal.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"journal.d.ts","sourceRoot":"","sources":["../src/journal.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"journal.d.ts","sourceRoot":"","sources":["../src/journal.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAIpE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAIpE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAIrE"}
|
package/dist/journal.js
CHANGED
|
@@ -4,127 +4,60 @@
|
|
|
4
4
|
* The emitter's claim is "what this emits is what the database ends up with";
|
|
5
5
|
* this is how that gets checked. They live together because they are two halves
|
|
6
6
|
* of one statement, and a reader that drifts from its emitter checks nothing.
|
|
7
|
+
*
|
|
8
|
+
* All three readers are now views onto one replay (`./replay.ts`): the journal
|
|
9
|
+
* is run into an in-memory SQLite and the schema read back through `PRAGMA`.
|
|
10
|
+
* Before that they were three hand-rolled parsers over SQL text, and #807 is
|
|
11
|
+
* what that cost — the same table reformatted read as a different schema, and
|
|
12
|
+
* the three `RENAME TO` / `RENAME COLUMN` / `DROP TABLE` replay loops that used
|
|
13
|
+
* to live here, one per reader, were each a re-implementation of what the
|
|
14
|
+
* database does for free.
|
|
7
15
|
*/
|
|
16
|
+
import { readSchema } from './replay.js';
|
|
8
17
|
/**
|
|
9
18
|
* Column names per table, read out of a migration journal's SQL.
|
|
10
19
|
*
|
|
11
|
-
* Three engines had hand-rolled a copy of this and the copies had already
|
|
12
|
-
*
|
|
13
|
-
* forever.
|
|
20
|
+
* Three engines had hand-rolled a copy of this and the copies had already
|
|
21
|
+
* drifted — none followed `RENAME TO`, so a journal that rebuilds a table under
|
|
22
|
+
* a temporary name would report the pre-rebuild columns forever.
|
|
14
23
|
*
|
|
15
24
|
* It exists because a registry and a journal are two descriptions of one schema
|
|
16
25
|
* until migrations are derived from the registry. Holding them to each other is
|
|
17
26
|
* what keeps that duplication safe in the meantime.
|
|
18
27
|
*
|
|
19
|
-
*
|
|
20
|
-
*
|
|
21
|
-
*
|
|
22
|
-
*
|
|
28
|
+
* Everything a real journal does is handled, because SQLite handles it:
|
|
29
|
+
* `ADD COLUMN`, `DROP TABLE`, `RENAME COLUMN`, and the `RENAME TO` that an
|
|
30
|
+
* append-only journal uses to rebuild a table by creating a `_new`, copying,
|
|
31
|
+
* dropping the original and renaming onto its name.
|
|
23
32
|
*/
|
|
24
33
|
export function journalColumns(sql) {
|
|
25
|
-
const
|
|
26
|
-
for (const [
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
const cols = new Set();
|
|
30
|
-
let depth = 0;
|
|
31
|
-
for (const raw of body.split('\n')) {
|
|
32
|
-
const line = raw.trim();
|
|
33
|
-
const atTop = depth === 0;
|
|
34
|
-
depth += (line.match(/\(/g) ?? []).length - (line.match(/\)/g) ?? []).length;
|
|
35
|
-
if (!atTop)
|
|
36
|
-
continue;
|
|
37
|
-
if (!line || line.startsWith('--') || /^(PRIMARY|FOREIGN|UNIQUE|CHECK|CONSTRAINT)\b/i.test(line))
|
|
38
|
-
continue;
|
|
39
|
-
const name = /^([a-z_][a-z0-9_]*)\b/i.exec(line)?.[1];
|
|
40
|
-
if (name)
|
|
41
|
-
cols.add(name);
|
|
42
|
-
}
|
|
43
|
-
tables.set(table, cols);
|
|
44
|
-
}
|
|
45
|
-
// Replayed in statement order: a journal may add a column and later rename the
|
|
46
|
-
// table, or rename onto a name it has just dropped.
|
|
47
|
-
for (const m of sql.matchAll(
|
|
48
|
-
// `RENAME COLUMN` comes first: `RENAME TO` must not swallow it. Without this
|
|
49
|
-
// branch a renamed column reads as its old name forever, and a planner that
|
|
50
|
-
// derives migrations would emit the same rename on every run.
|
|
51
|
-
/(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+ADD COLUMN\s+([a-z_][a-z0-9_]*))|(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+RENAME COLUMN\s+([a-z_][a-z0-9_]*)\s+TO\s+([a-z_][a-z0-9_]*))|(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+RENAME TO\s+([a-z_][a-z0-9_]*))|(?:DROP TABLE (?:IF EXISTS )?([a-z_][a-z0-9_]*))/gi)) {
|
|
52
|
-
const [, addTable, addCol, renTable, renFrom, renTo, fromTable, toTable, dropped] = m;
|
|
53
|
-
if (addTable && addCol)
|
|
54
|
-
tables.get(addTable)?.add(addCol);
|
|
55
|
-
else if (dropped)
|
|
56
|
-
tables.delete(dropped);
|
|
57
|
-
else if (renTable && renFrom && renTo) {
|
|
58
|
-
const cols = tables.get(renTable);
|
|
59
|
-
if (cols?.delete(renFrom))
|
|
60
|
-
cols.add(renTo);
|
|
61
|
-
}
|
|
62
|
-
else if (fromTable && toTable) {
|
|
63
|
-
const cols = tables.get(fromTable);
|
|
64
|
-
if (cols) {
|
|
65
|
-
tables.delete(fromTable);
|
|
66
|
-
tables.set(toTable, cols);
|
|
67
|
-
}
|
|
68
|
-
}
|
|
69
|
-
}
|
|
70
|
-
return tables;
|
|
34
|
+
const out = new Map();
|
|
35
|
+
for (const [table, schema] of readSchema(sql))
|
|
36
|
+
out.set(table, new Set(schema.columns));
|
|
37
|
+
return out;
|
|
71
38
|
}
|
|
72
39
|
/**
|
|
73
40
|
* UNIQUE constraints per table, read out of a journal.
|
|
74
41
|
*
|
|
75
|
-
* `journalColumns`
|
|
76
|
-
*
|
|
77
|
-
*
|
|
78
|
-
*
|
|
42
|
+
* `journalColumns` answers "which columns exist". But a declared `key` is a
|
|
43
|
+
* schema fact too, and adding one to an entity that already has a table is a
|
|
44
|
+
* change SQLite cannot make in place. Without this the planner reported "up to
|
|
45
|
+
* date" over a missing constraint.
|
|
46
|
+
*
|
|
47
|
+
* All three spellings count, because the database does not distinguish them:
|
|
48
|
+
* table-level `UNIQUE (a, b)`, column-level `b TEXT UNIQUE`, and
|
|
49
|
+
* `CREATE UNIQUE INDEX … ON t (b)`. A PARTIAL index (`… WHERE deleted_at IS
|
|
50
|
+
* NULL`) is excluded — it constrains a subset of the rows, so counting it would
|
|
51
|
+
* claim a guarantee the database does not make.
|
|
79
52
|
*
|
|
80
|
-
* Normalised to `a, b` (single space,
|
|
53
|
+
* Normalised to `a, b` (single space, key order preserved) so the same
|
|
81
54
|
* constraint written two ways compares equal.
|
|
82
55
|
*/
|
|
83
56
|
export function journalUniques(sql) {
|
|
84
|
-
const
|
|
85
|
-
for (const [
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
const found = new Set();
|
|
89
|
-
for (const [, cols] of body.matchAll(/\bUNIQUE\s*\(([^)]*)\)/gi)) {
|
|
90
|
-
if (!cols)
|
|
91
|
-
continue;
|
|
92
|
-
found.add(cols
|
|
93
|
-
.split(',')
|
|
94
|
-
.map((c) => c.trim())
|
|
95
|
-
.filter(Boolean)
|
|
96
|
-
.join(', '));
|
|
97
|
-
}
|
|
98
|
-
tables.set(table, found);
|
|
99
|
-
}
|
|
100
|
-
// Replayed in statement order, like `journalColumns`.
|
|
101
|
-
for (const m of sql.matchAll(/(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+RENAME COLUMN\s+([a-z_][a-z0-9_]*)\s+TO\s+([a-z_][a-z0-9_]*))|(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+RENAME TO\s+([a-z_][a-z0-9_]*))|(?:DROP TABLE (?:IF EXISTS )?([a-z_][a-z0-9_]*))/gi)) {
|
|
102
|
-
const [, renTable, renFrom, renTo, fromTable, toTable, dropped] = m;
|
|
103
|
-
if (dropped) {
|
|
104
|
-
tables.delete(dropped);
|
|
105
|
-
}
|
|
106
|
-
else if (renTable && renFrom && renTo) {
|
|
107
|
-
// SQLite rewrites the constraint when a column is renamed — verified
|
|
108
|
-
// against a real database — so the reader has to as well. Missing this
|
|
109
|
-
// makes a renamed key look like a key the journal never had.
|
|
110
|
-
const cs = tables.get(renTable);
|
|
111
|
-
if (cs) {
|
|
112
|
-
tables.set(renTable, new Set([...cs].map((c) => c
|
|
113
|
-
.split(', ')
|
|
114
|
-
.map((col) => (col === renFrom ? renTo : col))
|
|
115
|
-
.join(', '))));
|
|
116
|
-
}
|
|
117
|
-
}
|
|
118
|
-
else if (fromTable && toTable) {
|
|
119
|
-
// A rebuild renames a table onto another's name; constraints travel with it.
|
|
120
|
-
const c = tables.get(fromTable);
|
|
121
|
-
if (c) {
|
|
122
|
-
tables.delete(fromTable);
|
|
123
|
-
tables.set(toTable, c);
|
|
124
|
-
}
|
|
125
|
-
}
|
|
126
|
-
}
|
|
127
|
-
return tables;
|
|
57
|
+
const out = new Map();
|
|
58
|
+
for (const [table, schema] of readSchema(sql))
|
|
59
|
+
out.set(table, new Set(schema.uniques));
|
|
60
|
+
return out;
|
|
128
61
|
}
|
|
129
62
|
/**
|
|
130
63
|
* The primary key per table, read out of a journal.
|
|
@@ -135,71 +68,18 @@ export function journalUniques(sql) {
|
|
|
135
68
|
* names, types and nullability across 63 tables and reported 63/63 while 15 of
|
|
136
69
|
* the emitted tables had no primary key at all.
|
|
137
70
|
*
|
|
138
|
-
*
|
|
139
|
-
*
|
|
140
|
-
*
|
|
141
|
-
* EMPTY array rather than being absent — "the journal never built this table"
|
|
142
|
-
* and "the journal built it without a key" are different answers, and only one
|
|
143
|
-
* of them is a bug.
|
|
71
|
+
* A table with no primary key maps to an EMPTY array rather than being absent —
|
|
72
|
+
* "the journal never built this table" and "the journal built it without a key"
|
|
73
|
+
* are different answers, and only one of them is a bug.
|
|
144
74
|
*
|
|
145
|
-
* Order is
|
|
146
|
-
* searched by, so `(a, b)` and `(b, a)`
|
|
75
|
+
* Order is the KEY's order, which is not always declaration order: a composite
|
|
76
|
+
* primary key is the index its columns are searched by, so `(a, b)` and `(b, a)`
|
|
77
|
+
* are not the same key.
|
|
147
78
|
*/
|
|
148
79
|
export function journalPrimaryKeys(sql) {
|
|
149
|
-
const
|
|
150
|
-
for (const [
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
let key = [];
|
|
154
|
-
let depth = 0;
|
|
155
|
-
for (const raw of body.split('\n')) {
|
|
156
|
-
const line = raw.trim();
|
|
157
|
-
const atTop = depth === 0;
|
|
158
|
-
depth += (line.match(/\(/g) ?? []).length - (line.match(/\)/g) ?? []).length;
|
|
159
|
-
if (!atTop || !line || line.startsWith('--'))
|
|
160
|
-
continue;
|
|
161
|
-
// Table-level. Written as its own clause, so it wins over any inline
|
|
162
|
-
// spelling — a table cannot legally have both, and if one somehow did,
|
|
163
|
-
// the explicit list is the one a reader would believe.
|
|
164
|
-
const composite = /^(?:CONSTRAINT\s+[a-z_][a-z0-9_]*\s+)?PRIMARY\s+KEY\s*\(([^)]*)\)/i.exec(line);
|
|
165
|
-
if (composite?.[1]) {
|
|
166
|
-
key = composite[1]
|
|
167
|
-
.split(',')
|
|
168
|
-
// `PRIMARY KEY (a DESC, b COLLATE NOCASE)` — the column is the first word.
|
|
169
|
-
.map((c) => /^([a-z_][a-z0-9_]*)/i.exec(c.trim())?.[1] ?? '')
|
|
170
|
-
.filter(Boolean);
|
|
171
|
-
continue;
|
|
172
|
-
}
|
|
173
|
-
if (/^(PRIMARY|FOREIGN|UNIQUE|CHECK|CONSTRAINT)\b/i.test(line))
|
|
174
|
-
continue;
|
|
175
|
-
// Inline, on the column that carries it.
|
|
176
|
-
const name = /^([a-z_][a-z0-9_]*)\b/i.exec(line)?.[1];
|
|
177
|
-
if (name && /\bPRIMARY\s+KEY\b/i.test(line) && key.length === 0)
|
|
178
|
-
key = [name];
|
|
179
|
-
}
|
|
180
|
-
tables.set(table, key);
|
|
181
|
-
}
|
|
182
|
-
// Replayed in statement order, like `journalColumns`. A rebuild renames a
|
|
183
|
-
// table onto another's name and the key travels with it; `ADD COLUMN` cannot
|
|
184
|
-
// introduce one, because SQLite refuses to add a PRIMARY KEY column.
|
|
185
|
-
for (const m of sql.matchAll(/(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+RENAME COLUMN\s+([a-z_][a-z0-9_]*)\s+TO\s+([a-z_][a-z0-9_]*))|(?:ALTER TABLE ([a-z_][a-z0-9_]*)\s+RENAME TO\s+([a-z_][a-z0-9_]*))|(?:DROP TABLE (?:IF EXISTS )?([a-z_][a-z0-9_]*))/gi)) {
|
|
186
|
-
const [, renTable, renFrom, renTo, fromTable, toTable, dropped] = m;
|
|
187
|
-
if (dropped) {
|
|
188
|
-
tables.delete(dropped);
|
|
189
|
-
}
|
|
190
|
-
else if (renTable && renFrom && renTo) {
|
|
191
|
-
const key = tables.get(renTable);
|
|
192
|
-
if (key)
|
|
193
|
-
tables.set(renTable, key.map((c) => (c === renFrom ? renTo : c)));
|
|
194
|
-
}
|
|
195
|
-
else if (fromTable && toTable) {
|
|
196
|
-
const key = tables.get(fromTable);
|
|
197
|
-
if (key) {
|
|
198
|
-
tables.delete(fromTable);
|
|
199
|
-
tables.set(toTable, key);
|
|
200
|
-
}
|
|
201
|
-
}
|
|
202
|
-
}
|
|
203
|
-
return tables;
|
|
80
|
+
const out = new Map();
|
|
81
|
+
for (const [table, schema] of readSchema(sql))
|
|
82
|
+
out.set(table, [...schema.primaryKey]);
|
|
83
|
+
return out;
|
|
204
84
|
}
|
|
205
85
|
//# sourceMappingURL=journal.js.map
|
package/dist/journal.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"journal.js","sourceRoot":"","sources":["../src/journal.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"journal.js","sourceRoot":"","sources":["../src/journal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACvF,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACvF,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACtF,OAAO,GAAG,CAAC;AACb,CAAC"}
|
package/dist/replay.d.ts
ADDED
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The journal's statements, split on the semicolons that actually end one.
|
|
3
|
+
*
|
|
4
|
+
* Quote- and comment-aware, because a `;` inside a string literal or a `--`
|
|
5
|
+
* comment ends nothing. This is the only text scanning left in the package, and
|
|
6
|
+
* it exists because the statements have to be filtered before they are run —
|
|
7
|
+
* `db.exec` would happily run the `INSERT`s too.
|
|
8
|
+
*/
|
|
9
|
+
export declare function statements(sql: string): string[];
|
|
10
|
+
export interface TableSchema {
|
|
11
|
+
/** Declaration order, as `PRAGMA table_info` reports it. */
|
|
12
|
+
readonly columns: string[];
|
|
13
|
+
/** Key order, not declaration order — `(a, b)` and `(b, a)` are different keys. Empty when the table has none. */
|
|
14
|
+
readonly primaryKey: string[];
|
|
15
|
+
/** Each constraint normalised to `a, b`. Excludes the primary key and any PARTIAL index. */
|
|
16
|
+
readonly uniques: string[];
|
|
17
|
+
}
|
|
18
|
+
/**
|
|
19
|
+
* The schema a journal leaves behind, as SQLite sees it.
|
|
20
|
+
*
|
|
21
|
+
* Throws if a schema statement does not apply — which is a feature, not a
|
|
22
|
+
* regression. A journal that cannot be replayed is a journal that will not apply
|
|
23
|
+
* to a real scope either, and the old readers answered anyway.
|
|
24
|
+
*/
|
|
25
|
+
export declare function readSchema(sql: string): Map<string, TableSchema>;
|
|
26
|
+
//# sourceMappingURL=replay.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../src/replay.ts"],"names":[],"mappings":"AAmDA;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CA4BhD;AAMD,MAAM,WAAW,WAAW;IAC1B,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,kHAAkH;IAClH,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;CAC5B;AAYD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CA2DhE"}
|