@prisma/orm-family-sql 8.0.0-rc.19-dev.6 → 8.0.0-rc.19-dev.8

package/dist/{interpreter-BGgim2OE-D9BG-4aU.mjs → interpreter-BDpym-rc-BZVFp5GU.mjs}

@@ -4,13 +4,13 @@ import { n as providesPslEntityPlacement } from "./entity-handle-lowering-hook-B
 import "./foreign-key-materialization-BPQqd0qF.mjs";
 import { p as sqlTextFromStored } from "./sql-expression-BJCuy-WI.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { n as buildSqlContractFromDefinition } from "./derived-checks-iXF3y0Ki-28vqz_8w.mjs";
+import { n as buildSqlContractFromDefinition } from "./derived-checks-D5HVRvqN-B37oe30Z.mjs";
 import { i as mapFieldNamesToColumns, n as getAttribute, o as storageName, r as getNamedArgument, t as formatDbAttributeMigrationMessage } from "./psl-attribute-parsing-BCsFWsSp-LaNsbcrw.mjs";
-import { S as sqlAttributeSpecs, _ as modelCoordinateKey, b as readWrittenValueForCodec, d as interpretModelAttribute, f as lowerDataTypeDefault, g as modelAttributeSpecsFrom, h as lowerTypeGenerators, l as instantiatePslTypeConstructor, m as lowerTypeDefault, n as collectResolvedFields, o as fieldSpecContext, p as lowerEnumDefault, r as contractError, s as getAuthoringEntity, t as PSL_CHECK_ON_STI_VARIANT, u as interpretFieldAttribute, v as modelSpecContext, x as resolveFieldTypeDescriptor } from "./psl-field-resolution-C9zwpsAu-DCc7Eifv.mjs";
+import { _ as modelSpecContext, b as sqlAttributeSpecs, d as interpretModelAttribute, f as lowerEnumDefault, g as modelCoordinateKey, h as modelAttributeSpecsFrom, l as instantiatePslTypeConstructor, m as lowerTypeGenerators, n as collectResolvedFields, o as fieldSpecContext, p as lowerTypeDefault, r as contractError, s as getAuthoringEntity, t as PSL_CHECK_ON_STI_VARIANT, u as interpretFieldAttribute, y as resolveFieldTypeDescriptor } from "./psl-field-resolution-C5KQ7kzP-DH8oSBIL.mjs";
 import { t as defaultTableName } from "./default-table-name-BfFY8qYR-lHNcVmY5.mjs";
 import { isStructuredError } from "@prisma/orm-framework/utils/structured-error";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
-import { instantiateAuthoringEntityType, instantiateAuthoringTypeAlias, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringModelAttributeDescriptor, resolveTypeAliasGenerators } from "@prisma/orm-framework/components/authoring";
+import { applyDiscriminatorRule, describeDiscriminatorRefusal, encodeEnumMembers, instantiateAuthoringEntityType, instantiateAuthoringTypeAlias, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringModelAttributeDescriptor, resolveTypeAliasGenerators } from "@prisma/orm-framework/components/authoring";
 import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
 import { InternalError } from "@prisma/orm-framework/utils/internal-error";
@@ -21,7 +21,7 @@ import { assertDefined, invariant } from "@prisma/orm-framework/utils/assertions
 import { notOk, ok } from "@prisma/orm-framework/utils/result";
 import { contributedTypeAliasOf, createPslDiagnosticCollector, diagnosticSource, findBlockDescriptor, interpretExtensionBlocks, nodePslSpan, resolveTypeAliases, typeAliasAttributeNames, typeAliasSpecContext, typeReferenceNode } from "@prisma/orm-framework/psl-parser";
 import { claimedBlockKeywords, enumMemberAttributeDiagnostics, fkRelationPairKey, requiredOneToOneBackrelationDiagnostic, unsupportedBlockDiagnostic } from "@prisma/orm-framework/psl-parser/interpret";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-BGgim2OE.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-BDpym-rc.mjs
 function describeUnsupportedSqlAliasAttribute(attribute) {
 	return attribute.name.startsWith("db.") ? formatDbAttributeMigrationMessage(attribute) : void 0;
 }
