@lionweb/validation 0.5.0-beta.8

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,31 @@
+# @lionweb/validation
+
+The code in this package implements the checks to run the tests in `lionweb-integration-testing/testset`.
+
+This package is intentionally kept very lightweigt, e.g. it uses type instead of classes and has has zero dependencies on external libraries/packages.
+
+It assumes that node.js 18 is used, but will propably work with other versions as well.
+
+To run the tests checkout the `lionweb-integration-testing` project in next to the `lionweb-typescript` project
+and run
+
+    # install ts-node
+    npm install
+
+    # run the tests
+    npm run testValid
+    npm run testInvalid
+    npm run testValidWithLanguage
+    npm run testInvalidWithLanguage
+
+This will run the tests in the respective folders in the `testset` folder in `lionweb-integration-testing`.
+
+Notes:
+- testing with enums is not implemented yet
+- all tests in the testset with duplicates are defined as invalid, are not invalid anymore, as decided in the meeting from 23-08-2023. They should be moved to valid.
+
+The testrunner runs tests at various levels similar (but probably not quite) as described in
+the model-correctness document (link).
+These two should converge in the near future.  
+
+

package/build.sh

@@ -0,0 +1,6 @@
+#!/usr/bin/env sh
+
+rm -rf dist/ lionweb-validation-*.tgz
+npm i
+npm run build
+

package/package.json

@@ -0,0 +1,28 @@
+{
+  "name": "@lionweb/validation",
+  "version": "0.5.0-beta.8",
+  "license":  "Apache 2.0",
+  "description": "LionWeb Serialization validation",
+  "author": "jos.warmer@openmodeling.nl",
+  "main": "index.js",
+  "keywords": [
+    "lionweb",
+    "serialization",
+    "testing"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "testValid": "ts-node src/runners/RunCheckFolder.ts ../../../lionweb-integration-testing/testset/valid",
+    "testInvalid": "ts-node src/runners/RunCheckFolder.ts ../../../lionweb-integration-testing/testset/invalid",
+    "testInvalidWithLanguage": "ts-node src/runners/RunCheckFolderWithLanguage.ts ../../../lionweb-integration-testing/testset/withLanguage/invalid/ ../../../lionweb-integration-testing/testset/withLanguage/myLang.language.json",
+    "testValidWithLanguage": "ts-node src/runners/RunCheckFolderWithLanguage.ts ../../../lionweb-integration-testing/testset/withLanguage/valid/ ../../../lionweb-integration-testing/testset/withLanguage/myLang.language.json",
+    "test": "npm run testValid && npm run testInvalid && npm run testInvalidWithLanguage && npm run testValidWithLanguage"
+  },
+  "devDependencies": {
+    "@types/node": "18.15.3",
+    "ts-node": "10.9.1",
+    "typescript": "5.2.2"    
+  },
+  "dependencies": {
+  }
+}

package/src/diff/LionwebDiff.ts

