@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/type-resolution-cases/array-like-element.test.js

@@ -0,0 +1,82 @@
+import { describe, it, expect, getArrayLikeElementType, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("getArrayLikeElementType", () => {
+        const defaultOptions = {
+            rootNamespace: "Test",
+            indent: 4,
+        };
+        const createContext = (localTypes) => ({
+            indentLevel: 0,
+            options: defaultOptions,
+            isStatic: false,
+            isAsync: false,
+            localTypes,
+            usings: new Set(),
+        });
+        it("resolves array element types through local aliases", () => {
+            const context = createContext(new Map([
+                [
+                    "MiddlewareArgs",
+                    {
+                        kind: "typeAlias",
+                        typeParameters: [],
+                        type: {
+                            kind: "arrayType",
+                            elementType: { kind: "referenceType", name: "MiddlewareLike" },
+                        },
+                    },
+                ],
+            ]));
+            const result = getArrayLikeElementType({ kind: "referenceType", name: "MiddlewareArgs" }, context);
+            expect(result).to.deep.equal({
+                kind: "referenceType",
+                name: "MiddlewareLike",
+            });
+        });
+        it("resolves ReadonlyArray element types through generic references", () => {
+            const context = createContext(new Map());
+            const result = getArrayLikeElementType({
+                kind: "referenceType",
+                name: "ReadonlyArray",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            }, context);
+            expect(result).to.deep.equal({
+                kind: "primitiveType",
+                name: "string",
+            });
+        });
+        it("resolves ArrayLike element types through generic references", () => {
+            const context = createContext(new Map());
+            const result = getArrayLikeElementType({
+                kind: "referenceType",
+                name: "ArrayLike",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            }, context);
+            expect(result).to.deep.equal({
+                kind: "primitiveType",
+                name: "number",
+            });
+        });
+        it("does not treat a locally declared Array<T> class as an array-like wrapper", () => {
+            const context = createContext(new Map([
+                [
+                    "Array",
+                    {
+                        kind: "class",
+                        typeParameters: ["T"],
+                        members: [],
+                        superClass: undefined,
+                        implements: [],
+                    },
+                ],
+            ]));
+            const result = getArrayLikeElementType({
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            }, context);
+            expect(result).to.equal(undefined);
+        });
+    });
+});
+//# sourceMappingURL=array-like-element.test.js.map

package/dist/core/semantic/type-resolution-cases/array-like-element.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-like-element.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/array-like-element.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,uBAAuB,GAIxB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,MAAM,cAAc,GAAmB;YACrC,aAAa,EAAE,MAAM;YACrB,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,aAAa,GAAG,CACpB,UAA8C,EAC9B,EAAE,CAAC,CAAC;YACpB,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,cAAc;YACvB,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,UAAU;YACV,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,gBAAgB;oBAChB;wBACE,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE;yBAC/D;qBACF;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,uBAAuB,CACpC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,gBAAgB,EAAE,EACjD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,gBAAgB;aACvB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,eAAe;gBACrB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;YAEzC,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACnF,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,GAAG,CAAC;gBACN;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,CAAC,GAAG,CAAC;wBACrB,OAAO,EAAE,EAAE;wBACX,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,EAAE;qBACf;iBACF;aACF,CAAC,CACH,CAAC;YAEF,MAAM,MAAM,GAAG,uBAAuB,CACpC;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,EACD,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contains-type-parameter.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/contains-type-parameter.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.js

