@lionweb/validation 0.7.0-beta.10 → 0.7.0-beta.12

package/dist/runners/RunCheckOneFileWithLanguage.js

@@ -0,0 +1,31 @@
+import fs from "fs";
+import { LanguageRegistry } from "../languages/index.js";
+import { LionWebLanguageWrapper } from "../languages/LionWebLanguageWrapper.js";
+import { LionWebValidator } from "../validators/LionWebValidator.js";
+import { printIssues } from "./Utils.js";
+const modelFile = process.argv[2];
+const language = process.argv[3];
+if (modelFile !== null) {
+    const jsonString1 = fs.readFileSync(modelFile, "utf-8");
+    const jsonModel = JSON.parse(jsonString1);
+    const languageString = fs.readFileSync(language, "utf-8");
+    const languageJson = JSON.parse(languageString);
+    const m3String = fs.readFileSync("src/json/LionCore_M3.json", "utf-8");
+    const m3Json = JSON.parse(m3String);
+    const builtinString = fs.readFileSync("src/json/LionCore_builtins.json", "utf-8");
+    const builtinJson = JSON.parse(builtinString);
+    const registry = new LanguageRegistry();
+    registry.addLanguage(new LionWebLanguageWrapper(m3Json));
+    registry.addLanguage(new LionWebLanguageWrapper(builtinJson));
+    registry.addLanguage(new LionWebLanguageWrapper(languageJson));
+    const languageValidator = new LionWebValidator(languageJson, registry);
+    languageValidator.validateSyntax();
+    languageValidator.validateReferences();
+    console.log("===== Language errors ======");
+    printIssues(languageValidator.validationResult);
+    const modelValidator = new LionWebValidator(jsonModel, registry);
+    modelValidator.validateAll();
+    console.log("===== Model errors ======");
+    printIssues(modelValidator.validationResult);
+}
+//# sourceMappingURL=RunCheckOneFileWithLanguage.js.map

package/dist/runners/RunCheckOneFileWithLanguage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RunCheckOneFileWithLanguage.js","sourceRoot":"","sources":["../../src/runners/RunCheckOneFileWithLanguage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAA;AACnB,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAA;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAA;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEhC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;IACrB,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IACvD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,cAAc,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IACzD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;IAC/C,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAA;IACtE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACnC,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,iCAAiC,EAAE,OAAO,CAAC,CAAA;IACjF,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAA;IAC7C,MAAM,QAAQ,GAAG,IAAI,gBAAgB,EAAE,CAAA;IACvC,QAAQ,CAAC,WAAW,CAAC,IAAI,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,CAAC,IAAI,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,WAAW,CAAC,IAAI,sBAAsB,CAAC,YAAY,CAAC,CAAC,CAAA;IAE9D,MAAM,iBAAiB,GAAG,IAAI,gBAAgB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;IAEtE,iBAAiB,CAAC,cAAc,EAAE,CAAA;IAClC,iBAAiB,CAAC,kBAAkB,EAAE,CAAA;IACtC,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAA;IAC3C,WAAW,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAA;IAE/C,MAAM,cAAc,GAAG,IAAI,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAChE,cAAc,CAAC,WAAW,EAAE,CAAA;IAC5B,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAA;IACxC,WAAW,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAA;AAChD,CAAC"}

package/dist/runners/RunLioncoreDiff.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=RunLioncoreDiff.d.ts.map

package/dist/runners/RunLioncoreDiff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RunLioncoreDiff.d.ts","sourceRoot":"","sources":["../../src/runners/RunLioncoreDiff.ts"],"names":[],"mappings":""}

package/dist/runners/RunLioncoreDiff.js

@@ -0,0 +1,22 @@
+import { LionWebJsonDiff } from "@lionweb/json-diff";
+import fs from "fs";
+const file1 = process.argv[2];
+const file2 = process.argv[3];
+if (file1 !== null && file1 !== undefined) {
+    const jsonString1 = fs.readFileSync(file1, "utf-8");
+    const json1 = JSON.parse(jsonString1);
+    const jsonString2 = fs.readFileSync(file2, "utf-8");
+    const json2 = JSON.parse(jsonString2);
+    const lwDiff = new LionWebJsonDiff();
+    lwDiff.diffLwChunk(json1, json2);
+    if (lwDiff.diffResult.changes.length === 0) {
+        console.log("LionWebJsonDiff: equal");
+    }
+    else {
+        console.log("LionWebJsonDiff: " + lwDiff.diff);
+    }
+}
+else {
+    console.log("Error in arguments");
+}
+//# sourceMappingURL=RunLioncoreDiff.js.map

package/dist/runners/RunLioncoreDiff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RunLioncoreDiff.js","sourceRoot":"","sources":["../../src/runners/RunLioncoreDiff.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,MAAM,IAAI,CAAA;AAEnB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAE7B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;IACxC,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IACrC,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IAErC,MAAM,MAAM,GAAG,IAAI,eAAe,EAAE,CAAA;IACpC,MAAM,CAAC,WAAW,CAAC,KAAyB,EAAE,KAAyB,CAAC,CAAA;IACxE,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAA;IACzC,CAAC;SAAM,CAAC;QACJ,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAClD,CAAC;AACL,CAAC;KAAM,CAAC;IACJ,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAA;AACrC,CAAC"}

