@lionweb/core 0.5.0-beta.0

package/dist/m3/functions.d.ts

@@ -0,0 +1,110 @@
+/**
+ * Various functions on M3 models.
+ */
+import { Classifier, Concept, ConceptInterface, Containment, Datatype, Enumeration, Feature, IKeyed, INamed, Language, LanguageEntity, Link, M3Concept, Property, Reference } from "./types.js";
+import { unresolved } from "../references.js";
+import { Id, Node } from "../types.js";
+import { ConceptDeducer } from "../api.js";
+import { containmentChain } from "../functions.js";
+/**
+ * @return The type of the given {@link Feature}
+ */
+declare const type: (feature: Feature) => Classifier | Datatype | typeof unresolved;
+declare const isProperty: (feature: Feature) => feature is Property;
+declare const isContainment: (feature: Feature) => feature is Containment;
+declare const isReference: (feature: Feature) => feature is Reference;
+/**
+ * @return the relations among the given {@link Feature features}.
+ */
+declare const relations: (features: Feature[]) => Link[];
+/**
+ * @return the non-relations among the given {@link Feature features}.
+ */
+declare const nonRelationalFeatures: (features: Feature[]) => Feature[];
+/**
+ * @return the relations of the given {@link LanguageEntity language element}.
+ */
+declare const relationsOf: (element: LanguageEntity) => Link[];
+/**
+ * @return The "things", i.e. {@link M3Concept}s, contained by the given "thing".
+ *  These can be: {@link LanguageEntity}s, {@link Feature}s, {@link EnumerationLiteral}
+ *  (and all their sub types).
+ */
+declare const containeds: (thing: M3Concept) => M3Concept[];
+/**
+ * Performs a depth-first tree traversal of a language, "flatMapping" the `map` function on every node.
+ * It avoids visiting nodes twice (to avoid potential infinite loops), but doesn't report cycles.
+ */
+declare const flatMap: <T>(language: Language, map: (t: M3Concept) => T[]) => T[];
+/**
+ * @return the name of the given {@link INamed named thing}.
+ */
+declare const nameOf: <T extends INamed>({ name }: T) => string;
+/**
+ * @return the concatenation of the names of the given nodes using the given separator.
+ */
+declare const concatenateNamesOf: (separator: string, nodes: M3Concept[]) => string;
+/**
+ * @return the qualified name of the given {@link INamed named thing}.
+ */
+declare const qualifiedNameOf: <T extends INamed>(node: T, separator?: string) => string;
+/**
+ * @return the {@link INamed named things} in this {@link Language language}
+ *  (excluding the language itself)
+ */
+declare const namedsOf: (language: Language) => M3Concept[];
+/**
+ * @return the key of the given {@link INamed named thing}.
+ */
+declare const keyOf: <T extends IKeyed>({ key }: T) => string;
+/**
+ * @return the id of the given {@link M3Concept}.
+ */
+declare const idOf: <T extends M3Concept>({ id }: T) => string;
+/**
+ * Sorts the given {@link LanguageEntity language entities} by name.
+ */
+declare const entitiesSortedByName: (entities: LanguageEntity[]) => LanguageEntity[];
+/**
+ * A sum type of {@link Concept} and {@link ConceptInterface}.
+ */
+type ConceptType = Concept | ConceptInterface;
+/**
+ * Determines whether the given {@link LanguageEntity metamodel element} is
+ * *concrete*, i.e. is instantiable.
+ */
+declare const isConcrete: (thing: LanguageEntity) => thing is Concept;
+/**
+ * @return an array that's either an inheritance cycle, or empty (meaning: no inheritance cycle).
+ */
+declare const inheritedCycleWith: (conceptType: ConceptType) => ConceptType[];
+/**
+ * @return *all* super types (through `extends` or `implements`) of the given
+ *  {@link Concept concept} or {@link ConceptInterface concept interface}.
+ */
+declare const allSuperTypesOf: (conceptType: ConceptType) => ConceptType[];
+/**
+ * @return *all* {@link Feature features} of the given {@link Concept concept} or {@link ConceptInterface concept interface},
+ * including the inherited ones.
+ */
+declare const allFeaturesOf: (conceptType: ConceptType) => Feature[];
+/**
+ * Determines whether the given {@link LanguageEntity language element} is an {@link Enumeration enumeration}.
+ */
+declare const isEnumeration: (element: LanguageEntity) => element is Enumeration;
+/**
+ * @return a function that looks up a concept from the given {@link Language language} by its ID.
+ */
+declare const idBasedConceptDeducerFor: (language: Language) => (id: Id) => Concept;
+/**
+ * @return a function that looks up a concept from the given {@link Language language} by its name.
+ */
+declare const nameBasedConceptDeducerFor: (language: Language) => (name: string) => Concept;
+/**
+ * @return a {@link ConceptDeducer concept deducer} that deduces the concept of nodes by looking up
+ * the concept in the given {@link Language language} by matching the node object's class name to the concept's name.
+ */
+declare const classBasedConceptDeducerFor: <NT extends Node>(language: Language) => ConceptDeducer<NT>;
+export { allFeaturesOf, allSuperTypesOf, classBasedConceptDeducerFor, concatenateNamesOf, containeds, containmentChain, entitiesSortedByName, flatMap, idBasedConceptDeducerFor, idOf, inheritedCycleWith, isConcrete, isContainment, isEnumeration, isProperty, isReference, keyOf, nameBasedConceptDeducerFor, nameOf, namedsOf, nonRelationalFeatures, relations, relationsOf, type, qualifiedNameOf };
+export type { ConceptType };
+//# sourceMappingURL=functions.d.ts.map