@@ -0,0 +1,101 @@
+import { describe, it, expect, containsTypeParameter, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("containsTypeParameter", () => {
+        it("returns true for typeParameterType IR kind", () => {
+            const type = { kind: "typeParameterType", name: "T" };
+            expect(containsTypeParameter(type)).to.be.true;
+        });
+        it("returns false for referenceType named like type parameter", () => {
+            const type = { kind: "referenceType", name: "T" };
+            expect(containsTypeParameter(type)).to.be.false;
+        });
+        it("returns false for referenceType not in typeParams set", () => {
+            const type = { kind: "referenceType", name: "string" };
+            expect(containsTypeParameter(type)).to.be.false;
+        });
+        it("returns true for Array<T> containing type parameter", () => {
+            const type = {
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "typeParameterType", name: "T" }],
+            };
+            expect(containsTypeParameter(type)).to.be.true;
+        });
+        it("returns false for Array<string> (concrete type)", () => {
+            const type = {
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            };
+            expect(containsTypeParameter(type)).to.be.false;
+        });
+        it("returns true for arrayType with type parameter element", () => {
+            const type = {
+                kind: "arrayType",
+                elementType: { kind: "typeParameterType", name: "T" },
+            };
+            expect(containsTypeParameter(type)).to.be.true;
+        });
+        it("returns true for union type containing type parameter", () => {
+            const type = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "typeParameterType", name: "T" },
+                ],
+            };
+            expect(containsTypeParameter(type)).to.be.true;
+        });
+        it("returns false for primitive types", () => {
+            const type = { kind: "primitiveType", name: "number" };
+            expect(containsTypeParameter(type)).to.be.false;
+        });
+        it("does not recurse infinitely through recursive structural unions", () => {
+            const routerType = {
+                kind: "referenceType",
+                name: "Router",
+                resolvedClrType: "global::System.Object",
+                structuralMembers: [],
+            };
+            const middlewareLike = {
+                kind: "unionType",
+                types: [],
+            };
+            middlewareLike.types.push(routerType, {
+                kind: "arrayType",
+                elementType: middlewareLike,
+            });
+            routerType.structuralMembers = [
+                {
+                    kind: "methodSignature",
+                    name: "use",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "handlers" },
+                            type: middlewareLike,
+                            initializer: undefined,
+                            isOptional: false,
+                            isRest: true,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: routerType,
+                },
+            ];
+            expect(containsTypeParameter(middlewareLike)).to.equal(false);
+        });
+        it("finds type parameters through recursive structural unions", () => {
+            const recursive = {
+                kind: "unionType",
+                types: [],
+            };
+            recursive.types.push({ kind: "typeParameterType", name: "T" }, {
+                kind: "arrayType",
+                elementType: recursive,
+            });
+            expect(containsTypeParameter(recursive)).to.equal(true);
+        });
+    });
+});
+//# sourceMappingURL=contains-type-parameter.test.js.map

package/dist/core/semantic/type-resolution-cases/contains-type-parameter.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contains-type-parameter.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/contains-type-parameter.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,GAEtB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAE9D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAE1D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAE/D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;aACtD,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;iBACzC;aACF,CAAC;YACF,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC/D,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,UAAU,GAAG;gBACjB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,uBAAuB;gBACxC,iBAAiB,EAAE,EAAE;aAGtB,CAAC;YAEF,MAAM,cAAc,GAAG;gBACrB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE;aAGV,CAAC;YAEF,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE;gBACpC,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,cAAc;aAC5B,CAAC,CAAC;YAEH,UAAU,CAAC,iBAAiB,GAAG;gBAC7B;oBACE,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,KAAK;oBACX,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE;4BACxD,IAAI,EAAE,cAAc;4BACpB,WAAW,EAAE,SAAS;4BACtB,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,IAAI;4BACZ,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,UAAU;iBACvB;aACF,CAAC;YAEF,MAAM,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,SAAS,GAAG;gBAChB,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,EAAE;aAGV,CAAC;YAEF,SAAS,CAAC,KAAK,CAAC,IAAI,CAClB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,EACxC;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,SAAS;aACvB,CACF,CAAC;YAEF,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/helpers.d.ts

@@ -0,0 +1,8 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex } from "../type-resolution.js";
+import { type IrInterfaceMember, type IrType, type TypeBinding as FrontendTypeBinding } from "@tsonic/frontend";
+import type { EmitterContext, LocalTypeInfo, EmitterOptions } from "../../../types.js";
+export { describe, it, expect, containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex, };
+export type { EmitterContext, EmitterOptions, FrontendTypeBinding, IrInterfaceMember, IrType, LocalTypeInfo, };
+//# sourceMappingURL=helpers.d.ts.map

