@lionweb/validation 0.7.0 → 0.7.1

package/dist/validators/LionWebLanguageValidator.js

@@ -0,0 +1,67 @@
+import { isEqualMetaPointer } from "@lionweb/json";
+import { isLionWebM3Language, JsonContext, LionWebJsonChunkWrapper, MetaPointers } from "@lionweb/json-utils";
+import { asMinimalJsonString } from "@lionweb/ts-utils";
+import { GenericIssue } from "../issues/index.js";
+import { MissingM3Language_Issue } from "../issues/LanguageIssues.js";
+import { isConcept } from "../languages/index.js";
+/**
+ * Validates whether a chunk is a valid language definition
+ */
+export class LionWebLanguageValidator {
+    // availableLanguages: LionWebLanguageDefinition[] = []
+    constructor(validationResult, registry) {
+        this.registry = registry;
+        this.validationResult = validationResult;
+        this.chunkWrapper = undefined;
+    }
+    /**
+     * Check whether the metamodel is a Language.
+     * Assumption is that _chunk_ is already validated as a correct :LionWebJsonChunk
+     * @param chunk
+     */
+    validateLanguage(chunk) {
+        this.chunkWrapper = new LionWebJsonChunkWrapper(chunk);
+        const usedM3Language = chunk.languages.find(lang => isLionWebM3Language(lang));
+        if (usedM3Language === undefined) {
+            this.validationResult.issue(new MissingM3Language_Issue(new JsonContext(null, ["languages"])));
+        }
+        const languageNodes = this.chunkWrapper.findNodesOfClassifier(MetaPointers.Language);
+        if (languageNodes.length !== 1) {
+            // TODO Better error handling.
+            console.error("Error: xpected exactly one Language node, found " + languageNodes.length + " => " + asMinimalJsonString(languageNodes));
+        }
+        chunk.nodes.forEach((node, index) => {
+            if (!isConcept(node)) {
+                this.validationResult.issue(new GenericIssue(new JsonContext(null, ["nodes", index]), `node ${node.id} is not a concept`));
+            }
+            else {
+                this.validateConcept(node);
+            }
+        });
+    }
+    validateConcept(node) {
+        node.properties.forEach(prop => {
+            const properties = this.chunkWrapper?.findNodesOfClassifier(MetaPointers.Property);
+            const matchedProperty = properties?.find(p => isEqualMetaPointer(p.classifier, prop.property));
+            // DUMMY
+            return matchedProperty !== undefined;
+        });
+    }
+    validateNode(node) {
+        const classifier = this.registry.getNodeByMetaPointer(node.classifier);
+        if (classifier === undefined) {
+            this.validationResult.issue(new GenericIssue(new JsonContext(null, ["nodes"]), `Classifier ${node.classifier.key} not found for node ${node.id}`));
+            return;
+        }
+        this.validateProperties(node, classifier);
+    }
+    validateProperties(node, classifier) {
+        node.properties.forEach(actualProp => {
+            const propClassifier = this.registry.getNodeByMetaPointer(actualProp.property);
+            if (propClassifier === undefined) {
+                this.validationResult.issue(new GenericIssue(new JsonContext(null, ["nodes", "properties"]), `Property ${actualProp.property.key} not found for classifier ${classifier.id}`));
+            }
+        });
+    }
+}
+//# sourceMappingURL=LionWebLanguageValidator.js.map

package/dist/validators/LionWebLanguageValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebLanguageValidator.js","sourceRoot":"","sources":["../../src/validators/LionWebLanguageValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAqC,MAAM,eAAe,CAAA;AACrF,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAC7G,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAA;AACrE,OAAO,EAAE,SAAS,EAAoB,MAAM,uBAAuB,CAAA;AAGnE;;GAEG;AACH,MAAM,OAAO,wBAAwB;IAGjC,uDAAuD;IAEvD,YAAY,gBAAkC,EAAU,QAA0B;QAA1B,aAAQ,GAAR,QAAQ,CAAkB;QAC9E,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAA;QACxC,IAAI,CAAC,YAAY,GAAG,SAAS,CAAA;IACjC,CAAC;IAED;;;;OAIG;IACH,gBAAgB,CAAC,KAAuB;QACpC,IAAI,CAAC,YAAY,GAAG,IAAI,uBAAuB,CAAC,KAAK,CAAC,CAAA;QACtD,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAA;QAC9E,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,uBAAuB,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;QAClG,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;QACpF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,8BAA8B;YAC9B,OAAO,CAAC,KAAK,CAAC,kDAAkD,GAAG,aAAa,CAAC,MAAM,GAAG,MAAM,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAA;QAC1I,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAChC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAA;YAC9H,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAC9B,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAED,eAAe,CAAC,IAAqB;QACjC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,qBAAqB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;YAClF,MAAM,eAAe,GAAG,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;YAC9F,QAAQ;YACR,OAAO,eAAe,KAAK,SAAS,CAAA;QACxC,CAAC,CAAC,CAAA;IACN,CAAC;IAED,YAAY,CAAC,IAAqB;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACtE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CACvB,IAAI,YAAY,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,cAAc,IAAI,CAAC,UAAU,CAAC,GAAG,uBAAuB,IAAI,CAAC,EAAE,EAAE,CAAC,CACxH,CAAA;YACD,OAAM;QACV,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC7C,CAAC;IAED,kBAAkB,CAAC,IAAqB,EAAE,UAA2B;QACjE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;YACjC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;YAC9E,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBAC/B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CACvB,IAAI,YAAY,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,EAC3D,YAAY,UAAU,CAAC,QAAQ,CAAC,GAAG,6BAA6B,UAAU,CAAC,EAAE,EAAE,CAAC,CACvF,CAAA;YACL,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;CACJ"}

