@lionweb/validation 0.6.13-beta.6 → 0.6.13-beta.7

package/dist/validators/generic/ValidationTypes.js

@@ -15,32 +15,13 @@ export const MAY_BE_NULL = true;
  * @constructor
  */
 export function PropertyDef(propDef) {
-    const { property, expectedType, mayBeNull = false, isList = false, isOptional = false, validate = emptyValidation } = propDef;
+    const { property, expectedType, mayBeNull = false, isList = false, validate = emptyValidation } = propDef;
     return {
         property: property,
         expectedType: expectedType,
         isList: isList,
         mayBeNull: mayBeNull,
-        isOptional: isOptional,
         validate: validate
     };
 }
-/**
- * Easy way to create a PropertyDefinition typed object with default values.
- * @param propDef
- * @constructor
- */
-export function PrimitiveDef(propDef) {
-    const { primitiveType, validate = emptyValidation } = propDef;
-    return {
-        primitiveType: primitiveType,
-        validate: validate
-    };
-}
-export function isObjectDefinition(def) {
-    return Array.isArray(def);
-}
-export function isPrimitiveDefinition(def) {
-    return def?.primitiveType !== undefined;
-}
 //# sourceMappingURL=ValidationTypes.js.map

package/dist/validators/generic/ValidationTypes.js.map

@@ -1 +1 @@
-{"version":3,"file":"ValidationTypes.js","sourceRoot":"","sources":["../../../src/validators/generic/ValidationTypes.ts"],"names":[],"mappings":"AA0CA;;;;;;GAMG;AACH,6DAA6D;AAC7D,SAAS,eAAe,CAAI,MAAS,EAAE,MAAwB,EAAE,GAAgB,EAAE,IAAyB,IAAS,CAAC;AAEtH,uCAAuC;AACvC,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAA;AAE/B;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAA2B;IACnD,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,EAAE,UAAU,GAAG,KAAK,EAAE,QAAQ,GAAG,eAAe,EAAE,GAAG,OAAO,CAAA;IAC7H,OAAO;QACH,QAAQ,EAAE,QAAQ;QAClB,YAAY,EAAE,YAAY;QAC1B,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,UAAU;QACtB,QAAQ,EAAE,QAAQ;KACrB,CAAA;AACL,CAAC;AAYD;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAA4B;IACrD,MAAM,EAAE,aAAa,EAAE,QAAQ,GAAG,eAAe,EAAE,GAAG,OAAO,CAAA;IAC7D,OAAO;QACH,aAAa,EAAE,aAAa;QAC5B,QAAQ,EAAE,QAAQ;KACrB,CAAA;AACL,CAAC;AAID,MAAM,UAAU,kBAAkB,CAAC,GAAmB;IAClD,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;AAC7B,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAmB;IACrD,OAAQ,GAA2B,EAAE,aAAa,KAAK,SAAS,CAAA;AACpE,CAAC"}
+{"version":3,"file":"ValidationTypes.js","sourceRoot":"","sources":["../../../src/validators/generic/ValidationTypes.ts"],"names":[],"mappings":"AAsCA;;;;;;GAMG;AACH,6DAA6D;AAC7D,SAAS,eAAe,CAAI,MAAS,EAAE,MAAwB,EAAE,GAAgB,EAAG,IAAyB,IAAS,CAAC;AAEvH,uCAAuC;AACvC,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAA;AAE/B;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAA2B;IACnD,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,EAAE,QAAQ,GAAG,eAAe,EAAE,GAAG,OAAO,CAAA;IACzG,OAAO;QACH,QAAQ,EAAE,QAAQ;QAClB,YAAY,EAAE,YAAY;QAC1B,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,SAAS;QACpB,QAAQ,EAAE,QAAQ;KACrB,CAAA;AACL,CAAC"}

package/dist/validators/generic/index.d.ts

@@ -1,4 +1,5 @@
 export * from "./ValidationTypes.js";
 export * from "./ValidationResult.js";