package/dist/core/semantic/type-resolution-cases/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACX,KAAK,WAAW,IAAI,mBAAmB,EACxC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACb,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,GACrB,CAAC;AACF,YAAY,EACV,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,MAAM,EACN,aAAa,GACd,CAAC"}

package/dist/core/semantic/type-resolution-cases/helpers.js

@@ -0,0 +1,5 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex, } from "../type-resolution.js";
+export { describe, it, expect, containsTypeParameter, substituteTypeArgs, getPropertyType, getArrayLikeElementType, selectObjectLiteralUnionMember, selectUnionMemberForObjectLiteral, normalizeStructuralEmissionType, resolveStructuralReferenceType, resolveTypeAlias, stripNullish, isDefinitelyValueType, isTypeOnlyStructuralTarget, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, findUnionMemberIndex, };
+//# sourceMappingURL=helpers.js.map

package/dist/core/semantic/type-resolution-cases/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAY/B,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,8BAA8B,EAC9B,iCAAiC,EACjC,+BAA+B,EAC/B,8BAA8B,EAC9B,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,0BAA0B,EAC1B,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,GACrB,CAAC"}

package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrow-typeof.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/narrow-typeof.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js

@@ -0,0 +1,98 @@
+import { describe, it, expect, narrowTypeByTypeofTag, narrowTypeByNotTypeofTag, } from "./helpers.js";
+describe("type-resolution", () => {
+    describe("narrowTypeByTypeofTag", () => {
+        const context = {
+            indentLevel: 0,
+            options: {
+                rootNamespace: "Test",
+                indent: 4,
+            },
+            isStatic: false,
+            isAsync: false,
+            usings: new Set(),
+        };
+        it("falls back to primitive string for unknown-like values", () => {
+            expect(narrowTypeByTypeofTag({ kind: "referenceType", name: "unknown" }, "string", context)).to.deep.equal({ kind: "primitiveType", name: "string" });
+        });
+        it("falls back to primitive number when union members do not encode the typeof target", () => {
+            expect(narrowTypeByTypeofTag({
+                kind: "unionType",
+                types: [{ kind: "referenceType", name: "unknown" }],
+            }, "number", context)).to.deep.equal({ kind: "primitiveType", name: "number" });
+        });
+        it("narrows source-owned union aliases to matching typeof leaves", () => {
+            const aliasContext = {
+                ...context,
+                localTypes: new Map([
+                    [
+                        "MkdirOptionsLike",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: {
+                                kind: "unionType",
+                                types: [
+                                    { kind: "primitiveType", name: "boolean" },
+                                    { kind: "referenceType", name: "MkdirOptions" },
+                                ],
+                                runtimeCarrierFamilyKey: "runtime-union:alias:Test.MkdirOptionsLike",
+                                runtimeCarrierName: "MkdirOptionsLike",
+                                runtimeCarrierNamespace: "Test",
+                            },
+                        },
+                    ],
+                ]),
+            };
+            const currentType = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "undefined" },
+                    { kind: "referenceType", name: "MkdirOptionsLike" },
+                ],
+            };
+            expect(narrowTypeByTypeofTag(currentType, "boolean", aliasContext)).to.deep.equal({ kind: "primitiveType", name: "boolean" });
+            expect(narrowTypeByNotTypeofTag(currentType, "boolean", aliasContext)).to.deep.equal({
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "undefined" },
+                    { kind: "referenceType", name: "MkdirOptions" },
+                ],
+            });
+        });
+        it("keeps structural object aliases nominal while testing typeof object", () => {
+            const aliasContext = {
+                ...context,
+                localTypes: new Map([
+                    [
+                        "BindOptions",
+                        {
+                            kind: "typeAlias",
+                            typeParameters: [],
+                            type: {
+                                kind: "objectType",
+                                members: [
+                                    {
+                                        kind: "propertySignature",
+                                        name: "port",
+                                        type: { kind: "primitiveType", name: "int" },
+                                        isOptional: true,
+                                        isReadonly: true,
+                                    },
+                                ],
+                            },
+                        },
+                    ],
+                ]),
+            };
+            const currentType = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "int" },
+                    { kind: "referenceType", name: "BindOptions" },
+                ],
+            };
+            expect(narrowTypeByTypeofTag(currentType, "object", aliasContext)).to.deep.equal({ kind: "referenceType", name: "BindOptions" });
+        });
+    });
+});
+//# sourceMappingURL=narrow-typeof.test.js.map

