@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/format/backend-ast/printer-identifiers.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Backend AST Printer – Identifier and Escape Utilities
+ *
+ * String/char escape helpers, trivia printing, keyword sets,
+ * identifier escaping, qualified name escaping, prefix unary
+ * separator detection, and numeric literal formatting.
+ */
+import type { CSharpExpressionAst, CSharpQualifiedNameAst, CSharpTriviaAst } from "./types.js";
+export declare const escapeCSharpStringLiteral: (value: string) => string;
+export declare const escapeCSharpCharLiteral: (value: string) => string;
+export declare const printTrivia: (trivia: CSharpTriviaAst) => string;
+export declare const needsPrefixUnarySeparator: (operatorToken: string, operand: CSharpExpressionAst) => boolean;
+export declare const printNumericLiteral: (expr: Extract<CSharpExpressionAst, {
+    kind: "numericLiteralExpression";
+}>) => string;
+export declare const CSHARP_KEYWORDS: Set<string>;
+/**
+ * C# predefined type keywords that should NOT be escaped with @
+ * when used in type position (they are the type name itself).
+ */
+export declare const PREDEFINED_TYPE_KEYWORDS: Set<string>;
+/**
+ * Escape a C# identifier if it's a keyword.
+ * Preserves predefined type keywords when used as types.
+ */
+export declare const escapeIdentifier: (name: string) => string;
+/**
+ * Escape segments in a qualified name AST.
+ */
+export declare const escapeQualifiedName: (name: CSharpQualifiedNameAst, preservePredefinedTypeKeywords?: boolean) => string;
+//# sourceMappingURL=printer-identifiers.d.ts.map

package/dist/core/format/backend-ast/printer-identifiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"printer-identifiers.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-identifiers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,mBAAmB,EACnB,sBAAsB,EACtB,eAAe,EAChB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,yBAAyB,GAAI,OAAO,MAAM,KAAG,MAMhC,CAAC;AAE3B,eAAO,MAAM,uBAAuB,GAAI,OAAO,MAAM,KAAG,MAiBvD,CAAC;AAEF,eAAO,MAAM,WAAW,GAAI,QAAQ,eAAe,KAAG,MAarD,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,eAAe,MAAM,EACrB,SAAS,mBAAmB,KAC3B,OAYF,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,mBAAmB,EAAE;IAAE,IAAI,EAAE,0BAA0B,CAAA;CAAE,CAAC,KACvE,MA6BF,CAAC;AAMF,eAAO,MAAM,eAAe,aA0E1B,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,wBAAwB,aAmBnC,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,KAAG,MACD,CAAC;AAEhD;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,sBAAsB,EAC5B,iCAAgC,OAAe,KAC9C,MAWF,CAAC"}

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

