@typespec/http-server-csharp 0.58.0-alpha.28 → 0.58.0-alpha.29-dev.3

package/dist/src/components/type-expression/type-expression.js

@@ -0,0 +1,223 @@
+import { createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
+import { code } from "@alloy-js/core";
+import { Experimental_ComponentOverridesConfig, useTsp } from "@typespec/emitter-framework";
+import { efRefkey, TypeExpression as EfTypeExpression, getNullableUnionInnerType } from "@typespec/emitter-framework/csharp";
+import { getUniqueItems } from "@typespec/json-schema";
+import { useEmitterOptions } from "../../context/emitter-options-context.js";
+import { isUnionEnum } from "../enums/enums.js";
+import { isValueType } from "../models/model-helpers.js";
+import { getAnonymousModelName } from "../models/models.js";
+// Re-export efRefkey for consumers that were using serverRefkey
+export { efRefkey } from "@typespec/emitter-framework/csharp";
+
+/**
+ * Wrapper around emitter-framework's TypeExpression that handles
+ * additional type kinds the server emitter encounters.
+ */
+export function TypeExpression(props) {
+  const {
+    $
+  } = useTsp();
+  const type = props.type;
+  switch (type.kind) {
+    case "Union":
+      return resolveUnionType($, type);
+    case "UnionVariant":
+      // If this variant belongs to a union-as-enum, resolve to the parent enum type
+      if (type.union && isUnionEnum(type.union)) {
+        return code`${efRefkey(type.union)}`;
+      }
+      return _$createComponent(TypeExpression, {
+        get type() {
+          return type.type;
+        }
+      });
+    case "Enum":
+      try {
+        return _$createComponent(EfTypeExpression, {
+          type: type
+        });
+      } catch {
+        return code`${type.name ?? "object"}`;
+      }
+    case "Tuple":
+      // Tuple of values — use the type of the first element as array
+      if (type.values.length > 0) {
+        const {
+          collectionType
+        } = useEmitterOptions();
+        if (collectionType === "enumerable") {
+          return ["IEnumerable<", _$createComponent(TypeExpression, {
+            get type() {
+              return type.values[0];
+            }
+          }), ">"];
+        }
+        return [_$createComponent(TypeExpression, {
+          get type() {
+            return type.values[0];
+          }
+        }), "[]"];
+      }
+      return code`object[]`;
+    case "StringTemplate":
+    case "String":
+      return code`string`;
+    case "Boolean":
+      return code`bool`;
+    case "Number":
+      // Use double for non-integer values, int for integers
+      return Number.isInteger(type.value) ? code`int` : code`double`;
+    case "Intrinsic":
+      if (type.name === "unknown") return code`object`;
+      if (type.name === "void") return code`void`;
+      if (type.name === "null") return code`object`;
+      if (type.name === "never") return code`void`;
+      return code`object`;
+    case "TemplateParameter":
+      return code`${type.node?.id?.sv ?? "T"}`;
+    case "ModelProperty":
+      return _$createComponent(TypeExpression, {
+        get type() {
+          return type.type;
+        }
+      });
+    case "Model":
+      // Handle Record<T> → IDictionary<string, T> or JsonObject for Record<unknown>
+      if ($.record.is(type)) {
+        const valueType = type.indexer.value;
+        if (valueType.kind === "Intrinsic" && valueType.name === "unknown") {
+          return code`JsonObject`;
+        }
+        return ["IDictionary<string, ", _$createComponent(TypeExpression, {
+          type: valueType
+        }), ">"];
+      }
+      // Handle Array<T> → T[] or ISet<T> if @uniqueItems, or IEnumerable<T> if collection-type is enumerable
+      if ($.array.is(type)) {
+        const elementType = type.indexer.value;
+        if (getUniqueItems($.program, type)) {
+          return ["ISet<", _$createComponent(TypeExpression, {
+            type: elementType
+          }), ">"];
+        }
+        const {
+          collectionType
+        } = useEmitterOptions();
+        // Byte arrays always stay as T[] regardless of collection type
+        const isByteArray = elementType.kind === "Scalar" && (elementType.name === "uint8" || elementType.name === "int8" || $.scalar.getStdBase(elementType)?.name === "uint8" || $.scalar.getStdBase(elementType)?.name === "int8");
+        if (collectionType === "enumerable" && !isByteArray) {
+          return ["IEnumerable<", _$createComponent(TypeExpression, {
+            type: elementType
+          }), ">"];
+        }
+        return [_$createComponent(TypeExpression, {
+          type: elementType
+        }), "[]"];
+      }
+      // Handle anonymous models — use refkey to link to their generated class
+      if (type.name === "" && getAnonymousModelName(type)) {
+        return code`${efRefkey(type)}`;
+      }
+      // Fall through to EF for regular models
+      try {
+        return _$createComponent(EfTypeExpression, {
+          type: type
+        });
+      } catch {
+        return code`${type.name ?? "object"}`;
+      }
+    case "Scalar":
+      // Handle scalars - try EF first, fall back to our mapping
+      try {
+        return _$createComponent(EfTypeExpression, {
+          type: type
+        });
+      } catch {
+        return code`object`;
+      }
+    default:
+      try {
+        return _$createComponent(EfTypeExpression, {
+          type: type
+        });
+      } catch {
+        return code`object`;
+      }
+  }
+}
+function resolveUnionType($, union) {
+  // Named unions that qualify as enums should reference the enum type
+  if (isUnionEnum(union)) {
+    return code`${efRefkey(union)}`;
+  }
+
+  // Use emitter-framework's nullable union detection
+  const innerType = getNullableUnionInnerType(union);
+  if (innerType !== undefined) {
+    // null|void-only union → object
+    if (innerType.kind === "Intrinsic" && innerType.name === "void") {
+      return code`object`;
+    }
+    // Nullable value type → T?
+    if (isValueType($, innerType)) {
+      return [_$createComponent(TypeExpression, {
+        type: innerType
+      }), "?"];
+    }
+    // Nullable reference type or multi-variant nullable → resolve inner type
+    return _$createComponent(TypeExpression, {
+      type: innerType
+    });
+  }
+
+  // Non-nullable union: check if all variants resolve to the same base kind
+  const variants = Array.from(union.variants.values());
+  const firstType = variants[0].type;
+  const allSameKind = variants.every(v => {
+    if (v.type.kind !== firstType.kind) return false;
+    if (v.type.kind === "Scalar" && firstType.kind === "Scalar") {
+      const stdBase1 = $.scalar.getStdBase(v.type) ?? v.type;
+      const stdBase2 = $.scalar.getStdBase(firstType) ?? firstType;
+      return stdBase1.name === stdBase2.name;
+    }
+    // String/Boolean/Number literals of same kind → same base type
+    if (v.type.kind === "String" || v.type.kind === "Boolean" || v.type.kind === "Number") {
+      return true;
+    }
+    return v.type === firstType;
+  });
+  if (allSameKind) return _$createComponent(TypeExpression, {
+    type: firstType
+  });
+
+  // For mixed types, use object
+  return code`object`;
+}
+
+// --- Server-specific scalar overrides ---
+
+/**
+ * Server-specific scalar overrides for TypeExpression.
+ * Differences from EF defaults:
+ * - `plainDate` → `DateTime` (not `DateOnly`)
+ * - `plainTime` → `DateTime` (not `TimeOnly`)
+ * - `url` → `string` (not `Uri`)
+ * - Use CLR type names (SByte, Byte, Int16, etc.) instead of C# keywords
+ * - `safeint` → `long` (not `int`)
+ */
+export function createServerScalarOverrides($) {
+  const overrides = new Experimental_ComponentOverridesConfig();
+  const scalarOverrides = [
+  // Date/time overrides
+  [$.builtin.plainDate, "DateTime"], [$.builtin.plainTime, "DateTime"], [$.builtin.url, "string"],
+  // CLR type name overrides (match old emitter output)
+  [$.builtin.int8, "SByte"], [$.builtin.uint8, "Byte"], [$.builtin.int16, "Int16"], [$.builtin.uint16, "UInt16"], [$.builtin.uint32, "UInt32"], [$.builtin.uint64, "UInt64"], [$.builtin.safeInt, "long"]];
+  for (const [scalar, csType] of scalarOverrides) {
+    overrides.forType(scalar, {
+      reference: props => code`${csType}`
+    });
+  }
+  return overrides;
+}
+//# sourceMappingURL=type-expression.js.map

package/dist/src/components/type-expression/type-expression.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["code","Experimental_ComponentOverridesConfig","useTsp","efRefkey","TypeExpression","EfTypeExpression","getNullableUnionInnerType","getUniqueItems","useEmitterOptions","isUnionEnum","isValueType","getAnonymousModelName","props","$","type","kind","resolveUnionType","union","_$createComponent","name","values","length","collectionType","Number","isInteger","value","node","id","sv","record","is","valueType","indexer","array","elementType","program","isByteArray","scalar","getStdBase","innerType","undefined","variants","Array","from","firstType","allSameKind","every","v","stdBase1","stdBase2","createServerScalarOverrides","overrides","scalarOverrides","builtin","plainDate","plainTime","url","int8","uint8","int16","uint16","uint32","uint64","safeInt","csType","forType","reference"],"sources":["../../../../src/components/type-expression/type-expression.tsx"],"sourcesContent":[null],"mappings":";AAAA,SAASA,IAAI,QAAuB,gBAAgB;AAGpD,SAASC,qCAAqC,EAAEC,MAAM,QAAQ,6BAA6B;AAC3F,SACEC,QAAQ,EACRC,cAAc,IAAIC,gBAAgB,EAClCC,yBAAyB,QACpB,oCAAoC;AAC3C,SAASC,cAAc,QAAQ,uBAAuB;AACtD,SAASC,iBAAiB,QAAQ,0CAA0C;AAC5E,SAASC,WAAW;AACpB,SAASC,WAAW,QAAQ,4BAA4B;AACxD,SAASC,qBAAqB;AAM9B;AACA,SAASR,QAAQ,QAAQ,oCAAoC;;AAE7D;AACA;AACA;AACA;AACA,OAAO,SAASC,cAAcA,CAACQ,KAA0B,EAAY;EACnE,MAAM;IAAEC;EAAE,CAAC,GAAGX,MAAM,CAAC,CAAC;EACtB,MAAMY,IAAI,GAAGF,KAAK,CAACE,IAAI;EAEvB,QAAQA,IAAI,CAACC,IAAI;IACf,KAAK,OAAO;MACV,OAAOC,gBAAgB,CAACH,CAAC,EAAEC,IAAI,CAAC;IAClC,KAAK,cAAc;MACjB;MACA,IAAIA,IAAI,CAACG,KAAK,IAAIR,WAAW,CAACK,IAAI,CAACG,KAAK,CAAC,EAAE;QACzC,OAAOjB,IAAI,GAAGG,QAAQ,CAACW,IAAI,CAACG,KAAK,CAAC,EAAE;MACtC;MACA,OAAAC,iBAAA,CAAQd,cAAc;QAAA,IAACU,IAAIA,CAAA;UAAA,OAAEA,IAAI,CAACA,IAAI;QAAA;MAAA;IACxC,KAAK,MAAM;MACT,IAAI;QACF,OAAAI,iBAAA,CAAQb,gBAAgB;UAACS,IAAI,EAAEA;QAAI;MACrC,CAAC,CAAC,MAAM;QACN,OAAOd,IAAI,GAAGc,IAAI,CAACK,IAAI,IAAI,QAAQ,EAAE;MACvC;IACF,KAAK,OAAO;MACV;MACA,IAAIL,IAAI,CAACM,MAAM,CAACC,MAAM,GAAG,CAAC,EAAE;QAC1B,MAAM;UAAEC;QAAe,CAAC,GAAGd,iBAAiB,CAAC,CAAC;QAC9C,IAAIc,cAAc,KAAK,YAAY,EAAE;UACnC,wBAAAJ,iBAAA,CAGKd,cAAc;YAAA,IAACU,IAAIA,CAAA;cAAA,OAAEA,IAAI,CAACM,MAAM,CAAC,CAAC,CAAC;YAAA;UAAA;QAI1C;QACA,QAAAF,iBAAA,CAEKd,cAAc;UAAA,IAACU,IAAIA,CAAA;YAAA,OAAEA,IAAI,CAACM,MAAM,CAAC,CAAC,CAAC;UAAA;QAAA;MAI1C;MACA,OAAOpB,IAAI,UAAU;IACvB,KAAK,gBAAgB;IACrB,KAAK,QAAQ;MACX,OAAOA,IAAI,QAAQ;IACrB,KAAK,SAAS;MACZ,OAAOA,IAAI,MAAM;IACnB,KAAK,QAAQ;MACX;MACA,OAAOuB,MAAM,CAACC,SAAS,CAACV,IAAI,CAACW,KAAK,CAAC,GAAGzB,IAAI,KAAK,GAAGA,IAAI,QAAQ;IAChE,KAAK,WAAW;MACd,IAAIc,IAAI,CAACK,IAAI,KAAK,SAAS,EAAE,OAAOnB,IAAI,QAAQ;MAChD,IAAIc,IAAI,CAACK,IAAI,KAAK,MAAM,EAAE,OAAOnB,IAAI,MAAM;MAC3C,IAAIc,IAAI,CAACK,IAAI,KAAK,MAAM,EAAE,OAAOnB,IAAI,QAAQ;MAC7C,IAAIc,IAAI,CAACK,IAAI,KAAK,OAAO,EAAE,OAAOnB,IAAI,MAAM;MAC5C,OAAOA,IAAI,QAAQ;IACrB,KAAK,mBAAmB;MACtB,OAAOA,IAAI,GAAIc,IAAI,CAACY,IAAI,EAAUC,EAAE,EAAEC,EAAE,IAAI,GAAG,EAAE;IACnD,KAAK,eAAe;MAClB,OAAAV,iBAAA,CAAQd,cAAc;QAAA,IAACU,IAAIA,CAAA;UAAA,OAAEA,IAAI,CAACA,IAAI;QAAA;MAAA;IACxC,KAAK,OAAO;MACV;MACA,IAAID,CAAC,CAACgB,MAAM,CAACC,EAAE,CAAChB,IAAI,CAAC,EAAE;QACrB,MAAMiB,SAAS,GAAGjB,IAAI,CAACkB,OAAO,CAAEP,KAAK;QACrC,IAAIM,SAAS,CAAChB,IAAI,KAAK,WAAW,IAAIgB,SAAS,CAACZ,IAAI,KAAK,SAAS,EAAE;UAClE,OAAOnB,IAAI,YAAY;QACzB;QACA,gCAAAkB,iBAAA,CAE4Bd,cAAc;UAACU,IAAI,EAAEiB;QAAS;MAI5D;MACA;MACA,IAAIlB,CAAC,CAACoB,KAAK,CAACH,EAAE,CAAChB,IAAI,CAAC,EAAE;QACpB,MAAMoB,WAAW,GAAGpB,IAAI,CAACkB,OAAO,CAAEP,KAAK;QACvC,IAAIlB,cAAc,CAACM,CAAC,CAACsB,OAAO,EAAErB,IAAI,CAAC,EAAE;UACnC,iBAAAI,iBAAA,CAGKd,cAAc;YAACU,IAAI,EAAEoB;UAAW;QAIvC;QACA,MAAM;UAAEZ;QAAe,CAAC,GAAGd,iBAAiB,CAAC,CAAC;QAC9C;QACA,MAAM4B,WAAW,GACfF,WAAW,CAACnB,IAAI,KAAK,QAAQ,KAC5BmB,WAAW,CAACf,IAAI,KAAK,OAAO,IAC3Be,WAAW,CAACf,IAAI,KAAK,MAAM,IAC3BN,CAAC,CAACwB,MAAM,CAACC,UAAU,CAACJ,WAAW,CAAC,EAAEf,IAAI,KAAK,OAAO,IAClDN,CAAC,CAACwB,MAAM,CAACC,UAAU,CAACJ,WAAW,CAAC,EAAEf,IAAI,KAAK,MAAM,CAAC;QACtD,IAAIG,cAAc,KAAK,YAAY,IAAI,CAACc,WAAW,EAAE;UACnD,wBAAAlB,iBAAA,CAGKd,cAAc;YAACU,IAAI,EAAEoB;UAAW;QAIvC;QACA,QAAAhB,iBAAA,CAEKd,cAAc;UAACU,IAAI,EAAEoB;QAAW;MAIvC;MACA;MACA,IAAIpB,IAAI,CAACK,IAAI,KAAK,EAAE,IAAIR,qBAAqB,CAACG,IAAI,CAAC,EAAE;QACnD,OAAOd,IAAI,GAAGG,QAAQ,CAACW,IAAI,CAAC,EAAE;MAChC;MACA;MACA,IAAI;QACF,OAAAI,iBAAA,CAAQb,gBAAgB;UAACS,IAAI,EAAEA;QAAI;MACrC,CAAC,CAAC,MAAM;QACN,OAAOd,IAAI,GAAGc,IAAI,CAACK,IAAI,IAAI,QAAQ,EAAE;MACvC;IACF,KAAK,QAAQ;MACX;MACA,IAAI;QACF,OAAAD,iBAAA,CAAQb,gBAAgB;UAACS,IAAI,EAAEA;QAAI;MACrC,CAAC,CAAC,MAAM;QACN,OAAOd,IAAI,QAAQ;MACrB;IACF;MACE,IAAI;QACF,OAAAkB,iBAAA,CAAQb,gBAAgB;UAACS,IAAI,EAAEA;QAAI;MACrC,CAAC,CAAC,MAAM;QACN,OAAOd,IAAI,QAAQ;MACrB;EACJ;AACF;AAEA,SAASgB,gBAAgBA,CAACH,CAAU,EAAEI,KAAyC,EAAY;EACzF;EACA,IAAIR,WAAW,CAACQ,KAAK,CAAC,EAAE;IACtB,OAAOjB,IAAI,GAAGG,QAAQ,CAACc,KAAK,CAAC,EAAE;EACjC;;EAEA;EACA,MAAMsB,SAAS,GAAGjC,yBAAyB,CAACW,KAAK,CAAC;EAClD,IAAIsB,SAAS,KAAKC,SAAS,EAAE;IAC3B;IACA,IAAID,SAAS,CAACxB,IAAI,KAAK,WAAW,IAAIwB,SAAS,CAACpB,IAAI,KAAK,MAAM,EAAE;MAC/D,OAAOnB,IAAI,QAAQ;IACrB;IACA;IACA,IAAIU,WAAW,CAACG,CAAC,EAAE0B,SAAS,CAAC,EAAE;MAC7B,QAAArB,iBAAA,CAEKd,cAAc;QAACU,IAAI,EAAEyB;MAAS;IAGrC;IACA;IACA,OAAArB,iBAAA,CAAQd,cAAc;MAACU,IAAI,EAAEyB;IAAS;EACxC;;EAEA;EACA,MAAME,QAAQ,GAAGC,KAAK,CAACC,IAAI,CAAC1B,KAAK,CAACwB,QAAQ,CAACrB,MAAM,CAAC,CAAC,CAAC;EACpD,MAAMwB,SAAS,GAAGH,QAAQ,CAAC,CAAC,CAAC,CAAC3B,IAAI;EAClC,MAAM+B,WAAW,GAAGJ,QAAQ,CAACK,KAAK,CAAEC,CAAC,IAAK;IACxC,IAAIA,CAAC,CAACjC,IAAI,CAACC,IAAI,KAAK6B,SAAS,CAAC7B,IAAI,EAAE,OAAO,KAAK;IAChD,IAAIgC,CAAC,CAACjC,IAAI,CAACC,IAAI,KAAK,QAAQ,IAAI6B,SAAS,CAAC7B,IAAI,KAAK,QAAQ,EAAE;MAC3D,MAAMiC,QAAQ,GAAGnC,CAAC,CAACwB,MAAM,CAACC,UAAU,CAACS,CAAC,CAACjC,IAAI,CAAC,IAAIiC,CAAC,CAACjC,IAAI;MACtD,MAAMmC,QAAQ,GAAGpC,CAAC,CAACwB,MAAM,CAACC,UAAU,CAACM,SAAS,CAAC,IAAIA,SAAS;MAC5D,OAAOI,QAAQ,CAAC7B,IAAI,KAAK8B,QAAQ,CAAC9B,IAAI;IACxC;IACA;IACA,IAAI4B,CAAC,CAACjC,IAAI,CAACC,IAAI,KAAK,QAAQ,IAAIgC,CAAC,CAACjC,IAAI,CAACC,IAAI,KAAK,SAAS,IAAIgC,CAAC,CAACjC,IAAI,CAACC,IAAI,KAAK,QAAQ,EAAE;MACrF,OAAO,IAAI;IACb;IACA,OAAOgC,CAAC,CAACjC,IAAI,KAAK8B,SAAS;EAC7B,CAAC,CAAC;EAEF,IAAIC,WAAW,EAAE,OAAA3B,iBAAA,CAAQd,cAAc;IAACU,IAAI,EAAE8B;EAAS;;EAEvD;EACA,OAAO5C,IAAI,QAAQ;AACrB;;AAEA;;AAEA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,OAAO,SAASkD,2BAA2BA,CAACrC,CAAU,EAAyC;EAC7F,MAAMsC,SAAS,GAAG,IAAIlD,qCAAqC,CAAC,CAAC;EAE7D,MAAMmD,eAAmC,GAAG;EAC1C;EACA,CAACvC,CAAC,CAACwC,OAAO,CAACC,SAAS,EAAE,UAAU,CAAC,EACjC,CAACzC,CAAC,CAACwC,OAAO,CAACE,SAAS,EAAE,UAAU,CAAC,EACjC,CAAC1C,CAAC,CAACwC,OAAO,CAACG,GAAG,EAAE,QAAQ,CAAC;EACzB;EACA,CAAC3C,CAAC,CAACwC,OAAO,CAACI,IAAI,EAAE,OAAO,CAAC,EACzB,CAAC5C,CAAC,CAACwC,OAAO,CAACK,KAAK,EAAE,MAAM,CAAC,EACzB,CAAC7C,CAAC,CAACwC,OAAO,CAACM,KAAK,EAAE,OAAO,CAAC,EAC1B,CAAC9C,CAAC,CAACwC,OAAO,CAACO,MAAM,EAAE,QAAQ,CAAC,EAC5B,CAAC/C,CAAC,CAACwC,OAAO,CAACQ,MAAM,EAAE,QAAQ,CAAC,EAC5B,CAAChD,CAAC,CAACwC,OAAO,CAACS,MAAM,EAAE,QAAQ,CAAC,EAC5B,CAACjD,CAAC,CAACwC,OAAO,CAACU,OAAO,EAAE,MAAM,CAAC,CAC5B;EAED,KAAK,MAAM,CAAC1B,MAAM,EAAE2B,MAAM,CAAC,IAAIZ,eAAe,EAAE;IAC9CD,SAAS,CAACc,OAAO,CAAC5B,MAAM,EAAE;MACxB6B,SAAS,EAAGtD,KAAK,IAAKZ,IAAI,GAAGgE,MAAM;IACrC,CAAC,CAAC;EACJ;EAEA,OAAOb,SAAS;AAClB","ignoreList":[]}