package/dist/validators/LionWebReferenceValidator.d.ts

@@ -0,0 +1,43 @@
+import { LionWebJsonChunk, LionWebJsonMetaPointer, LionWebJsonNode, LionWebJsonUsedLanguage } from "@lionweb/json";
+import { JsonContext, LionWebJsonChunkWrapper } from "@lionweb/json-utils";
+import { ValidationResult } from "./generic/ValidationResult.js";
+/**
+ * Assuming that the syntax is correct, check whether all LionWeb references are correct,
+ * as far as they do not need the used language definition.
+ */
+export declare class LionWebReferenceValidator {
+    validationResult: ValidationResult;
+    nodesIdMap: Map<string, LionWebJsonNode>;
+    constructor(validationResult: ValidationResult);
+    validateNodeIds(obj: LionWebJsonChunk, ctx: JsonContext): void;
+    validate(obj: LionWebJsonChunkWrapper): void;
+    /**
+     * Check whether the metapointer refers to a language defined in the usedLanguages of chunk.
+     * @param chunk
+     * @param metaPointer
+     * @param context
+     */
+    validateLanguageReference(chunk: LionWebJsonChunkWrapper, metaPointer: LionWebJsonMetaPointer, context: JsonContext): void;
+    /**
+     * Check whether there are duplicate values in `strings`.
+     * @param strings
+     * @param context
+     */
+    checkDuplicate(strings: string[], context: JsonContext): void;
+    /**
+     * Checks whether there are duplicate usedLanguages in `usedLanguages`.
+     * usedLanguages are considered equal when bith their `key` and `version` are identical.
+     * @param usedLanguages
+     * @param context
+     */
+    checkDuplicateUsedLanguage(usedLanguages: LionWebJsonUsedLanguage[], context: JsonContext): void;
+    /**
+     * Checks whether the parent of node recursively points to `node` itself.
+     * @param node    The noide being checked
+     * @param context The location in the JSON
+     */
+    checkParentCircular(node: LionWebJsonNode, context: JsonContext): void;
+    validateExistsAsChild(context: JsonContext, parent: LionWebJsonNode | undefined, child: LionWebJsonNode): void;
+    validateChildrenHaveCorrectParent(node: LionWebJsonNode, context: JsonContext): void;
+}
+//# sourceMappingURL=LionWebReferenceValidator.d.ts.map

package/dist/validators/LionWebReferenceValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebReferenceValidator.d.ts","sourceRoot":"","sources":["../../src/validators/LionWebReferenceValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,gBAAgB,EAA0B,sBAAsB,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAA;AACrJ,OAAO,EAAc,WAAW,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAStF,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAEhE;;;GAGG;AACH,qBAAa,yBAAyB;IAClC,gBAAgB,EAAE,gBAAgB,CAAA;IAClC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAqC;gBAEjE,gBAAgB,EAAE,gBAAgB;IAI9C,eAAe,CAAC,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,GAAG,IAAI;IAW9D,QAAQ,CAAC,GAAG,EAAE,uBAAuB,GAAG,IAAI;IAqD5C;;;;;OAKG;IACH,yBAAyB,CAAC,KAAK,EAAE,uBAAuB,EAAE,WAAW,EAAE,sBAAsB,EAAE,OAAO,EAAE,WAAW;IAWnH;;;;OAIG;IACH,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,WAAW;IActD;;;;;OAKG;IACH,0BAA0B,CAAC,aAAa,EAAE,uBAAuB,EAAE,EAAE,OAAO,EAAE,WAAW;IAiBzF;;;;OAIG;IACH,mBAAmB,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,WAAW;IAsB/D,qBAAqB,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,eAAe,GAAG,SAAS,EAAE,KAAK,EAAE,eAAe;IAevG,iCAAiC,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,WAAW;CAmChF"}

package/dist/validators/LionWebReferenceValidator.js

