@tsonic/emitter 0.0.76 → 0.0.77

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,YAAY,EACV,cAAc,EACd,cAAc,EACd,UAAU,EACV,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,EACX,aAAa,EACb,cAAc,EACd,SAAS,EACT,YAAY,EACZ,SAAS,EACT,eAAe,EACf,cAAc,EACd,eAAe,EACf,aAAa,EACb,eAAe,EACf,eAAe,EACf,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,YAAY,EACV,cAAc,EACd,cAAc,EACd,UAAU,EACV,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,EACX,aAAa,EACb,cAAc,EACd,SAAS,EACT,YAAY,EACZ,SAAS,EACT,eAAe,EACf,cAAc,EACd,eAAe,EACf,aAAa,EACb,eAAe,EACf,eAAe,EACf,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EACV,YAAY,EACZ,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,wBAAwB,EACxB,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,YAAY,EACZ,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,eAAe,EACf,iBAAiB,GAClB,MAAM,iCAAiC,CAAC"}

package/dist/types.js

@@ -2,5 +2,6 @@
  * C# Emitter Types
  * Main dispatcher - re-exports from emitter-types/ subdirectory
  */
-export { createContext, indent, dedent, withStatic, withAsync, withClassName, withScoped, getIndent, renderTypeFQN, renderMemberFQN, renderFQN, FQN, } from "./emitter-types/index.js";
+export { createContext, indent, dedent, withStatic, withAsync, withClassName, withScoped, contextSurfaceIncludesJs, getIndent, renderTypeFQN, renderMemberFQN, renderFQN, FQN, } from "./emitter-types/index.js";
+export { semanticType, storageCarrier, semanticTypeOrUndefined, storageCarrierOrUndefined, semanticTypeMap, storageCarrierMap, } from "./core/semantic/type-domains.js";
 //# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAuBH,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA2BH,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,UAAU,EACV,SAAS,EACT,aAAa,EACb,UAAU,EACV,wBAAwB,EACxB,SAAS,EACT,aAAa,EACb,eAAe,EACf,SAAS,EACT,GAAG,GACJ,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,YAAY,EACZ,cAAc,EACd,uBAAuB,EACvB,yBAAyB,EACzB,eAAe,EACf,iBAAiB,GAClB,MAAM,iCAAiC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/emitter",
-  "version": "0.0.76",
+  "version": "0.0.77",
   "description": "C# code generator for Tsonic compiler",
   "type": "module",
   "main": "./dist/index.js",
@@ -25,7 +25,7 @@
     "update-golden:js": "npx tsx scripts/update-golden-tests.ts js"
   },
   "dependencies": {
-    "@tsonic/frontend": "0.0.76"
+    "@tsonic/frontend": "0.0.77"
   },
   "devDependencies": {
     "@types/chai": "5.2.2",

package/dist/core/semantic/js-value-types.d.ts

@@ -1,5 +0,0 @@
-import type { IrType } from "@tsonic/frontend";
-import type { EmitterContext } from "../../types.js";
-export { isBroadObjectSlotType, isJsValueReferenceType, normalizeBroadObjectSinkType, } from "./broad-object-types.js";
-export declare const isBroadObjectPassThroughType: (type: IrType | undefined, context: EmitterContext, seen?: Set<IrType>) => boolean;
-//# sourceMappingURL=js-value-types.d.ts.map

package/dist/core/semantic/js-value-types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"js-value-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/js-value-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AAEjC,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,EACvB,kBAAwB,KACvB,OAiDF,CAAC"}

package/dist/core/semantic/js-value-types.js

