typespec-typescript-emitter 1.2.0 → 2.0.1

package/dist/src/resolve/Resolvable.js

@@ -0,0 +1,180 @@
+import { AppendableString } from "../helpers/appendableString.js";
+import { compareArrays } from "../helpers/arrays.js";
+import { reportDiagnostic } from "../helpers/diagnostics.js";
+import { namespaceListFromNamespace } from "../helpers/namespaces.js";
+import { Resolver, } from "./Resolvable_helpers.js";
+export class Resolvable {
+    /** Recursively resolves a type. */
+    static async resolve(r, t, opts) {
+        const ret = {
+            resolved: new AppendableString(),
+            visibilityMap: "",
+            hasVisibility: false,
+            imports: [],
+        };
+        await (await Resolvable.for(r, t)).resolve(opts, ret);
+        return ret;
+    }
+    /**
+     * To be called from within the resolution logic of a type:
+     * Resolves another type for the current type, handling required changes to the resolution options.
+     * The passed `out` object is not signifiantly changed, only the `hasVisibility` flag is managed.
+     */
+    async resolveNested(t, opts, out, nest = true) {
+        // prepare nested resolution
+        if (nest)
+            opts.nestlevel++;
+        if (!opts.parents)
+            opts.parents = [];
+        opts.parents.push(this._t);
+        const ret = await Resolvable.resolve(this._r, t, opts);
+        // revert to current level
+        if (nest)
+            opts.nestlevel--;
+        opts.parents.pop();
+        return ret;
+    }
+    /** Creates the appropriate Resolvable instance for a given type. */
+    static async for(r, t) {
+        // use lazy imports to break circular dependencies
+        const { ResolvableSimple } = await import("./types/Simple.js");
+        if (ResolvableSimple.AllowedTypeKinds.includes(t.kind)) {
+            return new ResolvableSimple(t, r);
+        }
+        switch (t.kind) {
+            case "Enum": {
+                const { ResolvableEnum } = await import("./types/Enum.js");
+                return new ResolvableEnum(t, r);
+            }
+            case "EnumMember": {
+                const { ResolvableEnumMember } = await import("./types/Enum.js");
+                return new ResolvableEnumMember(t, r);
+            }
+            case "Model": {
+                const { IndexedModel } = await import("./types/Model.Indexed.js");
+                const { ShapedModel } = await import("./types/Model.Shaped.js");
+                switch (t.name) {
+                    case "Array":
+                    case "Record":
+                        return new IndexedModel(t, r);
+                    default:
+                        return new ShapedModel(t, r);
+                }
+            }
+            case "Scalar": {
+                const { ResolvableScalar } = await import("./types/Scalar.js");
+                return new ResolvableScalar(t, r);
+            }
+            case "Tuple": {
+                const { ResolvableTuple } = await import("./types/Tuple.js");
+                return new ResolvableTuple(t, r);
+            }
+            case "Union": {
+                const { ResolvableUnion } = await import("./types/Union.js");
+                return new ResolvableUnion(t, r);
+            }
+            default:
+                reportDiagnostic({
+                    code: "resolve-unresolved",
+                    message: `Could not resolve type ${t.kind}`,
+                    severity: "error",
+                });
+                throw new TypeError(`Could not resolve type ${t.kind}`);
+        }
+    }
+    constructor(t, r) {
+        this._t = t;
+        this._r = r;
+    }
+    _t;
+    _r;
+    /** Resolves the type, modifying an output object in place. */
+    async resolve(opts, out) {
+        this.validate();
+        const ownVisibility = await this.hasVisibility(opts, out);
+        if (ownVisibility)
+            out.hasVisibility = true;
+        // check for known resolved type
+        if (opts.rootTypeReady && this._t.name) {
+            // type without name can't be resolved
+            const currentNamespaces = namespaceListFromNamespace(this._t.namespace);
+            // find known resolved type
+            const foundKnownResolved = (() => {
+                const currentNamespaces = namespaceListFromNamespace(this._t.namespace);
+                if (currentNamespaces && currentNamespaces.length > 0) {
+                    const found = opts.typemap.find((mt) => mt.type.kind === this._t.kind &&
+                        mt.type.name === this._t.name &&
+                        compareArrays(mt.namespaces, currentNamespaces));
+                    return found ?? null;
+                }
+                return null;
+            })();
+            // if found, return name instead of full resolution
+            if (foundKnownResolved) {
+                if (opts.rootType &&
+                    compareArrays(currentNamespaces, opts.rootType.namespaces)) {
+                    // if namespace of found is same as current (= same file), just return name
+                    out.resolved.append(this._r === Resolver.Type
+                        ? foundKnownResolved.type.name
+                        : this._t.kind === "Enum"
+                            ? "true" // enums don't have typeguards
+                            : `is${foundKnownResolved.type.name}(${opts.accessor}${ownVisibility ? ", vis" : ""})`);
+                }
+                else {
+                    // found is in different file than current, prepare importing
+                    out.resolved.append(`${foundKnownResolved.namespaces.join("_")}.${this._r === Resolver.Type
+                        ? foundKnownResolved.type.name
+                        : this._t.kind === "Enum"
+                            ? "true" // enums don't have typeguards
+                            : `is${foundKnownResolved.type.name}(${opts.accessor}${ownVisibility ? ", vis" : ""})`}`);
+                    out.imports.push(foundKnownResolved.namespaces);
+                }
+                // optionally allow found type to modify output
+                if (this.transformKnownType !== undefined)
+                    this.transformKnownType(opts, out);
+                return;
+            }
+        }
+        // this prevents the root type from triggering known resolution
+        opts.rootTypeReady = true;
+        switch (this._r) {
+            case Resolver.Type:
+                return await this.type(opts, out);
+            case Resolver.Typeguard:
+                return await this.typeguard(opts, out);
+        }
+    }
+    transformKnownType(
+    // eslint-disable-next-line @typescript-eslint/no-unused-vars
+    opts, 
+    // eslint-disable-next-line @typescript-eslint/no-unused-vars
+    out) { }
+    /** Returns true if this type or anything it contains or references has visibility modifiers. */
+    async hasVisibility(opts, out) {
+        return out.hasVisibility;
+    }
+    /** Returns true if this type or anything it contains or references has visibility modifiers. */
+    static async hasVisibility(t, opts, out, current) {
+        if (!opts.parents)
+            opts.parents = [];
+        opts.parents.push(current);
+        const ret = await (await Resolvable.for(Resolver.Type /** doesn't matter */, t)).hasVisibility(opts, out);
+        opts.parents.pop();
+        return ret;
+    }
+    /** Checks its stored type to ensure the instance was created on a suitable type. */
+    validate() {
+        if (this._t.kind !== this.expectedTypeKind) {
+            this.diagnostic("typeclass-mismatch", `Tried creating resolver for ${this.expectedTypeKind} on type ${this._t.kind}`, "error");
+            throw new TypeError(`Type-kind/class mismatch: instanced ${this.expectedTypeKind} on type ${this._t.kind}`);
+        }
+    }
+    diagnostic(code, msg, level) {
+        reportDiagnostic({
+            code: `resolve-${this._r}-${code}`,
+            message: msg,
+            severity: level,
+        });
+    }
+}
+//# sourceMappingURL=Resolvable.js.map