@@ -0,0 +1,203 @@
+import { ChunkUtils, JsonContext } from "@lionweb/json-utils";
+import { Duplicates_Issue, Reference_ChildMissingInParent_Issue, Reference_CirculairParent_Issue, Reference_DuplicateNodeId_Issue, Reference_LanguageUnknown_Issue, Reference_ParentMissingInChild_Issue } from "../issues/ReferenceIssues.js";
+/**
+ * Assuming that the syntax is correct, check whether all LionWeb references are correct,
+ * as far as they do not need the used language definition.
+ */
+export class LionWebReferenceValidator {
+    constructor(validationResult) {
+        this.nodesIdMap = new Map();
+        this.validationResult = validationResult;
+    }
+    validateNodeIds(obj, ctx) {
+        // put all nodes in a map, validate that there are no two nodes with the same id.
+        obj.nodes.forEach((node, index) => {
+            // this.validationResult.check(this.nodesIdMap.get(node.id) === undefined, `Node number ${index} has duplicate id "${node.id}"`);
+            if (!(this.nodesIdMap.get(node.id) === undefined)) {
+                this.validationResult.issue(new Reference_DuplicateNodeId_Issue(ctx.concat("nodes", index), node.id));
+            }
+            this.nodesIdMap.set(node.id, node);
+        });
+    }
+    validate(obj) {
+        const rootCtx = new JsonContext(null, ["$"]);
+        this.checkDuplicateUsedLanguage(obj.jsonChunk.languages, rootCtx);
+        this.validateNodeIds(obj.jsonChunk, rootCtx);
+        obj.jsonChunk.nodes.forEach((node, nodeIndex) => {
+            const context = rootCtx.concat(`node`, nodeIndex);
+            const parentNode = node.parent;
+            if (parentNode !== null) {
+                this.validateExistsAsChild(context, this.nodesIdMap.get(parentNode), node);
+            }
+            this.validateLanguageReference(obj, node.classifier, context);
+            this.checkParentCircular(node, context);
+            this.checkDuplicate(node.annotations, rootCtx.concat("node", nodeIndex, "annotations"));
+            this.validateChildrenHaveCorrectParent(node, rootCtx.concat("node", nodeIndex));
+            node.properties.forEach((prop, propertyIndex) => {
+                this.validateLanguageReference(obj, prop.property, rootCtx.concat("node", nodeIndex, "property", propertyIndex));
+            });
+            node.containments.forEach((containment, childIndex) => {
+                this.validateLanguageReference(obj, containment.containment, rootCtx.concat("node", nodeIndex, "containments", childIndex));
+                this.checkDuplicate(containment.children, rootCtx.concat("node", nodeIndex, "containments", childIndex));
+                containment.children.forEach(childId => {
+                    const childNode = this.nodesIdMap.get(childId);
+                    if (childNode !== undefined) {
+                        if (childNode.parent !== null && childNode.parent !== undefined && childNode.parent !== node.id) {
+                            this.validationResult.issue(new Reference_ParentMissingInChild_Issue(context, node, childNode));
+                            // TODO this.validationResult.error(`Child "${childId}" with parent "${childNode.parent}" is defined as child in node "${node.id}"`);
+                        }
+                        if (childNode.parent === null || childNode.parent === undefined) {
+                            // TODO this.validationResult.error(`Child "${childId}" of node "${node.id}" has different parent "${childNode.parent}"`);
+                        }
+                    }
+                });
+            });
+            node.annotations.forEach(annotationId => {
+                const annotation = this.nodesIdMap.get(annotationId);
+                if (annotation !== undefined) {
+                    if (annotation.parent !== null && annotation.parent !== undefined && annotation.parent !== node.id) {
+                        this.validationResult.issue(new Reference_ParentMissingInChild_Issue(context, node, annotation));
+                        // TODO this.validationResult.error(`Child "${annotationId}" with parent "${childNode.parent}" is defined as child in node "${node.id}"`);
+                    }
+                    if (annotation.parent === null || annotation.parent === undefined) {
+                        // TODO this.validationResult.error(`Child "${annotationId}" of node "${node.id}" has different parent "${childNode.parent}"`);
+                    }
+                }
+            });
+            node.references.forEach((ref, refIndex) => {
+                this.validateLanguageReference(obj, ref.reference, rootCtx.concat("node", nodeIndex, "references", refIndex));
+                // TODO Check for duplicate targets?
+                // If so, what to check because there can be either or both a `resolveInfo` and a `reference`
+            });
+        });
+    }
+    /**
+     * Check whether the metapointer refers to a language defined in the usedLanguages of chunk.
+     * @param chunk
+     * @param metaPointer
+     * @param context
+     */
+    validateLanguageReference(chunk, metaPointer, context) {
+        const lang = ChunkUtils.findLwUsedLanguageWithVersion(chunk.jsonChunk, metaPointer.language, metaPointer.version);
+        if (lang === undefined || lang === null) {
+            this.validationResult.issue(new Reference_LanguageUnknown_Issue(context, metaPointer));
+        }
+        else {
+            if (lang.version !== metaPointer.version) {
+                this.validationResult.issue(new Reference_LanguageUnknown_Issue(context, metaPointer));
+            }
+        }
+    }
+    /**
+     * Check whether there are duplicate values in `strings`.
+     * @param strings
+     * @param context
+     */
+    checkDuplicate(strings, context) {
+        if (strings === null || strings === undefined) {
+            return;
+        }
+        const alreadySeen = {};
+        strings.forEach(str => {
+            if (alreadySeen[str]) {
+                this.validationResult.issue(new Duplicates_Issue(context, str));
+            }
+            else {
+                alreadySeen[str] = true;
+            }
+        });
+    }
+    /**
+     * Checks whether there are duplicate usedLanguages in `usedLanguages`.
+     * usedLanguages are considered equal when bith their `key` and `version` are identical.
+     * @param usedLanguages
+     * @param context
+     */
+    checkDuplicateUsedLanguage(usedLanguages, context) {
+        if (usedLanguages === null || usedLanguages === undefined) {
+            return;
+        }
+        const alreadySeen = new Map();
+        usedLanguages.forEach((usedLanguage, index) => {
+            const seenKeys = alreadySeen.get(usedLanguage.key);
+            if (seenKeys !== null && seenKeys !== undefined) {
+                if (seenKeys.includes(usedLanguage.version)) {
+                    this.validationResult.issue(new Duplicates_Issue(context.concat("language", index, "version"), usedLanguage.version));
+                }
+            }
+            else {
+                alreadySeen.set(usedLanguage.key, [usedLanguage.version]);
+            }
+        });
+    }
+    /**
+     * Checks whether the parent of node recursively points to `node` itself.
+     * @param node    The noide being checked
+     * @param context The location in the JSON
+     */
+    checkParentCircular(node, context) {
+        if (node === null || node === undefined) {
+            return;
+        }
+        if (node.parent === null || node.parent === undefined) {
+            return;
+        }
+        let current = node;
+        const seenParents = [node.id];
+        while (current !== null && current !== undefined && current.parent !== null && current.parent !== undefined) {
+            const nextParent = current.parent;
+            if (nextParent !== null && nextParent !== undefined && seenParents.includes(nextParent)) {
+                this.validationResult.issue(new Reference_CirculairParent_Issue(context.concat("???"), this.nodesIdMap.get(nextParent), seenParents));
+                return;
+            }
+            seenParents.push(nextParent);
+            current = this.nodesIdMap.get(nextParent);
+        }
+    }
+    validateExistsAsChild(context, parent, child) {
+        if (parent === undefined || parent === null) {
+            return;
+        }
+        for (const containment of parent.containments) {
+            if (containment.children.includes(child.id)) {
+                return;
+            }
+        }
+        if (parent.annotations.includes(child.id)) {
+            return;
+        }
+        this.validationResult.issue(new Reference_ChildMissingInParent_Issue(context, child, parent));
+    }
+    validateChildrenHaveCorrectParent(node, context) {
+        node.containments.forEach((child) => {
+            child.children.forEach((childId, index) => {
+                const childNode = this.nodesIdMap.get(childId);
+                if (childNode !== undefined) {
+                    if (childNode.parent !== node.id) {
+                        // TODO Check that this is already tested from the child in vaidateExistsAsChild().
+                    }
+                    if (childNode.parent === null || childNode.parent === undefined) {
+                        this.validationResult.issue(new Reference_ParentMissingInChild_Issue(context.concat("child", "containment", "key", index), node, childNode));
+                    }
+                }
+            });
+        });
+        node.annotations.forEach((annotationId, annotationIndex) => {
+            const childNode = this.nodesIdMap.get(annotationId);
+            if (childNode !== undefined) {
+                if (childNode.parent === null || childNode.parent === undefined) {
+                    this.validationResult.issue(new Reference_ParentMissingInChild_Issue(context.concat("annotations", annotationIndex), node, childNode));
+                }
+            }
+        });
+        // for (const childId of NodeUtils.allChildren(node)) {
+        //     const childNode = this.nodesIdMap.get(childId);
+        //     if (childNode !== undefined) {
+        //         if (childNode.parent !== node.id) {
+        //             this.validationResult.error(`QQ Parent of child "${childId}" is "${childNode.parent}", but should be "${node.id}" in ${context}`);
+        //         }
+        //     }
+        // }
+    }
+}
+//# sourceMappingURL=LionWebReferenceValidator.js.map

