@lionweb/core 0.5.0-beta.0

package/dist/m3/textual-syntax.js

@@ -0,0 +1,57 @@
+import { Concept, ConceptInterface, Containment, Enumeration, EnumerationLiteral, Language, PrimitiveType, Property, Reference } from "./types.js";
+import { nameOf } from "./functions.js";
+import { sortByStringKey } from "../utils/sorting.js";
+import { unresolved } from "../references.js";
+// TODO  use littoral-templates?
+const indent = (str) => str.split("\n").map((line) => `    ${line}`).join("\n");
+const nameSorted = (ts) => sortByStringKey(ts, nameOf);
+const descent = (ts, separator) => nameSorted(ts).map((t) => indent(indent(asText(t)))).join(separator);
+const refAsText = (ref) => ref === unresolved ? `???` : ref.name;
+const asText = (node) => {
+    if (node instanceof Concept) {
+        return `${node.partition ? `<<partition>> ` : ``}${node.abstract ? `abstract ` : ``}concept ${node.name}${node.extends === undefined ? `` : ` extends ${refAsText(node.extends)}`}${node.implements.length === 0 ? `` : ` implements ${sortByStringKey(node.implements, nameOf).map(nameOf).join(", ")}`}${node.features.length === 0 ? `` : `
+    features (↓name):
+${descent(node.features, "\n")}`}`;
+    }
+    if (node instanceof ConceptInterface) {
+        return `concept-interface ${node.name}${node.extends.length === 0 ? `` : ` extends ${sortByStringKey(node.extends, nameOf).map(nameOf).join(", ")}`}${node.features.length === 0 ? `` : `
+    features (↓name):
+${descent(node.features, "\n")}`}`;
+    }
+    if (node instanceof Containment) {
+        return `${node.name}: ${refAsText(node.type)}${node.multiple ? `[${node.optional ? `0` : `1`}..*]` : ``}${node.optional && !node.multiple ? `?` : ``}`;
+    }
+    if (node instanceof Enumeration) {
+        return `enumeration ${node.name}${node.literals.length === 0 ? `` : `
+    literals:
+${descent(node.literals, "\n")}`}`;
+    }
+    if (node instanceof EnumerationLiteral) {
+        return `${node.name}`;
+    }
+    if (node instanceof Language) {
+        return `language ${node.name}
+    version: ${node.version}${node.dependsOn.length > 0
+            ? `    dependsOn:
+${node.dependsOn.map((language) => `        ${language.key} (${language.version})`).join("\n")}
+`
+            : ``}
+    entities (↓name):
+
+${descent(node.entities, "\n\n")}
+
+`;
+    }
+    if (node instanceof PrimitiveType) {
+        return `primitive type ${node.name}`;
+    }
+    if (node instanceof Property) {
+        return `${node.name}: ${refAsText(node.type)}${node.optional ? `?` : ``}`;
+    }
+    if (node instanceof Reference) {
+        return `${node.name} -> ${refAsText(node.type)}${node.multiple ? `[${node.optional ? `0` : `1`}..*]` : ``}${node.optional && !node.multiple ? `?` : ``}`;
+    }
+    return `node (key=${node.key}, ID=${node.id}) of class ${node.constructor.name} not handled`;
+};
+export { asText };
+//# sourceMappingURL=textual-syntax.js.map

package/dist/m3/textual-syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"textual-syntax.js","sourceRoot":"","sources":["../../src/m3/textual-syntax.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,OAAO,EACP,gBAAgB,EAChB,WAAW,EACX,WAAW,EACX,kBAAkB,EAElB,QAAQ,EAER,aAAa,EACb,QAAQ,EACR,SAAS,EACZ,MAAM,YAAY,CAAA;AACnB,OAAO,EAAC,MAAM,EAAC,MAAM,gBAAgB,CAAA;AACrC,OAAO,EAAC,eAAe,EAAC,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAY,UAAU,EAAC,MAAM,kBAAkB,CAAA;AAGtD,gCAAgC;AAChC,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,EAAE,CAC3B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAG3D,MAAM,UAAU,GAAG,CAAmB,EAAO,EAAO,EAAE,CAClD,eAAe,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;AAE/B,MAAM,OAAO,GAAG,CAAmB,EAAO,EAAE,SAAiB,EAAU,EAAE,CACrE,UAAU,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AAExE,MAAM,SAAS,GAAG,CAAmB,GAAiB,EAAU,EAAE,CAC9D,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAA;AAGzC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;IAEpC,IAAI,IAAI,YAAY,OAAO,EAAE;QACzB,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;EAEnV,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAA;KAC7B;IAED,IAAI,IAAI,YAAY,gBAAgB,EAAE;QAClC,OAAO,qBAAqB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;EAE9L,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAA;KAC7B;IAED,IAAI,IAAI,YAAY,WAAW,EAAE;QAC7B,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;KACzJ;IAED,IAAI,IAAI,YAAY,WAAW,EAAE;QAC7B,OAAO,eAAe,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;EAE1E,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAA;KAC7B;IAED,IAAI,IAAI,YAAY,kBAAkB,EAAE;QACpC,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;KACxB;IAED,IAAI,IAAI,YAAY,QAAQ,EAAE;QAC1B,OAAO,YAAY,IAAI,CAAC,IAAI;eACrB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAC/C,CAAC,CAAC;EACR,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,WAAW,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;CAC7F;YACO,CAAC,CAAC,EAAE;;;EAGV,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;;CAE/B,CAAA;KACI;IAED,IAAI,IAAI,YAAY,aAAa,EAAE;QAC/B,OAAO,kBAAkB,IAAI,CAAC,IAAI,EAAE,CAAA;KACvC;IAED,IAAI,IAAI,YAAY,QAAQ,EAAE;QAC1B,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;KAC5E;IAED,IAAI,IAAI,YAAY,SAAS,EAAE;QAC3B,OAAO,GAAG,IAAI,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;KAC3J;IAED,OAAO,aAAa,IAAI,CAAC,GAAG,QAAQ,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,WAAW,CAAC,IAAI,cAAc,CAAA;AAEhG,CAAC,CAAA;AAGD,OAAO,EACH,MAAM,EACT,CAAA"}