package/dist/runners/Utils.d.ts

@@ -0,0 +1,7 @@
+import { ValidationResult } from "../validators/generic/ValidationResult.js";
+export declare function getFilesRecursive(dirPath: string, arrayOfFiles: string[]): string[];
+export declare function getFilesDirect(dirPath: string, arrayOfFiles: string[]): string[];
+export declare function getAllDirectories(dirPath: string, arrayOfDirs: string[]): string[];
+export declare function printIssues(result: ValidationResult, file?: string): void;
+export declare function issuestoString(vresult: ValidationResult, file?: string): string;
+//# sourceMappingURL=Utils.d.ts.map

package/dist/runners/Utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Utils.d.ts","sourceRoot":"","sources":["../../src/runners/Utils.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAA;AAE5E,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAYxE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAUrE;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAavE;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAEzE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAI/E"}

package/dist/runners/Utils.js

@@ -0,0 +1,48 @@
+import fs from "fs";
+import path from "path";
+export function getFilesRecursive(dirPath, arrayOfFiles) {
+    const files = fs.readdirSync(dirPath);
+    arrayOfFiles = arrayOfFiles || [];
+    files.forEach(function (file) {
+        if (fs.statSync(dirPath + "/" + file).isDirectory()) {
+            arrayOfFiles = getFilesRecursive(dirPath + "/" + file, arrayOfFiles);
+        }
+        else {
+            arrayOfFiles.push(path.join(dirPath, "/", file));
+        }
+    });
+    return arrayOfFiles;
+}
+export function getFilesDirect(dirPath, arrayOfFiles) {
+    const files = fs.readdirSync(dirPath);
+    arrayOfFiles = arrayOfFiles || [];
+    files.forEach(function (file) {
+        if (fs.statSync(dirPath + "/" + file).isFile()) {
+            arrayOfFiles.push(file);
+        }
+    });
+    return arrayOfFiles;
+}
+export function getAllDirectories(dirPath, arrayOfDirs) {
+    const files = fs.readdirSync(dirPath, { withFileTypes: true });
+    arrayOfDirs = arrayOfDirs || [];
+    files.forEach(function (file) {
+        if (file.isDirectory()) {
+            arrayOfDirs = getAllDirectories(dirPath + "/" + file.name, arrayOfDirs);
+            arrayOfDirs.push(path.join(dirPath, "/", file.name));
+        }
+        else {
+            // ignore files
+        }
+    });
+    return arrayOfDirs;
+}
+export function printIssues(result, file) {
+    result.issues.forEach(issue => console.log((file == undefined ? "" : `File ${file}: `) + issue.errorMsg()));
+}
+export function issuestoString(vresult, file) {
+    let result = "ISSUES: ";
+    vresult.issues.forEach(issue => (result += (file === undefined ? "NOFILE" : `File ${file}: `) + issue.errorMsg() + "\n"));
+    return result;
+}
+//# sourceMappingURL=Utils.js.map

package/dist/runners/Utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Utils.js","sourceRoot":"","sources":["../../src/runners/Utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAA;AACnB,OAAO,IAAI,MAAM,MAAM,CAAA;AAGvB,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,YAAsB;IACrE,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;IACrC,YAAY,GAAG,YAAY,IAAI,EAAE,CAAA;IAEjC,KAAK,CAAC,OAAO,CAAC,UAAU,IAAY;QAChC,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YAClD,YAAY,GAAG,iBAAiB,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,EAAE,YAAY,CAAC,CAAA;QACxE,CAAC;aAAM,CAAC;YACJ,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;QACpD,CAAC;IACL,CAAC,CAAC,CAAA;IACF,OAAO,YAAY,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAe,EAAE,YAAsB;IAClE,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;IACrC,YAAY,GAAG,YAAY,IAAI,EAAE,CAAA;IAEjC,KAAK,CAAC,OAAO,CAAC,UAAU,IAAY;QAChC,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3B,CAAC;IACL,CAAC,CAAC,CAAA;IACF,OAAO,YAAY,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,WAAqB;IACpE,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;IAC9D,WAAW,GAAG,WAAW,IAAI,EAAE,CAAA;IAE/B,KAAK,CAAC,OAAO,CAAC,UAAU,IAAe;QACnC,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACrB,WAAW,GAAG,iBAAiB,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;YACvE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QACxD,CAAC;aAAM,CAAC;YACJ,eAAe;QACnB,CAAC;IACL,CAAC,CAAC,CAAA;IACF,OAAO,WAAW,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAwB,EAAE,IAAa;IAC/D,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;AAC/G,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAyB,EAAE,IAAa;IACnE,IAAI,MAAM,GAAG,UAAU,CAAA;IACvB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IACzH,OAAO,MAAM,CAAA;AACjB,CAAC"}

package/dist/runners/index.d.ts