package/dist/validators/LionWebReferenceValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebReferenceValidator.js","sourceRoot":"","sources":["../../src/validators/LionWebReferenceValidator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,WAAW,EAA2B,MAAM,qBAAqB,CAAA;AACtF,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,+BAA+B,EAC/B,+BAA+B,EAC/B,+BAA+B,EAC/B,oCAAoC,EACvC,MAAM,8BAA8B,CAAA;AAGrC;;;GAGG;AACH,MAAM,OAAO,yBAAyB;IAIlC,YAAY,gBAAkC;QAF9C,eAAU,GAAiC,IAAI,GAAG,EAA2B,CAAA;QAGzE,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAA;IAC5C,CAAC;IAED,eAAe,CAAC,GAAqB,EAAE,GAAgB;QACnD,iFAAiF;QACjF,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC9B,iIAAiI;YACjI,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;gBAChD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;YACzG,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACtC,CAAC,CAAC,CAAA;IACN,CAAC;IAED,QAAQ,CAAC,GAA4B;QACjC,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;QAC5C,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QACjE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QAC5C,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YACjD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAA;YAC9B,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACtB,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAA;YAC9E,CAAC;YACD,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;YAC7D,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YACvC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAA;YACvF,IAAI,CAAC,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;YAC/E,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,EAAE;gBAC5C,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC,CAAA;YACpH,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE;gBAClD,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAA;gBAC3H,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAA;gBACxG,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;oBACnC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;oBAC9C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;wBAC1B,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;4BAC9F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAA;4BAC/F,qIAAqI;wBACzI,CAAC;wBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;4BAC9D,0HAA0H;wBAC9H,CAAC;oBACL,CAAC;gBACL,CAAC,CAAC,CAAA;YACN,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;gBACpC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;gBACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC3B,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;wBACjG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAA;wBAChG,0IAA0I;oBAC9I,CAAC;oBACD,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAChE,+HAA+H;oBACnI,CAAC;gBACL,CAAC;YACL,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;gBACtC,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAA;gBAC7G,oCAAoC;gBACpC,6FAA6F;YACjG,CAAC,CAAC,CAAA;QACN,CAAC,CAAC,CAAA;IACN,CAAC;IAED;;;;;OAKG;IACH,yBAAyB,CAAC,KAA8B,EAAE,WAAmC,EAAE,OAAoB;QAC/G,MAAM,IAAI,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,CAAA;QACjH,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACtC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;QAC1F,CAAC;aAAM,CAAC;YACJ,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO,EAAE,CAAC;gBACvC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;YAC1F,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,OAAiB,EAAE,OAAoB;QAClD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5C,OAAM;QACV,CAAC;QACD,MAAM,WAAW,GAA4B,EAAE,CAAA;QAC/C,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YAClB,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAA;YACnE,CAAC;iBAAM,CAAC;gBACJ,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;YAC3B,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAED;;;;;OAKG;IACH,0BAA0B,CAAC,aAAwC,EAAE,OAAoB;QACrF,IAAI,aAAa,KAAK,IAAI,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YACxD,OAAM;QACV,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC/C,aAAa,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;YAClD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC9C,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;gBACzH,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;YAC7D,CAAC;QACL,CAAC,CAAC,CAAA;IACN,CAAC;IAED;;;;OAIG;IACH,mBAAmB,CAAC,IAAqB,EAAE,OAAoB;QAC3D,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,OAAM;QACV,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACpD,OAAM;QACV,CAAC;QACD,IAAI,OAAO,GAAgC,IAAI,CAAA;QAC/C,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAC7B,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1G,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAA;YACjC,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,IAAI,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtF,IAAI,CAAC,gBAAgB,CAAC,KAAK,CACvB,IAAI,+BAA+B,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAC3G,CAAA;gBACD,OAAM;YACV,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC5B,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,CAAC;IACL,CAAC;IAED,qBAAqB,CAAC,OAAoB,EAAE,MAAmC,EAAE,KAAsB;QACnG,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAC1C,OAAM;QACV,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YAC5C,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1C,OAAM;YACV,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACxC,OAAM;QACV,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IACjG,CAAC;IAED,iCAAiC,CAAC,IAAqB,EAAE,OAAoB;QACzE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAA6B,EAAE,EAAE;YACxD,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAkB,EAAE,KAAa,EAAE,EAAE;gBACzD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC9C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC1B,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;wBAC/B,mFAAmF;oBACvF,CAAC;oBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC9D,IAAI,CAAC,gBAAgB,CAAC,KAAK,CACvB,IAAI,oCAAoC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAClH,CAAA;oBACL,CAAC;gBACL,CAAC;YACL,CAAC,CAAC,CAAA;QACN,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,YAAuB,EAAE,eAAuB,EAAE,EAAE;YAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;YACnD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC9D,IAAI,CAAC,gBAAgB,CAAC,KAAK,CACvB,IAAI,oCAAoC,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAC5G,CAAA;gBACL,CAAC;YACL,CAAC;QACL,CAAC,CAAC,CAAA;QACF,uDAAuD;QACvD,sDAAsD;QACtD,qCAAqC;QACrC,8CAA8C;QAC9C,iJAAiJ;QACjJ,YAAY;QACZ,QAAQ;QACR,IAAI;IACR,CAAC;CACJ"}