package/dist/m3/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/m3/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACH,UAAU,EACV,OAAO,EACP,gBAAgB,EAChB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,OAAO,EACP,MAAM,EACN,MAAM,EAEN,QAAQ,EACR,cAAc,EACd,IAAI,EACJ,SAAS,EACT,QAAQ,EACR,SAAS,EACZ,MAAM,YAAY,CAAA;AACnB,OAAO,EAAQ,UAAU,EAAC,MAAM,kBAAkB,CAAA;AAIlD,OAAO,EAAC,EAAE,EAAE,IAAI,EAAC,MAAM,aAAa,CAAA;AACpC,OAAO,EAAC,cAAc,EAAC,MAAM,WAAW,CAAA;AACxC,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAA;AAGhD;;GAEG;AACH,QAAA,MAAM,IAAI,YAAa,OAAO,KAAG,UAAU,GAAG,QAAQ,GAAG,iBAClB,CAAA;AAGvC,QAAA,MAAM,UAAU,YAAa,OAAO,wBACL,CAAA;AAE/B,QAAA,MAAM,aAAa,YAAa,OAAO,2BACL,CAAA;AAElC,QAAA,MAAM,WAAW,YAAa,OAAO,yBACL,CAAA;AAUhC;;GAEG;AACH,QAAA,MAAM,SAAS,aAAc,OAAO,EAAE,KAAG,IAAI,EACZ,CAAA;AAEjC;;GAEG;AACH,QAAA,MAAM,qBAAqB,aAAc,OAAO,EAAE,KAAG,OAAO,EACJ,CAAA;AAGxD;;GAEG;AACH,QAAA,MAAM,WAAW,YAAa,cAAc,KAAG,IAAI,EAGvC,CAAA;AAGZ;;;;GAIG;AACH,QAAA,MAAM,UAAU,UAAW,SAAS,KAAG,SAAS,EAW/C,CAAA;AAGD;;;GAGG;AACH,QAAA,MAAM,OAAO,gBAAiB,QAAQ,WAAW,SAAS,gBACD,CAAA;AAGzD;;GAEG;AACH,QAAA,MAAM,MAAM,qCAAkC,MACtC,CAAA;AAER;;GAEG;AACH,QAAA,MAAM,kBAAkB,cAAe,MAAM,SAAS,SAAS,EAAE,KAAG,MAI5C,CAAA;AAGxB;;GAEG;AACH,QAAA,MAAM,eAAe,qDAAiD,MACY,CAAA;AAGlF;;;GAGG;AACH,QAAA,MAAM,QAAQ,aAAc,QAAQ,KAAG,SAAS,EACI,CAAA;AAGpD;;GAEG;AACH,QAAA,MAAM,KAAK,oCAAiC,MACrC,CAAA;AAGP;;GAEG;AACH,QAAA,MAAM,IAAI,sCAAmC,MACvC,CAAA;AAGN;;GAEG;AACH,QAAA,MAAM,oBAAoB,aAAc,cAAc,EAAE,qBACnB,CAAA;AAGrC;;GAEG;AACH,KAAK,WAAW,GAAG,OAAO,GAAG,gBAAgB,CAAA;AAE7C;;;GAGG;AACH,QAAA,MAAM,UAAU,UAAW,cAAc,qBACM,CAAA;AAmB/C;;GAEG;AACH,QAAA,MAAM,kBAAkB,gBAAiB,WAAW,kBACZ,CAAA;AAGxC;;;GAGG;AACH,QAAA,MAAM,eAAe,gBAAiB,WAAW,KAAG,WAAW,EACQ,CAAA;AAGvE;;;GAGG;AACH,QAAA,MAAM,aAAa,gBAAiB,WAAW,KAAG,OAAO,EACqB,CAAA;AAG9E;;GAEG;AACH,QAAA,MAAM,aAAa,YAAa,cAAc,2BACZ,CAAA;AAGlC;;GAEG;AACH,QAAA,MAAM,wBAAwB,aAAc,QAAQ,UAC3C,EAAE,YAC4F,CAAA;AAEvG;;GAEG;AACH,QAAA,MAAM,0BAA0B,aAAc,QAAQ,YAC3C,MAAM,YAC0F,CAAA;AAG3G;;;GAGG;AACH,QAAA,MAAM,2BAA2B,8BAA+B,QAAQ,uBAGvE,CAAA;AAGD,OAAO,EACH,aAAa,EACb,eAAe,EACf,2BAA2B,EAC3B,kBAAkB,EAClB,UAAU,EACV,gBAAgB,EAChB,oBAAoB,EACpB,OAAO,EACP,wBAAwB,EACxB,IAAI,EACJ,kBAAkB,EAClB,UAAU,EACV,aAAa,EACb,aAAa,EACb,UAAU,EACV,WAAW,EACX,KAAK,EACL,0BAA0B,EAC1B,MAAM,EACN,QAAQ,EACR,qBAAqB,EACrB,SAAS,EACT,WAAW,EACX,IAAI,EACJ,eAAe,EAClB,CAAA;AAED,YAAY,EACR,WAAW,EACd,CAAA"}

package/dist/m3/functions.js

