@primmel/primmel 1.1.0 → 1.2.1

package/dist/src/validate.js

@@ -0,0 +1,154 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────
+// Validation types + post-parse validation pass.
+//
+// Two issue surfaces:
+//   - Parse-time (caught during parse): duplicate IDs, unknown keywords
+//     in strict mode. Collected on ctx.issues by parse.ts.
+//   - Post-parse (caught after resolution): dangling refs, missing
+//     required fields, type mismatches. Caught by validate() here.
+//
+// ValidationIssue is the shared shape; `position` is optional because
+// parse-time issues always have it (we know the source location) but
+// post-parse issues may not (resolved objects don't carry positions).
+//
+// Checks are registered in `VALIDATORS`. Adding a new post-parse
+// check is one entry in that array — mirrors the defineConstruct
+// pattern in ser-des/config/index.ts.
+// ─────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.VALIDATORS = void 0;
+exports.validate = validate;
+/**
+ * Validate a parsed Standard. Returns issues; empty array means clean.
+ * Iterates every registered Validator.
+ */
+function validate(standard) {
+    const issues = [];
+    for (const v of exports.VALIDATORS) {
+        issues.push(...v.check(standard));
+    }
+    return issues;
+}
+// ── Registered validators ────────────────────────────────────────────
+// Add a new post-parse check by appending one entry to this array.
+exports.VALIDATORS = [
+    { name: 'empty-ids', check: checkEmptyIds },
+    { name: 'form-references', check: checkFormReferences },
+    { name: 'state-machine-cascades', check: checkStateMachineCascades },
+];
+// ── Check implementations ────────────────────────────────────────────
+/**
+ * Reports empty or whitespace-only IDs on any Standard array whose
+ * elements expose `.id`. Iterates generically so adding a construct
+ * type does not require editing this check.
+ */
+function checkEmptyIds(standard) {
+    const issues = [];
+    for (const [field, items] of iterIdArrays(standard)) {
+        for (const item of items) {
+            if (!item.id || item.id.trim() === '') {
+                issues.push({
+                    severity: 'error',
+                    code: 'empty-id',
+                    construct: field,
+                    message: `${field} has an empty id — every ${field} must declare a non-empty id`,
+                });
+            }
+        }
+    }
+    return issues;
+}
+function checkFormReferences(standard) {
+    const issues = [];
+    const calcIds = new Set(standard.calculations.map(c => c.id));
+    const procIds = new Set(standard.processes.map(p => p.id));
+    const subformIds = new Set(standard.subforms.map(s => s.id));
+    for (const form of standard.forms) {
+        if (form.conformanceProcessId && !procIds.has(form.conformanceProcessId)) {
+            issues.push({
+                severity: 'error',
+                code: 'form-conformance-process-missing',
+                construct: 'form',
+                message: `Form "${form.id}" references conformance process "${form.conformanceProcessId}" which does not exist`,
+                id: form.id,
+            });
+        }
+        for (const field of iterFields(form)) {
+            if (field.calculationId && !calcIds.has(field.calculationId)) {
+                issues.push({
+                    severity: 'error',
+                    code: 'form-calculation-missing',
+                    construct: 'form',
+                    message: `Form "${form.id}" field "${field.name}" references calculation "${field.calculationId}" which does not exist`,
+                    id: form.id,
+                });
+            }
+            if (field.subformRef && !subformIds.has(field.subformRef.subformId)) {
+                issues.push({
+                    severity: 'error',
+                    code: 'form-subform-missing',
+                    construct: 'form',
+                    message: `Form "${form.id}" field "${field.name}" references subform "${field.subformRef.subformId}" which does not exist`,
+                    id: form.id,
+                });
+            }
+        }
+    }
+    return issues;
+}
+function checkStateMachineCascades(standard) {
+    const issues = [];
+    for (const sm of standard.stateMachines) {
+        const stateNames = new Set(sm.states.map(s => s.name));
+        // `*` is the conventional wildcard for "any state" — always valid.
+        stateNames.add('*');
+        for (const tr of sm.transitions) {
+            if (tr.from && !stateNames.has(tr.from)) {
+                issues.push({
+                    severity: 'warning',
+                    code: 'state-machine-from-missing',
+                    construct: 'state_machine',
+                    message: `State machine "${sm.entityName}" transition from "${tr.from}" is not in declared states`,
+                    id: sm.entityName,
+                });
+            }
+            if (tr.to && !stateNames.has(tr.to)) {
+                issues.push({
+                    severity: 'warning',
+                    code: 'state-machine-to-missing',
+                    construct: 'state_machine',
+                    message: `State machine "${sm.entityName}" transition to "${tr.to}" is not in declared states`,
+                    id: sm.entityName,
+                });
+            }
+        }
+    }
+    return issues;
+}
+// ── Helpers ──────────────────────────────────────────────────────────
+/**
+ * Yield (construct-name, array) pairs for every Standard array whose
+ * elements expose an `id`. Used by checkEmptyIds to walk every
+ * identifiable construct type without hardcoding the list.
+ */
+function* iterIdArrays(standard) {
+    for (const [field, value] of Object.entries(standard)) {
+        if (Array.isArray(value) &&
+            value.length > 0 &&
+            typeof value[0]?.id === 'string') {
+            yield [field, value];
+        }
+    }
+}
+function* iterFields(form) {
+    const stack = [...form.fields];
+    while (stack.length > 0) {
+        const field = stack.pop();
+        yield field;
+        if (field.fields && field.fields.length > 0) {
+            stack.push(...field.fields);
+        }
+    }
+}
+//# sourceMappingURL=validate.js.map