@@ -0,0 +1,193 @@
+// TODO The diff is outdated and need work to become ffully functional again.
+
+import { LionWebSyntaxValidator } from "../validators/LionWebSyntaxValidator";
+import {
+    isEqualMetaPointer,
+    LionWebJsonChild,
+    LionWebJsonChunk,
+    LionWebJsonNode, LionWebJsonProperty,
+    LionWebJsonReference, LwJsonUsedLanguage,
+} from "../json/LionWebJson";
+import { NodeUtils } from "../json/NodeUtils";
+import { ChunkUtils } from "../json/ChunkUtils";
+import { ValidationResult } from "../validators/ValidationResult";
+
+export type ChangedType = {
+    path: string;
+    oldValue: unknown;
+    newValue: unknown;
+};
+export type AddedOrDeletedType = {
+    path: string;
+    value: unknown;
+};
+export type MatchedType = {
+    path: string;
+    value: unknown;
+};
+export type ResultType = {
+    matched: MatchedType[];
+    changed: ChangedType[];
+    added: AddedOrDeletedType[];
+    deleted: AddedOrDeletedType[];
+};
+
+export class LwDiff {
+    errors: string[] = [];
+    lwChecker = new LionWebSyntaxValidator(new ValidationResult());
+
+    constructor() {
+        this.lwChecker.recursive = false;
+    }
+
+    error(msg: string) {
+        this.errors.push(msg + "\n");
+    }
+
+    check(b: boolean, message: string): void {
+        if (!b) {
+            this.error("Check error: " + message);
+        }
+    }
+
+    /**
+     * Compare two LwNode objects and return their difference
+     * @param obj1
+     * @param obj2
+     */
+    diffLwNode(obj1: LionWebJsonNode, obj2: LionWebJsonNode): void {
+        // console.log("Comparing nodes")
+        if (!isEqualMetaPointer(obj1.classifier, obj2.classifier)) {
+            this.error(`Object ${obj1.id} has classifier ${JSON.stringify(obj1.classifier)} vs. ${JSON.stringify(obj2.classifier)}`);
+        }
+        if (obj1.parent !== obj2.parent) {
+            this.error(`Object ${obj1.id} has parent ${obj1.parent} vs. ${obj2.parent}`);
+        }
+        for (const property of obj1.properties) {
+            const key = property.property.key;
+            // console.log(`    property ${key} of node ${obj1.id}`)
+            const otherProp = NodeUtils.findLwProperty(obj2, key);
+            if (otherProp === null) {
+                this.error(`Property with concept key ${key} does not exist in second object`);
+                continue;
+            }
+            // const tmp = this.diffLwProperty(prop, otherProp);
+        }
+        for (const containment of obj1.containments) {
+            const key = containment.containment.key;
+            // console.log(`    property ${key} of node ${obj1.id}`)
+            const otherChild = NodeUtils.findLwChild(obj2, key);
+            if (otherChild === null) {
+                this.error(`Child with containment key ${key} does not exist in second object`);
+                continue;
+            }
+            // const tmp = this.diffLwChild(child, otherChild);
+        }
+        for (const reference of obj1.references) {
+            const key = reference.reference.key;
+            const otherref = NodeUtils.findLwReference(obj2, key);
+            if (otherref === null) {
+                this.error(`Child with containment key ${key} does not exist in second object`);
+                continue;
+            }
+            // const tmp = this.diffLwReference(ref, otherref);
+        }
+    }
+
+    diffLwChunk(chunk1: LionWebJsonChunk, chunk2: LionWebJsonChunk): void {
+        console.log("Comparing chuncks");
+        if (chunk1.serializationFormatVersion !== chunk2.serializationFormatVersion) {
+            this.error(`Serialization versions do not match: ${chunk1.serializationFormatVersion} vs ${chunk2.serializationFormatVersion}`);
+        }
+        for (const language of chunk1.languages) {
+            const otherLanguage = ChunkUtils.findLwUsedLanguage(chunk2, language.key);
+            if (otherLanguage === null) {
+                // return { isEqual: false, diffMessage: `Node with concept key ${id} does not exist in second object`};
+                this.error(`Language with  key ${language.key} does not exist in second object`);
+                continue;
+            }
+            // const tmp = this.diffLwUsedLanguage(language, otherLanguage);
+        }
+        for (const language of chunk2.languages) {
+            console.log("Comparing languages");
+            const otherLanguage = ChunkUtils.findLwUsedLanguage(chunk1, language.key);
+            if (otherLanguage === null) {
+                // return { isEqual: false, diffMessage: `Node with concept key ${id} does not exist in second object`};
+                this.error(`Language with  key ${language.key} does not exist in first object`);
+            }
+        }
+        for (const node of chunk1.nodes) {
+            const id = node.id;
+            const otherNode = ChunkUtils.findNode(chunk2, id);
+            if (otherNode === null) {
+                // return { isEqual: false, diffMessage: `Node with concept key ${id} does not exist in second object`};
+                this.error(`Node with concept key ${id} does not exist in second object`);
+                continue;
+            }
+            // const tmp = this.diffLwNode(node, otherNode);
+        }
+        for (const node of chunk2.nodes) {
+            const id = node.id;
+            const otherNode = ChunkUtils.findNode(chunk1, id);
+            if (otherNode === null) {
+                // return { isEqual: false, diffMessage: `Node with concept key ${id} does not exist in second object`};
+                this.error(`Node with concept key ${id} does not exist in first object`);
+            }
+        }
+    }
+
+    diffLwChild(obj1: LionWebJsonChild, obj2: LionWebJsonChild): void {
+        if (!isEqualMetaPointer(obj1.containment, obj2.containment)) {
+            // return { isEqual: false, diffMessage: `Property Object has concept ${JSON.stringify(obj1.property)} vs ${JSON.stringify(obj2.property)}`}
+            this.error(`Child Object has concept ${JSON.stringify(obj1.containment)} vs ${JSON.stringify(obj2.containment)}`);
+        }
+        // Check whether children exist in both objects (two for loops)
+        for (const childId1 of obj1.children) {
+            if (!obj2.children.includes(childId1)) {
+                this.error(`Child ${childId1} is missing in other object`);
+            }
+        }
+        for (const childId2 of obj2.children) {
+            if (!obj1.children.includes(childId2)) {
+                console.error(`Child ${childId2} is missing in first object`);
+            }
+        }
+    }
+
+    diffLwReference(ref1: LionWebJsonReference, ref2: LionWebJsonReference): void {
+        if (!isEqualMetaPointer(ref1.reference, ref2.reference)) {
+            // return { isEqual: false, diffMessage: `Property Object has concept ${JSON.stringify(obj1.property)} vs ${JSON.stringify(obj2.property)}`}
+            this.error(`Reference has concept ${JSON.stringify(ref1.reference)} vs ${JSON.stringify(ref2.reference)}`);
+        }
+        for (const target of ref1.targets) {
+            const otherTarget = NodeUtils.findLwReferenceTarget(ref2.targets, target);
+            if (otherTarget === null) {
+                console.error(`REFERENCE Target ${JSON.stringify(target)} missing in second `);
+            } else {
+                if (target.reference !== otherTarget.reference || target.resolveInfo !== otherTarget.resolveInfo) {
+                    this.error(`REFERENCE target ${JSON.stringify(target)} vs ${JSON.stringify(otherTarget)}`);
+                }
+            }
+        }
+        for (const target of ref2.targets) {
+            if (NodeUtils.findLwReferenceTarget(ref1.targets, target) === null) {
+                this.error(`REFERENCE Target ${JSON.stringify(target)} missing in first `);
+            }
+        }
+    }
+
+    private diffLwUsedLanguage(obj1: LwJsonUsedLanguage, obj2: LwJsonUsedLanguage) {
+        if (obj1.key !== obj2.key || obj1.version !== obj2.version) {
+            this.error(`Different used languages ${JSON.stringify(obj1)} vs ${JSON.stringify(obj2)}`);
+        }
+    }
+
+    private diffLwProperty(obj1: LionWebJsonProperty, obj2: LionWebJsonProperty) {
+        if (!isEqualMetaPointer(obj1.property, obj2.property)) {
+            this.error(`Property Object has concept ${JSON.stringify(obj1.property)} vs ${JSON.stringify(obj2.property)}`);
+        }
+        if (obj1.value !== obj2.value) {
+            this.error(`Property ${obj1.property.key} has value ${obj1.value} vs ${obj2.value}`);
+        }
+    }
+}

