@typespec/emitter-framework 0.11.0-dev.0 → 0.11.0-dev.2

package/dist/src/core/components/index.d.ts

@@ -1,2 +1,4 @@
 export * from "./output.jsx";
+export * from "./overrides/component-overrides.jsx";
+export * from "./overrides/config.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/core/components/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/components/index.tsx"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/components/index.tsx"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,qCAAqC,CAAC;AACpD,cAAc,uBAAuB,CAAC"}

package/dist/src/core/components/index.js

@@ -1 +1,3 @@
-export * from "./output.js";
+export * from "./output.js";
+export * from "./overrides/component-overrides.js";
+export * from "./overrides/config.js";

package/dist/src/core/components/overrides/component-overrides.d.ts

@@ -0,0 +1,64 @@
+import { type Children, type ComponentDefinition } from "@alloy-js/core";
+import type { ObjectPropertyProps, VarDeclarationProps } from "@alloy-js/typescript";
+import type { Enum, EnumMember, Model, ModelProperty, Scalar, Type, Union, UnionVariant } from "@typespec/compiler";
+import { type Experimental_ComponentOverridesConfig } from "./config.js";
+export interface Experimental_OverrideEmitPropsBase<TCustomType extends Type> {
+    /**
+     * The TypeSpec type to render.
+     */
+    type: TCustomType;
+    /**
+     * The default emitted output for this type.
+     */
+    default: Children;
+}
+export type Experimental_CustomTypeToProps<TCustomType extends Type> = TCustomType extends ModelProperty ? ObjectPropertyProps : TCustomType extends EnumMember ? {} : TCustomType extends UnionVariant ? {} : TCustomType extends Model | Scalar | Union | Enum ? VarDeclarationProps : VarDeclarationProps | ObjectPropertyProps;
+export interface Experimental_OverrideReferenceProps<TCustomType extends Type> extends Experimental_OverrideEmitPropsBase<TCustomType> {
+    /**
+     * The member this type is referenced from, if any. This member may contain
+     * additional metadata that should be represented in the emitted output.
+     */
+    member?: ModelProperty;
+}
+export interface Experimental_OverrideDeclareProps<TCustomType extends Type> extends Experimental_OverrideEmitPropsBase<TCustomType> {
+    Declaration: ComponentDefinition<Experimental_CustomTypeToProps<TCustomType>>;
+    declarationProps: Experimental_CustomTypeToProps<TCustomType>;
+}
+export type Experimental_OverrideDeclarationComponent<TCustomType extends Type> = ComponentDefinition<Experimental_OverrideDeclareProps<TCustomType>>;
+export type Experimental_OverrideReferenceComponent<TCustomType extends Type> = ComponentDefinition<Experimental_OverrideReferenceProps<TCustomType>>;
+export interface Experimental_ComponentOverridesConfigBase<TCustomType extends Type> {
+    /**
+     * Override when this type is referenced.
+     * e.g. When used in <TypeExpression type={type} />
+     */
+    reference?: Experimental_OverrideReferenceComponent<TCustomType>;
+}
+export interface Experimental_ComponentOverridesProps {
+    overrides: Experimental_ComponentOverridesConfig;
+    children?: Children;
+}
+export declare function Experimental_ComponentOverrides(props: Experimental_ComponentOverridesProps): Children;
+export interface Experimental_OverrideTypeComponentCommonProps<T extends Type> {
+    /**
+     * The TypeSpec type to render.
+     */
+    type: T;
+    /**
+     * The default rendering.
+     */
+    children: Children;
+}
+export interface Experimental_OverridableComponentReferenceProps<T extends Type> extends Experimental_OverrideTypeComponentCommonProps<T> {
+    /**
+     * Pass when rendering a reference to the provided type or type kind.
+     */
+    reference: true;
+    /**
+     * The member this type is referenced from, if any. This member may contain
+     * additional metadata that should be represented in the emitted output.
+     */
+    member?: ModelProperty;
+}
+export type Experimental_OverridableComponentProps<T extends Type> = Experimental_OverridableComponentReferenceProps<T>;
+export declare function Experimental_OverridableComponent<T extends Type>(props: Experimental_OverridableComponentProps<T>): Children;
+//# sourceMappingURL=component-overrides.d.ts.map

