@lionweb/core 0.8.0-beta.5 → 0.8.0-beta.6

package/dist/writing.d.ts

@@ -29,6 +29,8 @@ export interface Writer<NT extends Node, PNT extends Node = NT> {
 }
 /**
  * Alias for {@link Writer}, kept for backward compatibility, and to be deprecated and removed later.
+ *
+ * @deprecated Use {@link Writer} instead.
  */
 export interface InstantiationFacade<NT extends Node, PNT extends Node = NT> extends Writer<NT, PNT> {
 }

package/dist/writing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"writing.d.ts","sourceRoot":"","sources":["../src/writing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAErD,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,OAAO,EAAQ,MAAM,eAAe,CAAA;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAGjC;;;;;;GAMG;AACH,MAAM,WAAW,MAAM,CAAC,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,IAAI,GAAG,EAAE;IAE1D;;;;OAIG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,GAAG,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE;QAAE,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAA;KAAE,KAAK,EAAE,CAAA;IAGzI;;;OAGG;IACH,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;IAGrE;;OAEG;IACH,UAAU,EAAE,CAAC,OAAO,EAAE,kBAAkB,KAAK,OAAO,CAAA;CAEvD;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,IAAI,GAAG,EAAE,CAAE,SAAQ,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC;CAAG;AAGvG;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;AAqB3G;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,eAAyC,CAAA;AAE/E;;;GAGG;AACH,eAAO,MAAM,sBAAsB,iBAAyB,CAAA"}
+{"version":3,"file":"writing.d.ts","sourceRoot":"","sources":["../src/writing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAErD,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,OAAO,EAAQ,MAAM,eAAe,CAAA;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAGjC;;;;;;GAMG;AACH,MAAM,WAAW,MAAM,CAAC,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,IAAI,GAAG,EAAE;IAE1D;;;;OAIG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,GAAG,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE;QAAE,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAA;KAAE,KAAK,EAAE,CAAA;IAGzI;;;OAGG;IACH,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;IAGrE;;OAEG;IACH,UAAU,EAAE,CAAC,OAAO,EAAE,kBAAkB,KAAK,OAAO,CAAA;CAEvD;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB,CAAC,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,IAAI,GAAG,EAAE,CAAE,SAAQ,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC;CAAG;AAGvG;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;AAqB3G;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,eAAyC,CAAA;AAE/E;;;GAGG;AACH,eAAO,MAAM,sBAAsB,iBAAyB,CAAA"}

package/dist/writing.js.map

@@ -1 +1 @@
-{"version":3,"file":"writing.js","sourceRoot":"","sources":["../src/writing.ts"],"names":[],"mappings":"AAEA,OAAO,EAA2C,IAAI,EAAE,MAAM,eAAe,CAAA;AA8C7E;;;;GAIG;AACH,MAAM,eAAe,GAAG,CAAC,OAAsB,EAAmB,EAAE,CAChE,CAAC,QAAiC,EAAE,OAAgB,EAAE,KAAc,EAAQ,EAAE;IAClF,8DAA8D;IACtD,MAAM,GAAG,GAAI,OAAe,CAAC,OAAO,CAAW,CAAA;IAC/C,IAAI,OAAO,YAAY,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAA;QACtB,CAAC;QACA,QAAQ,CAAC,GAAG,CAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC5C,CAAC;SAAM,CAAC;QACJ,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACzB,CAAC;AACL,CAAC,CAAA;AAEL;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAoB,eAAe,CAAC,MAAM,CAAC,CAAA;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA"}
+{"version":3,"file":"writing.js","sourceRoot":"","sources":["../src/writing.ts"],"names":[],"mappings":"AAEA,OAAO,EAA2C,IAAI,EAAE,MAAM,eAAe,CAAA;AAgD7E;;;;GAIG;AACH,MAAM,eAAe,GAAG,CAAC,OAAsB,EAAmB,EAAE,CAChE,CAAC,QAAiC,EAAE,OAAgB,EAAE,KAAc,EAAQ,EAAE;IAClF,8DAA8D;IACtD,MAAM,GAAG,GAAI,OAAe,CAAC,OAAO,CAAW,CAAA;IAC/C,IAAI,OAAO,YAAY,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAA;QACtB,CAAC;QACA,QAAQ,CAAC,GAAG,CAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC5C,CAAC;SAAM,CAAC;QACJ,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACzB,CAAC;AACL,CAAC,CAAA;AAEL;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAoB,eAAe,CAAC,MAAM,CAAC,CAAA;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@lionweb/core",
-    "version": "0.8.0-beta.5",
+    "version": "0.8.0-beta.6",
     "description": "LionWeb core for {Java|Type}Script",
     "main": "dist/index.js",
     "types": "dist/index.d.ts",
@@ -27,7 +27,7 @@
         "release": "npm publish"
     },
     "dependencies": {
-        "@lionweb/json": "0.8.0-beta.5",
-        "@lionweb/ts-utils": "0.8.0-beta.5"
+        "@lionweb/json": "0.8.0-beta.6",
+        "@lionweb/ts-utils": "0.8.0-beta.6"
     }
 }