@@ -0,0 +1,194 @@
+/**
+ * Backend AST Printer – Identifier and Escape Utilities
+ *
+ * String/char escape helpers, trivia printing, keyword sets,
+ * identifier escaping, qualified name escaping, prefix unary
+ * separator detection, and numeric literal formatting.
+ */
+export const escapeCSharpStringLiteral = (value) => value
+    .replace(/\\/g, "\\\\")
+    .replace(/"/g, '\\"')
+    .replace(/\n/g, "\\n")
+    .replace(/\r/g, "\\r")
+    .replace(/\t/g, "\\t");
+export const escapeCSharpCharLiteral = (value) => {
+    switch (value) {
+        case "'":
+            return "\\'";
+        case "\\":
+            return "\\\\";
+        case "\n":
+            return "\\n";
+        case "\r":
+            return "\\r";
+        case "\t":
+            return "\\t";
+        case "\0":
+            return "\\0";
+        default:
+            return value;
+    }
+};
+export const printTrivia = (trivia) => {
+    switch (trivia.kind) {
+        case "singleLineCommentTrivia":
+            return `// ${trivia.text}`;
+        case "blankLineTrivia":
+            return "";
+        default: {
+            const exhaustive = trivia;
+            throw new Error(`ICE: Unhandled trivia kind '${exhaustive.kind}' in printTrivia`);
+        }
+    }
+};
+export const needsPrefixUnarySeparator = (operatorToken, operand) => {
+    if (operatorToken !== "-" && operatorToken !== "+") {
+        return false;
+    }
+    const unwrapped = operand.kind === "parenthesizedExpression" ? operand.expression : operand;
+    return (unwrapped.kind === "prefixUnaryExpression" &&
+        unwrapped.operatorToken === operatorToken);
+};
+export const printNumericLiteral = (expr) => {
+    const suffix = expr.suffix ?? "";
+    const hasRealParts = expr.fractionalPart !== undefined || expr.exponentDigits !== undefined;
+    if (hasRealParts) {
+        const fractional = expr.fractionalPart !== undefined ? `.${expr.fractionalPart}` : "";
+        const exponent = expr.exponentDigits !== undefined
+            ? `e${expr.exponentSign ?? ""}${expr.exponentDigits}`
+            : "";
+        return `${expr.wholePart}${fractional}${exponent}${suffix}`;
+    }
+    switch (expr.base) {
+        case "decimal":
+            return `${expr.wholePart}${suffix}`;
+        case "hexadecimal":
+            return `0x${expr.wholePart}${suffix}`;
+        case "binary":
+            return `0b${expr.wholePart}${suffix}`;
+        default: {
+            const exhaustive = expr.base;
+            throw new Error(`ICE: Unhandled numeric literal base '${exhaustive}'`);
+        }
+    }
+};
+// ============================================================
+// C# reserved keywords for identifier escaping
+// ============================================================
+export 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).
+ */
+export 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.
+ */
+export const escapeIdentifier = (name) => CSHARP_KEYWORDS.has(name) ? `@${name}` : name;
+/**
+ * Escape segments in a qualified name AST.
+ */
+export const escapeQualifiedName = (name, preservePredefinedTypeKeywords = false) => {
+    const escaped = [...name.segments]
+        .map((segment) => CSHARP_KEYWORDS.has(segment) &&
+        !(preservePredefinedTypeKeywords && PREDEFINED_TYPE_KEYWORDS.has(segment))
+        ? `@${segment}`
+        : segment)
+        .join(".");
+    return name.aliasQualifier ? `${name.aliasQualifier}::${escaped}` : escaped;
+};
+//# sourceMappingURL=printer-identifiers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"printer-identifiers.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-identifiers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,KAAa,EAAU,EAAE,CACjE,KAAK;KACF,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;KACtB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAE3B,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,KAAa,EAAU,EAAE;IAC/D,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,GAAG;YACN,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAuB,EAAU,EAAE;IAC7D,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,yBAAyB;YAC5B,OAAO,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,iBAAiB;YACpB,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,MAAM,CAAC;YACjC,MAAM,IAAI,KAAK,CACb,+BAAgC,UAA8B,CAAC,IAAI,kBAAkB,CACtF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,aAAqB,EACrB,OAA4B,EACnB,EAAE;IACX,IAAI,aAAa,KAAK,GAAG,IAAI,aAAa,KAAK,GAAG,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;IAE5E,OAAO,CACL,SAAS,CAAC,IAAI,KAAK,uBAAuB;QAC1C,SAAS,CAAC,aAAa,KAAK,aAAa,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwE,EAChE,EAAE;IACV,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;IACjC,MAAM,YAAY,GAChB,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC;IAEzE,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GACd,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,QAAQ,GACZ,IAAI,CAAC,cAAc,KAAK,SAAS;YAC/B,CAAC,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,GAAG,IAAI,CAAC,cAAc,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;QACT,OAAO,GAAG,IAAI,CAAC,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAC;IAC9D,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,CAAC;QACtC,KAAK,aAAa;YAChB,OAAO,KAAK,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,KAAK,IAAI,CAAC,SAAS,GAAG,MAAM,EAAE,CAAC;QACxC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC,IAAI,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,wCAAwC,UAAoB,GAAG,CAChE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAE/D,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IACrC,UAAU;IACV,IAAI;IACJ,MAAM;IACN,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,SAAS;IACT,OAAO;IACP,OAAO;IACP,UAAU;IACV,SAAS;IACT,SAAS;IACT,UAAU;IACV,IAAI;IACJ,QAAQ;IACR,MAAM;IACN,MAAM;IACN,OAAO;IACP,UAAU;IACV,QAAQ;IACR,SAAS;IACT,OAAO;IACP,OAAO;IACP,KAAK;IACL,SAAS;IACT,MAAM;IACN,IAAI;IACJ,UAAU;IACV,IAAI;IACJ,KAAK;IACL,WAAW;IACX,UAAU;IACV,IAAI;IACJ,MAAM;IACN,MAAM;IACN,WAAW;IACX,KAAK;IACL,MAAM;IACN,QAAQ;IACR,UAAU;IACV,KAAK;IACL,UAAU;IACV,QAAQ;IACR,SAAS;IACT,WAAW;IACX,QAAQ;IACR,UAAU;IACV,KAAK;IACL,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,KAAK;IACL,QAAQ;IACR,MAAM;IACN,OAAO;IACP,WAAW;IACX,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,OAAO;CACR,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IAC9C,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,OAAO;IACP,KAAK;IACL,MAAM;IACN,QAAQ;IACR,OAAO;IACP,OAAO;IACP,QAAQ;IACR,MAAM;IACN,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,OAAO;CACR,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAU,EAAE,CACvD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAEhD;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAA4B,EAC5B,iCAA0C,KAAK,EACvC,EAAE;IACV,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;SAC/B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACf,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC;QAC5B,CAAC,CAAC,8BAA8B,IAAI,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxE,CAAC,CAAC,IAAI,OAAO,EAAE;QACf,CAAC,CAAC,OAAO,CACZ;SACA,IAAI,CAAC,GAAG,CAAC,CAAC;IAEb,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,cAAc,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC9E,CAAC,CAAC"}