package/dist/src/components/type-expression/type-expression.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=type-expression.test.d.ts.map

package/dist/src/components/type-expression/type-expression.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-expression.test.d.ts","sourceRoot":"","sources":["../../../../src/components/type-expression/type-expression.test.tsx"],"names":[],"mappings":""}

package/dist/src/components/type-expression/type-expression.test.js

@@ -0,0 +1,207 @@
+import { createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
+import { Tester } from "#test/tester.js";
+import { createCSharpNamePolicy, SourceFile } from "@alloy-js/csharp";
+import { $ } from "@typespec/compiler/typekit";
+import { Experimental_ComponentOverrides, Output } from "@typespec/emitter-framework";
+import { beforeEach, describe, expect, it } from "vitest";
+import { createServerScalarOverrides, TypeExpression } from "./type-expression.js";
+let runner;
+beforeEach(async () => {
+  runner = await Tester.createInstance();
+});
+function Wrapper(props) {
+  const policy = createCSharpNamePolicy();
+  const overrides = createServerScalarOverrides($(runner.program));
+  return _$createComponent(Output, {
+    get program() {
+      return runner.program;
+    },
+    namePolicy: policy,
+    get children() {
+      return _$createComponent(Experimental_ComponentOverrides, {
+        overrides: overrides,
+        get children() {
+          return _$createComponent(SourceFile, {
+            path: "test.cs",
+            get children() {
+              return props.children;
+            }
+          });
+        }
+      });
+    }
+  });
+}
+async function compileType(ref) {
+  const {
+    test
+  } = await runner.compile(`
+    model Test {
+      @test test: ${ref};
+    }
+  `);
+  return test.type;
+}
+describe("scalar types", () => {
+  it.each([["string", "string"], ["int32", "int"], ["int64", "long"], ["float32", "float"], ["float64", "double"], ["boolean", "bool"], ["decimal", "decimal"], ["decimal128", "decimal"]])("%s => %s", async (tspType, csType) => {
+    const type = await compileType(tspType);
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo(`${csType}`);
+  });
+});
+describe("server-specific scalar mappings", () => {
+  it("maps plainDate to DateTime", async () => {
+    const type = await compileType("plainDate");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("DateTime");
+  });
+  it("maps plainTime to DateTime", async () => {
+    const type = await compileType("plainTime");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("DateTime");
+  });
+  it("maps utcDateTime to DateTimeOffset", async () => {
+    const type = await compileType("utcDateTime");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("DateTimeOffset");
+  });
+  it("maps duration to TimeSpan", async () => {
+    const type = await compileType("duration");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("TimeSpan");
+  });
+  it("maps url to string", async () => {
+    const type = await compileType("url");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("string");
+  });
+});
+describe("array types", () => {
+  it("maps int32[] to int[]", async () => {
+    const type = await compileType("int32[]");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("int[]");
+  });
+  it("maps string[] to string[]", async () => {
+    const type = await compileType("string[]");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("string[]");
+  });
+});
+describe("record types", () => {
+  it("maps Record<int32> to IDictionary<string, int>", async () => {
+    const type = await compileType("Record<int32>");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("IDictionary<string, int>");
+  });
+});
+describe("nullable union", () => {
+  it("maps int32 | null to int?", async () => {
+    const type = await compileType("int32 | null");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("int?");
+  });
+  it("maps string | null to string", async () => {
+    const type = await compileType("string | null");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("string");
+  });
+});
+describe("literal types", () => {
+  it("maps string literal to string", async () => {
+    const type = await compileType('"hello"');
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("string");
+  });
+  it("maps integer literal to int", async () => {
+    const type = await compileType("42");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("int");
+  });
+  it("maps float literal to double", async () => {
+    const type = await compileType("3.14");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("double");
+  });
+  it("maps boolean literal to bool", async () => {
+    const type = await compileType("true");
+    expect(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(TypeExpression, {
+          type: type
+        });
+      }
+    })).toRenderTo("bool");
+  });
+});
+//# sourceMappingURL=type-expression.test.js.map

