@tsonic/emitter 0.0.74 → 0.0.75

package/dist/patterns-cases/methods-and-semantic-infra.test.js

@@ -0,0 +1,438 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../emitter.js";
+import { arrayType, createModule, numberType, stringType } from "./helpers.js";
+describe("Destructuring Pattern Lowering", () => {
+    describe("Method Parameter Destructuring", () => {
+        it("should lower destructuring in class method parameters", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "TestApp",
+                className: "Calculator",
+                isStaticContainer: false,
+                imports: [],
+                body: [
+                    {
+                        kind: "classDeclaration",
+                        name: "Calculator",
+                        members: [
+                            {
+                                kind: "methodDeclaration",
+                                name: "add",
+                                parameters: [
+                                    {
+                                        kind: "parameter",
+                                        pattern: {
+                                            kind: "arrayPattern",
+                                            elements: [
+                                                {
+                                                    pattern: { kind: "identifierPattern", name: "x" },
+                                                    isRest: false,
+                                                },
+                                                {
+                                                    pattern: { kind: "identifierPattern", name: "y" },
+                                                    isRest: false,
+                                                },
+                                            ],
+                                        },
+                                        type: arrayType(numberType),
+                                        isOptional: false,
+                                        isRest: false,
+                                        passing: "value",
+                                    },
+                                ],
+                                returnType: numberType,
+                                body: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "returnStatement",
+                                            expression: {
+                                                kind: "binary",
+                                                operator: "+",
+                                                left: { kind: "identifier", name: "x" },
+                                                right: { kind: "identifier", name: "y" },
+                                            },
+                                        },
+                                    ],
+                                },
+                                accessibility: "public",
+                                isStatic: false,
+                                isAsync: false,
+                                isGenerator: false,
+                            },
+                        ],
+                        isExported: true,
+                        typeParameters: [],
+                        implements: [],
+                        isStruct: false,
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            // Should use synthetic parameter name in method signature
+            expect(result).to.include("__param0");
+            // Should destructure at start of method body (with element type)
+            expect(result).to.include("double x = __arr0[0];");
+            expect(result).to.include("double y = __arr0[1];");
+        });
+    });
+    describe("Constructor Parameter Destructuring", () => {
+        it("should lower destructuring in constructor parameters", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "TestApp",
+                className: "Point",
+                isStaticContainer: false,
+                imports: [],
+                body: [
+                    {
+                        kind: "classDeclaration",
+                        name: "Point",
+                        members: [
+                            {
+                                kind: "propertyDeclaration",
+                                name: "x",
+                                type: numberType,
+                                accessibility: "public",
+                                isStatic: false,
+                                isReadonly: false,
+                            },
+                            {
+                                kind: "propertyDeclaration",
+                                name: "y",
+                                type: numberType,
+                                accessibility: "public",
+                                isStatic: false,
+                                isReadonly: false,
+                            },
+                            {
+                                kind: "constructorDeclaration",
+                                parameters: [
+                                    {
+                                        kind: "parameter",
+                                        pattern: {
+                                            kind: "arrayPattern",
+                                            elements: [
+                                                {
+                                                    pattern: { kind: "identifierPattern", name: "x" },
+                                                    isRest: false,
+                                                },
+                                                {
+                                                    pattern: { kind: "identifierPattern", name: "y" },
+                                                    isRest: false,
+                                                },
+                                            ],
+                                        },
+                                        type: arrayType(numberType),
+                                        isOptional: false,
+                                        isRest: false,
+                                        passing: "value",
+                                    },
+                                ],
+                                body: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "expressionStatement",
+                                            expression: {
+                                                kind: "assignment",
+                                                operator: "=",
+                                                left: {
+                                                    kind: "memberAccess",
+                                                    object: { kind: "this" },
+                                                    property: "x",
+                                                    isComputed: false,
+                                                    isOptional: false,
+                                                },
+                                                right: { kind: "identifier", name: "x" },
+                                            },
+                                        },
+                                        {
+                                            kind: "expressionStatement",
+                                            expression: {
+                                                kind: "assignment",
+                                                operator: "=",
+                                                left: {
+                                                    kind: "memberAccess",
+                                                    object: { kind: "this" },
+                                                    property: "y",
+                                                    isComputed: false,
+                                                    isOptional: false,
+                                                },
+                                                right: { kind: "identifier", name: "y" },
+                                            },
+                                        },
+                                    ],
+                                },
+                                accessibility: "public",
+                            },
+                        ],
+                        isExported: true,
+                        typeParameters: [],
+                        implements: [],
+                        isStruct: false,
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            // Should use synthetic parameter name in constructor
+            expect(result).to.include("__param0");
+            // Should destructure at start of constructor body (with element type)
+            expect(result).to.include("double x = __arr0[0];");
+            expect(result).to.include("double y = __arr0[1];");
+        });
+    });
+    describe("Shared Semantic Infrastructure", () => {
+        // Helper to create a reference type with structural members
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        const refTypeWithMembers = (name, members) => ({
+            kind: "referenceType",
+            name,
+            resolvedClrType: name,
+            structuralMembers: members,
+        });
+        it("should register typed declaration for object-rest local binding", () => {
+            const restMembers = [
+                {
+                    kind: "propertySignature",
+                    name: "extra",
+                    type: stringType,
+                    isOptional: false,
+                    isReadonly: false,
+                },
+            ];
+            const fullMembers = [
+                {
+                    kind: "propertySignature",
+                    name: "id",
+                    type: numberType,
+                    isOptional: false,
+                    isReadonly: false,
+                },
+                ...restMembers,
+            ];
+            // The synthesized rest shape type must be declared in the module
+            // (the frontend normally creates this).
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "TestApp",
+                className: "test",
+                isStaticContainer: false,
+                imports: [],
+                body: [
+                    {
+                        kind: "interfaceDeclaration",
+                        name: "__RestShape0",
+                        members: restMembers,
+                        extends: [],
+                        typeParameters: [],
+                        isExported: false,
+                        isStruct: false,
+                    },
+                    {
+                        kind: "functionDeclaration",
+                        name: "testFunc",
+                        parameters: [],
+                        returnType: { kind: "voidType" },
+                        body: {
+                            kind: "blockStatement",
+                            statements: [
+                                {
+                                    kind: "variableDeclaration",
+                                    declarationKind: "const",
+                                    declarations: [
+                                        {
+                                            kind: "variableDeclarator",
+                                            name: {
+                                                kind: "objectPattern",
+                                                properties: [
+                                                    {
+                                                        kind: "property",
+                                                        key: "id",
+                                                        value: {
+                                                            kind: "identifierPattern",
+                                                            name: "id",
+                                                        },
+                                                        shorthand: true,
+                                                    },
+                                                    {
+                                                        kind: "rest",
+                                                        pattern: {
+                                                            kind: "identifierPattern",
+                                                            name: "rest",
+                                                        },
+                                                        restShapeMembers: restMembers,
+                                                        restSynthTypeName: "__RestShape0",
+                                                    },
+                                                ],
+                                            },
+                                            type: refTypeWithMembers("FullObj", fullMembers),
+                                            initializer: { kind: "identifier", name: "obj" },
+                                        },
+                                    ],
+                                    isExported: false,
+                                },
+                            ],
+                        },
+                        isExported: true,
+                        isAsync: false,
+                        isGenerator: false,
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            // rest binding should get a typed declaration, not var
+            expect(result).to.include("__RestShape0 rest");
+            // id should still get its type
+            expect(result).to.include("double id");
+        });
+        it("should resolve array element type through alias", () => {
+            // type Names = string[];  →  const [first] = names;
+            const aliasType = {
+                kind: "referenceType",
+                name: "Names",
+            };
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "TestApp",
+                className: "test",
+                isStaticContainer: false,
+                imports: [],
+                body: [
+                    {
+                        kind: "typeAliasDeclaration",
+                        name: "Names",
+                        typeParameters: [],
+                        type: arrayType(stringType),
+                        isExported: false,
+                        isStruct: false,
+                    },
+                    {
+                        kind: "functionDeclaration",
+                        name: "testFunc",
+                        parameters: [],
+                        returnType: { kind: "voidType" },
+                        body: {
+                            kind: "blockStatement",
+                            statements: [
+                                {
+                                    kind: "variableDeclaration",
+                                    declarationKind: "const",
+                                    declarations: [
+                                        {
+                                            kind: "variableDeclarator",
+                                            name: {
+                                                kind: "arrayPattern",
+                                                elements: [
+                                                    {
+                                                        pattern: {
+                                                            kind: "identifierPattern",
+                                                            name: "first",
+                                                        },
+                                                        isRest: false,
+                                                    },
+                                                ],
+                                            },
+                                            type: aliasType,
+                                            initializer: { kind: "identifier", name: "names" },
+                                        },
+                                    ],
+                                    isExported: false,
+                                },
+                            ],
+                        },
+                        isExported: true,
+                        isAsync: false,
+                        isGenerator: false,
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            // element type should resolve through the alias to string
+            expect(result).to.include("string first");
+        });
+        it("should resolve property type through shared getPropertyType with structural members", () => {
+            const members = [
+                {
+                    kind: "propertySignature",
+                    name: "label",
+                    type: stringType,
+                    isOptional: false,
+                    isReadonly: false,
+                },
+            ];
+            const module = createModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: {
+                                kind: "objectPattern",
+                                properties: [
+                                    {
+                                        kind: "property",
+                                        key: "label",
+                                        value: { kind: "identifierPattern", name: "label" },
+                                        shorthand: true,
+                                    },
+                                ],
+                            },
+                            type: refTypeWithMembers("Widget", members),
+                            initializer: { kind: "identifier", name: "widget" },
+                        },
+                    ],
+                    isExported: false,
+                },
+            ]);
+            const result = emitModule(module);
+            // property type resolved through shared getPropertyType with structural members
+            expect(result).to.include("string label");
+        });
+        it("should lower single-element tuple via ValueTuple member access, not array indexer", () => {
+            // const [only]: [string] = tuple;  →  string only = __tuple0.Item1;
+            const tupleType = {
+                kind: "tupleType",
+                elementTypes: [stringType],
+            };
+            const module = createModule([
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: {
+                                kind: "arrayPattern",
+                                elements: [
+                                    {
+                                        pattern: { kind: "identifierPattern", name: "only" },
+                                        isRest: false,
+                                    },
+                                ],
+                            },
+                            type: tupleType,
+                            initializer: { kind: "identifier", name: "tuple" },
+                        },
+                    ],
+                    isExported: false,
+                },
+            ]);
+            const result = emitModule(module);
+            // Must use ValueTuple member access, not array indexer
+            expect(result).to.include("__tuple0.Item1");
+            expect(result).to.not.include("[0]");
+        });
+    });
+});
+//# sourceMappingURL=methods-and-semantic-infra.test.js.map