@@ -0,0 +1,3 @@
+export * from "./FileUtils.js";
+export * from "./Utils.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/runners/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA"}

package/dist/runners/index.js

@@ -0,0 +1,3 @@
+export * from "./FileUtils.js";
+export * from "./Utils.js";
+//# sourceMappingURL=index.js.map

package/dist/runners/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/runners/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA"}

package/dist/validators/LionWebChunkDefinitions.d.ts

@@ -0,0 +1,9 @@
+import { DefinitionSchema } from "./generic/index.js";
+/**
+ * The structure below defines the structure of a LionWeb Chunk by defining all the properties.
+ * It can
+ *   - be used by the SyntaxValidator to validate an object sat runtime.
+ *   - used to generate all the TypeScript types for a LionWebChunk.
+ */
+export declare const LionWebSchema: DefinitionSchema;
+//# sourceMappingURL=LionWebChunkDefinitions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebChunkDefinitions.d.ts","sourceRoot":"","sources":["../../src/validators/LionWebChunkDefinitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAA2C,MAAM,oBAAoB,CAAA;AAG9F;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,gBA0F1B,CAAA"}

package/{src/validators/LionWebChunkDefinitions.ts → dist/validators/LionWebChunkDefinitions.js}

@@ -1,13 +1,12 @@
-import { DefinitionSchema,  MAY_BE_NULL, PropertyDef, PrimitiveDef } from "./generic/index.js"
-import { validateId, validateKey, validateSerializationFormatVersion, validateVersion } from "./ValidationFunctions.js"
-
+import { DefinitionSchema, MAY_BE_NULL, PropertyDef, PrimitiveDef } from "./generic/index.js";
+import { validateId, validateKey, validateSerializationFormatVersion, validateVersion } from "./ValidationFunctions.js";
 /**
  * The structure below defines the structure of a LionWeb Chunk by defining all the properties.
  * It can
  *   - be used by the SyntaxValidator to validate an object sat runtime.
  *   - used to generate all the TypeScript types for a LionWebChunk.
  */