package/dist/src/resolve/Resolvable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Resolvable.js","sourceRoot":"","sources":["../../../src/resolve/Resolvable.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EACL,QAAQ,GAGT,MAAM,yBAAyB,CAAC;AAEjC,MAAM,OAAgB,UAAU;IAC9B,mCAAmC;IACnC,MAAM,CAAC,KAAK,CAAC,OAAO,CAClB,CAAI,EACJ,CAAO,EACP,IAAwB;QAExB,MAAM,GAAG,GAAsB;YAC7B,QAAQ,EAAE,IAAI,gBAAgB,EAAE;YAChC,aAAa,EAAE,EAAE;YACjB,aAAa,EAAE,KAAK;YACpB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACtD,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;OAIG;IACO,KAAK,CAAC,aAAa,CAC3B,CAAO,EACP,IAAwB,EACxB,GAAsB,EACtB,OAAgB,IAAI;QAEpB,4BAA4B;QAC5B,IAAI,IAAI;YAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAE3B,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAEvD,0BAA0B;QAC1B,IAAI,IAAI;YAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QAEnB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAiB,CAAW,EAAE,CAAI;QAChD,kDAAkD;QAClD,MAAM,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;QAC/D,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAW,CAAC,EAAE,CAAC;YAC9D,OAAO,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;QAC3C,CAAC;QACD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;gBAC3D,OAAO,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;YACzC,CAAC;YACD,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,EAAE,oBAAoB,EAAE,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;gBACjE,OAAO,IAAI,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;YAC/C,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;gBAClE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;gBAChE,QAAS,CAAW,CAAC,IAAI,EAAE,CAAC;oBAC1B,KAAK,OAAO,CAAC;oBACb,KAAK,QAAQ;wBACX,OAAO,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;oBAEvC;wBACE,OAAO,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;gBACxC,CAAC;YACH,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;gBAC/D,OAAO,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;YAC3C,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAC7D,OAAO,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;YAC1C,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAC7D,OAAO,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAQ,CAAC;YAC1C,CAAC;YAED;gBACE,gBAAgB,CAAC;oBACf,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,0BAA0B,CAAC,CAAC,IAAI,EAAE;oBAC3C,QAAQ,EAAE,OAAO;iBAClB,CAAC,CAAC;gBACH,MAAM,IAAI,SAAS,CAAC,0BAA0B,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,YAAY,CAAI,EAAE,CAAW;QAC3B,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACZ,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACd,CAAC;IAIS,EAAE,CAAI;IACN,EAAE,CAAW;IAavB,8DAA8D;IACvD,KAAK,CAAC,OAAO,CAClB,IAA+B,EAC/B,GAA6B;QAE7B,IAAI,CAAC,QAAQ,EAAE,CAAC;QAEhB,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1D,IAAI,aAAa;YAAE,GAAG,CAAC,aAAa,GAAG,IAAI,CAAC;QAE5C,gCAAgC;QAChC,IAAI,IAAI,CAAC,aAAa,IAAK,IAAI,CAAC,EAAU,CAAC,IAAI,EAAE,CAAC;YAChD,sCAAsC;YACtC,MAAM,iBAAiB,GAAG,0BAA0B,CACjD,IAAI,CAAC,EAAU,CAAC,SAAS,CAC3B,CAAC;YACF,2BAA2B;YAC3B,MAAM,kBAAkB,GAAG,CAAC,GAA4B,EAAE;gBACxD,MAAM,iBAAiB,GAAG,0BAA0B,CACjD,IAAI,CAAC,EAAU,CAAC,SAAS,CAC3B,CAAC;gBACF,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC7B,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI;wBAC7B,EAAE,CAAC,IAAI,CAAC,IAAI,KAAM,IAAI,CAAC,EAAU,CAAC,IAAI;wBACtC,aAAa,CAAC,EAAE,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAClD,CAAC;oBACF,OAAO,KAAK,IAAI,IAAI,CAAC;gBACvB,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,EAAE,CAAC;YAEL,mDAAmD;YACnD,IAAI,kBAAkB,EAAE,CAAC;gBACvB,IACE,IAAI,CAAC,QAAQ;oBACb,aAAa,CAAC,iBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC3D,CAAC;oBACD,2EAA2E;oBAC3E,GAAG,CAAC,QAAQ,CAAC,MAAM,CACjB,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI;wBACvB,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI;wBAC9B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;4BACvB,CAAC,CAAC,MAAM,CAAC,8BAA8B;4BACvC,CAAC,CAAC,KAAK,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAK,IAA4C,CAAC,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CACpI,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,GAAG,CAAC,QAAQ,CAAC,MAAM,CACjB,GAAG,kBAAkB,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IACxC,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI;wBACvB,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI;wBAC9B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;4BACvB,CAAC,CAAC,MAAM,CAAC,8BAA8B;4BACvC,CAAC,CAAC,KAAK,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAK,IAA4C,CAAC,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAClI,EAAE,CACH,CAAC;oBACF,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;gBAClD,CAAC;gBAED,+CAA+C;gBAC/C,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS;oBACvC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrC,OAAO;YACT,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QAE1B,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,KAAK,QAAQ,CAAC,IAAI;gBAChB,OAAO,MAAM,IAAI,CAAC,IAAI,CACpB,IAAsC,EACtC,GAAoC,CACrC,CAAC;YACJ,KAAK,QAAQ,CAAC,SAAS;gBACrB,OAAO,MAAM,IAAI,CAAC,SAAS,CACzB,IAA2C,EAC3C,GAAyC,CAC1C,CAAC;QACN,CAAC;IACH,CAAC;IAES,kBAAkB;IAC1B,6DAA6D;IAC7D,IAA+B;IAC/B,6DAA6D;IAC7D,GAA6B,IACtB,CAAC;IAEV,gGAAgG;IACzF,KAAK,CAAC,aAAa,CACxB,IAA+B,EAC/B,GAA6B;QAE7B,OAAO,GAAG,CAAC,aAAa,CAAC;IAC3B,CAAC;IACD,gGAAgG;IACtF,MAAM,CAAC,KAAK,CAAC,aAAa,CAClC,CAAO,EACP,IAA+B,EAC/B,GAA6B,EAC7B,OAAa;QAEb,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,MAAM,CAChB,MAAM,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAC7D,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,oFAAoF;IAC1E,QAAQ;QAChB,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3C,IAAI,CAAC,UAAU,CACb,oBAAoB,EACpB,+BAA+B,IAAI,CAAC,gBAAgB,YAAY,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAC9E,OAAO,CACR,CAAC;YACF,MAAM,IAAI,SAAS,CACjB,uCAAuC,IAAI,CAAC,gBAAgB,YAAY,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IAES,UAAU,CAClB,IAAY,EACZ,GAAW,EACX,KAA0B;QAE1B,gBAAgB,CAAC;YACf,IAAI,EAAE,WAAW,IAAI,CAAC,EAAE,IAAI,IAAI,EAAE;YAClC,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/src/resolve/Resolvable_helpers.d.ts

