@lionweb/validation 0.5.0-beta.8 → 0.5.0-beta.9

package/dist/validators/LionWebLanguageReferenceValidator.js

@@ -0,0 +1,109 @@
+import { Language_IncorrectContainmentMetaPointer_Issue, Language_IncorrectPropertyMetaPointer_Issue, Language_IncorrectReferenceMetaPointer_Issue, Language_UnknownConcept_Issue, Language_UnknownContainment_Issue, Language_UnknownProperty_Issue, Language_UnknownReference_Issue } from "../issues/LanguageIssues.js";
+import { JsonContext } from "./../issues/JsonContext.js";
+import { LION_CORE_BUILTINS_INAMED_NAME, LIONWEB_BOOLEAN_TYPE, LIONWEB_INTEGER_TYPE, LIONWEB_JSON_TYPE, LIONWEB_STRING_TYPE } from "../json/LionWebJson.js";
+import { LIONWEB_M3_CONCEPT_KEY, LIONWEB_M3_PROPERTY_KEY, LIONWEB_M3_PROPERTY_TYPE_KEY } from "../json/LionWebLanguageDefinition.js";
+import { SimpleFieldValidator } from "./SimpleFieldValidator.js";
+/**
+ * Check against the language definition
+ */
+export class LionWebLanguageReferenceValidator {
+    constructor(validationResult, lang) {
+        this.validationResult = validationResult;
+        this.language = lang;
+        this.simpleFieldValidator = new SimpleFieldValidator(this.validationResult);
+    }
+    // reset() {
+    //     this.validationResult.reset();
+    // }
+    // TODO test reference and children implementation
+    validate(obj) {
+        if (this.language === undefined || this.language === null) {
+            return;
+        }
+        obj.jsonChunk.nodes.forEach((node, nodeIndex) => {
+            const nodeContext = new JsonContext(null, ["node", nodeIndex]);
+            const jsonConcept = this.language.getNodeByMetaPointer(node.classifier);
+            if (jsonConcept === null || jsonConcept === undefined) {
+                this.validationResult.issue(new Language_UnknownConcept_Issue(nodeContext, node.classifier));
+                return;
+            }
+            node.properties.forEach((property, propIndex) => {
+                this.validateProperty(property, nodeContext.concat("properties", propIndex));
+            });
+            node.containments.forEach((containment, childIndex) => {
+                this.validateContainment(containment, nodeContext.concat("containments", childIndex));
+            });
+            node.references.forEach((reference, refIndex) => {
+                this.validateReference(reference, nodeContext.concat("references", refIndex));
+            });
+        });
+    }
+    validateContainment(child, context) {
+        const type = this.language.getNodeByMetaPointer(child.containment);
+        if (type === null || type === undefined) {
+            this.validationResult.issue(new Language_UnknownContainment_Issue(context, child.containment));
+            return;
+        }
+        if (type.classifier.key !== LIONWEB_M3_CONCEPT_KEY) {
+            this.validationResult.issue(new Language_IncorrectContainmentMetaPointer_Issue(context, child.containment, type.classifier.key));
+        }
+        // TODO check type of children
+    }
+    validateReference(ref, context) {
+        const type = this.language.getNodeByMetaPointer(ref.reference);
+        if (type === null || type === undefined) {
+            this.validationResult.issue(new Language_UnknownReference_Issue(context, ref.reference));
+            return;
+        }
+        if (type.classifier.key !== LIONWEB_M3_CONCEPT_KEY) {
+            this.validationResult.issue(new Language_IncorrectReferenceMetaPointer_Issue(context, ref.reference, type.classifier.key));
+        }
+        // TODO Check type of reference (if possible)
+        // TODO Check for duplicate targets?
+        // If so, what to check because there can be either or both a `resolveInfo` and a `reference`
+    }
+    /**
+     * Checks wwhether the value of `prop1` is correct in relation with its property definition in the referred language.
+     * @param prop
+     */
+    validateProperty(prop, context) {
+        if (prop.value === null) {
+            return;
+        }
+        const type = this.language.getNodeByMetaPointer(prop.property);
+        if (type === null || type === undefined) {
+            this.validationResult.issue(new Language_UnknownProperty_Issue(context, prop.property));
+            return;
+        }
+        if (type.classifier.key !== LIONWEB_M3_PROPERTY_KEY) {
+            this.validationResult.issue(new Language_IncorrectPropertyMetaPointer_Issue(context, prop.property, type.classifier.key));
+            return;
+        }
+        // TODO check for property to exist inside the concept in the language
+        //      Need to find inherited and implemented properties as well: complex!
+        const refType = type.references.find((ref) => (ref.reference.key === LIONWEB_M3_PROPERTY_TYPE_KEY));
+        const propertyName = type.properties.find(p => p.property.key === LION_CORE_BUILTINS_INAMED_NAME)?.value;
+        // console.log("Fount type should be " + refType.targets[0].reference);
+        if (propertyName !== undefined) {
+            if (refType !== null && refType !== undefined) {
+                switch (refType.targets[0].reference) {
+                    case LIONWEB_BOOLEAN_TYPE:
+                        this.simpleFieldValidator.validateBoolean(prop, propertyName, context);
+                        break;
+                    case LIONWEB_INTEGER_TYPE:
+                        this.simpleFieldValidator.validateInteger(prop, propertyName, context);
+                        break;
+                    case LIONWEB_STRING_TYPE:
+                        break;
+                    case LIONWEB_JSON_TYPE:
+                        this.simpleFieldValidator.validateJSON(prop, propertyName, context);
+                        break;
+                }
+            }
+            else {
+                // TODO refType not found, but 
+            }
+        }
+    }
+}
+//# sourceMappingURL=LionWebLanguageReferenceValidator.js.map

package/dist/validators/LionWebLanguageReferenceValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebLanguageReferenceValidator.js","sourceRoot":"","sources":["../../src/validators/LionWebLanguageReferenceValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,8CAA8C,EAC9C,2CAA2C,EAAE,4CAA4C,EACzF,6BAA6B,EAC7B,iCAAiC,EACjC,8BAA8B,EAC9B,+BAA+B,EAClC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EACH,8BAA8B,EAC9B,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EAEtB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,4BAA4B,EAA6B,MAAM,sCAAsC,CAAC;AAChK,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE;;GAEG;AACH,MAAM,OAAO,iCAAiC;IAK1C,YAAY,gBAAkC,EAAE,IAA+B;QAC3E,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;QACzC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,oBAAoB,GAAG,IAAI,oBAAoB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAChF,CAAC;IAED,YAAY;IACZ,qCAAqC;IACrC,IAAI;IAEJ,kDAAkD;IAClD,QAAQ,CAAC,GAA4B;QACjC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE;YACvD,OAAO;SACV;QACD,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAC5C,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxE,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS,EAAE;gBACnD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,6BAA6B,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC7F,OAAO;aACV;YACD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;gBAC5C,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE;gBAClD,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;YAC1F,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE;gBAC5C,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC;YAClF,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,mBAAmB,CAAC,KAAuB,EAAE,OAAoB;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACnE,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE;YACrC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,iCAAiC,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;YAC/F,OAAO;SACV;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,sBAAsB,EAAE;YAChD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,8CAA8C,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;SACpI;QACD,8BAA8B;IAClC,CAAC;IAEO,iBAAiB,CAAC,GAAyB,EAAE,OAAoB;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/D,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE;YACrC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;YACzF,OAAO;SACV;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,sBAAsB,EAAE;YAChD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,4CAA4C,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;SAC9H;QACD,6CAA6C;QAE7C,oCAAoC;QACpC,6FAA6F;IACjG,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,IAAyB,EAAE,OAAoB;QAC5D,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE;YACrB,OAAO;SACV;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/D,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE;YACrC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxF,OAAO;SACV;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,uBAAuB,EAAE;YACjD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,2CAA2C,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1H,OAAO;SACV;QACD,sEAAsE;QACtE,2EAA2E;QAE3E,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC,CAAC;QACpG,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,8BAA8B,CAAC,EAAE,KAAK,CAAC;QACzG,uEAAuE;QACvE,IAAI,YAAY,KAAK,SAAS,EAAE;YAC5B,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE;gBAC3C,QAAQ,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE;oBAClC,KAAK,oBAAoB;wBACrB,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;wBACvE,MAAM;oBACV,KAAK,oBAAoB;wBACrB,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;wBACvE,MAAM;oBACV,KAAK,mBAAmB;wBACpB,MAAM;oBACV,KAAK,iBAAiB;wBAClB,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;wBACpE,MAAM;iBACb;aACJ;iBAAM;gBACH,+BAA+B;aAClC;SACJ;IACL,CAAC;CACJ"}