+export * from "../ValidationFunctions.js";
 export * from "./SyntaxValidator.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/validators/generic/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validators/generic/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA;AACpC,cAAc,uBAAuB,CAAA;AACrC,cAAc,sBAAsB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validators/generic/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA;AACpC,cAAc,uBAAuB,CAAA;AACrC,cAAc,2BAA2B,CAAA;AACzC,cAAc,sBAAsB,CAAA"}

package/dist/validators/generic/index.js

@@ -1,4 +1,5 @@
 export * from "./ValidationTypes.js";
 export * from "./ValidationResult.js";
+export * from "../ValidationFunctions.js";
 export * from "./SyntaxValidator.js";
 //# sourceMappingURL=index.js.map

package/dist/validators/generic/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/validators/generic/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA;AACpC,cAAc,uBAAuB,CAAA;AACrC,cAAc,sBAAsB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/validators/generic/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA;AACpC,cAAc,uBAAuB,CAAA;AACrC,cAAc,2BAA2B,CAAA;AACzC,cAAc,sBAAsB,CAAA"}

package/dist/validators/index.d.ts

@@ -1,4 +1,5 @@
 export * from "./generic/index.js";
+export * from "./generic/ValidationResult.js";
 export * from "./LionWebSyntaxValidator.js";
 export * from "./LionWebReferenceValidator.js";
 export * from "./LionWebLanguageValidator.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAA;AAClC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,gCAAgC,CAAA;AAC9C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,wCAAwC,CAAA;AACtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,8BAA8B,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAA;AAClC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,6BAA6B,CAAA;AAC3C,cAAc,gCAAgC,CAAA;AAC9C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,wCAAwC,CAAA;AACtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,8BAA8B,CAAA"}

package/dist/validators/index.js

@@ -1,4 +1,5 @@
 export * from "./generic/index.js";
+export * from "./generic/ValidationResult.js";
 export * from "./LionWebSyntaxValidator.js";
 export * from "./LionWebReferenceValidator.js";
 export * from "./LionWebLanguageValidator.js";

package/dist/validators/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAA;AAClC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,gCAAgC,CAAA;AAC9C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,wCAAwC,CAAA;AACtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,8BAA8B,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validators/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAA;AAClC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,6BAA6B,CAAA;AAC3C,cAAc,gCAAgC,CAAA;AAC9C,cAAc,+BAA+B,CAAA;AAC7C,cAAc,wCAAwC,CAAA;AACtD,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,8BAA8B,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lionweb/validation",
-  "version": "0.6.13-beta.6",
+  "version": "0.6.13-beta.7",
   "license": "Apache 2.0",
   "description": "LionWeb Serialization validation",
   "author": "jos.warmer@openmodeling.nl",
@@ -20,8 +20,8 @@
     "copyBuiltins": "node -e \"const fs = require('fs'); fs.copyFileSync('./src/languages/LionCore-builtins.json', './dist/languages/LionCore-builtins.json');\"",
     "lint": "eslint src",
     "test-here": "cd ../test && find dist/validation -type d | sed '1!G;h;$!d' | xargs npx mocha",
-    "release": "npm publish --registry https://registry.npmjs.org",
-    "release-beta": "npm publish --registry https://registry.npmjs.org --tag beta",
+    "release": "npm publish",
+    "release-beta": "npm publish --tag beta",
     "testValid": "node dist/runners/RunCheckFolder.js ../test/testset/valid",
     "testInvalid": "node dist/runners/RunCheckFolder.js ../test/testset/invalid",
     "testInvalidWithLanguage": "node dist/runners/RunCheckFolderWithLanguage.js ../test/testset/withLanguage/invalid/ ../test/testset/withLanguage/myLang.language.json",
@@ -29,10 +29,5 @@
     "publish-local": "npm publish --registry http://localhost:4873",
     "unpublish-local": "npm unpublish --force --registry http://localhost:4873",
     "republish-local": "yarn unpublish-local && yarn publish-local"
-  },
-  "dependencies": {
-    "@lionweb/json": "0.6.13-beta.5",
-    "@lionweb/ts-utils": "0.6.13-beta.5",
-    "@lionweb/json-utils": "0.6.13-beta.5"
   }
 }

package/src/diff/DiffResult.ts