@@ -0,0 +1,42 @@
+import { Program, Type } from "@typespec/compiler";
+import { AppendableString } from "../helpers/appendableString.js";
+import { TTypeMap } from "../helpers/buildTypeMap.js";
+import { EmitterOptions } from "../lib.js";
+export declare enum Resolver {
+    Type = 0,
+    Typeguard = 1
+}
+export type ResolverOptions<R extends Resolver> = {
+    program: Program;
+    options: EmitterOptions;
+    typemap: TTypeMap;
+    nestlevel: number;
+    /** The type the entire resolution chain started with. */
+    rootType: TTypeMap[number] | null;
+    /**
+     * This tracks whether or not resolving *to* the type currently being investigated
+     * is valid. This allows for recursive types.
+     */
+    rootTypeReady?: boolean;
+    /** The types "up the chain" - "parent" types on nested resolution. */
+    parents?: Type[];
+} & (R extends Resolver.Type ? {
+    emitDocs: boolean;
+} : {
+    /**
+     * This string describes how a function (part) of a typeguard can
+     * access the value currently being tested by it.
+     * Example: typeguard(t: any) on `n` for {n: string} -> this = "t"
+     */
+    accessor: string;
+});
+/** Tries to find type in known types map */
+export declare const getKnownResolvedType: (typemap: TTypeMap, t: any) => TTypeMap[number] | null;
+export type ResolverResult<R extends Resolver> = {
+    readonly resolved: AppendableString;
+    visibilityMap: string;
+    imports: TTypeMap[number]["namespaces"][];
+    /** Whether any resolved part (nested types and base types included) have @visibility modifiers */
+    hasVisibility: boolean;
+    doc?: R extends Resolver.Type ? string : never;
+};

package/dist/src/resolve/Resolvable_helpers.js

@@ -0,0 +1,19 @@
+import { compareArrays } from "../helpers/arrays.js";
+import { namespaceListFromNamespace } from "../helpers/namespaces.js";
+export var Resolver;
+(function (Resolver) {
+    Resolver[Resolver["Type"] = 0] = "Type";
+    Resolver[Resolver["Typeguard"] = 1] = "Typeguard";
+})(Resolver || (Resolver = {}));
+/** Tries to find type in known types map */
+export const getKnownResolvedType = (typemap, t) => {
+    const currentNamespaces = namespaceListFromNamespace(t.namespace);
+    if (currentNamespaces && currentNamespaces.length > 0) {
+        const found = typemap.find((mt) => mt.type.kind === t.kind &&
+            mt.type.name === t.name &&
+            compareArrays(mt.namespaces, currentNamespaces));
+        return found ?? null;
+    }
+    return null;
+};
+//# sourceMappingURL=Resolvable_helpers.js.map