package/dist/validators/LionWebSyntaxValidator.d.ts

@@ -0,0 +1,9 @@
+import { SyntaxValidator } from "./generic/SyntaxValidator.js";
+import { ValidationResult } from "./generic/ValidationResult.js";
+/**
+ * LionWebSyntaxValidator can check whether objects are structurally LionWeb objects.
+ */
+export declare class LionWebSyntaxValidator extends SyntaxValidator {
+    constructor(validationResult: ValidationResult);
+}
+//# sourceMappingURL=LionWebSyntaxValidator.d.ts.map

package/dist/validators/LionWebSyntaxValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebSyntaxValidator.d.ts","sourceRoot":"","sources":["../../src/validators/LionWebSyntaxValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAGhE;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,eAAe;gBAE3C,gBAAgB,EAAE,gBAAgB;CAGjD"}

package/dist/validators/LionWebSyntaxValidator.js

@@ -0,0 +1,11 @@
+import { SyntaxValidator } from "./generic/SyntaxValidator.js";
+import { LionWebSchema } from "./LionWebChunkDefinitions.js";
+/**
+ * LionWebSyntaxValidator can check whether objects are structurally LionWeb objects.
+ */
+export class LionWebSyntaxValidator extends SyntaxValidator {
+    constructor(validationResult) {
+        super(validationResult, LionWebSchema);
+    }
+}
+//# sourceMappingURL=LionWebSyntaxValidator.js.map

package/dist/validators/LionWebSyntaxValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebSyntaxValidator.js","sourceRoot":"","sources":["../../src/validators/LionWebSyntaxValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAE9D,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAE5D;;GAEG;AACH,MAAM,OAAO,sBAAuB,SAAQ,eAAe;IAEvD,YAAY,gBAAkC;QAC1C,KAAK,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAA;IAC1C,CAAC;CACJ"}

package/dist/validators/LionWebValidator.d.ts

