@formspec/build 0.1.0-alpha.33 → 0.1.0-alpha.35

package/dist/cli.js

@@ -3013,6 +3013,9 @@ import {
 function isObjectType(type) {
   return !!(type.flags & ts3.TypeFlags.Object);
 }
+function isIntersectionType(type) {
+  return !!(type.flags & ts3.TypeFlags.Intersection);
+}
 function isTypeReference(type) {
   return !!(type.flags & ts3.TypeFlags.Object) && !!(type.objectFlags & ts3.ObjectFlags.Reference);
 }
@@ -3028,10 +3031,11 @@ function makeParseOptions(extensionRegistry, fieldType, checker, subjectType, ho
     ...hostType !== void 0 && { hostType }
   };
 }
-function createAnalyzerMetadataPolicy(input) {
+function createAnalyzerMetadataPolicy(input, discriminator) {
   return {
     raw: input,
-    normalized: normalizeMetadataPolicy(input)
+    normalized: normalizeMetadataPolicy(input),
+    discriminator
   };
 }
 function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node, checker, extensionRegistry, buildContext) {
@@ -3099,8 +3103,11 @@ function analyzeDeclarationRootInfo(declaration, checker, file = "", extensionRe
     diagnostics: docResult.diagnostics
   };
 }
-function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, metadataPolicy) {
-  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
+function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(
+    metadataPolicy,
+    discriminatorOptions
+  );
   const name = classDecl.name?.text ?? "AnonymousClass";
   const fields = [];
   const fieldLayouts = [];
@@ -3181,8 +3188,11 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
     staticMethods
   };
 }
-function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegistry, metadataPolicy) {
-  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
+function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(
+    metadataPolicy,
+    discriminatorOptions
+  );
   const name = interfaceDecl.name.text;
   const fields = [];
   const typeRegistry = {};
@@ -3250,19 +3260,31 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
     staticMethods: []
   };
 }