package/dist/core/format/backend-ast/printer-precedence.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Backend AST Printer – Operator Precedence and Type Printer
+ *
+ * Operator precedence tables, expression precedence classification,
+ * parenthesization logic, and the C# type printer.
+ */
+import type { CSharpTypeAst, CSharpExpressionAst } from "./types.js";
+/**
+ * C# operator precedence levels (higher = binds tighter).
+ * Used by the printer to insert parentheses only when necessary.
+ */
+export declare const getOperatorPrecedence: (op: string) => number;
+/**
+ * Get the effective precedence of an expression for parenthesization decisions.
+ */
+export declare const getExpressionPrecedence: (expr: CSharpExpressionAst) => number;
+/**
+ * Whether an expression needs parenthesization when used as an operand
+ * of a binary expression with the given parent precedence.
+ */
+export declare const needsParensInBinary: (child: CSharpExpressionAst, parentPrecedence: number, isRightOperand: boolean) => boolean;
+export declare const printType: (type: CSharpTypeAst) => string;
+//# sourceMappingURL=printer-precedence.d.ts.map

package/dist/core/format/backend-ast/printer-precedence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"printer-precedence.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-precedence.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAWrE;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAAI,IAAI,MAAM,KAAG,MA8DlD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,mBAAmB,KAAG,MAyDnE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,mBAAmB,EAC1B,kBAAkB,MAAM,EACxB,gBAAgB,OAAO,KACtB,OA+BF,CAAC;AAMF,eAAO,MAAM,SAAS,GAAI,MAAM,aAAa,KAAG,MAgE/C,CAAC"}

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

