@tsonic/emitter 0.0.62 → 0.0.64

package/dist/expressions/operators/unary-emitter.js

@@ -0,0 +1,244 @@
+/**
+ * Unary and update operator expression emitters
+ *
+ * NEW NUMERIC SPEC:
+ * - Literals use raw lexeme (no contextual widening)
+ * - Integer casts only from IrCastExpression (not inferred from expectedType)
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { emitBooleanConditionAst } from "../../core/semantic/boolean-context.js";
+import { extractCalleeNameFromAst } from "../../core/format/backend-ast/utils.js";
+/**
+ * Emit a unary operator expression as CSharpExpressionAst (-, +, !, ~, typeof, void, delete)
+ *
+ * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
+ * Explicit casts come from IrCastExpression nodes.
+ *
+ * @param expr - The unary expression
+ * @param context - Emitter context
+ * @param expectedType - Used for void IIFE return type
+ */
+export const emitUnary = (expr, context, expectedType) => {
+    // In TypeScript, `!x` applies JS ToBoolean semantics to *any* operand.
+    // In C#, `!` only works on booleans, so we must coerce to a boolean condition.
+    if (expr.operator === "!") {
+        const [condAst, condCtx] = emitBooleanConditionAst(expr.expression, (e, ctx) => emitExpressionAst(e, ctx), context);
+        return [
+            {
+                kind: "prefixUnaryExpression",
+                operatorToken: "!",
+                operand: condAst,
+            },
+            condCtx,
+        ];
+    }
+    if (expr.operator === "delete") {
+        // JavaScript `delete obj[key]` maps to dictionary key removal in CLR:
+        //   delete dict[key]  -> dict.Remove(key)
+        const target = expr.expression;
+        if (target.kind === "memberAccess" &&
+            target.isComputed &&
+            typeof target.property !== "string" &&
+            (target.accessKind === "dictionary" ||
+                target.object.inferredType?.kind === "dictionaryType")) {
+            const [objectAst, objectContext] = emitExpressionAst(target.object, context);
+            const [keyAst, keyContext] = emitExpressionAst(target.property, objectContext);
+            return [
+                {
+                    kind: "invocationExpression",
+                    expression: {
+                        kind: "memberAccessExpression",
+                        expression: objectAst,
+                        memberName: "Remove",
+                    },
+                    arguments: [keyAst],
+                },
+                keyContext,
+            ];
+        }
+        const [targetAst, newContext] = emitExpressionAst(target, context);
+        const targetText = extractCalleeNameFromAst(targetAst);
+        return [
+            {
+                kind: "identifierExpression",
+                identifier: `/* delete ${targetText} */`,
+            },
+            newContext,
+        ];
+    }
+    const [operandAst, newContext] = emitExpressionAst(expr.expression, context);
+    if (expr.operator === "typeof") {
+        // typeof becomes global::Tsonic.Runtime.Operators.typeof()
+        return [
+            {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "identifierExpression",
+                    identifier: "global::Tsonic.Runtime.Operators.@typeof",
+                },
+                arguments: [operandAst],
+            },
+            newContext,
+        ];
+    }
+    if (expr.operator === "void") {
+        // `void expr` evaluates `expr` and yields `undefined`.
+        //
+        // In expression position we must produce a value, so use an IIFE:
+        //   (() => { <eval expr>; return default(<T>); })()
+        //
+        // In statement position, emitExpressionStatement handles this separately.
+        const operand = expr.expression;
+        // If the operand is a literal null/undefined, evaluation is a no-op.
+        const isNoopOperand = (operand.kind === "literal" &&
+            (operand.value === undefined || operand.value === null)) ||
+            (operand.kind === "identifier" &&
+                (operand.name === "undefined" || operand.name === "null"));
+        let currentContext = newContext;
+        const effectiveExpectedType = expectedType &&
+            expectedType.kind !== "voidType" &&
+            expectedType.kind !== "neverType"
+            ? expectedType
+            : undefined;
+        let returnTypeAst = {
+            kind: "nullableType",
+            underlyingType: { kind: "predefinedType", keyword: "object" },
+        };
+        if (effectiveExpectedType) {
+            try {
+                const [typeAst, next] = emitTypeAst(effectiveExpectedType, currentContext);
+                currentContext = next;
+                returnTypeAst = typeAst;
+            }
+            catch {
+                // Fall back to object? + default literal.
+            }
+        }
+        const defaultExpr = {
+            kind: "defaultExpression",
+            type: effectiveExpectedType ? returnTypeAst : undefined,
+        };
+        // Build the operand evaluation statement (if not a no-op).
+        const isStatementExpr = operand.kind === "call" ||
+            operand.kind === "new" ||
+            operand.kind === "assignment" ||
+            operand.kind === "update" ||
+            operand.kind === "await";
+        const operandStatements = isNoopOperand
+            ? []
+            : [
+                {
+                    kind: "expressionStatement",
+                    expression: isStatementExpr
+                        ? operandAst
+                        : {
+                            kind: "assignmentExpression",
+                            operatorToken: "=",
+                            left: {
+                                kind: "identifierExpression",
+                                identifier: "_",
+                            },
+                            right: operandAst,
+                        },
+                },
+            ];
+        // Build IIFE: ((System.Func<T>)(() => { body }))()
+        const buildIife = (isAsync, funcReturnTypeAst) => {
+            const body = {
+                kind: "blockStatement",
+                statements: [
+                    ...operandStatements,
+                    { kind: "returnStatement", expression: defaultExpr },
+                ],
+            };
+            const funcTypeAst = {
+                kind: "identifierType",
+                name: "global::System.Func",
+                typeArguments: [funcReturnTypeAst],
+            };
+            const lambdaAst = {
+                kind: "lambdaExpression",
+                isAsync,
+                parameters: [],
+                body,
+            };
+            const castAst = {
+                kind: "castExpression",
+                type: funcTypeAst,
+                expression: {
+                    kind: "parenthesizedExpression",
+                    expression: lambdaAst,
+                },
+            };
+            return {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "parenthesizedExpression",
+                    expression: castAst,
+                },
+                arguments: [],
+            };
+        };
+        if (operand.kind === "await") {
+            if (!currentContext.isAsync) {
+                throw new Error("ICE: `void await <expr>` reached emitter in a non-async context.");
+            }
+            const taskTypeAst = {
+                kind: "identifierType",
+                name: "global::System.Threading.Tasks.Task",
+                typeArguments: [returnTypeAst],
+            };
+            const iifeAst = buildIife(true, taskTypeAst);
+            return [{ kind: "awaitExpression", expression: iifeAst }, currentContext];
+        }
+        return [buildIife(false, returnTypeAst), currentContext];
+    }
+    // Standard prefix operator: -, +, ~
+    return [
+        {
+            kind: "prefixUnaryExpression",
+            operatorToken: expr.operator,
+            operand: operandAst,
+        },
+        newContext,
+    ];
+};
+/**
+ * Emit an update operator expression as CSharpExpressionAst (++, --)
+ */
+export const emitUpdate = (expr, context) => {
+    // Narrowing maps apply to *reads*, not writes.
+    // For update operators, suppress narrowed bindings for the target.
+    const operandCtx = expr.expression.kind === "identifier" &&
+        context.narrowedBindings?.has(expr.expression.name)
+        ? (() => {
+            const next = new Map(context.narrowedBindings);
+            next.delete(expr.expression.name);
+            return { ...context, narrowedBindings: next };
+        })()
+        : context;
+    const [operandAst, ctx] = emitExpressionAst(expr.expression, operandCtx);
+    const newContext = operandCtx !== context
+        ? { ...ctx, narrowedBindings: context.narrowedBindings }
+        : ctx;
+    if (expr.prefix) {
+        return [
+            {
+                kind: "prefixUnaryExpression",
+                operatorToken: expr.operator,
+                operand: operandAst,
+            },
+            newContext,
+        ];
+    }
+    return [
+        {
+            kind: "postfixUnaryExpression",
+            operatorToken: expr.operator,
+            operand: operandAst,
+        },
+        newContext,
+    ];
+};
+//# sourceMappingURL=unary-emitter.js.map