package/dist/src/components/type-expression/type-expression.test.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["Tester","createCSharpNamePolicy","SourceFile","$","Experimental_ComponentOverrides","Output","beforeEach","describe","expect","it","createServerScalarOverrides","TypeExpression","runner","createInstance","Wrapper","props","policy","overrides","program","_$createComponent","namePolicy","children","path","compileType","ref","test","compile","type","each","tspType","csType","toRenderTo"],"sources":["../../../../src/components/type-expression/type-expression.test.tsx"],"sourcesContent":[null],"mappings":";AAAA,SAASA,MAAM,QAAQ,iBAAiB;AAExC,SAASC,sBAAsB,EAAEC,UAAU,QAAQ,kBAAkB;AAGrE,SAASC,CAAC,QAAQ,4BAA4B;AAC9C,SAASC,+BAA+B,EAAEC,MAAM,QAAQ,6BAA6B;AACrF,SAASC,UAAU,EAAEC,QAAQ,EAAEC,MAAM,EAAEC,EAAE,QAAQ,QAAQ;AACzD,SAASC,2BAA2B,EAAEC,cAAc;AAEpD,IAAIC,MAAsB;AAE1BN,UAAU,CAAC,YAAY;EACrBM,MAAM,GAAG,MAAMZ,MAAM,CAACa,cAAc,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,SAASC,OAAOA,CAACC,KAA6B,EAAE;EAC9C,MAAMC,MAAM,GAAGf,sBAAsB,CAAC,CAAC;EACvC,MAAMgB,SAAS,GAAGP,2BAA2B,CAACP,CAAC,CAACS,MAAM,CAACM,OAAO,CAAC,CAAC;EAChE,OAAAC,iBAAA,CACGd,MAAM;IAAA,IAACa,OAAOA,CAAA;MAAA,OAAEN,MAAM,CAACM,OAAO;IAAA;IAAEE,UAAU,EAAEJ,MAAM;IAAA,IAAAK,SAAA;MAAA,OAAAF,iBAAA,CAChDf,+BAA+B;QAACa,SAAS,EAAEA,SAAS;QAAA,IAAAI,SAAA;UAAA,OAAAF,iBAAA,CAClDjB,UAAU;YAACoB,IAAI;YAAA,IAAAD,SAAA;cAAA,OAAYN,KAAK,CAACM,QAAQ;YAAA;UAAA;QAAA;MAAA;IAAA;EAAA;AAIlD;AAEA,eAAeE,WAAWA,CAACC,GAAW,EAAE;EACtC,MAAM;IAAEC;EAAK,CAAC,GAAG,MAAMb,MAAM,CAACc,OAAO,CAAC;AACxC;AACA,oBAAoBF,GAAG;AACvB;AACA,GAAG,CAAC;EACF,OAAQC,IAAI,CAAmBE,IAAI;AACrC;AAEApB,QAAQ,CAAC,cAAc,EAAE,MAAM;EAC7BE,EAAE,CAACmB,IAAI,CAAC,CACN,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACpB,CAAC,OAAO,EAAE,KAAK,CAAC,EAChB,CAAC,OAAO,EAAE,MAAM,CAAC,EACjB,CAAC,SAAS,EAAE,OAAO,CAAC,EACpB,CAAC,SAAS,EAAE,QAAQ,CAAC,EACrB,CAAC,SAAS,EAAE,MAAM,CAAC,EACnB,CAAC,SAAS,EAAE,SAAS,CAAC,EACtB,CAAC,YAAY,EAAE,SAAS,CAAC,CAC1B,CAAC,CAAC,UAAU,EAAE,OAAOC,OAAO,EAAEC,MAAM,KAAK;IACxC,MAAMH,IAAI,GAAG,MAAMJ,WAAW,CAACM,OAAO,CAAC;IACvCrB,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,GAAGD,MAAM,EAAE,CAAC;EAC3B,CAAC,CAAC;AACJ,CAAC,CAAC;AAEFvB,QAAQ,CAAC,iCAAiC,EAAE,MAAM;EAChDE,EAAE,CAAC,4BAA4B,EAAE,YAAY;IAC3C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,WAAW,CAAC;IAC3Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,UAAU,CAAC;EAC1B,CAAC,CAAC;EAEFtB,EAAE,CAAC,4BAA4B,EAAE,YAAY;IAC3C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,WAAW,CAAC;IAC3Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,UAAU,CAAC;EAC1B,CAAC,CAAC;EAEFtB,EAAE,CAAC,oCAAoC,EAAE,YAAY;IACnD,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,aAAa,CAAC;IAC7Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,gBAAgB,CAAC;EAChC,CAAC,CAAC;EAEFtB,EAAE,CAAC,2BAA2B,EAAE,YAAY;IAC1C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,UAAU,CAAC;IAC1Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,UAAU,CAAC;EAC1B,CAAC,CAAC;EAEFtB,EAAE,CAAC,oBAAoB,EAAE,YAAY;IACnC,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,KAAK,CAAC;IACrCf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,QAAQ,CAAC;EACxB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEFxB,QAAQ,CAAC,aAAa,EAAE,MAAM;EAC5BE,EAAE,CAAC,uBAAuB,EAAE,YAAY;IACtC,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,SAAS,CAAC;IACzCf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,OAAO,CAAC;EACvB,CAAC,CAAC;EAEFtB,EAAE,CAAC,2BAA2B,EAAE,YAAY;IAC1C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,UAAU,CAAC;IAC1Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,UAAU,CAAC;EAC1B,CAAC,CAAC;AACJ,CAAC,CAAC;AAEFxB,QAAQ,CAAC,cAAc,EAAE,MAAM;EAC7BE,EAAE,CAAC,gDAAgD,EAAE,YAAY;IAC/D,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,eAAe,CAAC;IAC/Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,0BAA0B,CAAC;EAC1C,CAAC,CAAC;AACJ,CAAC,CAAC;AAEFxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM;EAC/BE,EAAE,CAAC,2BAA2B,EAAE,YAAY;IAC1C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,cAAc,CAAC;IAC9Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,MAAM,CAAC;EACtB,CAAC,CAAC;EAEFtB,EAAE,CAAC,8BAA8B,EAAE,YAAY;IAC7C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,eAAe,CAAC;IAC/Cf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,QAAQ,CAAC;EACxB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEFxB,QAAQ,CAAC,eAAe,EAAE,MAAM;EAC9BE,EAAE,CAAC,+BAA+B,EAAE,YAAY;IAC9C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,SAAS,CAAC;IACzCf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,QAAQ,CAAC;EACxB,CAAC,CAAC;EAEFtB,EAAE,CAAC,6BAA6B,EAAE,YAAY;IAC5C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,IAAI,CAAC;IACpCf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,KAAK,CAAC;EACrB,CAAC,CAAC;EAEFtB,EAAE,CAAC,8BAA8B,EAAE,YAAY;IAC7C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,MAAM,CAAC;IACtCf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,QAAQ,CAAC;EACxB,CAAC,CAAC;EAEFtB,EAAE,CAAC,8BAA8B,EAAE,YAAY;IAC7C,MAAMkB,IAAI,GAAG,MAAMJ,WAAW,CAAC,MAAM,CAAC;IACtCf,MAAM,CAAAW,iBAAA,CACHL,OAAO;MAAA,IAAAO,SAAA;QAAA,OAAAF,iBAAA,CACLR,cAAc;UAACgB,IAAI,EAAEA;QAAI;MAAA;IAAA,EAE9B,CAAC,CAACI,UAAU,CAAC,MAAM,CAAC;EACtB,CAAC,CAAC;AACJ,CAAC,CAAC","ignoreList":[]}