package/dist/core/semantic/type-resolution-cases/narrow-typeof.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrow-typeof.test.js","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/narrow-typeof.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,qBAAqB,EACrB,wBAAwB,GAEzB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,MAAM,OAAO,GAAmB;YAC9B,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,MAAM;gBACrB,MAAM,EAAE,CAAC;aACV;YACD,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,IAAI,GAAG,EAAU;SAC1B,CAAC;QAEF,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,CACJ,qBAAqB,CACnB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,EAC1C,QAAQ,EACR,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;YAC3F,MAAM,CACJ,qBAAqB,CACnB;gBACE,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;aACpD,EACD,QAAQ,EACR,OAAO,CACR,CACF,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,YAAY,GAAmB;gBACnC,GAAG,OAAO;gBACV,UAAU,EAAE,IAAI,GAAG,CAAC;oBAClB;wBACE,kBAAkB;wBAClB;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oCAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,cAAc,EAAE;iCAChD;gCACD,uBAAuB,EACrB,2CAA2C;gCAC7C,kBAAkB,EAAE,kBAAkB;gCACtC,uBAAuB,EAAE,MAAM;6BAChC;yBACF;qBACF;iBACF,CAAC;aACH,CAAC;YACF,MAAM,WAAW,GAAG;gBAClB,IAAI,EAAE,WAAoB;gBAC1B,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,WAAoB,EAAE;oBAC9D,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE;iBAC7D;aACF,CAAC;YAEF,MAAM,CACJ,qBAAqB,CAAC,WAAW,EAAE,SAAS,EAAE,YAAY,CAAC,CAC5D,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAE5D,MAAM,CACJ,wBAAwB,CAAC,WAAW,EAAE,SAAS,EAAE,YAAY,CAAC,CAC/D,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACd,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;oBAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,cAAc,EAAE;iBAChD;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,YAAY,GAAmB;gBACnC,GAAG,OAAO;gBACV,UAAU,EAAE,IAAI,GAAG,CAAC;oBAClB;wBACE,aAAa;wBACb;4BACE,IAAI,EAAE,WAAW;4BACjB,cAAc,EAAE,EAAE;4BAClB,IAAI,EAAE;gCACJ,IAAI,EAAE,YAAY;gCAClB,OAAO,EAAE;oCACP;wCACE,IAAI,EAAE,mBAAmB;wCACzB,IAAI,EAAE,MAAM;wCACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;wCAC5C,UAAU,EAAE,IAAI;wCAChB,UAAU,EAAE,IAAI;qCACjB;iCACF;6BACF;yBACF;qBACF;iBACF,CAAC;aACH,CAAC;YACF,MAAM,WAAW,GAAG;gBAClB,IAAI,EAAE,WAAoB;gBAC1B,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBACxD,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,aAAa,EAAE;iBACxD;aACF,CAAC;YAEF,MAAM,CACJ,qBAAqB,CAAC,WAAW,EAAE,QAAQ,EAAE,YAAY,CAAC,CAC3D,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.d.ts

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

package/dist/core/semantic/type-resolution-cases/nullish-and-value-type.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish-and-value-type.test.d.ts","sourceRoot":"","sources":["../../../../src/core/semantic/type-resolution-cases/nullish-and-value-type.test.ts"],"names":[],"mappings":""}