package/dist/src/resolve/Resolvable_helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Resolvable_helpers.js","sourceRoot":"","sources":["../../../src/resolve/Resolvable_helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAGtE,MAAM,CAAN,IAAY,QAGX;AAHD,WAAY,QAAQ;IAClB,uCAAI,CAAA;IACJ,iDAAS,CAAA;AACX,CAAC,EAHW,QAAQ,KAAR,QAAQ,QAGnB;AA6BD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAiB,EACjB,CAAM,EACmB,EAAE;IAC3B,MAAM,iBAAiB,GAAG,0BAA0B,CAAE,CAAS,CAAC,SAAS,CAAC,CAAC;IAC3E,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CACxB,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YACvB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAM,CAAS,CAAC,IAAI;YAChC,aAAa,CAAC,EAAE,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAClD,CAAC;QACF,OAAO,KAAK,IAAI,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/src/resolve/operationTypemap.d.ts

@@ -0,0 +1,21 @@
+import { Operation, Program } from "@typespec/compiler";
+import { TTypeMap } from "../helpers/buildTypeMap.js";
+import { EmitterOptions } from "../lib.js";
+/** Maps a route path to its typemap definition and required imports */
+export type TOperationTypemap = {
+    request: {
+        content: string;
+        hasVisibility: boolean;
+    };
+    response: {
+        content: Array<{
+            status: number | "unknown";
+            body: string;
+            hasVisibility: boolean;
+        }>;
+    };
+};
+export declare const resolveOperationTypemap: (program: Program, options: EmitterOptions, typemap: TTypeMap, op: Operation) => Promise<{
+    types: TOperationTypemap;
+    imports: TTypeMap[number]["namespaces"][];
+}>;

package/dist/src/resolve/operationTypemap.js

@@ -0,0 +1,138 @@
+import { getHttpOperation } from "@typespec/http";
+import { Resolvable } from "./Resolvable.js";
+import { Resolver } from "./Resolvable_helpers.js";
+export const resolveOperationTypemap = async (program, options, typemap, op) => {
+    const httpOp = getHttpOperation(program, op)[0];
+    const ret = {
+        types: {
+            request: { content: "null", hasVisibility: false },
+            response: { content: [] },
+        },
+        imports: [],
+    };
+    // request
+    if (httpOp.parameters.body) {
+        const resolved = await Resolvable.resolve(Resolver.Type, httpOp.parameters.body.type, {
+            program,
+            options,
+            emitDocs: false,
+            nestlevel: 3,
+            rootType: null,
+            typemap,
+            rootTypeReady: true,
+        });
+        ret.imports.push(...resolved.imports);
+        ret.types.request.content = replaceLifecycle(resolved.resolved.value, httpOp.verb.toUpperCase(), resolved.hasVisibility);
+        if (resolved.hasVisibility)
+            ret.types.request.hasVisibility = true;
+    }
+    // response
+    if (op.returnType) {
+        const getReturnType = async (t) => {
+            const responseRet = { content: [] };
+            switch (t.kind) {
+                case "Model": {
+                    // If the return type is a model, it may either be a "blank" body or a fully
+                    // qualified response with status and body.
+                    const modelret = {
+                        status: 200,
+                        body: "{}",
+                        hasVisibility: false,
+                    };
+                    // check for fully qualified response or plain body
+                    let wasFullyQualified = false;
+                    for (const prop of t.properties) {
+                        for (const decorator of prop[1].decorators) {
+                            // find status code
+                            if (decorator.definition?.name === "@statusCode" &&
+                                prop[1].type.kind === "Number")
+                                modelret.status = prop[1].type.value;
+                            // find body definiton
+                            if (decorator.definition?.name === "@body") {
+                                const resolved = await Resolvable.resolve(Resolver.Type, prop[1].type, {
+                                    program,
+                                    options,
+                                    emitDocs: false,
+                                    nestlevel: 3,
+                                    rootType: null,
+                                    typemap,
+                                    rootTypeReady: true,
+                                });
+                                if (resolved.hasVisibility)
+                                    modelret.hasVisibility = true;
+                                ret.imports.push(...resolved.imports);
+                                modelret.body = replaceLifecycle(resolved.resolved.value, "RETURN", resolved.hasVisibility);
+                                wasFullyQualified = true;
+                            }
+                        }
+                    }
+                    if (!wasFullyQualified) {
+                        const resolved = await Resolvable.resolve(Resolver.Type, t, {
+                            program,
+                            options,
+                            emitDocs: false,
+                            nestlevel: 3,
+                            rootType: null,
+                            typemap,
+                            rootTypeReady: true,
+                        });
+                        if (resolved.hasVisibility)
+                            modelret.hasVisibility = true;
+                        ret.imports.push(...resolved.imports);
+                        modelret.body = replaceLifecycle(resolved.resolved.value, "RETURN", resolved.hasVisibility);
+                    }
+                    responseRet.content.push(modelret);
+                    break;
+                }
+                case "Union": {
+                    // if return type is a union, each variant may be fully qualified or body-only
+                    for (const variant of t.variants) {
+                        const resolved = await getReturnType(variant[1].type);
+                        responseRet.content.push(...resolved.content);
+                    }
+                    break;
+                }
+                default: {
+                    // return type does not have a qualified body; making one up and resolving that one
+                    const resolved = await Resolvable.resolve(Resolver.Type, t, {
+                        program,
+                        options,
+                        emitDocs: false,
+                        nestlevel: 3,
+                        rootType: null,
+                        typemap,
+                        rootTypeReady: true,
+                    });
+                    ret.imports.push(...resolved.imports);
+                    responseRet.content.push({
+                        status: 200,
+                        body: replaceLifecycle(resolved.resolved.value, httpOp.verb.toUpperCase(), resolved.hasVisibility),
+                        hasVisibility: resolved.hasVisibility,
+                    });
+                    break;
+                }
+            }
+            return responseRet;
+        };
+        ret.types.response = await getReturnType(op.returnType);
+    }
+    return ret;
+};
+/** Maps HTTP verbs to lifecycle states. See @typespec/compiler/.../visibility.tsp */
+const VerbToLifecycle = {
+    RETURN: ["Read"], // for all return types
+    POST: ["Create"],
+    PUT: ["Create", "Update"],
+    PATCH: ["Update"],
+    DELETE: ["Delete"],
+    GET: ["Query"], // *parameters* of request, return type is still RETURN
+    Head: ["Query"],
+};
+// lifecycle assignment helper
+const replaceLifecycle = (resolved, verb, hasVisibility) => {
+    const opLifecycle = VerbToLifecycle[verb];
+    if (!hasVisibility)
+        return resolved;
+    return resolved.replaceAll("V>", `V extends Lifecycle.All ? (${opLifecycle.map((l) => `Lifecycle.${l}`).join(" | ")}) : V>`);
+};
+//# sourceMappingURL=operationTypemap.js.map