package/dist/patterns-cases/methods-and-semantic-infra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"methods-and-semantic-infra.test.js","sourceRoot":"","sources":["../../src/patterns-cases/methods-and-semantic-infra.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/E,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,YAAY;gBACvB,iBAAiB,EAAE,KAAK;gBACxB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,YAAY;wBAClB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,mBAAmB;gCACzB,IAAI,EAAE,KAAK;gCACX,UAAU,EAAE;oCACV;wCACE,IAAI,EAAE,WAAW;wCACjB,OAAO,EAAE;4CACP,IAAI,EAAE,cAAc;4CACpB,QAAQ,EAAE;gDACR;oDACE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oDACjD,MAAM,EAAE,KAAK;iDACd;gDACD;oDACE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oDACjD,MAAM,EAAE,KAAK;iDACd;6CACF;yCACF;wCACD,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC;wCAC3B,UAAU,EAAE,KAAK;wCACjB,MAAM,EAAE,KAAK;wCACb,OAAO,EAAE,OAAO;qCACjB;iCACF;gCACD,UAAU,EAAE,UAAU;gCACtB,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,iBAAiB;4CACvB,UAAU,EAAE;gDACV,IAAI,EAAE,QAAQ;gDACd,QAAQ,EAAE,GAAG;gDACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;gDACvC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;6CACzC;yCACF;qCACF;iCACF;gCACD,aAAa,EAAE,QAAQ;gCACvB,QAAQ,EAAE,KAAK;gCACf,OAAO,EAAE,KAAK;gCACd,WAAW,EAAE,KAAK;6BACnB;yBACF;wBACD,UAAU,EAAE,IAAI;wBAChB,cAAc,EAAE,EAAE;wBAClB,UAAU,EAAE,EAAE;wBACd,QAAQ,EAAE,KAAK;qBAChB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,0DAA0D;YAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACtC,iEAAiE;YACjE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,OAAO;gBAClB,iBAAiB,EAAE,KAAK;gBACxB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,IAAI,EAAE,GAAG;gCACT,IAAI,EAAE,UAAU;gCAChB,aAAa,EAAE,QAAQ;gCACvB,QAAQ,EAAE,KAAK;gCACf,UAAU,EAAE,KAAK;6BAClB;4BACD;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,IAAI,EAAE,GAAG;gCACT,IAAI,EAAE,UAAU;gCAChB,aAAa,EAAE,QAAQ;gCACvB,QAAQ,EAAE,KAAK;gCACf,UAAU,EAAE,KAAK;6BAClB;4BACD;gCACE,IAAI,EAAE,wBAAwB;gCAC9B,UAAU,EAAE;oCACV;wCACE,IAAI,EAAE,WAAW;wCACjB,OAAO,EAAE;4CACP,IAAI,EAAE,cAAc;4CACpB,QAAQ,EAAE;gDACR;oDACE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oDACjD,MAAM,EAAE,KAAK;iDACd;gDACD;oDACE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oDACjD,MAAM,EAAE,KAAK;iDACd;6CACF;yCACF;wCACD,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC;wCAC3B,UAAU,EAAE,KAAK;wCACjB,MAAM,EAAE,KAAK;wCACb,OAAO,EAAE,OAAO;qCACjB;iCACF;gCACD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,qBAAqB;4CAC3B,UAAU,EAAE;gDACV,IAAI,EAAE,YAAY;gDAClB,QAAQ,EAAE,GAAG;gDACb,IAAI,EAAE;oDACJ,IAAI,EAAE,cAAc;oDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oDACxB,QAAQ,EAAE,GAAG;oDACb,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;gDACD,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;6CACzC;yCACF;wCACD;4CACE,IAAI,EAAE,qBAAqB;4CAC3B,UAAU,EAAE;gDACV,IAAI,EAAE,YAAY;gDAClB,QAAQ,EAAE,GAAG;gDACb,IAAI,EAAE;oDACJ,IAAI,EAAE,cAAc;oDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;oDACxB,QAAQ,EAAE,GAAG;oDACb,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;gDACD,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;6CACzC;yCACF;qCACF;iCACF;gCACD,aAAa,EAAE,QAAQ;6BACxB;yBACF;wBACD,UAAU,EAAE,IAAI;wBAChB,cAAc,EAAE,EAAE;wBAClB,UAAU,EAAE,EAAE;wBACd,QAAQ,EAAE,KAAK;qBAChB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,qDAAqD;YACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACtC,sEAAsE;YACtE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,4DAA4D;QAC5D,8DAA8D;QAC9D,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,OAAc,EAAU,EAAE,CAClE,CAAC;YACC,IAAI,EAAE,eAAe;YACrB,IAAI;YACJ,eAAe,EAAE,IAAI;YACrB,iBAAiB,EAAE,OAAO;SAC3B,CAAW,CAAC;QAEf,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,WAAW,GAAG;gBAClB;oBACE,IAAI,EAAE,mBAA4B;oBAClC,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,WAAW,GAAG;gBAClB;oBACE,IAAI,EAAE,mBAA4B;oBAClC,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;gBACD,GAAG,WAAW;aACf,CAAC;YAEF,iEAAiE;YACjE,wCAAwC;YACxC,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,KAAK;gBACxB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,cAAc;wBACpB,OAAO,EAAE,WAAW;wBACpB,OAAO,EAAE,EAAE;wBACX,cAAc,EAAE,EAAE;wBAClB,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;qBAChB;oBACD;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,EAAE;wBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;wBAChC,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,qBAAqB;oCAC3B,eAAe,EAAE,OAAO;oCACxB,YAAY,EAAE;wCACZ;4CACE,IAAI,EAAE,oBAAoB;4CAC1B,IAAI,EAAE;gDACJ,IAAI,EAAE,eAAe;gDACrB,UAAU,EAAE;oDACV;wDACE,IAAI,EAAE,UAAmB;wDACzB,GAAG,EAAE,IAAI;wDACT,KAAK,EAAE;4DACL,IAAI,EAAE,mBAAmB;4DACzB,IAAI,EAAE,IAAI;yDACX;wDACD,SAAS,EAAE,IAAI;qDAChB;oDACD;wDACE,IAAI,EAAE,MAAe;wDACrB,OAAO,EAAE;4DACP,IAAI,EAAE,mBAAmB;4DACzB,IAAI,EAAE,MAAM;yDACb;wDACD,gBAAgB,EAAE,WAAW;wDAC7B,iBAAiB,EAAE,cAAc;qDAClC;iDACF;6CACF;4CACD,IAAI,EAAE,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC;4CAChD,WAAW,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE;yCACjD;qCACF;oCACD,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;wBACD,UAAU,EAAE,IAAI;wBAChB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;qBACnB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,uDAAuD;YACvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC/C,+BAA+B;YAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,oDAAoD;YACpD,MAAM,SAAS,GAAW;gBACxB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;aACd,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,KAAK;gBACxB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC;wBAC3B,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;qBAChB;oBACD;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,EAAE;wBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;wBAChC,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,qBAAqB;oCAC3B,eAAe,EAAE,OAAO;oCACxB,YAAY,EAAE;wCACZ;4CACE,IAAI,EAAE,oBAAoB;4CAC1B,IAAI,EAAE;gDACJ,IAAI,EAAE,cAAc;gDACpB,QAAQ,EAAE;oDACR;wDACE,OAAO,EAAE;4DACP,IAAI,EAAE,mBAAmB;4DACzB,IAAI,EAAE,OAAO;yDACd;wDACD,MAAM,EAAE,KAAK;qDACd;iDACF;6CACF;4CACD,IAAI,EAAE,SAAS;4CACf,WAAW,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;yCACnD;qCACF;oCACD,UAAU,EAAE,KAAK;iCAClB;6BACF;yBACF;wBACD,UAAU,EAAE,IAAI;wBAChB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;qBACnB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,0DAA0D;YAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;YAC7F,MAAM,OAAO,GAAG;gBACd;oBACE,IAAI,EAAE,mBAA4B;oBAClC,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE;gCACJ,IAAI,EAAE,eAAe;gCACrB,UAAU,EAAE;oCACV;wCACE,IAAI,EAAE,UAAmB;wCACzB,GAAG,EAAE,OAAO;wCACZ,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;wCACnD,SAAS,EAAE,IAAI;qCAChB;iCACF;6BACF;4BACD,IAAI,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC;4BAC3C,WAAW,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;yBACpD;qBACF;oBACD,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,gFAAgF;YAChF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;YAC3F,oEAAoE;YACpE,MAAM,SAAS,GAAW;gBACxB,IAAI,EAAE,WAAW;gBACjB,YAAY,EAAE,CAAC,UAAU,CAAC;aAC3B,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE;gCACJ,IAAI,EAAE,cAAc;gCACpB,QAAQ,EAAE;oCACR;wCACE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;wCACpD,MAAM,EAAE,KAAK;qCACd;iCACF;6BACF;4BACD,IAAI,EAAE,SAAS;4BACf,WAAW,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;yBACnD;qBACF;oBACD,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,uDAAuD;YACvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/patterns.d.ts

@@ -1,28 +1,13 @@
 /**
- * Pattern lowering (AST-only).
+ * Pattern lowering (AST-only) -- facade.
  *
  * Handles destructuring for:
  * - local declarations
  * - static/module-level field declarations
  * - assignment expressions
  */
-import { IrPattern, IrType } from "@tsonic/frontend";
-import { EmitterContext } from "./emitter-types/index.js";
-import type { CSharpExpressionAst, CSharpMemberAst, CSharpStatementAst } from "./core/format/backend-ast/types.js";
-export type LoweringResultAst = {
-    readonly statements: readonly CSharpStatementAst[];
-    readonly context: EmitterContext;
-};
-export declare const lowerPatternAst: (pattern: IrPattern, inputExpr: CSharpExpressionAst, type: IrType | undefined, ctx: EmitterContext) => LoweringResultAst;
-export type StaticPatternLoweringResultAst = {
-    readonly members: readonly CSharpMemberAst[];
-    readonly context: EmitterContext;
-};
-export declare const lowerPatternToStaticMembersAst: (pattern: IrPattern, inputExpr: CSharpExpressionAst, type: IrType | undefined, ctx: EmitterContext) => StaticPatternLoweringResultAst;
-type AssignmentPatternLoweringResultAst = {
-    readonly expression: CSharpExpressionAst;
-    readonly context: EmitterContext;
-};
-export declare const lowerAssignmentPatternAst: (pattern: IrPattern, rhsExpr: CSharpExpressionAst, rhsType: IrType | undefined, ctx: EmitterContext) => AssignmentPatternLoweringResultAst;
-export {};
+export type { LoweringResultAst } from "./patterns/local-lowering.js";
+export { lowerPatternAst } from "./patterns/local-lowering.js";
+export type { StaticPatternLoweringResultAst } from "./patterns/static-assignment-lowering.js";
+export { lowerPatternToStaticMembersAst, lowerAssignmentPatternAst, } from "./patterns/static-assignment-lowering.js";
 //# sourceMappingURL=patterns.d.ts.map

package/dist/patterns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../src/patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAIL,SAAS,EACT,MAAM,EACP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAkB1D,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAEnB,MAAM,oCAAoC,CAAC;AAsL5C,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAuSF,eAAO,MAAM,eAAe,GAC1B,SAAS,SAAS,EAClB,WAAW,mBAAmB,EAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,cAAc,KAClB,iBAeF,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AA0SF,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,EAClB,WAAW,mBAAmB,EAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,cAAc,KAClB,8BAqBF,CAAC;AAEF,KAAK,kCAAkC,GAAG;IACxC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAmQF,eAAO,MAAM,yBAAyB,GACpC,SAAS,SAAS,EAClB,SAAS,mBAAmB,EAC5B,SAAS,MAAM,GAAG,SAAS,EAC3B,KAAK,cAAc,KAClB,kCA4EF,CAAC"}
+{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../src/patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,YAAY,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,YAAY,EAAE,8BAA8B,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EACL,8BAA8B,EAC9B,yBAAyB,GAC1B,MAAM,0CAA0C,CAAC"}