@@ -1,42 +0,0 @@
-import { resolveComparableType } from "./comparable-types.js";
-import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
-import { willCarryAsRuntimeUnion } from "./union-semantics.js";
-export { isBroadObjectSlotType, isJsValueReferenceType, normalizeBroadObjectSinkType, } from "./broad-object-types.js";
-export const isBroadObjectPassThroughType = (type, context, seen = new Set()) => {
-    if (!type || seen.has(type)) {
-        return false;
-    }
-    seen.add(type);
-    if (willCarryAsRuntimeUnion(resolveTypeAlias(stripNullish(type), context), context)) {
-        return false;
-    }
-    const resolved = resolveComparableType(type, context);
-    switch (resolved.kind) {
-        case "referenceType":
-        case "functionType":
-        case "objectType":
-        case "arrayType":
-        case "tupleType":
-        case "dictionaryType":
-            return true;
-        case "literalType":
-            return (typeof resolved.value === "string" ||
-                typeof resolved.value === "boolean");
-        case "primitiveType":
-            return (resolved.name === "string" ||
-                resolved.name === "boolean" ||
-                resolved.name === "null" ||
-                resolved.name === "undefined");
-        case "unionType":
-            return resolved.types.every((member) => {
-                const comparableMember = resolveComparableType(member, context);
-                return ((comparableMember.kind === "primitiveType" &&
-                    (comparableMember.name === "null" ||
-                        comparableMember.name === "undefined")) ||
-                    isBroadObjectPassThroughType(member, context, seen));
-            });
-        default:
-            return false;
-    }
-};
-//# sourceMappingURL=js-value-types.js.map

package/dist/core/semantic/js-value-types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"js-value-types.js","sourceRoot":"","sources":["../../../src/core/semantic/js-value-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAwB,EACxB,OAAuB,EACvB,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,IACE,uBAAuB,CACrB,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,EAC7C,OAAO,CACR,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC;QACd,KAAK,aAAa;YAChB,OAAO,CACL,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;gBAClC,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS,CACpC,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1B,QAAQ,CAAC,IAAI,KAAK,SAAS;gBAC3B,QAAQ,CAAC,IAAI,KAAK,MAAM;gBACxB,QAAQ,CAAC,IAAI,KAAK,WAAW,CAC9B,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE;gBACrC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAChE,OAAO,CACL,CAAC,gBAAgB,CAAC,IAAI,KAAK,eAAe;oBACxC,CAAC,gBAAgB,CAAC,IAAI,KAAK,MAAM;wBAC/B,gBAAgB,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;oBAC3C,4BAA4B,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CACpD,CAAC;YACJ,CAAC,CAAC,CAAC;QACL;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC"}

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

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

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