package/dist/validators/LionWebLanguageValidator.d.ts

@@ -0,0 +1,12 @@
+import { LionWebJsonChunk } from "../json/LionWebJson.js";
+import { ValidationResult } from "./ValidationResult.js";
+export declare class LionWebLanguageValidator {
+    validationResult: ValidationResult;
+    constructor();
+    /**
+     * check JSON as in `check`, but also check whether the metamoddel is a Language.
+     * @param obj
+     */
+    checkLanguage(chunk: LionWebJsonChunk): void;
+}
+//# sourceMappingURL=LionWebLanguageValidator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebLanguageValidator.d.ts","sourceRoot":"","sources":["../../src/validators/LionWebLanguageValidator.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,qBAAa,wBAAwB;IACjC,gBAAgB,EAAE,gBAAgB,CAAC;;IAMnC;;;OAGG;IACH,aAAa,CAAC,KAAK,EAAE,gBAAgB;CAsBxC"}

package/dist/validators/LionWebLanguageValidator.js

@@ -0,0 +1,35 @@
+import { IncorrectLionCoreVersion_Issue, NotLionCoreLanguageKey_Issue, NumberOfLanguagesUsed_Issue } from "../issues/LanguageIssues.js";
+import { JsonContext } from "./../issues/JsonContext.js";
+import { LionWebJsonChunkWrapper } from "../json/LionWebJsonChunkWrapper.js";
+import { ValidationResult } from "./ValidationResult.js";
+export class LionWebLanguageValidator {
+    constructor() {
+        this.validationResult = new ValidationResult();
+    }
+    /**
+     * check JSON as in `check`, but also check whether the metamoddel is a Language.
+     * @param obj
+     */
+    checkLanguage(chunk) {
+        // TODO Vaalidate syntax first via LionWebSyntaxValidator !!!
+        if (chunk.languages.length !== 1) {
+            // Check whether the LionCore M3 is the only used language, then this is a language model.
+            this.validationResult.issue(new NumberOfLanguagesUsed_Issue(new JsonContext(null, ["languages"]), chunk.languages.length));
+            return;
+        }
+        const usedLanguage = chunk.languages[0];
+        if (usedLanguage.key !== "LionCore-M3") {
+            this.validationResult.issue(new NotLionCoreLanguageKey_Issue(new JsonContext(null, ["languages", 0]), usedLanguage.key));
+        }
+        if (usedLanguage.version !== "1") {
+            this.validationResult.issue(new IncorrectLionCoreVersion_Issue(new JsonContext(null, ["languages", 0]), usedLanguage.version));
+        }
+        const chunkWrapper = new LionWebJsonChunkWrapper(chunk);
+        const languageNodes = chunkWrapper.findNodesOfConcept("Language");
+        if (languageNodes.length !== 1) {
+            // TODO Better error handling.
+            console.error("Expected exactly one Language node, found " + languageNodes.length + " => " + JSON.stringify(languageNodes));
+        }
+    }
+}
+//# 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,8BAA8B,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AACxI,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,MAAM,OAAO,wBAAwB;IAGjC;QACI,IAAI,CAAC,gBAAgB,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACnD,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,KAAuB;QACjC,6DAA6D;QAC7D,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE;YAC9B,0FAA0F;YAC1F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,2BAA2B,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;YAC1H,OAAM;SACT;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,YAAY,CAAC,GAAG,KAAK,aAAa,EAAE;YACpC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,4BAA4B,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;SAC3H;QACD,IAAI,YAAY,CAAC,OAAO,KAAK,GAAG,EAAE;YAC9B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,8BAA8B,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;SACjI;QACD,MAAM,YAAY,GAAG,IAAI,uBAAuB,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,YAAY,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE;YAC5B,8BAA8B;YAC9B,OAAO,CAAC,KAAK,CAAC,4CAA4C,GAAG,aAAa,CAAC,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;SAE/H;IACL,CAAC;CACJ"}