package/dist/expressions/operators/unary-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unary-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/unary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAOlF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,uEAAuE;IACvE,+EAA+E;IAC/E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC1B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,uBAAuB,CAChD,IAAI,CAAC,UAAU,EACf,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,EACrC,OAAO,CACR,CAAC;QACF,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,OAAO;aACjB;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,sEAAsE;QACtE,0CAA0C;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,UAAU;YACjB,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;YACnC,CAAC,MAAM,CAAC,UAAU,KAAK,YAAY;gBACjC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,gBAAgB,CAAC,EACxD,CAAC;YACD,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,MAAM,CAAC,MAAM,EACb,OAAO,CACR,CAAC;YACF,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,MAAM,CAAC,QAAQ,EACf,aAAa,CACd,CAAC;YACF,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,QAAQ;qBACrB;oBACD,SAAS,EAAE,CAAC,MAAM,CAAC;iBACpB;gBACD,UAAU;aACX,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACvD,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,aAAa,UAAU,KAAK;aACzC;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE7E,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,2DAA2D;QAC3D,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,0CAA0C;iBACvD;gBACD,SAAS,EAAE,CAAC,UAAU,CAAC;aACxB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7B,uDAAuD;QACvD,EAAE;QACF,kEAAkE;QAClE,oDAAoD;QACpD,EAAE;QACF,0EAA0E;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAEhC,qEAAqE;QACrE,MAAM,aAAa,GACjB,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;YAC1D,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;gBAC5B,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;QAE/D,IAAI,cAAc,GAAG,UAAU,CAAC;QAEhC,MAAM,qBAAqB,GACzB,YAAY;YACZ,YAAY,CAAC,IAAI,KAAK,UAAU;YAChC,YAAY,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,aAAa,GAAkB;YACjC,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC9D,CAAC;QACF,IAAI,qBAAqB,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,WAAW,CACjC,qBAAqB,EACrB,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,IAAI,CAAC;gBACtB,aAAa,GAAG,OAAO,CAAC;YAC1B,CAAC;YAAC,MAAM,CAAC;gBACP,0CAA0C;YAC5C,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAwB;YACvC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SACxD,CAAC;QAEF,2DAA2D;QAC3D,MAAM,eAAe,GACnB,OAAO,CAAC,IAAI,KAAK,MAAM;YACvB,OAAO,CAAC,IAAI,KAAK,KAAK;YACtB,OAAO,CAAC,IAAI,KAAK,YAAY;YAC7B,OAAO,CAAC,IAAI,KAAK,QAAQ;YACzB,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;QAE3B,MAAM,iBAAiB,GAAkC,aAAa;YACpE,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,qBAA8B;oBACpC,UAAU,EAAE,eAAe;wBACzB,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAE;4BACC,IAAI,EAAE,sBAAsB;4BAC5B,aAAa,EAAE,GAAG;4BAClB,IAAI,EAAE;gCACJ,IAAI,EAAE,sBAAsB;gCAC5B,UAAU,EAAE,GAAG;6BAChB;4BACD,KAAK,EAAE,UAAU;yBACM;iBAC9B;aACF,CAAC;QAEN,mDAAmD;QACnD,MAAM,SAAS,GAAG,CAChB,OAAgB,EAChB,iBAAgC,EACX,EAAE;YACvB,MAAM,IAAI,GAAuB;gBAC/B,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV,GAAG,iBAAiB;oBACpB,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;iBACrD;aACF,CAAC;YACF,MAAM,WAAW,GAAkB;gBACjC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,qBAAqB;gBAC3B,aAAa,EAAE,CAAC,iBAAiB,CAAC;aACnC,CAAC;YACF,MAAM,SAAS,GAAwB;gBACrC,IAAI,EAAE,kBAAkB;gBACxB,OAAO;gBACP,UAAU,EAAE,EAAE;gBACd,IAAI;aACL,CAAC;YACF,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,SAAS;iBACtB;aACF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,OAAO;iBACpB;gBACD,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC,CAAC;QAEF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CACb,kEAAkE,CACnE,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAkB;gBACjC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,qCAAqC;gBAC3C,aAAa,EAAE,CAAC,aAAa,CAAC;aAC/B,CAAC;YACF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7C,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,cAAc,CAAC,CAAC;QAC5E,CAAC;QAED,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,CAAC;IAC3D,CAAC;IAED,oCAAoC;IACpC,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,OAAO,EAAE,UAAU;SACpB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACgB,EAAE;IACzC,+CAA+C;IAC/C,mEAAmE;IACnE,MAAM,UAAU,GACd,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QACrC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;QAChD,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,OAAO,CAAC;IAEd,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,UAAU,GACd,UAAU,KAAK,OAAO;QACpB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE;QACxD,CAAC,CAAC,GAAG,CAAC;IAEV,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,IAAI,CAAC,QAAQ;gBAC5B,OAAO,EAAE,UAAU;aACpB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,wBAAwB;YAC9B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,OAAO,EAAE,UAAU;SACpB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators.d.ts