package/dist/m3/types.d.ts

@@ -0,0 +1,117 @@
+/**
+ * TypeScript type definitions for the `LionCore` M3 (=meta-meta) model.
+ * A LionWeb language (at the M2 meta level) can be represented as an instance of the {@link Language} type.
+ */
+import { MultiRef, SingleRef } from "../references.js";
+import { Id, Node } from "../types.js";
+import { KeyGenerator } from "./key-generation.js";
+declare const lioncoreQNameSeparator = "-";
+/**
+ * The qualified name of the LionCore language containing the built-in {@link PrimitiveType primitive types}.
+ * (It's defined here because its knowledge intrinsic to all LionCore M3 instances.
+ */
+declare const lioncoreBuiltinsQName = "LionCore-builtins";
+interface INamed extends Node {
+    name: string;
+}
+declare const isINamed: (node: Node) => node is INamed;
+interface IKeyed extends INamed {
+    key: Id;
+}
+declare const isIKeyed: (node: Node) => node is IKeyed;
+/**
+ * Abstract base class for nodes in an LionCore instance,
+ * providing an ID, a key, and the containment hierarchy.
+ */
+declare abstract class M3Node implements IKeyed {
+    parent?: M3Node;
+    readonly id: Id;
+    name: string;
+    key: Id;
+    protected constructor(id: Id, name: string, key: Id, parent?: M3Node);
+    havingKey(key: Id): this;
+    /**
+     * Sets the key of this {@link M3Node} using the given {@link KeyGenerator key generator}.
+     * Note: this doesn't need to be idempotent!
+     */
+    keyed(keyGenerator: KeyGenerator): this;
+}
+declare abstract class Feature extends M3Node {
+    optional: boolean;
+    constructor(classifier: Classifier, name: string, key: string, id: Id);
+    isOptional(): this;
+    get classifier(): Classifier;
+}
+declare class Property extends Feature {
+    type: SingleRef<Datatype>;
+    ofType(type: Datatype): Property;
+}
+declare abstract class Link extends Feature {
+    multiple: boolean;
+    type: SingleRef<Classifier>;
+    isMultiple(): this;
+    ofType(type: Classifier): this;
+}
+declare class Containment extends Link {
+}
+declare class Reference extends Link {
+}
+declare abstract class LanguageEntity extends M3Node {
+    constructor(language: Language, name: string, key: Id, id: Id);
+    get language(): Language;
+}
+declare abstract class Classifier extends LanguageEntity {
+    features: Feature[];
+    havingFeatures(...features: Feature[]): this;
+}
+declare class Concept extends Classifier {
+    abstract: boolean;
+    partition: boolean;
+    extends?: SingleRef<Concept>;
+    implements: MultiRef<ConceptInterface>;
+    constructor(language: Language, name: string, key: string, id: Id, abstract: boolean, extends_?: SingleRef<Concept>);
+    implementing(...conceptInterfaces: ConceptInterface[]): Concept;
+    isPartition(): Concept;
+}
+declare class Annotation extends Classifier {
+    multiple: boolean;
+    extends?: SingleRef<Annotation>;
+    implements: MultiRef<ConceptInterface>;
+    constructor(language: Language, name: string, key: string, id: Id, extends_?: SingleRef<Annotation>);
+    implementing(...conceptInterfaces: ConceptInterface[]): Annotation;
+    isMultiple(): Annotation;
+}
+declare class ConceptInterface extends Classifier {
+    extends: MultiRef<ConceptInterface>;
+    extending(...conceptInterfaces: ConceptInterface[]): ConceptInterface;
+}
+declare abstract class Datatype extends LanguageEntity {
+}
+declare class PrimitiveType extends Datatype {
+}
+declare class Enumeration extends Datatype {
+    literals: EnumerationLiteral[];
+    havingLiterals(...literals: EnumerationLiteral[]): this;
+}
+declare class EnumerationLiteral extends M3Node {
+    constructor(enumeration: Enumeration, name: string, key: string, id: Id);
+    get enumeration(): Enumeration;
+}
+declare class Language extends M3Node {
+    version: string;
+    entities: LanguageEntity[];
+    dependsOn: MultiRef<Language>;
+    constructor(name: string, version: string, id: Id, key: Id);
+    havingEntities(...elements: LanguageEntity[]): Language;
+    dependingOn(...metamodels: Language[]): Language;
+    equals(that: Language): boolean;
+}
+/**
+ * Sum type of all LionCore type definitions whose meta-type is a concrete (thus: instantiable) Concept.
+ * All the classes in this sum type extend (from) {@link M3Node},
+ * so they also implement {@link INamed} and {@link IKeyed}.
+ */
+type M3Concept = Annotation | Concept | ConceptInterface | Containment | Enumeration | EnumerationLiteral | Language | PrimitiveType | Property | Reference;
+export { Annotation, Classifier, Concept, ConceptInterface, Containment, Datatype, Enumeration, EnumerationLiteral, Feature, Language, LanguageEntity, Link, PrimitiveType, Property, Reference, isINamed, isIKeyed, lioncoreBuiltinsQName, lioncoreQNameSeparator };
+export type { IKeyed, INamed, M3Concept, M3Node };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/m3/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAC,QAAQ,EAAE,SAAS,EAAa,MAAM,kBAAkB,CAAA;AAChE,OAAO,EAAC,EAAE,EAAE,IAAI,EAAC,MAAM,aAAa,CAAA;AACpC,OAAO,EAAC,YAAY,EAAC,MAAM,qBAAqB,CAAA;AAGhD,QAAA,MAAM,sBAAsB,MAAM,CAAA;AAElC;;;GAGG;AACH,QAAA,MAAM,qBAAqB,sBAAsB,CAAA;AAOjD,UAAU,MAAO,SAAQ,IAAI;IACzB,IAAI,EAAE,MAAM,CAAA;CACf;AAED,QAAA,MAAM,QAAQ,SAAU,IAAI,mBACuB,CAAA;AAGnD,UAAU,MAAO,SAAQ,MAAM;IAC3B,GAAG,EAAE,EAAE,CAAA;CACV;AAED,QAAA,MAAM,QAAQ,SAAU,IAAI,mBACuC,CAAA;AAGnE;;;GAGG;AACH,uBAAe,MAAO,YAAW,MAAM;IACnC,MAAM,CAAC,EAAE,MAAM,CAAA;IAKf,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,EAAE,CAAA;IACP,SAAS,aAAa,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM;IAMpE,SAAS,CAAC,GAAG,EAAE,EAAE;IAKjB;;;OAGG;IACH,KAAK,CAAC,YAAY,EAAE,YAAY;CAKnC;AAED,uBAAe,OAAQ,SAAQ,MAAM;IACjC,QAAQ,UAAuB;gBAEnB,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;IAGrE,UAAU;IAIV,IAAI,UAAU,IAAI,UAAU,CAE3B;CACJ;AAED,cAAM,QAAS,SAAQ,OAAO;IAC1B,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAa;IACtC,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ;CAInC;AAED,uBAAe,IAAK,SAAQ,OAAO;IAC/B,QAAQ,UAAuB;IAC/B,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,CAAa;IACxC,UAAU;IAIV,MAAM,CAAC,IAAI,EAAE,UAAU;CAI1B;AAED,cAAM,WAAY,SAAQ,IAAI;CAC7B;AAED,cAAM,SAAU,SAAQ,IAAI;CAC3B;AAED,uBAAe,cAAe,SAAQ,MAAM;gBAC5B,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAG7D,IAAI,QAAQ,IAAI,QAAQ,CAEvB;CACJ;AAED,uBAAe,UAAW,SAAQ,cAAc;IAC5C,QAAQ,EAAE,OAAO,EAAE,CAAK;IACxB,cAAc,CAAC,GAAG,QAAQ,EAAE,OAAO,EAAE;CAKxC;AAED,cAAM,OAAQ,SAAQ,UAAU;IAC5B,QAAQ,EAAE,OAAO,CAAA;IACjB,SAAS,EAAE,OAAO,CAAA;IAClB,OAAO,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;IAC5B,UAAU,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAK;gBAC/B,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC;IAMnH,YAAY,CAAC,GAAG,iBAAiB,EAAE,gBAAgB,EAAE,GAAG,OAAO;IAK/D,WAAW,IAAI,OAAO;CAIzB;AAED,cAAM,UAAW,SAAQ,UAAU;IAC/B,QAAQ,UAAuB;IAC/B,OAAO,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,CAAA;IAC/B,UAAU,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAK;gBAC/B,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC;IAInG,YAAY,CAAC,GAAG,iBAAiB,EAAE,gBAAgB,EAAE,GAAG,UAAU;IAKlE,UAAU,IAAI,UAAU;CAI3B;AAED,cAAM,gBAAiB,SAAQ,UAAU;IACrC,OAAO,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAK;IACxC,SAAS,CAAC,GAAG,iBAAiB,EAAE,gBAAgB,EAAE,GAAG,gBAAgB;CAKxE;AAED,uBAAe,QAAS,SAAQ,cAAc;CAAG;AAEjD,cAAM,aAAc,SAAQ,QAAQ;CAAG;AAEvC,cAAM,WAAY,SAAQ,QAAQ;IAC9B,QAAQ,EAAE,kBAAkB,EAAE,CAAK;IACnC,cAAc,CAAC,GAAG,QAAQ,EAAE,kBAAkB,EAAE;CAInD;AAED,cAAM,kBAAmB,SAAQ,MAAM;gBACvB,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;IAGvE,IAAI,WAAW,IAAI,WAAW,CAE7B;CACJ;AAED,cAAM,QAAS,SAAQ,MAAM;IACzB,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,cAAc,EAAE,CAAK;IAC/B,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAK;gBAEtB,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;IAI1D,cAAc,CAAC,GAAG,QAAQ,EAAE,cAAc,EAAE,GAAG,QAAQ;IAQvD,WAAW,CAAC,GAAG,UAAU,EAAE,QAAQ,EAAE,GAAG,QAAQ;IAQhD,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;CAGlC;AAGD;;;;GAIG;AACH,KAAK,SAAS,GACR,UAAU,GACV,OAAO,GACP,gBAAgB,GAChB,WAAW,GACX,WAAW,GACX,kBAAkB,GAClB,QAAQ,GACR,aAAa,GACb,QAAQ,GACR,SAAS,CAAA;AAGf,OAAO,EACH,UAAU,EACV,UAAU,EACV,OAAO,EACP,gBAAgB,EAChB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,kBAAkB,EAClB,OAAO,EACP,QAAQ,EACR,cAAc,EACd,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,qBAAqB,EACrB,sBAAsB,EACzB,CAAA;AAED,YAAY,EACR,MAAM,EACN,MAAM,EACN,SAAS,EACT,MAAM,EACT,CAAA"}

