@hozu/validator 0.4.2 → 0.6.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/dist/contracts/lock.d.ts +3 -0
- package/dist/contracts/lock.d.ts.map +1 -1
- package/dist/contracts/lock.js +9 -1
- package/dist/contracts/lock.js.map +1 -1
- package/dist/contracts/mechanical.d.ts +13 -0
- package/dist/contracts/mechanical.d.ts.map +1 -0
- package/dist/contracts/mechanical.js +89 -0
- package/dist/contracts/mechanical.js.map +1 -0
- package/dist/contracts/run.d.ts +1 -0
- package/dist/contracts/run.d.ts.map +1 -1
- package/dist/contracts/run.js +11 -1
- package/dist/contracts/run.js.map +1 -1
- package/dist/contracts/verify.d.ts +1 -1
- package/dist/contracts/verify.d.ts.map +1 -1
- package/dist/contracts/verify.js +20 -7
- package/dist/contracts/verify.js.map +1 -1
- package/dist/env.d.ts.map +1 -1
- package/dist/env.js +6 -0
- package/dist/env.js.map +1 -1
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +6 -1
- package/dist/index.js.map +1 -1
- package/dist/rules/endpoints.d.ts +3 -0
- package/dist/rules/endpoints.d.ts.map +1 -0
- package/dist/rules/endpoints.js +44 -0
- package/dist/rules/endpoints.js.map +1 -0
- package/dist/rules/refs.js +1 -1
- package/dist/rules/refs.js.map +1 -1
- package/dist/truthiness-rule.d.ts +3 -0
- package/dist/truthiness-rule.d.ts.map +1 -0
- package/dist/truthiness-rule.js +21 -0
- package/dist/truthiness-rule.js.map +1 -0
- package/dist/truthiness.d.ts +8 -0
- package/dist/truthiness.d.ts.map +1 -0
- package/dist/truthiness.js +268 -0
- package/dist/truthiness.js.map +1 -0
- package/package.json +3 -3
package/dist/contracts/lock.d.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { type FeatureIR, type ProjectIR } from '@hozu/core/ir';
|
|
2
2
|
export interface LockEntry {
|
|
3
3
|
behavior: string;
|
|
4
|
+
summary: string;
|
|
4
5
|
contracts: Record<string, string>;
|
|
5
6
|
}
|
|
6
7
|
export interface Lockfile {
|
|
@@ -14,6 +15,8 @@ export interface Drift {
|
|
|
14
15
|
feature: string;
|
|
15
16
|
id: string;
|
|
16
17
|
contracts: string[];
|
|
18
|
+
before: string | null;
|
|
19
|
+
after: string;
|
|
17
20
|
}
|
|
18
21
|
export declare function drift(previous: Lockfile, next: Lockfile): Drift[];
|
|
19
22
|
//# sourceMappingURL=lock.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAuB,KAAK,SAAS,EAAkB,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAuB,KAAK,SAAS,EAAkB,MAAM,eAAe,CAAA;AAKnG,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,CAAC,CAAA;IACV,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;CACpD;AAED,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;AAK/C,wBAAgB,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CA6BhF;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAkB/E;AAED,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,MAAM,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CACd;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,GAAG,KAAK,EAAE,CAiBjE"}
|
package/dist/contracts/lock.js
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { hashJson } from '@hozu/core/ir';
|
|
2
2
|
import { resolveRef } from '../resolve.js';
|
|
3
3
|
import { guardRefs, valueRefs } from '../sites.js';
|
|
4
|
+
import { summaryOf } from './mechanical.js';
|
|
4
5
|
const at = (value, tokens) => tokens.reduce((node, t) => node?.[t], value);
|
|
5
6
|
export function behaviorOf(ir, feature, id) {
|
|
6
7
|
const tokens = id.split('/');
|
|
@@ -37,6 +38,7 @@ export function lockOf(ir, coverage) {
|
|
|
37
38
|
for (const [id, contracts] of [...cov].sort(([a], [b]) => a.localeCompare(b)))
|
|
38
39
|
entries[id] = {
|
|
39
40
|
behavior: behaviorOf(ir, feature, id),
|
|
41
|
+
summary: summaryOf(feature, id),
|
|
40
42
|
contracts: Object.fromEntries([...contracts]
|
|
41
43
|
.sort()
|
|
42
44
|
.map((c) => [c, hashJson(feature.contracts[c]).slice(0, 16)])),
|
|
@@ -54,7 +56,13 @@ export function drift(previous, next) {
|
|
|
54
56
|
continue;
|
|
55
57
|
const changed = Object.entries(entry.contracts).some(([c, hash]) => before.contracts[c] !== hash);
|
|
56
58
|
if (!changed)
|
|
57
|
-
out.push({
|
|
59
|
+
out.push({
|
|
60
|
+
feature: fid,
|
|
61
|
+
id,
|
|
62
|
+
contracts: Object.keys(entry.contracts),
|
|
63
|
+
before: before.summary ?? null,
|
|
64
|
+
after: entry.summary,
|
|
65
|
+
});
|
|
58
66
|
}
|
|
59
67
|
return out;
|
|
60
68
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,QAAQ,EAA6C,MAAM,eAAe,CAAA;AACnG,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;
|
|
1
|
+
{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,QAAQ,EAA6C,MAAM,eAAe,CAAA;AACnG,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAe3C,MAAM,EAAE,GAAG,CAAC,KAAc,EAAE,MAAgB,EAAW,EAAE,CACvD,MAAM,CAAC,MAAM,CAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAE,IAA4C,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AAEhG,MAAM,UAAU,UAAU,CAAC,EAAa,EAAE,OAAkB,EAAE,EAAU;IACtE,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAA;IACtC,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,CAA4B,CAAA;IACzD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAI/D,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7C,IAAI,UAAU,CAAC,KAAK;QAAE,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC9D,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM;QAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAClE,IAAI,MAAM,EAAE,MAAM;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAChC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1B,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;QACnC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC9D,CAAC,CAAC,CACH,CAAA;IACD,OAAO,QAAQ,CAAC;QACd,EAAE;QACF,UAAU,EAAE,GAAW;QACvB,MAAM,EAAE,MAAM;YACZ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvF,CAAC,CAAC,IAAI;QACR,GAAG,EAAE,OAAO;KACM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,EAAa,EAAE,QAA+B;IACnE,MAAM,QAAQ,GAAyB,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAA;QACjC,MAAM,OAAO,GAA8B,EAAE,CAAA;QAC7C,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3E,OAAO,CAAC,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;gBACrC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC/B,SAAS,EAAE,MAAM,CAAC,WAAW,CAC3B,CAAC,GAAG,SAAS,CAAC;qBACX,IAAI,EAAE;qBACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACnF;aACF,CAAA;QACH,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;IACzB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAA;AACjC,CAAC;AAUD,MAAM,UAAU,KAAK,CAAC,QAAkB,EAAE,IAAc;IACtD,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;QACxD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;YAC3C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;gBAAE,SAAQ;YAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;YACjG,IAAI,CAAC,OAAO;gBACV,GAAG,CAAC,IAAI,CAAC;oBACP,OAAO,EAAE,GAAG;oBACZ,EAAE;oBACF,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;oBACvC,MAAM,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;oBAC9B,KAAK,EAAE,KAAK,CAAC,OAAO;iBACrB,CAAC,CAAA;QACN,CAAC;IACH,OAAO,GAAG,CAAA;AACZ,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
import type { FeatureIR, GuardExpr, StateIR, TransitionIR, ValueExpr } from '@hozu/core/ir';
|
|
2
|
+
export interface Located {
|
|
3
|
+
from: string;
|
|
4
|
+
trigger: string;
|
|
5
|
+
transition: TransitionIR;
|
|
6
|
+
target: StateIR | undefined;
|
|
7
|
+
}
|
|
8
|
+
export declare function locate(feature: FeatureIR, id: string): Located;
|
|
9
|
+
export declare function isMechanical(feature: FeatureIR, id: string): boolean;
|
|
10
|
+
export declare function showValue(v: ValueExpr): string;
|
|
11
|
+
export declare function showGuard(g: GuardExpr): string;
|
|
12
|
+
export declare function summaryOf(feature: FeatureIR, id: string): string;
|
|
13
|
+
//# sourceMappingURL=mechanical.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mechanical.d.ts","sourceRoot":"","sources":["../../src/contracts/mechanical.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAG3F,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,YAAY,CAAA;IACxB,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;CAC5B;AAID,wBAAgB,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAoB9D;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAUpE;AAID,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAU9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAY9C;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAmBhE"}
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
import { valueRefs } from '../sites.js';
|
|
2
|
+
const short = (ref) => ref.slice(ref.indexOf('.') + 1);
|
|
3
|
+
export function locate(feature, id) {
|
|
4
|
+
const [from, kind, ...rest] = id.split('/');
|
|
5
|
+
const state = feature.machine.states[from];
|
|
6
|
+
let transition;
|
|
7
|
+
let trigger;
|
|
8
|
+
if (kind === 'on') {
|
|
9
|
+
transition = state.on[rest[0]][Number(rest[1])];
|
|
10
|
+
trigger = short(rest[0]);
|
|
11
|
+
}
|
|
12
|
+
else if (kind === 'after') {
|
|
13
|
+
const after = state.after[Number(rest[0])];
|
|
14
|
+
transition = after.transition;
|
|
15
|
+
trigger = `after ${after.ms}ms`;
|
|
16
|
+
}
|
|
17
|
+
else if (rest[0] === 'done') {
|
|
18
|
+
transition = state.invoke.done[Number(rest[1])];
|
|
19
|
+
trigger = `done ${short(state.invoke.effect)}`;
|
|
20
|
+
}
|
|
21
|
+
else {
|
|
22
|
+
transition = state.invoke.failed[rest[1]][Number(rest[2])];
|
|
23
|
+
trigger = `failed ${short(state.invoke.effect)}.${rest[1]}`;
|
|
24
|
+
}
|
|
25
|
+
return { from, trigger, transition, target: feature.machine.states[transition.target] };
|
|
26
|
+
}
|
|
27
|
+
export function isMechanical(feature, id) {
|
|
28
|
+
const { transition, target } = locate(feature, id);
|
|
29
|
+
if (transition.guard || transition.navigate)
|
|
30
|
+
return false;
|
|
31
|
+
let computes = false;
|
|
32
|
+
const found = () => {
|
|
33
|
+
computes = true;
|
|
34
|
+
};
|
|
35
|
+
for (const a of transition.assign)
|
|
36
|
+
valueRefs(a.value, '', found);
|
|
37
|
+
if (target?.invoke)
|
|
38
|
+
valueRefs(target.invoke.input, '', found);
|
|
39
|
+
return !computes;
|
|
40
|
+
}
|
|
41
|
+
const names = { context: 'ctx' };
|
|
42
|
+
export function showValue(v) {
|
|
43
|
+
if ('literal' in v)
|
|
44
|
+
return JSON.stringify(v.literal);
|
|
45
|
+
if ('ref' in v)
|
|
46
|
+
return [v.ref === 'binding' ? 'item' : (names[v.ref] ?? v.ref), ...v.path].join('.');
|
|
47
|
+
if ('object' in v)
|
|
48
|
+
return `{ ${Object.entries(v.object)
|
|
49
|
+
.map(([k, x]) => `${k}: ${showValue(x)}`)
|
|
50
|
+
.join(', ')} }`;
|
|
51
|
+
if ('fn' in v)
|
|
52
|
+
return `${short(v.fn)}(${showValue(v.arg)})`;
|
|
53
|
+
if ('test' in v)
|
|
54
|
+
return showGuard(v.test);
|
|
55
|
+
return `link(${v.link}, ${showValue(v.params)})`;
|
|
56
|
+
}
|
|
57
|
+
export function showGuard(g) {
|
|
58
|
+
switch (g.op) {
|
|
59
|
+
case 'and':
|
|
60
|
+
case 'or':
|
|
61
|
+
return `(${g.args.map(showGuard).join(` ${g.op} `)})`;
|
|
62
|
+
case 'not':
|
|
63
|
+
return `not ${showGuard(g.arg)}`;
|
|
64
|
+
case 'fn':
|
|
65
|
+
return `${short(g.fn)}(${showValue(g.arg)})`;
|
|
66
|
+
default:
|
|
67
|
+
return `${showValue(g.left)} ${g.op} ${showValue(g.right)}`;
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
export function summaryOf(feature, id) {
|
|
71
|
+
const { from, trigger, transition, target } = locate(feature, id);
|
|
72
|
+
const parts = [`${from} --${trigger}--> ${transition.target}`];
|
|
73
|
+
if (transition.guard)
|
|
74
|
+
parts.push(`if ${showGuard(transition.guard)}`);
|
|
75
|
+
if (transition.assign.length)
|
|
76
|
+
parts.push(transition.assign
|
|
77
|
+
.map((a) => a.op === 'set'
|
|
78
|
+
? `${a.path.join('.')} := ${showValue(a.value)}`
|
|
79
|
+
: a.op === 'removeWhere'
|
|
80
|
+
? `${a.path.join('.')} -= where ${a.key} = ${showValue(a.value)}`
|
|
81
|
+
: `${a.path.join('.')} ${a.op === 'inc' ? '+=' : 'append'} ${showValue(a.value)}`)
|
|
82
|
+
.join(', '));
|
|
83
|
+
if (transition.navigate)
|
|
84
|
+
parts.push(`navigate ${showValue(transition.navigate)}`);
|
|
85
|
+
if (target?.invoke)
|
|
86
|
+
parts.push(`invoke ${short(target.invoke.effect)}(${showValue(target.invoke.input)})`);
|
|
87
|
+
return parts.join(' · ');
|
|
88
|
+
}
|
|
89
|
+
//# sourceMappingURL=mechanical.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mechanical.js","sourceRoot":"","sources":["../../src/contracts/mechanical.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AASvC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9D,MAAM,UAAU,MAAM,CAAC,OAAkB,EAAE,EAAU;IACnD,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAkC,CAAA;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,IAAI,CAAE,CAAA;IAC5C,IAAI,UAAwB,CAAA;IAC5B,IAAI,OAAe,CAAA;IACnB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,UAAU,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAClD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAA;IAC3B,CAAC;SAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAC3C,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;QAC7B,OAAO,GAAG,SAAS,KAAK,CAAC,EAAE,IAAI,CAAA;IACjC,CAAC;SAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QAC9B,UAAU,GAAG,KAAK,CAAC,MAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QACjD,OAAO,GAAG,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,EAAE,CAAA;IACjD,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAC9D,OAAO,GAAG,UAAU,KAAK,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAkB,EAAE,EAAU;IACzD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAClD,IAAI,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAA;IACzD,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,QAAQ,GAAG,IAAI,CAAA;IACjB,CAAC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM;QAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IAChE,IAAI,MAAM,EAAE,MAAM;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IAC7D,OAAO,CAAC,QAAQ,CAAA;AAClB,CAAC;AAED,MAAM,KAAK,GAA2B,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AAExD,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACpD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpG,IAAI,QAAQ,IAAI,CAAC;QACf,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;aACjC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IACnB,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA;IAC3D,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACzC,OAAO,QAAQ,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAA;QACvD,KAAK,KAAK;YACR,OAAO,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAA;QAClC,KAAK,IAAI;YACP,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA;QAC9C;YACE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAA;IAC/D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAkB,EAAE,EAAU;IACtD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACjE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,MAAM,OAAO,OAAO,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9D,IAAI,UAAU,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACrE,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM;QAC1B,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,MAAM;aACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,EAAE,KAAK,KAAK;YACZ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;YAChD,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa;gBACtB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;gBACjE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CACtF;aACA,IAAI,CAAC,IAAI,CAAC,CACd,CAAA;IACH,IAAI,UAAU,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACjF,IAAI,MAAM,EAAE,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC1G,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC"}
|
package/dist/contracts/run.d.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAsB,MAAM,eAAe,CAAA;AAC1E,OAAO,EAAE,KAAK,eAAe,EAAsD,MAAM,eAAe,CAAA;AAExG,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;IACvB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3B,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;
|
|
1
|
+
{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAsB,MAAM,eAAe,CAAA;AAC1E,OAAO,EAAE,KAAK,eAAe,EAAsD,MAAM,eAAe,CAAA;AAExG,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;IACvB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3B,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,OAAO,EAAE,OAAO,GAAG,IAAI,CAAA;CACxB;AAuCD,wBAAgB,WAAW,CACzB,OAAO,EAAE,eAAe,EACxB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAC5B,WAAW,CAiIb"}
|
package/dist/contracts/run.js
CHANGED
|
@@ -110,7 +110,17 @@ export function runContract(machine, contract, checks) {
|
|
|
110
110
|
if (expect.context !== null && !equal(expect.context, snapshot.context))
|
|
111
111
|
stop('HZ015', ['expect', 'context'], 'Context differs from the expectation', `${firstDifference(expect.context, snapshot.context)}. ${path}`);
|
|
112
112
|
if (expect.effects !== null && !equal(expect.effects, invokes))
|
|
113
|
-
|
|
113
|
+
throw new Stop({
|
|
114
|
+
code: 'HZ015',
|
|
115
|
+
tokens: ['expect', 'effects'],
|
|
116
|
+
message: 'Effects (invokes and navigation) differ from the expectation',
|
|
117
|
+
cause: `Expected ${show(expect.effects)}, got ${show(invokes)}. ${path}`,
|
|
118
|
+
snippet: `effects: [${invokes
|
|
119
|
+
.map((e) => 'navigate' in e
|
|
120
|
+
? `{ navigate: ${JSON.stringify(e.navigate)} }`
|
|
121
|
+
: `{ effect: ${e.effect.slice(e.effect.indexOf('.') + 1)}, input: ${JSON.stringify(e.input)} }`)
|
|
122
|
+
.join(', ')}],`,
|
|
123
|
+
});
|
|
114
124
|
return { taken, failure: null };
|
|
115
125
|
}
|
|
116
126
|
catch (error) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,KAAK,EAAE,KAAK,EAA4B,UAAU,EAAE,MAAM,eAAe,CAAA;
|
|
1
|
+
{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,KAAK,EAAE,KAAK,EAA4B,UAAU,EAAE,MAAM,eAAe,CAAA;AAexG,MAAM,IAAK,SAAQ,KAAK;IACb,OAAO,CAAS;IACzB,YAAY,OAAgB;QAC1B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACtB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,CAAC,IAAqB,EAAE,MAAyB,EAAE,OAAe,EAAE,KAAa,EAAS,EAAE;IACvG,MAAM,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAClD,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAEtD,SAAS,eAAe,CAAC,QAAc,EAAE,MAAY,EAAE,IAAI,GAAa,EAAE;IACxE,IACE,QAAQ,KAAK,IAAI;QACjB,MAAM,KAAK,IAAI;QACf,OAAO,QAAQ,KAAK,QAAQ;QAC5B,OAAO,MAAM,KAAK,QAAQ;QAC1B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EACjD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACxE,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,GAAI,QAAiC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAA;YACzD,MAAM,CAAC,GAAI,MAA+B,CAAC,GAAG,CAAC,IAAI,IAAI,CAAA;YACvD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;AAC7G,CAAC;AAED,MAAM,eAAe,GAAU,CAAC,KAAK,EAAE,EAAE,CACvC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAQ,KAA+B,CAAC,OAAO,KAAK,QAAQ;IACzG,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAA;AAE7D,MAAM,UAAU,WAAW,CACzB,OAAwB,EACxB,QAAoB,EACpB,MAA6B;IAE7B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,MAAM,QAAQ,GAAG,CACf,GAAW,EACX,KAAW,EACX,MAAyB,EACzB,IAAY,EACZ,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EACnB,EAAE;QACF,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,MAAM;YAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,4BAA4B,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAA;IACD,MAAM,OAAO,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAE,CAAA;IAC7E,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1C,IAAI,CACF,OAAO,EACP,CAAC,OAAO,EAAE,OAAO,CAAC,EAClB,kBAAkB,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,EACzC,WAAW,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACnD,CAAA;QACH,QAAQ,CAAC,GAAG,OAAO,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,eAAe,CAAC,CAAA;QAC7F,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAA;QACpF,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC7B,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,EAAE;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK;gBAAE,OAAM;YACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACtB,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;YACxB,OAAO,GAAG,CAAC,CAAA;YACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;YACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;gBAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;qBACtE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;QACrE,CAAC,CAAA;QACD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,CAAS,EAAE,EAAE;YAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAA;YACvC,IAAI,MAAM,EAAE,MAAM,KAAK,MAAM;gBAC3B,IAAI,CACF,OAAO,EACP,CAAC,MAAM,EAAE,CAAC,CAAC,EACX,cAAc,MAAM,cAAc,QAAQ,CAAC,KAAK,GAAG,EACnD,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,aAAa,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,oBAAoB,CAClG,CAAA;QACL,CAAC,CAAA;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAChC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;gBACjG,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;YAClG,CAAC;iBAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;gBACrB,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC7F,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;YACpG,CAAC;iBAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;gBACvB,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;gBAC9F,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAA;gBACzF,KAAK,CACH,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE;oBAC5B,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,QAAQ,CAAC,KAAK;oBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CACH,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,SAAS,GAAG,IAAI,CAAC,MAAM,CAAA;gBAC3B,SAAS,CAAC;oBACR,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;oBAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK;wBACtB,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,OAAO,IAAI,EAAE,GAAG,OAAO,IAAI,SAAS,CAAC,CAAA;oBAC3F,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,OAAO,IAAI,SAAS,CAAA;wBACpB,MAAK;oBACP,CAAC;oBACD,SAAS,IAAI,IAAI,GAAG,OAAO,CAAA;oBAC3B,OAAO,GAAG,IAAI,CAAA;oBACd,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACf,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBAC1F,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,sBAAsB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAA;QAC/F,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAA;QAC3B,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;YACjC,IAAI,CACF,OAAO,EACP,CAAC,QAAQ,EAAE,OAAO,CAAC,EACnB,mBAAmB,MAAM,CAAC,KAAK,qBAAqB,QAAQ,CAAC,KAAK,GAAG,EACrE,IAAI,CACL,CAAA;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;YACrE,IAAI,CACF,OAAO,EACP,CAAC,QAAQ,EAAE,SAAS,CAAC,EACrB,sCAAsC,EACtC,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAChE,CAAA;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAA0B,EAAE,OAA0B,CAAC;YAClG,MAAM,IAAI,IAAI,CAAC;gBACb,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC7B,OAAO,EAAE,8DAA8D;gBACvE,KAAK,EAAE,YAAY,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;gBACxE,OAAO,EAAE,aAAa,OAAO;qBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,UAAU,IAAI,CAAC;oBACb,CAAC,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI;oBAC/C,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAClG;qBACA,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB,CAAC,CAAA;QACJ,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACjC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;QACnE,OAAO;YACL,KAAK;YACL,OAAO,EAAE;gBACP,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,EAAE;gBACV,OAAO,EAAE,mBAAmB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACpF,KAAK,EAAE,wFAAwF;aAChG;SACF,CAAA;IACH,CAAC;AACH,CAAC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { type Bindings } from '@hozu/core/ir';
|
|
2
2
|
import type { Ctx } from '../context.ts';
|
|
3
3
|
import { type Lockfile } from './lock.ts';
|
|
4
|
-
export declare function verifyContracts(ctx: Ctx, bindings: Bindings, lock: Lockfile | null): Lockfile;
|
|
4
|
+
export declare function verifyContracts(ctx: Ctx, bindings: Bindings, lock: Lockfile | null, accept?: boolean): Lockfile;
|
|
5
5
|
//# sourceMappingURL=verify.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAoC,MAAM,eAAe,CAAA;AAE/E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAwB,KAAK,QAAQ,EAAU,MAAM,WAAW,CAAA;
|
|
1
|
+
{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAoC,MAAM,eAAe,CAAA;AAE/E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAwB,KAAK,QAAQ,EAAU,MAAM,WAAW,CAAA;AAuBvE,wBAAgB,eAAe,CAC7B,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,QAAQ,GAAG,IAAI,EACrB,MAAM,UAAQ,GACb,QAAQ,CAyEV"}
|
package/dist/contracts/verify.js
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { join, routeTable } from '@hozu/core/ir';
|
|
2
2
|
import { compileMachine } from '@hozu/machine';
|
|
3
3
|
import { drift, lockOf } from './lock.js';
|
|
4
|
+
import { isMechanical } from './mechanical.js';
|
|
4
5
|
import { runContract } from './run.js';
|
|
5
6
|
import { skeleton } from './skeleton.js';
|
|
6
7
|
const transitionPointer = (feature, id) => join('', 'features', feature, 'machine', 'states', ...id.split('/'));
|
|
@@ -13,7 +14,7 @@ function compile(ctx, feature, bindings) {
|
|
|
13
14
|
return null;
|
|
14
15
|
}
|
|
15
16
|
}
|
|
16
|
-
export function verifyContracts(ctx, bindings, lock) {
|
|
17
|
+
export function verifyContracts(ctx, bindings, lock, accept = false) {
|
|
17
18
|
const coverage = new Map();
|
|
18
19
|
const invalid = new Set(ctx.diagnostics.filter((d) => d.severity === 'error').map((d) => d.location.feature));
|
|
19
20
|
for (const feature of Object.values(ctx.ir.features)) {
|
|
@@ -32,13 +33,13 @@ export function verifyContracts(ctx, bindings, lock) {
|
|
|
32
33
|
summary: run.failure.code === 'HZ017'
|
|
33
34
|
? 'Make the contract data match the declared schema'
|
|
34
35
|
: 'Decide which is intended: fix the machine, or update the contract to specify the new behavior',
|
|
35
|
-
snippet: null,
|
|
36
|
+
snippet: run.failure.snippet ?? null,
|
|
36
37
|
patch: null,
|
|
37
38
|
});
|
|
38
39
|
}
|
|
39
40
|
for (const [id, contracts] of cov)
|
|
40
|
-
if (contracts.size === 0)
|
|
41
|
-
ctx.report('HZ016', feature.id, transitionPointer(feature.id, id), `Transition ${id} is not covered by any contract`, '
|
|
41
|
+
if (contracts.size === 0 && !isMechanical(feature, id))
|
|
42
|
+
ctx.report('HZ016', feature.id, transitionPointer(feature.id, id), `Transition ${id} is not covered by any contract`, 'It makes a decision (a guard, a navigation or a computed value), so a contract must specify it (ADR 0037). Transitions that only copy values are reviewed through the lock instead.', {
|
|
42
43
|
summary: `Add a contract that fires ${id}`,
|
|
43
44
|
snippet: skeleton(ctx.ir, feature, id),
|
|
44
45
|
patch: null,
|
|
@@ -47,12 +48,24 @@ export function verifyContracts(ctx, bindings, lock) {
|
|
|
47
48
|
}
|
|
48
49
|
const next = lockOf(ctx.ir, coverage);
|
|
49
50
|
if (lock)
|
|
50
|
-
for (const d of drift(lock, next))
|
|
51
|
-
|
|
52
|
-
|
|
51
|
+
for (const d of drift(lock, next)) {
|
|
52
|
+
const feature = ctx.ir.features[d.feature];
|
|
53
|
+
const mechanical = d.contracts.length === 0 && isMechanical(feature, d.id);
|
|
54
|
+
if (mechanical && accept)
|
|
55
|
+
continue;
|
|
56
|
+
const change = d.before ? `was: ${d.before}; now: ${d.after}` : `now: ${d.after}`;
|
|
57
|
+
ctx.report('HZ018', d.feature, transitionPointer(d.feature, d.id), mechanical
|
|
58
|
+
? `Transition ${d.id} changed (${change})`
|
|
59
|
+
: `Behavior of ${d.id} changed but none of its contracts did`, mechanical
|
|
60
|
+
? 'Principle 5: a behavior change must be reviewed. This transition only copies values, so accepting it into the lock is the review.'
|
|
61
|
+
: `Covered by ${d.contracts.join(', ') || 'no contract'}; principle 5 requires every behavior change that makes a decision to change a contract (${change}).`, {
|
|
62
|
+
summary: mechanical
|
|
63
|
+
? 'If the change is intended, run hozu validate --update-lock'
|
|
64
|
+
: 'Update or add a contract that specifies the new behavior, then run hozu validate --update-lock',
|
|
53
65
|
snippet: null,
|
|
54
66
|
patch: null,
|
|
55
67
|
});
|
|
68
|
+
}
|
|
56
69
|
return next;
|
|
57
70
|
}
|
|
58
71
|
//# sourceMappingURL=verify.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,IAAI,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/E,OAAO,EAAwB,cAAc,EAAE,MAAM,eAAe,CAAA;AAEpE,OAAO,EAAiB,KAAK,EAAiB,MAAM,EAAE,MAAM,WAAW,CAAA;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,MAAM,iBAAiB,GAAG,CAAC,OAAe,EAAE,EAAU,EAAE,EAAE,CACxD,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;AAEtE,SAAS,OAAO,CAAC,GAAQ,EAAE,OAAkB,EAAE,QAAkB;IAC/D,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,EAC3C,uBAAwB,KAAe,CAAC,OAAO,EAAE,EACjD,uCAAuC,CACxC,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,
|
|
1
|
+
{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,IAAI,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/E,OAAO,EAAwB,cAAc,EAAE,MAAM,eAAe,CAAA;AAEpE,OAAO,EAAiB,KAAK,EAAiB,MAAM,EAAE,MAAM,WAAW,CAAA;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,MAAM,iBAAiB,GAAG,CAAC,OAAe,EAAE,EAAU,EAAE,EAAE,CACxD,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;AAEtE,SAAS,OAAO,CAAC,GAAQ,EAAE,OAAkB,EAAE,QAAkB;IAC/D,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,EAC3C,uBAAwB,KAAe,CAAC,OAAO,EAAE,EACjD,uCAAuC,CACxC,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,GAAQ,EACR,QAAkB,EAClB,IAAqB,EACrB,MAAM,GAAG,KAAK;IAEd,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CACrF,CAAA;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAQ;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO;YAAE,SAAQ;QACtB,MAAM,GAAG,GAAa,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC,CAAA;QACvF,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACjE,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;YAC3D,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;YAClD,IAAI,GAAG,CAAC,OAAO;gBACb,GAAG,CAAC,MAAM,CACR,GAAG,CAAC,OAAO,CAAC,IAAI,EAChB,OAAO,CAAC,EAAE,EACV,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAC1E,YAAY,IAAI,KAAK,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAC1C,GAAG,CAAC,OAAO,CAAC,KAAK,EACjB;oBACE,OAAO,EACL,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;wBAC1B,CAAC,CAAC,kDAAkD;wBACpD,CAAC,CAAC,+FAA+F;oBACrG,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI;oBACpC,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;QACL,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,GAAG;YAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;gBACpD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EACjC,cAAc,EAAE,iCAAiC,EACjD,qLAAqL,EACrL;oBACE,OAAO,EAAE,6BAA6B,EAAE,EAAE;oBAC1C,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;QACL,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IACrC,IAAI,IAAI;QACN,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAE,CAAA;YAC3C,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAC1E,IAAI,UAAU,IAAI,MAAM;gBAAE,SAAQ;YAClC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAA;YACjF,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,OAAO,EACT,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAClC,UAAU;gBACR,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,MAAM,GAAG;gBAC1C,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,wCAAwC,EAC/D,UAAU;gBACR,CAAC,CAAC,mIAAmI;gBACrI,CAAC,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,4FAA4F,MAAM,IAAI,EAC/J;gBACE,OAAO,EAAE,UAAU;oBACjB,CAAC,CAAC,4DAA4D;oBAC9D,CAAC,CAAC,gGAAgG;gBACpG,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,IAAI;aACZ,CACF,CAAA;QACH,CAAC;IACH,OAAO,IAAI,CAAA;AACb,CAAC"}
|
package/dist/env.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"env.d.ts","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,SAAS,EAEd,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,SAAS,EAEd,KAAK,SAAS,EACf,MAAM,eAAe,CAAA;AAItB,MAAM,WAAW,GAAG;IAClB,OAAO,EAAE,SAAS,CAAA;IAClB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,CAAA;IACtD,QAAQ,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAA;CAChC;AAED,eAAO,MAAM,QAAQ,YAAa,SAAS,GAAG,SAAS,QAAQ,MAAM,GAAG,SAAS,KAAG,UAAU,GAAG,IACpB,CAAA;AAmB7E,wBAAgB,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM;;;;;kBAStC,MAAM;SAOvB;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,IAAI,
|
|
1
|
+
{"version":3,"file":"env.d.ts","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,SAAS,EAEd,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,SAAS,EAEd,KAAK,SAAS,EACf,MAAM,eAAe,CAAA;AAItB,MAAM,WAAW,GAAG;IAClB,OAAO,EAAE,SAAS,CAAA;IAClB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,CAAA;IACtD,QAAQ,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAA;CAChC;AAED,eAAO,MAAM,QAAQ,YAAa,SAAS,GAAG,SAAS,QAAQ,MAAM,GAAG,SAAS,KAAG,UAAU,GAAG,IACpB,CAAA;AAmB7E,wBAAgB,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM;;;;;kBAStC,MAAM;SAOvB;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,IAAI,CAiBxF;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,SAAS,GAAG,GAAG,CAElD;AAED,KAAK,OAAO,GACR;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjC,wBAAgB,UAAU,CACxB,GAAG,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;CAAE,EAC9C,OAAO,EAAE,SAAS,EAClB,IAAI,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACzC,GAAG,CAcL;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAGzE"}
|
package/dist/env.js
CHANGED
|
@@ -46,6 +46,12 @@ export function valueSchema(ir, env, value) {
|
|
|
46
46
|
if ('fn' in value) {
|
|
47
47
|
if (value.fn.startsWith('#'))
|
|
48
48
|
return { type: 'string' };
|
|
49
|
+
if (value.fn === '%length' || value.fn === '%minus')
|
|
50
|
+
return { type: 'number' };
|
|
51
|
+
if (value.fn === '%concat')
|
|
52
|
+
return { type: 'string' };
|
|
53
|
+
if (value.fn.startsWith('%'))
|
|
54
|
+
return null;
|
|
49
55
|
const r = resolveRef(ir, value.fn, 'fn');
|
|
50
56
|
return r ? schemaIn(r.feature, r.feature.fns[r.symbol].output) : null;
|
|
51
57
|
}
|
package/dist/env.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"env.js","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,oBAAoB,EAIpB,uBAAuB,GAExB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAQzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAA8B,EAAE,IAAwB,EAAqB,EAAE,CACtG,CAAC,OAAO,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAA;AAE7E,MAAM,aAAa,GAAG,CAAC,KAAwB,EAAc,EAAE,CAAC,CAAC;IAC/D,GAAG,oBAAoB;IACvB,UAAU,EAAE;QACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC3B,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,MAAM,CAAC,IAAI,CAAE,KAAK,EAAE,UAAiC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACtE,CAAC;gBACD,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;aAC7B,CAAC,CACH;YACD,oBAAoB,EAAE,KAAK;SAC5B;KACF;CACF,CAAC,CAAA;AAEF,MAAM,UAAU,aAAa,CAAC,EAAa,EAAE,GAAW;IACtD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;IACvC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,CAAA;IACvG,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;QACxC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;QAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,CAAC,CAAC,QAAQ,KAAK,WAAW;QACnC,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CACtB,IAAI,KAAK,YAAY;YACnB,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;gBAC1E,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAClD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;KACjD,CAAA;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAa,EAAE,GAAQ,EAAE,KAAgB;IACnE,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACzF,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,IAAI,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC/C,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/B,CAAC;IACD,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;IAC/C,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC9C,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QAClB,IAAI,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACvD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACxC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAkB;IAC3C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;AACrG,CAAC;AAQD,MAAM,UAAU,UAAU,CACxB,GAA8C,EAC9C,OAAkB,EAClB,IAA0C;IAE1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAA;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAA;IACnB,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IAChC,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;IACnC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;SACxE,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,IAAI,CAAA;SACnG,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAChC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;IACrF,GAAG,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAA;IAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACtB,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAa,EAAE,GAAW;IACpD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IACtC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC5E,CAAC"}
|
|
1
|
+
{"version":3,"file":"env.js","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,oBAAoB,EAIpB,uBAAuB,GAExB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAQzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAA8B,EAAE,IAAwB,EAAqB,EAAE,CACtG,CAAC,OAAO,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAA;AAE7E,MAAM,aAAa,GAAG,CAAC,KAAwB,EAAc,EAAE,CAAC,CAAC;IAC/D,GAAG,oBAAoB;IACvB,UAAU,EAAE;QACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC3B,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,MAAM,CAAC,IAAI,CAAE,KAAK,EAAE,UAAiC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACtE,CAAC;gBACD,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;aAC7B,CAAC,CACH;YACD,oBAAoB,EAAE,KAAK;SAC5B;KACF;CACF,CAAC,CAAA;AAEF,MAAM,UAAU,aAAa,CAAC,EAAa,EAAE,GAAW;IACtD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;IACvC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,CAAA;IACvG,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;QACxC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;QAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,CAAC,CAAC,QAAQ,KAAK,WAAW;QACnC,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CACtB,IAAI,KAAK,YAAY;YACnB,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;gBAC1E,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAClD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;KACjD,CAAA;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAa,EAAE,GAAQ,EAAE,KAAgB;IACnE,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACzF,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,IAAI,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC/C,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/B,CAAC;IACD,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;IAC/C,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC9C,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QAClB,IAAI,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACvD,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QAC9E,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACrD,IAAI,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QACzC,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACxC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAkB;IAC3C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;AACrG,CAAC;AAQD,MAAM,UAAU,UAAU,CACxB,GAA8C,EAC9C,OAAkB,EAClB,IAA0C;IAE1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAA;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAA;IACnB,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IAChC,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;IACnC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;SACxE,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,IAAI,CAAA;SACnG,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAChC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;IACrF,GAAG,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAA;IAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACtB,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAa,EAAE,GAAW;IACpD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IACtC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC5E,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import type { Bindings, Diagnostic, ProjectIR, SourceIndex } from '@hozu/core/ir';
|
|
2
2
|
import type { Lockfile } from './contracts/lock.ts';
|
|
3
3
|
export type { Drift, LockEntry, Lockfile } from './contracts/lock.ts';
|
|
4
|
+
export { isMechanical, summaryOf } from './contracts/mechanical.ts';
|
|
4
5
|
export type { ContractRun, Failure } from './contracts/run.ts';
|
|
5
6
|
export { runContract } from './contracts/run.ts';
|
|
6
7
|
export type { Impact, ImpactKind, ImpactQuery, ImpactUse } from './impact.ts';
|
|
@@ -11,6 +12,7 @@ export interface ValidateOptions {
|
|
|
11
12
|
feature?: string;
|
|
12
13
|
bindings?: Bindings;
|
|
13
14
|
lock?: Lockfile | null;
|
|
15
|
+
accept?: boolean;
|
|
14
16
|
unknownClasses?: Map<string, string | null> | null;
|
|
15
17
|
}
|
|
16
18
|
export interface Verification {
|
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,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAEjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAEjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAwBnD,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACrE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACnE,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC7E,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAwChD,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACtB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;CACnD;AAED,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAA;CACtB;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,GAAE,eAAoB,GAAG,YAAY,CAejF;AAED,eAAO,MAAM,QAAQ,OAAQ,SAAS,YAAW,eAAe,KAAQ,UAAU,EACjD,CAAA"}
|
package/dist/index.js
CHANGED
|
@@ -3,6 +3,7 @@ import { verifyContracts } from './contracts/verify.js';
|
|
|
3
3
|
import { classNames } from './rules/classes.js';
|
|
4
4
|
import { invalidations, sessions } from './rules/data.js';
|
|
5
5
|
import { domFields } from './rules/dom.js';
|
|
6
|
+
import { endpoints } from './rules/endpoints.js';
|
|
6
7
|
import { declaredErrors } from './rules/errors.js';
|
|
7
8
|
import { conflictingIgnores, unhandledEvents, viewEvents } from './rules/events.js';
|
|
8
9
|
import { progressiveForms } from './rules/forms.js';
|
|
@@ -20,10 +21,12 @@ import { routeParams, searchSchemas } from './rules/routes.js';
|
|
|
20
21
|
import { deadEnds, reachability, shadowing, stateNames } from './rules/states.js';
|
|
21
22
|
import { domText } from './rules/text.js';
|
|
22
23
|
import { widgetEvents } from './rules/widgets.js';
|
|
24
|
+
export { isMechanical, summaryOf } from './contracts/mechanical.js';
|
|
23
25
|
export { runContract } from './contracts/run.js';
|
|
24
26
|
export { impact, UnknownSymbolError } from './impact.js';
|
|
25
27
|
export { closest, distance } from './suggest.js';
|
|
26
28
|
const rules = [
|
|
29
|
+
endpoints,
|
|
27
30
|
featureLinks,
|
|
28
31
|
references,
|
|
29
32
|
routes,
|
|
@@ -61,7 +64,9 @@ export function verify(ir, options = {}) {
|
|
|
61
64
|
const ctx = new Ctx(ir, options.sources ?? {}, options.unknownClasses ?? null, options.bindings?.assets ?? {});
|
|
62
65
|
for (const rule of rules)
|
|
63
66
|
rule(ctx);
|
|
64
|
-
const lock = options.bindings
|
|
67
|
+
const lock = options.bindings
|
|
68
|
+
? verifyContracts(ctx, options.bindings, options.lock ?? null, options.accept === true)
|
|
69
|
+
: null;
|
|
65
70
|
const out = options.feature
|
|
66
71
|
? ctx.diagnostics.filter((d) => d.location.feature === options.feature)
|
|
67
72
|
: ctx.diagnostics;
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAElC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAChD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACjF,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAElC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAChD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACjF,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAGjD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAEnE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAEhD,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEhD,MAAM,KAAK,GAAG;IACZ,SAAS;IACT,YAAY;IACZ,UAAU;IACV,MAAM;IACN,UAAU;IACV,YAAY;IACZ,eAAe;IACf,cAAc;IACd,UAAU;IACV,KAAK;IACL,SAAS;IACT,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,SAAS;IACT,WAAW;IACX,aAAa;IACb,SAAS;IACT,UAAU;IACV,YAAY;IACZ,eAAe;IACf,UAAU;IACV,QAAQ;IACR,aAAa;IACb,kBAAkB;IAClB,OAAO;IACP,gBAAgB;IAChB,SAAS;IACT,IAAI;IACJ,WAAW;CACZ,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,CAAa,EAAE,CAAa,EAAE,EAAE,CAC7C,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;IAClE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AAgB9B,MAAM,UAAU,MAAM,CAAC,EAAa,EAAE,OAAO,GAAoB,EAAE;IACjE,MAAM,GAAG,GAAG,IAAI,GAAG,CACjB,EAAE,EACF,OAAO,CAAC,OAAO,IAAI,EAAE,EACrB,OAAO,CAAC,cAAc,IAAI,IAAI,EAC9B,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAC/B,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ;QAC3B,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAA;IACR,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO;QACzB,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC;QACvE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAA;IACnB,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,EAAa,EAAE,OAAO,GAAoB,EAAE,EAAgB,EAAE,CACrF,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,WAAW,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"endpoints.d.ts","sourceRoot":"","sources":["../../src/rules/endpoints.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AAKxC,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,QAoEjC"}
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
import { resolveAt, routePattern } from '@hozu/core/ir';
|
|
2
|
+
import { featurePointer } from '../walk.js';
|
|
3
|
+
const STATIC = /^\/$|^(\/[A-Za-z0-9._~-]+)+$/;
|
|
4
|
+
export function endpoints(ctx) {
|
|
5
|
+
const taken = new Map();
|
|
6
|
+
const pages = Object.keys(ctx.ir.pages)
|
|
7
|
+
.map((r) => ctx.ir.routes[r]?.path)
|
|
8
|
+
.filter((p) => p !== undefined);
|
|
9
|
+
for (const f of Object.values(ctx.ir.features))
|
|
10
|
+
for (const [sym, e] of Object.entries(f.endpoints ?? {})) {
|
|
11
|
+
const ref = `${f.id}.${sym}`;
|
|
12
|
+
const pointer = featurePointer(f.id, 'endpoints', sym, 'path');
|
|
13
|
+
const report = (message, cause, summary, value = null) => ctx.report('HZ046', f.id, pointer, message, cause, {
|
|
14
|
+
summary,
|
|
15
|
+
snippet: null,
|
|
16
|
+
patch: value === null ? null : [{ op: 'replace', path: resolveAt(pointer), value }],
|
|
17
|
+
});
|
|
18
|
+
const api = (path) => {
|
|
19
|
+
const parts = path
|
|
20
|
+
.split('/')
|
|
21
|
+
.filter((s) => s && s !== '_hozu' && !s.startsWith(':') && !s.includes('*'));
|
|
22
|
+
if (parts[0] === 'api')
|
|
23
|
+
parts.shift();
|
|
24
|
+
return ['/api', ...parts].join('/');
|
|
25
|
+
};
|
|
26
|
+
if (e.method !== 'GET' && e.method !== 'POST')
|
|
27
|
+
ctx.report('HZ046', f.id, featurePointer(f.id, 'endpoints', sym, 'method'), `Endpoint ${ref} has method "${e.method}"`, 'Endpoints answer GET or POST.', { summary: "Use method: 'GET' or 'POST'", snippet: null, patch: null });
|
|
28
|
+
if (!STATIC.test(e.path))
|
|
29
|
+
report(`Endpoint path "${e.path}" of ${ref} is not a static path`, 'An endpoint path starts with / and has no params, query string or trailing slash; its input comes from the query string (GET) or the body (POST).', 'Use a path such as "/api/orders" and move variable parts into input', api(e.path.split('?')[0]));
|
|
30
|
+
else if (e.path === '/_hozu' || e.path.startsWith('/_hozu/'))
|
|
31
|
+
report(`Endpoint path "${e.path}" of ${ref} is reserved`, '/_hozu/ belongs to the framework.', 'Use a path such as "/api/…"', api(e.path));
|
|
32
|
+
else if (pages.some((p) => routePattern(p).pattern.test(e.path)))
|
|
33
|
+
report(`Endpoint path "${e.path}" of ${ref} is also a page`, 'Pages answer GET and form POSTs on their path, so the endpoint would shadow the page.', 'Move the endpoint under a path no page uses, such as "/api/…"', api(e.path));
|
|
34
|
+
else if (ctx.ir.http.redirects.some((r) => r.from === e.path))
|
|
35
|
+
report(`Endpoint path "${e.path}" of ${ref} is also a redirect`, 'A redirect answers every request on its path.', 'Remove the redirect or move the endpoint');
|
|
36
|
+
const key = `${e.method} ${e.path}`;
|
|
37
|
+
const other = taken.get(key);
|
|
38
|
+
if (other)
|
|
39
|
+
report(`${key} is declared by ${other} and ${ref}`, 'Each method and path has one endpoint.', 'Rename one of the paths');
|
|
40
|
+
else
|
|
41
|
+
taken.set(key, ref);
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
//# sourceMappingURL=endpoints.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"endpoints.js","sourceRoot":"","sources":["../../src/rules/endpoints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAEvD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,MAAM,MAAM,GAAG,8BAA8B,CAAA;AAE7C,MAAM,UAAU,SAAS,CAAC,GAAQ;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAA;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;SACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;SAClC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;YACzD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAA;YAC5B,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAA;YAC9D,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAe,EAAE,KAAK,GAAkB,IAAI,EAAE,EAAE,CAC9F,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;gBACjD,OAAO;gBACP,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC;aACpF,CAAC,CAAA;YACJ,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE;gBAC3B,MAAM,KAAK,GAAG,IAAI;qBACf,KAAK,CAAC,GAAG,CAAC;qBACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;gBAC9E,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK;oBAAE,KAAK,CAAC,KAAK,EAAE,CAAA;gBACrC,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACrC,CAAC,CAAA;YACD,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;gBAC3C,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,QAAQ,CAAC,EAChD,YAAY,GAAG,gBAAgB,CAAC,CAAC,MAAM,GAAG,EAC1C,+BAA+B,EAC/B,EAAE,OAAO,EAAE,6BAA6B,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CACvE,CAAA;YACH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtB,MAAM,CACJ,kBAAkB,CAAC,CAAC,IAAI,QAAQ,GAAG,uBAAuB,EAC1D,mJAAmJ,EACnJ,qEAAqE,EACrE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAC3B,CAAA;iBACE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;gBAC1D,MAAM,CACJ,kBAAkB,CAAC,CAAC,IAAI,QAAQ,GAAG,cAAc,EACjD,mCAAmC,EACnC,6BAA6B,EAC7B,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CACZ,CAAA;iBACE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC9D,MAAM,CACJ,kBAAkB,CAAC,CAAC,IAAI,QAAQ,GAAG,iBAAiB,EACpD,uFAAuF,EACvF,+DAA+D,EAC/D,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CACZ,CAAA;iBACE,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;gBAC3D,MAAM,CACJ,kBAAkB,CAAC,CAAC,IAAI,QAAQ,GAAG,qBAAqB,EACxD,+CAA+C,EAC/C,0CAA0C,CAC3C,CAAA;YACH,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;YACnC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC5B,IAAI,KAAK;gBACP,MAAM,CACJ,GAAG,GAAG,mBAAmB,KAAK,QAAQ,GAAG,EAAE,EAC3C,wCAAwC,EACxC,yBAAyB,CAC1B,CAAA;;gBACE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAC1B,CAAC;AACL,CAAC"}
|
package/dist/rules/refs.js
CHANGED
|
@@ -20,7 +20,7 @@ function renameKey(pointer, value, ctx) {
|
|
|
20
20
|
export function references(ctx) {
|
|
21
21
|
for (const site of refSites(ctx.ir)) {
|
|
22
22
|
const { feature: f, pointer, ref, kind } = site;
|
|
23
|
-
if (ref.startsWith('?') || (kind === 'fn' && ref.startsWith('#')))
|
|
23
|
+
if (ref.startsWith('?') || (kind === 'fn' && (ref.startsWith('#') || ref.startsWith('%'))))
|
|
24
24
|
continue;
|
|
25
25
|
const resolved = resolveRef(ctx.ir, ref, kind);
|
|
26
26
|
if (!resolved) {
|
package/dist/rules/refs.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"refs.js","sourceRoot":"","sources":["../../src/rules/refs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,EAAE,EAAoC,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAEtG,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE1D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE5D,MAAM,MAAM,GAAG,CAAC,CAAK,EAAE,EAAE;IACvB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IACtB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;AACvC,CAAC,CAAA;AAED,SAAS,SAAS,CAAC,OAAW,EAAE,KAAa,EAAE,GAAQ;IACrD,IAAI,IAAI,GAAY,GAAG,CAAC,EAAE,CAAA;IAC1B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAAE,IAAI,GAAI,IAAgC,CAAC,KAAK,CAAC,CAAA;IACrG,OAAO;QACL,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE;QAChF,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;KAC3C,CAAA;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAQ;IACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;QAC/C,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAAE,SAAQ;
|
|
1
|
+
{"version":3,"file":"refs.js","sourceRoot":"","sources":["../../src/rules/refs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,EAAE,EAAoC,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAEtG,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE1D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE5D,MAAM,MAAM,GAAG,CAAC,CAAK,EAAE,EAAE;IACvB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IACtB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;AACvC,CAAC,CAAA;AAED,SAAS,SAAS,CAAC,OAAW,EAAE,KAAa,EAAE,GAAQ;IACrD,IAAI,IAAI,GAAY,GAAG,CAAC,EAAE,CAAA;IAC1B,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAAE,IAAI,GAAI,IAAgC,CAAC,KAAK,CAAC,CAAA;IACrG,OAAO;QACL,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE;QAChF,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;KAC3C,CAAA;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAQ;IACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;QAC/C,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAQ;QACpG,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;QAC9C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;YAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACpC,MAAM,QAAQ,GACZ,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC;gBACrD,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBACpE,CAAC,CAAC,IAAI,CAAA;YACV,GAAG,CAAC,MAAM,CACR,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAC1B,CAAC,CAAC,EAAE,EACJ,OAAO,EACP,WAAW,IAAI,KAAK,GAAG,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,EAC/C,MAAM;gBACJ,CAAC,CAAC,iHAAiH;gBACnH,CAAC,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAC9G;gBACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,oBAAoB,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBACzF,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,KAAK;oBACV,CAAC,CAAC,IAAI,CAAC,GAAG;wBACR,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC;wBAChC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;oBAC/D,CAAC,CAAC,QAAQ;aACb,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAA;QAC9B,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YAAE,SAAQ;QAC/B,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,OAAO,EACP,eAAe,CAAC,CAAC,EAAE,cAAc,GAAG,yBAAyB,KAAK,CAAC,EAAE,GAAG,EACxE,oGAAoG,EACpG;gBACE,OAAO,EAAE,8DAA8D;gBACvE,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;aACpD,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,OAAO,EACP,IAAI,CAAC,CAAC,EAAE,iBAAiB,GAAG,cAAc,KAAK,CAAC,EAAE,GAAG,EACrD,4EAA4E,CAC7E,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAA2B,CAAA;QACrD,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAClE,IAAI,QAAQ,IAAI,QAAQ;YAAE,SAAQ;QAClC,MAAM,KAAK,GAAkB,EAAE,CAAA;QAC/B,IAAI,CAAC,QAAQ;YACX,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;QACnG,IAAI,CAAC,QAAQ;YACX,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACnE,KAAK,EAAE,QAAQ,CAAC,MAAM;aACvB,CAAC,CAAA;QACJ,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,OAAO,EACP,IAAI,CAAC,CAAC,EAAE,UAAU,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,EAAE,mBAAmB,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,KAAK,CAAC,EAAE,GAAG,EAAE,EACvI,yGAAyG,EACzG;YACE,OAAO,EAAE;gBACP,CAAC,QAAQ,IAAI,OAAO,KAAK,CAAC,EAAE,aAAa;gBACzC,CAAC,QAAQ,IAAI,UAAU,QAAQ,CAAC,MAAM,SAAS,KAAK,CAAC,EAAE,EAAE;aAC1D;iBACE,MAAM,CAAC,OAAO,CAAC;iBACf,IAAI,CAAC,OAAO,CAAC;YAChB,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,cAAc,QAAQ,MAAM,QAAQ,CAAC,MAAM,KAAK;YAChG,KAAK;SACN,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAQ;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,EAAE,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAAE,OAAM;YAC5D,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;YAC5C,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,qBAAqB,EAAE,kBAAkB,EACzC,6CAA6C,EAC7C;gBACE,OAAO,EAAE,mBAAmB;gBAC5B,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9C,CACF,CAAA;QACH,CAAC,CAAC,CAAA;QACF,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAkC;YACvF,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACzB,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;oBAAE,OAAM;gBAC9C,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;gBACtD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,YAAY,QAAQ,WAAW,MAAM,kBAAkB,EACvD,iDAAiD,EACjD;oBACE,OAAO,EAAE,mBAAmB;oBAC5B,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9C,CACF,CAAA;YACH,CAAC,CAAC,CAAA;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAQ;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAA;IACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAA;YACrC,MAAM,QAAQ,GAAG,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YAC1D,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAAE,SAAQ;YAC7F,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YACrC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;YACtC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,kBAAkB,QAAQ,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,EAClD,WAAW,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,EAC1C;gBACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,2CAA2C;gBAC/E,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI;aAC5E,CACF,CAAA;QACH,CAAC;AACL,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"truthiness-rule.d.ts","sourceRoot":"","sources":["../src/truthiness-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,UAAU,EAAE,MAAM,eAAe,CAAA;AAGtD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,UAAU,EAAE,CAkBjF"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { codes } from '@hozu/core/ir';
|
|
2
|
+
import { scanTruthiness } from './truthiness.js';
|
|
3
|
+
export function truthinessDiagnostics(files) {
|
|
4
|
+
const out = [];
|
|
5
|
+
for (const [file, text] of Object.entries(files))
|
|
6
|
+
for (const f of scanTruthiness(text))
|
|
7
|
+
out.push({
|
|
8
|
+
code: 'HZ044',
|
|
9
|
+
severity: codes.HZ044.severity,
|
|
10
|
+
message: `${f.expression} is a recorded reference used as ${f.use}`,
|
|
11
|
+
location: { feature: null, pointer: '', source: { file, line: f.line, column: f.column } },
|
|
12
|
+
cause: 'References are recorded, not evaluated: as a JavaScript value a reference is always truthy, so this always takes the same branch.',
|
|
13
|
+
fix: {
|
|
14
|
+
summary: `In a view use ui.if(op.neq(${f.expression}, null), […], […]) or op.eq; in a machine use a guard with op.*; to compute a value use fn()`,
|
|
15
|
+
snippet: `ui.if(op.neq(${f.expression}, null), [/* then */], [/* else */])`,
|
|
16
|
+
patch: null,
|
|
17
|
+
},
|
|
18
|
+
});
|
|
19
|
+
return out;
|
|
20
|
+
}
|
|
21
|
+
//# sourceMappingURL=truthiness-rule.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"truthiness-rule.js","sourceRoot":"","sources":["../src/truthiness-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAmB,MAAM,eAAe,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,UAAU,qBAAqB,CAAC,KAA6B;IACjE,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;gBAC9B,OAAO,EAAE,GAAG,CAAC,CAAC,UAAU,oCAAoC,CAAC,CAAC,GAAG,EAAE;gBACnE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC1F,KAAK,EACH,mIAAmI;gBACrI,GAAG,EAAE;oBACH,OAAO,EAAE,8BAA8B,CAAC,CAAC,UAAU,8FAA8F;oBACjJ,OAAO,EAAE,gBAAgB,CAAC,CAAC,UAAU,sCAAsC;oBAC3E,KAAK,EAAE,IAAI;iBACZ;aACF,CAAC,CAAA;IACN,OAAO,GAAG,CAAA;AACZ,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
export interface TruthinessFinding {
|
|
2
|
+
line: number;
|
|
3
|
+
column: number;
|
|
4
|
+
expression: string;
|
|
5
|
+
use: 'a ?: condition' | 'the left side of &&' | 'the left side of ||' | 'the left side of ??' | 'the operand of !' | 'an if condition' | 'a while condition';
|
|
6
|
+
}
|
|
7
|
+
export declare function scanTruthiness(source: string): TruthinessFinding[];
|
|
8
|
+
//# sourceMappingURL=truthiness.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"truthiness.d.ts","sourceRoot":"","sources":["../src/truthiness.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,GAAG,EACC,gBAAgB,GAChB,qBAAqB,GACrB,qBAAqB,GACrB,qBAAqB,GACrB,kBAAkB,GAClB,iBAAiB,GACjB,mBAAmB,CAAA;CACxB;AA+MD,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAkDlE"}
|
|
@@ -0,0 +1,268 @@
|
|
|
1
|
+
const PUNCT = ['?.', '??=', '??', '&&=', '||=', '&&', '||', '===', '!==', '==', '!=', '=>', '...', '<=', '>='];
|
|
2
|
+
const REGEX_BEFORE = new Set([
|
|
3
|
+
'(',
|
|
4
|
+
',',
|
|
5
|
+
'=',
|
|
6
|
+
':',
|
|
7
|
+
'[',
|
|
8
|
+
'!',
|
|
9
|
+
'&&',
|
|
10
|
+
'||',
|
|
11
|
+
'??',
|
|
12
|
+
'?',
|
|
13
|
+
'{',
|
|
14
|
+
'}',
|
|
15
|
+
';',
|
|
16
|
+
'return',
|
|
17
|
+
'=>',
|
|
18
|
+
]);
|
|
19
|
+
const LIST_METHODS = new Set([
|
|
20
|
+
'map',
|
|
21
|
+
'filter',
|
|
22
|
+
'forEach',
|
|
23
|
+
'reduce',
|
|
24
|
+
'some',
|
|
25
|
+
'every',
|
|
26
|
+
'find',
|
|
27
|
+
'flatMap',
|
|
28
|
+
'findIndex',
|
|
29
|
+
'sort',
|
|
30
|
+
]);
|
|
31
|
+
function tokenize(source) {
|
|
32
|
+
const tokens = [];
|
|
33
|
+
let i = 0;
|
|
34
|
+
let line = 1;
|
|
35
|
+
let lineStart = 0;
|
|
36
|
+
const push = (text, kind, start) => tokens.push({ text, kind, line, column: start - lineStart + 1 });
|
|
37
|
+
const advance = (to) => {
|
|
38
|
+
for (let k = i; k < to; k++)
|
|
39
|
+
if (source[k] === '\n') {
|
|
40
|
+
line++;
|
|
41
|
+
lineStart = k + 1;
|
|
42
|
+
}
|
|
43
|
+
i = to;
|
|
44
|
+
};
|
|
45
|
+
const skipString = (quote) => {
|
|
46
|
+
let k = i + 1;
|
|
47
|
+
while (k < source.length && source[k] !== quote)
|
|
48
|
+
k += source[k] === '\\' ? 2 : 1;
|
|
49
|
+
return k + 1;
|
|
50
|
+
};
|
|
51
|
+
const skipTemplate = () => {
|
|
52
|
+
let k = i + 1;
|
|
53
|
+
let depth = 0;
|
|
54
|
+
while (k < source.length) {
|
|
55
|
+
const c = source[k];
|
|
56
|
+
if (c === '\\')
|
|
57
|
+
k += 2;
|
|
58
|
+
else if (depth === 0 && c === '`')
|
|
59
|
+
return k + 1;
|
|
60
|
+
else if (c === '$' && source[k + 1] === '{') {
|
|
61
|
+
depth++;
|
|
62
|
+
k += 2;
|
|
63
|
+
}
|
|
64
|
+
else if (c === '}' && depth > 0) {
|
|
65
|
+
depth--;
|
|
66
|
+
k++;
|
|
67
|
+
}
|
|
68
|
+
else
|
|
69
|
+
k++;
|
|
70
|
+
}
|
|
71
|
+
return k;
|
|
72
|
+
};
|
|
73
|
+
while (i < source.length) {
|
|
74
|
+
const c = source[i];
|
|
75
|
+
if (c === '\n' || c === ' ' || c === '\t' || c === '\r')
|
|
76
|
+
advance(i + 1);
|
|
77
|
+
else if (c === '/' && source[i + 1] === '/')
|
|
78
|
+
advance(source.indexOf('\n', i) === -1 ? source.length : source.indexOf('\n', i));
|
|
79
|
+
else if (c === '/' && source[i + 1] === '*')
|
|
80
|
+
advance(source.indexOf('*/', i + 2) + 2);
|
|
81
|
+
else if (c === "'" || c === '"') {
|
|
82
|
+
const start = i;
|
|
83
|
+
advance(skipString(c));
|
|
84
|
+
push('"', 'literal', start);
|
|
85
|
+
}
|
|
86
|
+
else if (c === '`') {
|
|
87
|
+
const start = i;
|
|
88
|
+
advance(skipTemplate());
|
|
89
|
+
push('`', 'literal', start);
|
|
90
|
+
}
|
|
91
|
+
else if (c === '/' && REGEX_BEFORE.has(tokens.at(-1)?.text ?? '(')) {
|
|
92
|
+
const start = i;
|
|
93
|
+
let k = i + 1;
|
|
94
|
+
let klass = false;
|
|
95
|
+
while (k < source.length && (klass || source[k] !== '/')) {
|
|
96
|
+
if (source[k] === '\\')
|
|
97
|
+
k++;
|
|
98
|
+
else if (source[k] === '[')
|
|
99
|
+
klass = true;
|
|
100
|
+
else if (source[k] === ']')
|
|
101
|
+
klass = false;
|
|
102
|
+
k++;
|
|
103
|
+
}
|
|
104
|
+
k++;
|
|
105
|
+
while (/[a-z]/.test(source[k] ?? ''))
|
|
106
|
+
k++;
|
|
107
|
+
advance(k);
|
|
108
|
+
push('/', 'literal', start);
|
|
109
|
+
}
|
|
110
|
+
else if (/[A-Za-z_$]/.test(c)) {
|
|
111
|
+
const start = i;
|
|
112
|
+
let k = i + 1;
|
|
113
|
+
while (/[\w$]/.test(source[k] ?? ''))
|
|
114
|
+
k++;
|
|
115
|
+
advance(k);
|
|
116
|
+
push(source.slice(start, k), 'id', start);
|
|
117
|
+
}
|
|
118
|
+
else if (/[0-9]/.test(c)) {
|
|
119
|
+
const start = i;
|
|
120
|
+
let k = i + 1;
|
|
121
|
+
while (/[\w.]/.test(source[k] ?? ''))
|
|
122
|
+
k++;
|
|
123
|
+
advance(k);
|
|
124
|
+
push(source.slice(start, k), 'literal', start);
|
|
125
|
+
}
|
|
126
|
+
else {
|
|
127
|
+
const start = i;
|
|
128
|
+
const p = PUNCT.find((x) => source.startsWith(x, i)) ?? c;
|
|
129
|
+
advance(i + p.length);
|
|
130
|
+
push(p, 'punct', start);
|
|
131
|
+
}
|
|
132
|
+
}
|
|
133
|
+
return tokens;
|
|
134
|
+
}
|
|
135
|
+
const OPEN = { '(': ')', '[': ']', '{': '}' };
|
|
136
|
+
const CLOSE = { ')': '(', ']': '[', '}': '{' };
|
|
137
|
+
function matchForward(tokens, at) {
|
|
138
|
+
let depth = 0;
|
|
139
|
+
for (let k = at; k < tokens.length; k++) {
|
|
140
|
+
const t = tokens[k].text;
|
|
141
|
+
if (OPEN[t])
|
|
142
|
+
depth++;
|
|
143
|
+
else if (CLOSE[t] && --depth === 0)
|
|
144
|
+
return k;
|
|
145
|
+
}
|
|
146
|
+
return tokens.length - 1;
|
|
147
|
+
}
|
|
148
|
+
function matchBackward(tokens, at) {
|
|
149
|
+
let depth = 0;
|
|
150
|
+
for (let k = at; k >= 0; k--) {
|
|
151
|
+
const t = tokens[k].text;
|
|
152
|
+
if (CLOSE[t])
|
|
153
|
+
depth++;
|
|
154
|
+
else if (OPEN[t] && --depth === 0)
|
|
155
|
+
return k;
|
|
156
|
+
}
|
|
157
|
+
return 0;
|
|
158
|
+
}
|
|
159
|
+
function bodyEnd(tokens, start) {
|
|
160
|
+
if (tokens[start]?.text === '{' || tokens[start]?.text === '(')
|
|
161
|
+
return matchForward(tokens, start);
|
|
162
|
+
let depth = 0;
|
|
163
|
+
for (let k = start; k < tokens.length; k++) {
|
|
164
|
+
const t = tokens[k].text;
|
|
165
|
+
if (OPEN[t])
|
|
166
|
+
depth++;
|
|
167
|
+
else if (CLOSE[t]) {
|
|
168
|
+
if (depth === 0)
|
|
169
|
+
return k - 1;
|
|
170
|
+
depth--;
|
|
171
|
+
}
|
|
172
|
+
else if (depth === 0 && (t === ',' || t === ';'))
|
|
173
|
+
return k - 1;
|
|
174
|
+
}
|
|
175
|
+
return tokens.length - 1;
|
|
176
|
+
}
|
|
177
|
+
function arrows(tokens) {
|
|
178
|
+
const out = [];
|
|
179
|
+
tokens.forEach((t, k) => {
|
|
180
|
+
if (t.text !== '=>')
|
|
181
|
+
return;
|
|
182
|
+
let first = k - 1;
|
|
183
|
+
const params = [];
|
|
184
|
+
if (tokens[k - 1]?.text === ')') {
|
|
185
|
+
first = matchBackward(tokens, k - 1);
|
|
186
|
+
for (let j = first + 1; j < k - 1; j++) {
|
|
187
|
+
const x = tokens[j];
|
|
188
|
+
const prev = tokens[j - 1].text;
|
|
189
|
+
if (x.kind === 'id' && prev !== ':' && prev !== '.' && tokens[j + 1]?.text !== ':')
|
|
190
|
+
params.push(x.text);
|
|
191
|
+
if (x.kind === 'id' &&
|
|
192
|
+
tokens[j + 1]?.text === ':' &&
|
|
193
|
+
(prev === '{' || prev === ',') &&
|
|
194
|
+
tokens[j + 2]?.kind === 'id')
|
|
195
|
+
params.push(tokens[j + 2].text);
|
|
196
|
+
}
|
|
197
|
+
}
|
|
198
|
+
else if (tokens[k - 1]?.kind === 'id')
|
|
199
|
+
params.push(tokens[k - 1].text);
|
|
200
|
+
const before = tokens[first - 1];
|
|
201
|
+
const callee = before?.text === '(' ? tokens[first - 2] : undefined;
|
|
202
|
+
const method = callee?.kind === 'id' && tokens[first - 3]?.text === '.' && LIST_METHODS.has(callee.text);
|
|
203
|
+
const impl = before?.text === ':' && tokens[first - 2]?.text === 'impl';
|
|
204
|
+
out.push({
|
|
205
|
+
params: params.filter((p) => p !== 'when'),
|
|
206
|
+
from: k + 1,
|
|
207
|
+
to: bodyEnd(tokens, k + 1),
|
|
208
|
+
real: method || impl,
|
|
209
|
+
});
|
|
210
|
+
});
|
|
211
|
+
return out;
|
|
212
|
+
}
|
|
213
|
+
export function scanTruthiness(source) {
|
|
214
|
+
const tokens = tokenize(source);
|
|
215
|
+
const list = arrows(tokens);
|
|
216
|
+
const refsAt = (k) => {
|
|
217
|
+
const refs = new Set();
|
|
218
|
+
const real = new Set();
|
|
219
|
+
for (const a of list)
|
|
220
|
+
if (a.from <= k && k <= a.to)
|
|
221
|
+
for (const p of a.params)
|
|
222
|
+
(a.real ? real : refs).add(p);
|
|
223
|
+
for (const p of real)
|
|
224
|
+
refs.delete(p);
|
|
225
|
+
const insideReal = list.some((a) => a.real && a.from <= k && k <= a.to);
|
|
226
|
+
return insideReal ? new Set() : refs;
|
|
227
|
+
};
|
|
228
|
+
const findings = [];
|
|
229
|
+
for (let k = 0; k < tokens.length; k++) {
|
|
230
|
+
const t = tokens[k];
|
|
231
|
+
if (t.kind !== 'id' || tokens[k - 1]?.text === '.' || tokens[k - 1]?.text === '?.')
|
|
232
|
+
continue;
|
|
233
|
+
if (!refsAt(k).has(t.text))
|
|
234
|
+
continue;
|
|
235
|
+
let end = k;
|
|
236
|
+
while ((tokens[end + 1]?.text === '.' || tokens[end + 1]?.text === '?.') &&
|
|
237
|
+
tokens[end + 2]?.kind === 'id')
|
|
238
|
+
end += 2;
|
|
239
|
+
if (tokens[end + 1]?.text === '(')
|
|
240
|
+
continue;
|
|
241
|
+
const next = tokens[end + 1]?.text;
|
|
242
|
+
const prev = tokens[k - 1]?.text;
|
|
243
|
+
const expression = tokens
|
|
244
|
+
.slice(k, end + 1)
|
|
245
|
+
.map((x) => x.text)
|
|
246
|
+
.join('');
|
|
247
|
+
const use = next === '?'
|
|
248
|
+
? 'a ?: condition'
|
|
249
|
+
: next === '&&'
|
|
250
|
+
? 'the left side of &&'
|
|
251
|
+
: next === '||'
|
|
252
|
+
? 'the left side of ||'
|
|
253
|
+
: next === '??'
|
|
254
|
+
? 'the left side of ??'
|
|
255
|
+
: prev === '!'
|
|
256
|
+
? 'the operand of !'
|
|
257
|
+
: prev === '(' && next === ')' && tokens[k - 2]?.text === 'if'
|
|
258
|
+
? 'an if condition'
|
|
259
|
+
: prev === '(' && next === ')' && tokens[k - 2]?.text === 'while'
|
|
260
|
+
? 'a while condition'
|
|
261
|
+
: null;
|
|
262
|
+
if (use)
|
|
263
|
+
findings.push({ line: t.line, column: t.column, expression, use });
|
|
264
|
+
k = end;
|
|
265
|
+
}
|
|
266
|
+
return findings;
|
|
267
|
+
}
|
|
268
|
+
//# sourceMappingURL=truthiness.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"truthiness.js","sourceRoot":"","sources":["../src/truthiness.ts"],"names":[],"mappings":"AAqBA,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAC9G,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,QAAQ;IACR,IAAI;CACL,CAAC,CAAA;AACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,KAAK;IACL,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,MAAM;IACN,OAAO;IACP,MAAM;IACN,SAAS;IACT,WAAW;IACX,MAAM;CACP,CAAC,CAAA;AAEF,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,MAAM,GAAY,EAAE,CAAA;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAmB,EAAE,KAAa,EAAE,EAAE,CAChE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,CAAA;IAClE,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;YACzB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAA;gBACN,SAAS,GAAG,CAAC,GAAG,CAAC,CAAA;YACnB,CAAC;QACH,CAAC,GAAG,EAAE,CAAA;IACR,CAAC,CAAA;IACD,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,EAAE;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChF,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC,CAAA;IACD,MAAM,YAAY,GAAG,GAAG,EAAE;QACxB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;YACnB,IAAI,CAAC,KAAK,IAAI;gBAAE,CAAC,IAAI,CAAC,CAAA;iBACjB,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAA;iBAC1C,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5C,KAAK,EAAE,CAAA;gBACP,CAAC,IAAI,CAAC,CAAA;YACR,CAAC;iBAAM,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBAClC,KAAK,EAAE,CAAA;gBACP,CAAC,EAAE,CAAA;YACL,CAAC;;gBAAM,CAAC,EAAE,CAAA;QACZ,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC,CAAA;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACpB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;aAClE,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;YACzC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;aAC9E,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;aAChF,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;YACtB,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC7B,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,OAAO,CAAC,YAAY,EAAE,CAAC,CAAA;YACvB,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC7B,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,IAAI,KAAK,GAAG,KAAK,CAAA;YACjB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBACzD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAA;qBACtB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,KAAK,GAAG,IAAI,CAAA;qBACnC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,KAAK,GAAG,KAAK,CAAA;gBACzC,CAAC,EAAE,CAAA;YACL,CAAC;YACD,CAAC,EAAE,CAAA;YACH,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAA;YACzC,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC7B,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAA;YACzC,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAC3C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAA;YACzC,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAChD,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YACzD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAA;YACrB,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,IAAI,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;AACrE,MAAM,KAAK,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;AAEtE,SAAS,YAAY,CAAC,MAAe,EAAE,EAAU;IAC/C,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;QACzB,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAA;aACf,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,MAAe,EAAE,EAAU;IAChD,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;QACzB,IAAI,KAAK,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAA;aAChB,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,SAAS,OAAO,CAAC,MAAe,EAAE,KAAa;IAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,GAAG;QAAE,OAAO,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAClG,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;QACzB,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAA;aACf,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAA;YAC7B,KAAK,EAAE,CAAA;QACT,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;AAC1B,CAAC;AASD,SAAS,MAAM,CAAC,MAAe;IAC7B,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAM;QAC3B,IAAI,KAAK,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,MAAM,MAAM,GAAa,EAAE,CAAA;QAC3B,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;YAChC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;gBACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAA;gBAChC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;oBAChF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;gBACrB,IACE,CAAC,CAAC,IAAI,KAAK,IAAI;oBACf,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;oBAC3B,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;oBAC9B,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBAE5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAA;YACpC,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAA;QACzE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAChC,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QACnE,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACxG,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAA;QACvE,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC;YAC1C,IAAI,EAAE,CAAC,GAAG,CAAC;YACX,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,EAAE,MAAM,IAAI,IAAI;SACrB,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAe,EAAE;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI;YAClB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE;gBAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACvF,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAA;QACvE,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IACtC,CAAC,CAAA;IACD,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;YAAE,SAAQ;QAC5F,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAQ;QACpC,IAAI,GAAG,GAAG,CAAC,CAAA;QACX,OACE,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;YACjE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;YAE9B,GAAG,IAAI,CAAC,CAAA;QACV,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;YAAE,SAAQ;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAA;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAA;QAChC,MAAM,UAAU,GAAG,MAAM;aACtB,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;aACjB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAClB,IAAI,CAAC,EAAE,CAAC,CAAA;QACX,MAAM,GAAG,GACP,IAAI,KAAK,GAAG;YACV,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,IAAI,KAAK,IAAI;gBACb,CAAC,CAAC,qBAAqB;gBACvB,CAAC,CAAC,IAAI,KAAK,IAAI;oBACb,CAAC,CAAC,qBAAqB;oBACvB,CAAC,CAAC,IAAI,KAAK,IAAI;wBACb,CAAC,CAAC,qBAAqB;wBACvB,CAAC,CAAC,IAAI,KAAK,GAAG;4BACZ,CAAC,CAAC,kBAAkB;4BACpB,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;gCAC5D,CAAC,CAAC,iBAAiB;gCACnB,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;oCAC/D,CAAC,CAAC,mBAAmB;oCACrB,CAAC,CAAC,IAAI,CAAA;QACtB,IAAI,GAAG;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAA;QAC3E,CAAC,GAAG,GAAG,CAAA;IACT,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@hozu/validator",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.6.0",
|
|
4
4
|
"description": "Hozu validator: structured diagnostics with fixes, contract runner and behaviour lock",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"hozu",
|
|
@@ -39,8 +39,8 @@
|
|
|
39
39
|
"access": "public"
|
|
40
40
|
},
|
|
41
41
|
"dependencies": {
|
|
42
|
-
"@hozu/core": "0.
|
|
43
|
-
"@hozu/compiler": "0.
|
|
42
|
+
"@hozu/core": "0.6.0",
|
|
43
|
+
"@hozu/compiler": "0.6.0"
|
|
44
44
|
},
|
|
45
45
|
"sideEffects": false
|
|
46
46
|
}
|