package/dist/validators/LionWebReferenceValidator.d.ts

@@ -0,0 +1,45 @@
+import { JsonContext } from "./../issues/JsonContext.js";
+import { LionWebJsonChunk, LionWebJsonMetaPointer, LionWebJsonNode, LwJsonUsedLanguage } from "../json/LionWebJson.js";
+import { LionWebJsonChunkWrapper } from "../json/LionWebJsonChunkWrapper.js";
+import { SimpleFieldValidator } from "./SimpleFieldValidator.js";
+import { ValidationResult } from "./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>;
+    simpleFieldValidator: SimpleFieldValidator;
+    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: LwJsonUsedLanguage[], context: JsonContext): void;
+    /**
+     * Checks whether the parent of node recursively points to `node` itself.
+     * @param node
+     */
+    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":"AAOA,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEzD,OAAO,EAA4C,gBAAgB,EAAE,sBAAsB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjK,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD;;;GAGG;AACH,qBAAa,yBAAyB;IAClC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAsC;IAC9E,oBAAoB,EAAE,oBAAoB,CAAC;gBAE/B,gBAAgB,EAAE,gBAAgB;IAK9C,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;IAenH;;;;OAIG;IACH,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,WAAW;IActD;;;;;OAKG;IACH,0BAA0B,CAAC,aAAa,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,WAAW;IAiBpF;;;OAGG;IACH,mBAAmB,CAAC,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,WAAW;IAoB/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;CA+BhF"}

package/dist/validators/LionWebReferenceValidator.js

