@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/imports.test.js

@@ -1,552 +1,3 @@
-/**
- * Tests for Import Handling
- * Tests emission of .NET and local imports
- */
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import { emitModule } from "../../emitter.js";
-describe("Import Handling", () => {
-    it("should NOT emit using directives for .NET imports", () => {
-        // .NET imports are resolved to fully-qualified names with global:: prefix,
-        // so we don't emit using directives
-        const module = {
-            kind: "module",
-            filePath: "/src/test.ts",
-            namespace: "MyApp",
-            className: "test",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "System.IO",
-                    isLocal: false,
-                    isClr: true,
-                    specifiers: [],
-                    resolvedNamespace: "System.IO",
-                },
-                {
-                    kind: "import",
-                    source: "System.Text.Json",
-                    isLocal: false,
-                    isClr: true,
-                    specifiers: [],
-                    resolvedNamespace: "System.Text.Json",
-                },
-            ],
-            body: [],
-            exports: [],
-        };
-        const result = emitModule(module);
-        // Should NOT include using directives - all types use global:: FQN
-        expect(result).to.not.include("using System.IO");
-        expect(result).to.not.include("using System.Text.Json");
-    });
-    it("should NOT emit using directives for local imports", () => {
-        // Local module imports are always emitted as fully-qualified references,
-        // so we don't need using directives for them
-        const module = {
-            kind: "module",
-            filePath: "/src/services/api.ts",
-            namespace: "MyApp.services",
-            className: "api",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "./auth.ts",
-                    isLocal: true,
-                    isClr: false,
-                    specifiers: [],
-                },
-                {
-                    kind: "import",
-                    source: "../models/User.ts",
-                    isLocal: true,
-                    isClr: false,
-                    specifiers: [],
-                },
-            ],
-            body: [],
-            exports: [],
-        };
-        const result = emitModule(module, { rootNamespace: "MyApp" });
-        // Should NOT include using directives for local modules
-        // (identifiers from local imports are emitted fully-qualified)
-        expect(result).to.not.include("using MyApp.services;");
-        expect(result).to.not.include("using MyApp.models;");
-    });
-    it("should lower local imports even when resolvedPath is absolute", () => {
-        const module = {
-            kind: "module",
-            filePath: "common/operators/in-operator/InOperator.ts",
-            namespace: "TestCases.common.operators.inoperator",
-            className: "InOperator",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "./Auth.js",
-                    isLocal: true,
-                    isClr: false,
-                    resolvedPath: "/tmp/tsonic/common/operators/in-operator/Auth.ts",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "getAuth",
-                            localName: "getAuth",
-                            isType: false,
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "identifier",
-                            name: "getAuth",
-                        },
-                        arguments: [{ kind: "literal", value: false }],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module, {
-            moduleMap: new Map([
-                [
-                    "common/operators/in-operator/Auth",
-                    {
-                        namespace: "TestCases.common.operators.inoperator",
-                        className: "Auth",
-                        filePath: "common/operators/in-operator/Auth.ts",
-                        hasRuntimeContainer: true,
-                        hasTopLevelCode: false,
-                        imports: [],
-                        exports: [
-                            {
-                                name: "getAuth",
-                                isDefault: false,
-                                kind: "function",
-                            },
-                        ],
-                        exportedValueKinds: new Map([["getAuth", "function"]]),
-                        localTypes: new Map(),
-                        hasTypeCollision: false,
-                    },
-                ],
-            ]),
-        });
-        expect(result).to.include("global::TestCases.common.operators.inoperator.Auth.getAuth(false)");
-    });
-    it("should lower source-package imports when resolvedPath points into node_modules", () => {
-        const module = {
-            kind: "module",
-            filePath: "src/index.ts",
-            namespace: "SourcePackageBasic",
-            className: "index",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "@acme/math",
-                    isLocal: true,
-                    isClr: false,
-                    resolvedPath: "/tmp/project/node_modules/@acme/math/src/index.ts",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "clamp",
-                            localName: "clamp",
-                            isType: false,
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "identifier",
-                            name: "clamp",
-                        },
-                        arguments: [
-                            { kind: "literal", value: 10 },
-                            { kind: "literal", value: 0 },
-                            { kind: "literal", value: 5 },
-                        ],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module, {
-            moduleMap: new Map([
-                [
-                    "node_modules/@acme/math/src/index",
-                    {
-                        namespace: "Acme.Math",
-                        className: "index",
-                        filePath: "node_modules/@acme/math/src/index",
-                        hasRuntimeContainer: true,
-                        hasTopLevelCode: false,
-                        imports: [],
-                        exports: [
-                            {
-                                name: "clamp",
-                                isDefault: false,
-                                kind: "function",
-                            },
-                        ],
-                        exportedValueKinds: new Map([["clamp", "function"]]),
-                        localTypes: new Map(),
-                        hasTypeCollision: false,
-                    },
-                ],
-            ]),
-        });
-        expect(result).to.include("global::Acme.Math.index.clamp(10, 0, 5)");
-    });
-    it("should lower named imports from module bindings to static CLR members", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "node:fs",
-                    isLocal: false,
-                    isClr: false,
-                    resolvedClrType: "nodejs.fs",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "readFileSync",
-                            localName: "readFileSync",
-                            isType: false,
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "identifier",
-                            name: "readFileSync",
-                        },
-                        arguments: [{ kind: "literal", value: "README.md" }],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include('global::nodejs.fs.readFileSync("README.md")');
-    });
-    it("should lower node module object imports to namespace bindings", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "node:fs",
-                    isLocal: false,
-                    isClr: false,
-                    resolvedClrType: "nodejs.fs",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "fs",
-                            localName: "fs",
-                            isType: false,
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "memberAccess",
-                            object: {
-                                kind: "identifier",
-                                name: "fs",
-                            },
-                            property: "existsSync",
-                            isComputed: false,
-                            isOptional: false,
-                        },
-                        arguments: [{ kind: "literal", value: "." }],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("global::nodejs.fs");
-        expect(result).to.match(/global::nodejs\.fs\.[A-Za-z_][A-Za-z0-9_]*\("\."\)/);
-    });
-    it("should lower default imports from module bindings to namespace bindings", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "node:fs",
-                    isLocal: false,
-                    isClr: false,
-                    resolvedClrType: "nodejs.fs",
-                    specifiers: [
-                        {
-                            kind: "default",
-                            localName: "fs",
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "memberAccess",
-                            object: {
-                                kind: "identifier",
-                                name: "fs",
-                            },
-                            property: "existsSync",
-                            isComputed: false,
-                            isOptional: false,
-                        },
-                        arguments: [{ kind: "literal", value: "." }],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("global::nodejs.fs");
-        expect(result).to.match(/global::nodejs\.fs\.[A-Za-z_][A-Za-z0-9_]*\("\."\)/);
-    });
-    it("should infer module-object namespace imports from resolvedClrType name (no hardcoded module list)", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "node:child_process",
-                    isLocal: false,
-                    isClr: false,
-                    resolvedClrType: "nodejs.child_process",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "child_process",
-                            localName: "cp",
-                            isType: false,
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "memberAccess",
-                            object: {
-                                kind: "identifier",
-                                name: "cp",
-                            },
-                            property: "exec",
-                            isComputed: false,
-                            isOptional: false,
-                        },
-                        arguments: [{ kind: "literal", value: "echo hi" }],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include('global::nodejs.child_process.exec("echo hi")');
-    });
-    it("should lower namespace imports from node aliases to module CLR namespaces", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "node:path",
-                    isLocal: false,
-                    isClr: false,
-                    resolvedClrType: "nodejs.path",
-                    specifiers: [
-                        {
-                            kind: "namespace",
-                            localName: "pathMod",
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: {
-                            kind: "memberAccess",
-                            object: {
-                                kind: "memberAccess",
-                                object: {
-                                    kind: "identifier",
-                                    name: "pathMod",
-                                },
-                                property: "posix",
-                                isComputed: false,
-                                isOptional: false,
-                            },
-                            property: "join",
-                            isComputed: false,
-                            isOptional: false,
-                        },
-                        arguments: [
-                            { kind: "literal", value: "a" },
-                            { kind: "literal", value: "b" },
-                        ],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("global::nodejs.path");
-        expect(result).to.match(/global::nodejs\.path\.[A-Za-z_][A-Za-z0-9_]*\.[A-Za-z_][A-Za-z0-9_]*\("a", "b"\)/);
-    });
-    it("prefers module binding lowering when import is both CLR-resolved and module-bound", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "node:path",
-                    isLocal: false,
-                    isClr: true,
-                    resolvedNamespace: "nodejs",
-                    resolvedClrType: "nodejs.path",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "join",
-                            localName: "join",
-                            isType: false,
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "call",
-                        callee: { kind: "identifier", name: "join" },
-                        arguments: [
-                            { kind: "literal", value: "a" },
-                            { kind: "literal", value: "b" },
-                        ],
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include('global::nodejs.path.join("a", "b")');
-        expect(result).not.to.include("ICE: Missing resolvedClrValue");
-    });
-    it("binds CLR named imports with only resolvedClrType as static type containers", () => {
-        const module = {
-            kind: "module",
-            filePath: "/src/app.ts",
-            namespace: "MyApp",
-            className: "app",
-            isStaticContainer: true,
-            imports: [
-                {
-                    kind: "import",
-                    source: "@tsonic/dotnet/System.Threading.Tasks.js",
-                    isLocal: false,
-                    isClr: true,
-                    resolvedNamespace: "System.Threading.Tasks",
-                    specifiers: [
-                        {
-                            kind: "named",
-                            name: "Task",
-                            localName: "TaskValue",
-                            isType: false,
-                            resolvedClrType: "System.Threading.Tasks.Task",
-                        },
-                    ],
-                },
-            ],
-            body: [
-                {
-                    kind: "expressionStatement",
-                    expression: {
-                        kind: "memberAccess",
-                        object: { kind: "identifier", name: "TaskValue" },
-                        property: "CompletedTask",
-                        isComputed: false,
-                        isOptional: false,
-                    },
-                },
-            ],
-            exports: [],
-        };
-        const result = emitModule(module);
-        expect(result).to.include("global::System.Threading.Tasks.Task.CompletedTask");
-        expect(result).not.to.include("ICE: Missing resolvedClrValue");
-    });
-});
+import "./imports-cases/basic-and-local.test.js";
+import "./imports-cases/bindings-and-namespaces.test.js";
 //# sourceMappingURL=imports.test.js.map

