@shaclmate/compiler 2.0.22 → 2.0.24

package/dist/generators/ts/TypeFactory.js

@@ -3,14 +3,17 @@ import TermSet from "@rdfjs/term-set";
 import { rdf, xsd } from "@tpluscode/rdf-ns-builders";
 import { Maybe } from "purify-ts";
 import { fromRdf } from "rdf-literal";
+import { invariant } from "ts-invariant";
+import { Scope } from "ts-morph";
 import { logger } from "../../logger.js";
 import { BooleanType } from "./BooleanType.js";
 import { DateTimeType } from "./DateTimeType.js";
 import { DateType } from "./DateType.js";
+import { FloatType } from "./FloatType.js";
 import { IdentifierType } from "./IdentifierType.js";
+import { IntType } from "./IntType.js";
 import { ListType } from "./ListType.js";
 import { LiteralType } from "./LiteralType.js";
-import { NumberType } from "./NumberType.js";
 import { ObjectType } from "./ObjectType.js";
 import { ObjectUnionType } from "./ObjectUnionType.js";
 import { OptionType } from "./OptionType.js";
@@ -18,42 +21,227 @@ import { SetType } from "./SetType.js";
 import { StringType } from "./StringType.js";
 import { TermType } from "./TermType.js";
 import { UnionType } from "./UnionType.js";
+import { syntheticNamePrefix } from "./syntheticNamePrefix.js";
 import { tsName } from "./tsName.js";
-function objectTypeNeedsIdentifierPrefixProperty(objectType) {
-    return objectType.identifierMintingStrategy
-        .map((identifierMintingStrategy) => {
-        switch (identifierMintingStrategy) {
-            case "blankNode":
-                return false;
-            case "sha256":
-            case "uuidv4":
-                return true;
-        }
-    })
-        .orDefault(false);
-}
 export class TypeFactory {
+    cachedBooleanType = new BooleanType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        languageIn: [],
+        primitiveDefaultValue: Maybe.empty(),
+        primitiveIn: [],
+    });
+    cachedDateType = new DateType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        languageIn: [],
+        primitiveDefaultValue: Maybe.empty(),
+        primitiveIn: [],
+    });
+    cachedDateTimeType = new DateTimeType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        languageIn: [],
+        primitiveDefaultValue: Maybe.empty(),
+        primitiveIn: [],
+    });
+    cachedFloatType = new FloatType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        languageIn: [],
+        primitiveDefaultValue: Maybe.empty(),
+        primitiveIn: [],
+    });
+    cachedIdentifierType = new IdentifierType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        nodeKinds: new Set(["BlankNode", "NamedNode"]),
+    });
+    cachedIntType = new IntType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        languageIn: [],
+        primitiveDefaultValue: Maybe.empty(),
+        primitiveIn: [],
+    });
+    cachedNamedIdentifierType = new IdentifierType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        nodeKinds: new Set(["NamedNode"]),
+    });
     cachedObjectTypePropertiesByIdentifier = new TermMap();
     cachedObjectTypesByIdentifier = new TermMap();