@@ -0,0 +1,24 @@
+import { LanguageRegistry } from "../languages/index.js";
+import { ValidationResult } from "./generic/ValidationResult.js";
+import { LionWebReferenceValidator } from "./LionWebReferenceValidator.js";
+import { LionWebSyntaxValidator } from "./LionWebSyntaxValidator.js";
+/**
+ * Combined validator that calls all available validators.
+ * Will stop when one validator fails.
+ */
+export declare class LionWebValidator {
+    private registry;
+    object: unknown;
+    chunk: unknown;
+    validationResult: ValidationResult;
+    syntaxValidator: LionWebSyntaxValidator;
+    referenceValidator: LionWebReferenceValidator;
+    syntaxCorrect: boolean;
+    referencesCorrect: boolean;
+    constructor(json: unknown, registry: LanguageRegistry);
+    validateAll(): void;
+    validateSyntax(): void;
+    validateReferences(): void;
+    validateForLanguage(): void;
+}
+//# sourceMappingURL=LionWebValidator.d.ts.map

package/dist/validators/LionWebValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebValidator.d.ts","sourceRoot":"","sources":["../../src/validators/LionWebValidator.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAEhE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAA;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAA;AAEpE;;;GAGG;AACH,qBAAa,gBAAgB;IAUE,OAAO,CAAC,QAAQ;IAT3C,MAAM,EAAE,OAAO,CAAA;IAEf,KAAK,EAAE,OAAO,CAAA;IACd,gBAAgB,EAAE,gBAAgB,CAAA;IAClC,eAAe,EAAE,sBAAsB,CAAA;IACvC,kBAAkB,EAAE,yBAAyB,CAAA;IAC7C,aAAa,EAAE,OAAO,CAAQ;IAC9B,iBAAiB,EAAE,OAAO,CAAQ;gBAEtB,IAAI,EAAE,OAAO,EAAU,QAAQ,EAAE,gBAAgB;IAO7D,WAAW;IAMX,cAAc;IAQd,kBAAkB,IAAI,IAAI;IAU1B,mBAAmB,IAAI,IAAI;CAiB9B"}

package/dist/validators/LionWebValidator.js

@@ -0,0 +1,55 @@
+import { LionWebJsonChunkWrapper } from "@lionweb/json-utils";
+import { ValidationResult } from "./generic/ValidationResult.js";
+import { LionWebLanguageReferenceValidator } from "./LionWebLanguageReferenceValidator.js";
+import { LionWebReferenceValidator } from "./LionWebReferenceValidator.js";
+import { LionWebSyntaxValidator } from "./LionWebSyntaxValidator.js";
+/**
+ * Combined validator that calls all available validators.
+ * Will stop when one validator fails.
+ */
+export class LionWebValidator {
+    constructor(json, registry) {
+        this.registry = registry;
+        this.syntaxCorrect = false;
+        this.referencesCorrect = false;
+        this.object = json;
+        this.validationResult = new ValidationResult();
+        this.syntaxValidator = new LionWebSyntaxValidator(this.validationResult);
+        this.referenceValidator = new LionWebReferenceValidator(this.validationResult);
+    }
+    validateAll() {
+        this.validateSyntax();
+        this.validateReferences();
+        this.validateForLanguage();
+    }
+    validateSyntax() {
+        this.syntaxValidator.validate(this.object, "LionWebJsonChunk");
+        this.syntaxCorrect = !this.validationResult.hasErrors();
+        if (this.syntaxCorrect) {
+            this.chunk = new LionWebJsonChunkWrapper(this.object);
+        }
+    }
+    validateReferences() {
+        if (!this.syntaxCorrect) {
+            // console.log("validateReferences not executed because there are syntax errors.")
+            return;
+        }
+        // when syntax is correct we know the chunk is actually a chunk!
+        this.referenceValidator.validate(this.chunk);
+        this.referencesCorrect = !this.validationResult.hasErrors();
+    }
+    validateForLanguage() {
+        if (!this.syntaxCorrect) {
+            // console.log("validateForLanguage not executed because there are syntax errors.")
+            return;
+        }
+        if (!this.referencesCorrect) {
+            // console.log("validateForLanguage not executed because there are reference errors.")
+            return;
+        }
+        const languageReferenceValidator = new LionWebLanguageReferenceValidator(this.validationResult, this.registry);
+        // when syntax is correct we know the chunk is actually a chunk!
+        languageReferenceValidator.validate(this.chunk);
+    }
+}
+//# sourceMappingURL=LionWebValidator.js.map