@@ -0,0 +1,210 @@
+import { Duplicates_Issue, Reference_ChildMissingInParent_Issue, Reference_CirculairParent_Issue, Reference_DuplicateNodeId_Issue, Reference_LanguageUnknown_Issue, Reference_ParentMissingInChild_Issue } from "../issues/ReferenceIssues.js";
+import { JsonContext } from "./../issues/JsonContext.js";
+import { ChunkUtils } from "../json/ChunkUtils.js";
+import { LION_CORE_BUILTINS_KEY } from "../json/LionWebJson.js";
+import { SimpleFieldValidator } from "./SimpleFieldValidator.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;
+        this.simpleFieldValidator = new SimpleFieldValidator(this.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_ChildMissingInParent_Issue(context, childNode, node));
+                            // 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_ChildMissingInParent_Issue(context, annotation, node));
+                        // 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 (metaPointer.language === LION_CORE_BUILTINS_KEY) {
+            // Ok, builtin
+            return;
+        }
+        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
+     */
+    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":"AAAA,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,+BAA+B,EAC/B,+BAA+B,EAAE,+BAA+B,EAChE,oCAAoC,EACvC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAmG,MAAM,wBAAwB,CAAC;AAEjK,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE;;;GAGG;AACH,MAAM,OAAO,yBAAyB;IAKlC,YAAY,gBAAkC;QAH9C,eAAU,GAAiC,IAAI,GAAG,EAA2B,CAAC;QAI1E,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;QACzC,IAAI,CAAC,oBAAoB,GAAG,IAAI,oBAAoB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAChF,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,CAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,EAAE;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,CAAC;aACzG;YACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,QAAQ,CAAC,GAA4B;QACjC,MAAM,OAAO,GAAI,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAClE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC7C,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,CAAC;YAClD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;YAC/B,IAAI,UAAU,KAAK,IAAI,EAAE;gBACrB,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;aAC9E;YACD,IAAI,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAC9D,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;YACxF,IAAI,CAAC,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;YAChF,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,CAAC;YACrH,CAAC,CAAC,CAAC;YACH,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,CAAC;gBAC5H,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;gBACzG,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;oBACrC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAC/C,IAAI,SAAS,KAAK,SAAS,EAAE;wBACzB,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE;4BAC7F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAA;4BAC/F,qIAAqI;yBACxI;wBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE;4BAC7D,0HAA0H;yBAC7H;qBACJ;gBACL,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,EAAE;gBACtC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACrD,IAAI,UAAU,KAAK,SAAS,EAAE;oBAC1B,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE;wBAChG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAA;wBAChG,0IAA0I;qBAC7I;oBACD,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,EAAE;wBAC/D,+HAA+H;qBAClI;iBACJ;YACL,CAAC,CAAC,CAAC;YACH,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,CAAC;gBAC9G,oCAAoC;gBACpC,6FAA6F;YACjG,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,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,CAAC;QAClH,IAAI,WAAW,CAAC,QAAQ,KAAK,sBAAsB,EAAE;YACjD,cAAc;YACd,OAAO;SACV;QACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE;YACrC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;SACzF;aAAM;YACH,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW,CAAC,OAAO,EAAE;gBACtC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;aACzF;SACJ;IACL,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,OAAiB,EAAE,OAAoB;QAClD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE;YAC3C,OAAO;SACV;QACD,MAAM,WAAW,GAA4B,EAAE,CAAC;QAChD,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;YACpB,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE;gBAClB,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAA;aAClE;iBAAM;gBACH,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;aAC3B;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED;;;;;OAKG;IACH,0BAA0B,CAAC,aAAmC,EAAE,OAAoB;QAChF,IAAI,aAAa,KAAK,IAAI,IAAI,aAAa,KAAK,SAAS,EAAE;YACvD,OAAO;SACV;QACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAChD,aAAa,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE;YAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACnD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,EAAE;gBAC7C,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE;oBACzC,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,CAAC;iBACzH;aACJ;iBAAM;gBACH,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;aAC7D;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,IAAqB,EAAE,OAAoB;QAC3D,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE;YACrC,OAAO;SACV;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE;YACnD,OAAO;SACV;QACD,IAAI,OAAO,GAAgC,IAAI,CAAC;QAChD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE;YACzG,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;YAClC,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS,IAAI,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;gBACrF,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;gBACtI,OAAO;aACV;YACD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;SAC7C;IACL,CAAC;IAED,qBAAqB,CAAC,OAAoB,EAAE,MAAmC,EAAE,KAAsB;QACnG,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,EAAE;YACzC,OAAO;SACV;QACD,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,YAAY,EAAE;YAC3C,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;gBACzC,OAAO;aACV;SACJ;QACD,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE;YACvC,OAAO;SACV;QACD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,iCAAiC,CAAC,IAAqB,EAAE,OAAoB;QACzE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAuB,EAAE,EAAE;YAClD,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAe,EAAE,KAAa,EAAE,EAAE;gBACtD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,SAAS,KAAK,SAAS,EAAE;oBACzB,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE;wBAC9B,mFAAmF;qBACtF;oBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE;wBAC7D,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;qBAChJ;iBACJ;YACL,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,YAAoB,EAAE,eAAuB,EAAE,EAAE;YACvE,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACpD,IAAI,SAAS,KAAK,SAAS,EAAE;gBACzB,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE;oBAC7D,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,oCAAoC,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;iBAC1I;aACJ;QACL,CAAC,CAAC,CAAC;QACH,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,88 @@
+import { SimpleFieldValidator, ValidatorFunction } from "./SimpleFieldValidator.js";
+import { JsonContext } from "./../issues/JsonContext.js";
+import { ValidationResult } from "./ValidationResult.js";
+export type UnknownObjectType = {
+    [key: string]: unknown;
+};
+export type PropertyType = "string" | "number" | "bigint" | "boolean" | "symbol" | "undefined" | "object" | "function" | "array";
+export type PropertyDefinition = {
+    /**
+     * The property name
+     */
+    property: string;
+    /**
+     * The expected type of the property value
+     */
+    expectedType: PropertyType;
+    /**
+     * Whether the property value is allowed to be null
+     */
+    mayBeNull: boolean;
+    /**
+     * If the property type is correct, check its value further with this function.
+     * Will, only be called if `this.recursive === true`.
+     * If the property value is an Array, the `checkValue` will be called on each element in the array.
+     * @param obj
+     * @param ctx
+     */
+    validateValue?: ValidatorFunction;
+};
+/**
+ * LionWebCheck can chack whether objects are LionWeb JSON objects.
+ * The check can be on a single object, or recursively on an object and its children.
+ */
+export declare class LionWebSyntaxValidator {
+    validationResult: ValidationResult;
+    simpleFieldValidator: SimpleFieldValidator;
+    /**
+     * When true, each function will work recursively on the given object.
+     * When false, will only check the given object.
+     * Metapointers are always checked as part of the  object, disregarding the va;lue of `recursive`.
+     */
+    recursive: boolean;
+    constructor(validationResult: ValidationResult);
+    /**
+     * Check whether `obj` is a JSON object that conforms to the serialization syntax of LionCore.
+     * All errors found will be pushed into the `errors` array, if its length is not 0, the check has failed.
+     * @param obj
+     */
+    validate(obj: unknown): void;
+    validateLwChunk: (obj: unknown, ctx: JsonContext) => void;
+    validateLwUsedLanguage: (obj: unknown, ctx: JsonContext) => void;
+    validateLwNode: (obj: unknown, ctx: JsonContext) => void;
+    validateLwAnnotation: (obj: unknown, context: JsonContext) => void;
+    validateLwProperty: (obj: unknown, ctx: JsonContext) => void;
+    validateLwMetaPointer: (obj: unknown, ctx: JsonContext) => void;
+    validateLwChild: (obj: unknown, ctx: JsonContext) => void;
+    private checkChild;
+    /** Checks whether `obj` is not null or defined and has the correct type.
+     */
+    private checkType;
+    validateLwReference: (obj: unknown, ctx: JsonContext) => void;
+    validateLwReferenceTarget: (obj: unknown, ctx: JsonContext) => void;
+    /**
+     * Check whether all property definitions in `propDef` are correct and check that there are
+     * no iother properties in `obj`.
+     * @param obj
+     * @param propDefs
+     * @param context
+     */
+    propertyChecks(obj: unknown, propDefs: PropertyDefinition[], context: JsonContext): void;
+    /**
+     * Check whether there are extra properties that should not be there.
+     * @param obj
+     * @param properties
+     * @param context
+     */
+    checkStrayProperties(obj: UnknownObjectType, properties: string[], context: JsonContext): void;
+    /**
+     * Check whether the value of property `prop` of `obj` has type `expectedType`.
+     * @param obj
+     * @param prop
+     * @param expectedType
+     * @param context
+     */
+    checkPropertyType: (obj: UnknownObjectType, prop: string, expectedType: PropertyType, mayBeNull: boolean, context: JsonContext) => boolean;
+}
+export declare function SyntaxValidator(jsonChunk: unknown): 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":"AAOA,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,MAAM,MAAM,iBAAiB,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CAAC;AAE3D,MAAM,MAAM,YAAY,GACpB,QAAQ,GACN,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,WAAW,GACX,QAAQ,GACR,UAAU,GACV,OAAO,CAAC;AAEd,MAAM,MAAM,kBAAkB,GAAG;IAC7B;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB;;OAEG;IACH,YAAY,EAAE,YAAY,CAAC;IAC3B;;OAEG;IACH,SAAS,EAAE,OAAO,CAAC;IACnB;;;;;;OAMG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;CACrC,CAAC;AAMF;;;GAGG;AACH,qBAAa,sBAAsB;IAC/B,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,oBAAoB,EAAE,oBAAoB,CAAC;IAC3C;;;;OAIG;IACH,SAAS,EAAE,OAAO,CAAQ;gBAEd,gBAAgB,EAAE,gBAAgB;IAK9C;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,OAAO;IAIrB,eAAe,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAOvD;IAED,sBAAsB,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAS9D;IAED,cAAc,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAWtD;IAED,oBAAoB,QAAS,OAAO,WAAW,WAAW,UAIzD;IAED,kBAAkB,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAW1D;IAED,qBAAqB,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAO7D;IAED,eAAe,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAMvD;IAED,OAAO,CAAC,UAAU,CAIjB;IAED;OACG;IACH,OAAO,CAAC,SAAS,CAUhB;IAED,mBAAmB,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAM3D;IAED,yBAAyB,QAAS,OAAO,OAAO,WAAW,KAAG,IAAI,CAMjE;IAED;;;;;;OAMG;IACH,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI;IAkCxF;;;;;OAKG;IACH,oBAAoB,CAAC,GAAG,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,WAAW;IAevF;;;;;;OAMG;IACH,iBAAiB,QAAS,iBAAiB,QAAQ,MAAM,gBAAgB,YAAY,aAAa,OAAO,WAAW,WAAW,KAAG,OAAO,CAqCxI;CACJ;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAC,OAAO,GAAG,gBAAgB,CAKnE"}