package/dist/src/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,iDAAiD;AACjD,EAAE;AACF,sBAAsB;AACtB,wEAAwE;AACxE,2DAA2D;AAC3D,mEAAmE;AACnE,mEAAmE;AACnE,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,sEAAsE;AACtE,EAAE;AACF,iEAAiE;AACjE,iEAAiE;AACjE,sCAAsC;AACtC,wEAAwE;;;AAwCxE,4BAMC;AAVD;;;GAGG;AACH,SAAgB,QAAQ,CAAC,QAAkB;IACzC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,kBAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wEAAwE;AACxE,mEAAmE;AAEtD,QAAA,UAAU,GAAgB;IACrC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE;IAC3C,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,mBAAmB,EAAE;IACvD,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,yBAAyB,EAAE;CACrE,CAAC;AAEF,wEAAwE;AAExE;;;;GAIG;AACH,SAAS,aAAa,CAAC,QAAkB;IACvC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE,KAAK;oBAChB,OAAO,EAAE,GAAG,KAAK,4BAA4B,KAAK,8BAA8B;iBACjF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAkB;IAC7C,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE7D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,oBAAoB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC;YACzE,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,kCAAkC;gBACxC,SAAS,EAAE,MAAM;gBACjB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,qCAAqC,IAAI,CAAC,oBAAoB,wBAAwB;gBAC/G,EAAE,EAAE,IAAI,CAAC,EAAE;aACZ,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7D,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,0BAA0B;oBAChC,SAAS,EAAE,MAAM;oBACjB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,YAAY,KAAK,CAAC,IAAI,6BAA6B,KAAK,CAAC,aAAa,wBAAwB;oBACvH,EAAE,EAAE,IAAI,CAAC,EAAE;iBACZ,CAAC,CAAC;YACL,CAAC;YACD,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpE,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,sBAAsB;oBAC5B,SAAS,EAAE,MAAM;oBACjB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,YAAY,KAAK,CAAC,IAAI,yBAAyB,KAAK,CAAC,UAAU,CAAC,SAAS,wBAAwB;oBAC1H,EAAE,EAAE,IAAI,CAAC,EAAE;iBACZ,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAAC,QAAkB;IACnD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,mEAAmE;QACnE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,4BAA4B;oBAClC,SAAS,EAAE,eAAe;oBAC1B,OAAO,EAAE,kBAAkB,EAAE,CAAC,UAAU,sBAAsB,EAAE,CAAC,IAAI,6BAA6B;oBAClG,EAAE,EAAE,EAAE,CAAC,UAAU;iBAClB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,0BAA0B;oBAChC,SAAS,EAAE,eAAe;oBAC1B,OAAO,EAAE,kBAAkB,EAAE,CAAC,UAAU,oBAAoB,EAAE,CAAC,EAAE,6BAA6B;oBAC9F,EAAE,EAAE,EAAE,CAAC,UAAU;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wEAAwE;AAExE;;;;GAIG;AACH,QAAQ,CAAC,CAAC,YAAY,CACpB,QAAkB;IAElB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtD,IACE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACpB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,QAAQ,EAChC,CAAC;YACD,MAAM,CAAC,KAAK,EAAE,KAA8B,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;AACH,CAAC;AAED,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAU;IAC7B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC3B,MAAM,KAAK,CAAC;QACZ,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@primmel/primmel",
-  "version": "1.1.0",
+  "version": "1.2.1",
   "description": "Primmel — parser, types, and serializer for the Primmel modelling language (successor to MMEL)",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",