package/dist/m3/types.js

@@ -0,0 +1,196 @@
+/**
+ * TypeScript type definitions for the `LionCore` M3 (=meta-meta) model.
+ * A LionWeb language (at the M2 meta level) can be represented as an instance of the {@link Language} type.
+ */
+import { unresolved } from "../references.js";
+const lioncoreQNameSeparator = "-";
+/**
+ * The qualified name of the LionCore language containing the built-in {@link PrimitiveType primitive types}.
+ * (It's defined here because its knowledge intrinsic to all LionCore M3 instances.
+ */
+const lioncoreBuiltinsQName = "LionCore-builtins";
+const isINamed = (node) => "name" in node && typeof node.name === "string";
+const isIKeyed = (node) => isINamed(node) && "key" in node && typeof node.key === "string";
+/**
+ * Abstract base class for nodes in an LionCore instance,
+ * providing an ID, a key, and the containment hierarchy.
+ */
+class M3Node {
+    constructor(id, name, key, parent) {
+        this.id = id;
+        this.name = name;
+        this.key = key;
+        this.parent = parent;
+    }
+    havingKey(key) {
+        this.key = key;
+        return this;
+    }
+    /**
+     * Sets the key of this {@link M3Node} using the given {@link KeyGenerator key generator}.
+     * Note: this doesn't need to be idempotent!
+     */
+    keyed(keyGenerator) {
+        this.key = keyGenerator(this);
+        // FIXME  the cast smells like a hack...
+        return this;
+    }
+}
+class Feature extends M3Node {
+    // TODO  look at order of constructors' arguments!
+    constructor(classifier, name, key, id) {
+        super(id, name, key, classifier);
+        this.optional /*: boolean */ = false;
+    }
+    isOptional() {
+        this.optional = true;
+        return this;
+    }
+    get classifier() {
+        return this.parent;
+    }
+}
+class Property extends Feature {
+    constructor() {
+        super(...arguments);
+        this.type = unresolved; // (reference)
+    }
+    ofType(type) {
+        this.type = type;
+        return this;
+    }
+}
+class Link extends Feature {
+    constructor() {
+        super(...arguments);
+        this.multiple /*: boolean */ = false;
+        this.type = unresolved; // (reference)
+    }
+    isMultiple() {
+        this.multiple = true;
+        return this;
+    }
+    ofType(type) {
+        this.type = type;
+        return this;
+    }
+}
+class Containment extends Link {
+}
+class Reference extends Link {
+}
+class LanguageEntity extends M3Node {
+    constructor(language, name, key, id) {
+        super(id, name, key, language);
+    }
+    get language() {
+        return this.parent;
+    }
+}
+class Classifier extends LanguageEntity {
+    constructor() {
+        super(...arguments);
+        this.features = []; // (containment)
+    }
+    havingFeatures(...features) {
+        // TODO  check actual types of features, or use type shapes/interfaces
+        this.features.push(...features);
+        return this;
+    }
+}
+class Concept extends Classifier {
+    constructor(language, name, key, id, abstract, extends_) {
+        super(language, name, key, id);
+        this.implements = []; // (reference)
+        this.abstract = abstract;
+        this.extends = extends_;
+        this.partition = false;
+    }
+    implementing(...conceptInterfaces) {
+        // TODO  check actual types of concept interfaces, or use type shapes/interfaces
+        this.implements.push(...conceptInterfaces);
+        return this;
+    }
+    isPartition() {
+        this.partition = true;
+        return this;
+    }
+}
+class Annotation extends Classifier {
+    constructor(language, name, key, id, extends_) {
+        super(language, name, key, id);
+        this.multiple /*: boolean */ = false;
+        this.implements = []; // (reference)
+        this.extends = extends_;
+    }
+    implementing(...conceptInterfaces) {
+        // TODO  check actual types of concept interfaces, or use type shapes/interfaces
+        this.implements.push(...conceptInterfaces);
+        return this;
+    }
+    isMultiple() {
+        this.multiple = true;
+        return this;
+    }
+}
+class ConceptInterface extends Classifier {
+    constructor() {
+        super(...arguments);
+        this.extends = []; // (reference)
+    }
+    extending(...conceptInterfaces) {
+        // TODO  check actual types of concept interfaces, or use type shapes/interfaces
+        this.extends.push(...conceptInterfaces);
+        return this;
+    }
+}
+class Datatype extends LanguageEntity {
+}
+class PrimitiveType extends Datatype {
+}
+class Enumeration extends Datatype {
+    constructor() {
+        super(...arguments);
+        this.literals = []; // (containment)
+    }
+    havingLiterals(...literals) {
+        this.literals.push(...literals);
+        return this;
+    }
+}
+class EnumerationLiteral extends M3Node {
+    constructor(enumeration, name, key, id) {
+        super(id, name, key, enumeration);
+    }
+    get enumeration() {
+        return this.parent;
+    }
+}
+class Language extends M3Node {
+    // (!) special because deserializer needs to be aware of where to get the instance from
+    constructor(name, version, id, key) {
+        super(id, name, key);
+        this.entities = []; // (containment)
+        this.dependsOn = []; // special (!) reference
+        this.version = version;
+    }
+    havingEntities(...elements) {
+        const nonLanguageElements = elements.filter((element) => !(element instanceof LanguageEntity));
+        if (nonLanguageElements.length > 0) {
+            throw Error(`trying to add non-LanguageElements to Language: ${nonLanguageElements.map((node) => `<${node.constructor.name}>"${node.name}"`).join(", ")}`);
+        }
+        this.entities.push(...elements);
+        return this;
+    }
+    dependingOn(...metamodels) {
+        // TODO  check actual types of metamodels, or use type shapes/interfaces
+        this.dependsOn.push(...metamodels
+            .filter((metamodel) => metamodel.name !== lioncoreBuiltinsQName));
+        return this;
+    }
+    equals(that) {
+        return this.key === that.key && this.version === that.version;
+    }
+}
+export { Annotation, Classifier, Concept, ConceptInterface, Containment, Datatype, Enumeration, EnumerationLiteral, Feature, Language, LanguageEntity, Link, PrimitiveType, Property, Reference, isINamed, isIKeyed, lioncoreBuiltinsQName, lioncoreQNameSeparator };
+//# sourceMappingURL=types.js.map