@@ -0,0 +1,145 @@
+/**
+ * Various functions on M3 models.
+ */
+import { Classifier, Concept, ConceptInterface, Containment, Enumeration, isINamed, Language, Link, Property, Reference } from "./types.js";
+import { isRef } from "../references.js";
+import { sortByStringKey } from "../utils/sorting.js";
+import { cycleWith } from "../utils/cycles.js";
+import { flatMapNonCyclingFollowing } from "../utils/recursion.js";
+import { containmentChain } from "../functions.js";
+/**
+ * @return The type of the given {@link Feature}
+ */
+const type = (feature) => feature.type;
+const isProperty = (feature) => feature instanceof Property;
+const isContainment = (feature) => feature instanceof Containment;
+const isReference = (feature) => feature instanceof Reference;
+/**
+ * Determines whether a {@link Feature feature} is "relational",
+ * i.e. it's a {@link Link containment or reference}.
+ */
+const isRelational = (feature) => feature instanceof Link;
+/**
+ * @return the relations among the given {@link Feature features}.
+ */
+const relations = (features) => features.filter(isRelational);
+/**
+ * @return the non-relations among the given {@link Feature features}.
+ */
+const nonRelationalFeatures = (features) => features.filter((feature) => !isRelational(feature));
+/**
+ * @return the relations of the given {@link LanguageEntity language element}.
+ */
+const relationsOf = (element) => element instanceof Classifier
+    ? relations(element.features)
+    : [];
+/**
+ * @return The "things", i.e. {@link M3Concept}s, contained by the given "thing".
+ *  These can be: {@link LanguageEntity}s, {@link Feature}s, {@link EnumerationLiteral}
+ *  (and all their sub types).
+ */
+const containeds = (thing) => {
+    if (thing instanceof Language) {
+        return thing.entities;
+    }
+    if (thing instanceof Classifier) {
+        return thing.features; // (cast is necessary because of presence of Feature#classifier getter...?)
+    }
+    if (thing instanceof Enumeration) {
+        return thing.literals;
+    }
+    return [];
+};
+/**
+ * Performs a depth-first tree traversal of a language, "flatMapping" the `map` function on every node.
+ * It avoids visiting nodes twice (to avoid potential infinite loops), but doesn't report cycles.
+ */
+const flatMap = (language, map) => flatMapNonCyclingFollowing(map, containeds)(language);
+/**
+ * @return the name of the given {@link INamed named thing}.
+ */
+const nameOf = ({ name }) => name;
+/**
+ * @return the concatenation of the names of the given nodes using the given separator.
+ */
+const concatenateNamesOf = (separator, nodes) => nodes
+    .filter(isINamed)
+    .map(nameOf)
+    .join(separator);
+// !! slight overkill: every node in an M2 is an M3Concept, so IKeyed and INamed
+/**
+ * @return the qualified name of the given {@link INamed named thing}.
+ */
+const qualifiedNameOf = (node, separator = ".") => concatenateNamesOf(separator, containmentChain(node).reverse());
+/**
+ * @return the {@link INamed named things} in this {@link Language language}
+ *  (excluding the language itself)
+ */
+const namedsOf = (language) => flatMap(language, (t) => isINamed(t) ? [t] : []);
+/**
+ * @return the key of the given {@link INamed named thing}.
+ */
+const keyOf = ({ key }) => key;
+/**
+ * @return the id of the given {@link M3Concept}.
+ */
+const idOf = ({ id }) => id;
+/**
+ * Sorts the given {@link LanguageEntity language entities} by name.
+ */
+const entitiesSortedByName = (entities) => sortByStringKey(entities, nameOf);
+/**
+ * Determines whether the given {@link LanguageEntity metamodel element} is
+ * *concrete*, i.e. is instantiable.
+ */
+const isConcrete = (thing) => thing instanceof Concept && !thing.abstract;
+const inheritsFrom = (conceptType) => {
+    if (conceptType instanceof Concept) {
+        return [
+            ...(isRef(conceptType.extends)
+                ? [conceptType.extends]
+                : []),
+            ...conceptType.implements
+        ];
+    }
+    if (conceptType instanceof ConceptInterface) {
+        return conceptType.extends;
+    }
+    throw new Error(`concept type ${typeof conceptType} not handled`);
+};
+/**
+ * @return an array that's either an inheritance cycle, or empty (meaning: no inheritance cycle).
+ */
+const inheritedCycleWith = (conceptType) => cycleWith(conceptType, inheritsFrom);
+/**
+ * @return *all* super types (through `extends` or `implements`) of the given
+ *  {@link Concept concept} or {@link ConceptInterface concept interface}.
+ */
+const allSuperTypesOf = (conceptType) => flatMapNonCyclingFollowing(inheritsFrom, inheritsFrom)(conceptType);
+/**
+ * @return *all* {@link Feature features} of the given {@link Concept concept} or {@link ConceptInterface concept interface},
+ * including the inherited ones.
+ */
+const allFeaturesOf = (conceptType) => flatMapNonCyclingFollowing((ci) => ci.features, inheritsFrom)(conceptType);
+/**
+ * Determines whether the given {@link LanguageEntity language element} is an {@link Enumeration enumeration}.
+ */
+const isEnumeration = (element) => element instanceof Enumeration;
+/**
+ * @return a function that looks up a concept from the given {@link Language language} by its ID.
+ */
+const idBasedConceptDeducerFor = (language) => (id) => language.entities.find((element) => element instanceof Concept && element.id === id);
+/**
+ * @return a function that looks up a concept from the given {@link Language language} by its name.
+ */
+const nameBasedConceptDeducerFor = (language) => (name) => language.entities.find((element) => element instanceof Concept && element.name === name);
+/**
+ * @return a {@link ConceptDeducer concept deducer} that deduces the concept of nodes by looking up
+ * the concept in the given {@link Language language} by matching the node object's class name to the concept's name.
+ */
+const classBasedConceptDeducerFor = (language) => {
+    const deducer = nameBasedConceptDeducerFor(language);
+    return (node) => deducer(node.constructor.name);
+};
+export { allFeaturesOf, allSuperTypesOf, classBasedConceptDeducerFor, concatenateNamesOf, containeds, containmentChain, entitiesSortedByName, flatMap, idBasedConceptDeducerFor, idOf, inheritedCycleWith, isConcrete, isContainment, isEnumeration, isProperty, isReference, keyOf, nameBasedConceptDeducerFor, nameOf, namedsOf, nonRelationalFeatures, relations, relationsOf, type, qualifiedNameOf };
+//# sourceMappingURL=functions.js.map