@@ -0,0 +1,21 @@
+import { Change } from "./changes/Change.js"
+
+export class DiffResult {
+    changes: Change[] = []
+
+    change(issue: Change) {
+        this.changes.push(issue)
+    }
+
+    reset() {
+        this.changes = []
+    }
+
+    hasChanges(): boolean {
+        return this.changes.length !== 0
+    }
+    
+    asStringArray(): string[] {
+        return this.changes.map(ch => ch.changeMsg())
+    }
+}

package/src/diff/LionWebJsonDiff.ts

@@ -0,0 +1,309 @@
+import { JsonContext } from "../issues/index.js"
+import {
+    ChunkUtils,
+    isEqualMetaPointer, isEqualReferenceTarget,
+    LionWebJsonChunk,
+    LionWebJsonContainment,
+    LionWebJsonNode,
+    LionWebJsonProperty,
+    LionWebJsonReference,
+    LionWebJsonReferenceTarget,
+    LwJsonUsedLanguage,
+    NodeUtils
+} from "../json/index.js"
+import { Change, GenericChange, Missing } from "./changes/Change.js"
+import { LanguageAdded, LanguageRemoved, NodeAdded, NodeRemoved, SerializationFormatChange } from "./changes/ChunkChange.js"
+import { ChildAdded, ChildRemoved, ChildOrderChanged } from "./changes/ContainmentChange.js"
+import { AnnotationAdded, AnnotationOrderChanged, AnnotationRemoved, TargetAdded, TargetOrderChanged, TargetRemoved } from "./changes/index.js"
+import { NodeClassifierChanged, ParentChanged } from "./changes/NodeChange.js"
+import { PropertyValueChanged } from "./changes/PropertyChange.js"
+import { DiffResult } from "./DiffResult.js"
+
+/**
+ * Comparing LionWeb JSON chunks and find all differences
+ */
+export class LionWebJsonDiff {
+    diffResult = new DiffResult()
+
+    constructor() {}
+
+    change(change: Change): void {
+        this.diffResult.change(change)
+    }
+
+    diff(ctx: JsonContext, msg: string) {
+        const change = new GenericChange(ctx, msg)
+        this.diffResult.change(change)
+    }
+
+    /**
+     * Compare two LwNode objects and return their difference
+     * @param beforeNode
+     * @param afterNode
+     */
+    diffLwNode(ctx: JsonContext, beforeNode: LionWebJsonNode, afterNode: LionWebJsonNode): void {
+        if (!isEqualMetaPointer(beforeNode.classifier, afterNode.classifier)) {
+            this.change(new NodeClassifierChanged(ctx.concat("classifier"), beforeNode, beforeNode.classifier, afterNode.classifier))
+        }
+        if (beforeNode.parent !== afterNode.parent) {
+            this.change(new ParentChanged(ctx, beforeNode, beforeNode.parent, afterNode.parent))
+        }
+        // Find diff between previous and next properties
+        beforeNode.properties.forEach((beforeProperty: LionWebJsonProperty, index: number) => {
+            const afterProperty = NodeUtils.findProperty(afterNode, beforeProperty.property)
+            if (afterProperty === undefined) {
+                this.change(
+                    new PropertyValueChanged(
+                        ctx.concat("properties", index),
+                        beforeNode.id,
+                        beforeProperty.property,
+                        beforeProperty.value,
+                        null,
+                        Missing.MissingAfter
+                    ),
+                )
+            } else {
+                this.diffLwProperty(ctx.concat("properties", index), beforeNode, beforeProperty, afterProperty)
+            }
+        })
+        afterNode.properties.forEach((afterProperty: LionWebJsonProperty, index: number) => {
+            const beforeProperty = NodeUtils.findProperty(beforeNode, afterProperty.property)
+            if (beforeProperty === undefined) {
+                this.change(
+                    new PropertyValueChanged(
+                        ctx.concat("properties", index),
+                        beforeNode.id,
+                        afterProperty.property,
+                        null,
+                        afterProperty.value,
+                        Missing.MissingBefore
+                    ),
+                )
+            }
+            // no else, if the property exists in both nodes, the diff has been claculated in the loop before this one
+        })
+        beforeNode.containments.forEach((beforeContainment: LionWebJsonContainment, index: number) => {
+            const beforeKey = beforeContainment.containment.key
+            const afterContainment = NodeUtils.findChild(afterNode, beforeKey)
+            if (afterContainment === undefined) {
+                // NB No containment is considered equivalent to a containment with empty _children_
+                if (beforeContainment.children.length !== 0) {
+                    beforeContainment.children.forEach(childId => {
+                        this.change(new ChildRemoved(ctx.concat("containments", index), beforeNode, beforeContainment.containment, afterContainment, childId, Missing.MissingAfter))
+                    })
+                }
+            } else {
+                this.diffContainment(ctx.concat("containments", index), beforeNode, beforeContainment, afterContainment)
+            }
+        })
+        afterNode.containments.forEach((afterContainment: LionWebJsonContainment, index: number) => {
+            const afterKey = afterContainment.containment.key
+            const beforeContainment = NodeUtils.findChild(beforeNode, afterKey)
+            if (beforeContainment === undefined) {
+                if (afterContainment.children.length !== 0) {
+                    afterContainment.children.forEach(childId => {
+                        this.change(new ChildAdded(ctx.concat("containments", index), afterNode, afterContainment.containment, afterContainment, childId, Missing.MissingBefore))
+                    })
+                }
+            }
+            // No else, has already been done
+        })
+        beforeNode.references.forEach((beforeReference: LionWebJsonReference, index: number) => {
+            const afterReference = NodeUtils.findReference(afterNode, beforeReference.reference)
+            if (afterReference === undefined) {
+                if (beforeReference.targets.length !== 0) {
+                    beforeReference.targets.forEach(target => {
+                        this.change(new TargetRemoved(ctx.concat("references", index), afterNode, beforeReference, afterReference, target, Missing.MissingAfter))
+                    })
+                }
+            } else {
+                this.diffLwReference(ctx.concat("references", index), beforeNode, beforeReference, afterReference)
+            }
+        })
+        afterNode.references.forEach((afterReference: LionWebJsonReference, index: number) => {
+            const beforeReference = NodeUtils.findReference(afterNode, afterReference.reference)
+            if (beforeReference === undefined) {
+                if (afterReference.targets.length !== 0) {
+                    afterReference.targets.forEach(target => {
+                        this.change(new TargetAdded(ctx.concat("references", index), afterNode, beforeReference, afterReference, target, Missing.MissingBefore))
+                    })
+                }
+            }
+        })
+        if (beforeNode.annotations !== undefined && afterNode.annotations !== undefined) {
+            let annotationDiffFound = false
+            beforeNode.annotations.forEach((beforeAnn: string, index: number) => {
+                if (!afterNode.annotations.includes(beforeAnn)) {
+                    annotationDiffFound = true
+                    this.change(new AnnotationRemoved(ctx, beforeNode, afterNode, beforeAnn, index))
+                }
+            })
+            afterNode.annotations.forEach((afterAnn: string, index: number) => {
+                if (!beforeNode.annotations.includes(afterAnn)) {
+                    annotationDiffFound = true
+                    this.change(new AnnotationAdded(ctx, beforeNode, afterNode, afterAnn, index))
+                }
+            })
+            if (!annotationDiffFound) {
+                for (let i: number = 0; i < afterNode.annotations.length; i++) {
+                    if (afterNode.annotations[i] !== beforeNode.annotations[i]) {
+                        this.change(new AnnotationOrderChanged(ctx.concat("annotations"), beforeNode, afterNode, "", i))
+                        break
+                    }
+                }
+            }
+        }
+    }
+
+    diffLwChunk(beforeChunk: LionWebJsonChunk, afterChunk: LionWebJsonChunk): void {
+        const ctx = new JsonContext(null, ["$"])
+        if (beforeChunk.serializationFormatVersion !== afterChunk.serializationFormatVersion) {
+            this.change(
+                new SerializationFormatChange(
+                    ctx.concat("serializationFormatVersion"),
+                    beforeChunk.serializationFormatVersion,
+                    afterChunk.serializationFormatVersion,
+                ),
+            )
+        }
+        beforeChunk.languages.forEach((beforeLanguage: LwJsonUsedLanguage, index: number) => {
+            const afterLanguage = ChunkUtils.findLwUsedLanguage(afterChunk, beforeLanguage.key)
+            if (afterLanguage === null) {
+                this.change(new LanguageRemoved(ctx.concat("languages", index), beforeLanguage))
+            } else {
+                this.diffLwUsedLanguage(ctx.concat("languages", index), beforeLanguage, afterLanguage)
+            }
+        })
+        afterChunk.languages.forEach((afterLanguage: LwJsonUsedLanguage, index: number) => {
+            const beforeLanguage = ChunkUtils.findLwUsedLanguage(beforeChunk, afterLanguage.key)
+            if (beforeLanguage === null) {
+                this.change(new LanguageAdded(ctx.concat("languages", index), afterLanguage))
+            }
+        })
+        beforeChunk.nodes.forEach((beforeNode: LionWebJsonNode, index: number) => {
+            const beforeId = beforeNode.id
+            const afterNode = ChunkUtils.findNode(afterChunk, beforeId)
+            const newCtx = ctx.concat("nodes", index)
+            if (afterNode === null || afterNode === undefined) {
+                this.change(new NodeRemoved(ctx, beforeNode))
+            } else {
+                this.diffLwNode(newCtx, beforeNode, afterNode)
+            }
+        })
+        afterChunk.nodes.forEach((afterNode: LionWebJsonNode, index: number) => {
+            const afterId = afterNode.id
+            const beforeNode = ChunkUtils.findNode(beforeChunk, afterId)
+            if (beforeNode === null) {
+                this.change(new NodeAdded(ctx.concat("nodes", index), afterNode))
+            }
+        })
+    }
+
+    diffContainment(
+        ctx: JsonContext,
+        node: LionWebJsonNode,
+        beforeContainment: LionWebJsonContainment,
+        afterContainment: LionWebJsonContainment,
+    ): void {
+        if (!isEqualMetaPointer(beforeContainment.containment, afterContainment.containment)) {
+            console.error("diffContainment: MetaPointers of containments should be identical")
+            this.diff(
+                ctx,
+                `Containment Object has concept ${JSON.stringify(beforeContainment.containment)} vs ${JSON.stringify(
+                    afterContainment.containment,
+                )}`,
+            )
+        }
+        // Check whether children exist in both objects (two for loops)
+        // TODO Also check for the order that can be changed!!!
+        let changeFound = false
+        for (const childId1 of beforeContainment.children) {
+            if (!afterContainment.children.includes(childId1)) {
+                changeFound = true
+                this.change(new ChildRemoved(ctx, node, beforeContainment.containment, afterContainment, childId1))
+            }
+        }
+        for (const childId2 of afterContainment.children) {
+            if (!beforeContainment.children.includes(childId2)) {
+                changeFound = true
+                this.change(new ChildAdded(ctx, node, beforeContainment.containment, afterContainment, childId2))
+            }
+        }
+        if (!changeFound) {
+            for (let i: number = 0; i < afterContainment.children.length; i++) {
+                if (afterContainment.children[i] !== beforeContainment.children[i]) {
+                    this.change(new ChildOrderChanged(ctx.concat("children"), node, afterContainment.containment, afterContainment, ""))
+                    break
+                }
+            }
+        }
+    }
+
+    diffLwReference(ctx: JsonContext, node: LionWebJsonNode, beforeRef: LionWebJsonReference, afterRef: LionWebJsonReference): void {
+        if (!isEqualMetaPointer(beforeRef.reference, afterRef.reference)) {
+            console.error("diffContainment: MetaPointers of references should be identical")
+            this.diff(ctx, `Reference has concept ${JSON.stringify(beforeRef.reference)} vs ${JSON.stringify(afterRef.reference)}`)
+        }
+        let diffFound = false;
+        beforeRef.targets.forEach((beforeTarget: LionWebJsonReferenceTarget, index: number) => {
+            const afterTarget = NodeUtils.findReferenceTarget(afterRef.targets, beforeTarget)
+            if (afterTarget === undefined) {
+                this.change(new TargetRemoved(ctx.concat("targets", index), node, beforeRef, afterRef, beforeTarget))
+                diffFound = true
+            } else {
+                if (!isEqualReferenceTarget(beforeTarget, afterTarget)) {
+                    this.diff(
+                        ctx.concat("targets", index),
+                        `ERROR: reference target ${JSON.stringify(beforeTarget)} vs ${JSON.stringify(afterTarget)}`,
+                    )
+                }
+            }
+        })
+        afterRef.targets.forEach((afterTarget: LionWebJsonReferenceTarget, index: number) => {
+            const beforeTarget = NodeUtils.findReferenceTarget(beforeRef.targets, afterTarget)
+            if (beforeTarget === undefined) {
+                this.change(new TargetAdded(ctx.concat("targets", index), node, beforeRef, afterRef, afterTarget))
+                diffFound = true
+            } else {
+                if (!isEqualReferenceTarget(beforeTarget, afterTarget)) {
+                    this.diff(
+                        ctx.concat("targets", index),
+                        `ERROR: reference target ${JSON.stringify(beforeTarget)} vs ${JSON.stringify(afterTarget)}`,
+                    )
+                }
+            }
+        })
+        if (!diffFound) {
+            for (let i: number = 0; i < beforeRef.targets.length; i++) {
+                if (!isEqualReferenceTarget(beforeRef.targets[i], afterRef.targets[i])) {
+                    this.change(new TargetOrderChanged(ctx.concat("targets"), node, beforeRef, afterRef, beforeRef.targets[i]))
+                    break
+                }
+            }
+        }
+    }
+
+    private diffLwUsedLanguage(ctx: JsonContext, obj1: LwJsonUsedLanguage, obj2: LwJsonUsedLanguage) {
+        if (obj1.key !== obj2.key || obj1.version !== obj2.version) {
+            this.diff(ctx, `Different used languages ${JSON.stringify(obj1)} vs ${JSON.stringify(obj2)}`)
+        }
+    }
+
+    private diffLwProperty(
+        ctx: JsonContext,
+        node: LionWebJsonNode,
+        beforeProperty: LionWebJsonProperty,
+        afterProperty: LionWebJsonProperty,
+    ) {
+        if (!isEqualMetaPointer(beforeProperty.property, afterProperty.property)) {
+            console.error("diffContainment: MetaPointers of properties should be identical")
+            this.diff(
+                ctx,
+                `Property Object has concept ${JSON.stringify(beforeProperty.property)} vs ${JSON.stringify(afterProperty.property)}`,
+            )
+        }
+        if (beforeProperty.value !== afterProperty.value) {
+            this.change(new PropertyValueChanged(ctx, node.id, beforeProperty.property, beforeProperty.value, afterProperty.value))
+        }
+    }
+}