@@ -0,0 +1,225 @@
+/**
+ * Backend AST Printer – Operator Precedence and Type Printer
+ *
+ * Operator precedence tables, expression precedence classification,
+ * parenthesization logic, and the C# type printer.
+ */
+import { escapeIdentifier, escapeQualifiedName, } from "./printer-identifiers.js";
+// ============================================================
+// Operator precedence for parenthesization
+// ============================================================
+/**
+ * C# operator precedence levels (higher = binds tighter).
+ * Used by the printer to insert parentheses only when necessary.
+ */
+export 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.
+ */
+export 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 "nullLiteralExpression":
+        case "booleanLiteralExpression":
+        case "stringLiteralExpression":
+        case "charLiteralExpression":
+        case "numericLiteralExpression":
+        case "identifierExpression":
+        case "qualifiedIdentifierExpression":
+        case "typeReferenceExpression":
+        case "parenthesizedExpression":
+        case "memberAccessExpression":
+        case "conditionalMemberAccessExpression":
+        case "elementAccessExpression":
+        case "conditionalElementAccessExpression":
+        case "implicitElementAccessExpression":
+        case "invocationExpression":
+        case "objectCreationExpression":
+        case "arrayCreationExpression":
+        case "stackAllocArrayCreationExpression":
+        case "defaultExpression":
+        case "sizeOfExpression":
+        case "typeofExpression":
+        case "interpolatedStringExpression":
+        case "suppressNullableWarningExpression":
+        case "switchExpression":
+        case "declarationExpression":
+            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.
+ */
+export 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;
+};
+// ============================================================
+// Type Printer
+// ============================================================
+export const printType = (type) => {
+    switch (type.kind) {
+        case "predefinedType":
+            return type.keyword;
+        case "identifierType": {
+            if (type.name.includes(".") || type.name.includes("::")) {
+                throw new Error(`ICE: Simple identifierType '${type.name}' contains qualification. Use qualifiedIdentifierType AST instead.`);
+            }
+            const name = escapeIdentifier(type.name);
+            if (!type.typeArguments || type.typeArguments.length === 0) {
+                return name;
+            }
+            const args = type.typeArguments.map(printType).join(", ");
+            return `${name}<${args}>`;
+        }
+        case "qualifiedIdentifierType": {
+            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 type.underlyingType.kind === "nullableType"
+                ? printType(type.underlyingType)
+                : `${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}`);
+        }
+    }
+};
+//# sourceMappingURL=printer-precedence.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"printer-precedence.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-precedence.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EACL,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,0BAA0B,CAAC;AAElC,+DAA+D;AAC/D,2CAA2C;AAC3C,+DAA+D;AAE/D;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,EAAU,EAAU,EAAE;IAC1D,QAAQ,EAAE,EAAE,CAAC;QACX,gCAAgC;QAChC,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,CAAC,CAAC;QACX,sBAAsB;QACtB,8CAA8C;QAC9C,kBAAkB;QAClB,KAAK,IAAI;YACP,OAAO,CAAC,CAAC;QACX,aAAa;QACb,KAAK,IAAI;YACP,OAAO,CAAC,CAAC;QACX,cAAc;QACd,KAAK,IAAI;YACP,OAAO,CAAC,CAAC;QACX,aAAa;QACb,KAAK,GAAG;YACN,OAAO,CAAC,CAAC;QACX,cAAc;QACd,KAAK,GAAG;YACN,OAAO,CAAC,CAAC;QACX,cAAc;QACd,KAAK,GAAG;YACN,OAAO,CAAC,CAAC;QACX,WAAW;QACX,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACP,OAAO,CAAC,CAAC;QACX,oDAAoD;QACpD,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACP,OAAO,EAAE,CAAC;QACZ,QAAQ;QACR,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACP,OAAO,EAAE,CAAC;QACZ,WAAW;QACX,KAAK,GAAG,CAAC;QACT,KAAK,GAAG;YACN,OAAO,EAAE,CAAC;QACZ,iBAAiB;QACjB,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG;YACN,OAAO,EAAE,CAAC;QACZ;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAyB,EAAU,EAAE;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,sBAAsB;YACzB,OAAO,CAAC,CAAC;QACX,KAAK,uBAAuB;YAC1B,OAAO,CAAC,CAAC;QACX,KAAK,kBAAkB;YACrB,OAAO,qBAAqB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnD,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,EAAE,CAAC,CAAC,mBAAmB;QAChC,KAAK,uBAAuB;YAC1B,OAAO,EAAE,CAAC,CAAC,eAAe;QAC5B,KAAK,wBAAwB;YAC3B,OAAO,EAAE,CAAC,CAAC,gBAAgB;QAC7B,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAC,CAAC,yBAAyB;QACtC,KAAK,iBAAiB;YACpB,OAAO,EAAE,CAAC,CAAC,0BAA0B;QACvC,2CAA2C;QAC3C,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B,CAAC;QAChC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B,CAAC;QAChC,KAAK,sBAAsB,CAAC;QAC5B,KAAK,+BAA+B,CAAC;QACrC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,yBAAyB,CAAC;QAC/B,KAAK,wBAAwB,CAAC;QAC9B,KAAK,mCAAmC,CAAC;QACzC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,oCAAoC,CAAC;QAC1C,KAAK,iCAAiC,CAAC;QACvC,KAAK,sBAAsB,CAAC;QAC5B,KAAK,0BAA0B,CAAC;QAChC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,mCAAmC,CAAC;QACzC,KAAK,mBAAmB,CAAC;QACzB,KAAK,kBAAkB,CAAC;QACxB,KAAK,kBAAkB,CAAC;QACxB,KAAK,8BAA8B,CAAC;QACpC,KAAK,mCAAmC,CAAC;QACzC,KAAK,kBAAkB,CAAC;QACxB,KAAK,uBAAuB;YAC1B,OAAO,EAAE,CAAC;QACZ,KAAK,4BAA4B;YAC/B,OAAO,EAAE,CAAC,CAAC,sDAAsD;QACnE,KAAK,iBAAiB;YACpB,OAAO,EAAE,CAAC,CAAC,yCAAyC;QACtD,KAAK,kBAAkB;YACrB,OAAO,CAAC,CAAC,CAAC,wCAAwC;QACpD,KAAK,iBAAiB;YACpB,OAAO,CAAC,CAAC,CAAC,0CAA0C;QACtD;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAA0B,EAC1B,gBAAwB,EACxB,cAAuB,EACd,EAAE;IACX,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAEjD,IAAI,SAAS,GAAG,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAE9C,gEAAgE;IAChE,sCAAsC;IACtC,IAAI,SAAS,KAAK,gBAAgB,IAAI,cAAc,EAAE,CAAC;QACrD,kCAAkC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,yEAAyE;QACzE,0DAA0D;QAC1D,wEAAwE;QACxE,sDAAsD;QACtD,IACE,KAAK,CAAC,IAAI,KAAK,kBAAkB;YACjC,CAAC,KAAK,CAAC,aAAa,KAAK,IAAI;gBAC3B,KAAK,CAAC,aAAa,KAAK,IAAI;gBAC5B,KAAK,CAAC,aAAa,KAAK,GAAG;gBAC3B,KAAK,CAAC,aAAa,KAAK,GAAG;gBAC3B,KAAK,CAAC,aAAa,KAAK,GAAG,CAAC,EAC9B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,2FAA2F;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAU,EAAE;IACvD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,OAAO,CAAC;QAEtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxD,MAAM,IAAI,KAAK,CACb,+BAA+B,IAAI,CAAC,IAAI,oEAAoE,CAC7G,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,OAAO,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;QAC5B,CAAC;QAED,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,OAAO,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;QAC5B,CAAC;QAED,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,KAAK,cAAc;gBAChD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC;gBAChC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;QAE3C,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACpB,OAAO,GAAG,IAAI,IAAI,CAAC;YACrB,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YACzC,OAAO,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC;QAC9B,CAAC;QAED,KAAK,aAAa;YAChB,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;QAE3C,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ;iBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAC9D;iBACA,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,IAAI,KAAK,GAAG,CAAC;QACtB,CAAC;QAED,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QAEf,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,eAAe,GAAU,IAAI,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,iCAAkC,eAAiC,CAAC,IAAI,EAAE,CAC3E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/core/format/backend-ast/printer-shared.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Backend AST Printer – Shared Utilities — facade re-exports.
+ *
+ * Implementations live in:
+ *   - printer-identifiers.ts
+ *   - printer-colon-detection.ts
+ *   - printer-precedence.ts
+ */
+export { escapeCSharpStringLiteral, escapeCSharpCharLiteral, printTrivia, needsPrefixUnarySeparator, printNumericLiteral, CSHARP_KEYWORDS, PREDEFINED_TYPE_KEYWORDS, escapeIdentifier, escapeQualifiedName, } from "./printer-identifiers.js";
+export { nameMayPrintColon, typeMayPrintColon, patternMayPrintColon, expressionMayPrintColon, } from "./printer-colon-detection.js";
+export { getOperatorPrecedence, getExpressionPrecedence, needsParensInBinary, printType, } from "./printer-precedence.js";
+//# sourceMappingURL=printer-shared.d.ts.map