package/src/deserializer.ts

@@ -1,16 +1,11 @@
-import {
-    currentSerializationFormatVersion,
-    LionWebId,
-    LionWebJsonChunk,
-    LionWebJsonNode,
-    LionWebKey
-} from "@lionweb/json"
+import { LionWebId, LionWebJsonChunk, LionWebJsonNode, LionWebKey } from "@lionweb/json"
 import { byIdMap, groupBy, keepDefineds } from "@lionweb/ts-utils"
 import { Writer } from "./writing.js"
 import { consoleProblemReporter, ProblemReporter } from "./reporter.js"
-import { builtinPropertyValueDeserializer } from "./m3/builtins.js"
 import { MemoisingSymbolTable } from "./m3/symbol-table.js"
 import { Classifier, Containment, Enumeration, Language, PrimitiveType, Property, Reference } from "./m3/types.js"
+import { LionWebVersion } from "./m3/version.js"
+import { defaultLionWebVersion } from "./m3/versions.js"
 import { unresolved } from "./references.js"
 import { Node } from "./types.js"
 
@@ -23,6 +18,8 @@ export interface PropertyValueDeserializer {
 
 /**
  * Misspelled alias of {@link PropertyValueDeserializer}, kept for backward compatibility, and to be deprecated and removed later.
+ *
+ * @deprecated Use {@link PropertyValueDeserializer} instead.
  */
 export interface PrimitiveTypeDeserializer extends PropertyValueDeserializer {}
 
@@ -43,13 +40,18 @@ export type DeserializerConfiguration<NT extends Node> = {
      * A {@link Writer} that is used to instantiate nodes (with classifiers coming from the `languages` property) and set values on them.
      */
     writer: Writer<NT>,
+    /**
+     * The version of the LionWeb serialization format to deserialize from.
+     * Default = {@link defaultLionWebVersion}.
+     */
+    lionWebVersion?: LionWebVersion
     /**
      * An array of {@link Language languages} that the serialization chunk is expected to conform to.
      */
     languages: Language[],
     /**
      * A deserializer for values of properties.
-     * Default: {@link builtinPropertyValueDeserializer}.
+     * Default: `(lionWebVersion ?? defaultLionWebVersion).builtinsFacade.propertyValueDeserializer`.
      */
     propertyValueDeserializer?: PropertyValueDeserializer,
     /**
@@ -70,14 +72,16 @@ export const deserializerWith = <NT extends Node>(configuration: DeserializerCon
     const symbolTable = new MemoisingSymbolTable(configuration.languages)
     const { writer } = configuration
 
-    const propertyValueDeserializer = configuration.propertyValueDeserializer ?? builtinPropertyValueDeserializer
+    const lionWebVersion = configuration?.lionWebVersion ?? defaultLionWebVersion
+    const propertyValueDeserializer = configuration.propertyValueDeserializer ?? lionWebVersion.builtinsFacade.propertyValueDeserializer
     const problemReporter = configuration.problemReporter ?? consoleProblemReporter
 
     return (serializationChunk, dependentNodes = []) => {
 
-        if (serializationChunk.serializationFormatVersion !== currentSerializationFormatVersion) {
+        const serializationFormatVersion = lionWebVersion.serializationFormatVersion
+        if (serializationChunk.serializationFormatVersion !== serializationFormatVersion) {
             problemReporter.reportProblem(
-                `can't deserialize from serialization format other than version "${currentSerializationFormatVersion}" - assuming that version`
+                `can't deserialize from serialization format other than version "${serializationFormatVersion}" - assuming that version`
             )
         }
 
@@ -260,7 +264,7 @@ export const deserializerWith = <NT extends Node>(configuration: DeserializerCon
  * @param writer - a {@link Writer} that is used to instantiate nodes and set values on them
  * @param languages - {@link Language languages} that the serialized model is expected to conform to
  * @param dependentNodes - a collection of nodes from dependent models against which all references in the serialized model are supposed to resolve against
- * @param propertyValueDeserializer - a deserializer for values of properties (by default a {@link BuiltinPropertyValueDeserializer})
+ * @param propertyValueDeserializer - a deserializer for values of properties (by default `defaultLionWebVersion.builtinsFacade.propertyValueDeserializer`)
  * @param problemReporter - an object for reporting problems (by default a {@link consoleProblemReporter})
  *
  * This is a legacy variant of {@link deserializerWith}, kept for backward compatibility, and to be deprecated and removed later.
@@ -272,7 +276,7 @@ export const deserializeSerializationChunk = <NT extends Node>(
     // TODO  facades <--> languages, so it's weird that it looks split up like this
     dependentNodes: Node[],
     // TODO (#13)  see if you can turn this into [nodes: Node[], writer: Writer<Node>][] after all
-    propertyValueDeserializer: PropertyValueDeserializer = builtinPropertyValueDeserializer,
+    propertyValueDeserializer: PropertyValueDeserializer = defaultLionWebVersion.builtinsFacade.propertyValueDeserializer,
     problemReporter: ProblemReporter = consoleProblemReporter
 ): NT[] => deserializerWith({ writer, languages, propertyValueDeserializer, problemReporter: problemReporter })(serializationChunk, dependentNodes)
 

package/src/dynamic-facade.ts

@@ -1,6 +1,5 @@
 import { LionWebKey } from "@lionweb/json"
-import { builtinFeatures } from "./m3/builtins.js"
-import { Classifier } from "./m3/types.js"
+import { Classifier, defaultLionWebVersion } from "./m3/index.js"
 import { Reader, ResolveInfoDeducer } from "./reading.js"
 import { Node } from "./types.js"
 import { updateSettingsKeyBased, Writer } from "./writing.js"
@@ -19,7 +18,7 @@ export type DynamicNode = Node & {
 const propertyGetterFor = (key: LionWebKey): ResolveInfoDeducer<DynamicNode> =>
     (node) =>
         (key in node.settings && typeof node.settings[key] === "string")
-            ? node.settings[key] as string  // FIXME  type cast shouldn't be necessary
+            ? node.settings[key] as string
             : undefined
 
 /**
@@ -33,7 +32,7 @@ export const dynamicReader: Reader<DynamicNode> = ({
     enumerationLiteralFrom: (value, enumeration) =>
         enumeration.literals.find(({key}) => key === value)
         ?? null,    // (undefined -> null)
-    resolveInfoFor: propertyGetterFor(builtinFeatures.inamed_name.key)
+    resolveInfoFor: propertyGetterFor(defaultLionWebVersion.builtinsFacade.features.inamed_name.key)    // using default LionWeb version is OK, since keys don’t change
 })
 
 /**

package/src/index.ts

@@ -7,7 +7,6 @@ export * from "./references.js"
 export * from "./reporter.js"
 export * from "./serializer.js"
 export * from "./types.js"
-export * from "./version.js"
 export * from "./writing.js"
 export * from "./m1/reference-utils.js"
 export * from "./m3/index.js"

package/src/m3/README.md

@@ -6,7 +6,7 @@
 * [TypeScript type definitions](./types.ts)
 * [Factory](./factory.ts) for conveniently creating M3 instances
 * [Classifiers built in (`LionCore-builtins`) to LionCore](./builtins.ts)
-* [Facades specific for M3 instances](./facade.ts)
+* [A reader and writer specific for M3 instances](reading-writing.ts)
 * Persistence: [serializer](./serializer.ts) and [deserializer](./deserializer.ts)
 * [Constraints checker](./constraints.ts)
 * Convenience/helper [functions](./functions.ts) defined on M3 concepts

package/src/m3/builtins-common.ts

@@ -0,0 +1,143 @@
+import { StringsMapper } from "@lionweb/ts-utils"
+import { PropertyValueDeserializer } from "../deserializer.js"
+import { Concept, DataType, Interface, Language, PrimitiveType, Property } from "./types.js"
+import { isUnresolvedReference } from "../references.js"
+import { PropertyValueSerializer } from "../serializer.js"
+
+
+/**
+ * Determines whether two data types should be structurally equal based on equality of: meta type, key, and language's key.
+ */
+export const shouldBeIdentical = (left: DataType, right: DataType): boolean =>
+    left.key === right.key && left.language.key === right.language.key && left.metaType() === right.metaType()
+
+
+const lookupFrom = <T>(registry: Map<DataType, T>) =>
+    (targetDataType: DataType) => {
+        for (const [dataType, t] of registry.entries()) {
+            if (shouldBeIdentical(targetDataType, dataType)) {
+                return t
+            }
+        }
+        return undefined
+    }
+
+
+/**
+ * Type def. for functions that deserialize the value of a property of a specific type.
+ */
+export type PropertyValueDeserializerFunction = (value: string) => unknown
+
+/**
+ * @return an empty registry for populating fluently using
+ * `.set(<data type>, <deserializer function>)`,
+ * to pass to {@link propertyValueDeserializerFrom}.
+ */
+export const newPropertyValueDeserializerRegistry = () => new Map<DataType, PropertyValueDeserializerFunction>
+
+/**
+ * @return an instance of a {@link PropertyValueDeserializer} entirely driven by the passed `registry`.
+ */
+export const propertyValueDeserializerFrom = (registry: Map<DataType, PropertyValueDeserializerFunction>): PropertyValueDeserializer => {
+    const byType = lookupFrom(registry)
+    return {
+        deserializeValue: (value: string | undefined, property: Property): unknown | undefined => {
+            if (value === undefined) {
+                if (property.optional) {
+                    return undefined
+                }
+                throw new Error(`can't deserialize undefined as the value of required property "${property.name}" (on classifier "${property.classifier.name}" in language "${property.classifier.language.name}")`)
+            }
+            const { type } = property
+            if (isUnresolvedReference(type)) {
+                throw new Error(`can't deserialize property "${property.name}" (on classifier "${property.classifier.name}" in language "${property.classifier.language.name}") with unspecified type`)
+            }
+            const specificDeserializer = byType(type)
+            if (specificDeserializer != undefined) {
+                return specificDeserializer(value)
+            } else {
+                throw new Error(`can't deserialize value of property "${property.name}" (on classifier "${property.classifier.name}" in language "${property.classifier.language.name}") of type "${type!.name}": ${value}`)
+            }
+        }
+    }
+}
+
+
+/**
+ * Type def. for functions that serialize the value of a property of a specific type.
+ */
+export type PropertyValueSerializerFunction = (value: unknown) => string
+
+/**
+ * @return an empty registry for populating fluently using
+ * `.set(<data type>, <serializer function>)`,
+ * to pass to {@link propertyValueSerializerFrom}.
+ */
+export const newPropertyValueSerializerRegistry = () => new Map<DataType, PropertyValueSerializerFunction>
+
+/**
+ * @return an instance of a {@link PropertyValueSerializer} entirely driven by the passed `registry`.
+ */
+export const propertyValueSerializerFrom = (registry: Map<DataType, PropertyValueSerializerFunction>): PropertyValueSerializer => {
+    const byType = lookupFrom(registry)
+    return {
+        serializeValue: (value: unknown | undefined, property: Property): string | null => {
+            if (value === undefined) {
+                if (property.optional) {
+                    return null
+                }
+                throw new Error(`can't serialize undefined as the value of required property "${property.name}" (on classifier "${property.classifier.name}" in language "${property.classifier.language.name}")`)
+            }
+            const { type } = property
+            if (isUnresolvedReference(type)) {
+                throw new Error(`can't serialize property "${property.name}" (on classifier "${property.classifier.name}" in language "${property.classifier.language.name}") with unspecified type`)
+            }
+            const specificSerializer = byType(type)
+            if (specificSerializer != undefined) {
+                return specificSerializer(value)
+            } else {
+                throw new Error(`can't serialize value of property "${property.name}" (on classifier "${property.classifier.name}" in language "${property.classifier.language.name}") of type "${type!.name}": ${value}`)
+            }
+        }
+    }
+}
+
+
+/**
+ * The key of the LionCore language containing the built-ins.
+ */
+export const lioncoreBuiltinsKey = "LionCore-builtins"
+
+/**
+ * A function that generates IDs and keys for entities in the LionCore built-ins language.
+ */
+export const lioncoreBuiltinsIdAndKeyGenerator: StringsMapper = (...names) =>
+    [lioncoreBuiltinsKey, ...names.slice(1)].join("-")
+
+
+/**
+ * Type def. for objects that façade (a version of) the LionCore built-ins.
+ */
+export type LionCoreBuiltinsFacade = {
+    language: Language
+    /** The default {@link PropertyValueDeserializer}. */
+    propertyValueDeserializer: PropertyValueDeserializer
+    /** The default {@link PropertyValueSerializer}. */
+    propertyValueSerializer: PropertyValueSerializer
+    classifiers: {
+        node: Concept
+        inamed: Interface
+    }
+    features: {
+        inamed_name: Property
+    }
+    /**
+     * The built-in primitive types: boolean, integer, string + legacy (in the `Record<...>` part).
+     */
+    primitiveTypes: {
+        booleanDataType: PrimitiveType
+        integerDataType: PrimitiveType
+        stringDataType: PrimitiveType
+    } & Record<string, PrimitiveType>
+}
+

package/src/m3/builtins-function.ts

@@ -0,0 +1,22 @@
+import { Classifier, Concept } from "./types.js"
+import { LionWebVersion } from "./version.js"
+import { defaultLionWebVersion } from "./versions.js"
+
+/**
+ * @return whether the given {@link Classifier} is the built-in `Node` {@link Concept}
+ * of *any* version of the LionCore builtins language,
+ * or of the version belonging to the designated {@link LionWebVersion}.
+ */
+export const isBuiltinNodeConcept = (classifier: Classifier, lionWebVersion?: LionWebVersion): boolean => {
+    const { builtinsFacade } = lionWebVersion ?? defaultLionWebVersion
+    return classifier instanceof Concept
+        && (classifier as Concept).abstract
+        && classifier.language.key === builtinsFacade.language.key
+        && (lionWebVersion === undefined || classifier.language.version === builtinsFacade.language.version)
+        && classifier.key === builtinsFacade.classifiers.node.key
+}
+
+/*
+ * NOTE: this function has to be defined in a separate file to avoid circular loading dependencies!
+ */
+

package/src/m3/deserializer.ts

@@ -2,10 +2,43 @@ import { LionWebJsonChunk } from "@lionweb/json"
 import { deserializerWith } from "../deserializer.js"
 import { nodesExtractorUsing } from "../extraction.js"
 import { consoleProblemReporter, ProblemReporter } from "../reporter.js"
-import { lioncoreBuiltins } from "./builtins.js"
-import { lioncoreReader, lioncoreWriter } from "./facade.js"
-import { lioncore } from "./lioncore.js"
+import { lioncoreReaderFor, lioncoreWriterFor } from "./reading-writing.js"
 import { Language } from "./types.js"
+import { LionWebVersion } from "./version.js"
+import { defaultLionWebVersion } from "./versions.js"
+
+
+/**
+ * Type def. for objects that contain all necessary data to deserialize one or more languages from a {@link LionWebJsonChunk serialization chunk}.
+ */
+export type LanguageDeserializationData = {
+    serializationChunk: LionWebJsonChunk
+    /**
+     * The version of the LionWeb serialization format to deserialize from.
+     * Default = {@link defaultLionWebVersion}.
+     */
+    lionWebVersion?: LionWebVersion
+    dependentLanguages?: Language[]
+    /**
+     * Default = {@link consoleProblemReporter}.
+     */
+    problemReporter?: ProblemReporter
+}
+
+/**
+ * @return languages serialized to the {@link LionWebJsonChunk serialization chunk} passed in the {@link LanguageDeserializationData data object}.
+ */
+export const deserializeLanguagesFrom = ({serializationChunk, dependentLanguages, problemReporter, lionWebVersion = defaultLionWebVersion}: LanguageDeserializationData): Language[] =>
+    deserializerWith({
+        writer: lioncoreWriterFor(lionWebVersion),
+        languages: [lionWebVersion.lioncoreFacade.language, ...(dependentLanguages ?? [])],
+        problemReporter: problemReporter ?? consoleProblemReporter
+    })(
+        serializationChunk,
+        [lionWebVersion.builtinsFacade.language, ...(dependentLanguages ?? [])].flatMap(nodesExtractorUsing(lioncoreReaderFor(lionWebVersion))),
+    )
+        .filter((rootNode) => rootNode instanceof Language)
+        .map((language) => (language as Language).dependingOn(...(dependentLanguages ?? [])))
 
 
 /**
@@ -13,31 +46,27 @@ import { Language } from "./types.js"
  * as an instance of the LionCore metametamodel, using {@link _M3Concept these type definitions}.
  */
 export const deserializeLanguages = (serializationChunk: LionWebJsonChunk, ...dependentLanguages: Language[]): Language[] =>
-    deserializeLanguagesWithReporter(serializationChunk, consoleProblemReporter, ...dependentLanguages)
+    deserializeLanguagesFrom({ serializationChunk, dependentLanguages })
+
 
 /**
  * Deserializes languages that have been serialized into the LionWeb serialization JSON format
  * as an instance of the LionCore metametamodel, using {@link _M3Concept these type definitions}.
  * This function takes a {@link ProblemReporter} to be able to see what problems occurred.
+ *
+ * @deprecated Use {@link deserializeLanguagesFrom} instead.
  */
 export const deserializeLanguagesWithReporter = (
     serializationChunk: LionWebJsonChunk,
     problemReporter: ProblemReporter,
     ...dependentLanguages: Language[]
 ): Language[] =>
-    deserializerWith({
-        writer: lioncoreWriter,
-        languages: [lioncore, ...dependentLanguages],
-        problemReporter: problemReporter
-    })(
-        serializationChunk,
-        [lioncoreBuiltins, ...dependentLanguages].flatMap(nodesExtractorUsing(lioncoreReader)),
-    )
-        .filter((rootNode) => rootNode instanceof Language)
-        .map((language) => (language as Language).dependingOn(...dependentLanguages))
+    deserializeLanguagesFrom({ serializationChunk, problemReporter, dependentLanguages })
 
 /**
  * Legacy alias for {@link deserializeLanguagesWithReporter}, kept for backward compatibility, and to be deprecated and removed later.
+ *
+ * @deprecated Use {@link deserializeLanguagesFrom} instead.
  */
 export const deserializeLanguagesWithHandler = deserializeLanguagesWithReporter
 

package/src/m3/index.ts

@@ -1,12 +1,16 @@
-export * from "./builtins.js"
+export { newPropertyValueDeserializerRegistry, newPropertyValueSerializerRegistry, propertyValueDeserializerFrom, propertyValueSerializerFrom } from "./builtins-common.js"
+export type * from "./builtins-common.js"
+export { isBuiltinNodeConcept } from "./builtins-function.js"
 export * from "./constraints.js"
 export * from "./deserializer.js"
-export * from "./facade.js"
 export * from "./factory.js"
 export * from "./feature-resolvers.js"
 export * from "./functions.js"
-export * from "./lioncore.js"
+export { lioncoreKey } from "./lioncore-common.js"
+export * from "./reading-writing.js"
 export * from "./reference-checker.js"
 export * from "./serializer.js"
 export * from "./symbol-table.js"
 export * from "./types.js"
+export { LionWebVersion } from "./version.js"
+export * from "./versions.js"

package/src/m3/lioncore-common.ts

@@ -0,0 +1,42 @@
+import { Concept, Interface, Language, Property } from "./types.js"
+import { StringsMapper } from "@lionweb/ts-utils"
+
+/**
+ * The key for the LionCore language.
+ */
+export const lioncoreKey = "LionCore-M3"
+
+/**
+ * A key generator for the LionCore language.
+ * *Note*: don’t export!
+ */
+export const generatedLionCoreKeyFrom: StringsMapper = (...names) =>
+    names.length === 1 ? lioncoreKey : names.slice(1).join("-")
+
+
+/**
+ * Type def. for objects that façade (a version of) the LionCore language.
+ */
+export type LionCoreFacade = {
+    language: Language
+    metaConcepts: {
+        annotation: Concept
+        classifier: Concept
+        concept: Concept
+        interface: Concept
+        containment: Concept
+        enumeration: Concept
+        enumerationLiteral: Concept
+        ikeyed: Interface
+        language: Concept
+        primitiveType: Concept
+        property: Concept
+        reference: Concept
+    }
+    metaFeatures: {
+        concept_abstract: Property
+        ikeyed_key: Property
+        language_version: Property
+    }
+}
+

package/src/m3/reading-writing.ts

@@ -0,0 +1,160 @@
+import { metaTypedBasedClassifierDeducerFor, qualifiedNameOf } from "./functions.js"
+import { LionWebVersion } from "./version.js"
+import { defaultLionWebVersion } from "./versions.js"
+import { Reader } from "../reading.js"
+import {
+    Annotation,
+    Classifier,
+    Concept,
+    Containment,
+    Enumeration,
+    EnumerationLiteral,
+    Interface,
+    Language,
+    M3Concept,
+    PrimitiveType,
+    Property,
+    Reference
+} from "./types.js"
+import { updateSettingsNameBased, Writer } from "../writing.js"
+
+
+/**
+ * @return an instance of {@link Reader} to read instances of the LionCore M3 (so M2s),
+ * according to the specified {@link LionWebVersion LionWeb `version`}.
+ */
+export const lioncoreReaderFor = (version: LionWebVersion): Reader<M3Concept> => ({
+    classifierOf: metaTypedBasedClassifierDeducerFor(version.lioncoreFacade.language),
+    getFeatureValue: (node, feature) =>
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        (node as any)[feature.name], // (mirrors name-based update of settings)
+    enumerationLiteralFrom: (value, _) => value as EnumerationLiteral | null
+})
+
+/**
+ * An instance of {@link Reader} to read instances of the LionCore M3 (so M2s),
+ * according to the 2023.1 version of LionWeb.
+ *
+ * @deprecated Use {@link lioncoreReaderFor} instead.
+ */
+export const lioncoreReader: Reader<M3Concept> = lioncoreReaderFor(defaultLionWebVersion)
+
+/**
+ * Alias for {@link lioncoreReader}, kept for backward compatibility, and to be removed later.
+ *
+ * @deprecated Use {@link lioncoreReaderFor} instead (skipping `lioncoreReader`).
+ */
+export const lioncoreExtractionFacade = lioncoreReader
+
+
+/**
+ * An instance of {@link Writer} for instances of the LionCore M3 (so M2s),
+ * according to the specified {@link LionWebVersion LionWeb `version`}.
+ */
+export const lioncoreWriterFor = (version: LionWebVersion): Writer<M3Concept> => {
+    const { lioncoreFacade, builtinsFacade } = version
+    const { ikeyed_key } = lioncoreFacade.metaFeatures
+    const { inamed_name } = builtinsFacade.features
+    const { metaConcepts, metaFeatures } = lioncoreFacade
+    return {
+        nodeFor: (parent, classifier, id, propertySettings) => {
+            switch (classifier.key) {
+                case metaConcepts.annotation.key:
+                    return new Annotation(
+                        parent as Language,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.concept.key:
+                    return new Concept(
+                        parent as Language,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id,
+                        propertySettings[metaFeatures.concept_abstract.key] as boolean
+                    )
+                case metaConcepts.interface.key:
+                    return new Interface(
+                        parent as Language,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.containment.key:
+                    return new Containment(
+                        parent as Classifier,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.enumeration.key:
+                    return new Enumeration(
+                        parent as Language,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.enumerationLiteral.key:
+                    return new EnumerationLiteral(
+                        parent as Enumeration,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.language.key:
+                    return new Language(
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[metaFeatures.language_version.key] as string,
+                        id,
+                        propertySettings[metaFeatures.ikeyed_key.key] as string
+                    )
+                case metaConcepts.primitiveType.key:
+                    return new PrimitiveType(
+                        parent as Language,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.property.key:
+                    return new Property(
+                        parent as Classifier,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                case metaConcepts.reference.key:
+                    return new Reference(
+                        parent as Classifier,
+                        propertySettings[inamed_name.key] as string,
+                        propertySettings[ikeyed_key.key] as string,
+                        id
+                    )
+                default:
+                    throw new Error(
+                        `don't know a node of concept ${qualifiedNameOf(classifier)} with key ${classifier.key} that's not in LionCore M3`
+                    )
+            }
+        },
+        setFeatureValue: (node, feature, value) => {
+            updateSettingsNameBased(node as unknown as Record<string, unknown>, feature, value)
+        },
+        encodingOf: literal => literal
+    }
+}
+
+/**
+ * An instance of {@link Writer} for instances of the LionCore M3 (so M2s),
+ * according to the 2023.1 LionWeb version.
+ *
+ * @deprecated Use {@link lioncoreWriterFor} instead.
+ */
+export const lioncoreWriter: Writer<M3Concept> = lioncoreWriterFor(defaultLionWebVersion)
+
+/**
+ * Alias for {@link lioncoreWriter}, kept for backward compatibility, and to be deprecated and removed later.
+ *
+ * @deprecated Use {@link lioncoreWriterFor} instead (skipping `lioncoreWrite` altogether).
+ */
+export const lioncoreInstantationFacade = lioncoreWriter
+