package/src/issues/LanguageIssues.ts

@@ -0,0 +1,91 @@
+import { LionWebJsonMetaPointer } from "../json/LionWebJson";
+import { JsonContext, ValidationIssue } from "./ValidationIssue";
+
+export class Language_PropertyValue_Issue extends ValidationIssue {
+    readonly id = "PropertyValue";
+
+    constructor(context: JsonContext, public property: string, public value: string,public expectedType: string  ) {
+        super(context);
+    }
+
+    msg = (): string => `Property  "${this.property}" with value "${this.value}" is not of type "${this.expectedType}"`
+}
+
+// Incorrect Meta Pointers
+export abstract class Language_IncorrectMetaPointerType_Issue extends ValidationIssue {
+    abstract readonly metaType: string;
+
+    constructor(context: JsonContext, public metaPointer: LionWebJsonMetaPointer, public incorrectType: string) {
+        super(context);
+    }
+
+    msg = (): string => `${this.metaType} with key "${this.metaPointer.key}" does not refer to a ${this.metaType}, but to a "${this.incorrectType}"`
+}
+
+export class Language_IncorrectPropertyMetaPointer_Issue extends Language_IncorrectMetaPointerType_Issue {
+    readonly id = "IncorrectPropertyMetaPointer";
+    readonly metaType = "Property";
+}
+export class Language_IncorrectConceptMetaPointer_Issue extends Language_IncorrectMetaPointerType_Issue {
+    readonly id = "IncorrectConceptMetaPointer";
+    readonly metaType = "Concept";
+}
+export class Language_IncorrectReferenceMetaPointer_Issue extends Language_IncorrectMetaPointerType_Issue {
+    readonly id = "IncorrectReferenceMetaPointer";
+    readonly metaType = "Reference";
+}
+export class Language_IncorrectContainmentMetaPointer_Issue extends Language_IncorrectMetaPointerType_Issue {
+    readonly id = "IncorrectContainmentMetaPointer";
+    readonly metaType = "Containment";
+}
+
+// Unknown Meta Pointers
+export abstract class Language_UnknownMetaPointer_Issue extends ValidationIssue {
+    abstract readonly metaType: string;
+
+    constructor(context: JsonContext, public metaPointer: LionWebJsonMetaPointer) {
+        super(context);
+    }
+
+    msg = (): string => `${this.metaType} with key ${this.metaPointer.key} is unknown in the language`;
+}
+
+export class Language_UnknownReference_Issue extends Language_UnknownMetaPointer_Issue {
+    readonly id = "UnknownReference";
+    readonly metaType = "Reference";
+}
+export class Language_UnknownContainment_Issue extends Language_UnknownMetaPointer_Issue {
+    readonly id = "UnknownContainment";
+    readonly metaType = "Containment";
+}
+export class Language_UnknownProperty_Issue extends Language_UnknownMetaPointer_Issue {
+    readonly id = "UnknownProperty";
+    readonly metaType = "Property";
+}
+export class Language_UnknownConcept_Issue extends Language_UnknownMetaPointer_Issue {
+    readonly id = "UnknownConcept";
+    readonly metaType = "Concept";
+}
+
+// Actual Language checks on M2
+export class NumberOfLanguagesUsed_Issue extends ValidationIssue {
+    readonly id = "NumberOfLanguagesUsed";
+    constructor(context: JsonContext, public nrOfLanguages: number) {
+        super(context);
+    }
+    msg = () => `Is not a language: number of used languages should be 1, is ${this.nrOfLanguages}`
+}
+export class NotLionCoreLanguageKey_Issue extends ValidationIssue {
+    readonly id = "NotLionCoreLanguageKey";
+    constructor(context: JsonContext, public incorrectKey: string) {
+        super(context);
+    }
+    msg = () => `Is not a language: the used language key is not LionCore-M3, but ${this.incorrectKey}`
+}
+export class IncorrectLionCoreVersion_Issue extends ValidationIssue {
+    readonly id = "IncorrectLionCoreVersion";
+    constructor(context: JsonContext, public incorrectVersion: string) {
+        super(context);
+    }
+    msg = () => `Is not a language: the used language version is not 1, but ${this.incorrectVersion}`
+}