package/dist/core/format/backend-ast/printer-shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"printer-shared.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-shared.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,WAAW,EACX,yBAAyB,EACzB,mBAAmB,EACnB,eAAe,EACf,wBAAwB,EACxB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,EACnB,SAAS,GACV,MAAM,yBAAyB,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Backend AST Printer – Shared Utilities — facade re-exports.
+ *
+ * Implementations live in:
+ *   - printer-identifiers.ts
+ *   - printer-colon-detection.ts
+ *   - printer-precedence.ts
+ */
+export { escapeCSharpStringLiteral, escapeCSharpCharLiteral, printTrivia, needsPrefixUnarySeparator, printNumericLiteral, CSHARP_KEYWORDS, PREDEFINED_TYPE_KEYWORDS, escapeIdentifier, escapeQualifiedName, } from "./printer-identifiers.js";
+export { nameMayPrintColon, typeMayPrintColon, patternMayPrintColon, expressionMayPrintColon, } from "./printer-colon-detection.js";
+export { getOperatorPrecedence, getExpressionPrecedence, needsParensInBinary, printType, } from "./printer-precedence.js";
+//# sourceMappingURL=printer-shared.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"printer-shared.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-shared.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACvB,WAAW,EACX,yBAAyB,EACzB,mBAAmB,EACnB,eAAe,EACf,wBAAwB,EACxB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,EACnB,SAAS,GACV,MAAM,yBAAyB,CAAC"}