-export const LionWebSchema: DefinitionSchema = new DefinitionSchema([
+export const LionWebSchema = new DefinitionSchema([
     {
         name: "LionWebJsonMetaPointer",
         properties: [
@@ -76,8 +75,8 @@ export const LionWebSchema: DefinitionSchema = new DefinitionSchema([
     {
         name: "LionWebJsonReference",
         properties: [
-            PropertyDef({ name: "reference", type: "LionWebJsonMetaPointer"}),
-            PropertyDef({ name: "targets", type: "LionWebJsonReferenceTarget", isList: true}),
+            PropertyDef({ name: "reference", type: "LionWebJsonMetaPointer" }),
+            PropertyDef({ name: "targets", type: "LionWebJsonReferenceTarget", isList: true }),
         ]
     },
     {
@@ -93,12 +92,9 @@ export const LionWebSchema: DefinitionSchema = new DefinitionSchema([
      */
     PrimitiveDef({ name: "LionWebId", primitiveType: "string", validate: validateId }),
     PrimitiveDef({ name: "LionWebKey", primitiveType: "string", validate: validateKey }),
-    PrimitiveDef({ name: "LionWebVersion",primitiveType: "string", validate: validateVersion }),
-    PrimitiveDef({ name: "LionWebSerializationFormatVersion",primitiveType: "string", validate: validateSerializationFormatVersion }),
+    PrimitiveDef({ name: "LionWebVersion", primitiveType: "string", validate: validateVersion }),
+    PrimitiveDef({ name: "LionWebSerializationFormatVersion", primitiveType: "string", validate: validateSerializationFormatVersion }),
     PrimitiveDef({ name: "JSstring", primitiveType: "string" }),
-    PrimitiveDef({ name: "JSobject",primitiveType: "object" }),
-])
-
-
-
-
+    PrimitiveDef({ name: "JSobject", primitiveType: "object" }),
+]);
+//# sourceMappingURL=LionWebChunkDefinitions.js.map

package/dist/validators/LionWebChunkDefinitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebChunkDefinitions.js","sourceRoot":"","sources":["../../src/validators/LionWebChunkDefinitions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAG,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAC9F,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,kCAAkC,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAEvH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAqB,IAAI,gBAAgB,CAAC;IAChE;QACI,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YAChD,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;YACxD,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;SACxD;KACJ;IACD;QACI,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YAChD,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;YACxD,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;SACxD;KACJ;IACD;QACI,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YAC/C,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YAClD,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;SACrF;KACJ;IACD;QACI,IAAI,EAAE,kBAAkB;QACxB,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,mCAAmC,EAAE,CAAC;YAC9F,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,yBAAyB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACjF,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;SACxE;KACJ;IACD;QACI,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YAChD,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;SAC3D;KACJ;IACD;QACI,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAC9C,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;YACnE,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YAC9E,WAAW,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACnF,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YAC/E,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACrE,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;SAC7E;KACJ;IACD;QACI,IAAI,EAAE,qBAAqB;QAC3B,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;YACjE,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;SAC3E;KACJ;IACD;QACI,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;YACpE,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;SACrE;KACJ;IACD;QACI,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAC,CAAC;YACjE,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,4BAA4B,EAAE,MAAM,EAAE,IAAI,EAAC,CAAC;SACpF;KACJ;IACD;QACI,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE;YACR,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;YAC9E,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;SAChF;KACJ;IACD;;;OAGG;IACH,YAAY,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IAClF,YAAY,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACpF,YAAY,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAC,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC3F,YAAY,CAAC,EAAE,IAAI,EAAE,mCAAmC,EAAC,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,kCAAkC,EAAE,CAAC;IACjI,YAAY,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;IAC3D,YAAY,CAAC,EAAE,IAAI,EAAE,UAAU,EAAC,aAAa,EAAE,QAAQ,EAAE,CAAC;CAC7D,CAAC,CAAA"}

package/dist/validators/LionWebLanguageReferenceValidator.d.ts

@@ -0,0 +1,21 @@
+import { LionWebJsonNode, LionWebJsonProperty } from "@lionweb/json";
+import { JsonContext, LionWebJsonChunkWrapper } from "@lionweb/json-utils";
+import { LanguageRegistry } from "../languages/index.js";
+import { ValidationResult } from "./generic/ValidationResult.js";
+/**
+ * Check against the language definition
+ */
+export declare class LionWebLanguageReferenceValidator {
+    private registry;
+    validationResult: ValidationResult;
+    constructor(validationResult: ValidationResult, registry: LanguageRegistry);
+    validate(obj: LionWebJsonChunkWrapper): void;
+    private validateContainment;
+    private validateReference;
+    /**
+     * Checks wwhether the value of `prop1` is correct in relation with its property definition in the referred language.
+     * @param prop
+     */
+    validateProperty(_node: LionWebJsonNode, nodeConcept: LionWebJsonNode | undefined, prop: LionWebJsonProperty, context: JsonContext): void;
+}
+//# sourceMappingURL=LionWebLanguageReferenceValidator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LionWebLanguageReferenceValidator.d.ts","sourceRoot":"","sources":["../../src/validators/LionWebLanguageReferenceValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8C,eAAe,EAAE,mBAAmB,EAAwB,MAAM,eAAe,CAAA;AACtI,OAAO,EACH,WAAW,EAGX,uBAAuB,EAI1B,MAAM,qBAAqB,CAAA;AAmB5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAIhE;;GAEG;AACH,qBAAa,iCAAiC;IAGM,OAAO,CAAC,QAAQ;IAFhE,gBAAgB,EAAE,gBAAgB,CAAA;gBAEtB,gBAAgB,EAAE,gBAAgB,EAAU,QAAQ,EAAE,gBAAgB;IASlF,QAAQ,CAAC,GAAG,EAAE,uBAAuB,GAAG,IAAI;IAoB5C,OAAO,CAAC,mBAAmB;IAmB3B,OAAO,CAAC,iBAAiB;IAwBzB;;;OAGG;IACH,gBAAgB,CAAC,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,eAAe,GAAG,SAAS,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI;CAqF5I"}

package/{src/validators/LionWebLanguageReferenceValidator.ts → dist/validators/LionWebLanguageReferenceValidator.js}

@@ -1,201 +1,166 @@
-import { isEqualMetaPointer, LionWebJsonContainment, LionWebJsonNode, LionWebJsonProperty, LionWebJsonReference } from "@lionweb/json"
-import {
-    JsonContext,
-    LION_CORE_BUILTINS_INAMED_NAME,
-    LIONWEB_BOOLEAN_TYPE, LIONWEB_INTEGER_TYPE, LIONWEB_JSON_TYPE, LIONWEB_STRING_TYPE,
-    LionWebJsonChunkWrapper,
-    M3_Keys,
-    MetaPointers,
-    NodeUtils
-} from "@lionweb/json-utils"
-import {
-    Language_ContainmentMetaPointerNotInClass_Issue,
-    Language_IncorrectPropertyMetaPointer_Issue,
-    Language_PropertyMetaPointerNotInClass_Issue,
-    Language_PropertyValue_Issue,
-    Language_ReferenceMetaPointerNotInClass_Issue,
-    Language_UnknownConcept_Issue
-} from "../issues/index.js"
-import {
-    Language_IncorrectContainmentMetaPointer_Issue,
-    Language_IncorrectReferenceMetaPointer_Issue,
-    Language_UnknownContainment_Issue,
-    Language_UnknownProperty_Issue,
-    Language_UnknownReference_Issue
-} from "../issues/LanguageIssues.js"
-// import {
-//     KnownLanguages, LanguageRegistry
-// } from "../languages/LanguageRegistry.js"
-import { LanguageRegistry } from "../languages/index.js"
-import { ValidationResult } from "./generic/ValidationResult.js"
-import { validateBoolean, validateInteger, validateJSON } from "./ValidationFunctions.js"
-
-
+import { isEqualMetaPointer } from "@lionweb/json";
+import { JsonContext, LION_CORE_BUILTINS_INAMED_NAME, LIONWEB_BOOLEAN_TYPE, LIONWEB_INTEGER_TYPE, LIONWEB_JSON_TYPE, LIONWEB_STRING_TYPE, M3_Keys, MetaPointers, NodeUtils } from "@lionweb/json-utils";
+import { Language_ContainmentMetaPointerNotInClass_Issue, Language_IncorrectPropertyMetaPointer_Issue, Language_PropertyMetaPointerNotInClass_Issue, Language_PropertyValue_Issue, Language_ReferenceMetaPointerNotInClass_Issue, Language_UnknownConcept_Issue } from "../issues/index.js";
+import { Language_IncorrectContainmentMetaPointer_Issue, Language_IncorrectReferenceMetaPointer_Issue, Language_UnknownContainment_Issue, Language_UnknownProperty_Issue, Language_UnknownReference_Issue } from "../issues/LanguageIssues.js";
+import { validateBoolean, validateInteger, validateJSON } from "./ValidationFunctions.js";
 /**
  * Check against the language definition
  */
 export class LionWebLanguageReferenceValidator {
-    validationResult: ValidationResult
-
-    constructor(validationResult: ValidationResult, private registry: LanguageRegistry) {
-        this.validationResult = validationResult
+    constructor(validationResult, registry) {
+        this.registry = registry;
+        this.validationResult = validationResult;
     }
-
     // reset() {
     //     this.validationResult.reset();
     // }
-
     // TODO test reference and children implementation
-    validate(obj: LionWebJsonChunkWrapper): void {
+    validate(obj) {
         obj.jsonChunk.nodes.forEach((node, nodeIndex) => {
-            const nodeContext = new JsonContext(null, ["node", nodeIndex])
-            const nodeConcept = this.registry.getNodeByMetaPointer(node.classifier)
+            const nodeContext = new JsonContext(null, ["node", nodeIndex]);
+            const nodeConcept = this.registry.getNodeByMetaPointer(node.classifier);
             if (nodeConcept === undefined && nodeContext !== undefined) {
-                this.validationResult.issue(new Language_UnknownConcept_Issue(nodeContext, node.classifier))
-                return
+                this.validationResult.issue(new Language_UnknownConcept_Issue(nodeContext, node.classifier));
+                return;
             }
             node.properties.forEach((property, propIndex) => {
-                this.validateProperty(node, nodeConcept, property, nodeContext.concat("properties", propIndex))
-            })
+                this.validateProperty(node, nodeConcept, property, nodeContext.concat("properties", propIndex));
+            });
             node.containments.forEach((containment, childIndex) => {
-                this.validateContainment(node, nodeConcept, containment, nodeContext.concat("containments", childIndex))
-            })
+                this.validateContainment(node, nodeConcept, containment, nodeContext.concat("containments", childIndex));
+            });
             node.references.forEach((reference, refIndex) => {
-                this.validateReference(node, nodeConcept, reference, nodeContext.concat("references", refIndex))
-            })
-        })
+                this.validateReference(node, nodeConcept, reference, nodeContext.concat("references", refIndex));
+            });
+        });
     }
-
-    private validateContainment(node: LionWebJsonNode, nodeConcept: LionWebJsonNode | undefined, containment: LionWebJsonContainment, context: JsonContext) {
-        const metaConcept = this.registry.getNodeByMetaPointer(containment.containment)
+    validateContainment(_node, nodeConcept, containment, context) {
+        const metaConcept = this.registry.getNodeByMetaPointer(containment.containment);
         if (metaConcept === null || metaConcept === undefined) {
-            this.validationResult.issue(new Language_UnknownContainment_Issue(context, containment.containment))
-            return
+            this.validationResult.issue(new Language_UnknownContainment_Issue(context, containment.containment));
+            return;
         }
         if (metaConcept.classifier.key !== M3_Keys.Containment) {
-            this.validationResult.issue(new Language_IncorrectContainmentMetaPointer_Issue(context, containment.containment, metaConcept.classifier.key))
+            this.validationResult.issue(new Language_IncorrectContainmentMetaPointer_Issue(context, containment.containment, metaConcept.classifier.key));
         }
         if (nodeConcept !== undefined) {
-            const cons = this.registry.languages.allContainments(nodeConcept)
+            const cons = this.registry.languages.allContainments(nodeConcept);
             if (!cons.includes(metaConcept)) {
-                this.validationResult.issue(new Language_ContainmentMetaPointerNotInClass_Issue(context, containment.containment, nodeConcept))
-                return
+                this.validationResult.issue(new Language_ContainmentMetaPointerNotInClass_Issue(context, containment.containment, nodeConcept));
+                return;
             }
         }
         // TODO check type of children
     }
-
-    private validateReference(node: LionWebJsonNode, nodeConcept: LionWebJsonNode | undefined, ref: LionWebJsonReference, context: JsonContext) {
-        const referenceDefinition = this.registry.getNodeByMetaPointer(ref.reference)
+    validateReference(_node, nodeConcept, ref, context) {
+        const referenceDefinition = this.registry.getNodeByMetaPointer(ref.reference);
         if (referenceDefinition === null || referenceDefinition === undefined) {
-            this.validationResult.issue(new Language_UnknownReference_Issue(context, ref.reference))
-            return
+            this.validationResult.issue(new Language_UnknownReference_Issue(context, ref.reference));
+            return;
         }
         if (referenceDefinition.classifier.key !== M3_Keys.Reference) {
-            this.validationResult.issue(new Language_IncorrectReferenceMetaPointer_Issue(context, ref.reference, referenceDefinition.classifier.key))
+            this.validationResult.issue(new Language_IncorrectReferenceMetaPointer_Issue(context, ref.reference, referenceDefinition.classifier.key));
         }
         if (nodeConcept !== undefined) {
-            const refs = this.registry.languages.allReferenceDefinitions(nodeConcept)
+            const refs = this.registry.languages.allReferenceDefinitions(nodeConcept);
             if (!refs.includes(referenceDefinition)) {
-                this.validationResult.issue(new Language_ReferenceMetaPointerNotInClass_Issue(context, ref.reference, nodeConcept))
-                return
+                this.validationResult.issue(new Language_ReferenceMetaPointerNotInClass_Issue(context, ref.reference, nodeConcept));
+                return;
             }
         }
-
         // TODO Check type of reference (if possible)
-
         // TODO Check for duplicate targets?
         // No, already done without language check
         // 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(node: LionWebJsonNode, nodeConcept: LionWebJsonNode | undefined, prop: LionWebJsonProperty, context: JsonContext): void {
+    validateProperty(_node, nodeConcept, prop, context) {
         if (prop.value === null) {
-            return
+            return;
         }
-        const propertyDefinition = this.registry.getNodeByMetaPointer(prop.property)
-        if ( propertyDefinition === undefined) {
-            this.validationResult.issue(new Language_UnknownProperty_Issue(context, prop.property))
-            return
+        const propertyDefinition = this.registry.getNodeByMetaPointer(prop.property);
+        if (propertyDefinition === undefined) {
+            this.validationResult.issue(new Language_UnknownProperty_Issue(context, prop.property));
+            return;
         }
         if (propertyDefinition.classifier.key !== M3_Keys.Property) {
-            this.validationResult.issue(new Language_IncorrectPropertyMetaPointer_Issue(context, prop.property, propertyDefinition.classifier.key))
-            return
+            this.validationResult.issue(new Language_IncorrectPropertyMetaPointer_Issue(context, prop.property, propertyDefinition.classifier.key));
+            return;
         }
         if (nodeConcept !== undefined) {
-            const props = this.registry.languages.allProperties(nodeConcept)
+            const props = this.registry.languages.allProperties(nodeConcept);
             if (!props.includes(propertyDefinition)) {
-                this.validationResult.issue(new Language_PropertyMetaPointerNotInClass_Issue(context, prop.property, nodeConcept))
-                return
+                this.validationResult.issue(new Language_PropertyMetaPointerNotInClass_Issue(context, prop.property, nodeConcept));
+                return;
             }
         }
-        
-        const refType = NodeUtils.findReference(propertyDefinition, MetaPointers.PropertyType)
+        const refType = NodeUtils.findReference(propertyDefinition, MetaPointers.PropertyType);
         // const refType = propertyDefinition.references.find(ref => isEqualMetaPointer(ref.reference, MetaPointers.PropertyType))
-        const propertyName = propertyDefinition.properties.find(p => p.property.key === LION_CORE_BUILTINS_INAMED_NAME)?.value
+        const propertyName = propertyDefinition.properties.find(p => p.property.key === LION_CORE_BUILTINS_INAMED_NAME)?.value;
         // console.log("Found type should be " + refType.targets[0].reference);
         if (propertyName !== null && propertyName !== undefined) {
             if (refType !== null && refType !== undefined) {
-                const typeReferenceId = refType.targets[0].reference
+                const typeReferenceId = refType.targets[0].reference;
                 switch (typeReferenceId) {
                     case LIONWEB_BOOLEAN_TYPE:
-                        validateBoolean(prop.value, this.validationResult, context)
-                        break
+                        validateBoolean(prop.value, this.validationResult, context);
+                        break;
                     case LIONWEB_INTEGER_TYPE:
-                        validateInteger(prop.value, this.validationResult, context)
-                        break
+                        validateInteger(prop.value, this.validationResult, context);
+                        break;
                     case LIONWEB_STRING_TYPE:
                         // Each string is correct and having another JSON type is already captured
-                        break
+                        break;
                     case LIONWEB_JSON_TYPE:
-                        validateJSON(prop.value, this.validationResult, context)
-                        break
+                        validateJSON(prop.value, this.validationResult, context);
+                        break;
                     default: {
                         // Check for enumeration
                         // console.log("validateProperty: 0")
-                        const propTypeReference = NodeUtils.findReference(propertyDefinition, MetaPointers.PropertyType)
+                        const propTypeReference = NodeUtils.findReference(propertyDefinition, MetaPointers.PropertyType);
                         if (propTypeReference === undefined) {
                             // console.log("validateProperty: 1")
-                            break
+                            break;
                         }
-                        const propType =  this.registry.findNode(propTypeReference.targets[0].reference)
+                        const propType = this.registry.findNode(propTypeReference.targets[0].reference);
                         if (propType === undefined) {
                             // console.log("validateProperty: 1.4 for " + prop.value + " ==> " + propTypeReference.targets[0].reference)
-                            break
+                            break;
                         }
-                        let match = false
+                        let match = false;
                         if (isEqualMetaPointer(propType.classifier, MetaPointers.Enumeration)) {
-                            const literalsContainment = NodeUtils.findContainment(propType, MetaPointers.EnumerationLiterals)
+                            const literalsContainment = NodeUtils.findContainment(propType, MetaPointers.EnumerationLiterals);
                             if (literalsContainment === undefined) {
                                 // console.log("validateProperty: 2")
                                 break;
                             }
-                            const literals = literalsContainment.children.map(child => this.registry.findNode(child))
+                            const literals = literalsContainment.children.map(child => this.registry.findNode(child));
                             match = literals.some(lit => {
                                 if (lit === undefined) {
                                     // console.log("validateProperty: 3")
-                                    return false
+                                    return false;
                                 }
-                                const litKeyProp = NodeUtils.findProperty(lit, MetaPointers.IKeyedKey)
+                                const litKeyProp = NodeUtils.findProperty(lit, MetaPointers.IKeyedKey);
                                 if (litKeyProp === undefined) {
                                     // console.log("validateProperty: 4")
-                                    return false
+                                    return false;
                                 }
-                                return prop.value === litKeyProp.value
-                            })
+                                return prop.value === litKeyProp.value;
+                            });
                         }
                         if (!match) {
-                            this.validationResult.issue(new Language_PropertyValue_Issue(context, prop.property.key, prop.value, propType.classifier.key))
+                            this.validationResult.issue(new Language_PropertyValue_Issue(context, prop.property.key, prop.value, propType.classifier.key));
                         }
                     }
                 }
-            } else {
+            }
+            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,EAAE,kBAAkB,EAAsF,MAAM,eAAe,CAAA;AACtI,OAAO,EACH,WAAW,EACX,8BAA8B,EAC9B,oBAAoB,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,mBAAmB,EAElF,OAAO,EACP,YAAY,EACZ,SAAS,EACZ,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,+CAA+C,EAC/C,2CAA2C,EAC3C,4CAA4C,EAC5C,4BAA4B,EAC5B,6CAA6C,EAC7C,6BAA6B,EAChC,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,8CAA8C,EAC9C,4CAA4C,EAC5C,iCAAiC,EACjC,8BAA8B,EAC9B,+BAA+B,EAClC,MAAM,6BAA6B,CAAA;AAMpC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAGzF;;GAEG;AACH,MAAM,OAAO,iCAAiC;IAG1C,YAAY,gBAAkC,EAAU,QAA0B;QAA1B,aAAQ,GAAR,QAAQ,CAAkB;QAC9E,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAA;IAC5C,CAAC;IAED,YAAY;IACZ,qCAAqC;IACrC,IAAI;IAEJ,kDAAkD;IAClD,QAAQ,CAAC,GAA4B;QACjC,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,CAAA;YAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACvE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBACzD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,6BAA6B,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAA;gBAC5F,OAAM;YACV,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;gBAC5C,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAA;YACnG,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE;gBAClD,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAA;YAC5G,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE;gBAC5C,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAA;YACpG,CAAC,CAAC,CAAA;QACN,CAAC,CAAC,CAAA;IACN,CAAC;IAEO,mBAAmB,CAAC,KAAsB,EAAE,WAAwC,EAAE,WAAmC,EAAE,OAAoB;QACnJ,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;QAC/E,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YACpD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,iCAAiC,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAA;YACpG,OAAM;QACV,CAAC;QACD,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,KAAK,OAAO,CAAC,WAAW,EAAE,CAAC;YACrD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,8CAA8C,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;QACjJ,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;YACjE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC9B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+CAA+C,CAAC,OAAO,EAAE,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAA;gBAC/H,OAAM;YACV,CAAC;QACL,CAAC;QACD,8BAA8B;IAClC,CAAC;IAEO,iBAAiB,CAAC,KAAsB,EAAE,WAAwC,EAAE,GAAyB,EAAE,OAAoB;QACvI,MAAM,mBAAmB,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC7E,IAAI,mBAAmB,KAAK,IAAI,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACpE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,+BAA+B,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;YACxF,OAAM;QACV,CAAC;QACD,IAAI,mBAAmB,CAAC,UAAU,CAAC,GAAG,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;YAC3D,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,4CAA4C,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,mBAAmB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;QAC7I,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAA;YACzE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,6CAA6C,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAA;gBACnH,OAAM;YACV,CAAC;QACL,CAAC;QAED,6CAA6C;QAE7C,oCAAoC;QACpC,0CAA0C;QAC1C,6FAA6F;IACjG,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,KAAsB,EAAE,WAAwC,EAAE,IAAyB,EAAE,OAAoB;QAC9H,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACtB,OAAM;QACV,CAAC;QACD,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC5E,IAAK,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;YACvF,OAAM;QACV,CAAC;QACD,IAAI,kBAAkB,CAAC,UAAU,CAAC,GAAG,KAAK,OAAO,CAAC,QAAQ,EAAE,CAAC;YACzD,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,2CAA2C,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;YACvI,OAAM;QACV,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;YAChE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,4CAA4C,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAA;gBAClH,OAAM;YACV,CAAC;QACL,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,kBAAkB,EAAE,YAAY,CAAC,YAAY,CAAC,CAAA;QACtF,0HAA0H;QAC1H,MAAM,YAAY,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,8BAA8B,CAAC,EAAE,KAAK,CAAA;QACtH,uEAAuE;QACvE,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YACtD,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC5C,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBACpD,QAAQ,eAAe,EAAE,CAAC;oBACtB,KAAK,oBAAoB;wBACrB,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAA;wBAC3D,MAAK;oBACT,KAAK,oBAAoB;wBACrB,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAA;wBAC3D,MAAK;oBACT,KAAK,mBAAmB;wBACpB,0EAA0E;wBAC1E,MAAK;oBACT,KAAK,iBAAiB;wBAClB,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAA;wBACxD,MAAK;oBACT,OAAO,CAAC,CAAC,CAAC;wBACN,wBAAwB;wBACxB,qCAAqC;wBACrC,MAAM,iBAAiB,GAAG,SAAS,CAAC,aAAa,CAAC,kBAAkB,EAAE,YAAY,CAAC,YAAY,CAAC,CAAA;wBAChG,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;4BAClC,qCAAqC;4BACrC,MAAK;wBACT,CAAC;wBACD,MAAM,QAAQ,GAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;wBAChF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;4BACzB,4GAA4G;4BAC5G,MAAK;wBACT,CAAC;wBACD,IAAI,KAAK,GAAG,KAAK,CAAA;wBACjB,IAAI,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;4BACpE,MAAM,mBAAmB,GAAG,SAAS,CAAC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,mBAAmB,CAAC,CAAA;4BACjG,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gCACpC,qCAAqC;gCACrC,MAAM;4BACV,CAAC;4BACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;4BACzF,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gCACxB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oCACpB,qCAAqC;oCACrC,OAAO,KAAK,CAAA;gCAChB,CAAC;gCACD,MAAM,UAAU,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;gCACtE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oCAC3B,qCAAqC;oCACrC,OAAO,KAAK,CAAA;gCAChB,CAAC;gCACD,OAAO,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,CAAA;4BAC1C,CAAC,CAAC,CAAA;wBACN,CAAC;wBACD,IAAI,CAAC,KAAK,EAAE,CAAC;4BACT,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;wBAClI,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,8BAA8B;YAClC,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}

package/dist/validators/LionWebLanguageValidator.d.ts

@@ -0,0 +1,23 @@
+import { LionWebJsonChunk, LionWebJsonNode } from "@lionweb/json";
+import { LionWebJsonChunkWrapper } from "@lionweb/json-utils";
+import { LanguageRegistry } from "../languages/index.js";
+import { ValidationResult } from "./generic/ValidationResult.js";
+/**
+ * Validates whether a chunk is a valid language definition
+ */
+export declare class LionWebLanguageValidator {
+    private registry;
+    validationResult: ValidationResult;
+    chunkWrapper: LionWebJsonChunkWrapper | undefined;
+    constructor(validationResult: ValidationResult, registry: LanguageRegistry);
+    /**
+     * Check whether the metamodel is a Language.
+     * Assumption is that _chunk_ is already validated as a correct :LionWebJsonChunk
+     * @param chunk
+     */
+    validateLanguage(chunk: LionWebJsonChunk): void;
+    validateConcept(node: LionWebJsonNode): void;
+    validateNode(node: LionWebJsonNode): void;
+    validateProperties(node: LionWebJsonNode, classifier: LionWebJsonNode): 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":"AAAA,OAAO,EAAsB,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AACrF,OAAO,EAAoC,uBAAuB,EAAgB,MAAM,qBAAqB,CAAA;AAG7G,OAAO,EAAa,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAEhE;;GAEG;AACH,qBAAa,wBAAwB;IAKe,OAAO,CAAC,QAAQ;IAJhE,gBAAgB,EAAE,gBAAgB,CAAA;IAClC,YAAY,EAAE,uBAAuB,GAAG,SAAS,CAAA;gBAGrC,gBAAgB,EAAE,gBAAgB,EAAU,QAAQ,EAAE,gBAAgB;IAKlF;;;;OAIG;IACH,gBAAgB,CAAC,KAAK,EAAE,gBAAgB;IAqBxC,eAAe,CAAC,IAAI,EAAE,eAAe,GAAG,IAAI;IAS5C,YAAY,CAAC,IAAI,EAAE,eAAe,GAAG,IAAI;IAWzC,kBAAkB,CAAC,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,eAAe,GAAG,IAAI;CAW/E"}