package/src/issues/ReferenceIssues.ts

@@ -0,0 +1,60 @@
+import { LionWebJsonMetaPointer, LionWebJsonNode } from "../json/LionWebJson";
+import { JsonContext, ValidationIssue } from "./ValidationIssue";
+
+export class Reference_DuplicateNodeId_Issue extends ValidationIssue {
+    readonly id = "DuplicateNodeId";
+    
+    constructor(context: JsonContext, public nodeId: string) {
+        super(context);
+    }
+    
+    msg = () : string => `Node has duplicate id "${this.nodeId}"`
+}
+
+export class Reference_ChildMissingInParent_Issue extends ValidationIssue {
+    readonly id = "ChildMissingInParent";
+
+    constructor(context: JsonContext, public child: LionWebJsonNode, public parent: LionWebJsonNode) {
+        super(context);
+    }
+
+    msg = () : string => `Node with id "${this.child.id}" has parent with id "${this.parent.id}" but parent does not contains it as a child.`
+}
+
+export class Reference_ParentMissingInChild_Issue extends ValidationIssue {
+    readonly id = "ParentMissingInChild";
+
+    constructor(context: JsonContext, public parent: LionWebJsonNode, public child: LionWebJsonNode) {
+        super(context);
+    }
+
+    msg = () : string => `Node with id "${this.parent.id}" has child with id "${this.child.id}" but child has empty parent.`
+}
+
+export class Reference_CirculairParent_Issue extends ValidationIssue {
+    readonly id = "CirculairParent";
+
+    constructor(context: JsonContext, public node: LionWebJsonNode | undefined, public parentPath: string[]) {
+        super(context);
+    }
+
+    msg = () : string => `Node with id "${this.node?.id}" has circulair parent through "${this.parentPath}".`
+}
+
+export class Reference_LanguageUnknown_Issue extends ValidationIssue {
+    readonly id = "LanguageUnknown";
+    
+    constructor(context: JsonContext, public languageRef: LionWebJsonMetaPointer) {
+        super(context);
+    }
+    msg = () => `Node uses language { language = ${this.languageRef.language}, version = ${this.languageRef.version} } which is not declared in used languages`
+}
+
+export class Duplicates_Issue extends ValidationIssue {
+    readonly id = "Duplicates";
+
+    constructor(context: JsonContext, public nodeid: string) {
+        super(context);
+    }
+    msg = () => `Duplicate value "${this.nodeid}"`
+}