package/dist/src/resolve/operationTypemap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operationTypemap.js","sourceRoot":"","sources":["../../../src/resolve/operationTypemap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGlD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAenD,MAAM,CAAC,MAAM,uBAAuB,GAAG,KAAK,EAC1C,OAAgB,EAChB,OAAuB,EACvB,OAAiB,EACjB,EAAa,EAIZ,EAAE;IACH,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,GAAG,GAAwD;QAC/D,KAAK,EAAE;YACL,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE;YAClD,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC1B;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;IAEF,UAAU;IACV,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,OAAO,CACvC,QAAQ,CAAC,IAAI,EACb,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAC3B;YACE,OAAO;YACP,OAAO;YACP,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,CAAC;YACZ,QAAQ,EAAE,IAAI;YACd,OAAO;YACP,aAAa,EAAE,IAAI;SACpB,CACF,CAAC;QACF,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,GAAG,gBAAgB,CAC1C,QAAQ,CAAC,QAAQ,CAAC,KAAK,EACvB,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EACzB,QAAQ,CAAC,aAAa,CACvB,CAAC;QACF,IAAI,QAAQ,CAAC,aAAa;YAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IACrE,CAAC;IAED,WAAW;IACX,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,aAAa,GAAG,KAAK,EACzB,CAAO,EAON,EAAE;YACH,MAAM,WAAW,GAAkC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YAEnE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,4EAA4E;oBAC5E,2CAA2C;oBAC3C,MAAM,QAAQ,GAAqD;wBACjE,MAAM,EAAE,GAAG;wBACX,IAAI,EAAE,IAAI;wBACV,aAAa,EAAE,KAAK;qBACrB,CAAC;oBAEF,mDAAmD;oBACnD,IAAI,iBAAiB,GAAG,KAAK,CAAC;oBAC9B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBAChC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;4BAC3C,mBAAmB;4BACnB,IACE,SAAS,CAAC,UAAU,EAAE,IAAI,KAAK,aAAa;gCAC5C,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gCAE9B,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;4BACvC,sBAAsB;4BACtB,IAAI,SAAS,CAAC,UAAU,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gCAC3C,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,OAAO,CACvC,QAAQ,CAAC,IAAI,EACb,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EACZ;oCACE,OAAO;oCACP,OAAO;oCACP,QAAQ,EAAE,KAAK;oCACf,SAAS,EAAE,CAAC;oCACZ,QAAQ,EAAE,IAAI;oCACd,OAAO;oCACP,aAAa,EAAE,IAAI;iCACpB,CACF,CAAC;gCACF,IAAI,QAAQ,CAAC,aAAa;oCAAE,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC;gCAC1D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;gCACtC,QAAQ,CAAC,IAAI,GAAG,gBAAgB,CAC9B,QAAQ,CAAC,QAAQ,CAAC,KAAK,EACvB,QAAQ,EACR,QAAQ,CAAC,aAAa,CACvB,CAAC;gCACF,iBAAiB,GAAG,IAAI,CAAC;4BAC3B,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,iBAAiB,EAAE,CAAC;wBACvB,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE;4BAC1D,OAAO;4BACP,OAAO;4BACP,QAAQ,EAAE,KAAK;4BACf,SAAS,EAAE,CAAC;4BACZ,QAAQ,EAAE,IAAI;4BACd,OAAO;4BACP,aAAa,EAAE,IAAI;yBACpB,CAAC,CAAC;wBACH,IAAI,QAAQ,CAAC,aAAa;4BAAE,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC;wBAC1D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;wBACtC,QAAQ,CAAC,IAAI,GAAG,gBAAgB,CAC9B,QAAQ,CAAC,QAAQ,CAAC,KAAK,EACvB,QAAQ,EACR,QAAQ,CAAC,aAAa,CACvB,CAAC;oBACJ,CAAC;oBAED,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAEnC,MAAM;gBACR,CAAC;gBAED,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,8EAA8E;oBAC9E,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;wBACjC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACtD,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;oBAChD,CAAC;oBACD,MAAM;gBACR,CAAC;gBAED,OAAO,CAAC,CAAC,CAAC;oBACR,mFAAmF;oBACnF,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE;wBAC1D,OAAO;wBACP,OAAO;wBACP,QAAQ,EAAE,KAAK;wBACf,SAAS,EAAE,CAAC;wBACZ,QAAQ,EAAE,IAAI;wBACd,OAAO;wBACP,aAAa,EAAE,IAAI;qBACpB,CAAC,CAAC;oBACH,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;oBACtC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC;wBACvB,MAAM,EAAE,GAAG;wBACX,IAAI,EAAE,gBAAgB,CACpB,QAAQ,CAAC,QAAQ,CAAC,KAAK,EACvB,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EACzB,QAAQ,CAAC,aAAa,CACvB;wBACD,aAAa,EAAE,QAAQ,CAAC,aAAa;qBACtC,CAAC,CAAC;oBACH,MAAM;gBACR,CAAC;YACH,CAAC;YAED,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QACF,GAAG,CAAC,KAAK,CAAC,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,qFAAqF;AACrF,MAAM,eAAe,GAAG;IACtB,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,uBAAuB;IACzC,IAAI,EAAE,CAAC,QAAQ,CAAC;IAChB,GAAG,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACzB,KAAK,EAAE,CAAC,QAAQ,CAAC;IACjB,MAAM,EAAE,CAAC,QAAQ,CAAC;IAClB,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,uDAAuD;IACvE,IAAI,EAAE,CAAC,OAAO,CAAC;CAChB,CAAC;AAEF,8BAA8B;AAC9B,MAAM,gBAAgB,GAAG,CACvB,QAAgB,EAChB,IAAY,EACZ,aAAsB,EACd,EAAE;IACV,MAAM,WAAW,GAAG,eAAe,CAAC,IAAoC,CAAC,CAAC;IAC1E,IAAI,CAAC,aAAa;QAAE,OAAO,QAAQ,CAAC;IACpC,OAAO,QAAQ,CAAC,UAAU,CACxB,IAAI,EACJ,8BAA8B,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAC3F,CAAC;AACJ,CAAC,CAAC"}