package/dist/m3/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/m3/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACH,UAAU,EACV,OAAO,EACP,gBAAgB,EAChB,WAAW,EAEX,WAAW,EAIX,QAAQ,EACR,QAAQ,EAER,IAAI,EAEJ,QAAQ,EACR,SAAS,EACZ,MAAM,YAAY,CAAA;AACnB,OAAO,EAAC,KAAK,EAAa,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAC,eAAe,EAAC,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAC,SAAS,EAAC,MAAM,oBAAoB,CAAA;AAC5C,OAAO,EAAC,0BAA0B,EAAC,MAAM,uBAAuB,CAAA;AAGhE,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAA;AAGhD;;GAEG;AACH,MAAM,IAAI,GAAG,CAAC,OAAgB,EAA6C,EAAE,CACxE,OAA6B,CAAC,IAAI,CAAA;AAGvC,MAAM,UAAU,GAAG,CAAC,OAAgB,EAAuB,EAAE,CACzD,OAAO,YAAY,QAAQ,CAAA;AAE/B,MAAM,aAAa,GAAG,CAAC,OAAgB,EAA0B,EAAE,CAC/D,OAAO,YAAY,WAAW,CAAA;AAElC,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAwB,EAAE,CAC3D,OAAO,YAAY,SAAS,CAAA;AAGhC;;;GAGG;AACH,MAAM,YAAY,GAAG,CAAC,OAAgB,EAAmB,EAAE,CACvD,OAAO,YAAY,IAAI,CAAA;AAE3B;;GAEG;AACH,MAAM,SAAS,GAAG,CAAC,QAAmB,EAAU,EAAE,CAC9C,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;AAEjC;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAAC,QAAmB,EAAa,EAAE,CAC7D,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAA;AAGxD;;GAEG;AACH,MAAM,WAAW,GAAG,CAAC,OAAuB,EAAU,EAAE,CACpD,OAAO,YAAY,UAAU;IACzB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC7B,CAAC,CAAC,EAAE,CAAA;AAGZ;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAAC,KAAgB,EAAe,EAAE;IACjD,IAAI,KAAK,YAAY,QAAQ,EAAE;QAC3B,OAAO,KAAK,CAAC,QAAQ,CAAA;KACxB;IACD,IAAI,KAAK,YAAY,UAAU,EAAE;QAC7B,OAAO,KAAK,CAAC,QAAuB,CAAA,CAAI,2EAA2E;KACtH;IACD,IAAI,KAAK,YAAY,WAAW,EAAE;QAC9B,OAAO,KAAK,CAAC,QAAQ,CAAA;KACxB;IACD,OAAO,EAAE,CAAA;AACb,CAAC,CAAA;AAGD;;;GAGG;AACH,MAAM,OAAO,GAAG,CAAI,QAAkB,EAAE,GAA0B,EAAO,EAAE,CACvE,0BAA0B,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,CAAA;AAGzD;;GAEG;AACH,MAAM,MAAM,GAAG,CAAmB,EAAC,IAAI,EAAI,EAAU,EAAE,CACnD,IAAI,CAAA;AAER;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,SAAiB,EAAE,KAAkB,EAAU,EAAE,CACzE,KAAK;KACA,MAAM,CAAC,QAAQ,CAAC;KAChB,GAAG,CAAC,MAAM,CAAC;KACX,IAAI,CAAC,SAAS,CAAC,CAAA;AACpB,gFAAgF;AAEpF;;GAEG;AACH,MAAM,eAAe,GAAG,CAAmB,IAAO,EAAE,SAAS,GAAG,GAAG,EAAU,EAAE,CAC3E,kBAAkB,CAAC,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAiB,CAAC,CAAA;AAGlF;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,QAAkB,EAAe,EAAE,CACjD,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AAGpD;;GAEG;AACH,MAAM,KAAK,GAAG,CAAmB,EAAC,GAAG,EAAI,EAAU,EAAE,CACjD,GAAG,CAAA;AAGP;;GAEG;AACH,MAAM,IAAI,GAAG,CAAsB,EAAC,EAAE,EAAI,EAAU,EAAE,CAClD,EAAE,CAAA;AAGN;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAAC,QAA0B,EAAE,EAAE,CACxD,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;AAQrC;;;GAGG;AACH,MAAM,UAAU,GAAG,CAAC,KAAqB,EAAoB,EAAE,CAC3D,KAAK,YAAY,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAA;AAE/C,MAAM,YAAY,GAAG,CAAC,WAAwB,EAAiB,EAAE;IAC7D,IAAI,WAAW,YAAY,OAAO,EAAE;QAChC,OAAO;YACH,GAAG,CACC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC;gBACtB,CAAC,CAAC,CAAC,WAAW,CAAC,OAAkB,CAAC;gBAClC,CAAC,CAAC,EAAE,CACX;YACD,GAAG,WAAW,CAAC,UAAU;SAC5B,CAAA;KACJ;IACD,IAAI,WAAW,YAAY,gBAAgB,EAAE;QACzC,OAAO,WAAW,CAAC,OAAO,CAAA;KAC7B;IACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,OAAO,WAAW,cAAc,CAAC,CAAA;AACrE,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,WAAwB,EAAE,EAAE,CACpD,SAAS,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;AAGxC;;;GAGG;AACH,MAAM,eAAe,GAAG,CAAC,WAAwB,EAAiB,EAAE,CAChE,0BAA0B,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,CAAA;AAGvE;;;GAGG;AACH,MAAM,aAAa,GAAG,CAAC,WAAwB,EAAa,EAAE,CAC1D,0BAA0B,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,WAAW,CAAC,CAAA;AAG9E;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,OAAuB,EAA0B,EAAE,CACtE,OAAO,YAAY,WAAW,CAAA;AAGlC;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,QAAkB,EAAE,EAAE,CACpD,CAAC,EAAM,EAAE,EAAE,CACP,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,YAAY,OAAO,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,CAAY,CAAA;AAEvG;;GAEG;AACH,MAAM,0BAA0B,GAAG,CAAC,QAAkB,EAAE,EAAE,CACtD,CAAC,IAAY,EAAE,EAAE,CACb,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,YAAY,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAY,CAAA;AAG3G;;;GAGG;AACH,MAAM,2BAA2B,GAAG,CAAkB,QAAkB,EAAsB,EAAE;IAC5F,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAA;IACpD,OAAO,CAAC,IAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;AACvD,CAAC,CAAA;AAGD,OAAO,EACH,aAAa,EACb,eAAe,EACf,2BAA2B,EAC3B,kBAAkB,EAClB,UAAU,EACV,gBAAgB,EAChB,oBAAoB,EACpB,OAAO,EACP,wBAAwB,EACxB,IAAI,EACJ,kBAAkB,EAClB,UAAU,EACV,aAAa,EACb,aAAa,EACb,UAAU,EACV,WAAW,EACX,KAAK,EACL,0BAA0B,EAC1B,MAAM,EACN,QAAQ,EACR,qBAAqB,EACrB,SAAS,EACT,WAAW,EACX,IAAI,EACJ,eAAe,EAClB,CAAA"}

package/dist/m3/index.d.ts

@@ -0,0 +1,12 @@
+export * from "./builtins.js";
+export * from "./types.js";
+export * from "./constraints.js";
+export * from "./deserializer.js";
+export * from "./factory.js";
+export * from "./functions.js";
+export * from "./key-generation.js";
+export * from "./lioncore.js";
+export * from "./reference-checker.js";
+export * from "./serializer.js";
+export * from "./textual-syntax.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/m3/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,qBAAqB,CAAA;AACnC,cAAc,eAAe,CAAA;AAC7B,cAAc,wBAAwB,CAAA;AACtC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA"}

package/dist/m3/index.js

