@tsonic/emitter 0.0.1 → 0.0.3

package/dist/statements/classes/members.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"members.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/members.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC"}

package/{src/statements/classes/members.ts → dist/statements/classes/members.js}

@@ -2,5 +2,5 @@
  * Class member emission (properties, methods, constructors)
  * Main dispatcher - re-exports from members/ subdirectory
  */
-
 export { emitClassMember } from "./members/index.js";
+//# sourceMappingURL=members.js.map

package/dist/statements/classes/members.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"members.js","sourceRoot":"","sources":["../../../src/statements/classes/members.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/statements/classes/parameters.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Parameter emission for functions and methods
+ */
+import { IrParameter } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+/**
+ * Emit parameters for functions and methods
+ */
+export declare const emitParameters: (parameters: readonly IrParameter[], context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=parameters.d.ts.map

package/dist/statements/classes/parameters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAU,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,SAAS,WAAW,EAAE,EAClC,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAqDzB,CAAC"}

package/dist/statements/classes/parameters.js

@@ -0,0 +1,50 @@
+/**
+ * Parameter emission for functions and methods
+ */
+import { emitExpression } from "../../expression-emitter.js";
+import { emitParameterType } from "../../type-emitter.js";
+/**
+ * Emit parameters for functions and methods
+ */
+export const emitParameters = (parameters, context) => {
+    let currentContext = context;
+    const params = [];
+    for (const param of parameters) {
+        const isRest = param.isRest;
+        const isOptional = param.isOptional;
+        // Use the passing mode from IR (frontend already unwrapped ref<T>/out<T>/in<T>)
+        const paramModifier = param.passing !== "value" ? param.passing : "";
+        const actualType = param.type;
+        // Parameter type
+        let paramType = "object";
+        if (actualType) {
+            const [typeName, newContext] = emitParameterType(actualType, isOptional, currentContext);
+            currentContext = newContext;
+            paramType = typeName;
+            // TODO: Rest parameters currently map to Tsonic.Runtime.Array<T> to preserve
+            // JavaScript semantics (reduce, join, etc.). In future, could optimize to
+            // params T[] and wrap with Array.from() at call sites.
+        }
+        // Parameter name
+        let paramName = "param";
+        if (param.pattern.kind === "identifierPattern") {
+            paramName = param.pattern.name;
+        }
+        // Construct parameter string with modifier if present
+        let paramStr = paramModifier
+            ? `${paramModifier} ${paramType} ${paramName}`
+            : `${paramType} ${paramName}`;
+        if (param.initializer) {
+            // Emit the default value directly
+            const [defaultExpr, newContext] = emitExpression(param.initializer, currentContext);
+            currentContext = newContext;
+            paramStr = `${paramType} ${paramName} = ${defaultExpr.text}`;
+        }
+        else if (isOptional && !isRest) {
+            paramStr += " = default";
+        }
+        params.push(paramStr);
+    }
+    return [params.join(", "), currentContext];
+};
+//# sourceMappingURL=parameters.js.map

package/dist/statements/classes/parameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAkC,EAClC,OAAuB,EACG,EAAE;IAC5B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QAEpC,gFAAgF;QAChF,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,UAAU,GAAuB,KAAK,CAAC,IAAI,CAAC;QAElD,iBAAiB;QACjB,IAAI,SAAS,GAAG,QAAQ,CAAC;QACzB,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,UAAU,EACV,UAAU,EACV,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,SAAS,GAAG,QAAQ,CAAC;YACrB,6EAA6E;YAC7E,0EAA0E;YAC1E,uDAAuD;QACzD,CAAC;QAED,iBAAiB;QACjB,IAAI,SAAS,GAAG,OAAO,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC/C,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACjC,CAAC;QAED,sDAAsD;QACtD,IAAI,QAAQ,GAAG,aAAa;YAC1B,CAAC,CAAC,GAAG,aAAa,IAAI,SAAS,IAAI,SAAS,EAAE;YAC9C,CAAC,CAAC,GAAG,SAAS,IAAI,SAAS,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,kCAAkC;YAClC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,cAAc,CAC9C,KAAK,CAAC,WAAW,EACjB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,QAAQ,GAAG,GAAG,SAAS,IAAI,SAAS,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC;QAC/D,CAAC;aAAM,IAAI,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,QAAQ,IAAI,YAAY,CAAC;QAC3B,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/dist/statements/classes/properties.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Interface member to property emission
+ */
+import { IrInterfaceMember } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+/**
+ * Emit interface member as C# auto-property (for classes)
+ * Per spec/16-types-and-interfaces.md §2.1
+ */
+export declare const emitInterfaceMemberAsProperty: (member: IrInterfaceMember, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=properties.d.ts.map

package/dist/statements/classes/properties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAa,MAAM,gBAAgB,CAAC;AAK3D;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,QAAQ,iBAAiB,EACzB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA6EzB,CAAC"}

package/dist/statements/classes/properties.js

@@ -0,0 +1,74 @@
+/**
+ * Interface member to property emission
+ */
+import { getIndent } from "../../types.js";
+import { emitType } from "../../type-emitter.js";
+import { capitalize } from "./helpers.js";
+import { emitParameters } from "./parameters.js";
+/**
+ * Emit interface member as C# auto-property (for classes)
+ * Per spec/16-types-and-interfaces.md §2.1
+ */
+export const emitInterfaceMemberAsProperty = (member, context) => {
+    const ind = getIndent(context);
+    switch (member.kind) {
+        case "propertySignature": {
+            let currentContext = context;
+            const parts = [];
+            parts.push("public"); // All properties public
+            // Property type
+            if (member.type) {
+                // If this is an inline object type, use the extracted class name
+                let typeName;
+                if (member.type.kind === "objectType") {
+                    // Use capitalized property name as the class name
+                    typeName = capitalize(member.name);
+                }
+                else {
+                    const [emittedType, newContext] = emitType(member.type, currentContext);
+                    currentContext = newContext;
+                    typeName = emittedType;
+                }
+                // Optional members become nullable (spec §2.1)
+                const typeStr = member.isOptional ? `${typeName}?` : typeName;
+                parts.push(typeStr);
+            }
+            else {
+                const typeStr = member.isOptional ? "object?" : "object";
+                parts.push(typeStr);
+            }
+            // Property name
+            parts.push(member.name);
+            // Getter/setter (readonly is get-only)
+            const accessors = member.isReadonly ? "{ get; }" : "{ get; set; }";
+            return [`${ind}${parts.join(" ")} ${accessors}`, currentContext];
+        }
+        case "methodSignature": {
+            let currentContext = context;
+            const parts = [];
+            parts.push("public"); // All methods public
+            // Return type
+            if (member.returnType) {
+                const [returnType, newContext] = emitType(member.returnType, currentContext);
+                currentContext = newContext;
+                parts.push(returnType);
+            }
+            else {
+                parts.push("void");
+            }
+            // Method name
+            parts.push(member.name);
+            // Parameters
+            const params = emitParameters(member.parameters, currentContext);
+            currentContext = params[1];
+            // Methods in interfaces are abstract declarations
+            return [
+                `${ind}${parts.join(" ")}(${params[0]}) => throw new NotImplementedException();`,
+                currentContext,
+            ];
+        }
+        default:
+            return [`${ind}// TODO: unhandled interface member`, context];
+    }
+};
+//# sourceMappingURL=properties.js.map

package/dist/statements/classes/properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,MAAyB,EACzB,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,IAAI,cAAc,GAAG,OAAO,CAAC;YAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB;YAE9C,gBAAgB;YAChB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,iEAAiE;gBACjE,IAAI,QAAgB,CAAC;gBACrB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACtC,kDAAkD;oBAClD,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CACxC,MAAM,CAAC,IAAI,EACX,cAAc,CACf,CAAC;oBACF,cAAc,GAAG,UAAU,CAAC;oBAC5B,QAAQ,GAAG,WAAW,CAAC;gBACzB,CAAC;gBACD,+CAA+C;gBAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAC9D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;YAED,gBAAgB;YAChB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAExB,uCAAuC;YACvC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC;YAEnE,OAAO,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,EAAE,cAAc,CAAC,CAAC;QACnE,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,cAAc,GAAG,OAAO,CAAC;YAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,qBAAqB;YAE3C,cAAc;YACd,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,QAAQ,CACvC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,UAAU,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;YAED,cAAc;YACd,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAExB,aAAa;YACb,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACjE,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAE3B,kDAAkD;YAClD,OAAO;gBACL,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,2CAA2C;gBAChF,cAAc;aACf,CAAC;QACJ,CAAC;QAED;YACE,OAAO,CAAC,GAAG,GAAG,qCAAqC,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;AACH,CAAC,CAAC"}

package/dist/statements/classes.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Class-related helpers (members, constructors, parameters, interface members)
+ * Main dispatcher - re-exports from classes/ subdirectory
+ */
+export { emitClassMember, emitInterfaceMemberAsProperty, extractInlineObjectTypes, emitExtractedType, type ExtractedType, emitParameters, capitalize, } from "./classes/index.js";
+//# sourceMappingURL=classes.d.ts.map

package/dist/statements/classes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classes.d.ts","sourceRoot":"","sources":["../../src/statements/classes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,eAAe,EACf,6BAA6B,EAC7B,wBAAwB,EACxB,iBAAiB,EACjB,KAAK,aAAa,EAClB,cAAc,EACd,UAAU,GACX,MAAM,oBAAoB,CAAC"}

package/dist/statements/classes.js

@@ -0,0 +1,6 @@
+/**
+ * Class-related helpers (members, constructors, parameters, interface members)
+ * Main dispatcher - re-exports from classes/ subdirectory
+ */
+export { emitClassMember, emitInterfaceMemberAsProperty, extractInlineObjectTypes, emitExtractedType, emitParameters, capitalize, } from "./classes/index.js";
+//# sourceMappingURL=classes.js.map

package/dist/statements/classes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classes.js","sourceRoot":"","sources":["../../src/statements/classes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,eAAe,EACf,6BAA6B,EAC7B,wBAAwB,EACxB,iBAAiB,EAEjB,cAAc,EACd,UAAU,GACX,MAAM,oBAAoB,CAAC"}

package/dist/statements/control/conditionals.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Conditional statement emitters (if, switch)
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+/**
+ * Emit an if statement
+ */
+export declare const emitIfStatement: (stmt: Extract<IrStatement, {
+    kind: "ifStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+/**
+ * Emit a switch statement
+ */
+export declare const emitSwitchStatement: (stmt: Extract<IrStatement, {
+    kind: "switchStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=conditionals.d.ts.map

package/dist/statements/control/conditionals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditionals.d.ts","sourceRoot":"","sources":["../../../src/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAgB,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAA6B,MAAM,gBAAgB,CAAC;AAiD3E;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAyBzB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACvD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAwCzB,CAAC"}

package/dist/statements/control/conditionals.js

@@ -0,0 +1,98 @@
+/**
+ * Conditional statement emitters (if, switch)
+ */
+import { getIndent, indent, dedent } from "../../types.js";
+import { emitExpression } from "../../expression-emitter.js";
+import { emitStatement } from "../../statement-emitter.js";
+/**
+ * Check if an expression's inferred type is boolean
+ */
+const isBooleanCondition = (expr) => {
+    const type = expr.inferredType;
+    if (!type)
+        return false;
+    return type.kind === "primitiveType" && type.name === "boolean";
+};
+/**
+ * Convert an expression to a valid C# boolean condition.
+ * In TypeScript, any value can be used in a boolean context (truthy/falsy).
+ * In C#, only boolean expressions are valid conditions.
+ *
+ * For non-boolean expressions:
+ * - Reference types (objects, arrays): emit `expr != null`
+ * - Numbers: could emit `expr != 0` (not implemented yet)
+ * - Strings: could emit `!string.IsNullOrEmpty(expr)` (not implemented yet)
+ */
+const toBooleanCondition = (expr, emittedText) => {
+    // If already boolean, use as-is
+    if (isBooleanCondition(expr)) {
+        return emittedText;
+    }
+    // For reference types (non-primitive), add != null check
+    const type = expr.inferredType;
+    if (type && type.kind !== "primitiveType") {
+        return `${emittedText} != null`;
+    }
+    // Default: assume it's a reference type and add null check
+    // This handles cases where type inference didn't work
+    if (!type) {
+        return `${emittedText} != null`;
+    }
+    // For primitives that are not boolean, just use as-is for now
+    // TODO: Handle number truthiness (x != 0) and string truthiness
+    return emittedText;
+};
+/**
+ * Emit an if statement
+ */
+export const emitIfStatement = (stmt, context) => {
+    const ind = getIndent(context);
+    const [condFrag, condContext] = emitExpression(stmt.condition, context);
+    // Convert to boolean condition if needed
+    const condText = toBooleanCondition(stmt.condition, condFrag.text);
+    const [thenCode, thenContext] = emitStatement(stmt.thenStatement, indent(condContext));
+    let code = `${ind}if (${condText})\n${thenCode}`;
+    let finalContext = dedent(thenContext);
+    if (stmt.elseStatement) {
+        const [elseCode, elseContext] = emitStatement(stmt.elseStatement, indent(finalContext));
+        code += `\n${ind}else\n${elseCode}`;
+        finalContext = dedent(elseContext);
+    }
+    return [code, finalContext];
+};
+/**
+ * Emit a switch statement
+ */
+export const emitSwitchStatement = (stmt, context) => {
+    const ind = getIndent(context);
+    const [exprFrag, exprContext] = emitExpression(stmt.expression, context);
+    let currentContext = indent(exprContext);
+    const caseInd = getIndent(currentContext);
+    const cases = [];
+    for (const switchCase of stmt.cases) {
+        if (switchCase.test) {
+            const [testFrag, testContext] = emitExpression(switchCase.test, currentContext);
+            currentContext = testContext;
+            cases.push(`${caseInd}case ${testFrag.text}:`);
+        }
+        else {
+            cases.push(`${caseInd}default:`);
+        }
+        const stmtContext = indent(currentContext);
+        for (const s of switchCase.statements) {
+            const [code, newContext] = emitStatement(s, stmtContext);
+            cases.push(code);
+            currentContext = newContext;
+        }
+        // Add break if not already present
+        const lastStmt = switchCase.statements[switchCase.statements.length - 1];
+        if (!lastStmt ||
+            (lastStmt.kind !== "breakStatement" &&
+                lastStmt.kind !== "returnStatement")) {
+            cases.push(`${getIndent(stmtContext)}break;`);
+        }
+    }
+    const code = `${ind}switch (${exprFrag.text})\n${ind}{\n${cases.join("\n")}\n${ind}}`;
+    return [code, dedent(currentContext)];
+};
+//# sourceMappingURL=conditionals.js.map

package/dist/statements/control/conditionals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditionals.js","sourceRoot":"","sources":["../../../src/statements/control/conditionals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,WAAmB,EACX,EAAE;IACV,gCAAgC;IAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,yDAAyD;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,OAAO,GAAG,WAAW,UAAU,CAAC;IAClC,CAAC;IAED,2DAA2D;IAC3D,sDAAsD;IACtD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,GAAG,WAAW,UAAU,CAAC;IAClC,CAAC;IAED,8DAA8D;IAC9D,gEAAgE;IAChE,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAmD,EACnD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAExE,yCAAyC;IACzC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,aAAa,CAC3C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,WAAW,CAAC,CACpB,CAAC;IAEF,IAAI,IAAI,GAAG,GAAG,GAAG,OAAO,QAAQ,MAAM,QAAQ,EAAE,CAAC;IACjD,IAAI,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAEvC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,aAAa,CAC3C,IAAI,CAAC,aAAa,EAClB,MAAM,CAAC,YAAY,CAAC,CACrB,CAAC;QACF,IAAI,IAAI,KAAK,GAAG,SAAS,QAAQ,EAAE,CAAC;QACpC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAuD,EACvD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAEzE,IAAI,cAAc,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,cAAc,CAC5C,UAAU,CAAC,IAAI,EACf,cAAc,CACf,CAAC;YACF,cAAc,GAAG,WAAW,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,QAAQ,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QACjD,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,UAAU,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,mCAAmC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,IACE,CAAC,QAAQ;YACT,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB;gBACjC,QAAQ,CAAC,IAAI,KAAK,iBAAiB,CAAC,EACtC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,GAAG,WAAW,QAAQ,CAAC,IAAI,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC;IACtF,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC"}

package/dist/statements/control/exceptions.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Exception handling emitters (try, throw)
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+/**
+ * Emit a try statement
+ */
+export declare const emitTryStatement: (stmt: Extract<IrStatement, {
+    kind: "tryStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+/**
+ * Emit a throw statement
+ */
+export declare const emitThrowStatement: (stmt: Extract<IrStatement, {
+    kind: "throwStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=exceptions.d.ts.map

package/dist/statements/control/exceptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exceptions.d.ts","sourceRoot":"","sources":["../../../src/statements/control/exceptions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAa,MAAM,gBAAgB,CAAC;AAI3D;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA+BzB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAIzB,CAAC"}

package/dist/statements/control/exceptions.js

@@ -0,0 +1,38 @@
+/**
+ * Exception handling emitters (try, throw)
+ */
+import { getIndent } from "../../types.js";
+import { emitExpression } from "../../expression-emitter.js";
+import { emitBlockStatement } from "../blocks.js";
+/**
+ * Emit a try statement
+ */
+export const emitTryStatement = (stmt, context) => {
+    const ind = getIndent(context);
+    const [tryBlock, tryContext] = emitBlockStatement(stmt.tryBlock, context);
+    let code = `${ind}try\n${tryBlock}`;
+    let currentContext = tryContext;
+    if (stmt.catchClause) {
+        const param = stmt.catchClause.parameter?.kind === "identifierPattern"
+            ? stmt.catchClause.parameter.name
+            : "ex";
+        const [catchBlock, catchContext] = emitBlockStatement(stmt.catchClause.body, currentContext);
+        code += `\n${ind}catch (Exception ${param})\n${catchBlock}`;
+        currentContext = catchContext;
+    }
+    if (stmt.finallyBlock) {
+        const [finallyBlock, finallyContext] = emitBlockStatement(stmt.finallyBlock, currentContext);
+        code += `\n${ind}finally\n${finallyBlock}`;
+        currentContext = finallyContext;
+    }
+    return [code, currentContext];
+};
+/**
+ * Emit a throw statement
+ */
+export const emitThrowStatement = (stmt, context) => {
+    const ind = getIndent(context);
+    const [exprFrag, newContext] = emitExpression(stmt.expression, context);
+    return [`${ind}throw ${exprFrag.text};`, newContext];
+};
+//# sourceMappingURL=exceptions.js.map

package/dist/statements/control/exceptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../../../src/statements/control/exceptions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElD;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAoD,EACpD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE1E,IAAI,IAAI,GAAG,GAAG,GAAG,QAAQ,QAAQ,EAAE,CAAC;IACpC,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,MAAM,KAAK,GACT,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,KAAK,mBAAmB;YACtD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI;YACjC,CAAC,CAAC,IAAI,CAAC;QAEX,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,GAAG,kBAAkB,CACnD,IAAI,CAAC,WAAW,CAAC,IAAI,EACrB,cAAc,CACf,CAAC;QACF,IAAI,IAAI,KAAK,GAAG,oBAAoB,KAAK,MAAM,UAAU,EAAE,CAAC;QAC5D,cAAc,GAAG,YAAY,CAAC;IAChC,CAAC;IAED,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,MAAM,CAAC,YAAY,EAAE,cAAc,CAAC,GAAG,kBAAkB,CACvD,IAAI,CAAC,YAAY,EACjB,cAAc,CACf,CAAC;QACF,IAAI,IAAI,KAAK,GAAG,YAAY,YAAY,EAAE,CAAC;QAC3C,cAAc,GAAG,cAAc,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsD,EACtD,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,CAAC,GAAG,GAAG,SAAS,QAAQ,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,CAAC;AACvD,CAAC,CAAC"}

package/dist/statements/control/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Control flow statement emitters - Public API
+ */
+export { emitWhileStatement, emitForStatement, emitForOfStatement, } from "./loops.js";
+export { emitIfStatement, emitSwitchStatement } from "./conditionals.js";
+export { emitTryStatement, emitThrowStatement } from "./exceptions.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/statements/control/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/statements/control/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC"}

package/{src/statements/control/index.ts → dist/statements/control/index.js}

@@ -1,11 +1,7 @@
 /**
  * Control flow statement emitters - Public API
  */
-
-export {
-  emitWhileStatement,
-  emitForStatement,
-  emitForOfStatement,
-} from "./loops.js";
+export { emitWhileStatement, emitForStatement, emitForOfStatement, } from "./loops.js";
 export { emitIfStatement, emitSwitchStatement } from "./conditionals.js";
 export { emitTryStatement, emitThrowStatement } from "./exceptions.js";
+//# sourceMappingURL=index.js.map

package/dist/statements/control/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/statements/control/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/statements/control/loops.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Loop statement emitters (while, for, for-of)
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+/**
+ * Emit a while statement
+ */
+export declare const emitWhileStatement: (stmt: Extract<IrStatement, {
+    kind: "whileStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+/**
+ * Emit a for statement
+ *
+ * Special handling for canonical integer loop counters:
+ * `for (let i = 0; i < n; i++)` emits as `for (int i = 0; ...)` in C#.
+ * This avoids the double→int conversion cost when using loop variables
+ * as CLR indexers (e.g., list[i]).
+ */
+export declare const emitForStatement: (stmt: Extract<IrStatement, {
+    kind: "forStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+/**
+ * Emit a for-of statement
+ */
+export declare const emitForOfStatement: (stmt: Extract<IrStatement, {
+    kind: "forOfStatement";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=loops.d.ts.map

package/dist/statements/control/loops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loops.d.ts","sourceRoot":"","sources":["../../../src/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAgB,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAA6B,MAAM,gBAAgB,CAAC;AA4H3E;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAQzB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA0EzB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAWzB,CAAC"}