package/dist/m3/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/m3/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAsB,UAAU,EAAC,MAAM,kBAAkB,CAAA;AAKhE,MAAM,sBAAsB,GAAG,GAAG,CAAA;AAElC;;;GAGG;AACH,MAAM,qBAAqB,GAAG,mBAAmB,CAAA;AAWjD,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAkB,EAAE,CAC5C,MAAM,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAA;AAOnD,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAkB,EAAE,CAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAA;AAGnE;;;GAGG;AACH,MAAe,MAAM;IASjB,YAAsB,EAAM,EAAE,IAAY,EAAE,GAAO,EAAE,MAAe;QAChE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAA;QACZ,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;QACd,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACxB,CAAC;IACD,SAAS,CAAC,GAAO;QACb,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;QACd,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,YAA0B;QAC5B,IAAI,CAAC,GAAG,GAAG,YAAY,CAAC,IAA4B,CAAC,CAAA;QACrD,wCAAwC;QACxC,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAe,OAAQ,SAAQ,MAAM;IAEjC,kDAAkD;IAClD,YAAY,UAAsB,EAAE,IAAY,EAAE,GAAW,EAAE,EAAM;QACjE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,CAAA;QAHpC,aAAQ,CAAC,cAAc,GAAG,KAAK,CAAA;IAI/B,CAAC;IACD,UAAU;QACN,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;QACpB,OAAO,IAAI,CAAA;IACf,CAAC;IACD,IAAI,UAAU;QACV,OAAO,IAAI,CAAC,MAAqB,CAAA;IACrC,CAAC;CACJ;AAED,MAAM,QAAS,SAAQ,OAAO;IAA9B;;QACI,SAAI,GAAwB,UAAU,CAAA,CAAG,cAAc;IAK3D,CAAC;IAJG,MAAM,CAAC,IAAc;QACjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAe,IAAK,SAAQ,OAAO;IAAnC;;QACI,aAAQ,CAAC,cAAc,GAAG,KAAK,CAAA;QAC/B,SAAI,GAA0B,UAAU,CAAA,CAAG,cAAc;IAS7D,CAAC;IARG,UAAU;QACN,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;QACpB,OAAO,IAAI,CAAA;IACf,CAAC;IACD,MAAM,CAAC,IAAgB;QACnB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAM,WAAY,SAAQ,IAAI;CAC7B;AAED,MAAM,SAAU,SAAQ,IAAI;CAC3B;AAED,MAAe,cAAe,SAAQ,MAAM;IACxC,YAAY,QAAkB,EAAE,IAAY,EAAE,GAAO,EAAE,EAAM;QACzD,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;IAClC,CAAC;IACD,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,MAAmB,CAAA;IACnC,CAAC;CACJ;AAED,MAAe,UAAW,SAAQ,cAAc;IAAhD;;QACI,aAAQ,GAAc,EAAE,CAAA,CAAC,gBAAgB;IAM7C,CAAC;IALG,cAAc,CAAC,GAAG,QAAmB;QACjC,sEAAsE;QACtE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAA;QAC/B,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAM,OAAQ,SAAQ,UAAU;IAK5B,YAAY,QAAkB,EAAE,IAAY,EAAE,GAAW,EAAE,EAAM,EAAE,QAAiB,EAAE,QAA6B;QAC/G,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QAFlC,eAAU,GAA+B,EAAE,CAAA,CAAE,cAAc;QAGvD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAA;QACvB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAA;IAC1B,CAAC;IACD,YAAY,CAAC,GAAG,iBAAqC;QACjD,gFAAgF;QAChF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAA;QAC1C,OAAO,IAAI,CAAA;IACf,CAAC;IACD,WAAW;QACP,IAAI,CAAC,SAAS,GAAG,IAAI,CAAA;QACrB,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAM,UAAW,SAAQ,UAAU;IAI/B,YAAY,QAAkB,EAAE,IAAY,EAAE,GAAW,EAAE,EAAM,EAAE,QAAgC;QAC/F,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QAJlC,aAAQ,CAAC,cAAc,GAAG,KAAK,CAAA;QAE/B,eAAU,GAA+B,EAAE,CAAA,CAAC,cAAc;QAGtD,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAA;IAC3B,CAAC;IACD,YAAY,CAAC,GAAG,iBAAqC;QACjD,gFAAgF;QAChF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAA;QAC1C,OAAO,IAAI,CAAA;IACf,CAAC;IACD,UAAU;QACN,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;QACpB,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAM,gBAAiB,SAAQ,UAAU;IAAzC;;QACI,YAAO,GAA+B,EAAE,CAAA,CAAI,cAAc;IAM9D,CAAC;IALG,SAAS,CAAC,GAAG,iBAAqC;QAC9C,gFAAgF;QAChF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAA;QACvC,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAe,QAAS,SAAQ,cAAc;CAAG;AAEjD,MAAM,aAAc,SAAQ,QAAQ;CAAG;AAEvC,MAAM,WAAY,SAAQ,QAAQ;IAAlC;;QACI,aAAQ,GAAyB,EAAE,CAAA,CAAC,gBAAgB;IAKxD,CAAC;IAJG,cAAc,CAAC,GAAG,QAA8B;QAC5C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAA;QAC/B,OAAO,IAAI,CAAA;IACf,CAAC;CACJ;AAED,MAAM,kBAAmB,SAAQ,MAAM;IACnC,YAAY,WAAwB,EAAE,IAAY,EAAE,GAAW,EAAE,EAAM;QACnE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAA;IACrC,CAAC;IACD,IAAI,WAAW;QACX,OAAO,IAAI,CAAC,MAAsB,CAAA;IACtC,CAAC;CACJ;AAED,MAAM,QAAS,SAAQ,MAAM;IAIrB,uFAAuF;IAC3F,YAAY,IAAY,EAAE,OAAe,EAAE,EAAM,EAAE,GAAO;QACtD,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;QAJxB,aAAQ,GAAqB,EAAE,CAAA,CAAG,gBAAgB;QAClD,cAAS,GAAuB,EAAE,CAAA,CAAE,wBAAwB;QAIxD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IAC1B,CAAC;IACD,cAAc,CAAC,GAAG,QAA0B;QACxC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,YAAY,cAAc,CAAC,CAAC,CAAA;QAC9F,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE;YAChC,MAAM,KAAK,CAAC,mDAAmD,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;SAC7J;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAA;QAC/B,OAAO,IAAI,CAAA;IACf,CAAC;IACD,WAAW,CAAC,GAAG,UAAsB;QACjC,wEAAwE;QACxE,IAAI,CAAC,SAAS,CAAC,IAAI,CACf,GAAG,UAAU;aACR,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,qBAAqB,CAAC,CACvE,CAAA;QACD,OAAO,IAAI,CAAA;IACf,CAAC;IACD,MAAM,CAAC,IAAc;QACjB,OAAO,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,CAAA;IACjE,CAAC;CACJ;AAqBD,OAAO,EACH,UAAU,EACV,UAAU,EACV,OAAO,EACP,gBAAgB,EAChB,WAAW,EACX,QAAQ,EACR,WAAW,EACX,kBAAkB,EAClB,OAAO,EACP,QAAQ,EACR,cAAc,EACd,IAAI,EACJ,aAAa,EACb,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,qBAAqB,EACrB,sBAAsB,EACzB,CAAA"}

