@primmel/primmel 1.3.2 → 1.4.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/index.d.ts +40 -4
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +112 -1
- package/dist/index.js.map +1 -1
- package/dist/src/check-allowlist.d.ts +56 -0
- package/dist/src/check-allowlist.d.ts.map +1 -0
- package/dist/src/check-allowlist.js +307 -0
- package/dist/src/check-allowlist.js.map +1 -0
- package/dist/src/check-rules.d.ts +17 -0
- package/dist/src/check-rules.d.ts.map +1 -0
- package/dist/src/check-rules.js +351 -0
- package/dist/src/check-rules.js.map +1 -0
- package/dist/src/check.d.ts +115 -0
- package/dist/src/check.d.ts.map +1 -0
- package/dist/src/check.js +4164 -0
- package/dist/src/check.js.map +1 -0
- package/dist/src/export/rdf-competency-questions.d.ts +11 -0
- package/dist/src/export/rdf-competency-questions.d.ts.map +1 -0
- package/dist/src/export/rdf-competency-questions.js +99 -0
- package/dist/src/export/rdf-competency-questions.js.map +1 -0
- package/dist/src/export/rdf-shapes.d.ts +3 -0
- package/dist/src/export/rdf-shapes.d.ts.map +1 -0
- package/dist/src/export/rdf-shapes.js +225 -0
- package/dist/src/export/rdf-shapes.js.map +1 -0
- package/dist/src/export/rdf-vocabulary.d.ts +125 -0
- package/dist/src/export/rdf-vocabulary.d.ts.map +1 -0
- package/dist/src/export/rdf-vocabulary.js +230 -0
- package/dist/src/export/rdf-vocabulary.js.map +1 -0
- package/dist/src/export/rdf.d.ts +92 -0
- package/dist/src/export/rdf.d.ts.map +1 -0
- package/dist/src/export/rdf.js +707 -0
- package/dist/src/export/rdf.js.map +1 -0
- package/dist/src/export/reqif.d.ts +81 -0
- package/dist/src/export/reqif.d.ts.map +1 -0
- package/dist/src/export/reqif.js +703 -0
- package/dist/src/export/reqif.js.map +1 -0
- package/dist/src/instance-resolution.d.ts +68 -0
- package/dist/src/instance-resolution.d.ts.map +1 -0
- package/dist/src/instance-resolution.js +239 -0
- package/dist/src/instance-resolution.js.map +1 -0
- package/dist/src/mapping-coverage.d.ts +220 -0
- package/dist/src/mapping-coverage.d.ts.map +1 -0
- package/dist/src/mapping-coverage.js +528 -0
- package/dist/src/mapping-coverage.js.map +1 -0
- package/dist/src/model-diff.d.ts +198 -0
- package/dist/src/model-diff.d.ts.map +1 -0
- package/dist/src/model-diff.js +914 -0
- package/dist/src/model-diff.js.map +1 -0
- package/dist/src/operational-state.d.ts +112 -0
- package/dist/src/operational-state.d.ts.map +1 -0
- package/dist/src/operational-state.js +162 -0
- package/dist/src/operational-state.js.map +1 -0
- package/dist/src/package-diff.d.ts +36 -0
- package/dist/src/package-diff.d.ts.map +1 -0
- package/dist/src/package-diff.js +104 -0
- package/dist/src/package-diff.js.map +1 -0
- package/dist/src/ser-des/config/acceptance.d.ts +10 -0
- package/dist/src/ser-des/config/acceptance.d.ts.map +1 -0
- package/dist/src/ser-des/config/acceptance.js +163 -0
- package/dist/src/ser-des/config/acceptance.js.map +1 -0
- package/dist/src/ser-des/config/activityArchetype.d.ts +5 -0
- package/dist/src/ser-des/config/activityArchetype.d.ts.map +1 -0
- package/dist/src/ser-des/config/activityArchetype.js +78 -0
- package/dist/src/ser-des/config/activityArchetype.js.map +1 -0
- package/dist/src/ser-des/config/artifact.d.ts +16 -0
- package/dist/src/ser-des/config/artifact.d.ts.map +1 -0
- package/dist/src/ser-des/config/artifact.js +392 -0
- package/dist/src/ser-des/config/artifact.js.map +1 -0
- package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
- package/dist/src/ser-des/config/calculation.js +214 -12
- package/dist/src/ser-des/config/calculation.js.map +1 -1
- package/dist/src/ser-des/config/comment.d.ts +34 -0
- package/dist/src/ser-des/config/comment.d.ts.map +1 -0
- package/dist/src/ser-des/config/comment.js +121 -0
- package/dist/src/ser-des/config/comment.js.map +1 -0
- package/dist/src/ser-des/config/competenceKind.d.ts +8 -0
- package/dist/src/ser-des/config/competenceKind.d.ts.map +1 -0
- package/dist/src/ser-des/config/competenceKind.js +266 -0
- package/dist/src/ser-des/config/competenceKind.js.map +1 -0
- package/dist/src/ser-des/config/composition.d.ts +6 -0
- package/dist/src/ser-des/config/composition.d.ts.map +1 -0
- package/dist/src/ser-des/config/composition.js +165 -0
- package/dist/src/ser-des/config/composition.js.map +1 -0
- package/dist/src/ser-des/config/conformanceClass.d.ts +9 -0
- package/dist/src/ser-des/config/conformanceClass.d.ts.map +1 -0
- package/dist/src/ser-des/config/conformanceClass.js +128 -0
- package/dist/src/ser-des/config/conformanceClass.js.map +1 -0
- package/dist/src/ser-des/config/conformanceTest.d.ts +6 -0
- package/dist/src/ser-des/config/conformanceTest.d.ts.map +1 -0
- package/dist/src/ser-des/config/conformanceTest.js +929 -0
- package/dist/src/ser-des/config/conformanceTest.js.map +1 -0
- package/dist/src/ser-des/config/constraint.d.ts +5 -0
- package/dist/src/ser-des/config/constraint.d.ts.map +1 -0
- package/dist/src/ser-des/config/constraint.js +108 -0
- package/dist/src/ser-des/config/constraint.js.map +1 -0
- package/dist/src/ser-des/config/data.d.ts.map +1 -1
- package/dist/src/ser-des/config/data.js +105 -12
- package/dist/src/ser-des/config/data.js.map +1 -1
- package/dist/src/ser-des/config/design.d.ts +9 -0
- package/dist/src/ser-des/config/design.d.ts.map +1 -0
- package/dist/src/ser-des/config/design.js +847 -0
- package/dist/src/ser-des/config/design.js.map +1 -0
- package/dist/src/ser-des/config/discrepancyRecord.d.ts +5 -0
- package/dist/src/ser-des/config/discrepancyRecord.d.ts.map +1 -0
- package/dist/src/ser-des/config/discrepancyRecord.js +109 -0
- package/dist/src/ser-des/config/discrepancyRecord.js.map +1 -0
- package/dist/src/ser-des/config/dual.d.ts +9 -0
- package/dist/src/ser-des/config/dual.d.ts.map +1 -0
- package/dist/src/ser-des/config/dual.js +84 -0
- package/dist/src/ser-des/config/dual.js.map +1 -0
- package/dist/src/ser-des/config/field-parser.d.ts +92 -7
- package/dist/src/ser-des/config/field-parser.d.ts.map +1 -1
- package/dist/src/ser-des/config/field-parser.js +844 -29
- 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 +356 -134
- package/dist/src/ser-des/config/form.js.map +1 -1
- package/dist/src/ser-des/config/formulasUsed.d.ts +9 -0
- package/dist/src/ser-des/config/formulasUsed.d.ts.map +1 -0
- package/dist/src/ser-des/config/formulasUsed.js +126 -0
- package/dist/src/ser-des/config/formulasUsed.js.map +1 -0
- package/dist/src/ser-des/config/index.d.ts.map +1 -1
- package/dist/src/ser-des/config/index.js +180 -1
- package/dist/src/ser-des/config/index.js.map +1 -1
- package/dist/src/ser-des/config/instance.d.ts +22 -0
- package/dist/src/ser-des/config/instance.d.ts.map +1 -0
- package/dist/src/ser-des/config/instance.js +266 -0
- package/dist/src/ser-des/config/instance.js.map +1 -0
- package/dist/src/ser-des/config/invariant.d.ts +9 -0
- package/dist/src/ser-des/config/invariant.d.ts.map +1 -0
- package/dist/src/ser-des/config/invariant.js +143 -0
- package/dist/src/ser-des/config/invariant.js.map +1 -0
- package/dist/src/ser-des/config/mapProfile.d.ts.map +1 -1
- package/dist/src/ser-des/config/mapProfile.js +199 -14
- package/dist/src/ser-des/config/mapProfile.js.map +1 -1
- package/dist/src/ser-des/config/metadata.js +6 -6
- package/dist/src/ser-des/config/metadata.js.map +1 -1
- package/dist/src/ser-des/config/monitor.d.ts +9 -0
- package/dist/src/ser-des/config/monitor.d.ts.map +1 -0
- package/dist/src/ser-des/config/monitor.js +322 -0
- package/dist/src/ser-des/config/monitor.js.map +1 -0
- package/dist/src/ser-des/config/note.d.ts.map +1 -1
- package/dist/src/ser-des/config/note.js +16 -1
- package/dist/src/ser-des/config/note.js.map +1 -1
- package/dist/src/ser-des/config/packageManifest.d.ts +5 -0
- package/dist/src/ser-des/config/packageManifest.d.ts.map +1 -0
- package/dist/src/ser-des/config/packageManifest.js +349 -0
- package/dist/src/ser-des/config/packageManifest.js.map +1 -0
- package/dist/src/ser-des/config/passport.d.ts +9 -0
- package/dist/src/ser-des/config/passport.d.ts.map +1 -0
- package/dist/src/ser-des/config/passport.js +191 -0
- package/dist/src/ser-des/config/passport.js.map +1 -0
- package/dist/src/ser-des/config/process.d.ts +5 -3
- package/dist/src/ser-des/config/process.d.ts.map +1 -1
- package/dist/src/ser-des/config/process.js +915 -8
- package/dist/src/ser-des/config/process.js.map +1 -1
- package/dist/src/ser-des/config/quantity.d.ts +21 -0
- package/dist/src/ser-des/config/quantity.d.ts.map +1 -0
- package/dist/src/ser-des/config/quantity.js +114 -0
- package/dist/src/ser-des/config/quantity.js.map +1 -0
- package/dist/src/ser-des/config/quantityRegister.d.ts +9 -0
- package/dist/src/ser-des/config/quantityRegister.d.ts.map +1 -0
- package/dist/src/ser-des/config/quantityRegister.js +202 -0
- package/dist/src/ser-des/config/quantityRegister.js.map +1 -0
- package/dist/src/ser-des/config/reference.d.ts.map +1 -1
- package/dist/src/ser-des/config/reference.js +6 -0
- package/dist/src/ser-des/config/reference.js.map +1 -1
- package/dist/src/ser-des/config/referenceMaterial.d.ts +5 -0
- package/dist/src/ser-des/config/referenceMaterial.d.ts.map +1 -0
- package/dist/src/ser-des/config/referenceMaterial.js +296 -0
- package/dist/src/ser-des/config/referenceMaterial.js.map +1 -0
- package/dist/src/ser-des/config/requirement.d.ts +16 -0
- package/dist/src/ser-des/config/requirement.d.ts.map +1 -0
- package/dist/src/ser-des/config/requirement.js +579 -0
- package/dist/src/ser-des/config/requirement.js.map +1 -0
- package/dist/src/ser-des/config/role.d.ts.map +1 -1
- package/dist/src/ser-des/config/role.js +12 -0
- package/dist/src/ser-des/config/role.js.map +1 -1
- package/dist/src/ser-des/config/series.d.ts +9 -0
- package/dist/src/ser-des/config/series.d.ts.map +1 -0
- package/dist/src/ser-des/config/series.js +121 -0
- package/dist/src/ser-des/config/series.js.map +1 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.d.ts +11 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.d.ts.map +1 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.js +83 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.js.map +1 -0
- package/dist/src/ser-des/config/stateMachine.d.ts.map +1 -1
- package/dist/src/ser-des/config/stateMachine.js +189 -38
- package/dist/src/ser-des/config/stateMachine.js.map +1 -1
- package/dist/src/ser-des/config/subform.d.ts.map +1 -1
- package/dist/src/ser-des/config/subform.js +25 -33
- package/dist/src/ser-des/config/subform.js.map +1 -1
- package/dist/src/ser-des/config/subject.d.ts +58 -0
- package/dist/src/ser-des/config/subject.d.ts.map +1 -0
- package/dist/src/ser-des/config/subject.js +2093 -0
- package/dist/src/ser-des/config/subject.js.map +1 -0
- package/dist/src/ser-des/config/symbol.d.ts.map +1 -1
- package/dist/src/ser-des/config/symbol.js +130 -6
- 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 +373 -7
- 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 +107 -0
- package/dist/src/ser-des/config/term.js.map +1 -1
- package/dist/src/ser-des/config/testPointSet.d.ts +5 -0
- package/dist/src/ser-des/config/testPointSet.d.ts.map +1 -0
- package/dist/src/ser-des/config/testPointSet.js +199 -0
- package/dist/src/ser-des/config/testPointSet.js.map +1 -0
- package/dist/src/ser-des/config/testSequence.d.ts +9 -0
- package/dist/src/ser-des/config/testSequence.d.ts.map +1 -0
- package/dist/src/ser-des/config/testSequence.js +206 -0
- package/dist/src/ser-des/config/testSequence.js.map +1 -0
- package/dist/src/ser-des/config/text.d.ts +5 -0
- package/dist/src/ser-des/config/text.d.ts.map +1 -0
- package/dist/src/ser-des/config/text.js +106 -0
- package/dist/src/ser-des/config/text.js.map +1 -0
- package/dist/src/ser-des/config/twin.d.ts +31 -0
- package/dist/src/ser-des/config/twin.d.ts.map +1 -0
- package/dist/src/ser-des/config/twin.js +362 -0
- package/dist/src/ser-des/config/twin.js.map +1 -0
- package/dist/src/ser-des/config/verdict.d.ts +5 -0
- package/dist/src/ser-des/config/verdict.d.ts.map +1 -0
- package/dist/src/ser-des/config/verdict.js +159 -0
- package/dist/src/ser-des/config/verdict.js.map +1 -0
- package/dist/src/ser-des/config/viewProfile.d.ts.map +1 -1
- package/dist/src/ser-des/config/viewProfile.js +7 -0
- package/dist/src/ser-des/config/viewProfile.js.map +1 -1
- package/dist/src/ser-des/includes.d.ts.map +1 -1
- package/dist/src/ser-des/includes.js +5 -2
- package/dist/src/ser-des/includes.js.map +1 -1
- package/dist/src/ser-des/index.d.ts +12 -0
- package/dist/src/ser-des/index.d.ts.map +1 -1
- package/dist/src/ser-des/index.js +42 -0
- package/dist/src/ser-des/index.js.map +1 -1
- package/dist/src/ser-des/package.d.ts +53 -0
- package/dist/src/ser-des/package.d.ts.map +1 -0
- package/dist/src/ser-des/package.js +404 -0
- package/dist/src/ser-des/package.js.map +1 -0
- package/dist/src/ser-des/parse-block.d.ts.map +1 -1
- package/dist/src/ser-des/parse-block.js +7 -1
- 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 +45 -0
- package/dist/src/ser-des/parse.js.map +1 -1
- package/dist/src/ser-des/prm.d.ts +53 -0
- package/dist/src/ser-des/prm.d.ts.map +1 -0
- package/dist/src/ser-des/prm.js +257 -0
- package/dist/src/ser-des/prm.js.map +1 -0
- package/dist/src/ser-des/resolve.d.ts.map +1 -1
- package/dist/src/ser-des/resolve.js +1 -0
- package/dist/src/ser-des/resolve.js.map +1 -1
- package/dist/src/ser-des/tokenize.d.ts +11 -0
- package/dist/src/ser-des/tokenize.d.ts.map +1 -1
- package/dist/src/ser-des/tokenize.js +28 -1
- package/dist/src/ser-des/tokenize.js.map +1 -1
- package/dist/src/ser-des/types.d.ts +56 -1
- package/dist/src/ser-des/types.d.ts.map +1 -1
- package/dist/src/spelling.d.ts +35 -0
- package/dist/src/spelling.d.ts.map +1 -0
- package/dist/src/spelling.js +140 -0
- package/dist/src/spelling.js.map +1 -0
- package/dist/src/text-coverage.d.ts +164 -0
- package/dist/src/text-coverage.d.ts.map +1 -0
- package/dist/src/text-coverage.js +679 -0
- package/dist/src/text-coverage.js.map +1 -0
- package/dist/src/time.d.ts +55 -0
- package/dist/src/time.d.ts.map +1 -0
- package/dist/src/time.js +223 -0
- package/dist/src/time.js.map +1 -0
- package/dist/src/type-expr.d.ts +31 -0
- package/dist/src/type-expr.d.ts.map +1 -0
- package/dist/src/type-expr.js +110 -0
- package/dist/src/type-expr.js.map +1 -0
- package/dist/src/types/Acceptance.d.ts +31 -0
- package/dist/src/types/Acceptance.d.ts.map +1 -0
- package/dist/src/types/Acceptance.js +12 -0
- package/dist/src/types/Acceptance.js.map +1 -0
- package/dist/src/types/ActivityArchetype.d.ts +14 -0
- package/dist/src/types/ActivityArchetype.d.ts.map +1 -0
- package/dist/src/types/ActivityArchetype.js +17 -0
- package/dist/src/types/ActivityArchetype.js.map +1 -0
- package/dist/src/types/Artifact.d.ts +117 -0
- package/dist/src/types/Artifact.d.ts.map +1 -0
- package/dist/src/types/Artifact.js +35 -0
- package/dist/src/types/Artifact.js.map +1 -0
- package/dist/src/types/Calculation.d.ts +49 -0
- package/dist/src/types/Calculation.d.ts.map +1 -1
- package/dist/src/types/Comment.d.ts +23 -0
- package/dist/src/types/Comment.d.ts.map +1 -0
- package/dist/src/types/Comment.js +3 -0
- package/dist/src/types/Comment.js.map +1 -0
- package/dist/src/types/CompetenceKind.d.ts +70 -0
- package/dist/src/types/CompetenceKind.d.ts.map +1 -0
- package/dist/src/types/CompetenceKind.js +3 -0
- package/dist/src/types/CompetenceKind.js.map +1 -0
- package/dist/src/types/Composition.d.ts +80 -0
- package/dist/src/types/Composition.d.ts.map +1 -0
- package/dist/src/types/Composition.js +44 -0
- package/dist/src/types/Composition.js.map +1 -0
- package/dist/src/types/ConformanceClass.d.ts +22 -0
- package/dist/src/types/ConformanceClass.d.ts.map +1 -0
- package/dist/src/types/ConformanceClass.js +7 -0
- package/dist/src/types/ConformanceClass.js.map +1 -0
- package/dist/src/types/ConformanceTest.d.ts +206 -0
- package/dist/src/types/ConformanceTest.d.ts.map +1 -0
- package/dist/src/types/ConformanceTest.js +3 -0
- package/dist/src/types/ConformanceTest.js.map +1 -0
- package/dist/src/types/Constraint.d.ts +34 -0
- package/dist/src/types/Constraint.d.ts.map +1 -0
- package/dist/src/types/Constraint.js +3 -0
- package/dist/src/types/Constraint.js.map +1 -0
- package/dist/src/types/Design.d.ts +147 -0
- package/dist/src/types/Design.d.ts.map +1 -0
- package/dist/src/types/Design.js +10 -0
- package/dist/src/types/Design.js.map +1 -0
- package/dist/src/types/DiscrepancyRecord.d.ts +42 -0
- package/dist/src/types/DiscrepancyRecord.d.ts.map +1 -0
- package/dist/src/types/DiscrepancyRecord.js +3 -0
- package/dist/src/types/DiscrepancyRecord.js.map +1 -0
- package/dist/src/types/Form.d.ts +132 -1
- package/dist/src/types/Form.d.ts.map +1 -1
- package/dist/src/types/FormulasUsed.d.ts +95 -0
- package/dist/src/types/FormulasUsed.d.ts.map +1 -0
- package/dist/src/types/FormulasUsed.js +64 -0
- package/dist/src/types/FormulasUsed.js.map +1 -0
- package/dist/src/types/Instance.d.ts +105 -0
- package/dist/src/types/Instance.d.ts.map +1 -0
- package/dist/src/types/Instance.js +40 -0
- package/dist/src/types/Instance.js.map +1 -0
- package/dist/src/types/Invariant.d.ts +82 -0
- package/dist/src/types/Invariant.d.ts.map +1 -0
- package/dist/src/types/Invariant.js +50 -0
- package/dist/src/types/Invariant.js.map +1 -0
- package/dist/src/types/MapProfile.d.ts +36 -1
- package/dist/src/types/MapProfile.d.ts.map +1 -1
- package/dist/src/types/Monitor.d.ts +144 -0
- package/dist/src/types/Monitor.d.ts.map +1 -0
- package/dist/src/types/Monitor.js +74 -0
- package/dist/src/types/Monitor.js.map +1 -0
- package/dist/src/types/Note.d.ts +4 -1
- package/dist/src/types/Note.d.ts.map +1 -1
- package/dist/src/types/Package.d.ts +161 -0
- package/dist/src/types/Package.d.ts.map +1 -0
- package/dist/src/types/Package.js +3 -0
- package/dist/src/types/Package.js.map +1 -0
- package/dist/src/types/Passport.d.ts +125 -0
- package/dist/src/types/Passport.d.ts.map +1 -0
- package/dist/src/types/Passport.js +84 -0
- package/dist/src/types/Passport.js.map +1 -0
- package/dist/src/types/Quantity.d.ts +99 -0
- package/dist/src/types/Quantity.d.ts.map +1 -0
- package/dist/src/types/Quantity.js +24 -0
- package/dist/src/types/Quantity.js.map +1 -0
- package/dist/src/types/Reference.d.ts +2 -0
- package/dist/src/types/Reference.d.ts.map +1 -1
- package/dist/src/types/ReferenceMaterial.d.ts +53 -0
- package/dist/src/types/ReferenceMaterial.d.ts.map +1 -0
- package/dist/src/types/ReferenceMaterial.js +14 -0
- package/dist/src/types/ReferenceMaterial.js.map +1 -0
- package/dist/src/types/Requirement.d.ts +111 -0
- package/dist/src/types/Requirement.d.ts.map +1 -0
- package/dist/src/types/Requirement.js +10 -0
- package/dist/src/types/Requirement.js.map +1 -0
- package/dist/src/types/Role.d.ts +4 -0
- package/dist/src/types/Role.d.ts.map +1 -1
- package/dist/src/types/Series.d.ts +31 -0
- package/dist/src/types/Series.d.ts.map +1 -0
- package/dist/src/types/Series.js +14 -0
- package/dist/src/types/Series.js.map +1 -0
- package/dist/src/types/SourceDiscrepancy.d.ts +21 -0
- package/dist/src/types/SourceDiscrepancy.d.ts.map +1 -0
- package/dist/src/types/SourceDiscrepancy.js +13 -0
- package/dist/src/types/SourceDiscrepancy.js.map +1 -0
- package/dist/src/types/Standard.d.ts +68 -0
- package/dist/src/types/Standard.d.ts.map +1 -1
- package/dist/src/types/StateMachine.d.ts +43 -0
- package/dist/src/types/StateMachine.d.ts.map +1 -1
- package/dist/src/types/StateMachine.js +7 -0
- package/dist/src/types/StateMachine.js.map +1 -1
- package/dist/src/types/Subject.d.ts +432 -0
- package/dist/src/types/Subject.d.ts.map +1 -0
- package/dist/src/types/Subject.js +13 -0
- package/dist/src/types/Subject.js.map +1 -0
- package/dist/src/types/Symbol.d.ts +31 -1
- package/dist/src/types/Symbol.d.ts.map +1 -1
- package/dist/src/types/Table.d.ts +43 -0
- package/dist/src/types/Table.d.ts.map +1 -1
- package/dist/src/types/Term.d.ts +29 -0
- package/dist/src/types/Term.d.ts.map +1 -1
- package/dist/src/types/TestPointSet.d.ts +33 -0
- package/dist/src/types/TestPointSet.d.ts.map +1 -0
- package/dist/src/types/TestPointSet.js +11 -0
- package/dist/src/types/TestPointSet.js.map +1 -0
- package/dist/src/types/TestSequence.d.ts +105 -0
- package/dist/src/types/TestSequence.d.ts.map +1 -0
- package/dist/src/types/TestSequence.js +65 -0
- package/dist/src/types/TestSequence.js.map +1 -0
- package/dist/src/types/Text.d.ts +21 -0
- package/dist/src/types/Text.d.ts.map +1 -0
- package/dist/src/types/Text.js +38 -0
- package/dist/src/types/Text.js.map +1 -0
- package/dist/src/types/Time.d.ts +43 -0
- package/dist/src/types/Time.d.ts.map +1 -0
- package/dist/src/types/Time.js +14 -0
- package/dist/src/types/Time.js.map +1 -0
- package/dist/src/types/Twin.d.ts +155 -0
- package/dist/src/types/Twin.d.ts.map +1 -0
- package/dist/src/types/Twin.js +102 -0
- package/dist/src/types/Twin.js.map +1 -0
- package/dist/src/types/Verdict.d.ts +40 -0
- package/dist/src/types/Verdict.d.ts.map +1 -0
- package/dist/src/types/Verdict.js +14 -0
- package/dist/src/types/Verdict.js.map +1 -0
- package/dist/src/types/ViewProfile.d.ts +6 -0
- package/dist/src/types/ViewProfile.d.ts.map +1 -1
- package/dist/src/types/data.d.ts +27 -0
- package/dist/src/types/data.d.ts.map +1 -1
- package/dist/src/types/process.d.ts +231 -0
- package/dist/src/types/process.d.ts.map +1 -1
- package/dist-browser/index.mjs +6699 -661
- package/dist-cli/primmel.mjs +21462 -0
- package/package.json +61 -5
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reqif.js","sourceRoot":"","sources":["../../../src/export/reqif.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,mEAAmE;AACnE,EAAE;AACF,sEAAsE;AACtE,yEAAyE;AACzE,kEAAkE;AAClE,wEAAwE;AACxE,wEAAwE;AACxE,6DAA6D;AAC7D,yEAAyE;AACzE,iEAAiE;AACjE,wCAAwC;AACxC,EAAE;AACF,sEAAsE;AACtE,sEAAsE;AACtE,qEAAqE;AACrE,sEAAsE;AACtE,EAAE;AACF,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,uEAAuE;AACvE,iEAAiE;AACjE,kEAAkE;AAClE,oEAAoE;AACpE,qEAAqE;AACrE,iEAAiE;AACjE,qDAAqD;AACrD,EAAE;AACF,+DAA+D;AAC/D,wDAAwD;AACxD,oEAAoE;AACpE,wEAAwE;AACxE,mEAAmE;AACnE,kEAAkE;AAClE,kEAAkE;AAClE,iEAAiE;AACjE,mEAAmE;AACnE,2BAA2B;AAC3B,kEAAkE;AAClE,gEAAgE;AAChE,4DAA4D;AAC5D,iEAAiE;AACjE,oDAAoD;AACpD,sEAAsE;AACtE,uEAAuE;AACvE,+BAA+B;AAC/B,mEAAmE;AACnE,iEAAiE;AACjE,wEAAwE;;;AA0BxE,sCAKC;AA4JD,gDAaC;AA4ND,wCAEC;AA+DD,kDAqXC;AAOD,gDAMC;AAl2BD,gDAA2D;AAE3D,0EAA0E;AAC7D,QAAA,eAAe,GAC1B,kDAAkD,CAAC;AACrD,0DAA0D;AAC7C,QAAA,aAAa,GAAG,KAAK,CAAC;AAEnC;;;;;GAKG;AACU,QAAA,4BAA4B,GAA2B;IAClE,KAAK,EAAE,aAAa;IACpB,MAAM,EAAE,gBAAgB;IACxB,GAAG,EAAE,YAAY;CAClB,CAAC;AAEF,wEAAwE;AACxE,SAAgB,aAAa,CAAC,UAAkB;IAC9C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,aAAa,CAAC,CAAC,+BAA+B;IACvD,CAAC;IACD,OAAO,oCAA4B,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC;AACjE,CAAC;AAoDD,wEAAwE;AACxE,oEAAoE;AACpE,gEAAgE;AAChE,iDAAiD;AACjD,wEAAwE;AAExE,MAAM,eAAe,GAAG,0BAA0B,CAAC;AACnD,MAAM,cAAc,GAAG,yBAAyB,CAAC;AACjD,MAAM,YAAY,GAAG,uBAAuB,CAAC;AAC7C,MAAM,QAAQ,GAAG,mBAAmB,CAAC;AACrC,MAAM,WAAW,GAAG,sBAAsB,CAAC;AAC3C,MAAM,cAAc,GAAG,yBAAyB,CAAC;AACjD,MAAM,cAAc,GAAG,yBAAyB,CAAC;AAEjD,MAAM,WAAW,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,CAAC;AAC9D,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC;AACpE,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC;AAEpE,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAC5C,MAAM,WAAW,GAAG,qBAAqB,CAAC;AAC1C,MAAM,aAAa,GAAG,uBAAuB,CAAC;AAC9C,MAAM,mBAAmB,GAAG,6BAA6B,CAAC;AAC1D,MAAM,gBAAgB,GAAG,mCAAmC,CAAC;AAE7D,8DAA8D;AAC9D,MAAM,EAAE,GAAG;IACT,QAAQ,EAAE;QACR,IAAI,EAAE,iCAAiC;QACvC,aAAa,EAAE,iDAAiD;QAChE,MAAM,EAAE,iCAAiC;KAC1C;IACD,OAAO,EAAE;QACP,WAAW,EAAE,uCAAuC;QACpD,MAAM,EAAE,gCAAgC;KACzC;IACD,SAAS,EAAE;QACT,IAAI,EAAE,kCAAkC;QACxC,QAAQ,EAAE,oCAAoC;QAC9C,WAAW,EAAE,uCAAuC;QACpD,UAAU,EAAE,2CAA2C;QACvD,YAAY,EAAE,yCAAyC;QACvD,aAAa,EAAE,kDAAkD;QACjE,MAAM,EAAE,kCAAkC;QAC1C,QAAQ,EAAE,wCAAwC;QAClD,kBAAkB,EAAE,mDAAmD;KACxE;CACO,CAAC;AAgCX,0EAA0E;AAC1E,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CAAC;SACL,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACH,SAAS,IAAI,CAAC,EAAU;IACtB,MAAM,CAAC,GAAG,EAAE;SACT,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC;SAChC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;SACnB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACrB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED;;+DAE+D;AAC/D,SAAgB,kBAAkB,CAChC,aAAqB,EACrB,QAAkB;IAElB,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,aAAa,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;YACtC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC5C,IAAI,GAAG,CAAC,CAAC;YACX,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wEAAwE;AACxE,iDAAiD;AACjD,wEAAwE;AAExE;;oDAEoD;AACpD,SAAS,YAAY,CAAC,MAA8B;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;wDACwD;AACxD,SAAS,qBAAqB,CAC5B,CAAc;IAEd,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAc,EAAE,UAAkB;IAC/D,MAAM,MAAM,GAAgB;QAC1B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE;QAC5D;YACE,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ;YAC1B,MAAM,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;SACnD;QACD;YACE,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW;YAC7B,MAAM,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;SACtC;QACD;YACE,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU;YAC5B,MAAM,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;SACxC;KACF,CAAC;IACF,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY;YAC9B,KAAK,EAAE,MAAM;SACd,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,aAAa;YAC/B,KAAK,EAAE,GAAG;SACX,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ;YAC1B,KAAK,EAAE,CAAC,CAAC,QAAQ;SAClB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,kBAAkB,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,kBAAkB;YACpC,KAAK,EAAE,CAAC,CAAC,kBAAkB;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,UAAU;QACV,QAAQ,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE;QACxB,OAAO,EAAE,aAAa;QACtB,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,CAAkB,EAAE,UAAkB;IAC5D,OAAO;QACL,UAAU;QACV,QAAQ,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE;QACxB,OAAO,EAAE,aAAa;QACtB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI;gBACtB,IAAI,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE;aAClC;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ;gBAC1B,MAAM,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;aACnC;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW;gBAC7B,MAAM,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;aACtC;YACD;gBACE,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU;gBAC5B,MAAM,EAAE,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;aAC7C;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;SAC1D;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAoB,EACpB,UAAkB;IAElB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;IAC3C,OAAO;QACL,UAAU;QACV,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,WAAW;QACpB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE;YAC3D,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE;SACzD;KACF,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,aAAa;AACb,wEAAwE;AAExE,SAAS,eAAe,CAAC,CAAY,EAAE,GAAW;IAChD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,CACL,GAAG,GAAG,2BAA2B;YACjC,GAAG,GAAG,oCAAoC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,sCAAsC;YACjG,GAAG,GAAG,iDAAiD,CAAC,CAAC,GAAG,kDAAkD;YAC9G,GAAG,GAAG,0BAA0B,CACjC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,OAAO,CACL,GAAG,GAAG,sCAAsC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM;YACpE,GAAG,GAAG,kDAAkD,CAAC,CAAC,GAAG,mDAAmD;YAChH,GAAG,GAAG,2BAA2B,CAClC,CAAC;IACJ,CAAC;IACD,OAAO,CACL,GAAG,GAAG,iCAAiC;QACvC,GAAG,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa;QACnG,GAAG,GAAG,uDAAuD,CAAC,CAAC,GAAG,wDAAwD;QAC1H,GAAG,GAAG,gCAAgC,CACvC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAa,EAAE,GAAW;IAClD,OAAO,CACL,oCAAoC,CAAC,CAAC,UAAU,kBAAkB,GAAG,gBAAgB,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM;QAChH,sBAAsB;QACtB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAChE,yBAAyB;QACzB,yCAAyC,CAAC,CAAC,OAAO,kCAAkC;QACpF,wBAAwB,CACzB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,CAAe,EAAE,GAAW;IAClD,OAAO,CACL,sCAAsC,CAAC,CAAC,UAAU,kBAAkB,GAAG,gBAAgB,CAAC,CAAC,IAAI,MAAM;QACnG,sCAAsC,CAAC,CAAC,MAAM,+BAA+B;QAC7E,sCAAsC,CAAC,CAAC,MAAM,+BAA+B;QAC7E,2CAA2C,mBAAmB,oCAAoC;QAClG,0BAA0B,CAC3B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAAmB,EACnB,UAAkB,EAClB,GAAW,EACX,GAAW;IAEX,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,GAAG,GAAG,iBAAiB;QACzB,CAAC,CAAC,GAAG,GAAG,gBAAgB;YACtB,IAAI,CAAC,QAAQ;iBACV,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACZ,eAAe,CAAC,CAAC,EAAE,GAAG,UAAU,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,CAChE;iBACA,IAAI,CAAC,IAAI,CAAC;YACb,KAAK,GAAG,iBAAiB,CAAC;IAChC,OAAO,CACL,GAAG,GAAG,+BAA+B,UAAU,kBAAkB,GAAG,MAAM;QAC1E,GAAG,GAAG,8BAA8B,IAAI,CAAC,gBAAgB,+BAA+B;QACxF,QAAQ;QACR,GAAG,GAAG,mBAAmB,CAC1B,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,uEAAuE;AACvE,oDAAoD;AACpD,wEAAwE;AAExE;;;;;GAKG;AACH,SAAgB,cAAc,CAAC,CAAS;IACtC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,UAAU,CACjB,SAAiB,EACjB,YAAoB,EACpB,KAAuB;IAEvB,mEAAmE;IACnE,kEAAkE;IAClE,MAAM,CAAC,GAAG,CAAC,KAAa,EAAE,QAAgB,EAAE,MAAc,EAAU,EAAE,CACpE,GAAG,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChD,OAAO;yCACgC,cAAc,CAAC,SAAS,CAAC,MAAM,cAAc,CAAC,YAAY,CAAC;;;;;;;;mCAQjE,qBAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;cAkClC,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,GAAG,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,kBAAkB,EAAE,yCAAyC,EAAE,0CAA0C,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IAChjB,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,qBAAqB;AACrB,wEAAwE;AAExE,wDAAwD;AACxD,SAAgB,mBAAmB,CACjC,QAAkB,EAClB,UAA8B,EAAE;IAEhC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,IAAI,IAAI,CAAC;IAClD,MAAM,SAAS,GAAG,QAAQ,EAAE,EAAE,IAAI,iBAAiB,CAAC;IACpD,MAAM,YAAY,GAAG,QAAQ,EAAE,KAAK,IAAI,QAAQ,EAAE,EAAE,IAAI,iBAAiB,CAAC;IAE1E,MAAM,OAAO,GAAG,QAAQ,CAAC,kBAAkB,IAAI,EAAE,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAE9C,2CAA2C;IAC3C,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,eAAe,GAAG,CAAC,EAAU,EAAU,EAAE;QAC7C,IAAI,SAAS,GAAG,cAAc,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,SAAS,GAAG,cAAc,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,eAAe,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;IACvD,eAAe,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACnC,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAe;QAC5B,UAAU,EAAE,aAAa;QACzB,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,YAAY;QACrB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI;gBACrB,IAAI,EAAE,QAAQ,EAAE,WAAW,IAAI,EAAE;aAClC;YACD,GAAG,CAAC,QAAQ,EAAE,OAAO;gBACnB,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,QAAiB;wBACvB,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,aAAa;wBAC9B,KAAK,EAAE,QAAQ,CAAC,OAAO;qBACxB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE;SAC9D;KACF,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAExB,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,oCAA4B,CAAC,EAAE,CAAC;YACpE,iEAAiE;YACjE,yDAAyD;YACzD,kBAAkB,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,gBAAgB,GAAG,+BAA+B,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,eAAe,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC;YACX,UAAU,EAAE,gBAAgB;YAC5B,QAAQ,EAAE,mBAAmB;YAC7B,OAAO,EAAE,WAAW;YACpB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,OAAO;oBACb,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW;oBAC3B,IAAI,EAAE,mBAAmB;iBAC1B;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM;oBACtB,KAAK,EAAE,2BAA2B;iBACnC;aACF;SACF,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY,EAAQ,EAAE;QACrE,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACjD,iBAAiB,CAAC,IAAI,CAAC,GAAG,KAAK,OAAO,GAAG,KAAK,IAAI,GAAG,CAAC,CAAC;YACvD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1C,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,SAAS,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,cAAc,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE;YAChD,IAAI;YACJ,MAAM;YACN,MAAM;SACP,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;YACxC,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;YACvC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACvC,CAAC;QACD,gEAAgE;QAChE,6DAA6D;QAC7D,iEAAiE;QACjE,+DAA+D;QAC/D,mEAAmE;QACnE,iEAAiE;QACjE,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/C,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACrC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IACvD,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE;YAC5C,QAAQ,EAAE,EAAE;SACb,CAAC,CAAC;IACL,CAAC;IACD,qEAAqE;IACrE,8DAA8D;IAC9D,MAAM,QAAQ,GAAoB;QAChC,EAAE,gBAAgB,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,EAAE;KAClD,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,kBAAkB,CAC/B,EAAE,CAAC,EAAE,EACL,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAClC,CAAC;QACF,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC;QACvC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,aAAa,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,IAAI,GAAkB;YAC1B,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE;YAC3C,QAAQ,EAAE,EAAE;SACb,CAAC;QACF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,aAAa,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC;YACZ,gBAAgB,EAAE,gBAAgB;YAClC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxB,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE;gBAC3C,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAqB;QAC9B,SAAS,EAAE,CAAC;QACZ,kBAAkB,EAAE,OAAO,CAAC,MAAM;QAClC,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,gBAAgB,EAAE,KAAK,CAAC,MAAM;QAC9B,aAAa,EAAE,SAAS,CAAC,MAAM;QAC/B,iBAAiB;QACjB,kBAAkB;KACnB,CAAC;IAEF,eAAe;IACf,MAAM,UAAU,GAAG,CACjB,EAAU,EACV,IAAY,EACZ,MAAgB,EAChB,EAAyB,EACjB,EAAE,CACV,wDAAwD,EAAE,kBAAkB,GAAG,gBAAgB,IAAI,MAAM;QACzG,gCAAgC;QAChC,MAAM;YACJ,iEAAiE;YACjE,+DAA+D;YAC/D,uCAAuC;aACtC,GAAG,CACF,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,uCAAuC,EAAE,CAAC,CAAC,CAAC,kBAAkB,GAAG,gBAAgB,CAAC,MAAM;YACxF,kDAAkD,CAAC,GAAG,CAAC,qCAAqC;YAC5F,2BAA2B,CAC9B;aACA,IAAI,CAAC,IAAI,CAAC;QACb,mCAAmC;QACnC,4CAA4C,CAAC;IAE/C,MAAM,UAAU,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAU,EAAU,EAAE,CAClE,wDAAwD,EAAE,kBAAkB,GAAG,gBAAgB,IAAI,yBAAyB;QAC5H,uDAAuD,EAAE,4CAA4C;QACrG,4CAA4C,CAAC;IAC/C,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,IAAY,EAAU,EAAE,CACrD,uDAAuD,EAAE,kBAAkB,GAAG,gBAAgB,IAAI,yBAAyB;QAC3H,sDAAsD,QAAQ,2CAA2C;QACzG,2CAA2C,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAU,EAAU,EAAE,CAChE,6DAA6D,EAAE,kBAAkB,GAAG,gBAAgB,IAAI,8CAA8C;QACtJ,4DAA4D,EAAE,iDAAiD;QAC/G,iDAAiD,CAAC;IAEpD,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,IAAY,EACZ,IAAY,EACZ,KAAe,EACP,EAAE,CACV,yCAAyC,EAAE,kBAAkB,GAAG,gBAAgB,IAAI,WAAW,IAAI,MAAM;QACzG,+BAA+B;QAC/B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QAChB,kCAAkC;QAClC,6BAA6B,CAAC;IAEhC,MAAM,eAAe,GAAG,gBAAgB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;IAC1D,MAAM,GAAG,GACP,0CAA0C;QAC1C,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC;QAC1C,oBAAoB,uBAAe,0HAA0H,uBAAe,IAAI,uBAAe,MAAM;QACrM,kBAAkB;QAClB,gDAAgD,IAAI,CAAC,SAAS,CAAC,MAAM;QACrE,wBAAwB,GAAG,oBAAoB;QAC/C,+DAA+D;QAC/D,yBAAyB,qBAAa,qBAAqB;QAC3D,qDAAqD;QACrD,gBAAgB,SAAS,CAAC,YAAY,CAAC,YAAY;QACnD,wBAAwB;QACxB,mBAAmB;QACnB,oBAAoB;QACpB,wBAAwB;QACxB,qBAAqB;QACrB,mDAAmD,eAAe,kBAAkB,GAAG,mDAAmD;QAC1I,mDAAmD,cAAc,kBAAkB,GAAG,iDAAiD;QACvI,mDAAmD,YAAY,kBAAkB,GAAG,6CAA6C;QACjI,kDAAkD,QAAQ,kBAAkB,GAAG,yBAAyB;QACxG,UAAU,CACR,WAAW,EACX,UAAU,EACV,CAAC,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,WAAW,CAAC,EAC5D,WAAW,CACZ;QACD,IAAI;QACJ,UAAU,CACR,cAAc,EACd,aAAa,EACb,CAAC,WAAW,EAAE,aAAa,CAAC,EAC5B,cAAc,CACf;QACD,IAAI;QACJ,UAAU,CACR,cAAc,EACd,qBAAqB,EACrB,CAAC,aAAa,EAAE,kBAAkB,CAAC,EACnC,cAAc,CACf;QACD,wBAAwB;QACxB,sBAAsB;QACtB,cAAc,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE;YACpD,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;YACzC,UAAU,CACR,EAAE,CAAC,QAAQ,CAAC,aAAa,EACzB,4BAA4B,EAC5B,cAAc,CACf;YACD,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC;SAC7D,CAAC;QACF,IAAI;QACJ,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,4BAA4B,EAAE;YACnE,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,mBAAmB,CAAC;YACtD,UAAU,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC;SAC5D,CAAC;QACF,IAAI;QACJ,cAAc,CACZ,aAAa,EACb,WAAW,EACX,sCAAsC,EACtC;YACE,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC;YAC1C,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,CAAC;YAC5D,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,iBAAiB,EAAE,cAAc,CAAC;YACrE,QAAQ,CACN,EAAE,CAAC,SAAS,CAAC,UAAU,EACvB,qBAAqB,EACrB,cAAc,CACf;YACD,UAAU,CACR,EAAE,CAAC,SAAS,CAAC,YAAY,EACzB,mBAAmB,EACnB,cAAc,CACf;YACD,UAAU,CACR,EAAE,CAAC,SAAS,CAAC,aAAa,EAC1B,4BAA4B,EAC5B,cAAc,CACf;YACD,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC;YAC7D,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,kBAAkB,EAAE,eAAe,CAAC;YACtE,UAAU,CACR,EAAE,CAAC,SAAS,CAAC,kBAAkB,EAC/B,6BAA6B,EAC7B,YAAY,CACb;SACF,CACF;QACD,IAAI;QACJ,2CAA2C,mBAAmB,kBAAkB,GAAG,sEAAsE;QACzJ,2CAA2C,gBAAgB,kBAAkB,GAAG,mEAAmE;QACnJ,gCAAgC;QAChC,iCAAiC;QACjC,uBAAuB;QACvB,wBAAwB;QACxB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACrD,2BAA2B;QAC3B,0BAA0B;QAC1B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACrD,6BAA6B;QAC7B,0BAA0B;QAC1B,sCAAsC,eAAe,kBAAkB,GAAG,gBAAgB,SAAS,CAAC,YAAY,CAAC,MAAM;QACvH,2CAA2C,gBAAgB,oCAAoC;QAC/F,wBAAwB;QACxB,QAAQ;aACL,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACZ,eAAe,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,cAAc,CAAC,CAC/D;aACA,IAAI,CAAC,IAAI,CAAC;QACb,2BAA2B;QAC3B,4BAA4B;QAC5B,2BAA2B;QAC3B,yBAAyB;QACzB,qBAAqB;QACrB,aAAa,CAAC;IAEhB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB,CAChC,GAAW,EACX,UAA8B,EAAE;IAEhC,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,+BAAqB,EAAC,GAAG,CAAC,CAAC;IAChD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC"}
|
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
import type Standard from './types/Standard';
|
|
2
|
+
import type { Instance, InstanceValue } from './types/Instance';
|
|
3
|
+
export type ResolutionErrorKind = 'unknown-instance' | 'bad-path' | 'undefined-value' | 'chain-cycle';
|
|
4
|
+
/** Typed resolution failure — resolution is closed under reference, so an
|
|
5
|
+
* unresolvable value is an error, never a silent `undefined`. */
|
|
6
|
+
export declare class InstanceResolutionError extends Error {
|
|
7
|
+
readonly kind: ResolutionErrorKind;
|
|
8
|
+
constructor(kind: ResolutionErrorKind, message: string);
|
|
9
|
+
}
|
|
10
|
+
export type InstanceArea = 'parameters' | 'classification' | 'test_context';
|
|
11
|
+
export interface InstancePath {
|
|
12
|
+
/**
|
|
13
|
+
* Optional level prefix (vocabulary compatibility only): validated
|
|
14
|
+
* against the chain levels by parseInstancePath, then IGNORED — the
|
|
15
|
+
* answer is delegated from the anchor instance, never re-anchored to
|
|
16
|
+
* the named level (see the module header).
|
|
17
|
+
*/
|
|
18
|
+
level: string;
|
|
19
|
+
area: InstanceArea;
|
|
20
|
+
key: string;
|
|
21
|
+
}
|
|
22
|
+
/**
|
|
23
|
+
* Parse `parameters.<attr>` / `<level>.parameters.<attr>` path forms. The
|
|
24
|
+
* level prefix is validated (it must name a chain level) and returned for
|
|
25
|
+
* information only — resolution IGNORES it: the answer is delegated from
|
|
26
|
+
* the anchor instance upward (module header), which may differ from a
|
|
27
|
+
* level-anchored read when a lower override exists. The app's
|
|
28
|
+
* level-anchored `model.parameters.*` bind form is a separate vocabulary
|
|
29
|
+
* consumed by the app, not by this resolver.
|
|
30
|
+
*/
|
|
31
|
+
export declare function parseInstancePath(path: string): InstancePath;
|
|
32
|
+
/**
|
|
33
|
+
* The upward walk from one instance: [start, …, family]. At each node the
|
|
34
|
+
* next link is `model ?? group ?? family` (a sample links only its model;
|
|
35
|
+
* a model links its group, or its family when the Recommendation has no
|
|
36
|
+
* group level). A dangling link ENDS the walk leniently (the linter's
|
|
37
|
+
* chain-acyclic rule reports it; app-side resolution behaves the same when
|
|
38
|
+
* a chain entity is absent). A cycle throws — the linter reports it
|
|
39
|
+
* statically, but the resolver never loops.
|
|
40
|
+
*/
|
|
41
|
+
export declare function instanceChain(standard: Standard, instanceId: string): Instance[];
|
|
42
|
+
/**
|
|
43
|
+
* Resolve one value for an instance per the delegation spec above.
|
|
44
|
+
* Parameters and test_context resolve to InstanceValue (QuantityValue:
|
|
45
|
+
* value + optional unit); classification resolves to the dimension value
|
|
46
|
+
* id (a string). A level prefix on the path is validated then ignored:
|
|
47
|
+
* the answer is delegated from `instanceId` (the anchor) upward, so it
|
|
48
|
+
* reflects any lower override between the anchor and the named level.
|
|
49
|
+
*/
|
|
50
|
+
export declare function resolveInstanceValue(standard: Standard, instanceId: string, path: string): InstanceValue | string;
|
|
51
|
+
/**
|
|
52
|
+
* The full effective attribute layer for one instance — every resolvable
|
|
53
|
+
* parameter value, lower levels overriding (family first, the starting
|
|
54
|
+
* instance last). Sample-scope attributes are included ONLY from the
|
|
55
|
+
* starting instance's test_context (never inherited); the test_context
|
|
56
|
+
* overlay applies last (it is the plane tests write into) and is
|
|
57
|
+
* scope-consistent with the single-value rule: test_context answers ONLY
|
|
58
|
+
* sample-scope attributes, so a non-sample-scope key stated there (out of
|
|
59
|
+
* discipline — C17 reports it) does NOT shadow the delegated chain value
|
|
60
|
+
* the single-value resolver would return. This is the primmel-side
|
|
61
|
+
* counterpart of the app's INV-10 delegation merge
|
|
62
|
+
* (browser/src/services/test-run.service.ts resolveAttributeValues).
|
|
63
|
+
*/
|
|
64
|
+
export declare function resolveInstanceAttributes(standard: Standard, instanceId: string): Map<string, InstanceValue>;
|
|
65
|
+
/** The full effective classification layer (family → group → model merge;
|
|
66
|
+
* samples carry none). */
|
|
67
|
+
export declare function resolveInstanceClassification(standard: Standard, instanceId: string): Map<string, string>;
|
|
68
|
+
//# sourceMappingURL=instance-resolution.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"instance-resolution.d.ts","sourceRoot":"","sources":["../../src/instance-resolution.ts"],"names":[],"mappings":"AAoDA,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEhE,MAAM,MAAM,mBAAmB,GAC7B,kBAAkB,GAAG,UAAU,GAAG,iBAAiB,GAAG,aAAa,CAAC;AAEtE;kEACkE;AAClE,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;gBAEvB,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM;CAKvD;AAED,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,gBAAgB,GAAG,cAAc,CAAC;AAE5E,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,YAAY,CAAC;IACnB,GAAG,EAAE,MAAM,CAAC;CACb;AAKD;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAoB5D;AAaD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,MAAM,GACjB,QAAQ,EAAE,CA8BZ;AASD;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,GACX,aAAa,GAAG,MAAM,CAiDxB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,MAAM,GACjB,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAkB5B;AAED;2BAC2B;AAC3B,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,QAAQ,EAClB,UAAU,EAAE,MAAM,GACjB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAYrB"}
|
|
@@ -0,0 +1,239 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// Delegation resolution (INV-10) — the language's attribute-resolution
|
|
4
|
+
// algorithm for the subject chain (TODO.roadmap/03, doctrine ch. 3.4).
|
|
5
|
+
//
|
|
6
|
+
// THE DELEGATION RESOLUTION SPEC
|
|
7
|
+
//
|
|
8
|
+
// Instances of the subject chain link upward: sample → model → (group →)
|
|
9
|
+
// family. Resolving an attribute for an instance walks that chain:
|
|
10
|
+
//
|
|
11
|
+
// resolve(instance, attr):
|
|
12
|
+
// if attr is sample-scoped: return instance.test_context[attr]
|
|
13
|
+
// # never inherited
|
|
14
|
+
// if attr has value on instance: return instance.attributes[attr]
|
|
15
|
+
// walk upward (model, then group, then family):
|
|
16
|
+
// first level that sets attr wins
|
|
17
|
+
// else: undefined → InstanceResolutionError
|
|
18
|
+
// (closed under reference)
|
|
19
|
+
//
|
|
20
|
+
// Three laws:
|
|
21
|
+
// 1. UPWARD RESOLUTION — a value not set locally resolves to the nearest
|
|
22
|
+
// enclosing level that sets it.
|
|
23
|
+
// 2. LOWER OVERRIDE — a value set at a lower level shadows the inherited
|
|
24
|
+
// one (deliberate, visible in the data; the linter's instance-scope
|
|
25
|
+
// rule allows stating a value at its declared scope or lower).
|
|
26
|
+
// 3. NEVER COPIED DOWN — values live at one level only; resolution READS
|
|
27
|
+
// through the chain, it never materializes inherited values onto
|
|
28
|
+
// lower levels.
|
|
29
|
+
//
|
|
30
|
+
// Scope discipline (declared on each attribute_definition):
|
|
31
|
+
// - sample-scope (test-dependent) values live ONLY in the starting
|
|
32
|
+
// instance's has.testContext and are NEVER inherited — resolution
|
|
33
|
+
// never consults another level for them, and never consults
|
|
34
|
+
// test_context for other scopes;
|
|
35
|
+
// - classification values (has.dimensions) resolve upward the same way,
|
|
36
|
+
// but samples carry no classification — the walk skips sample nodes.
|
|
37
|
+
//
|
|
38
|
+
// The path vocabulary mirrors the app's bind paths:
|
|
39
|
+
// parameters.<attr> test_context.<attr> classification.<dim>
|
|
40
|
+
// with an optional level prefix (model.parameters.e_max). The prefix is
|
|
41
|
+
// VALIDATED (it must name a chain level) and then IGNORED: the answer is
|
|
42
|
+
// always delegated from the anchor instance upward. That equals a
|
|
43
|
+
// level-anchored read only when no lower override exists — anchored at
|
|
44
|
+
// the sample, `family.parameters.p_lc` still returns the model's
|
|
45
|
+
// overriding value when the model restates p_lc (lower-override law),
|
|
46
|
+
// not the family's own. Level-anchored reads (the app's
|
|
47
|
+
// `model.parameters.*` bind form, "the model level's effective value")
|
|
48
|
+
// are a separate vocabulary consumed by the app, not by this resolver.
|
|
49
|
+
//
|
|
50
|
+
// Undefined is NEVER returned silently: an unresolvable path throws an
|
|
51
|
+
// InstanceResolutionError (kind 'undefined-value').
|
|
52
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
53
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
54
|
+
exports.InstanceResolutionError = void 0;
|
|
55
|
+
exports.parseInstancePath = parseInstancePath;
|
|
56
|
+
exports.instanceChain = instanceChain;
|
|
57
|
+
exports.resolveInstanceValue = resolveInstanceValue;
|
|
58
|
+
exports.resolveInstanceAttributes = resolveInstanceAttributes;
|
|
59
|
+
exports.resolveInstanceClassification = resolveInstanceClassification;
|
|
60
|
+
/** Typed resolution failure — resolution is closed under reference, so an
|
|
61
|
+
* unresolvable value is an error, never a silent `undefined`. */
|
|
62
|
+
class InstanceResolutionError extends Error {
|
|
63
|
+
kind;
|
|
64
|
+
constructor(kind, message) {
|
|
65
|
+
super(message);
|
|
66
|
+
this.name = 'InstanceResolutionError';
|
|
67
|
+
this.kind = kind;
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
exports.InstanceResolutionError = InstanceResolutionError;
|
|
71
|
+
const CHAIN_LEVELS = new Set(['family', 'group', 'model', 'sample']);
|
|
72
|
+
const AREAS = new Set(['parameters', 'classification', 'test_context']);
|
|
73
|
+
/**
|
|
74
|
+
* Parse `parameters.<attr>` / `<level>.parameters.<attr>` path forms. The
|
|
75
|
+
* level prefix is validated (it must name a chain level) and returned for
|
|
76
|
+
* information only — resolution IGNORES it: the answer is delegated from
|
|
77
|
+
* the anchor instance upward (module header), which may differ from a
|
|
78
|
+
* level-anchored read when a lower override exists. The app's
|
|
79
|
+
* level-anchored `model.parameters.*` bind form is a separate vocabulary
|
|
80
|
+
* consumed by the app, not by this resolver.
|
|
81
|
+
*/
|
|
82
|
+
function parseInstancePath(path) {
|
|
83
|
+
const parts = path.split('.');
|
|
84
|
+
let level = '';
|
|
85
|
+
if (parts.length === 3) {
|
|
86
|
+
level = parts[0];
|
|
87
|
+
if (!CHAIN_LEVELS.has(level)) {
|
|
88
|
+
throw new InstanceResolutionError('bad-path', `resolve: path "${path}" — unknown level "${level}" (family | group | model | sample)`);
|
|
89
|
+
}
|
|
90
|
+
parts.shift();
|
|
91
|
+
}
|
|
92
|
+
if (parts.length !== 2 || !AREAS.has(parts[0]) || !parts[1]) {
|
|
93
|
+
throw new InstanceResolutionError('bad-path', `resolve: path "${path}" — expected [level.]{parameters|classification|test_context}.<key>`);
|
|
94
|
+
}
|
|
95
|
+
return { level, area: parts[0], key: parts[1] };
|
|
96
|
+
}
|
|
97
|
+
function findInstance(standard, id) {
|
|
98
|
+
return (standard.instances ?? []).find(i => i.id === id);
|
|
99
|
+
}
|
|
100
|
+
function attributeScope(standard, attrId) {
|
|
101
|
+
return ((standard.attributeDefinitions ?? []).find(a => a.id === attrId)?.scope ??
|
|
102
|
+
'');
|
|
103
|
+
}
|
|
104
|
+
/**
|
|
105
|
+
* The upward walk from one instance: [start, …, family]. At each node the
|
|
106
|
+
* next link is `model ?? group ?? family` (a sample links only its model;
|
|
107
|
+
* a model links its group, or its family when the Recommendation has no
|
|
108
|
+
* group level). A dangling link ENDS the walk leniently (the linter's
|
|
109
|
+
* chain-acyclic rule reports it; app-side resolution behaves the same when
|
|
110
|
+
* a chain entity is absent). A cycle throws — the linter reports it
|
|
111
|
+
* statically, but the resolver never loops.
|
|
112
|
+
*/
|
|
113
|
+
function instanceChain(standard, instanceId) {
|
|
114
|
+
const start = findInstance(standard, instanceId);
|
|
115
|
+
if (!start) {
|
|
116
|
+
throw new InstanceResolutionError('unknown-instance', `resolve: unknown instance "${instanceId}"`);
|
|
117
|
+
}
|
|
118
|
+
const chain = [start];
|
|
119
|
+
const visited = new Set([start.id]);
|
|
120
|
+
let current = start;
|
|
121
|
+
for (;;) {
|
|
122
|
+
const nextId = current.model || current.group || current.family;
|
|
123
|
+
if (!nextId) {
|
|
124
|
+
return chain;
|
|
125
|
+
}
|
|
126
|
+
if (visited.has(nextId)) {
|
|
127
|
+
throw new InstanceResolutionError('chain-cycle', `resolve: subject chain cycle ${[...chain.map(i => i.id), nextId].join(' → ')}`);
|
|
128
|
+
}
|
|
129
|
+
const next = findInstance(standard, nextId);
|
|
130
|
+
if (!next) {
|
|
131
|
+
return chain;
|
|
132
|
+
}
|
|
133
|
+
visited.add(nextId);
|
|
134
|
+
chain.push(next);
|
|
135
|
+
current = next;
|
|
136
|
+
}
|
|
137
|
+
}
|
|
138
|
+
function undefinedValue(instanceId, path, why) {
|
|
139
|
+
throw new InstanceResolutionError('undefined-value', `resolve: "${path}" is undefined for instance "${instanceId}" — ${why}`);
|
|
140
|
+
}
|
|
141
|
+
/**
|
|
142
|
+
* Resolve one value for an instance per the delegation spec above.
|
|
143
|
+
* Parameters and test_context resolve to InstanceValue (QuantityValue:
|
|
144
|
+
* value + optional unit); classification resolves to the dimension value
|
|
145
|
+
* id (a string). A level prefix on the path is validated then ignored:
|
|
146
|
+
* the answer is delegated from `instanceId` (the anchor) upward, so it
|
|
147
|
+
* reflects any lower override between the anchor and the named level.
|
|
148
|
+
*/
|
|
149
|
+
function resolveInstanceValue(standard, instanceId, path) {
|
|
150
|
+
const { area, key } = parseInstancePath(path);
|
|
151
|
+
const chain = instanceChain(standard, instanceId);
|
|
152
|
+
const start = chain[0];
|
|
153
|
+
if (area === 'test_context') {
|
|
154
|
+
// The test plane: only the starting instance's own test_context,
|
|
155
|
+
// regardless of scope — never inherited.
|
|
156
|
+
const v = start.has.testContext[key];
|
|
157
|
+
if (v === undefined) {
|
|
158
|
+
undefinedValue(instanceId, path, 'test_context is never inherited');
|
|
159
|
+
}
|
|
160
|
+
return v;
|
|
161
|
+
}
|
|
162
|
+
if (area === 'parameters') {
|
|
163
|
+
if (attributeScope(standard, key) === 'sample') {
|
|
164
|
+
// Sample-scope: only the starting instance's test_context. The walk
|
|
165
|
+
// NEVER consults an enclosing level for a test-dependent value.
|
|
166
|
+
const v = start.has.testContext[key];
|
|
167
|
+
if (v === undefined) {
|
|
168
|
+
undefinedValue(instanceId, path, `attribute "${key}" is sample-scoped — its value lives only in the sample's test_context (never inherited)`);
|
|
169
|
+
}
|
|
170
|
+
return v;
|
|
171
|
+
}
|
|
172
|
+
for (const node of chain) {
|
|
173
|
+
const v = node.has.attributes[key];
|
|
174
|
+
if (v !== undefined) {
|
|
175
|
+
return v;
|
|
176
|
+
}
|
|
177
|
+
}
|
|
178
|
+
undefinedValue(instanceId, path, 'no level of the subject chain sets it');
|
|
179
|
+
}
|
|
180
|
+
// classification — upward over dimensions; samples carry no classification.
|
|
181
|
+
for (const node of chain) {
|
|
182
|
+
if (node.level === 'sample') {
|
|
183
|
+
continue;
|
|
184
|
+
}
|
|
185
|
+
const v = node.has.dimensions[key];
|
|
186
|
+
if (v !== undefined) {
|
|
187
|
+
return v;
|
|
188
|
+
}
|
|
189
|
+
}
|
|
190
|
+
undefinedValue(instanceId, path, 'no level of the subject chain sets it');
|
|
191
|
+
}
|
|
192
|
+
/**
|
|
193
|
+
* The full effective attribute layer for one instance — every resolvable
|
|
194
|
+
* parameter value, lower levels overriding (family first, the starting
|
|
195
|
+
* instance last). Sample-scope attributes are included ONLY from the
|
|
196
|
+
* starting instance's test_context (never inherited); the test_context
|
|
197
|
+
* overlay applies last (it is the plane tests write into) and is
|
|
198
|
+
* scope-consistent with the single-value rule: test_context answers ONLY
|
|
199
|
+
* sample-scope attributes, so a non-sample-scope key stated there (out of
|
|
200
|
+
* discipline — C17 reports it) does NOT shadow the delegated chain value
|
|
201
|
+
* the single-value resolver would return. This is the primmel-side
|
|
202
|
+
* counterpart of the app's INV-10 delegation merge
|
|
203
|
+
* (browser/src/services/test-run.service.ts resolveAttributeValues).
|
|
204
|
+
*/
|
|
205
|
+
function resolveInstanceAttributes(standard, instanceId) {
|
|
206
|
+
const chain = instanceChain(standard, instanceId);
|
|
207
|
+
const out = new Map();
|
|
208
|
+
for (const node of [...chain].reverse()) {
|
|
209
|
+
for (const [k, v] of Object.entries(node.has.attributes)) {
|
|
210
|
+
if (attributeScope(standard, k) === 'sample') {
|
|
211
|
+
continue; // never inherited
|
|
212
|
+
}
|
|
213
|
+
out.set(k, v);
|
|
214
|
+
}
|
|
215
|
+
}
|
|
216
|
+
for (const [k, v] of Object.entries(chain[0].has.testContext)) {
|
|
217
|
+
if (attributeScope(standard, k) !== 'sample') {
|
|
218
|
+
continue; // test_context answers only sample-scope attributes
|
|
219
|
+
}
|
|
220
|
+
out.set(k, v);
|
|
221
|
+
}
|
|
222
|
+
return out;
|
|
223
|
+
}
|
|
224
|
+
/** The full effective classification layer (family → group → model merge;
|
|
225
|
+
* samples carry none). */
|
|
226
|
+
function resolveInstanceClassification(standard, instanceId) {
|
|
227
|
+
const chain = instanceChain(standard, instanceId);
|
|
228
|
+
const out = new Map();
|
|
229
|
+
for (const node of [...chain].reverse()) {
|
|
230
|
+
if (node.level === 'sample') {
|
|
231
|
+
continue;
|
|
232
|
+
}
|
|
233
|
+
for (const [k, v] of Object.entries(node.has.dimensions)) {
|
|
234
|
+
out.set(k, v);
|
|
235
|
+
}
|
|
236
|
+
}
|
|
237
|
+
return out;
|
|
238
|
+
}
|
|
239
|
+
//# sourceMappingURL=instance-resolution.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"instance-resolution.js","sourceRoot":"","sources":["../../src/instance-resolution.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,EAAE;AACF,iCAAiC;AACjC,EAAE;AACF,yEAAyE;AACzE,mEAAmE;AACnE,EAAE;AACF,6BAA6B;AAC7B,0EAA0E;AAC1E,+EAA+E;AAC/E,wEAAwE;AACxE,oDAAoD;AACpD,wCAAwC;AACxC,2EAA2E;AAC3E,gEAAgE;AAChE,EAAE;AACF,cAAc;AACd,2EAA2E;AAC3E,qCAAqC;AACrC,2EAA2E;AAC3E,yEAAyE;AACzE,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,qBAAqB;AACrB,EAAE;AACF,4DAA4D;AAC5D,qEAAqE;AACrE,sEAAsE;AACtE,gEAAgE;AAChE,qCAAqC;AACrC,0EAA0E;AAC1E,yEAAyE;AACzE,EAAE;AACF,oDAAoD;AACpD,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,kEAAkE;AAClE,uEAAuE;AACvE,iEAAiE;AACjE,sEAAsE;AACtE,wDAAwD;AACxD,uEAAuE;AACvE,uEAAuE;AACvE,EAAE;AACF,uEAAuE;AACvE,oDAAoD;AACpD,wEAAwE;;;AA8CxE,8CAoBC;AAsBD,sCAiCC;AAiBD,oDAqDC;AAeD,8DAqBC;AAID,sEAeC;AA9OD;kEACkE;AAClE,MAAa,uBAAwB,SAAQ,KAAK;IACvC,IAAI,CAAsB;IAEnC,YAAY,IAAyB,EAAE,OAAe;QACpD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AARD,0DAQC;AAgBD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AACrE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhF;;;;;;;;GAQG;AACH,SAAgB,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,uBAAuB,CAC/B,UAAU,EACV,kBAAkB,IAAI,sBAAsB,KAAK,qCAAqC,CACvF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,KAAK,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,uBAAuB,CAC/B,UAAU,EACV,kBAAkB,IAAI,qEAAqE,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAiB,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,QAAkB,EAAE,EAAU;IAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB,EAAE,MAAc;IACxD,OAAO,CACL,CAAC,QAAQ,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,KAAK;QACvE,EAAE,CACH,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAC3B,QAAkB,EAClB,UAAkB;IAElB,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,uBAAuB,CAC/B,kBAAkB,EAClB,8BAA8B,UAAU,GAAG,CAC5C,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAe,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,uBAAuB,CAC/B,aAAa,EACb,gCAAgC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAChF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB,EAAE,IAAY,EAAE,GAAW;IACnE,MAAM,IAAI,uBAAuB,CAC/B,iBAAiB,EACjB,aAAa,IAAI,gCAAgC,UAAU,OAAO,GAAG,EAAE,CACxE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,oBAAoB,CAClC,QAAkB,EAClB,UAAkB,EAClB,IAAY;IAEZ,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEvB,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,cAAc,CAAC,UAAU,EAAE,IAAI,EAAE,iCAAiC,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,IAAI,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC/C,oEAAoE;YACpE,gEAAgE;YAChE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,cAAc,CACZ,UAAU,EACV,IAAI,EACJ,cAAc,GAAG,0FAA0F,CAC5G,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,OAAO,CAAC,CAAC;YACX,CAAC;QACH,CAAC;QACD,cAAc,CAAC,UAAU,EAAE,IAAI,EAAE,uCAAuC,CAAC,CAAC;IAC5E,CAAC;IAED,4EAA4E;IAC5E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,cAAc,CAAC,UAAU,EAAE,IAAI,EAAE,uCAAuC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,yBAAyB,CACvC,QAAkB,EAClB,UAAkB;IAElB,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC7C,SAAS,CAAC,kBAAkB;YAC9B,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9D,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC7C,SAAS,CAAC,oDAAoD;QAChE,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;2BAC2B;AAC3B,SAAgB,6BAA6B,CAC3C,QAAkB,EAClB,UAAkB;IAElB,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -0,0 +1,220 @@
|
|
|
1
|
+
import type Standard from './types/Standard';
|
|
2
|
+
import type MapProfile from './types/MapProfile';
|
|
3
|
+
import type { CoverageLevel } from './types/MapProfile';
|
|
4
|
+
import type ViewProfile from './types/ViewProfile';
|
|
5
|
+
import type { PrmFile } from './ser-des/prm';
|
|
6
|
+
export type { CoverageLevel } from './types/MapProfile';
|
|
7
|
+
/** A normalized mapping pair, lifted out of its serialization. */
|
|
8
|
+
export interface MappingRecord {
|
|
9
|
+
/** Source component id — local to the source (implementation) model. */
|
|
10
|
+
source: string;
|
|
11
|
+
/** Source model id (package manifest id or the supplied modelId). */
|
|
12
|
+
sourceModel: string;
|
|
13
|
+
/** Target component, ALWAYS in qualified `Namespace#ElementID` form. */
|
|
14
|
+
target: string;
|
|
15
|
+
/** Target (reference) namespace — the map_profile/mapSet key. */
|
|
16
|
+
targetModel: string;
|
|
17
|
+
description: string;
|
|
18
|
+
justification: string;
|
|
19
|
+
/** Authored coverage assertion ('' = none) — input to C23. */
|
|
20
|
+
assertedCoverage: CoverageLevel | '';
|
|
21
|
+
}
|
|
22
|
+
/** A `Namespace#ElementID` reference, split and normalized. */
|
|
23
|
+
export interface TargetRef {
|
|
24
|
+
namespace: string;
|
|
25
|
+
id: string;
|
|
26
|
+
qualified: string;
|
|
27
|
+
}
|
|
28
|
+
/**
|
|
29
|
+
* Split a mapping target into namespace + element id. A bare id is
|
|
30
|
+
* scoped by the profile/mapSet namespace it was authored under (the v2
|
|
31
|
+
* spelling); a `Namespace#ElementID` carries its namespace explicitly.
|
|
32
|
+
*/
|
|
33
|
+
export declare function parseTargetRef(raw: string, defaultNs: string): TargetRef;
|
|
34
|
+
/** Lift one map profile's pairs into normalized mapping records. */
|
|
35
|
+
export declare function mappingsFromProfile(profile: MapProfile, sourceModel: string): MappingRecord[];
|
|
36
|
+
/**
|
|
37
|
+
* Collect every mapping record a model declares — its in-model map
|
|
38
|
+
* profiles plus any standalone .prm files passed alongside.
|
|
39
|
+
*/
|
|
40
|
+
export declare function collectMappings(standard: Standard, options?: {
|
|
41
|
+
modelId?: string;
|
|
42
|
+
prm?: PrmFile | PrmFile[];
|
|
43
|
+
}): MappingRecord[];
|
|
44
|
+
/** One node of a reference model's process tree. */
|
|
45
|
+
export interface ProcessTreeNode {
|
|
46
|
+
id: string;
|
|
47
|
+
/** 'all' = every child required; 'gateway' = at least one branch. */
|
|
48
|
+
composition: 'all' | 'gateway';
|
|
49
|
+
children: ProcessTreeNode[];
|
|
50
|
+
}
|
|
51
|
+
/**
|
|
52
|
+
* Build the process forest of a model from the declared parent/children
|
|
53
|
+
* links (nested process declarations). Roots are processes with no
|
|
54
|
+
* parent inside the (possibly prefix-filtered) set; dangling child links
|
|
55
|
+
* are skipped. `idPrefix` selects an alias forest — e.g. the local
|
|
56
|
+
* `StdS#…` copies an implementation model declares for its mapping
|
|
57
|
+
* targets (the Namespace#ElementID aliasing pattern); the prefix is
|
|
58
|
+
* STRIPPED from the node ids so an alias `StdS#Process5` stands in for
|
|
59
|
+
* the reference element `Process5`.
|
|
60
|
+
*/
|
|
61
|
+
export declare function buildProcessTree(standard: Standard, options?: {
|
|
62
|
+
idPrefix?: string;
|
|
63
|
+
}): ProcessTreeNode[];
|
|
64
|
+
/** Per-component coverage row of a coverage report. */
|
|
65
|
+
export interface ComponentCoverage {
|
|
66
|
+
id: string;
|
|
67
|
+
coverage: CoverageLevel;
|
|
68
|
+
directlyMapped: boolean;
|
|
69
|
+
/** Implementation sources mapped directly to this component. */
|
|
70
|
+
mappedBy: string[];
|
|
71
|
+
/** Nearest mapped ancestor when the cover is inherited (else null). */
|
|
72
|
+
inheritedFrom: string | null;
|
|
73
|
+
}
|
|
74
|
+
/** A discovery proposal — always flagged, never asserted. */
|
|
75
|
+
export interface DiscoveryProposal {
|
|
76
|
+
kind: 'transitive' | 'inherited' | 'closure';
|
|
77
|
+
sourceModel: string;
|
|
78
|
+
source: string;
|
|
79
|
+
targetModel: string;
|
|
80
|
+
target: string;
|
|
81
|
+
/** The chain/children that justify the proposal. */
|
|
82
|
+
via: string[];
|
|
83
|
+
rationale: string;
|
|
84
|
+
/** Discovery never asserts: a human confirms with justification. */
|
|
85
|
+
asserted: false;
|
|
86
|
+
}
|
|
87
|
+
/** Coverage level tallies over a report's components. */
|
|
88
|
+
export interface CoverageSummary {
|
|
89
|
+
full: number;
|
|
90
|
+
minimal: number;
|
|
91
|
+
partial: number;
|
|
92
|
+
none: number;
|
|
93
|
+
}
|
|
94
|
+
/**
|
|
95
|
+
* A mapping pair whose target id is absent from the reference tree.
|
|
96
|
+
* Dangling pairs are reported explicitly — never silently dropped — and
|
|
97
|
+
* do NOT count their source as mapped.
|
|
98
|
+
*/
|
|
99
|
+
export interface UnresolvedMapping {
|
|
100
|
+
source: string;
|
|
101
|
+
/** The authored target, in qualified `Namespace#ElementID` form. */
|
|
102
|
+
target: string;
|
|
103
|
+
}
|
|
104
|
+
/** The per-reference-package coverage report (concept doc §5.3, §5.6 c). */
|
|
105
|
+
export interface CoverageReport {
|
|
106
|
+
implementation: string;
|
|
107
|
+
reference: string;
|
|
108
|
+
targetNamespace: string;
|
|
109
|
+
/** Every reference component, in tree (DFS pre-order) order. */
|
|
110
|
+
components: ComponentCoverage[];
|
|
111
|
+
/**
|
|
112
|
+
* Implementation processes with no RESOLVING mapping into this target
|
|
113
|
+
* — a source whose mappings all dangle is not "mapped". Alias rows
|
|
114
|
+
* (the C21 `Namespace#…` local copies — never mapping SOURCES, so
|
|
115
|
+
* always unmapped) are included by default; the
|
|
116
|
+
* `unmappedAliases: 'exclude'` option drops them (TODO.v2/13 item 6).
|
|
117
|
+
*/
|
|
118
|
+
unmappedImplementation: string[];
|
|
119
|
+
/** Mapping pairs whose target doesn't resolve against the reference tree. */
|
|
120
|
+
unresolvedMappings: UnresolvedMapping[];
|
|
121
|
+
/** Inherited + closure proposals (flagged, never asserted). */
|
|
122
|
+
proposals: DiscoveryProposal[];
|
|
123
|
+
summary: CoverageSummary;
|
|
124
|
+
}
|
|
125
|
+
/** computeCoverage's options bag. */
|
|
126
|
+
export interface ComputeCoverageOptions {
|
|
127
|
+
implementationId?: string;
|
|
128
|
+
referenceId?: string;
|
|
129
|
+
/**
|
|
130
|
+
* Whether the C21 alias rows (`<ns>#…` ids — the implementation's
|
|
131
|
+
* declared local copies of reference elements) appear in
|
|
132
|
+
* `unmappedImplementation`. Aliases are never mapping sources, so they
|
|
133
|
+
* ALWAYS list as unmapped — noise in an uncovered-elements list (the
|
|
134
|
+
* VL-3 review: the lens pages filtered them with a footnote). The
|
|
135
|
+
* default 'include' keeps the honest full picture (an alias IS an
|
|
136
|
+
* implementation declaration with no mapping); 'exclude' opts the
|
|
137
|
+
* computation into the domain-only list the pages display, retiring
|
|
138
|
+
* the display-side filter (TODO.v2/13 item 6).
|
|
139
|
+
*/
|
|
140
|
+
unmappedAliases?: 'include' | 'exclude';
|
|
141
|
+
}
|
|
142
|
+
/**
|
|
143
|
+
* Compute the coverage of one reference model by one implementation
|
|
144
|
+
* model for ONE target namespace (multi-target mappings are computed
|
|
145
|
+
* per target — mapSet namespaces stay independent, concept doc §5.6 c).
|
|
146
|
+
*
|
|
147
|
+
* `reference` is either the loaded reference Standard or a prebuilt
|
|
148
|
+
* process forest (buildProcessTree — e.g. an alias forest lifted out of
|
|
149
|
+
* the implementation model for the linter's C23).
|
|
150
|
+
*/
|
|
151
|
+
export declare function computeCoverage(implementation: Standard, reference: Standard | ProcessTreeNode[], mappings: MappingRecord[], targetNamespace: string, options?: ComputeCoverageOptions): CoverageReport;
|
|
152
|
+
/** One model's contribution to a cross-model discovery run. */
|
|
153
|
+
export interface ModelMappings {
|
|
154
|
+
modelId: string;
|
|
155
|
+
mappings: MappingRecord[];
|
|
156
|
+
}
|
|
157
|
+
/**
|
|
158
|
+
* Process-level transitivity across a chain of models: A ⇒ B (in
|
|
159
|
+
* model M→R1) and B ⇒ C (in model R1→R2) ⊢ propose A ⇒ C (slide 16).
|
|
160
|
+
*
|
|
161
|
+
* MODEL-LEVEL NON-TRANSITIVITY is enforced structurally (slide 15): two
|
|
162
|
+
* mappings chain ONLY when they share the exact same component — the
|
|
163
|
+
* first hop's target must equal the second hop's source in the middle
|
|
164
|
+
* model's namespace. Two mappings with no common component carry no
|
|
165
|
+
* logical information and yield NO proposal.
|
|
166
|
+
*/
|
|
167
|
+
export declare function discoverTransitive(models: ModelMappings[]): DiscoveryProposal[];
|
|
168
|
+
/** One edge of the model-level repo map. */
|
|
169
|
+
export interface RepoMapEdge {
|
|
170
|
+
from: string;
|
|
171
|
+
to: string;
|
|
172
|
+
/** Number of declared mapping pairs across this link. */
|
|
173
|
+
pairs: number;
|
|
174
|
+
}
|
|
175
|
+
/**
|
|
176
|
+
* The model-level repo map: which models map to which. DECLARED links
|
|
177
|
+
* only — no transitive closure is computed at model level, because
|
|
178
|
+
* model-level transitivity does not hold in general (slide 14/15): a
|
|
179
|
+
* link aaa ⇒ bbb and a link bbb ⇒ ccc say nothing about aaa ⇒ ccc.
|
|
180
|
+
*/
|
|
181
|
+
export declare function repoMap(models: ModelMappings[]): RepoMapEdge[];
|
|
182
|
+
/**
|
|
183
|
+
* A view projection (concept doc §5.6 d): the model read THROUGH a lens —
|
|
184
|
+
* the selected elements plus, when the view names a reference
|
|
185
|
+
* (`against`), the coverage filtered to what the lens shows. Views are
|
|
186
|
+
* READ-ONLY: the projection is a fresh, deeply frozen object; applying a
|
|
187
|
+
* view never adds, removes, or edits the underlying model or its
|
|
188
|
+
* mappings (linter rule C26).
|
|
189
|
+
*/
|
|
190
|
+
export interface ViewProjection {
|
|
191
|
+
id: string;
|
|
192
|
+
/** The reference namespace the view is read against ('' = none). */
|
|
193
|
+
against: string;
|
|
194
|
+
/** The element ids visible through the lens (empty whitelist = all). */
|
|
195
|
+
elements: string[];
|
|
196
|
+
/** The coverage report filtered to the lens (null when not supplied). */
|
|
197
|
+
coverage: CoverageReport | null;
|
|
198
|
+
}
|
|
199
|
+
/**
|
|
200
|
+
* Apply a view profile to a model (+ optionally its coverage report
|
|
201
|
+
* against the view's reference). Returns a FROZEN projection; the inputs
|
|
202
|
+
* are never mutated.
|
|
203
|
+
*/
|
|
204
|
+
export declare function applyView(standard: Standard, view: ViewProfile, coverage?: CoverageReport | null): ViewProjection;
|
|
205
|
+
/**
|
|
206
|
+
* The ids a mapping (or view) may legally name: every typed component of
|
|
207
|
+
* the model. Mappings attach at process granularity by default, but any
|
|
208
|
+
* typed component can be mapped — a registry, an approval, a provision,
|
|
209
|
+
* a conformance test (concept doc §5.2).
|
|
210
|
+
*
|
|
211
|
+
* TODO.roadmap/36 (doctrine ch. 15): a product reference model maps its
|
|
212
|
+
* conformance-relevant ASPECTS — "our E_max is your E_max; our creep
|
|
213
|
+
* characteristic answers your creep requirement" — so the subject
|
|
214
|
+
* anatomy members are mapping endpoints too: design parameters,
|
|
215
|
+
* exhibited attributes, characteristics, referenced behaviors, endpoint
|
|
216
|
+
* ids, and the block-form promise ids (an unmapped promise is a
|
|
217
|
+
* brochure claim — C82 product-unmapped-promises).
|
|
218
|
+
*/
|
|
219
|
+
export declare function componentIds(standard: Standard): Set<string>;
|
|
220
|
+
//# sourceMappingURL=mapping-coverage.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mapping-coverage.d.ts","sourceRoot":"","sources":["../../src/mapping-coverage.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,UAAU,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAIxD,kEAAkE;AAClE,MAAM,WAAW,aAAa;IAC5B,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,WAAW,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,gBAAgB,EAAE,aAAa,GAAG,EAAE,CAAC;CACtC;AAED,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,CAQxE;AAED,oEAAoE;AACpE,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,UAAU,EACnB,WAAW,EAAE,MAAM,GAClB,aAAa,EAAE,CAgBjB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,QAAQ,EAClB,OAAO,GAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAAA;CAAO,GAC5D,aAAa,EAAE,CAgBjB;AAID,oDAAoD;AACpD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,qEAAqE;IACrE,WAAW,EAAE,KAAK,GAAG,SAAS,CAAC;IAC/B,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,QAAQ,EAClB,OAAO,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAClC,eAAe,EAAE,CAwBnB;AAID,uDAAuD;AACvD,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,aAAa,CAAC;IACxB,cAAc,EAAE,OAAO,CAAC;IACxB,gEAAgE;IAChE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,uEAAuE;IACvE,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,6DAA6D;AAC7D,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,QAAQ,EAAE,KAAK,CAAC;CACjB;AAED,yDAAyD;AACzD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,4EAA4E;AAC5E,MAAM,WAAW,cAAc;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,gEAAgE;IAChE,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC;;;;;;OAMG;IACH,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,6EAA6E;IAC7E,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,+DAA+D;IAC/D,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,OAAO,EAAE,eAAe,CAAC;CAC1B;AAED,qCAAqC;AACrC,MAAM,WAAW,sBAAsB;IACrC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;CACzC;AAyBD;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,cAAc,EAAE,QAAQ,EACxB,SAAS,EAAE,QAAQ,GAAG,eAAe,EAAE,EACvC,QAAQ,EAAE,aAAa,EAAE,EACzB,eAAe,EAAE,MAAM,EACvB,OAAO,GAAE,sBAA2B,GACnC,cAAc,CAsMhB;AAID,+DAA+D;AAC/D,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EAAE,GACtB,iBAAiB,EAAE,CAqCrB;AAED,4CAA4C;AAC5C,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,WAAW,EAAE,CAe9D;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,oEAAoE;IACpE,OAAO,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,yEAAyE;IACzE,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;CACjC;AAYD;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,WAAW,EACjB,QAAQ,GAAE,cAAc,GAAG,IAAW,GACrC,cAAc,CA8ChB;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CA8C5D"}
|