@@ -1 +0,0 @@
-{"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

@@ -1,98 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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/expressions/calls/call-dynamic-import.d.ts

@@ -1,11 +0,0 @@
-/**
- * Dynamic import() expression emission.
- * Emits import() as Task.Run(() => RuntimeHelpers.RunClassConstructor(...)).
- */
-import { IrExpression } from "@tsonic/frontend";
-import { EmitterContext } from "../../types.js";
-import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
-export declare const emitDynamicImportCall: (expr: Extract<IrExpression, {
-    kind: "call";
-}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | null;
-//# sourceMappingURL=call-dynamic-import.d.ts.map

package/dist/expressions/calls/call-dynamic-import.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"call-dynamic-import.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-dynamic-import.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAmFhD,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,IA4G1C,CAAC"}

package/dist/expressions/calls/call-dynamic-import.js

@@ -1,148 +0,0 @@
-/**
- * Dynamic import() expression emission.
- * Emits import() as Task.Run(() => RuntimeHelpers.RunClassConstructor(...)).
- */
-import { emitExpressionAst } from "../../expression-emitter.js";
-import { emitTypeAst } from "../../type-emitter.js";
-import { resolveImportPath } from "../../core/semantic/index.js";
-import { identifierExpression, identifierType, } from "../../core/format/backend-ast/builders.js";
-import { buildTaskRunInvocation } from "./call-promise.js";
-const getDynamicImportSpecifier = (expr) => {
-    const [arg] = expr.arguments;
-    if (!arg || arg.kind === "spread")
-        return undefined;
-    return arg.kind === "literal" && typeof arg.value === "string"
-        ? arg.value
-        : undefined;
-};
-const resolveDynamicImportTargetModule = (specifier, context) => {
-    const currentFilePath = context.options.currentModuleFilePath;
-    const moduleMap = context.options.moduleMap;
-    if (!currentFilePath || !moduleMap) {
-        return undefined;
-    }
-    const targetPath = resolveImportPath(currentFilePath, specifier);
-    const direct = moduleMap.get(targetPath);
-    if (direct) {
-        return direct;
-    }
-    const normalizedTarget = targetPath.replace(/\\/g, "/");
-    for (const [key, identity] of moduleMap.entries()) {
-        const normalizedKey = key.replace(/\\/g, "/");
-        if (normalizedKey === normalizedTarget ||
-            normalizedKey.endsWith(`/${normalizedTarget}`) ||
-            normalizedTarget.endsWith(`/${normalizedKey}`)) {
-            return identity;
-        }
-    }
-    return undefined;
-};
-const buildDynamicImportContainerType = (targetModule) => {
-    const containerName = targetModule.hasTypeCollision
-        ? `${targetModule.className}__Module`
-        : targetModule.className;
-    return identifierType(`global::${targetModule.namespace}.${containerName}`);
-};
-const buildRunClassConstructorExpression = (containerType) => ({
-    kind: "invocationExpression",
-    expression: {
-        kind: "memberAccessExpression",
-        expression: {
-            ...identifierExpression("global::System.Runtime.CompilerServices.RuntimeHelpers"),
-        },
-        memberName: "RunClassConstructor",
-    },
-    arguments: [
-        {
-            kind: "memberAccessExpression",
-            expression: {
-                kind: "typeofExpression",
-                type: containerType,
-            },
-            memberName: "TypeHandle",
-        },
-    ],
-});
-export const emitDynamicImportCall = (expr, context) => {
-    if (expr.callee.kind !== "identifier" || expr.callee.name !== "import") {
-        return null;
-    }
-    const specifier = getDynamicImportSpecifier(expr);
-    if (!specifier)
-        return null;
-    const completedTaskExpr = {
-        kind: "memberAccessExpression",
-        expression: identifierExpression("global::System.Threading.Tasks.Task"),
-        memberName: "CompletedTask",
-    };
-    const targetModule = resolveDynamicImportTargetModule(specifier, context);
-    if (!expr.dynamicImportNamespace) {
-        if (!targetModule || !targetModule.hasRuntimeContainer) {
-            return [completedTaskExpr, context];
-        }
-        const containerType = buildDynamicImportContainerType(targetModule);
-        const runClassConstructor = buildRunClassConstructorExpression(containerType);
-        return [
-            {
-                kind: "invocationExpression",
-                expression: {
-                    kind: "memberAccessExpression",
-                    expression: identifierExpression("global::System.Threading.Tasks.Task"),
-                    memberName: "Run",
-                },
-                arguments: [
-                    {
-                        kind: "lambdaExpression",
-                        isAsync: false,
-                        parameters: [],
-                        body: runClassConstructor,
-                    },
-                ],
-            },
-            context,
-        ];
-    }
-    if (!targetModule) {
-        throw new Error(`ICE: Closed-world dynamic import '${specifier}' was validated as a namespace import but no module identity was available during emission.`);
-    }
-    let currentContext = context;
-    const [outputTaskType, outputTaskContext] = emitTypeAst(expr.inferredType ?? {
-        kind: "referenceType",
-        name: "Promise",
-        typeArguments: [{ kind: "referenceType", name: "object" }],
-    }, currentContext);
-    currentContext = outputTaskContext;
-    const [namespaceAst, namespaceContext] = expr.dynamicImportNamespace.properties.length === 0
-        ? [
-            {
-                kind: "objectCreationExpression",
-                type: { kind: "predefinedType", keyword: "object" },
-                arguments: [],
-            },
-            currentContext,
-        ]
-        : emitExpressionAst(expr.dynamicImportNamespace, currentContext, expr.dynamicImportNamespace.inferredType);
-    currentContext = namespaceContext;
-    const setupStatements = [];
-    if (targetModule.hasRuntimeContainer) {
-        const containerType = buildDynamicImportContainerType(targetModule);
-        setupStatements.push({
-            kind: "expressionStatement",
-            expression: buildRunClassConstructorExpression(containerType),
-        });
-    }
-    return [
-        buildTaskRunInvocation(outputTaskType, {
-            kind: "blockStatement",
-            statements: [
-                ...setupStatements,
-                {
-                    kind: "returnStatement",
-                    expression: namespaceAst,
-                },
-            ],
-        }, false),
-        currentContext,
-    ];
-};
-//# sourceMappingURL=call-dynamic-import.js.map

package/dist/expressions/calls/call-dynamic-import.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"call-dynamic-import.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-dynamic-import.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAMjE,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,MAAM,yBAAyB,GAAG,CAChC,IAA6C,EACzB,EAAE;IACtB,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QAC5D,CAAC,CAAC,GAAG,CAAC,KAAK;QACX,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,SAAiB,EACjB,OAAuB,EACK,EAAE;IAC9B,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,gBAAgB,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9C,IACE,aAAa,KAAK,gBAAgB;YAClC,aAAa,CAAC,QAAQ,CAAC,IAAI,gBAAgB,EAAE,CAAC;YAC9C,gBAAgB,CAAC,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC,EAC9C,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAA8E,EAC/D,EAAE;IACjB,MAAM,aAAa,GAAG,YAAY,CAAC,gBAAgB;QACjD,CAAC,CAAC,GAAG,YAAY,CAAC,SAAS,UAAU;QACrC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;IAE3B,OAAO,cAAc,CAAC,WAAW,YAAY,CAAC,SAAS,IAAI,aAAa,EAAE,CAAC,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,aAA4B,EACP,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE;QACV,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACV,GAAG,oBAAoB,CACrB,wDAAwD,CACzD;SACF;QACD,UAAU,EAAE,qBAAqB;KAClC;IACD,SAAS,EAAE;QACT;YACE,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,aAAa;aACpB;YACD,UAAU,EAAE,YAAY;SACzB;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAA6C,EAC7C,OAAuB,EACuB,EAAE;IAChD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,iBAAiB,GAAwB;QAC7C,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,oBAAoB,CAAC,qCAAqC,CAAC;QACvE,UAAU,EAAE,eAAe;KAC5B,CAAC;IAEF,MAAM,YAAY,GAAG,gCAAgC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE1E,IAAI,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC;QACjC,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC;YACvD,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,aAAa,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACpE,MAAM,mBAAmB,GACvB,kCAAkC,CAAC,aAAa,CAAC,CAAC;QAEpD,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,oBAAoB,CAC9B,qCAAqC,CACtC;oBACD,UAAU,EAAE,KAAK;iBAClB;gBACD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,KAAK;wBACd,UAAU,EAAE,EAAE;wBACd,IAAI,EAAE,mBAAmB;qBAC1B;iBACF;aACF;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CACb,qCAAqC,SAAS,6FAA6F,CAC5I,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,CAAC,cAAc,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACrD,IAAI,CAAC,YAAY,IAAI;QACnB,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS;QACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC3D,EACD,cAAc,CACf,CAAC;IACF,cAAc,GAAG,iBAAiB,CAAC;IAEnC,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,GACpC,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACjD,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,0BAAmC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAyB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC5D,SAAS,EAAE,EAAE;aACgB;YAC/B,cAAc;SACf;QACH,CAAC,CAAC,iBAAiB,CACf,IAAI,CAAC,sBAAsB,EAC3B,cAAc,EACd,IAAI,CAAC,sBAAsB,CAAC,YAAY,CACzC,CAAC;IACR,cAAc,GAAG,gBAAgB,CAAC;IAElC,MAAM,eAAe,GAAyB,EAAE,CAAC;IACjD,IAAI,YAAY,CAAC,mBAAmB,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;QACpE,eAAe,CAAC,IAAI,CAAC;YACnB,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,kCAAkC,CAAC,aAAa,CAAC;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,sBAAsB,CACpB,cAAc,EACd;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV,GAAG,eAAe;gBAClB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,YAAY;iBACzB;aACF;SACF,EACD,KAAK,CACN;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}