package/dist/core/semantic/imports.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"imports.test.js","sourceRoot":"","sources":["../../../src/core/semantic/imports.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,2EAA2E;QAC3E,oCAAoC;QACpC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,UAAU,EAAE,EAAE;oBACd,iBAAiB,EAAE,WAAW;iBAC/B;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,kBAAkB;oBAC1B,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,UAAU,EAAE,EAAE;oBACd,iBAAiB,EAAE,kBAAkB;iBACtC;aACF;YACD,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,mEAAmE;QACnE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,yEAAyE;QACzE,6CAA6C;QAC7C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,sBAAsB;YAChC,SAAS,EAAE,gBAAgB;YAC3B,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,KAAK;oBACZ,UAAU,EAAE,EAAE;iBACf;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,mBAAmB;oBAC3B,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,KAAK;oBACZ,UAAU,EAAE,EAAE;iBACf;aACF;YACD,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAE9D,wDAAwD;QACxD,+DAA+D;QAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,4CAA4C;YACtD,SAAS,EAAE,uCAAuC;YAClD,SAAS,EAAE,YAAY;YACvB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,KAAK;oBACZ,YAAY,EAAE,kDAAkD;oBAChE,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,SAAS;4BACf,SAAS,EAAE,SAAS;4BACpB,MAAM,EAAE,KAAK;yBACd;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,SAAS;yBAChB;wBACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;wBAC9C,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;YAChC,SAAS,EAAE,IAAI,GAAG,CAAC;gBACjB;oBACE,mCAAmC;oBACnC;wBACE,SAAS,EAAE,uCAAuC;wBAClD,SAAS,EAAE,MAAM;wBACjB,QAAQ,EAAE,sCAAsC;wBAChD,mBAAmB,EAAE,IAAI;wBACzB,eAAe,EAAE,KAAK;wBACtB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,SAAS;gCACf,SAAS,EAAE,KAAK;gCAChB,IAAI,EAAE,UAAU;6BACjB;yBACF;wBACD,kBAAkB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;wBACtD,UAAU,EAAE,IAAI,GAAG,EAAE;wBACrB,gBAAgB,EAAE,KAAK;qBACxB;iBACF;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,mEAAmE,CACpE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,oBAAoB;YAC/B,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,YAAY;oBACpB,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,KAAK;oBACZ,YAAY,EAAE,mDAAmD;oBACjE,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,OAAO;4BACb,SAAS,EAAE,OAAO;4BAClB,MAAM,EAAE,KAAK;yBACd;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,OAAO;yBACd;wBACD,SAAS,EAAE;4BACT,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;4BAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC7B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;yBAC9B;wBACD,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE;YAChC,SAAS,EAAE,IAAI,GAAG,CAAC;gBACjB;oBACE,mCAAmC;oBACnC;wBACE,SAAS,EAAE,WAAW;wBACtB,SAAS,EAAE,OAAO;wBAClB,QAAQ,EAAE,mCAAmC;wBAC7C,mBAAmB,EAAE,IAAI;wBACzB,eAAe,EAAE,KAAK;wBACtB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,OAAO;gCACb,SAAS,EAAE,KAAK;gCAChB,IAAI,EAAE,UAAU;6BACjB;yBACF;wBACD,kBAAkB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;wBACpD,UAAU,EAAE,IAAI,GAAG,EAAE;wBACrB,gBAAgB,EAAE,KAAK;qBACxB;iBACF;aACF,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yCAAyC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,KAAK;oBACZ,eAAe,EAAE,WAAW;oBAC5B,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,cAAc;4BACpB,SAAS,EAAE,cAAc;4BACzB,MAAM,EAAE,KAAK;yBACd;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,cAAc;yBACrB;wBACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;wBACpD,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,KAAK;oBACZ,eAAe,EAAE,WAAW;oBAC5B,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,IAAI;4BACV,SAAS,EAAE,IAAI;4BACf,MAAM,EAAE,KAAK;yBACd;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,IAAI;6BACX;4BACD,QAAQ,EAAE,YAAY;4BACtB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;wBAC5C,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,oDAAoD,CACrD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,KAAK;oBACZ,eAAe,EAAE,WAAW;oBAC5B,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,SAAS;4BACf,SAAS,EAAE,IAAI;yBAChB;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,IAAI;6BACX;4BACD,QAAQ,EAAE,YAAY;4BACtB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;wBAC5C,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,oDAAoD,CACrD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mGAAmG,EAAE,GAAG,EAAE;QAC3G,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,oBAAoB;oBAC5B,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,KAAK;oBACZ,eAAe,EAAE,sBAAsB;oBACvC,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,eAAe;4BACrB,SAAS,EAAE,IAAI;4BACf,MAAM,EAAE,KAAK;yBACd;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,IAAI;6BACX;4BACD,QAAQ,EAAE,MAAM;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;wBAClD,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,KAAK;oBACZ,eAAe,EAAE,aAAa;oBAC9B,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,SAAS,EAAE,SAAS;yBACrB;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE;4BACN,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,cAAc;gCACpB,MAAM,EAAE;oCACN,IAAI,EAAE,YAAY;oCAClB,IAAI,EAAE,SAAS;iCAChB;gCACD,QAAQ,EAAE,OAAO;gCACjB,UAAU,EAAE,KAAK;gCACjB,UAAU,EAAE,KAAK;6BAClB;4BACD,QAAQ,EAAE,MAAM;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,SAAS,EAAE;4BACT,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;4BAC/B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;yBAChC;wBACD,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,kFAAkF,CACnF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,iBAAiB,EAAE,QAAQ;oBAC3B,eAAe,EAAE,aAAa;oBAC9B,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,MAAM;4BACZ,SAAS,EAAE,MAAM;4BACjB,MAAM,EAAE,KAAK;yBACd;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;wBAC5C,SAAS,EAAE;4BACT,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;4BAC/B,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;yBAChC;wBACD,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,0CAA0C;oBAClD,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,iBAAiB,EAAE,wBAAwB;oBAC3C,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,MAAM;4BACZ,SAAS,EAAE,WAAW;4BACtB,MAAM,EAAE,KAAK;4BACb,eAAe,EAAE,6BAA6B;yBAC/C;qBACF;iBACF;aACF;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE;wBACjD,QAAQ,EAAE,eAAe;wBACzB,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,KAAK;qBAClB;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"imports.test.js","sourceRoot":"","sources":["../../../src/core/semantic/imports.test.ts"],"names":[],"mappings":"AAAA,OAAO,yCAAyC,CAAC;AACjD,OAAO,iDAAiD,CAAC"}

package/dist/core/semantic/instanceof-predicate-refinements.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Instanceof and type-predicate narrowing refinements.
+ * Handles applyInstanceofRefinement and applyPredicateCallRefinement.
+ */
+import { IrExpression } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import { type BranchTruthiness, type EmitExprAstFn } from "./narrowing-builders.js";
+export declare const applyInstanceofRefinement: (condition: IrExpression, branch: BranchTruthiness, context: EmitterContext, emitExprAst: EmitExprAstFn) => EmitterContext | undefined;
+export declare const applyPredicateCallRefinement: (condition: IrExpression, branch: BranchTruthiness, context: EmitterContext, emitExprAst: EmitExprAstFn) => EmitterContext | undefined;
+//# sourceMappingURL=instanceof-predicate-refinements.d.ts.map

package/dist/core/semantic/instanceof-predicate-refinements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instanceof-predicate-refinements.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/instanceof-predicate-refinements.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAYrD,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAanB,MAAM,yBAAyB,CAAC;AAGjC,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAoNnB,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,WAAW,YAAY,EACvB,QAAQ,gBAAgB,EACxB,SAAS,cAAc,EACvB,aAAa,aAAa,KACzB,cAAc,GAAG,SAoEnB,CAAC"}