-    dataFactoryVariable;
-    constructor({ dataFactoryVariable }) {
-        this.dataFactoryVariable = dataFactoryVariable;
+    cachedObjectUnionTypesByIdentifier = new TermMap();
+    cachedStringType = new StringType({
+        defaultValue: Maybe.empty(),
+        hasValues: [],
+        in_: [],
+        languageIn: [],
+        primitiveDefaultValue: Maybe.empty(),
+        primitiveIn: [],
+    });
+    createObjectTypeFromAstType(astType) {
+        {
+            const cachedObjectType = this.cachedObjectTypesByIdentifier.get(astType.name.identifier);
+            if (cachedObjectType) {
+                return cachedObjectType;
+            }
+        }
+        const identifierType = new IdentifierType({
+            defaultValue: Maybe.empty(),
+            hasValues: [],
+            in_: astType.identifierIn,
+            nodeKinds: astType.identifierNodeKinds,
+        });
+        const staticModuleName = astType.childObjectTypes.length > 0
+            ? `${tsName(astType.name)}Static`
+            : tsName(astType.name);
+        const objectType = new ObjectType({
+            abstract: astType.abstract,
+            comment: astType.comment,
+            declarationType: astType.tsObjectDeclarationType,
+            export_: astType.export,
+            extern: astType.extern,
+            features: astType.tsFeatures,
+            fromRdfType: astType.fromRdfType,
+            imports: astType.tsImports,
+            label: astType.label,
+            lazyAncestorObjectTypes: () => astType.ancestorObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
+            lazyChildObjectTypes: () => astType.childObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
+            lazyDescendantObjectTypes: () => astType.descendantObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
+            lazyParentObjectTypes: () => astType.parentObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
+            lazyProperties: (objectType) => {
+                const properties = astType.properties
+                    .toSorted((left, right) => {
+                    if (left.order < right.order) {
+                        return -1;
+                    }
+                    if (left.order > right.order) {
+                        return 1;
+                    }
+                    return tsName(left.name).localeCompare(tsName(right.name));
+                })
+                    .map((astProperty) => this.createObjectTypePropertyFromAstProperty({
+                    astObjectTypeProperty: astProperty,
+                    objectType,
+                }));
+                // Type discriminator property
+                const typeDiscriminatorOwnValue = !astType.abstract
+                    ? objectType.discriminatorValue
+                    : undefined;
+                const typeDiscriminatorDescendantValues = new Set();
+                for (const descendantObjectType of objectType.descendantObjectTypes) {
+                    if (!descendantObjectType.abstract) {
+                        typeDiscriminatorDescendantValues.add(descendantObjectType.discriminatorValue);
+                    }
+                }
+                if (typeDiscriminatorOwnValue ||
+                    typeDiscriminatorDescendantValues.size > 0) {
+                    properties.splice(0, 0, new ObjectType.TypeDiscriminatorProperty({
+                        abstract: astType.abstract,
+                        name: `${syntheticNamePrefix}type`,
+                        initializer: objectType.discriminatorValue,
+                        objectType,
+                        override: objectType.parentObjectTypes.length > 0,
+                        type: new ObjectType.TypeDiscriminatorProperty.Type({
+                            descendantValues: [...typeDiscriminatorDescendantValues].sort(),
+                            mutable: false,
+                            ownValues: typeDiscriminatorOwnValue
+                                ? [typeDiscriminatorOwnValue]
+                                : [],
+                        }),
+                        visibility: "public",
+                    }));
+                }
+                // Some ObjectTypes have an identifierPrefix property, depending on their identifier minting strategy.
+                if (objectTypeNeedsIdentifierPrefixProperty(astType)) {
+                    properties.splice(0, 0, new ObjectType.IdentifierPrefixProperty({
+                        own: !astType.ancestorObjectTypes.some(objectTypeNeedsIdentifierPrefixProperty),
+                        name: `${syntheticNamePrefix}identifierPrefix`,
+                        objectType,
+                        type: this.cachedStringType,
+                        visibility: "protected",
+                    }));
+                }
+                // Every ObjectType has an identifier property. Some are abstract.
+                properties.splice(0, 0, new ObjectType.IdentifierProperty({
+                    abstract: astType.abstract,
+                    getAccessorScope: (() => {
+                        if (astType.abstract) {
+                            return Maybe.empty();
+                        }
+                        if (astType.identifierMintingStrategy.isJust() ||
+                            astType.ancestorObjectTypes.some((ancestorObjectType) => ancestorObjectType.identifierMintingStrategy.isJust())) {
+                            return Maybe.of(Scope.Public);
+                        }
+                        return Maybe.empty();
+                    })(),
+                    identifierMintingStrategy: astType.identifierMintingStrategy,
+                    identifierPrefixPropertyName: `${syntheticNamePrefix}identifierPrefix`,
+                    name: `${syntheticNamePrefix}identifier`,
+                    objectType,
+                    override: astType.parentObjectTypes.length > 0,
+                    propertyDeclarationVisibility: (() => {
+                        if (astType.abstract) {
+                            // If the type is abstract, don't declare an identifier property.
+                            return Maybe.empty();
+                        }
+                        if (astType.ancestorObjectTypes.some((ancestorObjectType) => !ancestorObjectType.abstract)) {
+                            // If the type has a non-abstract ancestor, that ancestor will declare the identifier property.
+                            return Maybe.empty();
+                        }
+                        if (astType.descendantObjectTypes.some((descendantObjectType) => !descendantObjectType.abstract)) {
+                            // If the type has a non-abstract descendant, declare the identifier property for it.
+                            return Maybe.of("protected");
+                        }
+                        return Maybe.of("private");
+                    })(),
+                    type: identifierType,
+                    typeAlias: `${staticModuleName}.${syntheticNamePrefix}Identifier`,
+                    visibility: "public",
+                }));
+                return properties;
+            },
+            identifierMintingStrategy: astType.identifierMintingStrategy,
+            name: tsName(astType.name),
+            staticModuleName,
+            synthetic: astType.synthetic,
+            toRdfTypes: astType.toRdfTypes,
+        });
+        this.cachedObjectTypesByIdentifier.set(astType.name.identifier, objectType);
+        return objectType;
     }
     createTypeFromAstType(astType) {
         switch (astType.kind) {
             case "IdentifierType":
+                if (astType.defaultValue.isNothing() &&
+                    astType.hasValues.length === 0 &&
+                    astType.in_.length === 0) {
+                    if (astType.nodeKinds.size === 2) {
+                        return this.cachedIdentifierType;
+                    }
+                    if (astType.nodeKinds.size === 1 &&
+                        astType.nodeKinds.has("NamedNode")) {
+                        return this.cachedNamedIdentifierType;
+                    }
+                }
                 return new IdentifierType({
-                    dataFactoryVariable: this.dataFactoryVariable,
                     defaultValue: astType.defaultValue,
                     hasValues: astType.hasValues,
-                    in_: astType.in_,
+                    in_: astType.in_.filter((_) => _.termType === "NamedNode"),
                     nodeKinds: astType.nodeKinds,
                 });
             case "IntersectionType":
                 throw new Error("not implemented");
             case "ListType": {
                 return new ListType({
-                    dataFactoryVariable: this.dataFactoryVariable,
                     identifierNodeKind: astType.identifierNodeKind,
                     itemType: this.createTypeFromAstType(astType.itemType),
                     mutable: astType.mutable.orDefault(false),
@@ -77,8 +265,12 @@ export class TypeFactory {
                 if (datatypes.size === 1) {
                     const datatype = [...datatypes][0];
                     if (datatype.equals(xsd.boolean)) {
+                        if (astType.defaultValue.isNothing() &&
+                            astType.hasValues.length === 0 &&
+                            astType.in_.length === 0) {
+                            return this.cachedBooleanType;
+                        }
                         return new BooleanType({
-                            dataFactoryVariable: this.dataFactoryVariable,
                             defaultValue: astType.defaultValue,
                             hasValues: astType.hasValues,
                             languageIn: [],
@@ -92,8 +284,14 @@ export class TypeFactory {
                         });
                     }
                     if (datatype.equals(xsd.date) || datatype.equals(xsd.dateTime)) {
+                        if (astType.defaultValue.isNothing() &&
+                            astType.hasValues.length === 0 &&
+                            astType.in_.length === 0) {
+                            return datatype.equals(xsd.date)
+                                ? this.cachedDateType
+                                : this.cachedDateTimeType;
+                        }
                         return new (datatype.equals(xsd.date) ? DateType : DateTimeType)({
-                            dataFactoryVariable: this.dataFactoryVariable,
                             defaultValue: astType.defaultValue,
                             hasValues: astType.hasValues,
                             in_: astType.in_,
@@ -106,45 +304,38 @@ export class TypeFactory {
                                 .filter((value) => typeof value === "object" && value instanceof Date),
                         });
                     }
-                    for (const numberDatatype of [
-                        // Integers
-                        xsd.byte,
-                        xsd.int,
-                        xsd.integer,
-                        xsd.long,
-                        xsd.negativeInteger,
-                        xsd.nonNegativeInteger,
-                        xsd.nonPositiveInteger,
-                        xsd.positiveInteger,
-                        xsd.short,
-                        xsd.unsignedByte,
-                        xsd.unsignedInt,
-                        xsd.unsignedLong,
-                        xsd.unsignedShort,
-                        // Floating point
-                        xsd.decimal,
-                        xsd.double,
-                        xsd.float,
-                    ]) {
-                        if (datatype.equals(numberDatatype)) {
-                            return new NumberType({
-                                dataFactoryVariable: this.dataFactoryVariable,
-                                defaultValue: astType.defaultValue,
-                                hasValues: astType.hasValues,
-                                in_: astType.in_,
-                                languageIn: [],
-                                primitiveDefaultValue: astType.defaultValue
-                                    .map((value) => fromRdf(value, true))
-                                    .filter((value) => typeof value === "number"),
-                                primitiveIn: astType.in_
-                                    .map((value) => fromRdf(value, true))
-                                    .filter((value) => typeof value === "number"),
-                            });
+                    for (const [floatOrInt, numberDatatypes_] of Object.entries(numberDatatypes)) {
+                        for (const numberDatatype of numberDatatypes_) {
+                            if (datatype.equals(numberDatatype)) {
+                                if (astType.defaultValue.isNothing() &&
+                                    astType.hasValues.length === 0 &&
+                                    astType.in_.length === 0) {
+                                    return floatOrInt === "float"
+                                        ? this.cachedFloatType
+                                        : this.cachedIntType;
+                                }
+                                return new (floatOrInt === "float" ? FloatType : IntType)({
+                                    defaultValue: astType.defaultValue,
+                                    hasValues: astType.hasValues,
+                                    in_: astType.in_,
+                                    languageIn: [],
+                                    primitiveDefaultValue: astType.defaultValue
+                                        .map((value) => fromRdf(value, true))
+                                        .filter((value) => typeof value === "number"),
+                                    primitiveIn: astType.in_
+                                        .map((value) => fromRdf(value, true))
+                                        .filter((value) => typeof value === "number"),
+                                });
+                            }
                         }
                     }
                     if (datatype.equals(xsd.anyURI) || datatype.equals(xsd.string)) {
+                        if (astType.defaultValue.isNothing() &&
+                            astType.hasValues.length === 0 &&
+                            astType.in_.length === 0) {
+                            return this.cachedStringType;
+                        }
                         return new StringType({
-                            dataFactoryVariable: this.dataFactoryVariable,
                             defaultValue: astType.defaultValue,
                             hasValues: astType.hasValues,
                             languageIn: [],
@@ -167,7 +358,6 @@ export class TypeFactory {
                     logger.debug("literal type has no datatypes");
                 }
                 return new LiteralType({
-                    dataFactoryVariable: this.dataFactoryVariable,
                     defaultValue: astType.defaultValue,
                     hasValues: astType.hasValues,
                     in_: astType.in_,
@@ -179,205 +369,169 @@ export class TypeFactory {
             case "ObjectType":
                 return this.createObjectTypeFromAstType(astType);
             case "ObjectUnionType":
-                return new ObjectUnionType({
-                    comment: astType.comment,
-                    dataFactoryVariable: this.dataFactoryVariable,
-                    export_: astType.export,
-                    features: astType.tsFeatures,
-                    label: astType.label,
-                    memberTypes: astType.memberTypes
-                        .map((astType) => this.createTypeFromAstType(astType))
-                        .filter((memberType) => memberType instanceof ObjectType),
-                    name: tsName(astType.name),
-                });
+                return this.createObjectUnionTypeFromAstType(astType);
             case "OptionType":
                 return new OptionType({
-                    dataFactoryVariable: this.dataFactoryVariable,
                     itemType: this.createTypeFromAstType(astType.itemType),
                 });
             case "PlaceholderType":
                 throw new Error(astType.kind);
             case "SetType":
                 return new SetType({
-                    dataFactoryVariable: this.dataFactoryVariable,
                     itemType: this.createTypeFromAstType(astType.itemType),
                     mutable: astType.mutable.orDefault(false),
                     minCount: astType.minCount,
                 });
             case "TermType":
                 return new TermType({
-                    dataFactoryVariable: this.dataFactoryVariable,
-                    defaultValue: astType.defaultValue,
-                    hasValues: astType.hasValues,
-                    in_: astType.in_,
-                    nodeKinds: astType.nodeKinds,
+                    defaultValue: astType["defaultValue"],
+                    hasValues: astType["hasValues"],
+                    in_: astType["in_"],
+                    nodeKinds: astType["nodeKinds"],
                 });
             case "UnionType":
                 return new UnionType({
-                    dataFactoryVariable: this.dataFactoryVariable,
                     memberTypes: astType.memberTypes.map((astType) => this.createTypeFromAstType(astType)),
                 });
         }
     }
-    createObjectTypeFromAstType(astType) {
+    createObjectTypePropertyFromAstProperty({ astObjectTypeProperty, objectType, }) {
         {
-            const cachedObjectType = this.cachedObjectTypesByIdentifier.get(astType.name.identifier);
-            if (cachedObjectType) {
-                return cachedObjectType;
+            const cachedProperty = this.cachedObjectTypePropertiesByIdentifier.get(astObjectTypeProperty.name.identifier);
+            if (cachedProperty) {
+                return cachedProperty;
             }
         }
-        const identifierType = new IdentifierType({
-            dataFactoryVariable: this.dataFactoryVariable,
-            defaultValue: Maybe.empty(),
-            hasValues: [],
-            in_: astType.identifierIn,
-            nodeKinds: astType.identifierKinds,
-        });
-        const objectType = new ObjectType({
-            abstract: astType.abstract,
+        let property;
+        const name = tsName(astObjectTypeProperty.name);
+        if (astObjectTypeProperty.stubType.isJust()) {
+            const resolvedType = this.createTypeFromAstType(astObjectTypeProperty.type);
+            let lazyType;
+            const stubType = this.createTypeFromAstType(astObjectTypeProperty.stubType.unsafeCoerce());
+            if (resolvedType instanceof OptionType) {
+                invariant(resolvedType.itemType instanceof ObjectType ||
+                    resolvedType.itemType instanceof ObjectUnionType, `lazy property ${name} on ${objectType.name} has ${resolvedType.kind} ${resolvedType.itemType.kind} items`);
+                invariant(stubType instanceof OptionType, `lazy property ${name} on ${objectType.name} has ${stubType.kind} stubs`);
+                lazyType = new ObjectType.LazyShaclProperty.OptionalObjectType({
+                    resolvedType,
+                    stubType,
+                });
+            }
+            else if (resolvedType instanceof ObjectType ||
+                resolvedType instanceof ObjectUnionType) {
+                invariant(stubType instanceof ObjectType || stubType instanceof ObjectUnionType, `lazy property ${name} on ${objectType.name} has ${stubType.kind} stubs`);
+                lazyType = new ObjectType.LazyShaclProperty.RequiredObjectType({
+                    resolvedType: resolvedType,
+                    stubType: stubType,
+                });
+            }
+            else if (resolvedType instanceof SetType) {
+                invariant(resolvedType.itemType instanceof ObjectType ||
+                    resolvedType.itemType instanceof ObjectUnionType, `lazy property ${name} on ${objectType.name} has ${resolvedType.kind} ${resolvedType.itemType.kind} items`);
+                invariant(stubType instanceof SetType, `lazy property ${name} on ${objectType.name} has ${stubType.kind} stubs`);
+                lazyType = new ObjectType.LazyShaclProperty.ObjectSetType({
+                    resolvedType,
+                    stubType,
+                });
+            }
+            else {
+                throw new Error(`lazy property ${name} on ${objectType.name} has ${resolvedType.kind}`);
+            }
+            property = new ObjectType.LazyShaclProperty({
+                comment: astObjectTypeProperty.comment,
+                description: astObjectTypeProperty.description,
+                label: astObjectTypeProperty.label,
+                objectType,
+                name,
+                path: astObjectTypeProperty.path.iri,
+                type: lazyType,
+                visibility: astObjectTypeProperty.visibility,
+            });
+        }
+        else {
+            property = new ObjectType.EagerShaclProperty({
+                comment: astObjectTypeProperty.comment,
+                description: astObjectTypeProperty.description,
+                label: astObjectTypeProperty.label,
+                mutable: astObjectTypeProperty.mutable.orDefault(false),
+                objectType,
+                name,
+                path: astObjectTypeProperty.path.iri,
+                recursive: !!astObjectTypeProperty.recursive,
+                type: this.createTypeFromAstType(astObjectTypeProperty.type),
+                visibility: astObjectTypeProperty.visibility,
+            });
+        }
+        this.cachedObjectTypePropertiesByIdentifier.set(astObjectTypeProperty.name.identifier, property);
+        return property;
+    }
+    createObjectUnionTypeFromAstType(astType) {
+        {
+            const cachedObjectUnionType = this.cachedObjectUnionTypesByIdentifier.get(astType.name.identifier);
+            if (cachedObjectUnionType) {
+                return cachedObjectUnionType;
+            }
+        }
+        const memberTypes = astType.memberTypes
+            .map((astType) => this.createTypeFromAstType(astType))
+            .filter((memberType) => memberType instanceof ObjectType);
+        const memberIdentifierTypeNodeKinds = new Set();
+        const memberIdentifierTypesIn = new TermSet();
+        for (const memberType of memberTypes) {
+            for (const nodeKind of memberType.identifierType.nodeKinds) {
+                memberIdentifierTypeNodeKinds.add(nodeKind);
+            }
+            for (const in_ of memberType.identifierType.in_) {
+                memberIdentifierTypesIn.add(in_);
+            }
+        }
+        const objectUnionType = new ObjectUnionType({
             comment: astType.comment,
-            dataFactoryVariable: this.dataFactoryVariable,
-            declarationType: astType.tsObjectDeclarationType,
             export_: astType.export,
-            extern: astType.extern,
             features: astType.tsFeatures,
-            fromRdfType: astType.fromRdfType,
-            imports: astType.tsImports,
+            identifierType: new IdentifierType({
+                defaultValue: Maybe.empty(),
+                hasValues: [],
+                in_: [...memberIdentifierTypesIn],
+                nodeKinds: memberIdentifierTypeNodeKinds,
+            }),
             label: astType.label,
-            lazyAncestorObjectTypes: () => astType.ancestorObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
-            lazyDescendantObjectTypes: () => astType.descendantObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
-            lazyParentObjectTypes: () => astType.parentObjectTypes.map((astType) => this.createObjectTypeFromAstType(astType)),
-            lazyProperties: () => {
-                const properties = astType.properties
-                    .toSorted((left, right) => {
-                    if (left.order < right.order) {
-                        return -1;
-                    }
-                    if (left.order > right.order) {
-                        return 1;
-                    }
-                    return tsName(left.name).localeCompare(tsName(right.name));
-                })
-                    .map((astProperty) => this.createObjectTypePropertyFromAstProperty(astType, astProperty));
-                const lazyMutable = () => properties.some((property) => property.mutable || property.type.mutable);
-                // Type discriminator property
-                const typeDiscriminatorValues = new Set();
-                if (!astType.abstract) {
-                    typeDiscriminatorValues.add(objectType.discriminatorValue);
-                }
-                for (const descendantObjectType of objectType.descendantObjectTypes) {
-                    if (!descendantObjectType.abstract) {
-                        typeDiscriminatorValues.add(descendantObjectType.discriminatorValue);
-                    }
-                }
-                if (typeDiscriminatorValues.size > 0) {
-                    properties.splice(0, 0, new ObjectType.TypeDiscriminatorProperty({
-                        abstract: astType.abstract,
-                        dataFactoryVariable: this.dataFactoryVariable,
-                        name: astType.tsTypeDiscriminatorPropertyName,
-                        objectType: {
-                            declarationType: astType.tsObjectDeclarationType,
-                            features: astType.tsFeatures,
-                            mutable: lazyMutable,
-                        },
-                        override: objectType.parentObjectTypes.length > 0,
-                        type: new ObjectType.TypeDiscriminatorProperty.Type({
-                            mutable: false,
-                            values: [...typeDiscriminatorValues].sort(),
-                        }),
-                        visibility: "public",
-                        value: objectType.discriminatorValue,
-                    }));
-                }
-                // Some ObjectTypes have an identifierPrefix property, depending on their identifier minting strategy.
-                if (objectTypeNeedsIdentifierPrefixProperty(astType)) {
-                    properties.splice(0, 0, new ObjectType.IdentifierPrefixProperty({
-                        dataFactoryVariable: this.dataFactoryVariable,
-                        own: !astType.ancestorObjectTypes.some(objectTypeNeedsIdentifierPrefixProperty),
-                        name: astType.tsIdentifierPrefixPropertyName,
-                        objectType: {
-                            declarationType: astType.tsObjectDeclarationType,
-                            features: astType.tsFeatures,
-                            mutable: lazyMutable,
-                        },
-                        type: new StringType({
-                            dataFactoryVariable: this.dataFactoryVariable,
-                            defaultValue: Maybe.empty(),
-                            hasValues: [],
-                            in_: [],
-                            languageIn: [],
-                            primitiveDefaultValue: Maybe.empty(),
-                            primitiveIn: [],
-                        }),
-                        visibility: "protected",
-                    }));
-                }
-                // Every ObjectType has an identifier property. Some are abstract.
-                properties.splice(0, 0, new ObjectType.IdentifierProperty({
-                    abstract: astType.abstract,
-                    classDeclarationVisibility: (() => {
-                        if (astType.abstract) {
-                            // If the type is abstract, don't declare an identifier property.
-                            return Maybe.empty();
-                        }
-                        if (astType.ancestorObjectTypes.some((ancestorObjectType) => !ancestorObjectType.abstract)) {
-                            // If the type has a non-abstract ancestor, that ancestor will declare the identifier property.
-                            return Maybe.empty();
-                        }
-                        if (astType.descendantObjectTypes.some((descendantObjectType) => !descendantObjectType.abstract)) {
-                            // If the type has a non-abstract descendant, declare the identifier property for it.
-                            return Maybe.of("protected");
-                        }
-                        return Maybe.of("private");
-                    })(),
-                    dataFactoryVariable: this.dataFactoryVariable,
-                    identifierMintingStrategy: astType.identifierMintingStrategy,
-                    name: astType.tsIdentifierPropertyName,
-                    objectType: {
-                        declarationType: astType.tsObjectDeclarationType,
-                        features: astType.tsFeatures,
-                        mutable: lazyMutable,
-                    },
-                    override: astType.parentObjectTypes.length > 0,
-                    type: identifierType,
-                    visibility: "public",
-                }));
-                return properties;
-            },
-            identifierMintingStrategy: astType.identifierMintingStrategy,
+            memberTypes,
             name: tsName(astType.name),
-            toRdfTypes: astType.toRdfTypes,
         });
-        this.cachedObjectTypesByIdentifier.set(astType.name.identifier, objectType);
-        return objectType;
+        this.cachedObjectUnionTypesByIdentifier.set(astType.name.identifier, objectUnionType);
+        return objectUnionType;
     }
-    createObjectTypePropertyFromAstProperty(astObjectType, astObjectTypeProperty) {
-        {
-            const cachedProperty = this.cachedObjectTypePropertiesByIdentifier.get(astObjectTypeProperty.name.identifier);
-            if (cachedProperty) {
-                return cachedProperty;
-            }
+}
+function objectTypeNeedsIdentifierPrefixProperty(objectType) {
+    return objectType.identifierMintingStrategy
+        .map((identifierMintingStrategy) => {
+        switch (identifierMintingStrategy) {
+            case "blankNode":
+                return false;
+            case "sha256":
+            case "uuidv4":
+                return true;
         }
-        const property = new ObjectType.ShaclProperty({
-            comment: astObjectTypeProperty.comment,
-            dataFactoryVariable: this.dataFactoryVariable,
-            description: astObjectTypeProperty.description,
-            label: astObjectTypeProperty.label,
-            mutable: astObjectTypeProperty.mutable.orDefault(false),
-            objectType: {
-                declarationType: astObjectType.tsObjectDeclarationType,
-                features: astObjectType.tsFeatures,
-                mutable: () => {
-                    throw new Error("not implemented");
-                },
-            },
-            name: tsName(astObjectTypeProperty.name),
-            path: astObjectTypeProperty.path.iri,
-            type: this.createTypeFromAstType(astObjectTypeProperty.type),
-            visibility: astObjectTypeProperty.visibility,
-        });
-        this.cachedObjectTypePropertiesByIdentifier.set(astObjectTypeProperty.name.identifier, property);
-        return property;
-    }
+    })
+        .orDefault(false);
 }
+const numberDatatypes = {
+    float: [xsd.decimal, xsd.double, xsd.float],
+    int: [
+        xsd.byte,
+        xsd.int,
+        xsd.integer,
+        xsd.long,
+        xsd.negativeInteger,
+        xsd.nonNegativeInteger,
+        xsd.nonPositiveInteger,
+        xsd.positiveInteger,
+        xsd.short,
+        xsd.unsignedByte,
+        xsd.unsignedInt,
+        xsd.unsignedLong,
+        xsd.unsignedShort,
+    ],
+};
 //# sourceMappingURL=TypeFactory.js.map