package/dist/src/core/components/overrides/component-overrides.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-overrides.d.ts","sourceRoot":"","sources":["../../../../../src/core/components/overrides/component-overrides.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,KAAK,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,KAAK,EACV,IAAI,EACJ,UAAU,EACV,KAAK,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,KAAK,EACL,YAAY,EACb,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,KAAK,qCAAqC,EAG3C,MAAM,aAAa,CAAC;AAGrB,MAAM,WAAW,kCAAkC,CAAC,WAAW,SAAS,IAAI;IAC1E;;OAEG;IACH,IAAI,EAAE,WAAW,CAAC;IAElB;;OAEG;IACH,OAAO,EAAE,QAAQ,CAAC;CACnB;AAED,MAAM,MAAM,8BAA8B,CAAC,WAAW,SAAS,IAAI,IACjE,WAAW,SAAS,aAAa,GAC7B,mBAAmB,GACnB,WAAW,SAAS,UAAU,GAC5B,EAAE,GACF,WAAW,SAAS,YAAY,GAC9B,EAAE,GACF,WAAW,SAAS,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,IAAI,GAC/C,mBAAmB,GACnB,mBAAmB,GAAG,mBAAmB,CAAC;AAEtD,MAAM,WAAW,mCAAmC,CAAC,WAAW,SAAS,IAAI,CAC3E,SAAQ,kCAAkC,CAAC,WAAW,CAAC;IACvD;;;OAGG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,WAAW,iCAAiC,CAAC,WAAW,SAAS,IAAI,CACzE,SAAQ,kCAAkC,CAAC,WAAW,CAAC;IACvD,WAAW,EAAE,mBAAmB,CAAC,8BAA8B,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9E,gBAAgB,EAAE,8BAA8B,CAAC,WAAW,CAAC,CAAC;CAC/D;AAED,MAAM,MAAM,yCAAyC,CAAC,WAAW,SAAS,IAAI,IAC5E,mBAAmB,CAAC,iCAAiC,CAAC,WAAW,CAAC,CAAC,CAAC;AAEtE,MAAM,MAAM,uCAAuC,CAAC,WAAW,SAAS,IAAI,IAAI,mBAAmB,CACjG,mCAAmC,CAAC,WAAW,CAAC,CACjD,CAAC;AAEF,MAAM,WAAW,yCAAyC,CAAC,WAAW,SAAS,IAAI;IACjF;;;OAGG;IACH,SAAS,CAAC,EAAE,uCAAuC,CAAC,WAAW,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,oCAAoC;IACnD,SAAS,EAAE,qCAAqC,CAAC;IACjD,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AACD,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,oCAAoC,YAM1F;AAED,MAAM,WAAW,6CAA6C,CAAC,CAAC,SAAS,IAAI;IAC3E;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC;IAER;;OAEG;IACH,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED,MAAM,WAAW,+CAA+C,CAAC,CAAC,SAAS,IAAI,CAC7E,SAAQ,6CAA6C,CAAC,CAAC,CAAC;IACxD;;OAEG;IACH,SAAS,EAAE,IAAI,CAAC;IAEhB;;;OAGG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,MAAM,sCAAsC,CAAC,CAAC,SAAS,IAAI,IAC/D,+CAA+C,CAAC,CAAC,CAAC,CAAC;AAErD,wBAAgB,iCAAiC,CAAC,CAAC,SAAS,IAAI,EAC9D,KAAK,EAAE,sCAAsC,CAAC,CAAC,CAAC,YAkBjD"}

package/dist/src/core/components/overrides/component-overrides.js