package/src/diff/changes/Change.ts

@@ -0,0 +1,76 @@
+import { JsonContext } from "../../issues/index.js"
+
+export type ChangeType =
+    | "GenericChange"
+    | "NodeRemoved"
+    | "NodeAdded"
+    | "ChildRemoved"
+    | "ChildAdded"
+    | "ParentChanged"
+    | "PropertyValueChanged"
+    | "SerializationFormatChange"
+    | "PropertyRemoved"
+    | "PropertyAdded"
+    | "NodeClassifierChanged"
+    | "ContainmentAdded"
+    | "ContainmentRemoved"
+    | "LanguageRemoved"
+    | "LanguageAdded"
+    | "TargetAdded"
+    | "TargetRemoved"
+    | "ReferenceRemoved"
+    | "ReferenceAdded"
+    | "AnnotationRemoved"
+    | "AnnotationAdded"
+    | "ChildOrderChanged"
+    | "AnnotationOrderChanged"
+    | "TargetOrderChanged"
+
+/**
+ * Additionbal property in property, contauinment and reference changes to state
+ * that the whole property/ containment / reference definition is missing.
+ */
+export enum Missing {
+    /**
+     * Both before and after have a definition for the property / containment / reference
+     */
+    NotMissing,
+    /**
+     * The definition is missing _before_ for the property / containment / reference
+     */
+    MissingBefore,
+    /**
+     * The definition is missing _after_ for the property / containment / reference
+     */
+    MissingAfter
+}
+
+export abstract class Change {
+    abstract readonly changeType: ChangeType
+    context: JsonContext
+
+    constructor(context: JsonContext) {
+        this.context = context
+    }
+
+    protected abstract msg(): string
+
+    public changeMsg(): string {
+        return `${this.changeType}: ${this.msg()} at ${this.context.toString()} `
+    }
+}
+
+export class GenericChange extends Change {
+    readonly changeType = "GenericChange"
+
+    constructor(
+        context: JsonContext,
+        protected message: string,
+    ) {
+        super(context)
+    }
+
+    protected msg(): string {
+        return this.message
+    }
+}