@@ -0,0 +1,12 @@
+export * from "./builtins.js";
+export * from "./types.js";
+export * from "./constraints.js";
+export * from "./deserializer.js";
+export * from "./factory.js";
+export * from "./functions.js";
+export * from "./key-generation.js";
+export * from "./lioncore.js";
+export * from "./reference-checker.js";
+export * from "./serializer.js";
+export * from "./textual-syntax.js";
+//# sourceMappingURL=index.js.map

package/dist/m3/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/m3/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,mBAAmB,CAAA;AACjC,cAAc,cAAc,CAAA;AAC5B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,qBAAqB,CAAA;AACnC,cAAc,eAAe,CAAA;AAC7B,cAAc,wBAAwB,CAAA;AACtC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA"}

package/dist/m3/key-generation.d.ts

@@ -0,0 +1,15 @@
+import { INamed } from "./types.js";
+/**
+ * Type definition for functions that generate a key given an {@link M3Concept}.
+ * Note that, in theory, key generation doesn't need to be idempotent: f(node) != f(node.havingKey(f(node)), with f of type KeyGenerator.
+ */
+export type KeyGenerator = (node: INamed) => string;
+/**
+ * A {@link KeyGenerator key generator} for which: key = name
+ */
+export declare const nameIsKeyGenerator: KeyGenerator;
+/**
+ * @return A {@link KeyGenerator key generator} that generates a key with the qualified name using the given separator.
+ */
+export declare const qualifiedNameBasedKeyGenerator: (separator: string) => KeyGenerator;
+//# sourceMappingURL=key-generation.d.ts.map

package/dist/m3/key-generation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-generation.d.ts","sourceRoot":"","sources":["../../src/m3/key-generation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,MAAM,EAAC,MAAM,YAAY,CAAA;AAIjC;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAA;AAGnD;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,YACpB,CAAA;AAGb;;GAEG;AACH,eAAO,MAAM,8BAA8B,cAAe,MAAM,KAAG,YACrB,CAAA"}

package/dist/m3/key-generation.js

@@ -0,0 +1,11 @@
+import { qualifiedNameOf } from "./functions.js";
+/**
+ * A {@link KeyGenerator key generator} for which: key = name
+ */
+export const nameIsKeyGenerator = (node) => node.name;
+/**
+ * @return A {@link KeyGenerator key generator} that generates a key with the qualified name using the given separator.
+ */
+export const qualifiedNameBasedKeyGenerator = (separator) => (node) => qualifiedNameOf(node, separator);
+// TODO  implement checkers
+//# sourceMappingURL=key-generation.js.map

package/dist/m3/key-generation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"key-generation.js","sourceRoot":"","sources":["../../src/m3/key-generation.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,eAAe,EAAC,MAAM,gBAAgB,CAAA;AAU9C;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAiB,CAAC,IAAY,EAAE,EAAE,CAC7D,IAAI,CAAC,IAAI,CAAA;AAGb;;GAEG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,SAAiB,EAAgB,EAAE,CAC9E,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;AAG9C,2BAA2B"}

package/dist/m3/lioncore.d.ts

@@ -0,0 +1,39 @@
+declare const lioncoreQName = "LionCore-M3";
+/**
+ * Definition of LionCore in terms of itself.
+ */
+export declare const lioncore: import("./types.js").Language;
+export declare const metaConcepts: {
+    annotation: import("./types.js").Concept;
+    concept: import("./types.js").Concept;
+    conceptInterface: import("./types.js").Concept;
+    containment: import("./types.js").Concept;
+    enumeration: import("./types.js").Concept;
+    enumerationLiteral: import("./types.js").Concept;
+    language: import("./types.js").Concept;
+    primitiveType: import("./types.js").Concept;
+    property: import("./types.js").Concept;
+    reference: import("./types.js").Concept;
+};
+export declare const metaFeatures: {
+    annotation_annotates: import("./types.js").Reference;
+    annotation_extends: import("./types.js").Reference;
+    annotation_implements: import("./types.js").Reference;
+    classifier_features: import("./types.js").Containment;
+    concept_abstract: import("./types.js").Property;
+    concept_partition: import("./types.js").Property;
+    concept_extends: import("./types.js").Reference;
+    concept_implements: import("./types.js").Reference;
+    conceptInterface_extends: import("./types.js").Reference;
+    enumeration_literals: import("./types.js").Containment;
+    feature_optional: import("./types.js").Property;
+    ikeyed_key: import("./types.js").Property;
+    language_dependsOn: import("./types.js").Reference;
+    language_entities: import("./types.js").Containment;
+    language_version: import("./types.js").Property;
+    link_multiple: import("./types.js").Property;
+    link_type: import("./types.js").Reference;
+    property_type: import("./types.js").Reference;
+};
+export { lioncoreQName };
+//# sourceMappingURL=lioncore.d.ts.map

package/dist/m3/lioncore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lioncore.d.ts","sourceRoot":"","sources":["../../src/m3/lioncore.ts"],"names":[],"mappings":"AAMA,QAAA,MAAM,aAAa,gBAAgB,CAAA;AA8BnC;;GAEG;AACH,eAAO,MAAM,QAAQ,+BAA4C,CAAA;AAsMjE,eAAO,MAAM,YAAY;;;;;;;;;;;CAWxB,CAAA;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;CAmBxB,CAAA;AAED,OAAO,EAAC,aAAa,EAAC,CAAA"}

package/dist/m3/lioncore.js

