@primmel/primmel 1.7.0 → 1.8.1
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/src/check-rules.d.ts +1 -1
- package/dist/src/check-rules.d.ts.map +1 -1
- package/dist/src/check-rules.js +34 -2
- package/dist/src/check-rules.js.map +1 -1
- package/dist/src/check.d.ts.map +1 -1
- package/dist/src/check.js +220 -0
- package/dist/src/check.js.map +1 -1
- package/dist/src/ser-des/config/artifact.d.ts.map +1 -1
- package/dist/src/ser-des/config/artifact.js +8 -0
- package/dist/src/ser-des/config/artifact.js.map +1 -1
- package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
- package/dist/src/ser-des/config/calculation.js +18 -2
- package/dist/src/ser-des/config/calculation.js.map +1 -1
- package/dist/src/ser-des/config/competenceKind.d.ts.map +1 -1
- package/dist/src/ser-des/config/competenceKind.js +10 -1
- package/dist/src/ser-des/config/competenceKind.js.map +1 -1
- package/dist/src/ser-des/config/conformanceTest.d.ts.map +1 -1
- package/dist/src/ser-des/config/conformanceTest.js +6 -0
- package/dist/src/ser-des/config/conformanceTest.js.map +1 -1
- package/dist/src/ser-des/config/constraint.d.ts.map +1 -1
- package/dist/src/ser-des/config/constraint.js +10 -1
- package/dist/src/ser-des/config/constraint.js.map +1 -1
- package/dist/src/ser-des/config/correspondence.d.ts +19 -0
- package/dist/src/ser-des/config/correspondence.d.ts.map +1 -0
- package/dist/src/ser-des/config/correspondence.js +107 -0
- package/dist/src/ser-des/config/correspondence.js.map +1 -0
- package/dist/src/ser-des/config/dataspace.d.ts +9 -0
- package/dist/src/ser-des/config/dataspace.d.ts.map +1 -0
- package/dist/src/ser-des/config/dataspace.js +269 -0
- package/dist/src/ser-des/config/dataspace.js.map +1 -0
- package/dist/src/ser-des/config/field-parser.d.ts.map +1 -1
- package/dist/src/ser-des/config/field-parser.js +11 -0
- package/dist/src/ser-des/config/field-parser.js.map +1 -1
- package/dist/src/ser-des/config/form.d.ts.map +1 -1
- package/dist/src/ser-des/config/form.js +8 -0
- package/dist/src/ser-des/config/form.js.map +1 -1
- package/dist/src/ser-des/config/formulasUsed.d.ts.map +1 -1
- package/dist/src/ser-des/config/formulasUsed.js +6 -0
- package/dist/src/ser-des/config/formulasUsed.js.map +1 -1
- package/dist/src/ser-des/config/index.d.ts.map +1 -1
- package/dist/src/ser-des/config/index.js +10 -0
- package/dist/src/ser-des/config/index.js.map +1 -1
- package/dist/src/ser-des/config/packageManifest.d.ts.map +1 -1
- package/dist/src/ser-des/config/packageManifest.js +10 -0
- package/dist/src/ser-des/config/packageManifest.js.map +1 -1
- package/dist/src/ser-des/config/policy.d.ts +9 -0
- package/dist/src/ser-des/config/policy.d.ts.map +1 -0
- package/dist/src/ser-des/config/policy.js +192 -0
- package/dist/src/ser-des/config/policy.js.map +1 -0
- package/dist/src/ser-des/config/process.d.ts.map +1 -1
- package/dist/src/ser-des/config/process.js +6 -0
- package/dist/src/ser-des/config/process.js.map +1 -1
- package/dist/src/ser-des/config/referenceMaterial.d.ts.map +1 -1
- package/dist/src/ser-des/config/referenceMaterial.js +6 -0
- package/dist/src/ser-des/config/referenceMaterial.js.map +1 -1
- package/dist/src/ser-des/config/requirement.d.ts.map +1 -1
- package/dist/src/ser-des/config/requirement.js +8 -0
- package/dist/src/ser-des/config/requirement.js.map +1 -1
- package/dist/src/ser-des/config/stateMachine.d.ts.map +1 -1
- package/dist/src/ser-des/config/stateMachine.js +9 -1
- package/dist/src/ser-des/config/stateMachine.js.map +1 -1
- package/dist/src/ser-des/config/subject.d.ts.map +1 -1
- package/dist/src/ser-des/config/subject.js +37 -0
- package/dist/src/ser-des/config/subject.js.map +1 -1
- package/dist/src/ser-des/config/symbol.d.ts.map +1 -1
- package/dist/src/ser-des/config/symbol.js +10 -2
- package/dist/src/ser-des/config/symbol.js.map +1 -1
- package/dist/src/ser-des/config/table.d.ts.map +1 -1
- package/dist/src/ser-des/config/table.js +10 -1
- package/dist/src/ser-des/config/table.js.map +1 -1
- package/dist/src/ser-des/config/term.d.ts.map +1 -1
- package/dist/src/ser-des/config/term.js +15 -0
- package/dist/src/ser-des/config/term.js.map +1 -1
- package/dist/src/ser-des/config/testPointSet.d.ts.map +1 -1
- package/dist/src/ser-des/config/testPointSet.js +6 -0
- package/dist/src/ser-des/config/testPointSet.js.map +1 -1
- package/dist/src/ser-des/config/testSequence.d.ts.map +1 -1
- package/dist/src/ser-des/config/testSequence.js +8 -0
- package/dist/src/ser-des/config/testSequence.js.map +1 -1
- package/dist/src/ser-des/config/trustRef.d.ts +13 -0
- package/dist/src/ser-des/config/trustRef.d.ts.map +1 -0
- package/dist/src/ser-des/config/trustRef.js +51 -0
- package/dist/src/ser-des/config/trustRef.js.map +1 -0
- package/dist/src/ser-des/config/verdict.d.ts.map +1 -1
- package/dist/src/ser-des/config/verdict.js +7 -0
- package/dist/src/ser-des/config/verdict.js.map +1 -1
- package/dist/src/ser-des/parse-block.d.ts +9 -6
- package/dist/src/ser-des/parse-block.d.ts.map +1 -1
- package/dist/src/ser-des/parse-block.js +44 -17
- package/dist/src/ser-des/parse-block.js.map +1 -1
- package/dist/src/ser-des/parse.d.ts.map +1 -1
- package/dist/src/ser-des/parse.js +3 -0
- package/dist/src/ser-des/parse.js.map +1 -1
- package/dist/src/ser-des/types.d.ts +4 -0
- package/dist/src/ser-des/types.d.ts.map +1 -1
- package/dist/src/types/Artifact.d.ts +2 -0
- package/dist/src/types/Artifact.d.ts.map +1 -1
- package/dist/src/types/Calculation.d.ts +2 -0
- package/dist/src/types/Calculation.d.ts.map +1 -1
- package/dist/src/types/CompetenceKind.d.ts +2 -0
- package/dist/src/types/CompetenceKind.d.ts.map +1 -1
- package/dist/src/types/ConformanceTest.d.ts +2 -0
- package/dist/src/types/ConformanceTest.d.ts.map +1 -1
- package/dist/src/types/Constraint.d.ts +2 -0
- package/dist/src/types/Constraint.d.ts.map +1 -1
- package/dist/src/types/Correspondence.d.ts +27 -0
- package/dist/src/types/Correspondence.d.ts.map +1 -0
- package/dist/src/types/Correspondence.js +23 -0
- package/dist/src/types/Correspondence.js.map +1 -0
- package/dist/src/types/Dataspace.d.ts +60 -0
- package/dist/src/types/Dataspace.d.ts.map +1 -0
- package/dist/src/types/Dataspace.js +36 -0
- package/dist/src/types/Dataspace.js.map +1 -0
- package/dist/src/types/Form.d.ts +5 -0
- package/dist/src/types/Form.d.ts.map +1 -1
- package/dist/src/types/FormulasUsed.d.ts +2 -0
- package/dist/src/types/FormulasUsed.d.ts.map +1 -1
- package/dist/src/types/Package.d.ts +4 -0
- package/dist/src/types/Package.d.ts.map +1 -1
- package/dist/src/types/Policy.d.ts +40 -0
- package/dist/src/types/Policy.d.ts.map +1 -0
- package/dist/src/types/Policy.js +48 -0
- package/dist/src/types/Policy.js.map +1 -0
- package/dist/src/types/ReferenceMaterial.d.ts +2 -0
- package/dist/src/types/ReferenceMaterial.d.ts.map +1 -1
- package/dist/src/types/Requirement.d.ts +2 -0
- package/dist/src/types/Requirement.d.ts.map +1 -1
- package/dist/src/types/Standard.d.ts +4 -0
- package/dist/src/types/Standard.d.ts.map +1 -1
- package/dist/src/types/Subject.d.ts +11 -0
- package/dist/src/types/Subject.d.ts.map +1 -1
- package/dist/src/types/Symbol.d.ts +2 -0
- package/dist/src/types/Symbol.d.ts.map +1 -1
- package/dist/src/types/Table.d.ts +4 -0
- package/dist/src/types/Table.d.ts.map +1 -1
- package/dist/src/types/Term.d.ts +2 -0
- package/dist/src/types/Term.d.ts.map +1 -1
- package/dist/src/types/TestPointSet.d.ts +2 -0
- package/dist/src/types/TestPointSet.d.ts.map +1 -1
- package/dist/src/types/TestSequence.d.ts +2 -0
- package/dist/src/types/TestSequence.d.ts.map +1 -1
- package/dist/src/types/TrustRef.d.ts +10 -0
- package/dist/src/types/TrustRef.d.ts.map +1 -0
- package/dist/src/types/TrustRef.js +28 -0
- package/dist/src/types/TrustRef.js.map +1 -0
- package/dist/src/types/Verdict.d.ts +2 -0
- package/dist/src/types/Verdict.d.ts.map +1 -1
- package/dist/src/types/process.d.ts +2 -0
- package/dist/src/types/process.d.ts.map +1 -1
- package/dist-browser/index.mjs +1556 -1253
- package/dist-cli/primmel.mjs +1047 -9
- package/package.json +1 -1
|
@@ -4,6 +4,8 @@ exports.dumpTerm = exports.parseTerm = void 0;
|
|
|
4
4
|
const tokenize_1 = require("../tokenize");
|
|
5
5
|
const parse_block_1 = require("../parse-block");
|
|
6
6
|
const ref_1 = require("./ref");
|
|
7
|
+
const correspondence_1 = require("./correspondence");
|
|
8
|
+
const field_parser_1 = require("./field-parser");
|
|
7
9
|
const parseTerm = function (id, data) {
|
|
8
10
|
const result = {
|
|
9
11
|
id,
|
|
@@ -30,6 +32,12 @@ const parseTerm = function (id, data) {
|
|
|
30
32
|
}
|
|
31
33
|
return true;
|
|
32
34
|
}
|
|
35
|
+
if (command === 'corresponds') {
|
|
36
|
+
// The per-node correspondence annotation (MN 114 clause 19.4) —
|
|
37
|
+
// the term-to-external-vocabulary mapping (alongside vocab_ref).
|
|
38
|
+
(result.correspondences ??= []).push((0, correspondence_1.parseCorrespondsFromReaders)(value, peek, tokenize_1.stripWrapping));
|
|
39
|
+
return true;
|
|
40
|
+
}
|
|
33
41
|
if (command === 'label') {
|
|
34
42
|
result.label = (0, parse_block_1.unwrapped)(value);
|
|
35
43
|
}
|
|
@@ -145,6 +153,12 @@ const dumpTerm = function (term) {
|
|
|
145
153
|
if (term.source) {
|
|
146
154
|
out += ' source "' + (0, tokenize_1.escapeString)(term.source) + '"\n';
|
|
147
155
|
}
|
|
156
|
+
// The overlay marker (composition: uses-no-redefine is lifted for this
|
|
157
|
+
// term) rides with the provenance cluster; emitted only when set — an
|
|
158
|
+
// absent overlay never canonicalizes to `overlay false`.
|
|
159
|
+
if (term.overlay) {
|
|
160
|
+
out += ' overlay true\n';
|
|
161
|
+
}
|
|
148
162
|
if (term.scopeNote) {
|
|
149
163
|
out += ' scope_note "' + (0, tokenize_1.escapeString)(term.scopeNote) + '"\n';
|
|
150
164
|
}
|
|
@@ -183,6 +197,7 @@ const dumpTerm = function (term) {
|
|
|
183
197
|
}
|
|
184
198
|
out += ' }\n';
|
|
185
199
|
}
|
|
200
|
+
out += (0, correspondence_1.dumpCorrespondences)(term.correspondences, ' ', tokenize_1.escapeString, field_parser_1.dumpBareSafe);
|
|
186
201
|
out += '}\n';
|
|
187
202
|
return out;
|
|
188
203
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"term.js","sourceRoot":"","sources":["../../../../src/ser-des/config/term.ts"],"names":[],"mappings":";;;AACA,0CAKqB;AACrB,gDAAyD;AACzD,+BAA4C;
|
|
1
|
+
{"version":3,"file":"term.js","sourceRoot":"","sources":["../../../../src/ser-des/config/term.ts"],"names":[],"mappings":";;;AACA,0CAKqB;AACrB,gDAAyD;AACzD,+BAA4C;AAC5C,qDAG0B;AAC1B,iDAA8C;AAGvC,MAAM,SAAS,GAAW,UAAU,EAAE,EAAE,IAAI;IACjD,MAAM,MAAM,GAAS;QACnB,EAAE;QACF,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,EAAE;QACZ,YAAY,EAAE,EAAE;QAChB,GAAG,EAAE,EAAE;KACR,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YACtB,4DAA4D;YAC5D,8DAA8D;YAC9D,yCAAyC;YACzC,MAAM,CAAC,GAAG,IAAA,yBAAmB,EAAC,KAAK,EAAE,IAAI,EAAE,wBAAa,EAAE,sBAAW,CAAC,CAAC;YACvE,IAAI,CAAC,CAAC,SAAS,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACrD,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YAC3B,CAAC;iBAAM,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;gBACnC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YAC9B,gEAAgE;YAChE,iEAAiE;YACjE,CAAC,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC,IAAI,CAClC,IAAA,4CAA2B,EAAC,KAAK,EAAE,IAAI,EAAE,wBAAa,CAAC,CACxD,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,MAAM,CAAC,UAAU,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,8DAA8D;YAC9D,+DAA+D;YAC/D,MAAM,CAAC,QAAQ,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC3C,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,CAAC,YAAY,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,yDAAyD;YACzD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC;YACvC,MAAM,GAAG,GAAyC;gBAChD,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,EAAE;aACX,CAAC;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;oBAC5B,GAAG,CAAC,QAAQ,GAAG,IAAA,wBAAa,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC7C,CAAC;gBACD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBAC1B,GAAG,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;YACD,MAAM,CAAC,QAAQ,GAAG,GAAG,CAAC;QACxB,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,MAAM,CAAC,SAAS,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,OAAO,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACpC,CAAC;aAAM,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,OAAO,GAAG,KAAK,EAAE,KAAK,MAAM,CAAC;QACtC,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,MAAM,CAAC,SAAS,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,MAAM,CAAC,QAAQ,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,CAAC,QAAQ,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;YACxC,MAAM,CAAC,YAAY,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,6DAA6D;YAC7D,gEAAgE;YAChE,mDAAmD;YACnD,MAAM,CAAC,GAAG,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,wBAAa,CAAC,CAAC;QAC3D,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,MAAM,CAAC,UAAU,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,wBAAa,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;YACvC,MAAM,CAAC,aAAa,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,wBAAa,CAAC,CAAC;QACrE,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,MAAM,CAAC,OAAO,GAAG,IAAA,0BAAe,EAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,wBAAa,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAC1B,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QACvB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAxGW,QAAA,SAAS,aAwGpB;AAEK,MAAM,QAAQ,GAAiB,UAAU,IAAI;IAClD,IAAI,GAAG,GAAW,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,GAAG,IAAI,WAAW,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACxD,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,GAAG,IAAI,gBAAgB,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,GAAG,IAAI,WAAW,GAAG,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,GAAG;YACD,yBAAyB;gBACzB,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBACtB,WAAW;gBACX,IAAA,uBAAY,EAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAClC,OAAO,CAAC;IACZ,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,GAAG,IAAI,gBAAgB,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,GAAG,IAAI,aAAa,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IAC5D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,GAAG,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IAC1D,CAAC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,yDAAyD;IACzD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,GAAG,IAAI,kBAAkB,CAAC;IAC5B,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,GAAG,IAAI,gBAAgB,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,GAAG,IAAI,cAAc,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,GAAG,IAAI,eAAe,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,GAAG,IAAI,oBAAoB,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC;IACxE,CAAC;IACD,gEAAgE;IAChE,oDAAoD;IACpD,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,EAAE,CAC9B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,GAAG,IAAI,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,GAAG;YACD,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IAC1E,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,GAAG;YACD,oBAAoB;gBACpB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC3C,MAAM,CAAC;IACX,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,GAAG,IAAI,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IAC1E,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,GAAG,IAAI,iBAAiB,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,GAAG,IAAI,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC;QAC3B,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,IAAA,oCAAmB,EACxB,IAAI,CAAC,eAAe,EACpB,IAAI,EACJ,uBAAY,EACZ,2BAAY,CACb,CAAC;IACF,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AApFW,QAAA,QAAQ,YAoFnB"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"testPointSet.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/testPointSet.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"version":3,"file":"testPointSet.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/testPointSet.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAgBzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAiF/C,eAAO,MAAM,iBAAiB,EAAE,MAmD/B,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,YAAY,CA4DjD,CAAC"}
|
|
@@ -24,6 +24,7 @@ const tokenize_2 = require("../tokenize");
|
|
|
24
24
|
const parse_block_1 = require("../parse-block");
|
|
25
25
|
const field_parser_1 = require("./field-parser");
|
|
26
26
|
const ref_1 = require("./ref");
|
|
27
|
+
const correspondence_1 = require("./correspondence");
|
|
27
28
|
function parseCardinality(block) {
|
|
28
29
|
const out = {};
|
|
29
30
|
const t = (0, tokenize_1.default)(block);
|
|
@@ -132,6 +133,10 @@ const parseTestPointSet = function (id, data) {
|
|
|
132
133
|
(result.refs ??= []).push(r);
|
|
133
134
|
}
|
|
134
135
|
}
|
|
136
|
+
else if (keyword === 'corresponds') {
|
|
137
|
+
// The per-node correspondence annotation (MN 114 clause 19.4).
|
|
138
|
+
(result.correspondences ??= []).push((0, correspondence_1.parseCorrespondsFromReaders)(value, peek, tokenize_2.stripWrapping));
|
|
139
|
+
}
|
|
135
140
|
else if (keyword === 'cardinality') {
|
|
136
141
|
result.cardinality = parseCardinality((0, tokenize_2.unwrapBlock)(value()));
|
|
137
142
|
}
|
|
@@ -167,6 +172,7 @@ const dumpTestPointSet = function (s) {
|
|
|
167
172
|
out += (0, ref_1.dumpSourceRefAsRef)(src, ' ', tokenize_2.escapeString);
|
|
168
173
|
}
|
|
169
174
|
out += (0, ref_1.dumpRefs)(s.refs, ' ', tokenize_2.escapeString);
|
|
175
|
+
out += (0, correspondence_1.dumpCorrespondences)(s.correspondences, ' ', tokenize_2.escapeString, field_parser_1.dumpBareSafe);
|
|
170
176
|
const ckeys = Object.keys(s.cardinality);
|
|
171
177
|
if (ckeys.length > 0) {
|
|
172
178
|
out += ' cardinality {\n';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"testPointSet.js","sourceRoot":"","sources":["../../../../src/ser-des/config/testPointSet.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,iEAAiE;AACjE,qCAAqC;AACrC,wBAAwB;AACxB,8DAA8D;AAC9D,oBAAoB;AACpB,8FAA8F;AAC9F,gEAAgE;AAChE,QAAQ;AACR,8BAA8B;AAC9B,eAAe;AACf,mFAAmF;AACnF,oEAAoE;AACpE,QAAQ;AACR,MAAM;AACN,EAAE;AACF,8EAA8E;AAC9E,wEAAwE;;;AAIxE,0CAAmC;AACnC,0CAAuE;AACvE,gDAAyD;AACzD,
|
|
1
|
+
{"version":3,"file":"testPointSet.js","sourceRoot":"","sources":["../../../../src/ser-des/config/testPointSet.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,iEAAiE;AACjE,qCAAqC;AACrC,wBAAwB;AACxB,8DAA8D;AAC9D,oBAAoB;AACpB,8FAA8F;AAC9F,gEAAgE;AAChE,QAAQ;AACR,8BAA8B;AAC9B,eAAe;AACf,mFAAmF;AACnF,oEAAoE;AACpE,QAAQ;AACR,MAAM;AACN,EAAE;AACF,8EAA8E;AAC9E,wEAAwE;;;AAIxE,0CAAmC;AACnC,0CAAuE;AACvE,gDAAyD;AACzD,iDAAsE;AACtE,+BAKe;AACf,qDAG0B;AAG1B,SAAS,gBAAgB,CACvB,KAAa;IAEb,MAAM,GAAG,GAA+D,EAAE,CAAC;IAC3E,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACjC,CAAC,EAAE,CAAC;QACN,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,IAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YAC7D,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;gBACrB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnB,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,KAAK,YAAY,EAAE,CAAC;oBACxB,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACnD,CAAC;qBAAM,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;oBACzB,KAAK,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,IAAA,sBAAW,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACjB,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAc;YACvB,EAAE,EAAE,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzB,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;SACX,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;gBACrB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnB,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;oBACtB,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClD,CAAC;qBAAM,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC3B,KAAK,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxC,CAAC;qBAAM,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC3B,KAAK,CAAC,MAAM,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxC,CAAC;qBAAM,CAAC;oBACN,IAAA,sBAAW,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAEM,MAAM,iBAAiB,GAAW,UAAU,EAAE,EAAE,IAAI;IACzD,MAAM,MAAM,GAAiB;QAC3B,EAAE;QACF,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,IAAI;QACZ,WAAW,EAAE,EAAE;QACf,mBAAmB,EAAE,IAAI;QACzB,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,WAAW,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,+DAA+D;YAC/D,MAAM,GAAG,GAAG,IAAA,yBAAU,EAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC,MAAM,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;YACtB,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,iDAAiD;YACjD,MAAM,CAAC,GAAG,IAAA,yBAAmB,EAAC,KAAK,EAAE,IAAI,EAAE,wBAAa,EAAE,sBAAW,CAAC,CAAC;YACvE,IAAI,CAAC,IAAA,uBAAiB,EAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClC,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,+DAA+D;YAC/D,CAAC,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC,IAAI,CAClC,IAAA,4CAA2B,EAAC,KAAK,EAAE,IAAI,EAAE,wBAAa,CAAC,CACxD,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,MAAM,CAAC,WAAW,GAAG,gBAAgB,CAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,OAAO,KAAK,uBAAuB,EAAE,CAAC;YAC/C,MAAM,CAAC,mBAAmB,GAAG,MAAM,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,GAAG,WAAW,CAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,gBAAgB,EAAE,EAAE,EAAE,CACpC,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAnDW,QAAA,iBAAiB,qBAmD5B;AAEK,MAAM,gBAAgB,GAAyB,UAAU,CAAC;IAC/D,IAAI,GAAG,GAAG,iBAAiB,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC;IAC5C,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAClB,GAAG,IAAI,iBAAiB,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC;IACjE,CAAC;IACD,MAAM,UAAU,GACd,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACrC,CAAC,CAAC,CAAC,CAAC,UAAU;QACd,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7C,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACZ,CAAC,CAAC,EAAE,CAAC;IACX,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,6DAA6D;QAC7D,GAAG,IAAI,IAAA,wBAAkB,EAAC,GAAG,EAAE,IAAI,EAAE,uBAAY,CAAC,CAAC;IACrD,CAAC;IACD,GAAG,IAAI,IAAA,cAAQ,EAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,uBAAY,CAAC,CAAC;IAC5C,GAAG,IAAI,IAAA,oCAAmB,EACxB,CAAC,CAAC,eAAe,EACjB,IAAI,EACJ,uBAAY,EACZ,2BAAY,CACb,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,GAAG,IAAI,mBAAmB,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,IAAI,GAAG,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;YACjC,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;gBACzB,IAAI,IAAI,aAAa,GAAG,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;YAC5C,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACX,IAAI,IAAI,QAAQ,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACjD,CAAC;YACD,GAAG,IAAI,IAAI,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;QACnC,GAAG,IAAI,0BAA0B,GAAG,CAAC,CAAC,mBAAmB,GAAG,IAAI,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,GAAG,IAAI,cAAc,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,IAAI,IAAI,GAAG,YAAY,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC;YACvC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACxB,IAAI,IAAI,WAAW,GAAG,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC;YACzC,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,IAAI,IAAI,SAAS,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;YACrC,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,IAAI,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;YACrD,CAAC;YACD,GAAG,IAAI,IAAI,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,GAAG,IAAI,OAAO,CAAC;IACjB,CAAC;IACD,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AA5DW,QAAA,gBAAgB,oBA4D3B"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"testSequence.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/testSequence.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"testSequence.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/testSequence.ts"],"names":[],"mappings":"AA2EA,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,0BAA0B,CAAC;AA+J/E,eAAO,MAAM,qBAAqB;;;;;yBArDM,YAAY,KAAG,MAAM;CA2DnD,CAAC"}
|
|
@@ -68,6 +68,7 @@ const tokenize_1 = require("../tokenize");
|
|
|
68
68
|
const parse_block_1 = require("../parse-block");
|
|
69
69
|
const field_parser_1 = require("./field-parser");
|
|
70
70
|
const ref_1 = require("./ref");
|
|
71
|
+
const correspondence_1 = require("./correspondence");
|
|
71
72
|
/** Read one step's `{ … }` facets (the passport nested-block idiom).
|
|
72
73
|
* Scalar facets are last-wins; the linter (C92/C93) judges the shape. */
|
|
73
74
|
function parseStepFacets(block, step, id) {
|
|
@@ -126,6 +127,12 @@ const parseTestSequence = function (id, data) {
|
|
|
126
127
|
}
|
|
127
128
|
i = rr.next;
|
|
128
129
|
}
|
|
130
|
+
else if (command === 'corresponds') {
|
|
131
|
+
// The per-node correspondence annotation (MN 114 clause 19.4).
|
|
132
|
+
const cc = (0, correspondence_1.parseCorresponds)(t, i, tokenize_1.stripWrapping);
|
|
133
|
+
sequence.correspondences = [...(sequence.correspondences ?? []), cc.corr];
|
|
134
|
+
i = cc.next;
|
|
135
|
+
}
|
|
129
136
|
else if (command === 'source') {
|
|
130
137
|
// Repeated source blocks collect into sourceRefs (the requirement
|
|
131
138
|
// family's idiom).
|
|
@@ -205,6 +212,7 @@ const dumpTestSequence = function (seq) {
|
|
|
205
212
|
for (const src of seq.sourceRefs) {
|
|
206
213
|
out += (0, ref_1.dumpSourceRefAsRef)(src, ' ', tokenize_1.escapeString);
|
|
207
214
|
}
|
|
215
|
+
out += (0, correspondence_1.dumpCorrespondences)(seq.correspondences, ' ', tokenize_1.escapeString, field_parser_1.dumpBareSafe);
|
|
208
216
|
out += '}\n';
|
|
209
217
|
return out;
|
|
210
218
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"testSequence.js","sourceRoot":"","sources":["../../../../src/ser-des/config/testSequence.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,kDAAkD;AAClD,4DAA4D;AAC5D,6DAA6D;AAC7D,uEAAuE;AACvE,sEAAsE;AACtE,wEAAwE;AACxE,mCAAmC;AACnC,EAAE;AACF,kCAAkC;AAClC,wCAAwC;AACxC,4FAA4F;AAC5F,eAAe;AACf,6EAA6E;AAC7E,sBAAsB;AACtB,QAAQ;AACR,eAAe;AACf,8CAA8C;AAC9C,uBAAuB;AACvB,qBAAqB;AACrB,QAAQ;AACR,eAAe;AACf,2CAA2C;AAC3C,uBAAuB;AACvB,qBAAqB;AACrB,QAAQ;AACR,+BAA+B;AAC/B,8DAA8D;AAC9D,gEAAgE;AAChE,MAAM;AACN,EAAE;AACF,4DAA4D;AAC5D,8CAA8C;AAC9C,wEAAwE;AACxE,0EAA0E;AAC1E,mEAAmE;AACnE,+BAA+B;AAC/B,uEAAuE;AACvE,oEAAoE;AACpE,wEAAwE;AACxE,kEAAkE;AAClE,oDAAoD;AACpD,+DAA+D;AAC/D,oEAAoE;AACpE,wEAAwE;AACxE,qEAAqE;AACrE,wEAAwE;AACxE,gEAAgE;AAChE,uCAAuC;AACvC,oEAAoE;AACpE,wEAAwE;AACxE,iEAAiE;AACjE,EAAE;AACF,uEAAuE;AACvE,uDAAuD;AACvD,uEAAuE;AACvE,wEAAwE;AACxE,uEAAuE;AACvE,sEAAsE;AACtE,qEAAqE;AACrE,iEAAiE;AACjE,kEAAkE;AAClE,wEAAwE;;;AAExE,0CAKqB;AACrB,gDAA8C;AAC9C,iDAA0D;AAC1D,+BAAwE;
|
|
1
|
+
{"version":3,"file":"testSequence.js","sourceRoot":"","sources":["../../../../src/ser-des/config/testSequence.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,kDAAkD;AAClD,4DAA4D;AAC5D,6DAA6D;AAC7D,uEAAuE;AACvE,sEAAsE;AACtE,wEAAwE;AACxE,mCAAmC;AACnC,EAAE;AACF,kCAAkC;AAClC,wCAAwC;AACxC,4FAA4F;AAC5F,eAAe;AACf,6EAA6E;AAC7E,sBAAsB;AACtB,QAAQ;AACR,eAAe;AACf,8CAA8C;AAC9C,uBAAuB;AACvB,qBAAqB;AACrB,QAAQ;AACR,eAAe;AACf,2CAA2C;AAC3C,uBAAuB;AACvB,qBAAqB;AACrB,QAAQ;AACR,+BAA+B;AAC/B,8DAA8D;AAC9D,gEAAgE;AAChE,MAAM;AACN,EAAE;AACF,4DAA4D;AAC5D,8CAA8C;AAC9C,wEAAwE;AACxE,0EAA0E;AAC1E,mEAAmE;AACnE,+BAA+B;AAC/B,uEAAuE;AACvE,oEAAoE;AACpE,wEAAwE;AACxE,kEAAkE;AAClE,oDAAoD;AACpD,+DAA+D;AAC/D,oEAAoE;AACpE,wEAAwE;AACxE,qEAAqE;AACrE,wEAAwE;AACxE,gEAAgE;AAChE,uCAAuC;AACvC,oEAAoE;AACpE,wEAAwE;AACxE,iEAAiE;AACjE,EAAE;AACF,uEAAuE;AACvE,uDAAuD;AACvD,uEAAuE;AACvE,wEAAwE;AACxE,uEAAuE;AACvE,sEAAsE;AACtE,qEAAqE;AACrE,iEAAiE;AACjE,kEAAkE;AAClE,wEAAwE;;;AAExE,0CAKqB;AACrB,gDAA8C;AAC9C,iDAA0D;AAC1D,+BAAwE;AACxE,qDAAyE;AAIzE;0EAC0E;AAC1E,SAAS,eAAe,CACtB,KAAa,EACb,IAAsB,EACtB,EAAU;IAEV,IAAA,0BAAY,EACV,KAAK,EACL,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACf,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,oBAAoB,EAAE,EAAE,EAAE,CACxC,CAAC;AACJ,CAAC;AAED,MAAM,iBAAiB,GAAiC,UAAU,EAAE,EAAE,IAAI;IACxE,MAAM,QAAQ,GAAiB;QAC7B,EAAE;QACF,IAAI,EAAE,EAAE;QACR,WAAW,EAAE,EAAE;QACf,KAAK,EAAE,EAAE;QACT,mBAAmB,EAAE,EAAE;QACvB,UAAU,EAAE,EAAE;KACf,CAAC;IAEF,sEAAsE;IACtE,oEAAoE;IACpE,oDAAoD;IACpD,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,IAAI,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CACb,oCAAoC,EAAE,yBAAyB,OAAO,EAAE,CACzE,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,QAAQ,CAAC,WAAW,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC;aAAM,IAAI,OAAO,KAAK,sBAAsB,EAAE,CAAC;YAC9C,QAAQ,CAAC,mBAAmB,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,iDAAiD;YACjD,MAAM,EAAE,GAAG,IAAA,cAAQ,EAAC,CAAC,EAAE,CAAC,EAAE,wBAAa,EAAE,sBAAW,CAAC,CAAC;YACtD,IAAI,CAAC,IAAA,uBAAiB,EAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzC,QAAQ,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YACrD,CAAC;YACD,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;QACd,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,+DAA+D;YAC/D,MAAM,EAAE,GAAG,IAAA,iCAAgB,EAAC,CAAC,EAAE,CAAC,EAAE,wBAAa,CAAC,CAAC;YACjD,QAAQ,CAAC,eAAe,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1E,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;QACd,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,kEAAkE;YAClE,mBAAmB;YACnB,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAA,yBAAU,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAqB;gBAC7B,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,EAAE;gBACR,KAAK,EAAE,EAAE;gBACT,IAAI,EAAE,EAAE;gBACR,SAAS,EAAE,IAAI;aAChB,CAAC;YACF,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,+DAA+D;gBAC/D,uDAAuD;gBACvD,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAA,wBAAa,EAAC,KAAK,CAAC,CAAC,CAAC;gBAC1C,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,CAAC;YACD,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1B,eAAe,CAAC,IAAA,sBAAW,EAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YAChD,CAAC;YACD,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC;QACjC,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,wEAAwE;AAExE,MAAM,gBAAgB,GAAG,UAAU,GAAiB;IAClD,IAAI,GAAG,GAAG,gBAAgB,GAAG,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC;IAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;QACpB,GAAG,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrD,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;QAC3B,GAAG,IAAI,iBAAiB,GAAG,IAAA,uBAAY,EAAC,GAAG,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,GAAG,IAAI,QAAQ,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;QACvE,qEAAqE;QACrE,sDAAsD;QACtD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;YACrB,GAAG,IAAI,SAAS,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;QACnD,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;YACtB,GAAG,IAAI,UAAU,GAAG,IAAA,uBAAY,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;QACrD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;YACrB,GAAG,IAAI,QAAQ,GAAG,IAAA,2BAAY,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC5B,GAAG,IAAI,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;QACzC,CAAC;QACD,GAAG,IAAI,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,GAAG,CAAC,mBAAmB,KAAK,EAAE,EAAE,CAAC;QACnC,GAAG;YACD,yBAAyB,GAAG,IAAA,2BAAY,EAAC,GAAG,CAAC,mBAAmB,CAAC,GAAG,IAAI,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QAC/B,GAAG;YACD,QAAQ;gBACR,CAAC,CAAC,SAAS;gBACX,IAAI;gBACJ,IAAA,uBAAY,EAAC,CAAC,CAAC,MAAM,CAAC;gBACtB,GAAG;gBACH,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1D,IAAI,CAAC;IACT,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACjC,GAAG,IAAI,IAAA,wBAAkB,EAAC,GAAG,EAAE,IAAI,EAAE,uBAAY,CAAC,CAAC;IACrD,CAAC;IACD,GAAG,IAAI,IAAA,oCAAmB,EACxB,GAAG,CAAC,eAAe,EACnB,IAAI,EACJ,uBAAY,EACZ,2BAAY,CACb,CAAC;IACF,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEW,QAAA,qBAAqB,GAAG;IACnC,OAAO,EAAE,eAAe;IACxB,KAAK,EAAE,eAAe;IACtB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,iBAAiB;IACxB,IAAI,EAAE,gBAAgB;CACd,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
import type { TrustRef } from '../../types/TrustRef';
|
|
2
|
+
/** Parse the value of a `trust_ref` keyword: `<org-id> [key <kid>]`.
|
|
3
|
+
* `t`/`i` sit just after the keyword. */
|
|
4
|
+
export declare function parseTrustRef(t: string[], i: number, stripWrapping: (s: string) => string): {
|
|
5
|
+
ref: TrustRef;
|
|
6
|
+
next: number;
|
|
7
|
+
};
|
|
8
|
+
/** Parse a trust_ref through the forEachEntry value/peek readers:
|
|
9
|
+
* consumes the organization identifier and the optional `key` pair. */
|
|
10
|
+
export declare function parseTrustRefFromReaders(value: () => string, peek: () => string | undefined, stripWrapping: (s: string) => string): TrustRef;
|
|
11
|
+
/** Dump a trust anchor's trust_ref line at the given indent. */
|
|
12
|
+
export declare function dumpTrustRef(ref: TrustRef, indent: string, dumpBareSafe: (s: string) => string): string;
|
|
13
|
+
//# sourceMappingURL=trustRef.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"trustRef.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/trustRef.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErD;0CAC0C;AAC1C,wBAAgB,aAAa,CAC3B,CAAC,EAAE,MAAM,EAAE,EACX,CAAC,EAAE,MAAM,EACT,aAAa,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,GACnC;IAAE,GAAG,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAOjC;AAED;wEACwE;AACxE,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,MAAM,EACnB,IAAI,EAAE,MAAM,MAAM,GAAG,SAAS,EAC9B,aAAa,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,GACnC,QAAQ,CAOV;AAED,gEAAgE;AAChE,wBAAgB,YAAY,CAC1B,GAAG,EAAE,QAAQ,EACb,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,GAClC,MAAM,CAMR"}
|
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The `trust_ref` form (MN 114 v3.1, clause 19.3; TODO.primmel/10): the
|
|
4
|
+
// model-level reference to the trust plane —
|
|
5
|
+
//
|
|
6
|
+
// trust_ref <org-id> [key <kid>]
|
|
7
|
+
//
|
|
8
|
+
// The resolution contract is normative on the type (types/TrustRef.ts):
|
|
9
|
+
// the reference is opaque to the model (addressing only, never key
|
|
10
|
+
// material), the consumer resolves it against its configured trust
|
|
11
|
+
// registry at runtime, and the checker never resolves it.
|
|
12
|
+
//
|
|
13
|
+
// v3.1 admits the form on the dataspace's trust anchors
|
|
14
|
+
// (config/dataspace.ts); later revisions may admit it on further
|
|
15
|
+
// constructs. The lenient-skip discipline for an unrecorded trust_ref
|
|
16
|
+
// lives in parse-block.ts: the skip consumes the organization identifier
|
|
17
|
+
// and an optional `key` pair.
|
|
18
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
19
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
20
|
+
exports.parseTrustRef = parseTrustRef;
|
|
21
|
+
exports.parseTrustRefFromReaders = parseTrustRefFromReaders;
|
|
22
|
+
exports.dumpTrustRef = dumpTrustRef;
|
|
23
|
+
/** Parse the value of a `trust_ref` keyword: `<org-id> [key <kid>]`.
|
|
24
|
+
* `t`/`i` sit just after the keyword. */
|
|
25
|
+
function parseTrustRef(t, i, stripWrapping) {
|
|
26
|
+
const ref = { org: stripWrapping(t[i++] ?? ''), kid: '' };
|
|
27
|
+
if (i < t.length && t[i] === 'key') {
|
|
28
|
+
i++;
|
|
29
|
+
ref.kid = stripWrapping(t[i++] ?? '');
|
|
30
|
+
}
|
|
31
|
+
return { ref, next: i };
|
|
32
|
+
}
|
|
33
|
+
/** Parse a trust_ref through the forEachEntry value/peek readers:
|
|
34
|
+
* consumes the organization identifier and the optional `key` pair. */
|
|
35
|
+
function parseTrustRefFromReaders(value, peek, stripWrapping) {
|
|
36
|
+
const ref = { org: stripWrapping(value()), kid: '' };
|
|
37
|
+
if (peek() === 'key') {
|
|
38
|
+
value(); // the `key` keyword
|
|
39
|
+
ref.kid = stripWrapping(value());
|
|
40
|
+
}
|
|
41
|
+
return ref;
|
|
42
|
+
}
|
|
43
|
+
/** Dump a trust anchor's trust_ref line at the given indent. */
|
|
44
|
+
function dumpTrustRef(ref, indent, dumpBareSafe) {
|
|
45
|
+
let out = `${indent}trust_ref ${dumpBareSafe(ref.org)}`;
|
|
46
|
+
if (ref.kid !== '') {
|
|
47
|
+
out += ` key ${dumpBareSafe(ref.kid)}`;
|
|
48
|
+
}
|
|
49
|
+
return out + '\n';
|
|
50
|
+
}
|
|
51
|
+
//# sourceMappingURL=trustRef.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"trustRef.js","sourceRoot":"","sources":["../../../../src/ser-des/config/trustRef.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,wEAAwE;AACxE,6CAA6C;AAC7C,EAAE;AACF,mCAAmC;AACnC,EAAE;AACF,wEAAwE;AACxE,mEAAmE;AACnE,mEAAmE;AACnE,0DAA0D;AAC1D,EAAE;AACF,wDAAwD;AACxD,iEAAiE;AACjE,sEAAsE;AACtE,yEAAyE;AACzE,8BAA8B;AAC9B,wEAAwE;;AAMxE,sCAWC;AAID,4DAWC;AAGD,oCAUC;AAzCD;0CAC0C;AAC1C,SAAgB,aAAa,CAC3B,CAAW,EACX,CAAS,EACT,aAAoC;IAEpC,MAAM,GAAG,GAAa,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IACpE,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QACnC,CAAC,EAAE,CAAC;QACJ,GAAG,CAAC,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED;wEACwE;AACxE,SAAgB,wBAAwB,CACtC,KAAmB,EACnB,IAA8B,EAC9B,aAAoC;IAEpC,MAAM,GAAG,GAAa,EAAE,GAAG,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IAC/D,IAAI,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,oBAAoB;QAC7B,GAAG,CAAC,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAChE,SAAgB,YAAY,CAC1B,GAAa,EACb,MAAc,EACd,YAAmC;IAEnC,IAAI,GAAG,GAAG,GAAG,MAAM,aAAa,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC;QACnB,GAAG,IAAI,QAAQ,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,GAAG,IAAI,CAAC;AACpB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verdict.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/verdict.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"verdict.d.ts","sourceRoot":"","sources":["../../../../src/ser-des/config/verdict.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAC;AAkB/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAiB/C,eAAO,MAAM,YAAY,EAAE,MAiF1B,CAAC;AAEF,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,OAAO,CA8CvC,CAAC"}
|
|
@@ -34,6 +34,8 @@ const parse_block_1 = require("../parse-block");
|
|
|
34
34
|
const field_parser_1 = require("./field-parser");
|
|
35
35
|
const acceptance_1 = require("./acceptance");
|
|
36
36
|
const ref_1 = require("./ref");
|
|
37
|
+
const correspondence_1 = require("./correspondence");
|
|
38
|
+
const field_parser_2 = require("./field-parser");
|
|
37
39
|
const VALID_SERIES_REDUCTIONS = [
|
|
38
40
|
'none',
|
|
39
41
|
'max',
|
|
@@ -115,6 +117,10 @@ const parseVerdict = function (id, data) {
|
|
|
115
117
|
(result.refs ??= []).push(r);
|
|
116
118
|
}
|
|
117
119
|
}
|
|
120
|
+
else if (keyword === 'corresponds') {
|
|
121
|
+
// The per-node correspondence annotation (MN 114 clause 19.4).
|
|
122
|
+
(result.correspondences ??= []).push((0, correspondence_1.parseCorrespondsFromReaders)(value, peek, tokenize_2.stripWrapping));
|
|
123
|
+
}
|
|
118
124
|
else {
|
|
119
125
|
return false;
|
|
120
126
|
}
|
|
@@ -163,6 +169,7 @@ const dumpVerdict = function (v) {
|
|
|
163
169
|
out += (0, ref_1.dumpSourceRefAsRef)(s, ' ', tokenize_2.escapeString);
|
|
164
170
|
}
|
|
165
171
|
out += (0, ref_1.dumpRefs)(v.refs, ' ', tokenize_2.escapeString);
|
|
172
|
+
out += (0, correspondence_1.dumpCorrespondences)(v.correspondences, ' ', tokenize_2.escapeString, field_parser_2.dumpBareSafe);
|
|
166
173
|
out += '}\n';
|
|
167
174
|
return out;
|
|
168
175
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../../../src/ser-des/config/verdict.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,qEAAqE;AACrE,+CAA+C;AAC/C,8BAA8B;AAC9B,mBAAmB;AACnB,yCAAyC;AACzC,sCAAsC;AACtC,6EAA6E;AAC7E,qDAAqD;AACrD,+DAA+D;AAC/D,MAAM;AACN,EAAE;AACF,yEAAyE;AACzE,uEAAuE;AACvE,EAAE;AACF,0BAA0B;AAC1B,mDAAmD;AACnD,qDAAqD;AACrD,gDAAgD;AAChD,2CAA2C;AAC3C,8DAA8D;AAC9D,MAAM;AACN,EAAE;AACF,mEAAmE;AACnE,gEAAgE;AAChE,0DAA0D;AAC1D,wEAAwE;;;AAIxE,0CAAmC;AACnC,0CAAuE;AACvE,gDAAyD;AACzD,iDAAwD;AACxD,6CAA+D;AAC/D,+BAKe;
|
|
1
|
+
{"version":3,"file":"verdict.js","sourceRoot":"","sources":["../../../../src/ser-des/config/verdict.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,qEAAqE;AACrE,+CAA+C;AAC/C,8BAA8B;AAC9B,mBAAmB;AACnB,yCAAyC;AACzC,sCAAsC;AACtC,6EAA6E;AAC7E,qDAAqD;AACrD,+DAA+D;AAC/D,MAAM;AACN,EAAE;AACF,yEAAyE;AACzE,uEAAuE;AACvE,EAAE;AACF,0BAA0B;AAC1B,mDAAmD;AACnD,qDAAqD;AACrD,gDAAgD;AAChD,2CAA2C;AAC3C,8DAA8D;AAC9D,MAAM;AACN,EAAE;AACF,mEAAmE;AACnE,gEAAgE;AAChE,0DAA0D;AAC1D,wEAAwE;;;AAIxE,0CAAmC;AACnC,0CAAuE;AACvE,gDAAyD;AACzD,iDAAwD;AACxD,6CAA+D;AAC/D,+BAKe;AACf,qDAG0B;AAC1B,iDAA8C;AAG9C,MAAM,uBAAuB,GAAsB;IACjD,MAAM;IACN,KAAK;IACL,MAAM;IACN,YAAY;IACZ,qBAAqB;CACtB,CAAC;AAEF,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,IAAA,kBAAQ,EAAC,IAAA,wBAAa,EAAC,KAAK,CAAC,CAAC;SAClC,GAAG,CAAC,yBAAU,CAAC;SACf,GAAG,CAAC,wBAAa,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC/B,CAAC;AAEM,MAAM,YAAY,GAAW,UAAU,EAAE,EAAE,IAAI;IACpD,MAAM,MAAM,GAAY;QACtB,EAAE;QACF,YAAY,EAAE,EAAE;QAChB,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,eAAe,EAAE,IAAI;QACrB,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,IAAI;KACb,CAAC;IAEF,IAAA,0BAAY,EACV,IAAI,EACJ,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;gBACrB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnB,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;oBAClB,MAAM,CAAC,YAAY,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC/C,CAAC;qBAAM,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,GAAG,IAAA,wBAAa,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvC,CAAC;qBAAM,CAAC;oBACN,IAAA,sBAAW,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,MAAM,CAAC,QAAQ,GAAG,KAAK,EAAE,CAAC;QAC5B,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YAC5D,MAAM,CAAC,MAAM,GAAG,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACtD,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,OAAO,KAAK,kBAAkB,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,KAAK,EAAqB,CAAC;YACrC,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CACb,8BAA8B,EAAE,8BAA8B,CAAC,YAAY,uBAAuB,CAAC,IAAI,CACrG,IAAI,CACL,GAAG,CACL,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;YACpC,MAAM,CAAC,UAAU,GAAG,IAAA,4BAAe,EAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;YAC3D,+DAA+D;YAC/D,MAAM,GAAG,GAAG,IAAA,yBAAU,EAAC,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC7C,CAAC,MAAM,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;YACtB,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,iDAAiD;YACjD,MAAM,CAAC,GAAG,IAAA,yBAAmB,EAAC,KAAK,EAAE,IAAI,EAAE,wBAAa,EAAE,sBAAW,CAAC,CAAC;YACvE,IAAI,CAAC,IAAA,uBAAiB,EAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClC,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;YACrC,+DAA+D;YAC/D,CAAC,MAAM,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC,IAAI,CAClC,IAAA,4CAA2B,EAAC,KAAK,EAAE,IAAI,EAAE,wBAAa,CAAC,CACxD,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EACD,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,CAC7B,CAAC;IAEF,OAAO,GAAG,CAAC,EAAE;QACX,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;QAC1B,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;AACJ,CAAC,CAAC;AAjFW,QAAA,YAAY,gBAiFvB;AAEK,MAAM,WAAW,GAAoB,UAAU,CAAC;IACrD,IAAI,GAAG,GAAG,UAAU,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC;IACrC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACb,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,IAAI,aAAa,GAAG,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC3C,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,GAAG,IAAI,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACX,GAAG,IAAI,SAAS,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;QAChD,CAAC;QACD,GAAG,IAAI,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACb,GAAG,IAAI,YAAY,GAAG,IAAA,uBAAY,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,GAAG,IAAI,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;IACrD,CAAC;IACD,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACtB,GAAG,IAAI,qBAAqB,GAAG,CAAC,CAAC,eAAe,GAAG,IAAI,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,GAAG,IAAI,IAAA,2BAAc,EAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;IACnD,CAAC;IACD,MAAM,cAAc,GAClB,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACrC,CAAC,CAAC,CAAC,CAAC,UAAU;QACd,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7C,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACZ,CAAC,CAAC,EAAE,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,6DAA6D;QAC7D,GAAG,IAAI,IAAA,wBAAkB,EAAC,CAAC,EAAE,IAAI,EAAE,uBAAY,CAAC,CAAC;IACnD,CAAC;IACD,GAAG,IAAI,IAAA,cAAQ,EAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,uBAAY,CAAC,CAAC;IAC5C,GAAG,IAAI,IAAA,oCAAmB,EACxB,CAAC,CAAC,eAAe,EACjB,IAAI,EACJ,uBAAY,EACZ,2BAAY,CACb,CAAC;IACF,GAAG,IAAI,KAAK,CAAC;IACb,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AA9CW,QAAA,WAAW,eA8CtB"}
|
|
@@ -19,12 +19,15 @@ export interface ParseEntryErrorContext {
|
|
|
19
19
|
*/
|
|
20
20
|
export declare function forEachEntry(data: string, visitor: (keyword: string, value: () => string, peek: () => string | undefined) => boolean, errCtx: ParseEntryErrorContext): void;
|
|
21
21
|
/**
|
|
22
|
-
* The manual-walk forward-compat skip,
|
|
23
|
-
* unknown-keyword fallback consumes ONE value token, EXCEPT
|
|
24
|
-
*
|
|
25
|
-
*
|
|
26
|
-
*
|
|
27
|
-
*
|
|
22
|
+
* The manual-walk forward-compat skip, multi-token-facet-aware (MN 114
|
|
23
|
+
* §9.5): the unknown-keyword fallback consumes ONE value token, EXCEPT:
|
|
24
|
+
* - `ref <predicate> "<target>" [{ note }]` (docs/primmel/18),
|
|
25
|
+
* - `corresponds <scheme> "<concept>" [{ projection ... }]` (v3.1,
|
|
26
|
+
* clause 19.4),
|
|
27
|
+
* - `trust_ref <org-id> [key <kid>]` (v3.1, clause 19.3),
|
|
28
|
+
* whose multi-token shapes would desync a one-token skip and silently eat
|
|
29
|
+
* every following facet. `i` sits just AFTER the keyword; returns the
|
|
30
|
+
* index past the skipped value.
|
|
28
31
|
*/
|
|
29
32
|
export declare function skipUnknownValue(t: string[], i: number, keyword: string): number;
|
|
30
33
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"parse-block.d.ts","sourceRoot":"","sources":["../../../src/ser-des/parse-block.ts"],"names":[],"mappings":"AAuBA,MAAM,WAAW,sBAAsB;IACrC,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CACP,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,MAAM,EACnB,IAAI,EAAE,MAAM,MAAM,GAAG,SAAS,KAC3B,OAAO,EACZ,MAAM,EAAE,sBAAsB,GAC7B,IAAI,
|
|
1
|
+
{"version":3,"file":"parse-block.d.ts","sourceRoot":"","sources":["../../../src/ser-des/parse-block.ts"],"names":[],"mappings":"AAuBA,MAAM,WAAW,sBAAsB;IACrC,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CACP,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,MAAM,EACnB,IAAI,EAAE,MAAM,MAAM,GAAG,SAAS,KAC3B,OAAO,EACZ,MAAM,EAAE,sBAAsB,GAC7B,IAAI,CA4CN;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,MAAM,EAAE,EACX,CAAC,EAAE,MAAM,EACT,OAAO,EAAE,MAAM,GACd,MAAM,CA2BR;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,EAClD,MAAM,EAAE,sBAAsB,GAC7B,IAAI,CA+CN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,MAAM,GAAG,MAAM,CAQrD"}
|
|
@@ -51,14 +51,26 @@ function forEachEntry(data, visitor, errCtx) {
|
|
|
51
51
|
}
|
|
52
52
|
const claimed = visitor(keyword, () => t[i++], () => t[i]);
|
|
53
53
|
if (!claimed) {
|
|
54
|
-
// The
|
|
55
|
-
//
|
|
56
|
-
//
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
54
|
+
// The multi-token facets are tolerated on every construct — even
|
|
55
|
+
// where the construct's own facets don't model them yet — with a
|
|
56
|
+
// shape-aware skip (MN 114 §9.5):
|
|
57
|
+
// ref — predicate + target + the optional note block
|
|
58
|
+
// corresponds — scheme + concept + the optional projection block
|
|
59
|
+
// trust_ref — the org id + the optional `key <kid>` pair
|
|
60
|
+
// A one-token skip on any of these would desynchronize the facet
|
|
61
|
+
// walk.
|
|
62
|
+
if (keyword === 'ref' || keyword === 'corresponds') {
|
|
63
|
+
i++; // the predicate / scheme
|
|
64
|
+
i++; // the target / concept
|
|
60
65
|
if (i < t.length && t[i].startsWith('{')) {
|
|
61
|
-
i++; // the note block
|
|
66
|
+
i++; // the note / projection block
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
else if (keyword === 'trust_ref') {
|
|
70
|
+
i++; // the organization identifier
|
|
71
|
+
if (t[i] === 'key') {
|
|
72
|
+
i++; // the `key` keyword
|
|
73
|
+
i++; // the key id
|
|
62
74
|
}
|
|
63
75
|
}
|
|
64
76
|
else {
|
|
@@ -68,21 +80,36 @@ function forEachEntry(data, visitor, errCtx) {
|
|
|
68
80
|
}
|
|
69
81
|
}
|
|
70
82
|
/**
|
|
71
|
-
* The manual-walk forward-compat skip,
|
|
72
|
-
* unknown-keyword fallback consumes ONE value token, EXCEPT
|
|
73
|
-
*
|
|
74
|
-
*
|
|
75
|
-
*
|
|
76
|
-
*
|
|
83
|
+
* The manual-walk forward-compat skip, multi-token-facet-aware (MN 114
|
|
84
|
+
* §9.5): the unknown-keyword fallback consumes ONE value token, EXCEPT:
|
|
85
|
+
* - `ref <predicate> "<target>" [{ note }]` (docs/primmel/18),
|
|
86
|
+
* - `corresponds <scheme> "<concept>" [{ projection ... }]` (v3.1,
|
|
87
|
+
* clause 19.4),
|
|
88
|
+
* - `trust_ref <org-id> [key <kid>]` (v3.1, clause 19.3),
|
|
89
|
+
* whose multi-token shapes would desync a one-token skip and silently eat
|
|
90
|
+
* every following facet. `i` sits just AFTER the keyword; returns the
|
|
91
|
+
* index past the skipped value.
|
|
77
92
|
*/
|
|
78
93
|
function skipUnknownValue(t, i, keyword) {
|
|
79
|
-
if (keyword === 'ref') {
|
|
80
|
-
i++; // the predicate
|
|
94
|
+
if (keyword === 'ref' || keyword === 'corresponds') {
|
|
95
|
+
i++; // the predicate / scheme
|
|
81
96
|
if (i < t.length) {
|
|
82
|
-
i++; // the target
|
|
97
|
+
i++; // the target / concept
|
|
83
98
|
}
|
|
84
99
|
if (i < t.length && t[i].startsWith('{')) {
|
|
85
|
-
i++; // the note block
|
|
100
|
+
i++; // the note / projection block
|
|
101
|
+
}
|
|
102
|
+
return i;
|
|
103
|
+
}
|
|
104
|
+
if (keyword === 'trust_ref') {
|
|
105
|
+
if (i < t.length) {
|
|
106
|
+
i++; // the organization identifier
|
|
107
|
+
}
|
|
108
|
+
if (t[i] === 'key') {
|
|
109
|
+
i++; // the `key` keyword
|
|
110
|
+
if (i < t.length) {
|
|
111
|
+
i++; // the key id
|
|
112
|
+
}
|
|
86
113
|
}
|
|
87
114
|
return i;
|
|
88
115
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"parse-block.js","sourceRoot":"","sources":["../../../src/ser-des/parse-block.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,6BAA6B;AAC7B,EAAE;AACF,0DAA0D;AAC1D,yBAAyB;AACzB,4CAA4C;AAC5C,0BAA0B;AAC1B,kCAAkC;AAClC,sDAAsD;AACtD,EAAE;AACF,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,EAAE;AACF,kEAAkE;AAClE,wEAAwE;AACxE,oEAAoE;AACpE,qEAAqE;AACrE,4BAA4B;AAC5B,wEAAwE;;AAwBxE,
|
|
1
|
+
{"version":3,"file":"parse-block.js","sourceRoot":"","sources":["../../../src/ser-des/parse-block.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,6BAA6B;AAC7B,EAAE;AACF,0DAA0D;AAC1D,yBAAyB;AACzB,4CAA4C;AAC5C,0BAA0B;AAC1B,kCAAkC;AAClC,sDAAsD;AACtD,EAAE;AACF,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,EAAE;AACF,kEAAkE;AAClE,wEAAwE;AACxE,oEAAoE;AACpE,qEAAqE;AACrE,4BAA4B;AAC5B,wEAAwE;;AAwBxE,oCAoDC;AAaD,4CA+BC;AAiBD,4CAmDC;AAcD,8BAQC;AAhND,yCAA0E;AAS1E;;;;;;;;;;;;GAYG;AACH,SAAgB,YAAY,CAC1B,IAAY,EACZ,OAIY,EACZ,MAA8B;IAE9B,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,MAAM,CAAC,GAAa,IAAA,0BAAe,EAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CACb,kBAAkB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,EAAE,yBAAyB,OAAO,EAAE,CACtF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CACrB,OAAO,EACP,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACZ,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACX,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,iEAAiE;YACjE,iEAAiE;YACjE,kCAAkC;YAClC,+DAA+D;YAC/D,mEAAmE;YACnE,6DAA6D;YAC7D,iEAAiE;YACjE,QAAQ;YACR,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;gBACnD,CAAC,EAAE,CAAC,CAAC,yBAAyB;gBAC9B,CAAC,EAAE,CAAC,CAAC,uBAAuB;gBAC5B,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1C,CAAC,EAAE,CAAC,CAAC,8BAA8B;gBACrC,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBACnC,CAAC,EAAE,CAAC,CAAC,8BAA8B;gBACnC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;oBACnB,CAAC,EAAE,CAAC,CAAC,oBAAoB;oBACzB,CAAC,EAAE,CAAC,CAAC,aAAa;gBACpB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,CAAC,EAAE,CAAC,CAAC,6CAA6C;YACpD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,gBAAgB,CAC9B,CAAW,EACX,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;QACnD,CAAC,EAAE,CAAC,CAAC,yBAAyB;QAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACjB,CAAC,EAAE,CAAC,CAAC,uBAAuB;QAC9B,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,CAAC,EAAE,CAAC,CAAC,8BAA8B;QACrC,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACjB,CAAC,EAAE,CAAC,CAAC,8BAA8B;QACrC,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YACnB,CAAC,EAAE,CAAC,CAAC,oBAAoB;YACzB,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACjB,CAAC,EAAE,CAAC,CAAC,aAAa;YACpB,CAAC;QACH,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAgB,gBAAgB,CAC9B,IAAY,EACZ,OAAkD,EAClD,MAA8B;IAE9B,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,MAAM,CAAC,GAAa,IAAA,0BAAe,EAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,8DAA8D;QAC9D,4DAA4D;QAC5D,iEAAiE;QACjE,oEAAoE;QACpE,+DAA+D;QAC/D,0CAA0C;QAC1C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,SAAS,GAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACjB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC,CAAC,YAAY;YACd,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACjB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC,CAAC,SAAS;YACX,IAAI,YAAY,GAAG,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5C,YAAY,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,4DAA4D;QAC5D,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9C,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,0CAA0C;YAC1C,MAAM,IAAI,KAAK,CACb,kBAAkB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,EAAE,iCAAiC,CACrF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CACb,kBAAkB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,EAAE,uBAAuB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAChG,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAA,sBAAW,EAAC,QAAQ,CAAC,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,SAAS,CAAC,KAAmB;IAC3C,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;IAClB,mEAAmE;IACnE,uEAAuE;IACvE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC3E,OAAO,IAAA,yBAAc,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC;AACxB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/ser-des/parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAI5D,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,OAAO,UAAU,KAAK,CAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,GAAE,YAAiB,GACzB,YAAY,
|
|
1
|
+
{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/ser-des/parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAI5D,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,OAAO,UAAU,KAAK,CAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,GAAE,YAAiB,GACzB,YAAY,CAiLd"}
|
|
@@ -100,6 +100,9 @@ function parse(mmelString, parsers, options = {}) {
|
|
|
100
100
|
formulasUsed: {},
|
|
101
101
|
// Primmel v3 ISO 24229 multilinguality (TODO.roadmap/25)
|
|
102
102
|
texts: {},
|
|
103
|
+
// Primmel v3.1 dataspace + trust (TODO.primmel/10)
|
|
104
|
+
dataspaces: {},
|
|
105
|
+
policies: {},
|
|
103
106
|
// Issue collection (duplicate IDs, etc.)
|
|
104
107
|
issues: [],
|
|
105
108
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/ser-des/parse.ts"],"names":[],"mappings":";;AAmCA,
|
|
1
|
+
{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../../src/ser-des/parse.ts"],"names":[],"mappings":";;AAmCA,wBAqLC;AAxND,yCAA+D;AAG/D,kDAA2D;AAmB3D;;;;;;;;;;;;GAYG;AACH,SAAwB,KAAK,CAC3B,UAAkB,EAClB,OAA4B,EAC5B,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAY,IAAA,gCAAqB,EAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAA,uCAAwB,GAAE,CAAC;IAC9C,oEAAoE;IACpE,mEAAmE;IACnE,2CAA2C;IAC3C,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,gEAAgE;IAChE,6DAA6D;IAC7D,IAAI,GAAG,GAAiB;QACtB,IAAI,EAAE,EAAE;QACR,QAAQ,EAAE,IAAI;QACd,eAAe,EAAE,IAAI;QACrB,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE;QACb,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,EAAE;QACR,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE;QACb,2DAA2D;QAC3D,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,EAAE;QACf,YAAY,EAAE,EAAE;QAChB,mCAAmC;QACnC,QAAQ,EAAE,EAAE;QACZ,0CAA0C;QAC1C,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE,EAAE;QACX,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,aAAa,EAAE,EAAE;QACjB,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,kBAAkB,EAAE,EAAE;QACtB,aAAa,EAAE,EAAE;QACjB,gBAAgB,EAAE,EAAE;QACpB,kBAAkB,EAAE,EAAE;QACtB,0CAA0C;QAC1C,YAAY,EAAE,EAAE;QAChB,kBAAkB,EAAE,EAAE;QACtB,WAAW,EAAE,EAAE;QACf,oBAAoB,EAAE,EAAE;QACxB,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,aAAa,EAAE,EAAE;QACjB,6DAA6D;QAC7D,QAAQ,EAAE,EAAE;QACZ,6CAA6C;QAC7C,SAAS,EAAE,EAAE;QACb,yCAAyC;QACzC,mBAAmB,EAAE,EAAE;QACvB,iBAAiB,EAAE,EAAE;QACrB,uDAAuD;QACvD,iBAAiB,EAAE,EAAE;QACrB,KAAK,EAAE,EAAE;QACT,+DAA+D;QAC/D,kBAAkB,EAAE,EAAE;QACtB,8CAA8C;QAC9C,iBAAiB,EAAE,EAAE;QACrB,qDAAqD;QACrD,QAAQ,EAAE,EAAE;QACZ,gDAAgD;QAChD,SAAS,EAAE,EAAE;QACb,mDAAmD;QACnD,UAAU,EAAE,EAAE;QACd,oDAAoD;QACpD,aAAa,EAAE,EAAE;QACjB,+DAA+D;QAC/D,YAAY,EAAE,EAAE;QAChB,yDAAyD;QACzD,KAAK,EAAE,EAAE;QACT,mDAAmD;QACnD,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,EAAE;QACZ,yCAAyC;QACzC,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAE7B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,oBAAoB,OAAO,aAAa,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,GAAG,CAAC,KAAK,CAAC,GAAG,wDAAwD,CACpI,CAAC;YACJ,CAAC;YACD,4DAA4D;YAC5D,SAAS;QACX,CAAC;QAED,IAAI,SAA8C,CAAC;QACnD,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAChB,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,aAAa,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,GAAG,CAAC,KAAK,CAAC,GAAG,wCAAwC,MAAM,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,mBAAmB,CACpJ,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;YAE/B,+DAA+D;YAC/D,4DAA4D;YAC5D,6BAA6B;YAC7B,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACd,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAC5B,GAAG,CAAC,KAAK,EACT,OAAO,EACP,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,KAAK,CACZ,CAAC;gBACF,IAAI,KAAK,EAAE,CAAC;oBACV,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO;oBAC3B,EAAE,EAAE,KAAK,CAAC,KAAK;oBACf,OAAO;oBACP,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,GAAG,EAAE,UAAU,CAAC,GAAG;iBACpB,CAAC,CAAC;YACL,CAAC;YAED,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,aAAa,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,GAAG,CAAC,KAAK,CAAC,GAAG,2CAA2C,CAC/G,CAAC;YACJ,CAAC;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO;oBAC3B,EAAE,EAAE,EAAE;oBACN,OAAO;oBACP,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,GAAG,EAAE,UAAU,CAAC,GAAG;iBACpB,CAAC,CAAC;YACL,CAAC;YACD,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC5B,gEAAgE;QAChE,qDAAqD;QACrD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;QAC3B,CAAC;QACD,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IAED,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC3B,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC9B,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -33,6 +33,8 @@ import type TextContent from '../types/Text';
|
|
|
33
33
|
import type ActivityArchetype from '../types/ActivityArchetype';
|
|
34
34
|
import type { Instance } from '../types/Instance';
|
|
35
35
|
import type { Dual, QuantityRegister } from '../types/Quantity';
|
|
36
|
+
import type Dataspace from '../types/Dataspace';
|
|
37
|
+
import type Policy from '../types/Policy';
|
|
36
38
|
import type { Requirement, RequirementClass } from '../types/Requirement';
|
|
37
39
|
import type { ConformanceClass } from '../types/ConformanceClass';
|
|
38
40
|
import type { PackageManifest } from '../types/Package';
|
|
@@ -136,6 +138,8 @@ export interface ParseContext {
|
|
|
136
138
|
testSequences: Record<string, TestSequence>;
|
|
137
139
|
formulasUsed: Record<string, FormulasUsed>;
|
|
138
140
|
texts: Record<string, TextContent>;
|
|
141
|
+
dataspaces: Record<string, Dataspace>;
|
|
142
|
+
policies: Record<string, Policy>;
|
|
139
143
|
issues: ParseIssue[];
|
|
140
144
|
constructs?: ParsedConstruct[];
|
|
141
145
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ser-des/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,WAAW,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,cAAc,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,iBAAiB,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,QAAQ,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,OAAO,EACR,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,iBAAiB,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,iBAAiB,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,WAAW,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAQ3C,MAAM,WAAW,eAAe;IAC9B;4DACwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;IAChB,0DAA0D;IAC1D,KAAK,EAAE,QAAQ,CAAC;IAChB,oDAAoD;IACpD,GAAG,EAAE,QAAQ,CAAC;CACf;AASD,MAAM,WAAW,mBAAmB;IAClC,CAAC,OAAO,EAAE,MAAM,GAAG;QACjB,OAAO,CAAC,EAAE,IAAI,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;KAC5B,CAAC;CACH;AAGD,MAAM,MAAM,qBAAqB,GAAG,OAAO,CACzC,MAAM,CACJ,MAAM,YAAY,EAClB;IAEE,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAC7B,CACF,CACF,CAAC;AAKF,MAAM,MAAM,mBAAmB,GAAG;KAC/B,GAAG,IAAI,MAAM,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,iBAAiB,CAAC,GAAG,MAAM,CACxE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CACtB;CACF,CAAC;AAMF,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,YAAY,IAAI,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AAI9E,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,YAAY,IAAI,CAC7C,GAAG,EAAE,CAAC,EACN,gBAAgB,EAAE,CAAC,KAChB,CAAC,CAAC;AAGP,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC;AAO3C,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1B,+DAA+D;IAC/D,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAE5B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC9C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAChD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAG5C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAGpC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAG1C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAGlC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACtD,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5C,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAChD,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,uBAAuB,EAAE,YAAY,CAAC,CAAC;IACzE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACtD,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAClD,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGrD,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGrD,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC1D,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACzC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAG5C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAGlC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAGpC,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGpD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACpD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAG5B,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAItD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGpD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAGlC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAKpC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAKtC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAK5C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAI3C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ser-des/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,WAAW,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,cAAc,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,iBAAiB,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,QAAQ,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,OAAO,EACR,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,iBAAiB,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,iBAAiB,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,WAAW,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAQ3C,MAAM,WAAW,eAAe;IAC9B;4DACwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;IAChB,0DAA0D;IAC1D,KAAK,EAAE,QAAQ,CAAC;IAChB,oDAAoD;IACpD,GAAG,EAAE,QAAQ,CAAC;CACf;AASD,MAAM,WAAW,mBAAmB;IAClC,CAAC,OAAO,EAAE,MAAM,GAAG;QACjB,OAAO,CAAC,EAAE,IAAI,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;KAC5B,CAAC;CACH;AAGD,MAAM,MAAM,qBAAqB,GAAG,OAAO,CACzC,MAAM,CACJ,MAAM,YAAY,EAClB;IAEE,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAC7B,CACF,CACF,CAAC;AAKF,MAAM,MAAM,mBAAmB,GAAG;KAC/B,GAAG,IAAI,MAAM,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,iBAAiB,CAAC,GAAG,MAAM,CACxE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CACtB;CACF,CAAC;AAMF,MAAM,MAAM,MAAM,CAAC,CAAC,GAAG,YAAY,IAAI,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AAI9E,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,YAAY,IAAI,CAC7C,GAAG,EAAE,CAAC,EACN,gBAAgB,EAAE,CAAC,KAChB,CAAC,CAAC;AAGP,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC;AAO3C,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC1B,+DAA+D;IAC/D,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAE5B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC9C,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAChD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAG5C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAGpC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAG1C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAGlC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACtD,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5C,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAChD,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,uBAAuB,EAAE,YAAY,CAAC,CAAC;IACzE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACtD,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAClD,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGrD,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGrD,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC1D,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACzC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAG5C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAGlC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAGpC,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGpD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACpD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAG5B,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAItD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAGpD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAGlC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAKpC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAKtC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAK5C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAI3C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAKnC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAIjC,MAAM,EAAE,UAAU,EAAE,CAAC;IAMrB,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;CAChC"}
|
|
@@ -98,6 +98,8 @@ export interface ArtifactDefinition {
|
|
|
98
98
|
/** The unified typed references (docs/primmel/18) — semantic
|
|
99
99
|
* predicates stay here; citation kinds fold onto source/referenceIds. */
|
|
100
100
|
refs?: import('./Ref').Ref[];
|
|
101
|
+
/** The correspondence annotations (MN 114 v3.1, clause 19.4). */
|
|
102
|
+
correspondences?: import('./Correspondence').Correspondence[];
|
|
101
103
|
}
|
|
102
104
|
/**
|
|
103
105
|
* artifact_instance <id> — one produced artifact, recorded as evidence (HAS).
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Artifact.d.ts","sourceRoot":"","sources":["../../../src/types/Artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,QAAQ,EAAE,OAAO,CAAC;IAClB,wEAAwE;IACxE,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,+EAA+E;AAC/E,MAAM,WAAW,uBAAuB;IACtC,kEAAkE;IAClE,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,sEAAsE;IACtE,SAAS,EAAE,MAAM,CAAC;IAClB,+CAA+C;IAC/C,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gDAAgD;IAChD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,iFAAiF;AACjF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,uBAAuB,CAAC;IACzC,YAAY,EAAE,YAAY,CAAC;IAC3B,+EAA+E;IAC/E,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;wDACoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;8EAC0E;IAC1E,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"Artifact.d.ts","sourceRoot":"","sources":["../../../src/types/Artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,QAAQ,EAAE,OAAO,CAAC;IAClB,wEAAwE;IACxE,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,4DAA4D;IAC5D,IAAI,EAAE,MAAM,CAAC;CACd;AAED,+EAA+E;AAC/E,MAAM,WAAW,uBAAuB;IACtC,kEAAkE;IAClE,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,sEAAsE;IACtE,SAAS,EAAE,MAAM,CAAC;IAClB,+CAA+C;IAC/C,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gDAAgD;IAChD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,iFAAiF;AACjF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,uBAAuB,CAAC;IACzC,YAAY,EAAE,YAAY,CAAC;IAC3B,+EAA+E;IAC/E,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;wDACoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;8EAC0E;IAC1E,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,4DAA4D;IAC5D,EAAE,EAAE,MAAM,CAAC;IACX,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,6DAA6D;IAC7D,EAAE,EAAE,MAAM,CAAC;IACX;;;OAGG;IACH,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACvC,6DAA6D;IAC7D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB"}
|