package/dist/validators/LionWebValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebValidator.js","sourceRoot":"","sources":["../../src/validators/LionWebValidator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAChE,OAAO,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAA;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAA;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAA;AAEpE;;;GAGG;AACH,MAAM,OAAO,gBAAgB;IAUzB,YAAY,IAAa,EAAU,QAA0B;QAA1B,aAAQ,GAAR,QAAQ,CAAkB;QAH7D,kBAAa,GAAY,KAAK,CAAA;QAC9B,sBAAiB,GAAY,KAAK,CAAA;QAG9B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;QAClB,IAAI,CAAC,gBAAgB,GAAG,IAAI,gBAAgB,EAAE,CAAA;QAC9C,IAAI,CAAC,eAAe,GAAG,IAAI,sBAAsB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;QACxE,IAAI,CAAC,kBAAkB,GAAG,IAAI,yBAAyB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAClF,CAAC;IAED,WAAW;QACP,IAAI,CAAC,cAAc,EAAE,CAAA;QACrB,IAAI,CAAC,kBAAkB,EAAE,CAAA;QACzB,IAAI,CAAC,mBAAmB,EAAE,CAAA;IAC9B,CAAC;IAED,cAAc;QACV,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAC9D,IAAI,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAA;QACvD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,GAAG,IAAI,uBAAuB,CAAC,IAAI,CAAC,MAA0B,CAAC,CAAA;QAC7E,CAAC;IACL,CAAC;IAED,kBAAkB;QACd,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACtB,kFAAkF;YAClF,OAAM;QACV,CAAC;QACD,gEAAgE;QAChE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAA;QACvE,IAAI,CAAC,iBAAiB,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAA;IAC/D,CAAC;IAED,mBAAmB;QACf,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACtB,mFAAmF;YACnF,OAAM;QACV,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC1B,sFAAsF;YACtF,OAAM;QACV,CAAC;QACD,MAAM,0BAA0B,GAAG,IAAI,iCAAiC,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC9G,gEAAgE;QAChE,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAA;IAC9E,CAAC;CAKJ"}

package/dist/validators/ValidationFunctions.d.ts

@@ -0,0 +1,60 @@
+/**
+ * A list of functions that are used to validate primitive fields for LionWeb conformance.
+ * Used in the LionWebSyntaxValidator.
+ */
+import { JsonContext } from "@lionweb/json-utils";
+import { ValidationResult } from "./generic/ValidationResult.js";
+import { PropertyDefinition } from "./generic/schema/ValidationTypes.js";
+/**
+ * Check whether `id` is a valid LionWeb id.
+ * @param value     The `value` to be checked.
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The context for the error message in errors.
+ */
+export declare function validateId<String>(value: String, result: ValidationResult, context: JsonContext): void;
+/**
+ * Check whether `key` is a valid LionWeb key.
+ * @param value     The `key` to be checked.
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The context for the error message in errors.
+ */
+export declare function validateKey<String>(value: String, result: ValidationResult, context: JsonContext): void;
+/**
+ * Check whether `version` is a valid LionWeb version.
+ * @param value     The version to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ */
+export declare function validateVersion<String>(value: String, result: ValidationResult, context: JsonContext): void;
+/**
+ * Check whether the string `value` represents a LionWeb boolean, its value should be "true" or "false".
+ * @param value     The value to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ * @param propDef   The PropertyDefinition for this value
+ */
+export declare function validateBoolean<String>(value: String, result: ValidationResult, context: JsonContext, propDef?: PropertyDefinition): void;
+/**
+ * Check whether the string `value` represents a LionWeb integer
+ * @param value     The value to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ * @param propDef   The PropertyDefinition for this value
+ */
+export declare function validateInteger<String>(value: String, result: ValidationResult, context: JsonContext, propDef?: PropertyDefinition): void;
+/**
+ * Check whether the string `value` represents a LionWeb Json.
+ * @param value     The value to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ * @param propDef   The PropertyDefinition for this value
+ */
+export declare function validateJSON<String>(value: String, result: ValidationResult, context: JsonContext, propDef?: PropertyDefinition): void;
+/**
+ * Check whether the string `value` is a correct LionWeb serializationFormatVersion.
+ * @param value
+ * @param result
+ * @param context
+ */
+export declare function validateSerializationFormatVersion<String>(value: String, result: ValidationResult, context: JsonContext): void;
+//# sourceMappingURL=ValidationFunctions.d.ts.map

package/dist/validators/ValidationFunctions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidationFunctions.d.ts","sourceRoot":"","sources":["../../src/validators/ValidationFunctions.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAUjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AAExE;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAMtG;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAMvG;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAK3G;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAYzI;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAMzI;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAUtI;AAED;;;;;GAKG;AACH,wBAAgB,kCAAkC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAS9H"}

package/dist/validators/ValidationFunctions.js