package/dist/references.d.ts

@@ -0,0 +1,18 @@
+/**
+ * The `unresolved` symbol indicates a reference value which hasn't been resolved yet.
+ * It differs from an unset (`undefined`) value.
+ */
+export declare const unresolved: null;
+/**
+ * A type definition for a reference value that can be unresolved.
+ */
+export type SingleRef<T> = typeof unresolved | T;
+/**
+ * Checks whether a given (at most) single-valued reference actually refers to something.
+ */
+export declare const isRef: <T>(ref?: SingleRef<T> | undefined) => ref is T;
+/**
+ * A type alias for a multi-valued reference, to make it look consistent with {@link SingleRef}.
+ */
+export type MultiRef<T> = T[];
+//# sourceMappingURL=references.d.ts.map

package/dist/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,UAAU,MAAO,CAAA;AAE9B;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,OAAO,UAAU,GAAG,CAAC,CAAA;AAEhD;;GAEG;AACH,eAAO,MAAM,KAAK,iDACyB,CAAA;AAE3C;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAA"}

package/dist/references.js

@@ -0,0 +1,10 @@
+/**
+ * The `unresolved` symbol indicates a reference value which hasn't been resolved yet.
+ * It differs from an unset (`undefined`) value.
+ */
+export const unresolved = null;
+/**
+ * Checks whether a given (at most) single-valued reference actually refers to something.
+ */
+export const isRef = (ref) => ref !== undefined && ref !== unresolved;
+//# sourceMappingURL=references.js.map