package/dist/src/resolve/types/Enum.d.ts

@@ -0,0 +1,21 @@
+import { Enum, EnumMember } from "@typespec/compiler";
+import { Resolvable } from "../Resolvable.js";
+import { Resolver, ResolverOptions, ResolverResult } from "../Resolvable_helpers.js";
+/**
+ * This resolves Enums completely, meaning it doesn't try to resolve
+ * members as EnumMember, because EnumMember resolution references the base Enum.
+ */
+export declare class ResolvableEnum extends Resolvable<Enum> {
+    protected expectedTypeKind: string;
+    protected type(opts: ResolverOptions<Resolver.Type>, out: ResolverResult<Resolver.Type>): Promise<void>;
+    protected typeguard(): Promise<void>;
+}
+/**
+ * This cannot resolve members during Enum resolution, because this
+ * will try to reference the base Enum by name.
+ */
+export declare class ResolvableEnumMember extends Resolvable<EnumMember> {
+    protected expectedTypeKind: string;
+    protected type(opts: ResolverOptions<Resolver.Type>, out: ResolverResult<Resolver.Type>): Promise<void>;
+    protected typeguard(opts: ResolverOptions<Resolver.Typeguard>, out: ResolverResult<Resolver.Typeguard>): Promise<void>;
+}

package/dist/src/resolve/types/Enum.js

@@ -0,0 +1,61 @@
+import { getDoc } from "@typespec/compiler";
+import { compareArrays } from "../../helpers/arrays.js";
+import { namespaceListFromNamespace } from "../../helpers/namespaces.js";
+import { Resolvable } from "../Resolvable.js";
+/**
+ * This resolves Enums completely, meaning it doesn't try to resolve
+ * members as EnumMember, because EnumMember resolution references the base Enum.
+ */
+export class ResolvableEnum extends Resolvable {
+    expectedTypeKind = "Enum";
+    async type(opts, out) {
+        if (opts.emitDocs) {
+            out.doc = getDoc(opts.program, this._t);
+        }
+        out.resolved.append("{\n");
+        let i = 1;
+        this._t.members.forEach((member) => {
+            const val = resolveEnumMemberValue(member, opts);
+            out.resolved.addLine(`${member.name.includes("-") ? `'${member.name}'` : member.name}${val}${i < this._t.members.size ? "," : ""}`, opts.nestlevel + 1);
+            i++;
+        });
+        out.resolved.addLine("}", opts.nestlevel, "continued");
+    }
+    async typeguard() {
+        // enums cannot have typeguards
+        return;
+    }
+}
+/**
+ * This cannot resolve members during Enum resolution, because this
+ * will try to reference the base Enum by name.
+ */
+export class ResolvableEnumMember extends Resolvable {
+    expectedTypeKind = "EnumMember";
+    async type(opts, out) {
+        const foundParent = opts.typemap.find((mt) => mt.type.kind === "Enum" &&
+            mt.type.name === this._t.enum.name &&
+            compareArrays(mt.namespaces, namespaceListFromNamespace(this._t.enum.namespace) ?? []));
+        if (foundParent) {
+            out.resolved.append(`${foundParent.type.name}.${this._t.name}`);
+            out.imports.push(foundParent.namespaces);
+        }
+        else {
+            out.resolved.append(resolveEnumMemberValue(this._t, opts));
+        }
+    }
+    async typeguard(opts, out) {
+        out.resolved.append("true");
+    }
+}
+const resolveEnumMemberValue = (member, opts) => {
+    return member.value === undefined
+        ? opts.options["string-nominal-enums"]
+            ? ` = '${member.name}'`
+            : ""
+        : " = " +
+            (typeof member.value === "string"
+                ? `'${member.value}'`
+                : member.value.toString());
+};
+//# sourceMappingURL=Enum.js.map