@@ -0,0 +1,104 @@
+import { asMinimalJsonString } from "@lionweb/ts-utils";
+import { Language_PropertyValue_Issue } from "../issues/LanguageIssues.js";
+import { Syntax_IdFormat_Issue, Syntax_KeyFormat_Issue, Syntax_PropertyNullIssue, Syntax_SerializationFormatVersion_Issue, Syntax_VersionFormat_Issue } from "../issues/SyntaxIssues.js";
+/**
+ * Check whether `id` is a valid LionWeb id.
+ * @param value     The `value` to be checked.
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The context for the error message in errors.
+ */
+export function validateId(value, result, context) {
+    const idString = "" + value;
+    const regexp = /^[a-zA-Z0-9_-][a-zA-Z0-9_-]*$/;
+    if (!regexp.test(idString)) {
+        result.issue(new Syntax_IdFormat_Issue(context, idString));
+    }
+}
+/**
+ * Check whether `key` is a valid LionWeb key.
+ * @param value     The `key` to be checked.
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The context for the error message in errors.
+ */
+export function validateKey(value, result, context) {
+    const keyString = "" + value;
+    const regexp = /^[a-zA-Z0-9_-][a-zA-Z0-9_-]*$/;
+    if (!regexp.test(keyString)) {
+        result.issue(new Syntax_KeyFormat_Issue(context, keyString));
+    }
+}
+/**
+ * Check whether `version` is a valid LionWeb version.
+ * @param value     The version to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ */
+export function validateVersion(value, result, context) {
+    const versionString = "" + value;
+    if (versionString.length === 0) {
+        result.issue(new Syntax_VersionFormat_Issue(context, versionString));
+    }
+}
+/**
+ * Check whether the string `value` represents a LionWeb boolean, its value should be "true" or "false".
+ * @param value     The value to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ * @param propDef   The PropertyDefinition for this value
+ */
+export function validateBoolean(value, result, context, propDef) {
+    const valueAsPrimitive = "" + value;
+    if (valueAsPrimitive !== "true" && valueAsPrimitive !== "false") {
+        result.issue(new Language_PropertyValue_Issue(context, propDef ? propDef.name : "unknown", valueAsPrimitive, "boolean " + asMinimalJsonString(value)));
+    }
+}
+/**
+ * Check whether the string `value` represents a LionWeb integer
+ * @param value     The value to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ * @param propDef   The PropertyDefinition for this value
+ */
+export function validateInteger(value, result, context, propDef) {
+    const valueAsPrimitive = "" + value;
+    const regexp = /^[+-]?(0|[1-9][0-9]*)$/;
+    if (valueAsPrimitive === null || !regexp.test(valueAsPrimitive)) {
+        result.issue(new Language_PropertyValue_Issue(context, propDef ? propDef.name : "unknown", valueAsPrimitive, "integer"));
+    }
+}
+/**
+ * Check whether the string `value` represents a LionWeb Json.
+ * @param value     The value to be checked
+ * @param result    Any validation issues found will be put into this object.
+ * @param context   The location in the overall JSON.
+ * @param propDef   The PropertyDefinition for this value
+ */
+export function validateJSON(value, result, context, propDef) {
+    const valueAsPrimitive = "" + value;
+    if (value === null) {
+        result.issue(new Syntax_PropertyNullIssue(context, propDef.name));
+    }
+    try {
+        JSON.parse(valueAsPrimitive);
+    }
+    catch (_) {
+        result.issue(new Language_PropertyValue_Issue(context, propDef ? propDef.name : "unknown", valueAsPrimitive, "JSON"));
+    }
+}
+/**
+ * Check whether the string `value` is a correct LionWeb serializationFormatVersion.
+ * @param value
+ * @param result
+ * @param context
+ */
+export function validateSerializationFormatVersion(value, result, context) {
+    if (typeof value !== "string") {
+        result.issue(new Syntax_SerializationFormatVersion_Issue(context, asMinimalJsonString(value)));
+        return;
+    }
+    if (value.length === 0) {
+        result.issue(new Syntax_SerializationFormatVersion_Issue(context, value));
+        return;
+    }
+}
+//# sourceMappingURL=ValidationFunctions.js.map

package/dist/validators/ValidationFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidationFunctions.js","sourceRoot":"","sources":["../../src/validators/ValidationFunctions.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAA;AAC1E,OAAO,EACH,qBAAqB,EACrB,sBAAsB,EACtB,wBAAwB,EACxB,uCAAuC,EACvC,0BAA0B,EAC7B,MAAM,2BAA2B,CAAA;AAIlC;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB;IAC5F,MAAM,QAAQ,GAAW,EAAE,GAAG,KAAK,CAAA;IACnC,MAAM,MAAM,GAAG,+BAA+B,CAAA;IAC9C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC9D,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB;IAC7F,MAAM,SAAS,GAAW,EAAE,GAAG,KAAK,CAAA;IACpC,MAAM,MAAM,GAAG,+BAA+B,CAAA;IAC9C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAA;IAChE,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB;IACjG,MAAM,aAAa,GAAW,EAAE,GAAG,KAAK,CAAA;IACxC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,0BAA0B,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAA;IACxE,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB,EAAE,OAA4B;IAC/H,MAAM,gBAAgB,GAAG,EAAE,GAAG,KAAK,CAAA;IACnC,IAAI,gBAAgB,KAAK,MAAM,IAAI,gBAAgB,KAAK,OAAO,EAAE,CAAC;QAC9D,MAAM,CAAC,KAAK,CACR,IAAI,4BAA4B,CAC5B,OAAO,EACP,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAClC,gBAAgB,EAChB,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAC1C,CACJ,CAAA;IACL,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB,EAAE,OAA4B;IAC/H,MAAM,gBAAgB,GAAG,EAAE,GAAG,KAAK,CAAA;IACnC,MAAM,MAAM,GAAG,wBAAwB,CAAA;IACvC,IAAI,gBAAgB,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,IAAI,4BAA4B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5H,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB,EAAE,OAA4B;IAC5H,MAAM,gBAAgB,GAAG,EAAE,GAAG,KAAK,CAAA;IACnC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,IAAI,wBAAwB,CAAC,OAAO,EAAE,OAAQ,CAAC,IAAK,CAAC,CAAC,CAAA;IACvE,CAAC;IACD,IAAI,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,MAAM,CAAC,KAAK,CAAC,IAAI,4BAA4B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAA;IACzH,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAAS,KAAa,EAAE,MAAwB,EAAE,OAAoB;IACpH,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,IAAI,uCAAuC,CAAC,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC9F,OAAM;IACV,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,KAAK,CAAC,IAAI,uCAAuC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;QACzE,OAAM;IACV,CAAC;AACL,CAAC"}