package/dist/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAA;AAO9B;;GAEG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,GAAkB,EAAY,EAAE,CACrD,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,UAAU,CAAA"}

package/dist/serialization.d.ts

@@ -0,0 +1,51 @@
+import { Id } from "./types.js";
+export type Ids = Id[];
+export type MetaPointer = {
+    language: string;
+    version: string;
+    key: string;
+};
+export type SerializedProperty = {
+    property: MetaPointer;
+    value: string;
+};
+export type SerializedContainment = {
+    containment: MetaPointer;
+    children: Ids;
+};
+export type SerializedReferenceTarget = {
+    resolveInfo?: string;
+    reference: Id;
+};
+export type SerializedReference = {
+    reference: MetaPointer;
+    targets: SerializedReferenceTarget[];
+};
+/**
+ * Type definition for an AST node serialized to JSON.
+ */
+export type SerializedNode = {
+    concept: MetaPointer;
+    id: string;
+    properties: SerializedProperty[];
+    children: SerializedContainment[];
+    references: SerializedReference[];
+    parent: Id | null;
+};
+export type SerializedLanguageReference = {
+    key: string;
+    version: string;
+};
+/**
+ * The <em>current</em> version of the serialization format.
+ */
+export declare const currentSerializationFormatVersion = "2023.1";
+/**
+ * Type definition for a serialization of a whole model to JSON.
+ */
+export type SerializationChunk = {
+    serializationFormatVersion: string;
+    languages: SerializedLanguageReference[];
+    nodes: SerializedNode[];
+};
+//# sourceMappingURL=serialization.d.ts.map