@@ -0,0 +1,40 @@
+import { createComponent as _$createComponent, memo as _$memo } from "@alloy-js/core/jsx-runtime";
+import { useTsp } from "../../context/index.js";
+import { getOverrideForType, getOverridesForTypeKind } from "./config.js";
+import { OverridesContext, useOverrides } from "./context.js";
+export function Experimental_ComponentOverrides(props) {
+  const context = {
+    overrides: props.overrides
+  };
+  return _$createComponent(OverridesContext.Provider, {
+    value: context,
+    get children() {
+      return props.children;
+    }
+  });
+}
+export function Experimental_OverridableComponent(props) {
+  const options = useOverrides();
+  const {
+    $
+  } = useTsp();
+  const descriptor = getOverrideForType($.program, props.type, options.overrides) ?? getOverridesForTypeKind($.program, props.type.kind, options.overrides);
+  if (!descriptor) {
+    return [_$memo(() => props.children)];
+  }
+  if ("reference" in props && props.reference && descriptor.reference) {
+    const CustomComponent = descriptor.reference;
+    return _$createComponent(CustomComponent, {
+      get type() {
+        return props.type;
+      },
+      get member() {
+        return props.member;
+      },
+      get ["default"]() {
+        return props.children;
+      }
+    });
+  }
+  return [_$memo(() => props.children)];
+}

package/dist/src/core/components/overrides/config.d.ts

@@ -0,0 +1,28 @@
+import type { Program, Type } from "@typespec/compiler";
+import type { Experimental_ComponentOverridesConfigBase } from "./component-overrides.jsx";
+declare const getOverrideForTypeSym: unique symbol;
+declare const getOverrideForTypeKindSym: unique symbol;
+export type Experimental_ComponentOverridesConfig = Experimental_ComponentOverridesClass;
+export declare const Experimental_ComponentOverridesConfig: {
+    new (): Experimental_ComponentOverridesClass;
+    (): Experimental_ComponentOverridesClass;
+};
+export declare class Experimental_ComponentOverridesClass {
+    #private;
+    forType<const T extends Type>(type: T, options: Experimental_ComponentOverridesConfigBase<T>): this;
+    forTypeKind<const TKind extends Type["kind"]>(typeKind: TKind, options: Experimental_ComponentOverridesConfigBase<Extract<Type, {
+        kind: TKind;
+    }>>): this;
+    /**
+     * @internal
+     */
+    [getOverrideForTypeSym](program: Program, type: Type): Experimental_ComponentOverridesConfigBase<any> | undefined;
+    /**
+     * @internal
+     */
+    [getOverrideForTypeKindSym](program: Program, typeKind: Type["kind"]): Experimental_ComponentOverridesConfigBase<any> | undefined;
+}
+export declare function getOverrideForType(program: Program, type: Type, options?: Experimental_ComponentOverridesConfig): Experimental_ComponentOverridesConfigBase<any> | undefined;
+export declare function getOverridesForTypeKind(program: Program, typeKind: Type["kind"], options?: Experimental_ComponentOverridesConfig): Experimental_ComponentOverridesConfigBase<any> | undefined;
+export {};
+//# sourceMappingURL=config.d.ts.map

package/dist/src/core/components/overrides/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../../../src/core/components/overrides/config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAU,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAEhE,OAAO,KAAK,EAAE,yCAAyC,EAAE,MAAM,2BAA2B,CAAC;AAE3F,QAAA,MAAM,qBAAqB,EAAE,OAAO,MAA+C,CAAC;AACpF,QAAA,MAAM,yBAAyB,EAAE,OAAO,MAAmD,CAAC;AAE5F,MAAM,MAAM,qCAAqC,GAAG,oCAAoC,CAAC;AACzF,eAAO,MAAM,qCAAqC,EAE7C;IACH,QAAQ,oCAAoC,CAAC;IAC7C,IAAI,oCAAoC,CAAC;CAC1C,CAAC;AAEF,qBAAa,oCAAoC;;IAK/C,OAAO,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,yCAAyC,CAAC,CAAC,CAAC;IAM5F,WAAW,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,EAC1C,QAAQ,EAAE,KAAK,EACf,OAAO,EAAE,yCAAyC,CAAC,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAOpF;;OAEG;IACH,CAAC,qBAAqB,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI;IAwBpD;;OAEG;IACH,CAAC,yBAAyB,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;CAGrE;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,OAAO,CAAC,EAAE,qCAAqC,8DAGhD;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EACtB,OAAO,CAAC,EAAE,qCAAqC,8DAGhD"}