package/dist/src/resolve/types/Enum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Enum.js","sourceRoot":"","sources":["../../../../src/resolve/types/Enum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAO9C;;;GAGG;AACH,MAAM,OAAO,cAAe,SAAQ,UAAgB;IACxC,gBAAgB,GAAG,MAAM,CAAC;IAE1B,KAAK,CAAC,IAAI,CAClB,IAAoC,EACpC,GAAkC;QAElC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YACjC,MAAM,GAAG,GAAG,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACjD,GAAG,CAAC,QAAQ,CAAC,OAAO,CAClB,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAC7G,IAAI,CAAC,SAAS,GAAG,CAAC,CACnB,CAAC;YACF,CAAC,EAAE,CAAC;QACN,CAAC,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;IAES,KAAK,CAAC,SAAS;QACvB,+BAA+B;QAC/B,OAAO;IACT,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,oBAAqB,SAAQ,UAAsB;IACpD,gBAAgB,GAAG,YAAY,CAAC;IAEhC,KAAK,CAAC,IAAI,CAClB,IAAoC,EACpC,GAAkC;QAElC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CACnC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YACvB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI;YAClC,aAAa,CACX,EAAE,CAAC,UAAU,EACb,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CACzD,CACJ,CAAC;QACF,IAAI,WAAW,EAAE,CAAC;YAChB,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAES,KAAK,CAAC,SAAS,CACvB,IAAyC,EACzC,GAAuC;QAEvC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;CACF;AAED,MAAM,sBAAsB,GAAG,CAC7B,MAAkB,EAClB,IAA0B,EAClB,EAAE;IACV,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS;QAC/B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;YACpC,CAAC,CAAC,OAAO,MAAM,CAAC,IAAI,GAAG;YACvB,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,KAAK;YACH,CAAC,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;gBAC/B,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG;gBACrB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;AACrC,CAAC,CAAC"}

package/dist/src/resolve/types/Model.Indexed.d.ts

@@ -0,0 +1,12 @@
+import { Model } from "@typespec/compiler";
+import { Resolvable } from "../Resolvable.js";
+import { Resolver, ResolverOptions, ResolverResult } from "../Resolvable_helpers.js";
+export declare class IndexedModel extends Resolvable<Model> {
+    constructor(t: Model, r: Resolver);
+    private _indexedModelKind;
+    protected expectedTypeKind: string;
+    hasVisibility(opts: ResolverOptions<Resolver>, out: ResolverResult<Resolver>): Promise<boolean>;
+    protected type(opts: ResolverOptions<Resolver.Type>, out: ResolverResult<Resolver.Type>): Promise<void>;
+    protected typeguard(opts: ResolverOptions<Resolver.Typeguard>, out: ResolverResult<Resolver.Typeguard>): Promise<void>;
+    protected validate(): void;
+}

package/dist/src/resolve/types/Model.Indexed.js

@@ -0,0 +1,69 @@
+import { Resolvable } from "../Resolvable.js";
+var Type;
+(function (Type) {
+    Type[Type["Array"] = 0] = "Array";
+    Type[Type["Record"] = 1] = "Record";
+})(Type || (Type = {}));
+export class IndexedModel extends Resolvable {
+    constructor(t, r) {
+        super(t, r);
+        if (t.name === "Array") {
+            this._indexedModelKind = Type.Array;
+        }
+        else if (t.name === "Record") {
+            this._indexedModelKind = Type.Record;
+        }
+        else
+            throw new TypeError(`Cannot create IndexedModel on type of name ${t.name}`);
+    }
+    _indexedModelKind;
+    expectedTypeKind = "Model";
+    async hasVisibility(opts, out) {
+        if (await super.hasVisibility(opts, out))
+            return true;
+        if (await Resolvable.hasVisibility(this._t.indexer.value, opts, out, this._t))
+            return true;
+        return false;
+    }
+    async type(opts, out) {
+        const resolved = await this.resolveNested(this._t.indexer.value, opts, out, false);
+        switch (this._indexedModelKind) {
+            case Type.Array:
+                out.resolved.append(`(${resolved.resolved})[]`);
+                break;
+            case Type.Record:
+                out.resolved.append(`{[k: string]: ${resolved.resolved}}`);
+                break;
+        }
+        out.imports.push(...resolved.imports);
+    }
+    async typeguard(opts, out) {
+        const oldAccessor = opts.accessor;
+        opts.accessor = this._indexedModelKind === Type.Array ? "v" : "v[1]";
+        const resolved = await this.resolveNested(this._t.indexer.value, opts, out);
+        opts.accessor = oldAccessor;
+        if (resolved.resolved.value.endsWith("\n"))
+            resolved.resolved.dropLast();
+        switch (this._indexedModelKind) {
+            case Type.Array:
+                out.resolved.append(`Array.isArray(${opts.accessor}) && ${opts.accessor}.every((v) => ${resolved.resolved})`);
+                break;
+            case Type.Record:
+                out.resolved.append(`typeof ${opts.accessor} === 'object' && Object.entries(${opts.accessor} as Record<string, any>).every((v) => ${resolved.resolved})`);
+                break;
+        }
+        out.imports.push(...resolved.imports);
+    }
+    validate() {
+        if (this._t.name !== "Array" && this._t.name !== "Record") {
+            this.diagnostic("typeclass-modeltype-mismatch", "Tried creating IndexedModel for non-array and non-record model type", "error");
+            throw new Error("Tried creating IndexedModel for non-array and non-record model type");
+        }
+        if (!this._t.indexer) {
+            this.diagnostic("no-indexer", "Tried creating IndexedModel for type without indexer", "error");
+            throw new Error("Tried creating IndexedModel for type without indexer");
+        }
+        super.validate();
+    }
+}
+//# sourceMappingURL=Model.Indexed.js.map