package/dist/src/context/emitter-options-context.d.ts

@@ -0,0 +1,13 @@
+export type CollectionType = "array" | "enumerable";
+export interface EmitterOptionsContext {
+    collectionType: CollectionType;
+    serviceNamespace: string;
+}
+export declare const EmitterOptions: import("@alloy-js/core").ComponentContext<EmitterOptionsContext>;
+/**
+ * Returns emitter options from context.
+ * Falls back to defaults (array collection type, empty namespace) when used
+ * outside a provider — e.g., in unit tests for individual components.
+ */
+export declare function useEmitterOptions(): EmitterOptionsContext;
+//# sourceMappingURL=emitter-options-context.d.ts.map

package/dist/src/context/emitter-options-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter-options-context.d.ts","sourceRoot":"","sources":["../../../src/context/emitter-options-context.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,YAAY,CAAC;AAEpD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,cAAc,CAAC;IAC/B,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,eAAO,MAAM,cAAc,kEAA8D,CAAC;AAE1F;;;;GAIG;AACH,wBAAgB,iBAAiB,IAAI,qBAAqB,CAEzD"}

package/dist/src/context/emitter-options-context.js

@@ -0,0 +1,15 @@
+import { createNamedContext, useContext } from "@alloy-js/core";
+export const EmitterOptions = createNamedContext("EmitterOptions");
+
+/**
+ * Returns emitter options from context.
+ * Falls back to defaults (array collection type, empty namespace) when used
+ * outside a provider — e.g., in unit tests for individual components.
+ */
+export function useEmitterOptions() {
+  return useContext(EmitterOptions) ?? {
+    collectionType: "array",
+    serviceNamespace: ""
+  };
+}
+//# sourceMappingURL=emitter-options-context.js.map