package/dist/src/core/components/overrides/config.js

@@ -0,0 +1,54 @@
+import { $ } from "@typespec/compiler/typekit";
+const getOverrideForTypeSym = Symbol.for("ef-ts:getOverrideForType");
+const getOverrideForTypeKindSym = Symbol.for("ef-ts:getOverrideForTypeKind");
+export const Experimental_ComponentOverridesConfig = function () {
+  return new Experimental_ComponentOverridesClass();
+};
+export class Experimental_ComponentOverridesClass {
+  #typeEmitOptions = new Map();
+  #typeKindEmitOptions = new Map();
+  forType(type, options) {
+    this.#typeEmitOptions.set(type, options);
+    return this;
+  }
+  forTypeKind(typeKind, options) {
+    this.#typeKindEmitOptions.set(typeKind, options);
+    return this;
+  }
+
+  /**
+   * @internal
+   */
+  [getOverrideForTypeSym](program, type) {
+    const options = this.#typeEmitOptions.get(type);
+    if (options || !$(program).scalar.is(type) /** || isBuiltIn(program, type) */) {
+      return options;
+    }
+
+    // have a scalar, it's not a built-in scalar, and didn't find options, so
+    // see if we have options for a base scalar.
+    let currentScalar = type;
+    while (currentScalar &&
+    // !isBuiltIn(program, currentScalar) &&
+    !this.#typeEmitOptions.has(currentScalar)) {
+      currentScalar = currentScalar?.baseScalar;
+    }
+    if (!currentScalar) {
+      return undefined;
+    }
+    return this.#typeEmitOptions.get(currentScalar);
+  }
+
+  /**
+   * @internal
+   */
+  [getOverrideForTypeKindSym](program, typeKind) {
+    return this.#typeKindEmitOptions.get(typeKind);
+  }
+}
+export function getOverrideForType(program, type, options) {
+  return options?.[getOverrideForTypeSym](program, type);
+}
+export function getOverridesForTypeKind(program, typeKind, options) {
+  return options?.[getOverrideForTypeKindSym](program, typeKind);
+}

package/dist/src/core/components/overrides/context.d.ts

@@ -0,0 +1,11 @@
+import { type ComponentContext } from "@alloy-js/core";
+import type { Experimental_ComponentOverridesConfig } from "./config.js";
+export interface ComponentOverridesContext {
+    overrides?: Experimental_ComponentOverridesConfig;
+}
+/**
+ * Context for setting overrides for components
+ */
+export declare const OverridesContext: ComponentContext<ComponentOverridesContext>;
+export declare function useOverrides(): ComponentOverridesContext;
+//# sourceMappingURL=context.d.ts.map

package/dist/src/core/components/overrides/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../../src/core/components/overrides/context.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClF,OAAO,KAAK,EAAE,qCAAqC,EAAE,MAAM,aAAa,CAAC;AAEzE,MAAM,WAAW,yBAAyB;IACxC,SAAS,CAAC,EAAE,qCAAqC,CAAC;CACnD;AACD;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,gBAAgB,CAAC,yBAAyB,CAAqB,CAAC;AAE/F,wBAAgB,YAAY,IAAI,yBAAyB,CAExD"}

package/dist/src/core/components/overrides/context.js

@@ -0,0 +1,8 @@
+import { createContext, useContext } from "@alloy-js/core";
+/**
+ * Context for setting overrides for components
+ */
+export const OverridesContext = createContext({});
+export function useOverrides() {
+  return useContext(OverridesContext);
+}

package/dist/src/csharp/components/class/declaration.d.ts

@@ -1,6 +1,6 @@
 import { type Children } from "@alloy-js/core";
 import * as cs from "@alloy-js/csharp";