-function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry, metadataPolicy) {
-  if (!ts3.isTypeLiteralNode(typeAlias.type)) {
+function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const members = getObjectLikeTypeAliasMembers(typeAlias.type);
+  if (members === null) {
     const sourceFile = typeAlias.getSourceFile();
     const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
     const kindDesc = ts3.SyntaxKind[typeAlias.type.kind] ?? "unknown";
     return {
       ok: false,
-      error: `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} is not an object type literal (found ${kindDesc})`
+      error: `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} is not an object-like type alias (found ${kindDesc})`
     };
   }
-  const typeLiteral = typeAlias.type;
-  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(
+    metadataPolicy,
+    discriminatorOptions
+  );
   const name = typeAlias.name.text;
+  const duplicatePropertyNames = findDuplicateObjectLikeTypeAliasPropertyNames(members);
+  if (duplicatePropertyNames.length > 0) {
+    const sourceFile = typeAlias.getSourceFile();
+    const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
+    return {
+      ok: false,
+      error: `Type alias "${name}" at line ${String(line + 1)} contains duplicate property names across object-like members: ${duplicatePropertyNames.join(", ")}`
+    };
+  }
   const fields = [];
   const typeRegistry = {};
   const diagnostics = [];
@@ -3275,7 +3297,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
   const annotations = [...typeAliasDoc.annotations];
   diagnostics.push(...typeAliasDoc.diagnostics);
   const visiting = /* @__PURE__ */ new Set();
-  for (const member of typeLiteral.members) {
+  for (const member of members) {
     if (ts3.isPropertySignature(member)) {
       const fieldNode = analyzeInterfacePropertyToIR(
         member,
@@ -3384,15 +3406,43 @@ function isNullishSemanticType(type) {
   }
   return type.isUnion() && type.types.some((member) => isNullishSemanticType(member));
 }
-function isStringLikeSemanticType(type) {
+function isStringLikeSemanticType(type, checker, seen = /* @__PURE__ */ new Set()) {
+  if (seen.has(type)) {
+    return false;
+  }
+  seen.add(type);
   if (type.flags & ts3.TypeFlags.StringLike) {
     return true;
   }
   if (type.isUnion()) {
-    return type.types.length > 0 && type.types.every((member) => isStringLikeSemanticType(member));
+    return type.types.length > 0 && type.types.every((member) => isStringLikeSemanticType(member, checker, seen));
+  }
+  const baseConstraint = checker.getBaseConstraintOfType(type);
+  if (baseConstraint !== void 0 && baseConstraint !== type) {
+    return isStringLikeSemanticType(baseConstraint, checker, seen);
   }
   return false;
 }
+function getObjectLikeTypeAliasMembers(typeNode) {
+  if (ts3.isParenthesizedTypeNode(typeNode)) {
+    return getObjectLikeTypeAliasMembers(typeNode.type);
+  }
+  if (ts3.isTypeLiteralNode(typeNode)) {
+    return [...typeNode.members];
+  }
+  if (ts3.isIntersectionTypeNode(typeNode)) {
+    const members = [];
+    for (const intersectionMember of typeNode.types) {
+      const resolvedMembers = getObjectLikeTypeAliasMembers(intersectionMember);
+      if (resolvedMembers === null) {
+        return null;
+      }
+      members.push(...resolvedMembers);
+    }
+    return members;
+  }
+  return null;
+}
 function extractDiscriminatorDirective(node, file, diagnostics) {
   const discriminatorTags = getLeadingParsedTags(node).filter(
     (tag) => tag.normalizedTagName === "discriminator"
@@ -3499,7 +3549,7 @@ function validateDiscriminatorDirective(node, checker, file, diagnostics) {
     );
     return null;
   }
-  if (!isStringLikeSemanticType(property.type)) {
+  if (!isStringLikeSemanticType(property.type, checker)) {
     diagnostics.push(
       makeAnalysisDiagnostic(
         "TYPE_MISMATCH",
@@ -3526,8 +3576,8 @@ function getConcreteTypeArgumentForDiscriminator(node, subjectType, checker, typ
   const localTypeParameter = node.typeParameters?.[typeParameterIndex];
   return localTypeParameter === void 0 ? null : checker.getTypeAtLocation(localTypeParameter);
 }
-function resolveLiteralDiscriminatorPropertyValue(boundType, fieldName, checker, provenance, diagnostics) {
-  const propertySymbol = boundType.getProperty(fieldName);
+function resolveLiteralDiscriminatorPropertyValue(boundType, propertyName, checker, provenance, diagnostics) {
+  const propertySymbol = boundType.getProperty(propertyName);
   if (propertySymbol === void 0) {
     return void 0;
   }
@@ -3558,6 +3608,9 @@ function resolveLiteralDiscriminatorPropertyValue(boundType, fieldName, checker,
   }
   return void 0;
 }
+function getDiscriminatorIdentityPropertyNames(fieldName) {
+  return fieldName === "object" ? ["object"] : [fieldName, "object"];
+}
 function resolveDiscriminatorApiName(boundType, checker, metadataPolicy) {
   const declaration = resolveNamedDiscriminatorDeclaration(boundType, checker);
   if (declaration === null) {
@@ -3578,6 +3631,10 @@ function resolveDiscriminatorApiName(boundType, checker, metadataPolicy) {
   );
   return metadata?.apiName;
 }
+function applyDiscriminatorApiNamePrefix(value, discriminatorOptions) {
+  const prefix = discriminatorOptions?.apiNamePrefix;
+  return prefix === void 0 || prefix === "" ? value : `${prefix}${value}`;
+}
 function resolveNamedDiscriminatorDeclaration(type, checker, seen = /* @__PURE__ */ new Set()) {
   if (seen.has(type)) {
     return null;
@@ -3632,22 +3689,27 @@ function resolveDiscriminatorValue(boundType, fieldName, checker, provenance, di
       return null;
     }
   }
-  const literalIdentityValue = resolveLiteralDiscriminatorPropertyValue(
-    boundType,
-    fieldName,
-    checker,
-    provenance,
-    diagnostics
-  );
-  if (literalIdentityValue !== void 0) {
-    return literalIdentityValue;
+  for (const identityPropertyName of getDiscriminatorIdentityPropertyNames(fieldName)) {
+    const literalIdentityValue = resolveLiteralDiscriminatorPropertyValue(
+      boundType,
+      identityPropertyName,
+      checker,
+      provenance,
+      diagnostics
+    );
+    if (literalIdentityValue === null) {
+      return null;
+    }
+    if (literalIdentityValue !== void 0) {
+      return literalIdentityValue;
+    }
   }
   const apiName = resolveDiscriminatorApiName(boundType, checker, metadataPolicy);
   if (apiName?.source === "explicit") {
-    return apiName.value;
+    return applyDiscriminatorApiNamePrefix(apiName.value, metadataPolicy.discriminator);
   }
   if (apiName?.source === "inferred") {
-    return apiName.value;
+    return applyDiscriminatorApiNamePrefix(apiName.value, metadataPolicy.discriminator);
   }
   diagnostics.push(
     makeAnalysisDiagnostic(
@@ -3710,15 +3772,20 @@ function buildInstantiatedReferenceName(baseName, typeArguments, checker) {
   return renderedArguments.length === 0 ? baseName : `${baseName}__${renderedArguments.join("__")}`;
 }
 function extractReferenceTypeArguments(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy, extensionRegistry, diagnostics) {
-  const typeNode = sourceNode === void 0 ? void 0 : extractTypeNodeFromSource(sourceNode);
-  if (typeNode === void 0) {
+  const sourceTypeNode = sourceNode === void 0 ? void 0 : extractTypeNodeFromSource(sourceNode);
+  if (sourceTypeNode === void 0) {
     return [];
   }
-  const resolvedTypeNode = resolveAliasedTypeNode(typeNode, checker);
-  if (!ts3.isTypeReferenceNode(resolvedTypeNode) || resolvedTypeNode.typeArguments === void 0) {
+  const unwrapParentheses = (typeNode) => ts3.isParenthesizedTypeNode(typeNode) ? unwrapParentheses(typeNode.type) : typeNode;
+  const directTypeNode = unwrapParentheses(sourceTypeNode);
+  const referenceTypeNode = ts3.isTypeReferenceNode(directTypeNode) ? directTypeNode : (() => {
+    const resolvedTypeNode = resolveAliasedTypeNode(directTypeNode, checker);
+    return ts3.isTypeReferenceNode(resolvedTypeNode) ? resolvedTypeNode : null;
+  })();
+  if (referenceTypeNode?.typeArguments === void 0) {
     return [];
   }
-  return resolvedTypeNode.typeArguments.map((argumentNode) => {
+  return referenceTypeNode.typeArguments.map((argumentNode) => {
     const argumentType = checker.getTypeFromTypeNode(argumentNode);
     return {
       tsType: argumentType,
@@ -3832,10 +3899,10 @@ function analyzeFieldToIR(prop, checker, file, typeRegistry, visiting, diagnosti
   };
 }
 function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visiting, diagnostics, hostType, metadataPolicy, extensionRegistry) {
-  if (!ts3.isIdentifier(prop.name)) {
+  const name = getAnalyzableObjectLikePropertyName(prop.name);
+  if (name === null) {
     return null;
   }
-  const name = prop.name.text;
   const tsType = checker.getTypeAtLocation(prop);
   const optional = prop.questionToken !== void 0;
   const provenance = provenanceForNode(prop, file);
@@ -3891,6 +3958,31 @@ function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visitin
     provenance
   };
 }
+function findDuplicateObjectLikeTypeAliasPropertyNames(members) {
+  const seen = /* @__PURE__ */ new Set();
+  const duplicates = /* @__PURE__ */ new Set();
+  for (const member of members) {
+    if (!ts3.isPropertySignature(member)) {
+      continue;
+    }
+    const name = getAnalyzableObjectLikePropertyName(member.name);
+    if (name === null) {
+      continue;
+    }
+    if (seen.has(name)) {
+      duplicates.add(name);
+      continue;
+    }
+    seen.add(name);
+  }
+  return [...duplicates].sort();
+}
+function getAnalyzableObjectLikePropertyName(name) {
+  if (!ts3.isIdentifier(name)) {
+    return null;
+  }
+  return name.text;
+}
 function applyEnumMemberDisplayNames(type, annotations) {
   if (!annotations.some(
     (annotation) => annotation.annotationKind === "displayName" && annotation.value.trim().startsWith(":")
@@ -4083,6 +4175,23 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
       diagnostics
     );
   }
+  if (isIntersectionType(type)) {
+    const sourceTypeNode = sourceNode === void 0 ? void 0 : extractTypeNodeFromSource(sourceNode);
+    const resolvedSourceTypeNode = sourceTypeNode === void 0 ? void 0 : resolveAliasedTypeNode(sourceTypeNode, checker);
+    if (resolvedSourceTypeNode !== void 0 && getObjectLikeTypeAliasMembers(resolvedSourceTypeNode) !== null) {
+      return resolveObjectType(
+        type,
+        checker,
+        file,
+        typeRegistry,
+        visiting,
+        sourceNode,
+        metadataPolicy,
+        extensionRegistry,
+        diagnostics
+      );
+    }
+  }
   if (isObjectType(type)) {
     return resolveObjectType(
       type,
@@ -4169,9 +4278,10 @@ function shouldEmitPrimitiveAliasDefinition(typeNode, checker) {
   const resolved = checker.getTypeFromTypeNode(aliasDecl.type);
   return !!(resolved.flags & (ts3.TypeFlags.String | ts3.TypeFlags.Number | ts3.TypeFlags.BigInt | ts3.TypeFlags.BigIntLiteral | ts3.TypeFlags.Boolean | ts3.TypeFlags.Null));
 }
-function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics, visitedAliases = /* @__PURE__ */ new Set()) {
   const nestedAliasDecl = type.aliasSymbol?.declarations?.find(ts3.isTypeAliasDeclaration);
-  if (nestedAliasDecl !== void 0) {
+  if (nestedAliasDecl !== void 0 && !visitedAliases.has(nestedAliasDecl)) {
+    visitedAliases.add(nestedAliasDecl);
     return resolveAliasedPrimitiveTarget(
       checker.getTypeFromTypeNode(nestedAliasDecl.type),
       checker,
@@ -4180,9 +4290,25 @@ function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiti
       visiting,
       metadataPolicy,
       extensionRegistry,
-      diagnostics
+      diagnostics,
+      visitedAliases
     );
   }
+  if (type.flags & ts3.TypeFlags.String) {
+    return { kind: "primitive", primitiveKind: "string" };
+  }
+  if (type.flags & ts3.TypeFlags.Number) {
+    return { kind: "primitive", primitiveKind: "number" };
+  }
+  if (type.flags & (ts3.TypeFlags.BigInt | ts3.TypeFlags.BigIntLiteral)) {
+    return { kind: "primitive", primitiveKind: "bigint" };
+  }
+  if (type.flags & ts3.TypeFlags.Boolean) {
+    return { kind: "primitive", primitiveKind: "boolean" };
+  }
+  if (type.flags & ts3.TypeFlags.Null) {
+    return { kind: "primitive", primitiveKind: "null" };
+  }
   return resolveTypeNode(
     type,
     checker,
@@ -4462,7 +4588,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       };
     }
   }
-  const recordNode = tryResolveRecordType(
+  const recordNode = isObjectType(type) ? tryResolveRecordType(
     type,
     checker,
     file,
@@ -4471,7 +4597,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
     metadataPolicy,
     extensionRegistry,
     collectedDiagnostics
-  );
+  ) : null;
   if (recordNode) {
     visiting.delete(type);
     if (registryTypeName !== void 0 && shouldRegisterNamedType) {
@@ -4668,9 +4794,10 @@ function getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visitin
       );
     }
     const typeAliasDecl = declarations.find(ts3.isTypeAliasDeclaration);
-    if (typeAliasDecl && ts3.isTypeLiteralNode(typeAliasDecl.type)) {
+    const typeAliasMembers = typeAliasDecl === void 0 ? null : getObjectLikeTypeAliasMembers(typeAliasDecl.type);
+    if (typeAliasDecl && typeAliasMembers !== null) {
       return buildFieldNodeInfoMap(
-        typeAliasDecl.type.members,
+        typeAliasMembers,
         checker,
         file,
         typeRegistry,
@@ -4977,17 +5104,18 @@ function findInterfaceByName(sourceFile, interfaceName) {
 function findTypeAliasByName(sourceFile, aliasName) {
   return findNodeByName(sourceFile, aliasName, ts4.isTypeAliasDeclaration, (n) => n.name.text);
 }
-function analyzeNamedTypeToIR(filePath, typeName, extensionRegistry, metadataPolicy) {
+function analyzeNamedTypeToIR(filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
   const ctx = createProgramContext(filePath);
   return analyzeNamedTypeToIRFromProgramContext(
     ctx,
     filePath,
     typeName,
     extensionRegistry,
-    metadataPolicy
+    metadataPolicy,
+    discriminatorOptions
   );
 }
-function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy) {
+function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
   const analysisFilePath = path.resolve(filePath);
   const classDecl = findClassByName(ctx.sourceFile, typeName);
   if (classDecl !== null) {
@@ -4996,7 +5124,8 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       ctx.checker,
       analysisFilePath,
       extensionRegistry,
-      metadataPolicy
+      metadataPolicy,
+      discriminatorOptions
     );
   }
   const interfaceDecl = findInterfaceByName(ctx.sourceFile, typeName);
@@ -5006,7 +5135,8 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       ctx.checker,
       analysisFilePath,
       extensionRegistry,
-      metadataPolicy
+      metadataPolicy,
+      discriminatorOptions
     );
   }
   const typeAlias = findTypeAliasByName(ctx.sourceFile, typeName);
@@ -5016,7 +5146,8 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       ctx.checker,
       analysisFilePath,
       extensionRegistry,
-      metadataPolicy
+      metadataPolicy,
+      discriminatorOptions
     );
     if (result.ok) {
       return result.analysis;
@@ -5173,7 +5304,8 @@ function generateSchemasFromClass(options) {
     ctx.checker,
     options.filePath,
     options.extensionRegistry,
-    options.metadata
+    options.metadata,
+    options.discriminator
   );
   return generateClassSchemas(
     analysis,
@@ -5199,7 +5331,8 @@ function generateSchemasFromProgram(options) {
     options.filePath,
     options.typeName,
     options.extensionRegistry,
-    options.metadata
+    options.metadata,
+    options.discriminator
   );
   return generateClassSchemas(
     analysis,
@@ -5435,7 +5568,7 @@ function generateSchemasFromResolvedType(options, skipNamedDeclaration = false,
     typeRegistry,
     /* @__PURE__ */ new Set(),
     options.sourceNode,
-    createAnalyzerMetadataPolicy(options.metadata),
+    createAnalyzerMetadataPolicy(options.metadata, options.discriminator),
     options.extensionRegistry,
     diagnostics
   );
@@ -5484,7 +5617,8 @@ function generateSchemasFromDeclaration(options) {
         options.context.checker,
         filePath,
         options.extensionRegistry,
-        options.metadata
+        options.metadata,
+        options.discriminator
       ),
       filePath,
       options
@@ -5497,7 +5631,8 @@ function generateSchemasFromDeclaration(options) {
         options.context.checker,
         filePath,
         options.extensionRegistry,
-        options.metadata
+        options.metadata,
+        options.discriminator
       ),
       filePath,
       options
@@ -5509,7 +5644,8 @@ function generateSchemasFromDeclaration(options) {
       options.context.checker,
       filePath,
       options.extensionRegistry,
-      options.metadata
+      options.metadata,
+      options.discriminator
     );
     if (analyzedAlias.ok) {
       return generateSchemasFromAnalysis(analyzedAlias.analysis, filePath, options);
@@ -5584,7 +5720,8 @@ function buildMixedAuthoringSchemas(options) {
     filePath,
     typeName,
     schemaOptions.extensionRegistry,
-    schemaOptions.metadata
+    schemaOptions.metadata,
+    schemaOptions.discriminator
   );
   const composedAnalysis = composeAnalysisWithOverlays(analysis, overlays, schemaOptions.metadata);
   const ir = canonicalizeTSDoc(