@@ -6,85 +6,9 @@
  * - Integer casts only from IrCastExpression (not inferred from expectedType)
  * - Binary ops: int op int = int, double op anything = double (C# semantics)
  */
-import { IrExpression, IrType } from "@tsonic/frontend";
-import { EmitterContext, CSharpFragment } from "../types.js";
-/**
- * Emit a binary operator expression
- *
- * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
- * Literals use their raw lexeme - C# will naturally handle int + int = int,
- * int + double = double, etc.
- *
- * Explicit casts come from IrCastExpression nodes (generated by type-checker
- * when user intent allows int → double coercion).
- *
- * STRING INDEXER FIX: In C#, string[int] returns char, not string.
- * When comparing a string indexer result with a single-character string literal,
- * we emit the string as a char literal to avoid CS0019 (char == string).
- *
- * @param expr - The binary expression
- * @param context - Emitter context
- * @param _expectedType - Unused under new spec (kept for API compatibility)
- */
-export declare const emitBinary: (expr: Extract<IrExpression, {
-    kind: "binary";
-}>, context: EmitterContext, _expectedType?: IrType) => [CSharpFragment, EmitterContext];
-/**
- * Emit a logical operator expression (&&, ||, ??)
- *
- * In TypeScript, || is used both for:
- * 1. Boolean OR (when operands are booleans)
- * 2. Nullish coalescing fallback (when left operand is nullable)
- *
- * In C#:
- * - || only works with booleans
- * - ?? is used for nullish coalescing
- *
- * We check if || is used with non-boolean operands and emit ?? instead.
- */
-export declare const emitLogical: (expr: Extract<IrExpression, {
-    kind: "logical";
-}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
-/**
- * Emit a unary operator expression (-, +, !, ~, typeof, void, delete)
- *
- * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
- * Explicit casts come from IrCastExpression nodes.
- *
- * @param expr - The unary expression
- * @param context - Emitter context
- * @param _expectedType - Unused under new spec (kept for API compatibility)
- */
-export declare const emitUnary: (expr: Extract<IrExpression, {
-    kind: "unary";
-}>, context: EmitterContext, expectedType?: IrType) => [CSharpFragment, EmitterContext];
-/**
- * Emit an update operator expression (++, --)
- */
-export declare const emitUpdate: (expr: Extract<IrExpression, {
-    kind: "update";
-}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
-/**
- * Emit an assignment expression (=, +=, -=, etc.)
- *
- * Passes the LHS type as expected type to RHS, enabling proper integer
- * literal emission for cases like `this.value = this.value + 1`.
- */
-export declare const emitAssignment: (expr: Extract<IrExpression, {
-    kind: "assignment";
-}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
-/**
- * Emit a conditional (ternary) expression
- *
- * Supports type predicate narrowing:
- * - `isUser(x) ? x.name : "anon"` → `x.Is1() ? (x.As1()).name : "anon"`
- * - `!isUser(x) ? "anon" : x.name` → `!x.Is1() ? "anon" : (x.As1()).name`
- *
- * @param expr - The conditional expression
- * @param context - Emitter context
- * @param expectedType - Optional expected type (for null → default in generic contexts)
- */
-export declare const emitConditional: (expr: Extract<IrExpression, {
-    kind: "conditional";
-}>, context: EmitterContext, expectedType?: IrType) => [CSharpFragment, EmitterContext];
+export { emitBinary } from "./operators/binary-emitter.js";
+export { emitLogical } from "./operators/logical-emitter.js";
+export { emitUnary, emitUpdate } from "./operators/unary-emitter.js";
+export { emitAssignment } from "./operators/assignment-emitter.js";
+export { emitConditional } from "./operators/conditional-emitter.js";
 //# sourceMappingURL=operators.d.ts.map

package/dist/expressions/operators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../src/expressions/operators.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAa,MAAM,kBAAkB,CAAC;AACnE,OAAO,EACL,cAAc,EACd,cAAc,EAGf,MAAM,aAAa,CAAC;AAuJrB;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,gBAAgB,MAAM,KACrB,CAAC,cAAc,EAAE,cAAc,CA0WjC,CAAC;AAUF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CA0CjC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAkIjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAyBjC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAgHjC,CAAC;AAyQF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAwEjC,CAAC"}
+{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../src/expressions/operators.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC"}