@@ -0,0 +1,150 @@
+import { LanguageFactory } from "./factory.js";
+import { builtinClassifiers, builtinPrimitives } from "./builtins.js";
+import { Classifier, EnumerationLiteral, Feature, lioncoreQNameSeparator } from "./types.js";
+import { checkAll } from "../id-generation.js";
+const lioncoreQName = "LionCore-M3";
+const factory = new LanguageFactory("LionCore.M3", "1", checkAll((qualifiedName) => "-id-" +
+    (qualifiedName === "LionCore.M3"
+        ? lioncoreQName
+        : qualifiedName
+            .substring(lioncoreQName.length + 1)
+            .replaceAll(".", lioncoreQNameSeparator))), (node) => {
+    if (node instanceof Classifier) {
+        return node.name;
+    }
+    if (node instanceof EnumerationLiteral) {
+        return `${node.enumeration.name}-${node.name}`;
+    }
+    if (node instanceof Feature) {
+        return `${node.classifier.name}-${node.name}`;
+    }
+    throw Error(`cannot compute key for node "${node.name}" of runtime-type "${node.constructor.name}"`);
+});
+/**
+ * Definition of LionCore in terms of itself.
+ */
+export const lioncore = factory.language.havingKey("LionCore-M3");
+const { inamed } = builtinClassifiers;
+const { booleanDatatype, stringDatatype } = builtinPrimitives;
+const ikeyed = factory.conceptInterface("IKeyed")
+    .extending(inamed);
+const ikeyed_key = factory.property(ikeyed, "key")
+    .ofType(stringDatatype);
+ikeyed.havingFeatures(ikeyed_key);
+const feature = factory.concept("Feature", true).implementing(ikeyed);
+const feature_optional = factory.property(feature, "optional")
+    .ofType(booleanDatatype);
+feature.havingFeatures(feature_optional);
+const property = factory.concept("Property", false, feature);
+const property_type = factory.reference(property, "type");
+property.havingFeatures(property_type);
+const link = factory.concept("Link", true, feature);
+const link_multiple = factory.property(link, "multiple")
+    .ofType(booleanDatatype);
+const link_type = factory.reference(link, "type");
+link.havingFeatures(link_multiple, link_type);
+const containment = factory.concept("Containment", false, link);
+const reference = factory.concept("Reference", false, link);
+const languageEntity = factory.concept("LanguageEntity", true)
+    .implementing(ikeyed);
+const classifier = factory.concept("Classifier", true, languageEntity);
+const classifier_features = factory.containment(classifier, "features")
+    .isOptional()
+    .isMultiple()
+    .ofType(feature);
+classifier.havingFeatures(classifier_features);
+link_type.ofType(classifier);
+const annotation = factory.concept("Annotation", false, classifier);
+const annotation_multiple = factory.property(annotation, "multiple")
+    .isOptional()
+    .ofType(booleanDatatype);
+const annotation_annotates = factory.reference(annotation, "annotates")
+    .isOptional()
+    .ofType(classifier);
+const annotation_extends = factory.reference(annotation, "extends")
+    .isOptional()
+    .ofType(annotation);
+const annotation_implements = factory.reference(annotation, "implements")
+    .isMultiple()
+    .isOptional();
+annotation.havingFeatures(annotation_multiple, annotation_annotates, annotation_extends, annotation_implements);
+const concept = factory.concept("Concept", false, classifier);
+const concept_abstract = factory.property(concept, "abstract")
+    .ofType(booleanDatatype);
+const concept_partition = factory.property(concept, "partition")
+    .ofType(booleanDatatype);
+const concept_extends = factory.reference(concept, "extends")
+    .isOptional()
+    .ofType(concept);
+const concept_implements = factory.reference(concept, "implements")
+    .isOptional()
+    .isMultiple();
+concept.havingFeatures(concept_abstract, concept_partition, concept_extends, concept_implements);
+const conceptInterface = factory.concept("ConceptInterface", false, classifier);
+const conceptInterface_extends = factory.reference(conceptInterface, "extends")
+    .isOptional()
+    .isMultiple()
+    .ofType(conceptInterface);
+conceptInterface.havingFeatures(conceptInterface_extends);
+annotation_implements.ofType(conceptInterface);
+concept_implements.ofType(conceptInterface);
+const dataType = factory.concept("DataType", true, languageEntity);
+property_type.ofType(dataType);
+const primitiveType = factory.concept("PrimitiveType", false, dataType);
+const enumeration = factory.concept("Enumeration", false, dataType);
+const enumeration_literals = factory.containment(enumeration, "literals")
+    .isMultiple()
+    .isOptional();
+enumeration.havingFeatures(enumeration_literals);
+const enumerationLiteral = factory.concept("EnumerationLiteral", false)
+    .implementing(ikeyed);
+enumeration_literals.ofType(enumerationLiteral);
+const language = factory.concept("Language", false)
+    .implementing(ikeyed)
+    .isPartition();
+const language_version = factory.property(language, "version")
+    .ofType(stringDatatype);
+const language_entities = factory.containment(language, "entities")
+    .isOptional()
+    .isMultiple()
+    .ofType(languageEntity);
+const language_dependsOn = factory.reference(language, "dependsOn")
+    .isOptional()
+    .isMultiple()
+    .ofType(language);
+language.havingFeatures(language_version, language_entities, language_dependsOn);
+lioncore.havingEntities(ikeyed, feature, property, link, containment, reference, languageEntity, classifier, annotation, concept, conceptInterface, dataType, primitiveType, enumeration, enumerationLiteral, language);
+export const metaConcepts = {
+    annotation,
+    concept,
+    conceptInterface,
+    containment,
+    enumeration,
+    enumerationLiteral,
+    language,
+    primitiveType,
+    property,
+    reference
+};
+export const metaFeatures = {
+    annotation_annotates,
+    annotation_extends,
+    annotation_implements,
+    classifier_features,
+    concept_abstract,
+    concept_partition,
+    concept_extends,
+    concept_implements,
+    conceptInterface_extends,
+    enumeration_literals,
+    feature_optional,
+    ikeyed_key,
+    language_dependsOn,
+    language_entities,
+    language_version,
+    link_multiple,
+    link_type,
+    property_type
+};
+export { lioncoreQName };
+//# sourceMappingURL=lioncore.js.map