@@ -1028,7 +1028,7 @@ function buildModelNodeFromPsl(input) {
 				family: input.familyId,
 				target: input.targetId,
 				codecLookup: input.codecLookup,
-				dataTypeLookup: input.dataTypes.lookup,
+				dataTypes: input.dataTypes,
 				modelName: model.name,
 				storageName: tableName,
 				fieldStorageName: (fieldName) => {
@@ -1415,15 +1415,10 @@ function buildValueObjectNodes(input) {
 		};
 	});
 }
-/** Whether the column's data type is one of the stack's text data types. */
-function isTextColumn(column, codecLookup, textDataTypes) {
-	if (textDataTypes.length === 0) throw new InternalError("The stack names no text data types, so no column can be a discriminator; the target names its text types in its authoring contributions.");
-	const dataType = codecLookup.descriptorFor(column.codecId)?.dataType;
-	return dataType !== void 0 && textDataTypes.includes(dataType);
-}
-function collectPolymorphismDeclarations(identities, symbols, sources, binder, specContextFor, discriminatorColumnOf, codecLookup, dataTypes, textDataTypes, diagnostics) {
-	const discriminatorDeclarations = /* @__PURE__ */ new Map();
+function collectPolymorphismDeclarations(identities, symbols, sources, binder, specContextFor, discriminatorFieldOf, codecLookup, dataTypes, diagnostics) {
+	const pendingDiscriminators = /* @__PURE__ */ new Map();
 	const pendingBaseDeclarations = /* @__PURE__ */ new Map();
+	const reported = { discriminators: /* @__PURE__ */ new Set() };
 	for (const { model, namespaceId, key } of identities.values()) {
 		const source = diagnosticSource(sources, model.node.syntax);
 		const discriminatorNode = getAttribute(model.attributes, "discriminator")?.node;
@@ -1437,23 +1432,16 @@ function collectPolymorphismDeclarations(identities, symbols, sources, binder, s
 				binder,
 				diagnostics
 			});
-			if (parsed !== void 0) {
-				const span = nodePslSpan(discriminatorNode.syntax, sources);
-				const discField = model.fields[parsed.field];
-				const column = discriminatorColumnOf(model, parsed.field);
-				if (column === void 0 || !isTextColumn(column, codecLookup, textDataTypes)) diagnostics.push({
-					code: "PSL_INVALID_ATTRIBUTE_ARGUMENT",
-					message: `Discriminator field "${parsed.field}" on model "${model.name}" must be text, such as String, but is "${discField?.typeName ?? parsed.field}"`,
-					...source.at(span)
-				});
-				else discriminatorDeclarations.set(key, {
+			if (parsed !== void 0) pendingDiscriminators.set(key, {
+				declaration: {
 					model,
 					fieldName: parsed.field,
-					column,
-					span,
+					span: nodePslSpan(discriminatorNode.syntax, sources),
 					source
-				});
-			}
+				},
+				field: discriminatorFieldOf(model, parsed.field)
+			});
+			else reported.discriminators.add(key);
 		}
 		const baseNode = getAttribute(model.attributes, "base")?.node;
 		if (baseNode !== void 0) {
@@ -1480,57 +1468,91 @@ function collectPolymorphismDeclarations(identities, symbols, sources, binder, s
 			}
 		}
 	}