package/dist/src/resolve/types/Model.Indexed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Model.Indexed.js","sourceRoot":"","sources":["../../../../src/resolve/types/Model.Indexed.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAO9C,IAAK,IAGJ;AAHD,WAAK,IAAI;IACP,iCAAK,CAAA;IACL,mCAAM,CAAA;AACR,CAAC,EAHI,IAAI,KAAJ,IAAI,QAGR;AAED,MAAM,OAAO,YAAa,SAAQ,UAAiB;IACjD,YAAY,CAAQ,EAAE,CAAW;QAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACZ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;QACvC,CAAC;;YACC,MAAM,IAAI,SAAS,CACjB,8CAA8C,CAAC,CAAC,IAAI,EAAE,CACvD,CAAC;IACN,CAAC;IAEO,iBAAiB,CAAO;IACtB,gBAAgB,GAAW,OAAO,CAAC;IAE7B,KAAK,CAAC,aAAa,CACjC,IAA+B,EAC/B,GAA6B;QAE7B,IAAI,MAAM,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACtD,IACE,MAAM,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,OAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAE1E,OAAO,IAAI,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAES,KAAK,CAAC,IAAI,CAClB,IAAoC,EACpC,GAAkC;QAElC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,aAAa,CACvC,IAAI,CAAC,EAAE,CAAC,OAAQ,CAAC,KAAK,EACtB,IAAI,EACJ,GAAG,EACH,KAAK,CACN,CAAC;QACF,QAAQ,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/B,KAAK,IAAI,CAAC,KAAK;gBACb,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,KAAK,CAAC,CAAC;gBAChD,MAAM;YACR,KAAK,IAAI,CAAC,MAAM;gBACd,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;gBAC3D,MAAM;QACV,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IAES,KAAK,CAAC,SAAS,CACvB,IAAyC,EACzC,GAAuC;QAEvC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC;QAClC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,iBAAiB,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QACrE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,aAAa,CACvC,IAAI,CAAC,EAAE,CAAC,OAAQ,CAAC,KAAK,EACtB,IAAI,EACJ,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,QAAQ,GAAG,WAAW,CAAC;QAC5B,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAEzE,QAAQ,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/B,KAAK,IAAI,CAAC,KAAK;gBACb,GAAG,CAAC,QAAQ,CAAC,MAAM,CACjB,iBAAiB,IAAI,CAAC,QAAQ,QAAQ,IAAI,CAAC,QAAQ,iBAAiB,QAAQ,CAAC,QAAQ,GAAG,CACzF,CAAC;gBACF,MAAM;YACR,KAAK,IAAI,CAAC,MAAM;gBACd,GAAG,CAAC,QAAQ,CAAC,MAAM,CACjB,UAAU,IAAI,CAAC,QAAQ,mCAAmC,IAAI,CAAC,QAAQ,yCAAyC,QAAQ,CAAC,QAAQ,GAAG,CACrI,CAAC;gBACF,MAAM;QACV,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IAES,QAAQ;QAChB,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1D,IAAI,CAAC,UAAU,CACb,8BAA8B,EAC9B,qEAAqE,EACrE,OAAO,CACR,CAAC;YACF,MAAM,IAAI,KAAK,CACb,qEAAqE,CACtE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,UAAU,CACb,YAAY,EACZ,sDAAsD,EACtD,OAAO,CACR,CAAC;YACF,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,KAAK,CAAC,QAAQ,EAAE,CAAC;IACnB,CAAC;CACF"}

package/dist/src/resolve/types/Model.Shaped.d.ts

@@ -0,0 +1,17 @@
+import { Model } from "@typespec/compiler";
+import { Resolvable } from "../Resolvable.js";
+import { Resolver, ResolverOptions, ResolverResult } from "../Resolvable_helpers.js";
+export declare class ShapedModel extends Resolvable<Model> {
+    protected expectedTypeKind: string;
+    private getProps;
+    private getPropVisibilityType;
+    /**
+     * Checks whether or not any of the model's properties has @visibility modifier.
+     * Also returns true if any base model (in the entire chain) has a visibility OR if
+     * any nested type (in the model's properties) has a visibility.
+     */
+    hasVisibility(opts: ResolverOptions<Resolver>, out: ResolverResult<Resolver>): Promise<boolean>;
+    protected type(opts: ResolverOptions<Resolver.Type>, out: ResolverResult<Resolver.Type>): Promise<void>;
+    protected typeguard(opts: ResolverOptions<Resolver.Typeguard>, out: ResolverResult<Resolver.Typeguard>): Promise<void>;
+    protected transformKnownType(opts: ResolverOptions<Resolver>, out: ResolverResult<Resolver>): void;
+}