package/dist/m3/lioncore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lioncore.js","sourceRoot":"","sources":["../../src/m3/lioncore.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,eAAe,EAAC,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAC,kBAAkB,EAAE,iBAAiB,EAAC,MAAM,eAAe,CAAA;AACnE,OAAO,EAAC,UAAU,EAAE,kBAAkB,EAAE,OAAO,EAAE,sBAAsB,EAAC,MAAM,YAAY,CAAA;AAC1F,OAAO,EAAC,QAAQ,EAAC,MAAM,qBAAqB,CAAA;AAG5C,MAAM,aAAa,GAAG,aAAa,CAAA;AAGnC,MAAM,OAAO,GAAG,IAAI,eAAe,CAC/B,aAAa,EACb,GAAG,EACH,QAAQ,CAAC,CAAC,aAAa,EAAE,EAAE,CACvB,MAAM;IACF,CAAC,aAAa,KAAK,aAAa;QAC5B,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,aAAc;aACX,SAAS,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;aACnC,UAAU,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAC/C,CACR,EACD,CAAC,IAAI,EAAE,EAAE;IACL,IAAI,IAAI,YAAY,UAAU,EAAE;QAC5B,OAAO,IAAI,CAAC,IAAI,CAAA;KACnB;IACD,IAAI,IAAI,YAAY,kBAAkB,EAAE;QACpC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;KACjD;IACD,IAAI,IAAI,YAAY,OAAO,EAAE;QACzB,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;KAChD;IACD,MAAM,KAAK,CAAC,gCAAgC,IAAI,CAAC,IAAI,sBAAsB,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAA;AACxG,CAAC,CACJ,CAAA;AAGD;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;AAGjE,MAAM,EAAC,MAAM,EAAC,GAAG,kBAAkB,CAAA;AACnC,MAAM,EAAC,eAAe,EAAE,cAAc,EAAC,GAAG,iBAAiB,CAAA;AAG3D,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC;KAC5C,SAAS,CAAC,MAAM,CAAC,CAAA;AAEtB,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;KAC7C,MAAM,CAAC,cAAc,CAAC,CAAA;AAE3B,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAA;AAGjC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;AAErE,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;KACzD,MAAM,CAAC,eAAe,CAAC,CAAA;AAE5B,OAAO,CAAC,cAAc,CAClB,gBAAgB,CACnB,CAAA;AAGD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;AAE5D,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;AAEzD,QAAQ,CAAC,cAAc,CACnB,aAAa,CAChB,CAAA;AAGD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;AAEnD,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;KACnD,MAAM,CAAC,eAAe,CAAC,CAAA;AAE5B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;AAEjD,IAAI,CAAC,cAAc,CACf,aAAa,EACb,SAAS,CACZ,CAAA;AAGD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;AAG/D,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;AAG3D,MAAM,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC;KACzD,YAAY,CAAC,MAAM,CAAC,CAAA;AAGzB,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;AAEtE,MAAM,mBAAmB,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,EAAE,UAAU,CAAC;KAClE,UAAU,EAAE;KACZ,UAAU,EAAE;KACZ,MAAM,CAAC,OAAO,CAAC,CAAA;AAEpB,UAAU,CAAC,cAAc,CACrB,mBAAmB,CACtB,CAAA;AAED,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;AAG5B,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;AAEnE,MAAM,mBAAmB,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;KAC/D,UAAU,EAAE;KACZ,MAAM,CAAC,eAAe,CAAC,CAAA;AAE5B,MAAM,oBAAoB,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC;KAClE,UAAU,EAAE;KACZ,MAAM,CAAC,UAAU,CAAC,CAAA;AAEvB,MAAM,kBAAkB,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC;KAC9D,UAAU,EAAE;KACZ,MAAM,CAAC,UAAU,CAAC,CAAA;AAEvB,MAAM,qBAAqB,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,YAAY,CAAC;KACpE,UAAU,EAAE;KACZ,UAAU,EAAE,CAAA;AAEjB,UAAU,CAAC,cAAc,CACrB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,CACxB,CAAA;AAGD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;AAE7D,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;KACzD,MAAM,CAAC,eAAe,CAAC,CAAA;AAE5B,MAAM,iBAAiB,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;KAC3D,MAAM,CAAC,eAAe,CAAC,CAAA;AAE5B,MAAM,eAAe,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC;KACxD,UAAU,EAAE;KACZ,MAAM,CAAC,OAAO,CAAC,CAAA;AAEpB,MAAM,kBAAkB,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC;KAC9D,UAAU,EAAE;KACZ,UAAU,EAAE,CAAA;AAEjB,OAAO,CAAC,cAAc,CAClB,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,kBAAkB,CACrB,CAAA;AAGD,MAAM,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;AAE/E,MAAM,wBAAwB,GAAG,OAAO,CAAC,SAAS,CAAC,gBAAgB,EAAE,SAAS,CAAC;KAC1E,UAAU,EAAE;KACZ,UAAU,EAAE;KACZ,MAAM,CAAC,gBAAgB,CAAC,CAAA;AAE7B,gBAAgB,CAAC,cAAc,CAAC,wBAAwB,CAAC,CAAA;AAEzD,qBAAqB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;AAC9C,kBAAkB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAA;AAG3C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;AAElE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AAG9B,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;AAGvE,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;AAEnE,MAAM,oBAAoB,GAAG,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC;KACpE,UAAU,EAAE;KACZ,UAAU,EAAE,CAAA;AAEjB,WAAW,CAAC,cAAc,CAAC,oBAAoB,CAAC,CAAA;AAGhD,MAAM,kBAAkB,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC;KAClE,YAAY,CAAC,MAAM,CAAC,CAAA;AAEzB,oBAAoB,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAA;AAG/C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC;KAC9C,YAAY,CAAC,MAAM,CAAC;KACpB,WAAW,EAAE,CAAA;AAElB,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;KACzD,MAAM,CAAC,cAAc,CAAC,CAAA;AAE3B,MAAM,iBAAiB,GAAG,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC;KAC9D,UAAU,EAAE;KACZ,UAAU,EAAE;KACZ,MAAM,CAAC,cAAc,CAAC,CAAA;AAE3B,MAAM,kBAAkB,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC;KAC9D,UAAU,EAAE;KACZ,UAAU,EAAE;KACZ,MAAM,CAAC,QAAQ,CAAC,CAAA;AAErB,QAAQ,CAAC,cAAc,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,CAAA;AAGhF,QAAQ,CAAC,cAAc,CACnB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,SAAS,EACT,cAAc,EACd,UAAU,EACV,UAAU,EACV,OAAO,EACP,gBAAgB,EAChB,QAAQ,EACR,aAAa,EACb,WAAW,EACX,kBAAkB,EAClB,QAAQ,CACX,CAAA;AAGD,MAAM,CAAC,MAAM,YAAY,GAAG;IACxB,UAAU;IACV,OAAO;IACP,gBAAgB;IAChB,WAAW;IACX,WAAW;IACX,kBAAkB;IAClB,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,SAAS;CACZ,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG;IACxB,oBAAoB;IACpB,kBAAkB;IAClB,qBAAqB;IACrB,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,eAAe;IACf,kBAAkB;IAClB,wBAAwB;IACxB,oBAAoB;IACpB,gBAAgB;IAChB,UAAU;IACV,kBAAkB;IAClB,iBAAiB;IACjB,gBAAgB;IAChB,aAAa;IACb,SAAS;IACT,aAAa;CAChB,CAAA;AAED,OAAO,EAAC,aAAa,EAAC,CAAA"}