package/src/diff/changes/ChunkChange.ts

@@ -0,0 +1,68 @@
+import { JsonContext } from "../../issues/index.js"
+import { LionWebJsonNode, LwJsonUsedLanguage } from "../../json/index.js"
+import { Change } from "./Change.js"
+
+export abstract class ChunkChange extends Change {
+    constructor(public context: JsonContext) {
+        super(context)
+    }
+}
+
+export class SerializationFormatChange extends ChunkChange {
+    readonly changeType = "SerializationFormatChange"
+
+    constructor(
+        public context: JsonContext,
+        protected original: string,
+        protected newValue: string,
+    ) {
+        super(context)
+    }
+
+    protected msg = () => `Serialization versions do not match: ${this.original} vs ${this.newValue}`
+}
+
+export class NodeRemoved extends ChunkChange {
+    readonly changeType = "NodeRemoved"
+
+    constructor(
+        public context: JsonContext,
+        public node: LionWebJsonNode,
+    ) {
+        super(context)
+    }
+
+    protected msg = () => `Node ${this.node.id} is removed`
+}
+
+export class NodeAdded extends ChunkChange {
+    readonly changeType = "NodeAdded"
+
+    constructor(
+        public context: JsonContext,
+        public node: LionWebJsonNode,
+    ) {
+        super(context)
+    }
+
+    protected msg = () => `Node ${this.node.id} is added`
+}
+
+export abstract class LanguageChange extends ChunkChange {
+    constructor(
+        public context: JsonContext,
+        public language: LwJsonUsedLanguage,
+    ) {
+        super(context)
+    }
+}
+
+export class LanguageRemoved extends LanguageChange {
+    readonly changeType = "LanguageRemoved"
+    protected msg = () => `Language with  key ${this.language.key} and version ${this.language.version} is removed`
+}
+
+export class LanguageAdded extends LanguageChange {
+    readonly changeType = "LanguageAdded"
+    protected msg = () => `Language with  key ${this.language.key} and version ${this.language.version} is added`
+}