package/dist/core/format/backend-ast/printer-statements.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Backend AST Printer – Statements
+ *
+ * Statement printing (printStatement), block helpers, switch labels,
+ * try/catch, and the flat-block printer (printStatementFlatBlock).
+ */
+import type { CSharpStatementAst, CSharpBlockStatementAst, CSharpSwitchLabelAst } from "./types.js";
+export declare const printStatement: (stmt: CSharpStatementAst, indent: string) => string;
+export declare const printBlockStatement: (block: CSharpBlockStatementAst, indent: string) => string;
+export declare const printSwitchLabel: (label: CSharpSwitchLabelAst, indent: string) => string;
+/**
+ * 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 declare const printStatementFlatBlock: (stmt: CSharpStatementAst, indent: string) => string;
+//# sourceMappingURL=printer-statements.d.ts.map

package/dist/core/format/backend-ast/printer-statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"printer-statements.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/printer-statements.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,kBAAkB,EAClB,uBAAuB,EAEvB,oBAAoB,EAErB,MAAM,YAAY,CAAC;AAkBpB,eAAO,MAAM,cAAc,GACzB,MAAM,kBAAkB,EACxB,QAAQ,MAAM,KACb,MAgGF,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,OAAO,uBAAuB,EAC9B,QAAQ,MAAM,KACb,MAMF,CAAC;AAmGF,eAAO,MAAM,gBAAgB,GAC3B,OAAO,oBAAoB,EAC3B,QAAQ,MAAM,KACb,MAcF,CAAC;AAsCF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,kBAAkB,EACxB,QAAQ,MAAM,KACb,MAuIF,CAAC"}