package/dist/m3/reference-checker.d.ts

@@ -0,0 +1,6 @@
+import { Language } from "./types.js";
+/**
+ * Checks whether the metamodel of the given language contains unresolved references.
+ */
+export declare const checkReferences: (language: Language) => string[];
+//# sourceMappingURL=reference-checker.d.ts.map

package/dist/m3/reference-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-checker.d.ts","sourceRoot":"","sources":["../../src/m3/reference-checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuB,QAAQ,EAAsB,MAAM,YAAY,CAAA;AAK9E;;GAEG;AACH,eAAO,MAAM,eAAe,aAAc,QAAQ,KAAG,MAAM,EA2BtD,CAAA"}

package/dist/m3/reference-checker.js

@@ -0,0 +1,29 @@
+import { Concept, Containment, Property, Reference } from "./types.js";
+import { flatMap, qualifiedNameOf } from "./functions.js";
+import { unresolved } from "../references.js";
+/**
+ * Checks whether the metamodel of the given language contains unresolved references.
+ */
+export const checkReferences = (language) => flatMap(language, (thing) => {
+    const locations = [];
+    const check = (ref, location) => {
+        if (ref === unresolved) {
+            locations.push(location);
+        }
+    };
+    if (thing instanceof Concept) {
+        check(thing.extends, `<Concept>${qualifiedNameOf(thing)}#extends`);
+    }
+    if (thing instanceof Containment) {
+        check(thing.type, `<Containment>${qualifiedNameOf(thing)}#type`);
+    }
+    if (thing instanceof Property) {
+        check(thing.type, `<Property>${qualifiedNameOf(thing)}#type`);
+    }
+    if (thing instanceof Reference) {
+        check(thing.type, `<Reference>${qualifiedNameOf(thing)}#type`);
+    }
+    return locations;
+});
+// TODO (#8)  make this generic, parametrized by a {@link Metamodel}
+//# sourceMappingURL=reference-checker.js.map

package/dist/m3/reference-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-checker.js","sourceRoot":"","sources":["../../src/m3/reference-checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,OAAO,EAAE,WAAW,EAAY,QAAQ,EAAE,SAAS,EAAC,MAAM,YAAY,CAAA;AAC9E,OAAO,EAAC,OAAO,EAAE,eAAe,EAAC,MAAM,gBAAgB,CAAA;AACvD,OAAO,EAAY,UAAU,EAAC,MAAM,kBAAkB,CAAA;AAGtD;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAAkB,EAAY,EAAE,CAC5D,OAAO,CACH,QAAQ,EACR,CAAC,KAAK,EAAE,EAAE;IAEN,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,KAAK,GAAG,CAAC,GAAuB,EAAE,QAAgB,EAAE,EAAE;QACxD,IAAI,GAAG,KAAK,UAAU,EAAE;YACpB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;SAC3B;IACL,CAAC,CAAA;IAED,IAAI,KAAK,YAAY,OAAO,EAAE;QAC1B,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;KACrE;IACD,IAAI,KAAK,YAAY,WAAW,EAAE;QAC9B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;KACnE;IACD,IAAI,KAAK,YAAY,QAAQ,EAAE;QAC3B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;KAChE;IACD,IAAI,KAAK,YAAY,SAAS,EAAE;QAC5B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;KACjE;IAED,OAAO,SAAS,CAAA;AACpB,CAAC,CACJ,CAAA;AACL,oEAAoE"}

package/dist/m3/serializer.d.ts

@@ -0,0 +1,9 @@
+import { Language } from "./types.js";
+import { SerializationChunk } from "../serialization.js";
+/**
+ * Serializes a language (i.e., an instance of the LionCore metametamodel,
+ * using {@link M3Concept these type definitions})
+ * into the LionWeb serialization JSON format.
+ */
+export declare const serializeLanguage: (language: Language) => SerializationChunk;
+//# sourceMappingURL=serializer.d.ts.map

package/dist/m3/serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../../src/m3/serializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,QAAQ,EAAC,MAAM,YAAY,CAAA;AACnC,OAAO,EAAC,kBAAkB,EAAC,MAAM,qBAAqB,CAAA;AAKtD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,aAAc,QAAQ,KAAG,kBACR,CAAA"}

package/dist/m3/serializer.js

@@ -0,0 +1,9 @@
+import { serializeNodes } from "../serializer.js";
+import { lioncoreReadAPI } from "./api.js";
+/**
+ * Serializes a language (i.e., an instance of the LionCore metametamodel,
+ * using {@link M3Concept these type definitions})
+ * into the LionWeb serialization JSON format.
+ */
+export const serializeLanguage = (language) => serializeNodes([language], lioncoreReadAPI);
+//# sourceMappingURL=serializer.js.map

package/dist/m3/serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../../src/m3/serializer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAC,cAAc,EAAC,MAAM,kBAAkB,CAAA;AAC/C,OAAO,EAAC,eAAe,EAAC,MAAM,UAAU,CAAA;AAGxC;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAkB,EAAsB,EAAE,CACxE,cAAc,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,CAAA"}

package/dist/m3/textual-syntax.d.ts

@@ -0,0 +1,4 @@
+import { M3Node } from "./types.js";
+declare const asText: (node: M3Node) => string;
+export { asText };
+//# sourceMappingURL=textual-syntax.d.ts.map

package/dist/m3/textual-syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"textual-syntax.d.ts","sourceRoot":"","sources":["../../src/m3/textual-syntax.ts"],"names":[],"mappings":"AAAA,OAAO,EAQH,MAAM,EAIT,MAAM,YAAY,CAAA;AAqBnB,QAAA,MAAM,MAAM,SAAU,MAAM,KAAG,MAwD9B,CAAA;AAGD,OAAO,EACH,MAAM,EACT,CAAA"}