package/dist/src/context/emitter-options-context.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["createNamedContext","useContext","EmitterOptions","useEmitterOptions","collectionType","serviceNamespace"],"sources":["../../../src/context/emitter-options-context.ts"],"sourcesContent":[null],"mappings":"AAAA,SAASA,kBAAkB,EAAEC,UAAU,QAAQ,gBAAgB;AAS/D,OAAO,MAAMC,cAAc,GAAGF,kBAAkB,CAAwB,gBAAgB,CAAC;;AAEzF;AACA;AACA;AACA;AACA;AACA,OAAO,SAASG,iBAAiBA,CAAA,EAA0B;EACzD,OAAOF,UAAU,CAACC,cAAc,CAAC,IAAI;IAAEE,cAAc,EAAE,OAAO;IAAEC,gBAAgB,EAAE;EAAG,CAAC;AACxF","ignoreList":[]}

package/dist/src/diagnostics.d.ts

@@ -0,0 +1,8 @@
+import { Interface, Program } from "@typespec/compiler";
+import type { OperationHttpCanonicalization } from "@typespec/http-canonicalization";
+/**
+ * Reports diagnostic warnings for models, scalars, and operations.
+ * This pre-pass mirrors the old emitter behavior so that `tester.diagnose()` tests pass.
+ */
+export declare function reportEmitterDiagnostics(program: Program, interfaces: Interface[], canonicalOpsMap: Map<string, OperationHttpCanonicalization[]>): void;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/src/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../src/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EAIT,OAAO,EAER,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAKrF;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,SAAS,EAAE,EACvB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,6BAA6B,EAAE,CAAC,GAC5D,IAAI,CA0BN"}