-import type { Interface, Model } from "@typespec/compiler";
+import { type Interface, type Model } from "@typespec/compiler";
 export interface ClassDeclarationProps extends Omit<cs.ClassDeclarationProps, "name"> {
     /** Set an alternative name for the class. Otherwise default to the type name. */
     name?: string;

package/dist/src/csharp/components/class/declaration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../../../../../src/csharp/components/class/declaration.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAO,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEvC,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAO3D,MAAM,WAAW,qBAAsB,SAAQ,IAAI,CAAC,EAAE,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACnF,iFAAiF;IACjF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,IAAI,EAAE,KAAK,GAAG,SAAS,CAAC;IACxB,8FAA8F;IAC9F,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAYD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,QAAQ,CAuBvE"}
+{"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../../../../../src/csharp/components/class/declaration.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAO,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEvC,OAAO,EAAc,KAAK,SAAS,EAAE,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAO5E,MAAM,WAAW,qBAAsB,SAAQ,IAAI,CAAC,EAAE,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACnF,iFAAiF;IACjF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,IAAI,EAAE,KAAK,GAAG,SAAS,CAAC;IACxB,8FAA8F;IAC9F,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAYD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,QAAQ,CAuBvE"}

package/dist/src/csharp/components/class/declaration.js

@@ -2,6 +2,7 @@ import { memo as _$memo, mergeProps as _$mergeProps, createComponent as _$create
 import { For } from "@alloy-js/core";
 import * as cs from "@alloy-js/csharp";
 import { Method } from "@alloy-js/csharp";
+import { isVoidType } from "@typespec/compiler";
 import { useTsp } from "../../../core/index.js";
 import { Property } from "../property/property.js";
 import { TypeExpression } from "../type-expression.js";
@@ -38,10 +39,10 @@ export function ClassDeclaration(props) {
   }))];
 }
 function ClassProperties(props) {
+  // Ignore 'void' type properties which is not valid in csharp
+  const properties = Array.from(props.type.properties.entries()).filter(([_, p]) => !isVoidType(p.type));
   return _$createComponent(For, {
-    get each() {
-      return props.type.properties.entries();
-    },
+    each: properties,
     hardline: true,
     children: ([name, property]) => _$createComponent(Property, {
       type: property,

package/dist/src/csharp/components/class/declaration.test.js

@@ -1,5 +1,8 @@
-import { createComponent as _$createComponent, createIntrinsic as _$createIntrinsic } from "@alloy-js/core/jsx-runtime";
+import { createComponent as _$createComponent, memo as _$memo, createIntrinsic as _$createIntrinsic } from "@alloy-js/core/jsx-runtime";
+import { Experimental_ComponentOverrides, Experimental_ComponentOverridesConfig } from "#core/index.js";
 import { Tester } from "#test/test-host.js";
+import { List } from "@alloy-js/core";
+import { d } from "@alloy-js/core/testing";
 import { createCSharpNamePolicy, Namespace, SourceFile } from "@alloy-js/csharp";
 import { t } from "@typespec/compiler/testing";
 import { beforeEach, describe, expect, it } from "vitest";
@@ -79,6 +82,76 @@ it("renders a class declaration with properties", async () => {
     }
   `);
 });
+it("renders a class declaration with properties using component override", async () => {
+  const {
+    TestModel,
+    Foo,
+    Bar
+  } = await runner.compile(t.code`
+    model ${t.model("Foo")} {}
+    model ${t.model("Bar")} {}
+    model ${t.model("TestModel")} {
+      Prop1: string;
+      Prop2: int32;
+      Prop3?: Foo;
+    }
+  `);
+  expect(_$createComponent(Wrapper, {
+    get children() {
+      return _$createComponent(TestClientOverrides, {
+        get children() {
+          return _$createComponent(List, {
+            hardline: true,
+            get children() {
+              return [_$createComponent(ClassDeclaration, {
+                type: Foo
+              }), _$createComponent(ClassDeclaration, {
+                type: Bar
+              }), _$createComponent(ClassDeclaration, {
+                type: TestModel
+              })];
+            }
+          });
+        }
+      });
+    }
+  })).toRenderTo(d`
+    namespace TestNamespace
+    {
+        class Foo
+        {
+
+        }
+        class Bar
+        {
+
+        }
+        class TestModel
+        {
+            public required string Prop1 { get; set; }
+            public required int Prop2 { get; set; }
+            public Bar Prop3 { get; set; }
+        }
+    }
+  `);
+});
+function TestClientOverrides(props) {
+  const overrides = Experimental_ComponentOverridesConfig().forTypeKind("Model", {
+    reference: props => {
+      if (props.type.name === "Foo") {
+        return "Bar";
+      } else {
+        return props.default;
+      }
+    }
+  });
+  return _$createComponent(Experimental_ComponentOverrides, {
+    overrides: overrides,
+    get children() {
+      return props.children;
+    }
+  });
+}
 it("can override class name", async () => {
   const {
     TestModel

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

@@ -1 +1 @@
-{"version":3,"file":"type-expression.d.ts","sourceRoot":"","sources":["../../../../src/csharp/components/type-expression.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAQ,MAAM,gBAAgB,CAAC;AAErD,OAAO,EAAe,KAAK,aAAa,EAAE,KAAK,MAAM,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAK1D,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,QAAQ,CAgBnE;AAED,QAAA,MAAM,yBAAyB,4BAqC7B,CAAC;AAEH,wBAAgB,4BAA4B,CAC1C,CAAC,EAAE,OAAO,EACV,IAAI,EAAE,MAAM,GAAG,aAAa,GAC3B,MAAM,GAAG,IAAI,CAoBf;AA0BD,OAAO,EAAE,yBAAyB,EAAE,CAAC"}
+{"version":3,"file":"type-expression.d.ts","sourceRoot":"","sources":["../../../../src/csharp/components/type-expression.tsx"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAErD,OAAO,EAIL,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,IAAI,EAEV,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAK1D,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,QAAQ,CAmCnE;AAwBD,QAAA,MAAM,yBAAyB,4BAqC7B,CAAC;AAEH,wBAAgB,4BAA4B,CAC1C,CAAC,EAAE,OAAO,EACV,IAAI,EAAE,MAAM,GAAG,aAAa,GAC3B,MAAM,GAAG,IAAI,CAoBf;AAyBD,OAAO,EAAE,yBAAyB,EAAE,CAAC"}

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

@@ -1,18 +1,35 @@
 import { createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
+import { Experimental_OverridableComponent } from "#core/index.js";
 import { code } from "@alloy-js/core";
 import { Reference } from "@alloy-js/csharp";
-import { getTypeName } from "@typespec/compiler";
+import { getTypeName, isNullType, isVoidType } from "@typespec/compiler";
 import { useTsp } from "../../core/index.js";
 import { reportTypescriptDiagnostic } from "../../typescript/lib.js";
 import { efRefkey } from "./utils/refkey.js";
 export function TypeExpression(props) {
+  if (props.type.kind === "Union") {
+    const nullabletype = getNullableUnionInnerType(props.type);
+    if (nullabletype) {
+      return code`${_$createComponent(TypeExpression, {
+        type: nullabletype
+      })}?`;
+    }
+  }
   const {
     $
   } = useTsp();
   if (isDeclaration($, props.type)) {
-    return _$createComponent(Reference, {
-      get refkey() {
-        return efRefkey(props.type);
+    return _$createComponent(Experimental_OverridableComponent, {
+      reference: true,
+      get type() {
+        return props.type;
+      },
+      get children() {
+        return _$createComponent(Reference, {
+          get refkey() {
+            return efRefkey(props.type);
+          }
+        });
       }
     });
   }
@@ -30,9 +47,41 @@ export function TypeExpression(props) {
         return props.type.indexer.value;
       }
     })}>`;
+  } else if ($.literal.isString(props.type)) {
+    // c# doesn't have literal types, so we map them to their corresponding C# types in general
+    return code`string`;
+  } else if ($.literal.isNumeric(props.type)) {
+    return Number.isInteger(props.type.value) ? code`int` : code`double`;
+  } else if ($.literal.isBoolean(props.type)) {
+    return code`bool`;
+  } else if (isVoidType(props.type)) {
+    return code`void`;
   }
   throw new Error(`Unsupported type for TypeExpression: ${props.type.kind} (${getTypeName(props.type)})`);
 }
+
+/** Get the inner type if the union is a nullable, otherwise return undefined */
+function getNullableUnionInnerType(u) {
+  const isNull = type => isNullType(type) || isVoidType(type);
+  if (Array.from(u.variants.values()).some(v => isNull(v.type))) {
+    const {
+      $
+    } = useTsp();
+    const left = Array.from(u.variants.values()).filter(v => !isNull(v.type));
+    if (left.length === 0) {
+      // a union only has null or void?
+      return $.intrinsic.void;
+    } else if (left.length === 1) {
+      return left[0].type;
+    } else {
+      return $.union.create({
+        name: u.name,
+        variants: left
+      });
+    }
+  }
+  return undefined;
+}
 const intrinsicNameToCSharpType = new Map([
 // Core types
 ["unknown", "object"],
@@ -133,7 +182,7 @@ function isDeclaration($, type) {
       if ($.array.is(type) || $.record.is(type)) {
         return false;
       }
-      return Boolean(type.name);
+      return true;
     case "Union":
       return Boolean(type.name);
     default:

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

@@ -125,4 +125,64 @@ describe("Record map to IDictionary", () => {
           }
         `);
   });
+});
+describe("Nullable union", () => {
+  it("nullable boolean", async () => {
+    const {
+      Pet
+    } = await runner.compile(`
+      @test model Pet {
+        @test name: boolean | null;
+      }
+    `);
+    const res = render(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(ClassDeclaration, {
+          type: Pet
+        });
+      }
+    }));
+    assertFileContents(res, d`
+          namespace TestNamespace
+          {
+              class Pet
+              {
+                  public required bool? name { get; set; }
+              }
+          }
+        `);
+  });
+});
+describe("Literal types", () => {
+  it("literal types (string, int, double, bool)", async () => {
+    const {
+      Pet
+    } = await runner.compile(`
+      @test model Pet {
+        @test boolName: true;
+        @test intName: 42;
+        @test doubleName: 3.14;
+        @test stringName: "Hello";
+      }
+    `);
+    const res = render(_$createComponent(Wrapper, {
+      get children() {
+        return _$createComponent(ClassDeclaration, {
+          type: Pet
+        });
+      }
+    }));
+    assertFileContents(res, d`
+          namespace TestNamespace
+          {
+              class Pet
+              {
+                  public required bool boolName { get; set; }
+                  public required int intName { get; set; }
+                  public required double doubleName { get; set; }
+                  public required string stringName { get; set; }
+              }
+          }
+        `);
+  });
 });

package/dist/src/testing/scenario-test/harness.js

@@ -133,7 +133,12 @@ function describeScenarios(scenarioFiles, tester, languageConfiguration, snippet
             it(`Test: ${testBlock.heading}`, async () => {
               const result = getExcerptForQuery(snippetExtractor, testBlock.expectation, outputFiles);
               if (SCENARIOS_UPDATE) {
-                testBlock.content = await languageConfiguration.format(result);
+                try {
+                  testBlock.content = await languageConfiguration.format(result);
+                } catch {
+                  // If formatting fails, we still want to update the content
+                  testBlock.content = result;
+                }
               } else {
                 const expected = await languageConfiguration.format(testBlock.content);
                 const actual = await languageConfiguration.format(result);

package/dist/src/typescript/components/interface-member.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"interface-member.d.ts","sourceRoot":"","sources":["../../../../src/typescript/components/interface-member.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAe,KAAK,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAMrF,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;IAChC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACf,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,YA8B1D"}
+{"version":3,"file":"interface-member.d.ts","sourceRoot":"","sources":["../../../../src/typescript/components/interface-member.tsx"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAe,KAAK,aAAa,EAAE,KAAK,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAKrF,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;IAChC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACf,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,YAyB1D"}

package/dist/src/typescript/components/interface-member.js

@@ -1,7 +1,6 @@
-import { memo as _$memo, createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
+import { createComponent as _$createComponent } from "@alloy-js/core/jsx-runtime";
 import * as ts from "@alloy-js/typescript";
 import { isNeverType } from "@typespec/compiler";
-import { getHttpPart } from "@typespec/http";
 import { useTsp } from "../../core/context/tsp-context.js";
 import { InterfaceMethod } from "./interface-method.js";
 import { TypeExpression } from "./type-expression.js";
@@ -16,23 +15,16 @@ export function InterfaceMember(props) {
     if (isNeverType(props.type.type)) {
       return null;
     }
-    let unpackedType = props.type.type;
-    const part = getHttpPart($.program, props.type.type);
-    if (part) {
-      unpackedType = part.type;
-    }
-    return _$createComponent(ts.InterfaceMember, {
-      doc: doc,
-      name: name,
-      get optional() {
-        return props.optional ?? props.type.optional;
-      },
-      get type() {
-        return _$createComponent(TypeExpression, {
-          type: unpackedType
-        });
-      }
-    });
+    const unpackedType = props.type.type;
+    const interfaceMemberProps = {
+      doc,
+      name,
+      optional: props.optional ?? props.type.optional,
+      type: _$createComponent(TypeExpression, {
+        type: unpackedType
+      })
+    };
+    return _$createComponent(ts.InterfaceMember, interfaceMemberProps);
   }
   if ($.operation.is(props.type)) {
     return _$createComponent(InterfaceMethod, {

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

@@ -1,5 +1,4 @@
 import type { Type } from "@typespec/compiler";
-import "@typespec/http/experimental/typekit";
 export interface TypeExpressionProps {
     type: Type;
     /**

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

@@ -1 +1 @@
-{"version":3,"file":"type-expression.d.ts","sourceRoot":"","sources":["../../../../src/typescript/components/type-expression.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAgC,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE7E,OAAO,qCAAqC,CAAC;AAU7C,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,IAAI,CAAC;IAEX;;;;OAIG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,qCA0DxD"}
+{"version":3,"file":"type-expression.d.ts","sourceRoot":"","sources":["../../../../src/typescript/components/type-expression.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAgC,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAY7E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,IAAI,CAAC;IAEX;;;;OAIG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,qCAyDxD"}

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

@@ -1,7 +1,7 @@
 import { createComponent as _$createComponent, memo as _$memo } from "@alloy-js/core/jsx-runtime";
 import { For } from "@alloy-js/core";
 import { Reference, ValueExpression } from "@alloy-js/typescript";
-import "@typespec/http/experimental/typekit";
+import { Experimental_OverridableComponent } from "../../core/components/overrides/component-overrides.js";
 import { useTsp } from "../../core/context/tsp-context.js";
 import { reportTypescriptDiagnostic } from "../../typescript/lib.js";
 import { efRefkey } from "../utils/refkey.js";
@@ -14,13 +14,19 @@ export function TypeExpression(props) {
   const {
     $
   } = useTsp();
-  const type = $.httpPart.unpack(props.type);
+  const type = props.type;
   if (!props.noReference && isDeclaration($, type)) {
     // todo: probably need abstraction around deciding what's a declaration in the output
     // (it may not correspond to things which are declarations in TypeSpec?)
-    return _$createComponent(Reference, {
-      get refkey() {
-        return efRefkey(type);
+    return _$createComponent(Experimental_OverridableComponent, {
+      reference: true,
+      type: type,
+      get children() {
+        return _$createComponent(Reference, {
+          get refkey() {
+            return efRefkey(type);
+          }
+        });
       }
     });
     //throw new Error("Reference not implemented");
@@ -79,12 +85,6 @@ export function TypeExpression(props) {
           elementType: elementType
         });
       }
-      if ($.httpPart.is(type)) {
-        const partType = $.httpPart.unpack(type);
-        return _$createComponent(TypeExpression, {
-          type: partType
-        });
-      }
       return _$createComponent(InterfaceExpression, {
         type: type
       });