package/src/diff/changes/ContainmentChange.ts

@@ -0,0 +1,32 @@
+import { JsonContext } from "../../issues/index.js"
+import { LionWebJsonContainment, LionWebJsonMetaPointer, LionWebJsonNode } from "../../json/index.js"
+import { Change, Missing } from "./Change.js"
+
+export abstract class ContainmentChange extends Change {
+    constructor(
+        public context: JsonContext,
+        public parentNode: LionWebJsonNode,
+        public containment: LionWebJsonMetaPointer,
+        public afterContainment: LionWebJsonContainment | undefined,
+        public childId: string,
+        public missing = Missing.NotMissing
+    ) {
+        super(context)
+    }
+}
+
+export class ChildAdded extends ContainmentChange {
+    readonly changeType = "ChildAdded"
+    protected msg = () => `Node "${this.parentNode.id}" added child "${this.childId}" to containment ${this.containment.key}`
+}
+
+export class ChildRemoved extends ContainmentChange {
+    readonly changeType = "ChildRemoved"
+    protected msg = () => `Node "${this.parentNode.id}" removed child "${this.childId}" from containment "${this.containment.key}"`
+}
+
+export class ChildOrderChanged extends ContainmentChange {
+    readonly changeType = "ChildOrderChanged"
+    protected msg = () => `Node "${this.parentNode.id}" changed order of children in containment "${this.containment.key}"`
+}
+