package/dist/serialization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../src/serialization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,EAAE,EAAC,MAAM,YAAY,CAAA;AAG7B,MAAM,MAAM,GAAG,GAAG,EAAE,EAAE,CAAA;AAGtB,MAAM,MAAM,WAAW,GAAG;IACtB,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,GAAG,EAAE,MAAM,CAAA;CACd,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC7B,QAAQ,EAAE,WAAW,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAChC,WAAW,EAAE,WAAW,CAAA;IACxB,QAAQ,EAAE,GAAG,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACpC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,SAAS,EAAE,EAAE,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,SAAS,EAAE,WAAW,CAAA;IACtB,OAAO,EAAE,yBAAyB,EAAE,CAAA;CACvC,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IACzB,OAAO,EAAE,WAAW,CAAA;IACpB,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,kBAAkB,EAAE,CAAA;IAChC,QAAQ,EAAE,qBAAqB,EAAE,CAAA;IACjC,UAAU,EAAE,mBAAmB,EAAE,CAAA;IACjC,MAAM,EAAE,EAAE,GAAG,IAAI,CAAA;CACpB,CAAA;AAGD,MAAM,MAAM,2BAA2B,GAAG;IACtC,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,MAAM,CAAA;CAClB,CAAA;AAGD;;GAEG;AACH,eAAO,MAAM,iCAAiC,WAAW,CAAA;AAEzD;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC7B,0BAA0B,EAAE,MAAM,CAAA;IAClC,SAAS,EAAE,2BAA2B,EAAE,CAAA;IACxC,KAAK,EAAE,cAAc,EAAE,CAAA;CAC1B,CAAA"}

package/dist/serialization.js

@@ -0,0 +1,5 @@
+/**
+ * The <em>current</em> version of the serialization format.
+ */
+export const currentSerializationFormatVersion = "2023.1";
+//# sourceMappingURL=serialization.js.map

package/dist/serialization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialization.js","sourceRoot":"","sources":["../src/serialization.ts"],"names":[],"mappings":"AAmDA;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,QAAQ,CAAA"}

package/dist/serializer.d.ts

@@ -0,0 +1,8 @@
+import { ReadModelAPI } from "./api.js";
+import { SerializationChunk } from "./serialization.js";
+import { Node } from "./types.js";
+/**
+ * @return a {@link SerializationChunk} of the given model (i.e., an array of {@link Node nodes} - the first argument) to the LionWeb serialization JSON format.
+ */
+export declare const serializeNodes: <NT extends Node>(nodes: NT[], api: ReadModelAPI<NT>) => SerializationChunk;
+//# sourceMappingURL=serializer.d.ts.map

package/dist/serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../src/serializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,UAAU,CAAA;AACrC,OAAO,EAAiD,kBAAkB,EAAiB,MAAM,oBAAoB,CAAA;AAErH,OAAO,EAAC,IAAI,EAAC,MAAM,YAAY,CAAA;AAO/B;;GAEG;AACH,eAAO,MAAM,cAAc,2DAA0D,kBA8FpF,CAAA"}

package/dist/serializer.js

@@ -0,0 +1,101 @@
+import { currentSerializationFormatVersion } from "./serialization.js";
+import { asIds } from "./functions.js";
+import { Containment, Enumeration, isINamed, PrimitiveType, Property, Reference } from "./m3/types.js";
+import { allFeaturesOf } from "./m3/functions.js";
+import { asArray } from "./utils/array-helpers.js";
+import { lioncoreBuiltins, serializeBuiltin } from "./m3/builtins.js";
+/**
+ * @return a {@link SerializationChunk} of the given model (i.e., an array of {@link Node nodes} - the first argument) to the LionWeb serialization JSON format.
+ */
+export const serializeNodes = (nodes, api) => {
+    const serializedNodes = []; // keep nodes as much as possible "in order"
+    const ids = {}; // maintain a map to keep track of IDs of nodes that have been serialized
+    const languagesUsed = [];
+    const registerLanguageUsed = (language) => {
+        if (!languagesUsed.some((languageUsed) => language.equals(languageUsed))) {
+            languagesUsed.push(language);
+        }
+    };
+    const visit = (node, parent) => {
+        if (ids[node.id]) {
+            return;
+        }
+        const concept = api.conceptOf(node);
+        const language = concept.language;
+        registerLanguageUsed(language);
+        const serializedNode = {
+            id: node.id,
+            concept: {
+                language: language.key,
+                version: language.version,
+                key: concept.key
+            },
+            properties: [],
+            children: [],
+            references: [],
+            parent: null
+        };
+        serializedNodes.push(serializedNode);
+        ids[node.id] = true;
+        allFeaturesOf(concept).forEach((feature) => {
+            const value = api.getFeatureValue(node, feature);
+            const featureLanguage = feature.classifier.language;
+            registerLanguageUsed(featureLanguage);
+            const featureMetaPointer = {
+                language: featureLanguage.key,
+                version: featureLanguage.version,
+                key: feature.key
+            };
+            if (feature instanceof Property && value !== undefined) {
+                const encodedValue = (() => {
+                    // (could also just inspect type of value:)
+                    if (feature.type instanceof PrimitiveType) {
+                        return serializeBuiltin(value);
+                    }
+                    if (feature.type instanceof Enumeration) {
+                        return api.enumerationLiteralFrom(value, feature.type)?.key
+                            ?? null; // (undefined -> null)
+                    }
+                    return null;
+                })();
+                if (encodedValue !== null) {
+                    serializedNode.properties.push({
+                        property: featureMetaPointer,
+                        value: encodedValue
+                    });
+                }
+                return;
+            }
+            if (feature instanceof Containment) {
+                const children = asArray(value);
+                serializedNode.children.push({
+                    containment: featureMetaPointer,
+                    children: asIds(children)
+                });
+                children.forEach((child) => visit(child, node));
+                return;
+            }
+            if (feature instanceof Reference) {
+                const targets = asArray(value);
+                serializedNode.references.push({
+                    reference: featureMetaPointer,
+                    targets: targets.map((t) => ({
+                        resolveInfo: isINamed(t) ? t.name : undefined,
+                        reference: t.id
+                    }))
+                });
+                return;
+            }
+        });
+        serializedNode.parent = parent?.id ?? null; // (undefined -> null)
+    };
+    nodes.forEach((node) => visit(node, undefined));
+    return {
+        serializationFormatVersion: currentSerializationFormatVersion,
+        languages: languagesUsed
+            .filter((language) => !language.equals(lioncoreBuiltins))
+            .map(({ key, version }) => ({ key, version })),
+        nodes: serializedNodes
+    };
+};
+//# sourceMappingURL=serializer.js.map