-	const baseDeclarations = /* @__PURE__ */ new Map();
-	for (const [key, { written, ...declaration }] of pendingBaseDeclarations) {
-		const discriminator = discriminatorDeclarations.get(declaration.base.key);
-		baseDeclarations.set(key, {
-			...declaration,
-			value: discriminator === void 0 ? void 0 : storedDiscriminatorValue(written, declaration, discriminator, {
-				codecLookup,
-				dataTypes,
-				diagnostics
-			})
+	const discriminatorDeclarations = /* @__PURE__ */ new Map();
+	const values = /* @__PURE__ */ new Map();
+	for (const [baseKey, { declaration, field }] of pendingDiscriminators) {
+		const accepted = acceptedDiscriminator(declaration, field, [...pendingBaseDeclarations].filter(([, base]) => base.base.key === baseKey), {
+			codecLookup,
+			dataTypes,
+			diagnostics
 		});
+		if (accepted === void 0) {
+			reported.discriminators.add(baseKey);
+			continue;
+		}
+		discriminatorDeclarations.set(baseKey, declaration);
+		for (const [variantKey, value] of accepted) values.set(variantKey, value);
 	}
+	const baseDeclarations = /* @__PURE__ */ new Map();
+	for (const [key, { model, namespaceId, source, base, span }] of pendingBaseDeclarations) baseDeclarations.set(key, {
+		model,
+		namespaceId,
+		source,
+		base,
+		span,
+		value: values.get(key)
+	});
 	return {
 		discriminatorDeclarations,
-		baseDeclarations
+		baseDeclarations,
+		reported
 	};
 }
 /**
-* A `@@base` value read like a default of the discriminator column: written, cast into the column's data type and checked by its codec. A refusal is reported at the value.
+* The stored discriminator value of each variant, by the variant's key, when the discriminator rule accepts the field; `undefined` when it refuses the field. A refusal is reported at the `@@discriminator` attribute or at the `@@base` value it is about.
 */
-function storedDiscriminatorValue(written, declaration, discriminator, input) {
-	if (written.written === void 0) throw new InternalError("A @@base value is a quoted string, a number or a boolean, never a tagged literal.");
-	const lowered = lowerDataTypeDefault({
-		written: written.written,
-		spans: {
-			attribute: written.span,
-			value: written.span,
-			elements: []
-		},
-		isList: false,
-		column: discriminator.column,
+function acceptedDiscriminator(declaration, discriminatorField, bases, input) {
+	const { model, fieldName } = declaration;
+	const baseByKey = new Map(bases);
+	const decision = applyDiscriminatorRule({
+		field: discriminatorField.field,
+		variants: bases.map(([key, base]) => ({
+			key,
+			written: writtenBaseValue(base)
+		})),
+		subject: `Field "${model.name}.${fieldName}"`,
 		codecLookup: input.codecLookup,
-		dataTypes: input.dataTypes,
-		subject: `Field "${discriminator.model.name}.${discriminator.fieldName}"`,
-		sourceElementIndexes: void 0
+		dataTypes: input.dataTypes
 	});
-	if (!lowered.ok) {
+	const baseOf = (variantKey) => {
+		const base = baseByKey.get(variantKey);
+		invariant(base !== void 0, "A refused @@base value belongs to a collected variant");
+		return base;
+	};
+	const subject = {
+		modelName: model.name,
+		fieldName,
+		typeName: model.fields[fieldName]?.typeName ?? fieldName,
+		enumName: discriminatorField.enumName,
+		variantName: (variantKey) => baseOf(variantKey).model.name
+	};
+	for (const refusal of decision.fieldRefusals) input.diagnostics.push({
+		code: "PSL_INVALID_ATTRIBUTE_ARGUMENT",
+		message: describeDiscriminatorRefusal(refusal, subject),
+		...declaration.source.at(declaration.span)
+	});
+	if (decision.fieldRefusals.length > 0) return void 0;
+	for (const refusal of decision.variantRefusals) {
+		const base = baseOf(refusal.key);
 		input.diagnostics.push({
-			code: lowered.code,
-			message: lowered.message,
-			...declaration.source.at(lowered.span)
+			...refusal.kind === "unreadable" ? refusal.refusal : {
+				code: "PSL_INVALID_ATTRIBUTE_ARGUMENT",
+				message: describeDiscriminatorRefusal(refusal, subject)
+			},
+			...base.source.at(base.written.span)
 		});
-		return;
 	}
-	if (typeof lowered.value !== "string") throw new InternalError(`Discriminator column codec "${discriminator.column.codecId}" stores a text value as ${typeof lowered.value}.`);
-	return lowered.value;
+	return decision.values;
+}
+/** A `@@base` value as it is written; the grammar reads only a quoted string there. */
+function writtenBaseValue(base) {
+	if (base.written.written === void 0) throw new InternalError("A @@base value is a quoted string, never a tagged literal.");
+	return base.written.written;
 }
 function modelLabel(namespaceId, modelName, qualified) {
 	return qualified ? `${namespaceId}.${modelName}` : modelName;
 }
-function resolvePolymorphism(models, physicalNames, discriminatorDeclarations, baseDeclarations, syntheticPkFieldsByVariant, stiBaseFieldsByBase, diagnostics) {
+function resolvePolymorphism(models, physicalNames, discriminatorDeclarations, baseDeclarations, reported, syntheticPkFieldsByVariant, stiBaseFieldsByBase, diagnostics) {
 	let patched = models;
 	for (const [baseKey, fieldNames] of stiBaseFieldsByBase) {
 		const baseModel = patched[baseKey];
@@ -1569,6 +1591,7 @@ function resolvePolymorphism(models, physicalNames, discriminatorDeclarations, b
 			variants[baseDecl.value] = crossRef(variantName, baseDecl.namespaceId);
 		}
 		if (Object.keys(variants).length === 0) {
+			if ([...baseDeclarations.values()].some((baseDecl) => baseDecl.base.key === modelKey && baseDecl.value === void 0)) continue;
 			diagnostics.push({
 				code: "PSL_ORPHANED_DISCRIMINATOR",
 				message: `Model "${modelName}" has @@discriminator but no variant models declare @@base(${modelName}, ...)`,
@@ -1588,6 +1611,7 @@ function resolvePolymorphism(models, physicalNames, discriminatorDeclarations, b
 	for (const [variantKey, baseDecl] of baseDeclarations) {
 		const baseName = baseDecl.base.model.name;
 		if (!discriminatorDeclarations.has(baseDecl.base.key)) {
+			if (reported.discriminators.has(baseDecl.base.key)) continue;
 			const qualified = baseDecl.namespaceId !== baseDecl.base.namespaceId;
 			const variantLabel = modelLabel(baseDecl.namespaceId, baseDecl.model.name, qualified);
 			const baseLabel = modelLabel(baseDecl.base.namespaceId, baseName, qualified);
@@ -1927,18 +1951,11 @@ function interpretPslDocumentToSqlContract(input) {
 			family: input.target.familyId,
 			target: input.target.targetId,
 			codecLookup: input.codecLookup,
-			dataTypeLookup: input.dataTypes.lookup,
+			dataTypes: input.dataTypes,
 			sourceId: source.sources.sourceFileFor(source.node).filename,
 			diagnostics: { push: (d) => {
 				diagnostics.pushExternal(blindCast(d));
 			} },
-			readWrittenValueForCodec: ({ written, codecId, subject }) => input.codecLookup.descriptorFor(codecId) === void 0 ? void 0 : readWrittenValueForCodec({
-				written,
-				codecId,
-				codecLookup: input.codecLookup,
-				dataTypes: input.dataTypes,
-				subject
-			}),
 			...ifDefined("enumInferenceCodecs", input.enumInferenceCodecs)
 		},
 		diagnostics
@@ -1953,7 +1970,7 @@ function interpretPslDocumentToSqlContract(input) {
 		target: input.target.targetId,
 		...ifDefined("enumInferenceCodecs", input.enumInferenceCodecs),
 		codecLookup: input.codecLookup,
-		dataTypeLookup: input.dataTypes.lookup,
+		dataTypes: input.dataTypes,
 		sourceId: source.sources.sourceFileFor(source.node).filename,
 		diagnostics: { push: (d) => {
 			diagnostics.pushExternal(blindCast(d));
@@ -2123,15 +2140,33 @@ function interpretPslDocumentToSqlContract(input) {
 		namespaceId,
 		key: modelCoordinateKey(namespaceId, model.name)
 	}]));
-	const discriminatorColumnOf = (model, fieldName) => {
+	const discriminatorFieldOf = (model, fieldName) => {
 		const field = modelNodes.get(model)?.fields.find((node) => node.fieldName === fieldName);
-		if (field === void 0 || !("columnName" in field) || field.many === true) return void 0;
+		if (field === void 0 || !("columnName" in field)) return {
+			field: {
+				ref: void 0,
+				nullable: false,
+				many: false,
+				enumMembers: void 0
+			},
+			enumName: void 0
+		};
+		const handle = "enumTypeHandle" in field ? field.enumTypeHandle : void 0;
+		const encoded = handle === void 0 ? void 0 : encodeEnumMembers(handle, input.codecLookup);
 		return {
-			codecId: field.descriptor.codecId,
-			typeParams: field.descriptor.typeParams
+			field: {
+				ref: {
+					codecId: field.descriptor.codecId,
+					...ifDefined("typeParams", field.descriptor.typeParams === void 0 ? void 0 : blindCast(field.descriptor.typeParams))
+				},
+				nullable: field.nullable,
+				many: field.many === true,
+				enumMembers: encoded?.ok ? encoded.value.map(({ value }) => value) : void 0
+			},
+			enumName: handle?.enumName
 		};
 	};
-	const { discriminatorDeclarations, baseDeclarations } = collectPolymorphismDeclarations(modelIdentities, input.symbolTable, input.sources, binder, specContextFor, discriminatorColumnOf, input.codecLookup, dataTypes, dataTypes.textDataTypes ?? [], diagnostics);
+	const { discriminatorDeclarations, baseDeclarations, reported } = collectPolymorphismDeclarations(modelIdentities, input.symbolTable, input.sources, binder, specContextFor, discriminatorFieldOf, input.codecLookup, dataTypes, diagnostics);
 	const stiVariantKeys = /* @__PURE__ */ new Set();
 	for (const [variantKey, declaration] of baseDeclarations) if (!(getAttribute(declaration.model.attributes, "map") !== void 0)) stiVariantKeys.add(variantKey);
 	for (const variantKey of stiVariantKeys) {
@@ -2224,7 +2259,7 @@ function interpretPslDocumentToSqlContract(input) {
 		modelsByCoordinate[coordinate] = model;
 	}
 	const polyDiagnostics = createPslDiagnosticCollector(input.sources);
-	const polymorphicModels = resolvePolymorphism(modelsByCoordinate, physicalNames, discriminatorDeclarations, baseDeclarations, syntheticPkFieldsByVariant, stiBaseFieldsByBase, polyDiagnostics);
+	const polymorphicModels = resolvePolymorphism(modelsByCoordinate, physicalNames, discriminatorDeclarations, baseDeclarations, reported, syntheticPkFieldsByVariant, stiBaseFieldsByBase, polyDiagnostics);
 	if (polyDiagnostics.length > 0) return notOk({
 		summary: "PSL to SQL contract interpretation failed",
 		diagnostics: polyDiagnostics.toExternal()
@@ -2243,4 +2278,4 @@ function interpretPslDocumentToSqlContract(input) {
 //#endregion
 export { normalizeReferentialAction as a, interpretPslDocumentToSqlContract as i, buildEntityTypesByDiscriminator as n, indexFkRelations as r, applyBackrelationCandidates as t };
 
-//# sourceMappingURL=interpreter-BGgim2OE-D9BG-4aU.mjs.map
+//# sourceMappingURL=interpreter-BDpym-rc-BZVFp5GU.mjs.map