@jasonbelmonti/markdown-engine 2.0.0 → 3.0.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/CHANGELOG.md +26 -1
- package/README.md +65 -57
- package/dist/api/declarative-validation.d.ts +2 -2
- package/dist/api/declarative-validation.d.ts.map +1 -1
- package/dist/api/declarative-validation.js +53 -31
- package/dist/api/declarative-validation.js.map +1 -1
- package/dist/cli/declarative-validation.d.ts.map +1 -1
- package/dist/cli/declarative-validation.js +7 -12
- package/dist/cli/declarative-validation.js.map +1 -1
- package/dist/declarative-validation/applicability/classifier.d.ts +18 -0
- package/dist/declarative-validation/applicability/classifier.d.ts.map +1 -0
- package/dist/declarative-validation/applicability/classifier.js +37 -0
- package/dist/declarative-validation/applicability/classifier.js.map +1 -0
- package/dist/declarative-validation/applicability/index.d.ts +2 -0
- package/dist/declarative-validation/applicability/index.d.ts.map +1 -0
- package/dist/declarative-validation/applicability/index.js +2 -0
- package/dist/declarative-validation/applicability/index.js.map +1 -0
- package/dist/declarative-validation/assertions/context.d.ts +2 -2
- package/dist/declarative-validation/assertions/context.d.ts.map +1 -1
- package/dist/declarative-validation/assertions/diagnostics.d.ts +7 -4
- package/dist/declarative-validation/assertions/diagnostics.d.ts.map +1 -1
- package/dist/declarative-validation/assertions/diagnostics.js +26 -1
- package/dist/declarative-validation/assertions/diagnostics.js.map +1 -1
- package/dist/declarative-validation/assertions/evaluator.d.ts +2 -2
- package/dist/declarative-validation/assertions/evaluator.d.ts.map +1 -1
- package/dist/declarative-validation/assertions/evaluator.js +3 -0
- package/dist/declarative-validation/assertions/evaluator.js.map +1 -1
- package/dist/declarative-validation/assertions/group-evaluator.d.ts +6 -0
- package/dist/declarative-validation/assertions/group-evaluator.d.ts.map +1 -0
- package/dist/declarative-validation/assertions/group-evaluator.js +57 -0
- package/dist/declarative-validation/assertions/group-evaluator.js.map +1 -0
- package/dist/declarative-validation/assertions/id-targets.d.ts +15 -0
- package/dist/declarative-validation/assertions/id-targets.d.ts.map +1 -1
- package/dist/declarative-validation/assertions/id-targets.js +18 -55
- package/dist/declarative-validation/assertions/id-targets.js.map +1 -1
- package/dist/declarative-validation/assertions/ids.d.ts.map +1 -1
- package/dist/declarative-validation/assertions/ids.js +100 -14
- package/dist/declarative-validation/assertions/ids.js.map +1 -1
- package/dist/declarative-validation/assertions/index.d.ts +1 -0
- package/dist/declarative-validation/assertions/index.d.ts.map +1 -1
- package/dist/declarative-validation/assertions/index.js +1 -0
- package/dist/declarative-validation/assertions/index.js.map +1 -1
- package/dist/declarative-validation/assertions/table-column-coverage.d.ts +9 -0
- package/dist/declarative-validation/assertions/table-column-coverage.d.ts.map +1 -0
- package/dist/declarative-validation/assertions/table-column-coverage.js +108 -0
- package/dist/declarative-validation/assertions/table-column-coverage.js.map +1 -0
- package/dist/declarative-validation/compiler/applicability-plan.d.ts +5 -0
- package/dist/declarative-validation/compiler/applicability-plan.d.ts.map +1 -0
- package/dist/declarative-validation/compiler/applicability-plan.js +22 -0
- package/dist/declarative-validation/compiler/applicability-plan.js.map +1 -0
- package/dist/declarative-validation/compiler/assertion-builders.d.ts +2 -1
- package/dist/declarative-validation/compiler/assertion-builders.d.ts.map +1 -1
- package/dist/declarative-validation/compiler/assertion-builders.js +51 -13
- package/dist/declarative-validation/compiler/assertion-builders.js.map +1 -1
- package/dist/declarative-validation/compiler/assertion-shapes.d.ts +3 -1
- package/dist/declarative-validation/compiler/assertion-shapes.d.ts.map +1 -1
- package/dist/declarative-validation/compiler/assertion-shapes.js +90 -0
- package/dist/declarative-validation/compiler/assertion-shapes.js.map +1 -1
- package/dist/declarative-validation/compiler/assertions.d.ts +2 -1
- package/dist/declarative-validation/compiler/assertions.d.ts.map +1 -1
- package/dist/declarative-validation/compiler/assertions.js +14 -4
- package/dist/declarative-validation/compiler/assertions.js.map +1 -1
- package/dist/declarative-validation/compiler/compatibility.d.ts.map +1 -1
- package/dist/declarative-validation/compiler/compatibility.js +1 -0
- package/dist/declarative-validation/compiler/compatibility.js.map +1 -1
- package/dist/declarative-validation/compiler/group-plans.d.ts +6 -0
- package/dist/declarative-validation/compiler/group-plans.d.ts.map +1 -0
- package/dist/declarative-validation/compiler/group-plans.js +67 -0
- package/dist/declarative-validation/compiler/group-plans.js.map +1 -0
- package/dist/declarative-validation/compiler/index.d.ts +1 -1
- package/dist/declarative-validation/compiler/index.d.ts.map +1 -1
- package/dist/declarative-validation/compiler/index.js +70 -35
- package/dist/declarative-validation/compiler/index.js.map +1 -1
- package/dist/declarative-validation/compiler/plan.d.ts +72 -4
- package/dist/declarative-validation/compiler/plan.d.ts.map +1 -1
- package/dist/declarative-validation/compiler/rule-fields.d.ts +6 -0
- package/dist/declarative-validation/compiler/rule-fields.d.ts.map +1 -0
- package/dist/declarative-validation/compiler/rule-fields.js +40 -0
- package/dist/declarative-validation/compiler/rule-fields.js.map +1 -0
- package/dist/declarative-validation/diagnostics/profile-config-diagnostics.d.ts +0 -1
- package/dist/declarative-validation/diagnostics/profile-config-diagnostics.d.ts.map +1 -1
- package/dist/declarative-validation/diagnostics/profile-config-diagnostics.js +8 -2
- package/dist/declarative-validation/diagnostics/profile-config-diagnostics.js.map +1 -1
- package/dist/declarative-validation/evidence/index.d.ts +3 -3
- package/dist/declarative-validation/evidence/index.d.ts.map +1 -1
- package/dist/declarative-validation/evidence/index.js +6 -6
- package/dist/declarative-validation/evidence/index.js.map +1 -1
- package/dist/declarative-validation/profile/applicability-schema.d.ts +4 -0
- package/dist/declarative-validation/profile/applicability-schema.d.ts.map +1 -0
- package/dist/declarative-validation/profile/applicability-schema.js +24 -0
- package/dist/declarative-validation/profile/applicability-schema.js.map +1 -0
- package/dist/declarative-validation/profile/assertion-schema.d.ts +2 -1
- package/dist/declarative-validation/profile/assertion-schema.d.ts.map +1 -1
- package/dist/declarative-validation/profile/assertion-schema.js +149 -14
- package/dist/declarative-validation/profile/assertion-schema.js.map +1 -1
- package/dist/declarative-validation/profile/direct-profile-diagnostics.d.ts +3 -1
- package/dist/declarative-validation/profile/direct-profile-diagnostics.d.ts.map +1 -1
- package/dist/declarative-validation/profile/direct-profile-diagnostics.js +10 -2
- package/dist/declarative-validation/profile/direct-profile-diagnostics.js.map +1 -1
- package/dist/declarative-validation/profile/group-schema.d.ts +5 -0
- package/dist/declarative-validation/profile/group-schema.d.ts.map +1 -0
- package/dist/declarative-validation/profile/group-schema.js +55 -0
- package/dist/declarative-validation/profile/group-schema.js.map +1 -0
- package/dist/declarative-validation/profile/ids-assertion-contract.d.ts +12 -0
- package/dist/declarative-validation/profile/ids-assertion-contract.d.ts.map +1 -0
- package/dist/declarative-validation/profile/ids-assertion-contract.js +32 -0
- package/dist/declarative-validation/profile/ids-assertion-contract.js.map +1 -0
- package/dist/declarative-validation/profile/index.d.ts +42 -2
- package/dist/declarative-validation/profile/index.d.ts.map +1 -1
- package/dist/declarative-validation/profile/index.js.map +1 -1
- package/dist/declarative-validation/profile/materialization.d.ts.map +1 -1
- package/dist/declarative-validation/profile/materialization.js +13 -10
- package/dist/declarative-validation/profile/materialization.js.map +1 -1
- package/dist/declarative-validation/profile/schema.d.ts.map +1 -1
- package/dist/declarative-validation/profile/schema.js +73 -12
- package/dist/declarative-validation/profile/schema.js.map +1 -1
- package/dist/declarative-validation/profile/syntax-version.d.ts +7 -0
- package/dist/declarative-validation/profile/syntax-version.d.ts.map +1 -0
- package/dist/declarative-validation/profile/syntax-version.js +11 -0
- package/dist/declarative-validation/profile/syntax-version.js.map +1 -0
- package/dist/declarative-validation/results/clone-rule-result.d.ts +6 -0
- package/dist/declarative-validation/results/clone-rule-result.d.ts.map +1 -0
- package/dist/declarative-validation/results/clone-rule-result.js +125 -0
- package/dist/declarative-validation/results/clone-rule-result.js.map +1 -0
- package/dist/declarative-validation/results/create-result.d.ts +15 -0
- package/dist/declarative-validation/results/create-result.d.ts.map +1 -0
- package/dist/declarative-validation/results/create-result.js +58 -0
- package/dist/declarative-validation/results/create-result.js.map +1 -0
- package/dist/declarative-validation/results/index.d.ts +3 -25
- package/dist/declarative-validation/results/index.d.ts.map +1 -1
- package/dist/declarative-validation/results/index.js +2 -1
- package/dist/declarative-validation/results/index.js.map +1 -1
- package/dist/declarative-validation/results/skipped-rule-result.d.ts +10 -0
- package/dist/declarative-validation/results/skipped-rule-result.d.ts.map +1 -0
- package/dist/declarative-validation/results/skipped-rule-result.js +18 -0
- package/dist/declarative-validation/results/skipped-rule-result.js.map +1 -0
- package/dist/declarative-validation/results/types.d.ts +77 -0
- package/dist/declarative-validation/results/types.d.ts.map +1 -0
- package/dist/declarative-validation/results/types.js +2 -0
- package/dist/declarative-validation/results/types.js.map +1 -0
- package/dist/declarative-validation/selectors/table-targets.d.ts +23 -0
- package/dist/declarative-validation/selectors/table-targets.d.ts.map +1 -1
- package/dist/declarative-validation/selectors/table-targets.js +52 -9
- package/dist/declarative-validation/selectors/table-targets.js.map +1 -1
- package/dist-bundled/markdown-engine-cli.mjs +26826 -0
- package/docs/contracts/api.md +19 -15
- package/docs/contracts/declarative-validation.md +319 -36
- package/package.json +8 -3
- package/skills/profile-backed-markdown/SKILL.md +54 -0
- package/skills/profile-backed-markdown/assets/profiles/operational-spec.yaml +98 -0
- package/skills/profile-backed-markdown/references/repair-brief.md +14 -0
- package/skills/profile-backed-markdown/scripts/validate-profile-backed-markdown.mjs +590 -0
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
2
|
+
import type { DeclarativeValidationSeverity } from "../profile/index.js";
|
|
3
|
+
import type { CompiledDeclarativeValidationGroupRuleV2 } from "./plan.js";
|
|
4
|
+
export type CompiledGroupKind = "anyOf" | "allOf";
|
|
5
|
+
export declare function compiledGroupRuleFromValue(value: unknown, kind: CompiledGroupKind, ruleId: string, severity: DeclarativeValidationSeverity, diagnostics: MarkdownDiagnostic[]): CompiledDeclarativeValidationGroupRuleV2 | undefined;
|
|
6
|
+
//# sourceMappingURL=group-plans.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"group-plans.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/group-plans.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,qBAAqB,CAAC;AAIzE,OAAO,KAAK,EAEV,wCAAwC,EACzC,MAAM,WAAW,CAAC;AAGnB,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,OAAO,CAAC;AAIlD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,6BAA6B,EACvC,WAAW,EAAE,kBAAkB,EAAE,GAChC,wCAAwC,GAAG,SAAS,CAkBtD"}
|
|
@@ -0,0 +1,67 @@
|
|
|
1
|
+
import { isPlainRecord } from "../../internal/plain-record.js";
|
|
2
|
+
import { PROFILE_SYNTAX_VERSION_V2 } from "../profile/syntax-version.js";
|
|
3
|
+
import { pushUnsupportedKeyDiagnostics } from "./assertion-shapes.js";
|
|
4
|
+
import { compileDiagnostic } from "./diagnostics.js";
|
|
5
|
+
import { compiledRuleFieldsFromValue } from "./rule-fields.js";
|
|
6
|
+
const BRANCH_KEYS = ["label", "select", "assert"];
|
|
7
|
+
export function compiledGroupRuleFromValue(value, kind, ruleId, severity, diagnostics) {
|
|
8
|
+
const branches = compiledBranchesFromValue(value, kind, ruleId, severity, diagnostics);
|
|
9
|
+
return branches === undefined
|
|
10
|
+
? undefined
|
|
11
|
+
: {
|
|
12
|
+
kind,
|
|
13
|
+
syntaxVersion: PROFILE_SYNTAX_VERSION_V2,
|
|
14
|
+
ruleId,
|
|
15
|
+
severity,
|
|
16
|
+
branches,
|
|
17
|
+
};
|
|
18
|
+
}
|
|
19
|
+
function compiledBranchesFromValue(value, kind, ruleId, severity, diagnostics) {
|
|
20
|
+
if (!Array.isArray(value) || value.length === 0) {
|
|
21
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} must be a non-empty array.`, ruleId));
|
|
22
|
+
return undefined;
|
|
23
|
+
}
|
|
24
|
+
const branches = [];
|
|
25
|
+
const seenLabels = new Set();
|
|
26
|
+
for (let branchIndex = 0; branchIndex < value.length; branchIndex += 1) {
|
|
27
|
+
const branch = compiledBranchFromValue(value[branchIndex], kind, branchIndex, ruleId, severity, diagnostics);
|
|
28
|
+
if (branch === undefined) {
|
|
29
|
+
continue;
|
|
30
|
+
}
|
|
31
|
+
if (branch.label !== undefined) {
|
|
32
|
+
if (seenLabels.has(branch.label)) {
|
|
33
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch label "${branch.label}" must be unique.`, ruleId));
|
|
34
|
+
}
|
|
35
|
+
seenLabels.add(branch.label);
|
|
36
|
+
}
|
|
37
|
+
branches.push(branch);
|
|
38
|
+
}
|
|
39
|
+
return branches;
|
|
40
|
+
}
|
|
41
|
+
function compiledBranchFromValue(value, kind, branchIndex, ruleId, severity, diagnostics) {
|
|
42
|
+
if (!isPlainRecord(value)) {
|
|
43
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch at index ${branchIndex} must be an object.`, ruleId));
|
|
44
|
+
return undefined;
|
|
45
|
+
}
|
|
46
|
+
pushUnsupportedKeyDiagnostics(value, BRANCH_KEYS, diagnostics);
|
|
47
|
+
const label = branchLabelFromValue(value.label, kind, branchIndex, ruleId, diagnostics);
|
|
48
|
+
const branchFields = compiledRuleFieldsFromValue(value.select, value.assert, ruleId, severity, PROFILE_SYNTAX_VERSION_V2, diagnostics);
|
|
49
|
+
return branchFields === undefined
|
|
50
|
+
? undefined
|
|
51
|
+
: {
|
|
52
|
+
branchIndex,
|
|
53
|
+
...(label !== undefined ? { label } : {}),
|
|
54
|
+
...branchFields,
|
|
55
|
+
};
|
|
56
|
+
}
|
|
57
|
+
function branchLabelFromValue(value, kind, branchIndex, ruleId, diagnostics) {
|
|
58
|
+
if (value === undefined) {
|
|
59
|
+
return undefined;
|
|
60
|
+
}
|
|
61
|
+
if (typeof value === "string" && value.length > 0) {
|
|
62
|
+
return value;
|
|
63
|
+
}
|
|
64
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", `Rule ${kind} branch at index ${branchIndex} label must be a non-empty string when provided.`, ruleId));
|
|
65
|
+
return undefined;
|
|
66
|
+
}
|
|
67
|
+
//# sourceMappingURL=group-plans.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"group-plans.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/group-plans.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAKrD,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAI/D,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAE3D,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,IAAuB,EACvB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,MAAM,QAAQ,GAAG,yBAAyB,CACxC,KAAK,EACL,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;IAEF,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,IAAI;YACJ,aAAa,EAAE,yBAAyB;YACxC,MAAM;YACN,QAAQ;YACR,QAAQ;SACT,CAAC;AACR,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAc,EACd,IAAuB,EACvB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,6BAA6B,EACzC,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAA4C,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,uBAAuB,CACpC,KAAK,CAAC,WAAW,CAAC,EAClB,IAAI,EACJ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,kBAAkB,MAAM,CAAC,KAAK,mBAAmB,EAC7D,MAAM,CACP,CACF,CAAC;YACJ,CAAC;YAED,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc,EACd,IAAuB,EACvB,WAAmB,EACnB,MAAc,EACd,QAAuC,EACvC,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,oBAAoB,WAAW,qBAAqB,EAChE,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6BAA6B,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAE/D,MAAM,KAAK,GAAG,oBAAoB,CAChC,KAAK,CAAC,KAAK,EACX,IAAI,EACJ,WAAW,EACX,MAAM,EACN,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,2BAA2B,CAC9C,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,MAAM,EACZ,MAAM,EACN,QAAQ,EACR,yBAAyB,EACzB,WAAW,CACZ,CAAC;IAEF,OAAO,YAAY,KAAK,SAAS;QAC/B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,WAAW;YACX,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,YAAY;SAChB,CAAC;AACR,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAc,EACd,IAAuB,EACvB,WAAmB,EACnB,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,QAAQ,IAAI,oBAAoB,WAAW,kDAAkD,EAC7F,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import type { ValidationProfile } from "../profile/index.js";
|
|
2
2
|
import type { DeclarativeValidationCompileResult } from "./plan.js";
|
|
3
|
-
export type {
|
|
3
|
+
export type { CompiledDeclarativeValidationPlan, CompiledDeclarativeValidationPlanV1, CompiledDeclarativeValidationPlanV2, CompiledDeclarativeValidationAnyOfRuleV2, CompiledDeclarativeValidationAllOfRuleV2, CompiledDeclarativeValidationBranchV2, CompiledDeclarativeValidationExecutableRule, CompiledDeclarativeValidationRule, CompiledDeclarativeValidationRuleFields, CompiledDeclarativeValidationRuleV2, CompiledDeclarativeValidationRuleV1, CompiledDeclarativeValidationFlatRuleV2, CompiledDeclarativeValidationGroupRuleV2, CompiledDeclarativeValidationGroupRuleFields, CompiledDeclarativeValidationApplicabilityPlan, CompiledDeclarativeAssertion, DeclarativeValidationCompileResult, } from "./plan.js";
|
|
4
4
|
export declare function compileValidationProfile(profile: ValidationProfile): DeclarativeValidationCompileResult;
|
|
5
5
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAiB7B,OAAO,KAAK,EAKV,kCAAkC,EACnC,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,iCAAiC,EACjC,mCAAmC,EACnC,mCAAmC,EACnC,wCAAwC,EACxC,wCAAwC,EACxC,qCAAqC,EACrC,2CAA2C,EAC3C,iCAAiC,EACjC,uCAAuC,EACvC,mCAAmC,EACnC,mCAAmC,EACnC,uCAAuC,EACvC,wCAAwC,EACxC,4CAA4C,EAC5C,8CAA8C,EAC9C,4BAA4B,EAC5B,kCAAkC,GACnC,MAAM,WAAW,CAAC;AASnB,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,iBAAiB,GACzB,kCAAkC,CAmFpC"}
|
|
@@ -2,13 +2,17 @@ import { isPlainRecord } from "../../internal/plain-record.js";
|
|
|
2
2
|
import { closeProfileDataTree, DATA_CLOSURE_FAILED, } from "../profile/data-closure.js";
|
|
3
3
|
import { pushDirectProfileUnsupportedKeyDiagnostics } from "../profile/direct-profile-diagnostics.js";
|
|
4
4
|
import { selectorFromValue } from "../profile/selector-schema.js";
|
|
5
|
-
import {
|
|
5
|
+
import { PROFILE_SYNTAX_VERSION_V2, } from "../profile/syntax-version.js";
|
|
6
|
+
import { compiledApplicabilityPlanFromValue } from "./applicability-plan.js";
|
|
6
7
|
import { compileDiagnostic } from "./diagnostics.js";
|
|
8
|
+
import { compiledGroupRuleFromValue, } from "./group-plans.js";
|
|
9
|
+
import { compiledRuleFieldsFromValue } from "./rule-fields.js";
|
|
7
10
|
const SEVERITIES = new Set([
|
|
8
11
|
"error",
|
|
9
12
|
"warning",
|
|
10
13
|
"info",
|
|
11
14
|
]);
|
|
15
|
+
const GROUP_KINDS = ["anyOf", "allOf"];
|
|
12
16
|
export function compileValidationProfile(profile) {
|
|
13
17
|
const diagnostics = [];
|
|
14
18
|
if (pushDirectProfileUnsupportedKeyDiagnostics(profile, diagnostics)) {
|
|
@@ -59,48 +63,79 @@ export function compileValidationProfile(profile) {
|
|
|
59
63
|
if (severity === undefined && rule.severity !== undefined) {
|
|
60
64
|
continue;
|
|
61
65
|
}
|
|
62
|
-
const
|
|
63
|
-
if (
|
|
64
|
-
|
|
65
|
-
}
|
|
66
|
-
const diagnosticCountBeforeSelector = diagnostics.length;
|
|
67
|
-
const selector = selectorFromValue(selectorInput, diagnostics);
|
|
68
|
-
if (selector === undefined ||
|
|
69
|
-
diagnostics.length > diagnosticCountBeforeSelector) {
|
|
70
|
-
continue;
|
|
71
|
-
}
|
|
72
|
-
const assertionInput = closeProfileDataTree(rule.assert, "Rule assert", diagnostics, ruleId);
|
|
73
|
-
if (assertionInput === DATA_CLOSURE_FAILED) {
|
|
74
|
-
continue;
|
|
75
|
-
}
|
|
76
|
-
const diagnosticCountBeforeAssertions = diagnostics.length;
|
|
77
|
-
if (!isPlainRecord(assertionInput)) {
|
|
78
|
-
diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must be an object.", ruleId));
|
|
79
|
-
continue;
|
|
66
|
+
const compiledRule = compiledRuleFromValue(rule, index, ruleId, severity ?? "error", profile.syntaxVersion, diagnostics);
|
|
67
|
+
if (compiledRule !== undefined) {
|
|
68
|
+
rules.push(compiledRule);
|
|
80
69
|
}
|
|
81
|
-
const assertions = compiledAssertionsFromValue(assertionInput, selector, ruleId, diagnostics);
|
|
82
|
-
if (assertions.length === 0) {
|
|
83
|
-
if (diagnostics.length === diagnosticCountBeforeAssertions) {
|
|
84
|
-
diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must include at least one supported assertion.", ruleId));
|
|
85
|
-
}
|
|
86
|
-
continue;
|
|
87
|
-
}
|
|
88
|
-
rules.push({
|
|
89
|
-
ruleId,
|
|
90
|
-
severity: severity ?? "error",
|
|
91
|
-
selector,
|
|
92
|
-
assertions,
|
|
93
|
-
});
|
|
94
70
|
}
|
|
95
71
|
return diagnostics.length > 0
|
|
96
72
|
? { diagnostics }
|
|
97
73
|
: {
|
|
98
|
-
plan:
|
|
99
|
-
rules,
|
|
100
|
-
},
|
|
74
|
+
plan: compiledPlanFromRules(profile.syntaxVersion, rules),
|
|
101
75
|
diagnostics,
|
|
102
76
|
};
|
|
103
77
|
}
|
|
78
|
+
function compiledPlanFromRules(syntaxVersion, rules) {
|
|
79
|
+
return syntaxVersion === PROFILE_SYNTAX_VERSION_V2
|
|
80
|
+
? {
|
|
81
|
+
syntaxVersion,
|
|
82
|
+
rules: rules.map((rule) => v2RulePlanFromRule(rule, syntaxVersion)),
|
|
83
|
+
}
|
|
84
|
+
: {
|
|
85
|
+
rules: rules,
|
|
86
|
+
};
|
|
87
|
+
}
|
|
88
|
+
function v2RulePlanFromRule(rule, syntaxVersion) {
|
|
89
|
+
return "kind" in rule
|
|
90
|
+
? rule
|
|
91
|
+
: {
|
|
92
|
+
kind: "flat",
|
|
93
|
+
syntaxVersion,
|
|
94
|
+
...rule,
|
|
95
|
+
};
|
|
96
|
+
}
|
|
97
|
+
function compiledRuleFromValue(rule, ruleIndex, ruleId, severity, syntaxVersion, diagnostics) {
|
|
98
|
+
if (syntaxVersion !== PROFILE_SYNTAX_VERSION_V2) {
|
|
99
|
+
return compiledRuleFieldsFromValue(rule.select, rule.assert, ruleId, severity, syntaxVersion, diagnostics);
|
|
100
|
+
}
|
|
101
|
+
const hasFlatShapeInput = rule.select !== undefined || rule.assert !== undefined;
|
|
102
|
+
const groupKind = groupKindFromRule(rule);
|
|
103
|
+
const applicability = rule.when === undefined
|
|
104
|
+
? undefined
|
|
105
|
+
: compiledApplicabilityPlanFromValue(rule.when, ruleId, severity, diagnostics);
|
|
106
|
+
if (rule.when !== undefined && applicability === undefined) {
|
|
107
|
+
return undefined;
|
|
108
|
+
}
|
|
109
|
+
const shapeCount = Number(hasFlatShapeInput) + GROUP_KINDS.reduce((count, kind) => count + Number(rule[kind] !== undefined), 0);
|
|
110
|
+
if (shapeCount !== 1) {
|
|
111
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", `V2 rule at index ${ruleIndex} must declare exactly one of select/assert, anyOf, or allOf.`, ruleId));
|
|
112
|
+
return undefined;
|
|
113
|
+
}
|
|
114
|
+
if (groupKind !== undefined) {
|
|
115
|
+
const groupRule = compiledGroupRuleFromValue(rule[groupKind], groupKind, ruleId, severity, diagnostics);
|
|
116
|
+
return groupRule === undefined
|
|
117
|
+
? undefined
|
|
118
|
+
: {
|
|
119
|
+
...groupRule,
|
|
120
|
+
...(applicability !== undefined ? { applicability } : {}),
|
|
121
|
+
};
|
|
122
|
+
}
|
|
123
|
+
const fields = compiledRuleFieldsFromValue(rule.select, rule.assert, ruleId, severity, syntaxVersion, diagnostics);
|
|
124
|
+
return fields === undefined
|
|
125
|
+
? undefined
|
|
126
|
+
: {
|
|
127
|
+
kind: "flat",
|
|
128
|
+
syntaxVersion: PROFILE_SYNTAX_VERSION_V2,
|
|
129
|
+
...fields,
|
|
130
|
+
...(applicability !== undefined ? { applicability } : {}),
|
|
131
|
+
};
|
|
132
|
+
}
|
|
133
|
+
function groupKindFromRule(rule) {
|
|
134
|
+
if (rule.anyOf !== undefined) {
|
|
135
|
+
return "anyOf";
|
|
136
|
+
}
|
|
137
|
+
return rule.allOf !== undefined ? "allOf" : undefined;
|
|
138
|
+
}
|
|
104
139
|
function profileRulesFromValue(value, diagnostics) {
|
|
105
140
|
if (!Array.isArray(value)) {
|
|
106
141
|
diagnostics.push({
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,0CAA0C,EAAE,MAAM,0CAA0C,CAAC;AACtG,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EACL,yBAAyB,GAE1B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kCAAkC,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EACL,0BAA0B,GAE3B,MAAM,kBAAkB,CAAC;AAQ1B,OAAO,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAsB/D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAgC;IACxD,OAAO;IACP,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;AAEhD,MAAM,UAAU,wBAAwB,CACtC,OAA0B;IAE1B,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,IAAI,0CAA0C,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACrE,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,aAAa,GAAG,oBAAoB,CACxC,OAAkB,EAClB,SAAS,EACT,WAAW,CACZ,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,WAAW,EAAE;gBACX,GAAG,WAAW;gBACd;oBACE,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,4BAA4B;oBACrC,QAAQ,EAAE,OAAgB;iBAC3B;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7E,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,KAAK,GAAwC,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC5D,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,yBAAyB,KAAK,wBAAwB,MAAM,IAAI;gBACzE,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAExB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,qBAAqB,CACxC,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,IAAI,OAAO,EACnB,OAAO,CAAC,aAAa,EACrB,WAAW,CACZ,CAAC;QAEF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,EAAE,WAAW,EAAE;QACjB,CAAC,CAAC;YACE,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC;YACzD,WAAW;SACZ,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,aAA6C,EAC7C,KAAmD;IAEnD,OAAO,aAAa,KAAK,yBAAyB;QAChD,CAAC,CAAC;YACE,aAAa;YACb,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;SACpE;QACH,CAAC,CAAC;YACE,KAAK,EAAE,KAA2D;SACnE,CAAC;AACR,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAuC,EACvC,aAA+C;IAE/C,OAAO,MAAM,IAAI,IAAI;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,aAAa;YACb,GAAG,IAAI;SACR,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA6B,EAC7B,SAAiB,EACjB,MAAc,EACd,QAAuC,EACvC,aAA6C,EAC7C,WAAiC;IAEjC,IAAI,aAAa,KAAK,yBAAyB,EAAE,CAAC;QAChD,OAAO,2BAA2B,CAChC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EACX,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IACjF,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,KAAK,SAAS;QACrB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,WAAW,CAAC,MAAM,CAC/D,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,EACzD,CAAC,CACF,CAAC;IAEF,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oBAAoB,SAAS,8DAA8D,EAC3F,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,0BAA0B,CAC1C,IAAI,CAAC,SAAS,CAAC,EACf,SAAS,EACT,MAAM,EACN,QAAQ,EACR,WAAW,CACZ,CAAC;QAEF,OAAO,SAAS,KAAK,SAAS;YAC5B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC;gBACE,GAAG,SAAS;gBACZ,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1D,CAAC;IACR,CAAC;IAED,MAAM,MAAM,GAAG,2BAA2B,CACxC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EACX,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,CACZ,CAAC;IAEF,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,IAAI,EAAE,MAAM;YACZ,aAAa,EAAE,yBAAyB;YACxC,GAAG,MAAM;YACT,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC;AACR,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA6B;IAE7B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAc,EACd,WAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,iCAAiC;YAC1C,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAc,EAAE,CAAC;IAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAEzE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,sCAAsC;gBAC/C,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;YAEH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,yBAAyB,KAAK,qBAAqB;YAC5D,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,oBAAoB,CACrC,KAAK,EACL,yBAAyB,KAAK,EAAE,EAChC,WAAW,CACZ,CAAC;IAEF,OAAO,UAAU,KAAK,mBAAmB,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC;QACrE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,KAAa,EACb,WAAiC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,yBAAyB,KAAK,4BAA4B;QACnE,QAAQ,EAAE,OAAO;KAClB,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,MAAc,EACd,WAAiC;IAEjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,UAAU,CAAC,GAAG,CAAC,KAAsC,CAAC,EACtD,CAAC;QACD,OAAO,KAAsC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,oEAAoE,EACpE,MAAM,CACP,CACF,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC"}
|
|
@@ -1,17 +1,69 @@
|
|
|
1
1
|
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
2
2
|
import type { DeclarativeSelector, DeclarativeValidationSeverity } from "../profile/index.js";
|
|
3
|
+
import type { PROFILE_SYNTAX_VERSION_V2 } from "../profile/syntax-version.js";
|
|
3
4
|
/** @internal Private compiled plans must not be exported from the package root. */
|
|
4
|
-
export
|
|
5
|
-
|
|
5
|
+
export type CompiledDeclarativeValidationPlan = CompiledDeclarativeValidationPlanV1 | CompiledDeclarativeValidationPlanV2;
|
|
6
|
+
/** @internal */
|
|
7
|
+
export interface CompiledDeclarativeValidationPlanV1 {
|
|
8
|
+
rules: readonly CompiledDeclarativeValidationRuleV1[];
|
|
9
|
+
}
|
|
10
|
+
/** @internal */
|
|
11
|
+
export interface CompiledDeclarativeValidationPlanV2 {
|
|
12
|
+
syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
|
|
13
|
+
rules: readonly CompiledDeclarativeValidationRuleV2[];
|
|
6
14
|
}
|
|
7
15
|
/** @internal Private rule-plan records are owned by the compiler package. */
|
|
8
|
-
export
|
|
16
|
+
export type CompiledDeclarativeValidationRule = CompiledDeclarativeValidationExecutableRule | CompiledDeclarativeValidationGroupRuleV2;
|
|
17
|
+
/** @internal */
|
|
18
|
+
export type CompiledDeclarativeValidationExecutableRule = CompiledDeclarativeValidationRuleV1 | CompiledDeclarativeValidationFlatRuleV2;
|
|
19
|
+
/** @internal */
|
|
20
|
+
export type CompiledDeclarativeValidationRuleV2 = CompiledDeclarativeValidationFlatRuleV2 | CompiledDeclarativeValidationGroupRuleV2;
|
|
21
|
+
/** @internal */
|
|
22
|
+
export type CompiledDeclarativeValidationRuleV1 = CompiledDeclarativeValidationRuleFields;
|
|
23
|
+
/** @internal */
|
|
24
|
+
export interface CompiledDeclarativeValidationFlatRuleV2 extends CompiledDeclarativeValidationRuleFields, CompiledDeclarativeValidationApplicabilityOwnerV2 {
|
|
25
|
+
kind: "flat";
|
|
26
|
+
syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
|
|
27
|
+
}
|
|
28
|
+
/** @internal */
|
|
29
|
+
export type CompiledDeclarativeValidationGroupRuleV2 = CompiledDeclarativeValidationAnyOfRuleV2 | CompiledDeclarativeValidationAllOfRuleV2;
|
|
30
|
+
/** @internal */
|
|
31
|
+
export interface CompiledDeclarativeValidationAnyOfRuleV2 extends CompiledDeclarativeValidationGroupRuleFields {
|
|
32
|
+
kind: "anyOf";
|
|
33
|
+
}
|
|
34
|
+
/** @internal */
|
|
35
|
+
export interface CompiledDeclarativeValidationAllOfRuleV2 extends CompiledDeclarativeValidationGroupRuleFields {
|
|
36
|
+
kind: "allOf";
|
|
37
|
+
}
|
|
38
|
+
/** @internal */
|
|
39
|
+
export interface CompiledDeclarativeValidationGroupRuleFields extends CompiledDeclarativeValidationApplicabilityOwnerV2 {
|
|
40
|
+
syntaxVersion: typeof PROFILE_SYNTAX_VERSION_V2;
|
|
41
|
+
ruleId: string;
|
|
42
|
+
severity: DeclarativeValidationSeverity;
|
|
43
|
+
branches: readonly CompiledDeclarativeValidationBranchV2[];
|
|
44
|
+
}
|
|
45
|
+
/** @internal */
|
|
46
|
+
export interface CompiledDeclarativeValidationBranchV2 extends CompiledDeclarativeValidationRuleFields {
|
|
47
|
+
branchIndex: number;
|
|
48
|
+
label?: string;
|
|
49
|
+
}
|
|
50
|
+
/** @internal */
|
|
51
|
+
export interface CompiledDeclarativeValidationRuleFields {
|
|
9
52
|
ruleId: string;
|
|
10
53
|
severity: DeclarativeValidationSeverity;
|
|
11
54
|
selector: DeclarativeSelector;
|
|
12
55
|
assertions: readonly CompiledDeclarativeAssertion[];
|
|
13
56
|
}
|
|
14
57
|
/** @internal */
|
|
58
|
+
export interface CompiledDeclarativeValidationApplicabilityOwnerV2 {
|
|
59
|
+
applicability?: CompiledDeclarativeValidationApplicabilityPlan;
|
|
60
|
+
}
|
|
61
|
+
/** @internal */
|
|
62
|
+
export interface CompiledDeclarativeValidationApplicabilityPlan {
|
|
63
|
+
selector: DeclarativeSelector;
|
|
64
|
+
assertions: readonly CompiledDeclarativeAssertion[];
|
|
65
|
+
}
|
|
66
|
+
/** @internal */
|
|
15
67
|
export interface DeclarativeValidationCompileResult {
|
|
16
68
|
plan?: CompiledDeclarativeValidationPlan;
|
|
17
69
|
diagnostics: readonly MarkdownDiagnostic[];
|
|
@@ -28,9 +80,11 @@ export type CompiledDeclarativeAssertion = {
|
|
|
28
80
|
columns: readonly string[];
|
|
29
81
|
} | {
|
|
30
82
|
kind: "ids";
|
|
31
|
-
unique
|
|
83
|
+
unique?: true;
|
|
32
84
|
caseSensitive: boolean;
|
|
33
85
|
prefix?: string;
|
|
86
|
+
minCount?: number;
|
|
87
|
+
maxCount?: number;
|
|
34
88
|
} | {
|
|
35
89
|
kind: "references";
|
|
36
90
|
idsFrom: {
|
|
@@ -39,6 +93,20 @@ export type CompiledDeclarativeAssertion = {
|
|
|
39
93
|
prefix?: string;
|
|
40
94
|
};
|
|
41
95
|
mustAppearIn: readonly string[];
|
|
96
|
+
} | {
|
|
97
|
+
kind: "tableColumnCoverage";
|
|
98
|
+
source: {
|
|
99
|
+
section: string;
|
|
100
|
+
column: string;
|
|
101
|
+
prefix?: string;
|
|
102
|
+
caseSensitive: boolean;
|
|
103
|
+
};
|
|
104
|
+
target: {
|
|
105
|
+
section: string;
|
|
106
|
+
tableHeader?: readonly string[];
|
|
107
|
+
column: string;
|
|
108
|
+
};
|
|
109
|
+
require: "everySourceId";
|
|
42
110
|
} | {
|
|
43
111
|
kind: "text";
|
|
44
112
|
contains?: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,mBAAmB,EACnB,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EACV,mBAAmB,EACnB,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AAE9E,mFAAmF;AACnF,MAAM,MAAM,iCAAiC,GACzC,mCAAmC,GACnC,mCAAmC,CAAC;AAExC,gBAAgB;AAChB,MAAM,WAAW,mCAAmC;IAClD,KAAK,EAAE,SAAS,mCAAmC,EAAE,CAAC;CACvD;AAED,gBAAgB;AAChB,MAAM,WAAW,mCAAmC;IAClD,aAAa,EAAE,OAAO,yBAAyB,CAAC;IAChD,KAAK,EAAE,SAAS,mCAAmC,EAAE,CAAC;CACvD;AAED,6EAA6E;AAC7E,MAAM,MAAM,iCAAiC,GACzC,2CAA2C,GAC3C,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,MAAM,2CAA2C,GACnD,mCAAmC,GACnC,uCAAuC,CAAC;AAE5C,gBAAgB;AAChB,MAAM,MAAM,mCAAmC,GAC3C,uCAAuC,GACvC,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,MAAM,mCAAmC,GAC7C,uCAAuC,CAAC;AAE1C,gBAAgB;AAChB,MAAM,WAAW,uCACf,SAAQ,uCAAuC,EAC7C,iDAAiD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,OAAO,yBAAyB,CAAC;CACjD;AAED,gBAAgB;AAChB,MAAM,MAAM,wCAAwC,GAChD,wCAAwC,GACxC,wCAAwC,CAAC;AAE7C,gBAAgB;AAChB,MAAM,WAAW,wCACf,SAAQ,4CAA4C;IACpD,IAAI,EAAE,OAAO,CAAC;CACf;AAED,gBAAgB;AAChB,MAAM,WAAW,wCACf,SAAQ,4CAA4C;IACpD,IAAI,EAAE,OAAO,CAAC;CACf;AAED,gBAAgB;AAChB,MAAM,WAAW,4CACf,SAAQ,iDAAiD;IACzD,aAAa,EAAE,OAAO,yBAAyB,CAAC;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,SAAS,qCAAqC,EAAE,CAAC;CAC5D;AAED,gBAAgB;AAChB,MAAM,WAAW,qCACf,SAAQ,uCAAuC;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,gBAAgB;AAChB,MAAM,WAAW,uCAAuC;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,6BAA6B,CAAC;IACxC,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,iDAAiD;IAChE,aAAa,CAAC,EAAE,8CAA8C,CAAC;CAChE;AAED,gBAAgB;AAChB,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACrD;AAED,gBAAgB;AAChB,MAAM,WAAW,kCAAkC;IACjD,IAAI,CAAC,EAAE,iCAAiC,CAAC;IACzC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,gBAAgB;AAChB,MAAM,MAAM,4BAA4B,GACpC;IACE,IAAI,EAAE,QAAQ,CAAC;CAChB,GACD;IACE,IAAI,EAAE,kBAAkB,CAAC;IACzB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC;IAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,MAAM,CAAC,EAAE,IAAI,CAAC;IACd,aAAa,EAAE,OAAO,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE;QACP,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,aAAa,EAAE,OAAO,CAAC;KACxB,CAAC;IACF,MAAM,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAChC,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,OAAO,EAAE,eAAe,CAAC;CAC1B,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
2
|
+
import type { DeclarativeValidationSeverity } from "../profile/index.js";
|
|
3
|
+
import type { ValidationProfileSyntaxVersion } from "../profile/syntax-version.js";
|
|
4
|
+
import type { CompiledDeclarativeValidationRuleFields } from "./plan.js";
|
|
5
|
+
export declare function compiledRuleFieldsFromValue(selectValue: unknown, assertValue: unknown, ruleId: string, severity: DeclarativeValidationSeverity, syntaxVersion: ValidationProfileSyntaxVersion, diagnostics: MarkdownDiagnostic[]): CompiledDeclarativeValidationRuleFields | undefined;
|
|
6
|
+
//# sourceMappingURL=rule-fields.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rule-fields.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/rule-fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAEV,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAM7B,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAGnF,OAAO,KAAK,EAAE,uCAAuC,EAAE,MAAM,WAAW,CAAC;AAEzE,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,OAAO,EACpB,WAAW,EAAE,OAAO,EACpB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,6BAA6B,EACvC,aAAa,EAAE,8BAA8B,EAC7C,WAAW,EAAE,kBAAkB,EAAE,GAChC,uCAAuC,GAAG,SAAS,CAuErD"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import { isPlainRecord } from "../../internal/plain-record.js";
|
|
2
|
+
import { closeProfileDataTree, DATA_CLOSURE_FAILED, } from "../profile/data-closure.js";
|
|
3
|
+
import { selectorFromValue } from "../profile/selector-schema.js";
|
|
4
|
+
import { compiledAssertionsFromValue } from "./assertions.js";
|
|
5
|
+
import { compileDiagnostic } from "./diagnostics.js";
|
|
6
|
+
export function compiledRuleFieldsFromValue(selectValue, assertValue, ruleId, severity, syntaxVersion, diagnostics) {
|
|
7
|
+
const selectorInput = closeProfileDataTree(selectValue, "Rule select", diagnostics, ruleId);
|
|
8
|
+
if (selectorInput === DATA_CLOSURE_FAILED) {
|
|
9
|
+
return undefined;
|
|
10
|
+
}
|
|
11
|
+
const diagnosticCountBeforeSelector = diagnostics.length;
|
|
12
|
+
const selector = selectorFromValue(selectorInput, diagnostics);
|
|
13
|
+
if (selector === undefined ||
|
|
14
|
+
diagnostics.length > diagnosticCountBeforeSelector) {
|
|
15
|
+
return undefined;
|
|
16
|
+
}
|
|
17
|
+
const assertionInput = closeProfileDataTree(assertValue, "Rule assert", diagnostics, ruleId);
|
|
18
|
+
if (assertionInput === DATA_CLOSURE_FAILED) {
|
|
19
|
+
return undefined;
|
|
20
|
+
}
|
|
21
|
+
const diagnosticCountBeforeAssertions = diagnostics.length;
|
|
22
|
+
if (!isPlainRecord(assertionInput)) {
|
|
23
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must be an object.", ruleId));
|
|
24
|
+
return undefined;
|
|
25
|
+
}
|
|
26
|
+
const assertions = compiledAssertionsFromValue(assertionInput, selector, ruleId, syntaxVersion, diagnostics);
|
|
27
|
+
if (assertions.length === 0) {
|
|
28
|
+
if (diagnostics.length === diagnosticCountBeforeAssertions) {
|
|
29
|
+
diagnostics.push(compileDiagnostic("profile.config.invalidShape", "Rule assert must include at least one supported assertion.", ruleId));
|
|
30
|
+
}
|
|
31
|
+
return undefined;
|
|
32
|
+
}
|
|
33
|
+
return {
|
|
34
|
+
ruleId,
|
|
35
|
+
severity,
|
|
36
|
+
selector,
|
|
37
|
+
assertions,
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
//# sourceMappingURL=rule-fields.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rule-fields.js","sourceRoot":"","sources":["../../../src/declarative-validation/compiler/rule-fields.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EACL,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGrD,MAAM,UAAU,2BAA2B,CACzC,WAAoB,EACpB,WAAoB,EACpB,MAAc,EACd,QAAuC,EACvC,aAA6C,EAC7C,WAAiC;IAEjC,MAAM,aAAa,GAAG,oBAAoB,CACxC,WAAW,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;IACF,IAAI,aAAa,KAAK,mBAAmB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,6BAA6B,GAAG,WAAW,CAAC,MAAM,CAAC;IACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAC/D,IACE,QAAQ,KAAK,SAAS;QACtB,WAAW,CAAC,MAAM,GAAG,6BAA6B,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,oBAAoB,CACzC,WAAW,EACX,aAAa,EACb,WAAW,EACX,MAAM,CACP,CAAC;IACF,IAAI,cAAc,KAAK,mBAAmB,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,+BAA+B,GAAG,WAAW,CAAC,MAAM,CAAC;IAC3D,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,gCAAgC,EAChC,MAAM,CACP,CACF,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,2BAA2B,CAC5C,cAAsC,EACtC,QAAQ,EACR,MAAM,EACN,aAAa,EACb,WAAW,CACZ,CAAC;IAEF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,IAAI,WAAW,CAAC,MAAM,KAAK,+BAA+B,EAAE,CAAC;YAC3D,WAAW,CAAC,IAAI,CACd,iBAAiB,CACf,6BAA6B,EAC7B,4DAA4D,EAC5D,MAAM,CACP,CACF,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,UAAU;KACX,CAAC;AACJ,CAAC"}
|
|
@@ -1,5 +1,4 @@
|
|
|
1
1
|
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
2
|
-
export declare const PROFILE_SYNTAX_VERSION = "markdown-engine.validation@v1";
|
|
3
2
|
export declare const REGEX_LIKE_PROFILE_KEYS: readonly ["matches", "pattern", "regex", "regexp"];
|
|
4
3
|
export declare const UNSAFE_PROFILE_KEYS: readonly ["callback", "eval", "execute", "expression", "function", "import", "imports", "plugin", "script"];
|
|
5
4
|
export declare function profileDiagnostic(code: string, message: string): MarkdownDiagnostic;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"profile-config-diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"version":3,"file":"profile-config-diagnostics.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAGnE,eAAO,MAAM,uBAAuB,oDAK1B,CAAC;AAEX,eAAO,MAAM,mBAAmB,6GAUtB,CAAC;AAOX,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,kBAAkB,CAEpB;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAEvE;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAKrE;AAED,wBAAgB,wBAAwB,IAAI,kBAAkB,CAK7D;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAMN;AAED,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAEtE"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
|
|
1
|
+
import { SUPPORTED_PROFILE_SYNTAX_VERSIONS } from "../profile/syntax-version.js";
|
|
2
2
|
export const REGEX_LIKE_PROFILE_KEYS = [
|
|
3
3
|
"matches",
|
|
4
4
|
"pattern",
|
|
@@ -30,7 +30,7 @@ export function unsupportedProfileKey(key) {
|
|
|
30
30
|
return profileDiagnostic("profile.config.unsupportedKey", `Unsupported validation profile key "${key}".`);
|
|
31
31
|
}
|
|
32
32
|
export function unsupportedSyntaxVersion() {
|
|
33
|
-
return profileDiagnostic("profile.config.unsupportedSyntaxVersion", `Profile syntaxVersion must be
|
|
33
|
+
return profileDiagnostic("profile.config.unsupportedSyntaxVersion", `Profile syntaxVersion must be ${quotedList(SUPPORTED_PROFILE_SYNTAX_VERSIONS)}`);
|
|
34
34
|
}
|
|
35
35
|
export function unsupportedProfileKeys(record, allowedKeys, diagnostics) {
|
|
36
36
|
for (const key of Object.keys(record)) {
|
|
@@ -42,4 +42,10 @@ export function unsupportedProfileKeys(record, allowedKeys, diagnostics) {
|
|
|
42
42
|
export function hasConfigUnsupportedKeyPrecedence(key) {
|
|
43
43
|
return CONFIG_UNSUPPORTED_KEY_PRECEDENCE.has(key);
|
|
44
44
|
}
|
|
45
|
+
function quotedList(values) {
|
|
46
|
+
const quotedValues = values.map((value) => `"${value}"`);
|
|
47
|
+
const finalValue = quotedValues.at(-1) ?? "";
|
|
48
|
+
const prefix = quotedValues.slice(0, -1).join(", ");
|
|
49
|
+
return prefix.length === 0 ? `${finalValue}.` : `${prefix} or ${finalValue}.`;
|
|
50
|
+
}
|
|
45
51
|
//# sourceMappingURL=profile-config-diagnostics.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"profile-config-diagnostics.js","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"profile-config-diagnostics.js","sourceRoot":"","sources":["../../../src/declarative-validation/diagnostics/profile-config-diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iCAAiC,EAAE,MAAM,8BAA8B,CAAC;AAEjF,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;CACA,CAAC;AAEX,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU;IACV,MAAM;IACN,SAAS;IACT,YAAY;IACZ,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;CACA,CAAC;AAEX,MAAM,iCAAiC,GAAG,IAAI,GAAG,CAAS;IACxD,GAAG,uBAAuB;IAC1B,GAAG,mBAAmB;CACvB,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAAe;IAEf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,iBAAiB,CAAC,6BAA6B,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC/C,OAAO,iBAAiB,CACtB,+BAA+B,EAC/B,uCAAuC,GAAG,IAAI,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO,iBAAiB,CACtB,yCAAyC,EACzC,iCAAiC,UAAU,CAAC,iCAAiC,CAAC,EAAE,CACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAA+B,EAC/B,WAA8B,EAC9B,WAAiC;IAEjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,GAAW;IAC3D,OAAO,iCAAiC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB;IAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,OAAO,UAAU,GAAG,CAAC;AAChF,CAAC"}
|
|
@@ -2,13 +2,13 @@ import type { EngineDocument } from "../../api/document.js";
|
|
|
2
2
|
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
3
3
|
import type { ValidationRuleResult } from "../../api/validate.js";
|
|
4
4
|
import type { ValidationProfile } from "../profile/index.js";
|
|
5
|
-
export interface DeclarativeValidationEvidence {
|
|
5
|
+
export interface DeclarativeValidationEvidence<RuleResult extends ValidationRuleResult = ValidationRuleResult> {
|
|
6
6
|
inputHash: string;
|
|
7
7
|
profileHash: string;
|
|
8
8
|
engineVersion: string;
|
|
9
9
|
runtimeVersion: string;
|
|
10
|
-
ruleResults: readonly
|
|
10
|
+
ruleResults: readonly RuleResult[];
|
|
11
11
|
diagnostics: readonly MarkdownDiagnostic[];
|
|
12
12
|
}
|
|
13
|
-
export declare function createDeclarativeValidationEvidence(document: EngineDocument, profile: ValidationProfile, ruleResults: readonly
|
|
13
|
+
export declare function createDeclarativeValidationEvidence<RuleResult extends ValidationRuleResult>(document: EngineDocument, profile: ValidationProfile, ruleResults: readonly RuleResult[], diagnostics: readonly MarkdownDiagnostic[]): DeclarativeValidationEvidence<RuleResult>;
|
|
14
14
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAG7D,MAAM,WAAW,6BAA6B,CAC5C,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IACnC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C;AAED,wBAAgB,mCAAmC,CACjD,UAAU,SAAS,oBAAoB,EAEvC,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,iBAAiB,EAC1B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,WAAW,EAAE,SAAS,kBAAkB,EAAE,GACzC,6BAA6B,CAAC,UAAU,CAAC,CAS3C"}
|
|
@@ -1,11 +1,12 @@
|
|
|
1
1
|
import { createHash } from "node:crypto";
|
|
2
2
|
import { cloneDiagnostics } from "../../diagnostics/index.js";
|
|
3
3
|
import { stringifyStableJson } from "../../internal/stable-json.js";
|
|
4
|
+
import { cloneValidationRuleResult } from "../results/clone-rule-result.js";
|
|
4
5
|
export function createDeclarativeValidationEvidence(document, profile, ruleResults, diagnostics) {
|
|
5
6
|
return {
|
|
6
7
|
inputHash: sha256(stringifyStableJson(documentWithoutPath(document))),
|
|
7
8
|
profileHash: sha256(stringifyStableJson(resolvedProfile(profile, document))),
|
|
8
|
-
engineVersion: "
|
|
9
|
+
engineVersion: "3.0.0",
|
|
9
10
|
runtimeVersion: process.version,
|
|
10
11
|
ruleResults: cloneRuleResults(ruleResults),
|
|
11
12
|
diagnostics: cloneDiagnostics(diagnostics),
|
|
@@ -26,11 +27,10 @@ function documentWithoutPath(document) {
|
|
|
26
27
|
return withoutPath;
|
|
27
28
|
}
|
|
28
29
|
function cloneRuleResults(ruleResults) {
|
|
29
|
-
return ruleResults.map((result) => (
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
}));
|
|
30
|
+
return ruleResults.map((result) => cloneRuleResult(result));
|
|
31
|
+
}
|
|
32
|
+
function cloneRuleResult(result) {
|
|
33
|
+
return cloneValidationRuleResult(result);
|
|
34
34
|
}
|
|
35
35
|
function sha256(value) {
|
|
36
36
|
return createHash("sha256").update(value, "utf8").digest("hex");
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/declarative-validation/evidence/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAa5E,MAAM,UAAU,mCAAmC,CAGjD,QAAwB,EACxB,OAA0B,EAC1B,WAAkC,EAClC,WAA0C;IAE1C,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,WAAW,EAAE,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5E,aAAa,EAAE,OAAO;QACtB,cAAc,EAAE,OAAO,CAAC,OAAO;QAC/B,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC1C,WAAW,EAAE,gBAAgB,CAAC,WAAW,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,OAA0B,EAC1B,QAAwB;IAExB,OAAO;QACL,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,QAAQ,CAAC,OAAO;QAC5D,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClC,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;SACnC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB;IACnD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,WAAW,EAAE,GAAG,QAAQ,CAAC;IAEjD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAkC;IAElC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,eAAe,CACtB,MAAkB;IAElB,OAAO,yBAAyB,CAAC,MAAM,CAAe,CAAC;AACzD,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
2
|
+
import type { DeclarativeValidationApplicability, ValidationProfile } from "./index.js";
|
|
3
|
+
export declare function applicabilityFromValue(value: unknown, syntaxVersion: ValidationProfile["syntaxVersion"], diagnostics: MarkdownDiagnostic[]): DeclarativeValidationApplicability | undefined;
|
|
4
|
+
//# sourceMappingURL=applicability-schema.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"applicability-schema.d.ts","sourceRoot":"","sources":["../../../src/declarative-validation/profile/applicability-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EACV,kCAAkC,EAClC,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAOpB,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,OAAO,EACd,aAAa,EAAE,iBAAiB,CAAC,eAAe,CAAC,EACjD,WAAW,EAAE,kBAAkB,EAAE,GAChC,kCAAkC,GAAG,SAAS,CAqBhD"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import { isPlainRecord } from "../../internal/plain-record.js";
|
|
2
|
+
import { assertionFromValue } from "./assertion-schema.js";
|
|
3
|
+
import { selectorFromValue } from "./selector-schema.js";
|
|
4
|
+
import { invalidShape, unsupportedKeys } from "./schema-values.js";
|
|
5
|
+
const APPLICABILITY_KEYS = ["select", "assert"];
|
|
6
|
+
export function applicabilityFromValue(value, syntaxVersion, diagnostics) {
|
|
7
|
+
if (!isPlainRecord(value)) {
|
|
8
|
+
diagnostics.push(invalidShape("Rule when must be an object."));
|
|
9
|
+
return undefined;
|
|
10
|
+
}
|
|
11
|
+
const diagnosticCountBefore = diagnostics.length;
|
|
12
|
+
unsupportedKeys(value, APPLICABILITY_KEYS, diagnostics);
|
|
13
|
+
const select = selectorFromValue(value.select, diagnostics);
|
|
14
|
+
const assert = assertionFromValue(value.assert, syntaxVersion, diagnostics);
|
|
15
|
+
return select !== undefined &&
|
|
16
|
+
assert !== undefined &&
|
|
17
|
+
diagnostics.length === diagnosticCountBefore
|
|
18
|
+
? {
|
|
19
|
+
select,
|
|
20
|
+
assert,
|
|
21
|
+
}
|
|
22
|
+
: undefined;
|
|
23
|
+
}
|
|
24
|
+
//# sourceMappingURL=applicability-schema.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"applicability-schema.js","sourceRoot":"","sources":["../../../src/declarative-validation/profile/applicability-schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAK/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEnE,MAAM,kBAAkB,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAEzD,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,aAAiD,EACjD,WAAiC;IAEjC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,8BAA8B,CAAC,CAAC,CAAC;QAE/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,qBAAqB,GAAG,WAAW,CAAC,MAAM,CAAC;IACjD,eAAe,CAAC,KAAK,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAExD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAE5E,OAAO,MAAM,KAAK,SAAS;QACzB,MAAM,KAAK,SAAS;QACpB,WAAW,CAAC,MAAM,KAAK,qBAAqB;QAC5C,CAAC,CAAC;YACE,MAAM;YACN,MAAM;SACP;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import type { MarkdownDiagnostic } from "../../api/diagnostics.js";
|
|
2
2
|
import type { DeclarativeAssertion } from "./index.js";
|
|
3
|
-
|
|
3
|
+
import { type ValidationProfileSyntaxVersion } from "./syntax-version.js";
|
|
4
|
+
export declare function assertionFromValue(value: unknown, syntaxVersion: ValidationProfileSyntaxVersion, diagnostics: MarkdownDiagnostic[]): DeclarativeAssertion | undefined;
|
|
4
5
|
//# sourceMappingURL=assertion-schema.d.ts.map
|