@tsonic/emitter 0.0.61 → 0.0.63

package/dist/patterns.d.ts

@@ -1,98 +1,28 @@
 /**
- * Pattern Lowering Module
+ * Pattern lowering (AST-only).
  *
- * Transforms destructuring patterns into sequences of C# variable declarations.
- * This module is used by variable declarations, for-of loops, and function parameters.
- *
- * Example transformations:
- *
- * Array pattern:
- *   const [a, b, c] = arr;
- *   =>
- *   var __t0 = arr;
- *   var a = __t0[0];
- *   var b = __t0[1];
- *   var c = __t0[2];
- *
- * Array pattern with rest:
- *   const [first, ...rest] = arr;
- *   =>
- *   var __t0 = arr;
- *   var first = __t0[0];
- *   var rest = Tsonic.Runtime.ArrayHelpers.Slice(__t0, 1);
- *
- * Object pattern:
- *   const { name, age } = person;
- *   =>
- *   var __t0 = person;
- *   var name = __t0.name;
- *   var age = __t0.age;
- *
- * Object pattern with rest:
- *   const { name, ...rest } = person;
- *   =>
- *   var __t0 = person;
- *   var name = __t0.name;
- *   var rest = new __Rest_xxxx { age = __t0.age, email = __t0.email };
+ * 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";
-/**
- * Result of pattern lowering - a list of C# statements
- */
-export type LoweringResult = {
-    /** Variable declarations generated from the pattern */
-    readonly statements: readonly string[];
-    /** The context after lowering (with any new locals registered) */
+import type { CSharpExpressionAst, CSharpMemberAst, CSharpStatementAst } from "./core/format/backend-ast/types.js";
+export type LoweringResultAst = {
+    readonly statements: readonly CSharpStatementAst[];
     readonly context: EmitterContext;
 };
-/**
- * Lower a pattern to a sequence of C# statements
- *
- * @param pattern - The pattern to lower (identifier, array, or object)
- * @param inputExpr - The C# expression being destructured
- * @param type - The type of the input expression (for type annotations)
- * @param indent - Indentation prefix for generated code
- * @param ctx - The current emitter context
- * @returns The generated statements and updated context
- */
-export declare const lowerPattern: (pattern: IrPattern, inputExpr: string, type: IrType | undefined, indent: string, ctx: EmitterContext) => LoweringResult;
-/**
- * Lower a pattern for a for-of loop variable
- * Similar to lowerPattern but handles the iteration context
- */
-export declare const lowerForOfPattern: (pattern: IrPattern, iteratorVar: string, elementType: IrType | undefined, indent: string, ctx: EmitterContext) => LoweringResult;
-/**
- * Lower a parameter pattern for function definitions
- * Generates statements to go at the beginning of the function body
- */
-export declare const lowerParameterPattern: (pattern: IrPattern, paramName: string, paramType: IrType | undefined, indent: string, ctx: EmitterContext) => LoweringResult;
-/**
- * Result of assignment pattern lowering - an expression and context
- *
- * Assignment destructuring is an expression (returns the RHS value),
- * so we return an expression string instead of statements.
- */
-export type AssignmentLoweringResult = {
-    /** The C# expression that performs the assignment and returns the value */
-    readonly expression: string;
-    /** The context after lowering */
+export declare const lowerPatternAst: (pattern: IrPattern, inputExpr: CSharpExpressionAst, type: IrType | undefined, ctx: EmitterContext) => LoweringResultAst;
+export type StaticPatternLoweringResultAst = {
+    readonly members: readonly CSharpMemberAst[];
     readonly context: EmitterContext;
 };
-/**
- * Lower an assignment pattern to a C# expression
- *
- * In JavaScript, destructuring assignment is an expression that returns the RHS:
- *   const result = ([a, b] = arr);  // result === arr
- *
- * We emit this as a parenthesized sequence expression:
- *   ((__t = rhs), (a = __t[0]), (b = __t[1]), __t)
- *
- * @param pattern - The pattern being assigned to
- * @param rhsExpr - The C# expression for the right-hand side
- * @param type - The type of the RHS expression
- * @param ctx - The current emitter context
- * @returns The expression and updated context
- */
-export declare const lowerAssignmentPattern: (pattern: IrPattern, rhsExpr: string, type: IrType | undefined, ctx: EmitterContext) => AssignmentLoweringResult;
+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 {};
 //# 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,EACL,SAAS,EAGT,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAS1D;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,uDAAuD;IACvD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAkUF;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,SAAS,SAAS,EAClB,WAAW,MAAM,EACjB,MAAM,MAAM,GAAG,SAAS,EACxB,QAAQ,MAAM,EACd,KAAK,cAAc,KAClB,cA6BF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,SAAS,EAClB,aAAa,MAAM,EACnB,aAAa,MAAM,GAAG,SAAS,EAC/B,QAAQ,MAAM,EACd,KAAK,cAAc,KAClB,cASF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,EAClB,WAAW,MAAM,EACjB,WAAW,MAAM,GAAG,SAAS,EAC7B,QAAQ,MAAM,EACd,KAAK,cAAc,KAClB,cAQF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB,GACjC,SAAS,SAAS,EAClB,SAAS,MAAM,EACf,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,cAAc,KAClB,wBAoFF,CAAC"}
+{"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;AAS1D,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAEnB,MAAM,oCAAoC,CAAC;AA6F5C,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AA6NF,eAAO,MAAM,eAAe,GAC1B,SAAS,SAAS,EAClB,WAAW,mBAAmB,EAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,cAAc,KAClB,iBAYF,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AA0OF,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,EAClB,WAAW,mBAAmB,EAC9B,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,cAAc,KAClB,8BAkBF,CAAC;AAEF,KAAK,kCAAkC,GAAG;IACxC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAuNF,eAAO,MAAM,yBAAyB,GACpC,SAAS,SAAS,EAClB,SAAS,mBAAmB,EAC5B,SAAS,MAAM,GAAG,SAAS,EAC3B,KAAK,cAAc,KAClB,kCAgFF,CAAC"}