@tsonic/emitter 0.0.62 → 0.0.64

package/dist/core/format/backend-ast/printer.js

@@ -0,0 +1,1151 @@
+/**
+ * Backend AST Printer
+ *
+ * Converts typed C# AST nodes into deterministic C# source text.
+ * Pure and stateless - no parsing, no string heuristics.
+ *
+ * Parenthesization is derived from operator precedence tables,
+ * not from advisory metadata on fragments.
+ */
+// ============================================================
+// C# reserved keywords for identifier escaping
+// ============================================================
+const CSHARP_KEYWORDS = new Set([
+    "abstract",
+    "as",
+    "bool",
+    "break",
+    "byte",
+    "case",
+    "catch",
+    "char",
+    "checked",
+    "class",
+    "const",
+    "continue",
+    "decimal",
+    "default",
+    "delegate",
+    "do",
+    "double",
+    "else",
+    "enum",
+    "event",
+    "explicit",
+    "extern",
+    "finally",
+    "fixed",
+    "float",
+    "for",
+    "foreach",
+    "goto",
+    "if",
+    "implicit",
+    "in",
+    "int",
+    "interface",
+    "internal",
+    "is",
+    "lock",
+    "long",
+    "namespace",
+    "new",
+    "null",
+    "object",
+    "operator",
+    "out",
+    "override",
+    "params",
+    "private",
+    "protected",
+    "public",
+    "readonly",
+    "ref",
+    "return",
+    "sbyte",
+    "sealed",
+    "short",
+    "sizeof",
+    "stackalloc",
+    "static",
+    "string",
+    "struct",
+    "switch",
+    "throw",
+    "try",
+    "typeof",
+    "uint",
+    "ulong",
+    "unchecked",
+    "unsafe",
+    "ushort",
+    "using",
+    "virtual",
+    "void",
+    "volatile",
+    "while",
+]);
+/**
+ * C# predefined type keywords that should NOT be escaped with @
+ * when used in type position (they are the type name itself).
+ */
+const PREDEFINED_TYPE_KEYWORDS = new Set([
+    "bool",
+    "byte",
+    "char",
+    "decimal",
+    "double",
+    "float",
+    "int",
+    "long",
+    "object",
+    "sbyte",
+    "short",
+    "string",
+    "uint",
+    "ulong",
+    "ushort",
+    "void",
+    "nint",
+    "nuint",
+]);
+/**
+ * Escape a C# identifier if it's a keyword.
+ * Preserves predefined type keywords when used as types.
+ */
+const escapeIdentifier = (name) => CSHARP_KEYWORDS.has(name) ? `@${name}` : name;
+/**
+ * Escape segments in a qualified name (e.g. "global::Foo.stackalloc.Bar").
+ * The "global::" prefix and predefined type keywords are preserved.
+ */
+const escapeQualifiedName = (name, preservePredefinedTypeKeywords = false) => {
+    const globalPrefix = "global::";
+    const hasGlobal = name.startsWith(globalPrefix);
+    const body = hasGlobal ? name.slice(globalPrefix.length) : name;
+    const escaped = body
+        .split(".")
+        .map((segment) => CSHARP_KEYWORDS.has(segment) &&
+        !(preservePredefinedTypeKeywords && PREDEFINED_TYPE_KEYWORDS.has(segment))
+        ? `@${segment}`
+        : segment)
+        .join(".");
+    return hasGlobal ? `${globalPrefix}${escaped}` : escaped;
+};
+// ============================================================
+// Operator precedence for parenthesization
+// ============================================================
+/**
+ * C# operator precedence levels (higher = binds tighter).
+ * Used by the printer to insert parentheses only when necessary.
+ */
+const getOperatorPrecedence = (op) => {
+    switch (op) {
+        // Assignment operators (lowest)
+        case "=":
+        case "+=":
+        case "-=":
+        case "*=":
+        case "/=":
+        case "%=":
+        case "&=":
+        case "|=":
+        case "^=":
+        case "<<=":
+        case ">>=":
+        case "??=":
+            return 1;
+        // Conditional ternary
+        // (handled separately, not via this function)
+        // Null-coalescing
+        case "??":
+            return 3;
+        // Logical OR
+        case "||":
+            return 4;
+        // Logical AND
+        case "&&":
+            return 5;
+        // Bitwise OR
+        case "|":
+            return 6;
+        // Bitwise XOR
+        case "^":
+            return 7;
+        // Bitwise AND
+        case "&":
+            return 8;
+        // Equality
+        case "==":
+        case "!=":
+            return 9;
+        // Relational (includes is, as - handled separately)
+        case "<":
+        case ">":
+        case "<=":
+        case ">=":
+            return 10;
+        // Shift
+        case "<<":
+        case ">>":
+            return 11;
+        // Additive
+        case "+":
+        case "-":
+            return 12;
+        // Multiplicative
+        case "*":
+        case "/":
+        case "%":
+            return 13;
+        default:
+            return 0;
+    }
+};
+/**
+ * Get the effective precedence of an expression for parenthesization decisions.
+ */
+const getExpressionPrecedence = (expr) => {
+    switch (expr.kind) {
+        case "assignmentExpression":
+            return 1;
+        case "conditionalExpression":
+            return 2;
+        case "binaryExpression":
+            return getOperatorPrecedence(expr.operatorToken);
+        case "isExpression":
+        case "asExpression":
+            return 10; // Relational level
+        case "prefixUnaryExpression":
+            return 14; // Unary prefix
+        case "postfixUnaryExpression":
+            return 15; // Unary postfix
+        case "castExpression":
+            return 14; // Cast is at unary level
+        case "awaitExpression":
+            return 14; // Await is at unary level
+        // Primary expressions (highest precedence)
+        case "literalExpression":
+        case "identifierExpression":
+        case "parenthesizedExpression":
+        case "memberAccessExpression":
+        case "conditionalMemberAccessExpression":
+        case "elementAccessExpression":
+        case "conditionalElementAccessExpression":
+        case "invocationExpression":
+        case "objectCreationExpression":
+        case "arrayCreationExpression":
+        case "stackAllocArrayCreationExpression":
+        case "defaultExpression":
+        case "typeofExpression":
+        case "interpolatedStringExpression":
+        case "suppressNullableWarningExpression":
+        case "switchExpression":
+            return 16;
+        case "argumentModifierExpression":
+            return 16; // Argument modifier is used in argument position only
+        case "tupleExpression":
+            return 16; // Tuple literals are primary expressions
+        case "lambdaExpression":
+            return 0; // Lambda needs parens almost everywhere
+        case "throwExpression":
+            return 0; // Throw expression is very low precedence
+        default:
+            return 0;
+    }
+};
+/**
+ * Whether an expression needs parenthesization when used as an operand
+ * of a binary expression with the given parent precedence.
+ */
+const needsParensInBinary = (child, parentPrecedence, isRightOperand) => {
+    const childPrec = getExpressionPrecedence(child);
+    if (childPrec < parentPrecedence)
+        return true;
+    // For same-precedence, right-associative operators (assignment)
+    // don't need parens on the right side
+    if (childPrec === parentPrecedence && isRightOperand) {
+        // Assignment is right-associative
+        if (child.kind === "assignmentExpression") {
+            return false;
+        }
+        // Associative operators at exclusive precedence levels: grouping doesn't
+        // change semantics, so right-side parens are unnecessary.
+        // Each of these operators is the sole occupant of its precedence level,
+        // so same-prec right child must be the same operator.
+        if (child.kind === "binaryExpression" &&
+            (child.operatorToken === "&&" ||
+                child.operatorToken === "||" ||
+                child.operatorToken === "|" ||
+                child.operatorToken === "&" ||
+                child.operatorToken === "^")) {
+            return false;
+        }
+        // Left-associative (and ?? for readability): right operand at same precedence needs parens
+        return true;
+    }
+    return false;
+};
+/**
+ * Wrap expression text in parens if needed for the given context.
+ */
+const parenthesizeIfNeeded = (expr, parentPrecedence, isRightOperand) => {
+    const text = printExpression(expr);
+    return needsParensInBinary(expr, parentPrecedence, isRightOperand)
+        ? `(${text})`
+        : text;
+};
+// ============================================================
+// Type Printer
+// ============================================================
+export const printType = (type) => {
+    switch (type.kind) {
+        case "predefinedType":
+            return type.keyword;
+        case "identifierType": {
+            const name = escapeQualifiedName(type.name, true);
+            if (!type.typeArguments || type.typeArguments.length === 0) {
+                return name;
+            }
+            const args = type.typeArguments.map(printType).join(", ");
+            return `${name}<${args}>`;
+        }
+        case "nullableType":
+            return `${printType(type.underlyingType)}?`;
+        case "arrayType": {
+            const elem = printType(type.elementType);
+            if (type.rank === 1) {
+                return `${elem}[]`;
+            }
+            const commas = ",".repeat(type.rank - 1);
+            return `${elem}[${commas}]`;
+        }
+        case "pointerType":
+            return `${printType(type.elementType)}*`;
+        case "tupleType": {
+            const elems = type.elements
+                .map((e) => e.name ? `${printType(e.type)} ${e.name}` : printType(e.type))
+                .join(", ");
+            return `(${elems})`;
+        }
+        case "varType":
+            return "var";
+        default: {
+            const exhaustiveCheck = type;
+            throw new Error(`ICE: Unhandled type AST kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+// ============================================================
+// Expression Printer
+// ============================================================
+export const printExpression = (expr) => {
+    switch (expr.kind) {
+        case "literalExpression":
+            return expr.text;
+        case "identifierExpression":
+            return escapeIdentifier(expr.identifier);
+        case "parenthesizedExpression":
+            return `(${printExpression(expr.expression)})`;
+        case "memberAccessExpression":
+            return `${printPrimaryExpression(expr.expression)}.${escapeIdentifier(expr.memberName)}`;
+        case "conditionalMemberAccessExpression":
+            return `${printPrimaryExpression(expr.expression)}?.${escapeIdentifier(expr.memberName)}`;
+        case "elementAccessExpression": {
+            const args = expr.arguments.map(printExpression).join(", ");
+            return `${printPrimaryExpression(expr.expression)}[${args}]`;
+        }
+        case "conditionalElementAccessExpression": {
+            const args = expr.arguments.map(printExpression).join(", ");
+            return `${printPrimaryExpression(expr.expression)}?[${args}]`;
+        }
+        case "invocationExpression": {
+            const callee = printPrimaryExpression(expr.expression);
+            const typeArgs = expr.typeArguments && expr.typeArguments.length > 0
+                ? `<${expr.typeArguments.map(printType).join(", ")}>`
+                : "";
+            const args = expr.arguments.map(printExpression).join(", ");
+            return `${callee}${typeArgs}(${args})`;
+        }
+        case "objectCreationExpression": {
+            const typeName = printType(expr.type);
+            const args = expr.arguments.map(printExpression).join(", ");
+            const init = expr.initializer && expr.initializer.length > 0
+                ? ` { ${expr.initializer.map(printExpression).join(", ")} }`
+                : "";
+            // Omit () when using collection/object initializer with no constructor args
+            // (C# allows `new List<T> { ... }` without parentheses)
+            const argsSection = expr.initializer && expr.initializer.length > 0 && args.length === 0
+                ? ""
+                : `(${args})`;
+            return `new ${typeName}${argsSection}${init}`;
+        }
+        case "arrayCreationExpression": {
+            // varType element type → implicitly-typed new[] { ... }
+            const isImplicit = expr.elementType.kind === "varType";
+            const elemType = isImplicit ? "" : ` ${printType(expr.elementType)}`;
+            if (expr.initializer && expr.initializer.length > 0) {
+                const elems = expr.initializer.map(printExpression).join(", ");
+                if (expr.sizeExpression) {
+                    return `new${elemType}[${printExpression(expr.sizeExpression)}] { ${elems} }`;
+                }
+                return `new${elemType}[] { ${elems} }`;
+            }
+            if (expr.sizeExpression) {
+                return `new${elemType}[${printExpression(expr.sizeExpression)}]`;
+            }
+            return `new${elemType}[0]`;
+        }
+        case "stackAllocArrayCreationExpression":
+            return `stackalloc ${printType(expr.elementType)}[${printExpression(expr.sizeExpression)}]`;
+        case "assignmentExpression": {
+            const left = printExpression(expr.left);
+            const right = printExpression(expr.right);
+            return `${left} ${expr.operatorToken} ${right}`;
+        }
+        case "binaryExpression": {
+            const prec = getOperatorPrecedence(expr.operatorToken);
+            const left = parenthesizeIfNeeded(expr.left, prec, false);
+            const right = parenthesizeIfNeeded(expr.right, prec, true);
+            return `${left} ${expr.operatorToken} ${right}`;
+        }
+        case "prefixUnaryExpression": {
+            const operand = printUnaryOperand(expr.operand, true);
+            // Operators like ++ and -- need no space, but ! and - do if operand starts with same char
+            if ((expr.operatorToken === "-" && operand.startsWith("-")) ||
+                (expr.operatorToken === "+" && operand.startsWith("+"))) {
+                return `${expr.operatorToken} ${operand}`;
+            }
+            return `${expr.operatorToken}${operand}`;
+        }
+        case "postfixUnaryExpression":
+            return `${printUnaryOperand(expr.operand, false)}${expr.operatorToken}`;
+        case "conditionalExpression": {
+            const cond = printExpression(expr.condition);
+            const whenTrue = printExpression(expr.whenTrue);
+            const whenFalse = printExpression(expr.whenFalse);
+            return `${cond} ? ${whenTrue} : ${whenFalse}`;
+        }
+        case "castExpression": {
+            const typeName = printType(expr.type);
+            const operand = printCastOperand(expr.expression);
+            return `(${typeName})${operand}`;
+        }
+        case "asExpression": {
+            const inner = printExpression(expr.expression);
+            return `${inner} as ${printType(expr.type)}`;
+        }
+        case "isExpression": {
+            const inner = printExpression(expr.expression);
+            const pattern = printPattern(expr.pattern);
+            return `${inner} is ${pattern}`;
+        }
+        case "defaultExpression":
+            return expr.type ? `default(${printType(expr.type)})` : "default";
+        case "awaitExpression":
+            return `await ${printUnaryOperand(expr.expression, true)}`;
+        case "lambdaExpression":
+            return printLambdaExpression(expr);
+        case "interpolatedStringExpression":
+            return printInterpolatedString(expr.parts);
+        case "throwExpression":
+            return `throw ${printExpression(expr.expression)}`;
+        case "suppressNullableWarningExpression":
+            return `${printPrimaryExpression(expr.expression)}!`;
+        case "typeofExpression":
+            return `typeof(${printType(expr.type)})`;
+        case "switchExpression":
+            return printSwitchExpression(expr);
+        case "argumentModifierExpression":
+            return `${expr.modifier} ${printExpression(expr.expression)}`;
+        case "tupleExpression": {
+            const elems = expr.elements.map(printExpression).join(", ");
+            return `(${elems})`;
+        }
+        default: {
+            const exhaustiveCheck = expr;
+            throw new Error(`ICE: Unhandled expression AST kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+/**
+ * Print an expression that appears in a "primary" position
+ * (before `.member`, `[index]`, `(args)`, etc.).
+ * Wraps in parens if needed.
+ */
+const printPrimaryExpression = (expr) => {
+    const text = printExpression(expr);
+    const prec = getExpressionPrecedence(expr);
+    // Primary position requires precedence >= 15 (postfix and primary)
+    // or the expression is already a parenthesized/literal/identifier
+    if (prec >= 15)
+        return text;
+    if (expr.kind === "parenthesizedExpression" ||
+        expr.kind === "literalExpression" ||
+        expr.kind === "identifierExpression" ||
+        expr.kind === "defaultExpression" ||
+        expr.kind === "typeofExpression" ||
+        expr.kind === "interpolatedStringExpression" ||
+        expr.kind === "objectCreationExpression" ||
+        expr.kind === "arrayCreationExpression") {
+        return text;
+    }
+    return `(${text})`;
+};
+/**
+ * Print an expression that appears as a unary operand.
+ */
+const printUnaryOperand = (expr, isPrefix) => {
+    const text = printExpression(expr);
+    const prec = getExpressionPrecedence(expr);
+    if (isPrefix) {
+        // Prefix unary needs operand to be at least unary precedence
+        return prec >= 14 ? text : `(${text})`;
+    }
+    // Postfix unary needs primary expression
+    return prec >= 15 ? text : `(${text})`;
+};
+/**
+ * Print an expression that appears as a cast operand.
+ * Special rules: unary minus after cast needs parens to avoid ambiguity.
+ */
+const printCastOperand = (expr) => {
+    const text = printExpression(expr);
+    // Cast operand needs at least unary precedence
+    if (getExpressionPrecedence(expr) < 14) {
+        return `(${text})`;
+    }
+    // Special case: negative literals after cast need parens
+    // (int)-1 is ambiguous: could be cast or subtraction
+    if (expr.kind === "prefixUnaryExpression" && expr.operatorToken === "-") {
+        return `(${text})`;
+    }
+    if (expr.kind === "literalExpression" && text.startsWith("-")) {
+        return `(${text})`;
+    }
+    return text;
+};
+const printLambdaExpression = (expr) => {
+    const asyncPrefix = expr.isAsync ? "async " : "";
+    const params = printLambdaParameters(expr.parameters);
+    if (expr.body.kind === "blockStatement") {
+        if (expr.bodyIndent != null) {
+            // Multi-line block body with flat-block convention (braces + body at same indent)
+            return `${asyncPrefix}${params} =>\n${printStatementFlatBlock(expr.body, expr.bodyIndent)}`;
+        }
+        // Inline single-line block body: () => { stmt1; stmt2; }
+        const stmts = expr.body.statements
+            .map((s) => printStatement(s, ""))
+            .join(" ");
+        return `${asyncPrefix}${params} => { ${stmts} }`;
+    }
+    return `${asyncPrefix}${params} => ${printExpression(expr.body)}`;
+};
+const printLambdaParameters = (params) => {
+    const sole = params.length === 1 ? params[0] : undefined;
+    if (sole && !sole.type && !sole.modifier) {
+        return escapeIdentifier(sole.name);
+    }
+    const parts = params.map((p) => {
+        const mod = p.modifier ? `${p.modifier} ` : "";
+        return p.type
+            ? `${mod}${printType(p.type)} ${escapeIdentifier(p.name)}`
+            : `${mod}${escapeIdentifier(p.name)}`;
+    });
+    return `(${parts.join(", ")})`;
+};
+const printInterpolatedString = (parts) => {
+    const inner = parts
+        .map((part) => {
+        if (part.kind === "text")
+            return part.text;
+        const exprText = printExpression(part.expression);
+        // Wrap in parens if the expression text contains ':' to prevent
+        // C# from interpreting it as a format specifier delimiter.
+        // Common case: global::Namespace.Type, ternary a ? b : c
+        const safeText = exprText.includes(":") ? `(${exprText})` : exprText;
+        return part.formatClause
+            ? `{${safeText}:${part.formatClause}}`
+            : `{${safeText}}`;
+    })
+        .join("");
+    return `$"${inner}"`;
+};
+const printSwitchExpression = (expr) => {
+    const gov = printExpression(expr.governingExpression);
+    const arms = expr.arms.map(printSwitchExpressionArm).join(", ");
+    return `${gov} switch { ${arms} }`;
+};
+const printSwitchExpressionArm = (arm) => {
+    const pattern = printPattern(arm.pattern);
+    const whenClause = arm.whenClause
+        ? ` when ${printExpression(arm.whenClause)}`
+        : "";
+    const result = printExpression(arm.expression);
+    return `${pattern}${whenClause} => ${result}`;
+};
+// ============================================================
+// Pattern Printer
+// ============================================================
+export const printPattern = (pattern) => {
+    switch (pattern.kind) {
+        case "typePattern":
+            return printType(pattern.type);
+        case "declarationPattern":
+            return `${printType(pattern.type)} ${escapeIdentifier(pattern.designation)}`;
+        case "varPattern":
+            return `var ${escapeIdentifier(pattern.designation)}`;
+        case "constantPattern":
+            return printExpression(pattern.expression);
+        case "discardPattern":
+            return "_";
+        case "negatedPattern":
+            return `not ${printPattern(pattern.pattern)}`;
+        default: {
+            const exhaustiveCheck = pattern;
+            throw new Error(`ICE: Unhandled pattern AST kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+// ============================================================
+// Statement Printer
+// ============================================================
+export const printStatement = (stmt, indent) => {
+    switch (stmt.kind) {
+        case "blockStatement":
+            return printBlockStatement(stmt, indent);
+        case "localDeclarationStatement": {
+            const mods = stmt.modifiers.length > 0 ? `${stmt.modifiers.join(" ")} ` : "";
+            const typeStr = printType(stmt.type);
+            const decls = stmt.declarators
+                .map((d) => d.initializer
+                ? `${escapeIdentifier(d.name)} = ${printExpression(d.initializer)}`
+                : escapeIdentifier(d.name))
+                .join(", ");
+            return `${indent}${mods}${typeStr} ${decls};`;
+        }
+        case "localFunctionStatement": {
+            const mods = stmt.modifiers.length > 0 ? `${stmt.modifiers.join(" ")} ` : "";
+            const ret = printType(stmt.returnType);
+            const typeParams = stmt.typeParameters && stmt.typeParameters.length > 0
+                ? `<${stmt.typeParameters.join(", ")}>`
+                : "";
+            const params = stmt.parameters.map(printParameter).join(", ");
+            const body = printBlockStatement(stmt.body, indent);
+            return `${indent}${mods}${ret} ${escapeIdentifier(stmt.name)}${typeParams}(${params})\n${body}`;
+        }
+        case "expressionStatement":
+            return `${indent}${printExpression(stmt.expression)};`;
+        case "ifStatement":
+            return printIfStatement(stmt, indent);
+        case "whileStatement": {
+            const cond = printExpression(stmt.condition);
+            const body = printStatement(stmt.body, indent);
+            return `${indent}while (${cond})\n${body}`;
+        }
+        case "forStatement":
+            return printForStatement(stmt, indent);
+        case "foreachStatement": {
+            const awaitStr = stmt.isAwait ? "await " : "";
+            const typeStr = printType(stmt.type);
+            const ident = escapeIdentifier(stmt.identifier);
+            const collection = printExpression(stmt.expression);
+            const body = printStatement(stmt.body, indent);
+            return `${indent}${awaitStr}foreach (${typeStr} ${ident} in ${collection})\n${body}`;
+        }
+        case "switchStatement":
+            return printSwitchStatement(stmt, indent);
+        case "tryStatement":
+            return printTryStatement(stmt, indent);
+        case "throwStatement":
+            return stmt.expression
+                ? `${indent}throw ${printExpression(stmt.expression)};`
+                : `${indent}throw;`;
+        case "returnStatement":
+            return stmt.expression
+                ? `${indent}return ${printExpression(stmt.expression)};`
+                : `${indent}return;`;
+        case "breakStatement":
+            return `${indent}break;`;
+        case "continueStatement":
+            return `${indent}continue;`;
+        case "emptyStatement":
+            return `${indent};`;
+        case "yieldStatement":
+            if (stmt.isBreak) {
+                return `${indent}yield break;`;
+            }
+            return stmt.expression
+                ? `${indent}yield return ${printExpression(stmt.expression)};`
+                : `${indent}yield return;`;
+        default: {
+            const exhaustiveCheck = stmt;
+            throw new Error(`ICE: Unhandled statement AST kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+const printBlockStatement = (block, indent) => {
+    const innerIndent = indent + "    ";
+    const stmts = block.statements
+        .map((s) => printStatement(s, innerIndent))
+        .join("\n");
+    return `${indent}{\n${stmts}\n${indent}}`;
+};
+const printIfStatement = (stmt, indent) => {
+    const cond = printExpression(stmt.condition);
+    const thenBody = printStatement(stmt.thenStatement, indent);
+    if (!stmt.elseStatement) {
+        return `${indent}if (${cond})\n${thenBody}`;
+    }
+    // Else-if chain: don't add extra indentation
+    if (stmt.elseStatement.kind === "ifStatement") {
+        const elseIfText = printIfStatement(stmt.elseStatement, indent);
+        // Strip the indent from the else-if since we're adding "else " prefix
+        const elseIfBody = elseIfText.slice(indent.length);
+        return `${indent}if (${cond})\n${thenBody}\n${indent}else ${elseIfBody}`;
+    }
+    const elseBody = printStatement(stmt.elseStatement, indent);
+    return `${indent}if (${cond})\n${thenBody}\n${indent}else\n${elseBody}`;
+};
+const printForStatement = (stmt, indent) => {
+    const parts = [];
+    // Initializer
+    if (stmt.declaration) {
+        const typeStr = printType(stmt.declaration.type);
+        const decls = stmt.declaration.declarators
+            .map((d) => d.initializer
+            ? `${escapeIdentifier(d.name)} = ${printExpression(d.initializer)}`
+            : escapeIdentifier(d.name))
+            .join(", ");
+        parts.push(`${typeStr} ${decls}`);
+    }
+    else if (stmt.initializers && stmt.initializers.length > 0) {
+        parts.push(stmt.initializers.map(printExpression).join(", "));
+    }
+    else {
+        parts.push("");
+    }
+    // Condition
+    parts.push(stmt.condition ? printExpression(stmt.condition) : "");
+    // Incrementors
+    parts.push(stmt.incrementors.map(printExpression).join(", "));
+    const header = parts.join("; ");
+    const body = printStatement(stmt.body, indent);
+    return `${indent}for (${header})\n${body}`;
+};
+const printSwitchStatement = (stmt, indent) => {
+    const expr = printExpression(stmt.expression);
+    const innerIndent = indent + "    ";
+    const sections = stmt.sections
+        .map((s) => printSwitchSection(s, innerIndent))
+        .join("\n");
+    return `${indent}switch (${expr})\n${indent}{\n${sections}\n${indent}}`;
+};
+const printSwitchSection = (section, indent) => {
+    const labels = section.labels
+        .map((l) => printSwitchLabel(l, indent))
+        .join("\n");
+    const stmtIndent = indent + "    ";
+    const stmts = section.statements
+        .map((s) => printStatement(s, stmtIndent))
+        .join("\n");
+    return `${labels}\n${stmts}`;
+};
+const printSwitchLabel = (label, indent) => {
+    switch (label.kind) {
+        case "caseSwitchLabel":
+            return `${indent}case ${printExpression(label.value)}:`;
+        case "casePatternSwitchLabel": {
+            const pattern = printPattern(label.pattern);
+            const when = label.whenClause
+                ? ` when ${printExpression(label.whenClause)}`
+                : "";
+            return `${indent}case ${pattern}${when}:`;
+        }
+        case "defaultSwitchLabel":
+            return `${indent}default:`;
+    }
+};
+const printTryStatement = (stmt, indent) => {
+    const tryBody = printBlockStatement(stmt.body, indent);
+    const catches = stmt.catches
+        .map((c) => printCatchClause(c, indent))
+        .join("\n");
+    const finallyStr = stmt.finallyBody
+        ? `\n${indent}finally\n${printBlockStatement(stmt.finallyBody, indent)}`
+        : "";
+    return `${indent}try\n${tryBody}\n${catches}${finallyStr}`;
+};
+const printCatchClause = (clause, indent) => {
+    const body = printBlockStatement(clause.body, indent);
+    if (!clause.type) {
+        return `${indent}catch\n${body}`;
+    }
+    const typeName = printType(clause.type);
+    const ident = clause.identifier
+        ? ` ${escapeIdentifier(clause.identifier)}`
+        : "";
+    const filter = clause.filter
+        ? ` when (${printExpression(clause.filter)})`
+        : "";
+    return `${indent}catch (${typeName}${ident})${filter}\n${body}`;
+};
+export const printParameter = (param) => {
+    const attrPrefix = param.attributes && param.attributes.length > 0
+        ? param.attributes
+            .map((a) => {
+            const targetPrefix = a.target ? `${a.target}: ` : "";
+            const args = a.arguments && a.arguments.length > 0
+                ? `(${a.arguments.map(printExpression).join(", ")})`
+                : "";
+            return `[${targetPrefix}${printType(a.type)}${args}]`;
+        })
+            .join("") + " "
+        : "";
+    const mods = param.modifiers && param.modifiers.length > 0
+        ? `${param.modifiers.join(" ")} `
+        : "";
+    const typeName = printType(param.type);
+    const name = escapeIdentifier(param.name);
+    const defaultVal = param.defaultValue
+        ? ` = ${printExpression(param.defaultValue)}`
+        : "";
+    return `${attrPrefix}${mods}${typeName} ${name}${defaultVal}`;
+};
+// ============================================================
+// Declaration Printer
+// ============================================================
+export const printMember = (member, indent) => {
+    switch (member.kind) {
+        case "fieldDeclaration": {
+            const attrs = printAttributes(member.attributes, indent);
+            const mods = member.modifiers.length > 0 ? `${member.modifiers.join(" ")} ` : "";
+            const typeName = printType(member.type);
+            const name = escapeIdentifier(member.name);
+            const init = member.initializer
+                ? ` = ${printExpression(member.initializer)}`
+                : "";
+            return `${attrs}${indent}${mods}${typeName} ${name}${init};`;
+        }
+        case "propertyDeclaration": {
+            const attrs = printAttributes(member.attributes, indent);
+            const mods = member.modifiers.length > 0 ? `${member.modifiers.join(" ")} ` : "";
+            const typeName = printType(member.type);
+            const name = escapeIdentifier(member.name);
+            if (member.isAutoProperty) {
+                const getStr = member.hasGetter ? "get; " : "";
+                const setStr = member.hasInit
+                    ? "init; "
+                    : member.hasSetter
+                        ? "set; "
+                        : "";
+                const accessors = ` { ${getStr}${setStr}}`;
+                const init = member.initializer
+                    ? ` = ${printExpression(member.initializer)};`
+                    : "";
+                return `${attrs}${indent}${mods}${typeName} ${name}${accessors}${init}`;
+            }
+            // Explicit property accessors
+            const bodyIndent = indent + "    ";
+            const accessorIndent = bodyIndent + "    ";
+            const lines = [];
+            lines.push(`${attrs}${indent}${mods}${typeName} ${name}`);
+            lines.push(`${bodyIndent}{`);
+            if (member.getterBody) {
+                lines.push(`${bodyIndent}get`);
+                lines.push(printBlockStatement(member.getterBody, accessorIndent));
+            }
+            if (member.setterBody) {
+                lines.push(`${bodyIndent}set`);
+                lines.push(printBlockStatement(member.setterBody, accessorIndent));
+            }
+            lines.push(`${bodyIndent}}`);
+            return lines.join("\n");
+        }
+        case "methodDeclaration": {
+            const attrs = printAttributes(member.attributes, indent);
+            const mods = member.modifiers.length > 0 ? `${member.modifiers.join(" ")} ` : "";
+            const ret = printType(member.returnType);
+            const typeParams = printTypeParameters(member.typeParameters);
+            const params = member.parameters.map(printParameter).join(", ");
+            const constraints = printConstraints(member.constraints, indent);
+            if (member.expressionBody) {
+                return `${attrs}${indent}${mods}${ret} ${escapeIdentifier(member.name)}${typeParams}(${params})${constraints} => ${printExpression(member.expressionBody)};`;
+            }
+            if (member.body) {
+                return `${attrs}${indent}${mods}${ret} ${escapeIdentifier(member.name)}${typeParams}(${params})${constraints}\n${printBlockStatement(member.body, indent)}`;
+            }
+            // Abstract/interface method (no body)
+            return `${attrs}${indent}${mods}${ret} ${escapeIdentifier(member.name)}${typeParams}(${params})${constraints};`;
+        }
+        case "constructorDeclaration": {
+            const attrs = printAttributes(member.attributes, indent);
+            const mods = member.modifiers.length > 0 ? `${member.modifiers.join(" ")} ` : "";
+            const params = member.parameters.map(printParameter).join(", ");
+            const baseCall = member.baseArguments !== undefined
+                ? ` : base(${member.baseArguments.map(printExpression).join(", ")})`
+                : "";
+            return `${attrs}${indent}${mods}${escapeIdentifier(member.name)}(${params})${baseCall}\n${printBlockStatement(member.body, indent)}`;
+        }
+        case "delegateDeclaration": {
+            const mods = member.modifiers.length > 0 ? `${member.modifiers.join(" ")} ` : "";
+            const ret = printType(member.returnType);
+            const params = member.parameters.map(printParameter).join(", ");
+            return `${indent}${mods}delegate ${ret} ${escapeIdentifier(member.name)}(${params});`;
+        }
+        default: {
+            const exhaustiveCheck = member;
+            throw new Error(`ICE: Unhandled member AST kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+export const printTypeDeclaration = (decl, indent) => {
+    switch (decl.kind) {
+        case "classDeclaration":
+        case "structDeclaration":
+        case "interfaceDeclaration": {
+            const keyword = decl.kind === "classDeclaration"
+                ? "class"
+                : decl.kind === "structDeclaration"
+                    ? "struct"
+                    : "interface";
+            const attrs = printAttributes(decl.attributes, indent);
+            const mods = decl.modifiers.length > 0 ? `${decl.modifiers.join(" ")} ` : "";
+            const typeParams = printTypeParameters(decl.typeParameters);
+            const baseTypes = [];
+            if (decl.kind === "classDeclaration" && decl.baseType) {
+                baseTypes.push(printType(decl.baseType));
+            }
+            baseTypes.push(...decl.interfaces.map(printType));
+            const baseClause = baseTypes.length > 0 ? ` : ${baseTypes.join(", ")}` : "";
+            const constraints = printConstraints(decl.constraints, indent);
+            const innerIndent = indent + "    ";
+            const members = decl.members
+                .map((m) => printMember(m, innerIndent))
+                .join("\n\n");
+            return `${attrs}${indent}${mods}${keyword} ${escapeIdentifier(decl.name)}${typeParams}${baseClause}${constraints}\n${indent}{\n${members}\n${indent}}`;
+        }
+        case "enumDeclaration": {
+            const attrs = printAttributes(decl.attributes, indent);
+            const mods = decl.modifiers.length > 0 ? `${decl.modifiers.join(" ")} ` : "";
+            const innerIndent = indent + "    ";
+            const members = decl.members
+                .map((m) => printEnumMember(m, innerIndent))
+                .join(",\n");
+            return `${attrs}${indent}${mods}enum ${escapeIdentifier(decl.name)}\n${indent}{\n${members}\n${indent}}`;
+        }
+        default: {
+            const exhaustiveCheck = decl;
+            throw new Error(`ICE: Unhandled type declaration AST kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+const printEnumMember = (member, indent) => member.value
+    ? `${indent}${escapeIdentifier(member.name)} = ${printExpression(member.value)}`
+    : `${indent}${escapeIdentifier(member.name)}`;
+const printTypeParameters = (typeParams) => {
+    if (!typeParams || typeParams.length === 0)
+        return "";
+    return `<${typeParams.map((tp) => tp.name).join(", ")}>`;
+};
+const printConstraints = (constraints, indent) => {
+    if (!constraints || constraints.length === 0)
+        return "";
+    const printConstraint = (constraint) => {
+        switch (constraint.kind) {
+            case "typeConstraint":
+                return printType(constraint.type);
+            case "classConstraint":
+                return "class";
+            case "structConstraint":
+                return "struct";
+            case "constructorConstraint":
+                return "new()";
+            default: {
+                const exhaustiveCheck = constraint;
+                throw new Error(`ICE: Unhandled type parameter constraint kind: ${exhaustiveCheck.kind}`);
+            }
+        }
+    };
+    return constraints
+        .map((c) => `\n${indent}    where ${escapeIdentifier(c.typeParameter)} : ${c.constraints
+        .map(printConstraint)
+        .join(", ")}`)
+        .join("");
+};
+export const printAttributes = (attrs, indent) => {
+    if (attrs.length === 0)
+        return "";
+    return attrs
+        .map((a) => {
+        const targetPrefix = a.target ? `${a.target}: ` : "";
+        const args = a.arguments && a.arguments.length > 0
+            ? `(${a.arguments.map(printExpression).join(", ")})`
+            : "";
+        return `${indent}[${targetPrefix}${printType(a.type)}${args}]\n`;
+    })
+        .join("");
+};
+// ============================================================
+// Compilation Unit Printer
+// ============================================================
+export const printCompilationUnit = (unit) => {
+    const parts = [];
+    if (unit.header) {
+        parts.push(unit.header);
+    }
+    const usings = unit.usings
+        .map((u) => `using ${escapeQualifiedName(u.namespace, false)};`)
+        .join("\n");
+    if (usings) {
+        parts.push(usings);
+        parts.push("");
+    }
+    const members = unit.members
+        .map((m) => {
+        if (m.kind === "namespaceDeclaration") {
+            return printNamespaceDeclaration(m);
+        }
+        return printTypeDeclaration(m, "");
+    })
+        .join("\n\n");
+    if (members) {
+        parts.push(members);
+    }
+    return parts.join("\n");
+};
+const printNamespaceDeclaration = (ns) => {
+    const name = escapeQualifiedName(ns.name, false);
+    const members = ns.members
+        .map((m) => printTypeDeclaration(m, "    "))
+        .join("\n\n");
+    return `namespace ${name}\n{\n${members}\n}`;
+};
+// ============================================================
+// Flat Block Printer
+// ============================================================
+/**
+ * Print a statement with "flat block" convention:
+ * block braces and inner statements share the same indent level.
+ *
+ * Used by the static container's __TopLevel method and other contexts
+ * where block bodies need Tsonic's flat-block formatting (braces at same
+ * indent as inner statements, not C#-standard nested convention).
+ *
+ * For compound statements (if/while/for/foreach/switch/try), body blocks
+ * are printed at indent+4 with flat block convention (braces and inner
+ * statements at the same level).
+ */
+export const printStatementFlatBlock = (stmt, indent) => {
+    const bodyIndent = indent + "    ";
+    switch (stmt.kind) {
+        case "blockStatement": {
+            const inner = stmt.statements
+                .map((s) => printStatementFlatBlock(s, indent))
+                .join("\n");
+            return `${indent}{\n${inner}\n${indent}}`;
+        }
+        case "ifStatement": {
+            const cond = printExpression(stmt.condition);
+            const thenBody = printStatementFlatBlock(stmt.thenStatement, bodyIndent);
+            if (!stmt.elseStatement) {
+                return `${indent}if (${cond})\n${thenBody}`;
+            }
+            // Else-if chain
+            if (stmt.elseStatement.kind === "ifStatement") {
+                const elseIfText = printStatementFlatBlock(stmt.elseStatement, indent);
+                const elseIfBody = elseIfText.slice(indent.length);
+                return `${indent}if (${cond})\n${thenBody}\n${indent}else ${elseIfBody}`;
+            }
+            const elseBody = printStatementFlatBlock(stmt.elseStatement, bodyIndent);
+            return `${indent}if (${cond})\n${thenBody}\n${indent}else\n${elseBody}`;
+        }
+        case "whileStatement": {
+            const cond = printExpression(stmt.condition);
+            const body = printStatementFlatBlock(stmt.body, bodyIndent);
+            return `${indent}while (${cond})\n${body}`;
+        }
+        case "forStatement": {
+            const parts = [];
+            if (stmt.declaration) {
+                const typeStr = printType(stmt.declaration.type);
+                const decls = stmt.declaration.declarators
+                    .map((d) => d.initializer
+                    ? `${escapeIdentifier(d.name)} = ${printExpression(d.initializer)}`
+                    : escapeIdentifier(d.name))
+                    .join(", ");
+                parts.push(`${typeStr} ${decls}`);
+            }
+            else if (stmt.initializers && stmt.initializers.length > 0) {
+                parts.push(stmt.initializers.map(printExpression).join(", "));
+            }
+            else {
+                parts.push("");
+            }
+            parts.push(stmt.condition ? printExpression(stmt.condition) : "");
+            parts.push(stmt.incrementors.map(printExpression).join(", "));
+            const header = parts.join("; ");
+            const body = printStatementFlatBlock(stmt.body, bodyIndent);
+            return `${indent}for (${header})\n${body}`;
+        }
+        case "foreachStatement": {
+            const awaitStr = stmt.isAwait ? "await " : "";
+            const typeStr = printType(stmt.type);
+            const ident = escapeIdentifier(stmt.identifier);
+            const collection = printExpression(stmt.expression);
+            const body = printStatementFlatBlock(stmt.body, bodyIndent);
+            return `${indent}${awaitStr}foreach (${typeStr} ${ident} in ${collection})\n${body}`;
+        }
+        case "switchStatement": {
+            const expr = printExpression(stmt.expression);
+            const sections = stmt.sections
+                .map((s) => {
+                const labels = s.labels
+                    .map((l) => printSwitchLabel(l, bodyIndent))
+                    .join("\n");
+                const stmtInd = bodyIndent + "    ";
+                const sectionStmts = s.statements
+                    .map((st) => printStatementFlatBlock(st, stmtInd))
+                    .join("\n");
+                return `${labels}\n${sectionStmts}`;
+            })
+                .join("\n");
+            return `${indent}switch (${expr})\n${indent}{\n${sections}\n${indent}}`;
+        }
+        case "tryStatement": {
+            // Try/catch/finally bodies are at the SAME indent as the keyword
+            // (the old text emitter did NOT call indent() for try/catch bodies)
+            const tryBody = printStatementFlatBlock(stmt.body, indent);
+            const catches = stmt.catches
+                .map((c) => {
+                const catchBody = printStatementFlatBlock(c.body, indent);
+                if (!c.type) {
+                    return `${indent}catch\n${catchBody}`;
+                }
+                const typeName = printType(c.type);
+                const ident = c.identifier
+                    ? ` ${escapeIdentifier(c.identifier)}`
+                    : "";
+                const filter = c.filter ? ` when (${printExpression(c.filter)})` : "";
+                return `${indent}catch (${typeName}${ident})${filter}\n${catchBody}`;
+            })
+                .join("\n");
+            const finallyStr = stmt.finallyBody
+                ? `\n${indent}finally\n${printStatementFlatBlock(stmt.finallyBody, indent)}`
+                : "";
+            return `${indent}try\n${tryBody}\n${catches}${finallyStr}`;
+        }
+        case "localFunctionStatement": {
+            const mods = stmt.modifiers.length > 0 ? `${stmt.modifiers.join(" ")} ` : "";
+            const ret = printType(stmt.returnType);
+            const typeParams = stmt.typeParameters && stmt.typeParameters.length > 0
+                ? `<${stmt.typeParameters.join(", ")}>`
+                : "";
+            const params = stmt.parameters.map(printParameter).join(", ");
+            const body = printBlockStatement(stmt.body, indent);
+            return `${indent}${mods}${ret} ${escapeIdentifier(stmt.name)}${typeParams}(${params})\n${body}`;
+        }
+        default:
+            return printStatement(stmt, indent);
+    }
+};
+//# sourceMappingURL=printer.js.map