package/dist/serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../src/serializer.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,iCAAiC,EAAkD,MAAM,oBAAoB,CAAA;AACrH,OAAO,EAAC,KAAK,EAAC,MAAM,gBAAgB,CAAA;AAEpC,OAAO,EAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAY,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAC,MAAM,eAAe,CAAA;AAC9G,OAAO,EAAC,aAAa,EAAC,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAC,OAAO,EAAC,MAAM,0BAA0B,CAAA;AAChD,OAAO,EAAmB,gBAAgB,EAAE,gBAAgB,EAAC,MAAM,kBAAkB,CAAA;AAGrF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAkB,KAAW,EAAE,GAAqB,EAAqC,EAAE;IACrH,MAAM,eAAe,GAAqB,EAAE,CAAA,CAAE,4CAA4C;IAC1F,MAAM,GAAG,GAA8B,EAAE,CAAA,CAAG,yEAAyE;IACrH,MAAM,aAAa,GAAe,EAAE,CAAA;IACpC,MAAM,oBAAoB,GAAG,CAAC,QAAkB,EAAE,EAAE;QAChD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE;YACtE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;SAC/B;IACL,CAAC,CAAA;IAED,MAAM,KAAK,GAAG,CAAC,IAAQ,EAAE,MAAW,EAAE,EAAE;QACpC,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YACd,OAAM;SACT;QAED,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QACjC,oBAAoB,CAAC,QAAQ,CAAC,CAAA;QAC9B,MAAM,cAAc,GAAmB;YACnC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,OAAO,EAAE;gBACL,QAAQ,EAAE,QAAQ,CAAC,GAAG;gBACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,GAAG,EAAE,OAAO,CAAC,GAAG;aACnB;YACD,UAAU,EAAE,EAAE;YACd,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,IAAI;SACf,CAAA;QACD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QACpC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAA;QACnB,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACvC,MAAM,KAAK,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YAChD,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAA;YACnD,oBAAoB,CAAC,eAAe,CAAC,CAAA;YACrC,MAAM,kBAAkB,GAAgB;gBACpC,QAAQ,EAAE,eAAe,CAAC,GAAG;gBAC7B,OAAO,EAAE,eAAe,CAAC,OAAO;gBAChC,GAAG,EAAE,OAAO,CAAC,GAAG;aACnB,CAAA;YACD,IAAI,OAAO,YAAY,QAAQ,IAAI,KAAK,KAAK,SAAS,EAAE;gBACpD,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;oBACvB,2CAA2C;oBAC3C,IAAI,OAAO,CAAC,IAAI,YAAY,aAAa,EAAE;wBACvC,OAAO,gBAAgB,CAAC,KAAyB,CAAC,CAAA;qBACrD;oBACD,IAAI,OAAO,CAAC,IAAI,YAAY,WAAW,EAAE;wBACrC,OAAO,GAAG,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG;+BACpD,IAAI,CAAA,CAAC,sBAAsB;qBACrC;oBACD,OAAO,IAAI,CAAA;gBACf,CAAC,CAAC,EAAE,CAAA;gBACJ,IAAI,YAAY,KAAK,IAAI,EAAE;oBACvB,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC;wBAC3B,QAAQ,EAAE,kBAAkB;wBAC5B,KAAK,EAAE,YAAY;qBACtB,CAAC,CAAA;iBACL;gBACD,OAAM;aACT;YACD,IAAI,OAAO,YAAY,WAAW,EAAE;gBAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAS,CAAA;gBACvC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACzB,WAAW,EAAE,kBAAkB;oBAC/B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;iBAC5B,CAAC,CAAA;gBACF,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;gBAC/C,OAAM;aACT;YACD,IAAI,OAAO,YAAY,SAAS,EAAE;gBAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;gBAC9B,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC;oBAC3B,SAAS,EAAE,kBAAkB;oBAC7B,OAAO,EAAG,OAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACnC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;wBAC7C,SAAS,EAAE,CAAC,CAAC,EAAE;qBAClB,CAAC,CAAC;iBACN,CAAC,CAAA;gBACF,OAAM;aACT;QACL,CAAC,CAAC,CAAA;QACF,cAAc,CAAC,MAAM,GAAG,MAAM,EAAE,EAAE,IAAI,IAAI,CAAA,CAAE,sBAAsB;IACtE,CAAC,CAAA;IAED,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAA;IAE/C,OAAO;QACH,0BAA0B,EAAE,iCAAiC;QAC7D,SAAS,EAAE,aAAa;aACnB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,EAAC,GAAG,EAAE,OAAO,EAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QAChD,KAAK,EAAE,eAAe;KACzB,CAAA;AACL,CAAC,CAAA"}

package/dist/types.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Type definition for LionWeb-compliant IDs of AST nodes.
+ */
+export type Id = string;
+/**
+ * Type definition for a LionWeb-compliant AST node.
+ */
+export type Node = {
+    id: Id;
+    parent?: Node;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,EAAE,GAAG,MAAM,CAAA;AAEvB;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG;IACf,EAAE,EAAE,EAAE,CAAA;IACN,MAAM,CAAC,EAAE,IAAI,CAAA;CAChB,CAAA"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

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