@tsonic/emitter 0.0.62 → 0.0.63

package/dist/statements/classes/parameters.js

@@ -5,13 +5,13 @@
  * For destructuring patterns, generates synthetic parameter names (__param0, etc.)
  * and returns lowering info for the caller to inject destructuring statements.
  */
-import { emitExpression } from "../../expression-emitter.js";
+import { emitExpressionAst } from "../../expression-emitter.js";
 import { emitParameterType } from "../../type-emitter.js";
 import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
-import { lowerParameterPattern } from "../../patterns.js";
-import { emitParameterAttributes } from "../../core/attributes.js";
+import { lowerPatternAst } from "../../patterns.js";
+import { emitParameterAttributes } from "../../core/format/attributes.js";
 /**
- * Emit parameters for functions and methods
+ * Emit parameters for functions and methods as CSharpParameterAst[].
  *
  * For simple identifier patterns, emits directly as C# parameters.
  * For complex patterns (array/object), generates synthetic parameter names
@@ -19,12 +19,12 @@ import { emitParameterAttributes } from "../../core/attributes.js";
  */
 export const emitParameters = (parameters, context) => {
     const result = emitParametersWithDestructuring(parameters, context);
-    return [result.parameterList, result.context];
+    return [result.parameters, result.context];
 };
 /**
  * Emit parameters with full destructuring support
  *
- * Returns both the parameter list and info about parameters that need
+ * Returns both the parameter ASTs and info about parameters that need
  * destructuring statements in the function body.
  */
 export const emitParametersWithDestructuring = (parameters, context) => {
@@ -35,7 +35,7 @@ export const emitParametersWithDestructuring = (parameters, context) => {
     for (const param of parameters) {
         const isRest = param.isRest;
         const isOptional = param.isOptional;
-        const [parameterAttributePrefix, attrContext] = emitParameterAttributes(param.attributes, currentContext);
+        const [paramAttrs, attrContext] = emitParameterAttributes(param.attributes, currentContext);
         currentContext = attrContext;
         const modifiers = [];
         if (param.isExtensionReceiver) {
@@ -45,15 +45,13 @@ export const emitParametersWithDestructuring = (parameters, context) => {
         if (param.passing !== "value") {
             modifiers.push(param.passing);
         }
-        const modifierPrefix = modifiers.length > 0 ? `${modifiers.join(" ")} ` : "";
         const actualType = param.type;
         // Parameter type
-        let paramType = "object";
+        let typeAst = { kind: "identifierType", name: "object" };
         if (actualType) {
-            const [typeName, newContext] = emitParameterType(actualType, isOptional, currentContext);
+            const [tAst, newContext] = emitParameterType(actualType, isOptional, currentContext);
             currentContext = newContext;
-            paramType = typeName;
-            // Rest parameters use native T[] arrays with params modifier
+            typeAst = tAst;
         }
         // Determine parameter name based on pattern kind
         let paramName;
@@ -76,36 +74,42 @@ export const emitParametersWithDestructuring = (parameters, context) => {
         else {
             paramName = "param";
         }
-        // Construct parameter string with modifiers if present
-        let paramStr = `${parameterAttributePrefix}${modifierPrefix}${paramType} ${paramName}`;
+        // Default value
+        let defaultValue;
         if (param.initializer) {
-            // Emit the default value directly
-            const [defaultExpr, newContext] = emitExpression(param.initializer, currentContext);
+            const [defaultAst, newContext] = emitExpressionAst(param.initializer, currentContext);
             currentContext = newContext;
-            paramStr = `${modifierPrefix}${paramType} ${paramName} = ${defaultExpr.text}`;
+            defaultValue = defaultAst;
         }
         else if (isOptional && !isRest) {
-            paramStr += " = default";
+            defaultValue = { kind: "defaultExpression" };
         }
-        params.push(paramStr);
+        params.push({
+            name: paramName,
+            type: typeAst,
+            ...(defaultValue ? { defaultValue } : {}),
+            ...(modifiers.length > 0 ? { modifiers } : {}),
+            ...(paramAttrs.length > 0 ? { attributes: paramAttrs } : {}),
+        });
     }
     return {
-        parameterList: params.join(", "),
+        parameters: params,
         destructuringParams,
         context: currentContext,
     };
 };
 /**
- * Generate destructuring statements for parameters
- *
- * Call this after emitParametersWithDestructuring to get the statements
- * that should be injected at the start of the function body.
+ * Generate destructuring statements as AST nodes.
  */
-export const generateParameterDestructuring = (destructuringParams, indent, context) => {
+export const generateParameterDestructuringAst = (destructuringParams, context) => {
     let currentContext = context;
     const statements = [];
     for (const info of destructuringParams) {
-        const result = lowerParameterPattern(info.pattern, info.syntheticName, info.type, indent, currentContext);
+        const inputExpr = {
+            kind: "identifierExpression",
+            identifier: info.syntheticName,
+        };
+        const result = lowerPatternAst(info.pattern, inputExpr, info.type, currentContext);
         statements.push(...result.statements);
         currentContext = result.context;
     }

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

@@ -1 +1 @@
-{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAuBnE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAkC,EAClC,OAAuB,EACG,EAAE;IAC5B,MAAM,MAAM,GAAG,+BAA+B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,UAAkC,EAClC,OAAuB,EACE,EAAE;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,mBAAmB,GAAiC,EAAE,CAAC;IAC7D,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAE5B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QAEpC,MAAM,CAAC,wBAAwB,EAAE,WAAW,CAAC,GAAG,uBAAuB,CACrE,KAAK,CAAC,UAAU,EAChB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAE7B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,gFAAgF;QAChF,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,cAAc,GAClB,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,MAAM,UAAU,GAAuB,KAAK,CAAC,IAAI,CAAC;QAElD,iBAAiB;QACjB,IAAI,SAAS,GAAG,QAAQ,CAAC;QACzB,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC9C,UAAU,EACV,UAAU,EACV,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,SAAS,GAAG,QAAQ,CAAC;YACrB,6DAA6D;QAC/D,CAAC;QAED,iDAAiD;QACjD,IAAI,SAAiB,CAAC;QACtB,MAAM,gBAAgB,GACpB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;YACrC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC;QAEzC,IAAI,gBAAgB,EAAE,CAAC;YACrB,+CAA+C;YAC/C,SAAS,GAAG,UAAU,mBAAmB,EAAE,CAAC;YAC5C,mBAAmB,EAAE,CAAC;YACtB,4CAA4C;YAC5C,mBAAmB,CAAC,IAAI,CAAC;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtD,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QAED,uDAAuD;QACvD,IAAI,QAAQ,GAAG,GAAG,wBAAwB,GAAG,cAAc,GAAG,SAAS,IAAI,SAAS,EAAE,CAAC;QACvF,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,kCAAkC;YAClC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,cAAc,CAC9C,KAAK,CAAC,WAAW,EACjB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,QAAQ,GAAG,GAAG,cAAc,GAAG,SAAS,IAAI,SAAS,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC;QAChF,CAAC;aAAM,IAAI,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,QAAQ,IAAI,YAAY,CAAC;QAC3B,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAED,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,mBAAmB;QACnB,OAAO,EAAE,cAAc;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,mBAA0D,EAC1D,MAAc,EACd,OAAuB,EACc,EAAE;IACvC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,qBAAqB,CAClC,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,IAAI,EACT,MAAM,EACN,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC"}
+{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../../src/statements/classes/parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AA6B1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAkC,EAClC,OAAuB,EAC0B,EAAE;IACnD,MAAM,MAAM,GAAG,+BAA+B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,UAAkC,EAClC,OAAuB,EACE,EAAE;IAC3B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,mBAAmB,GAAiC,EAAE,CAAC;IAC7D,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAE5B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QAEpC,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,uBAAuB,CACvD,KAAK,CAAC,UAAU,EAChB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,WAAW,CAAC;QAE7B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,gFAAgF;QAChF,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC9B,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QAED,MAAM,UAAU,GAAuB,KAAK,CAAC,IAAI,CAAC;QAElD,iBAAiB;QACjB,IAAI,OAAO,GAAkB,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACxE,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC1C,UAAU,EACV,UAAU,EACV,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QAED,iDAAiD;QACjD,IAAI,SAAiB,CAAC;QACtB,MAAM,gBAAgB,GACpB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;YACrC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC;QAEzC,IAAI,gBAAgB,EAAE,CAAC;YACrB,+CAA+C;YAC/C,SAAS,GAAG,UAAU,mBAAmB,EAAE,CAAC;YAC5C,mBAAmB,EAAE,CAAC;YACtB,4CAA4C;YAC5C,mBAAmB,CAAC,IAAI,CAAC;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtD,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QAED,gBAAgB;QAChB,IAAI,YAA6C,CAAC;QAClD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAChD,KAAK,CAAC,WAAW,EACjB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAC5B,YAAY,GAAG,UAAU,CAAC;QAC5B,CAAC;aAAM,IAAI,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,YAAY,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;QAC/C,CAAC;QAED,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,OAAO;YACb,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,UAAU,EAAE,MAAM;QAClB,mBAAmB;QACnB,OAAO,EAAE,cAAc;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,mBAA0D,EAC1D,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,IAAI,CAAC,aAAa;SAC/B,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,IAAI,CAAC,IAAI,EACT,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC"}

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

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

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

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

package/dist/statements/classes/properties.js

@@ -1,76 +1,102 @@
 /**
- * Interface member to property emission
+ * Interface member to property emission — returns CSharpMemberAst
  */
-import { getIndent } from "../../types.js";
-import { emitType } from "../../type-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
 import { emitParameters } from "./parameters.js";
 import { emitCSharpName, getCSharpName } from "../../naming-policy.js";
 /**
- * Emit interface member as C# auto-property (for classes)
+ * Emit interface member as CSharpMemberAst (property or method declaration)
  * Per spec/16-types-and-interfaces.md §2.1
  */
 export const emitInterfaceMemberAsProperty = (member, context) => {
-    const ind = getIndent(context);
     switch (member.kind) {
         case "propertySignature": {
-            let currentContext = context;
-            const parts = [];
-            parts.push("public"); // All properties public
+            const currentContext = context;
+            const modifiers = ["public"];
             // Required modifier for non-optional properties (C# 11)
             if (!member.isOptional) {
-                parts.push("required");
+                modifiers.push("required");
             }
             // Property type
-            if (member.type) {
-                // If this is an inline object type, use the extracted class name
-                let typeName;
-                if (member.type.kind === "objectType") {
-                    // Use naming policy for generated type names
-                    typeName = getCSharpName(member.name, "classes", context);
+            const [baseTypeAst, typeContext] = (() => {
+                if (member.type) {
+                    // If this is an inline object type, use the extracted class name
+                    if (member.type.kind === "objectType") {
+                        const typeName = getCSharpName(member.name, "classes", context);
+                        const typeAst = {
+                            kind: "identifierType",
+                            name: typeName,
+                        };
+                        return [typeAst, currentContext];
+                    }
+                    return emitTypeAst(member.type, currentContext);
                 }
-                else {
-                    const [emittedType, newContext] = emitType(member.type, currentContext);
-                    currentContext = newContext;
-                    typeName = emittedType;
-                }
-                // Optional members become nullable (spec §2.1)
-                const typeStr = member.isOptional ? `${typeName}?` : typeName;
-                parts.push(typeStr);
-            }
-            else {
-                const typeStr = member.isOptional ? "object?" : "object";
-                parts.push(typeStr);
-            }
+                const typeAst = {
+                    kind: "identifierType",
+                    name: "object",
+                };
+                return [typeAst, currentContext];
+            })();
+            // Optional members become nullable (spec §2.1)
+            const typeAst = member.isOptional
+                ? { kind: "nullableType", underlyingType: baseTypeAst }
+                : baseTypeAst;
             // Property name (escape C# keywords)
-            parts.push(emitCSharpName(member.name, "properties", context));
+            const name = emitCSharpName(member.name, "properties", context);
             // Getter/setter. For "readonly" in TS, use init-only to preserve immutability
             // while still allowing object-initializer assignment (and `required` in C# 11).
-            const accessors = member.isReadonly ? "{ get; init; }" : "{ get; set; }";
-            return [`${ind}${parts.join(" ")} ${accessors}`, currentContext];
+            const memberAst = {
+                kind: "propertyDeclaration",
+                attributes: [],
+                modifiers,
+                type: typeAst,
+                name,
+                hasGetter: true,
+                hasSetter: !member.isReadonly,
+                hasInit: member.isReadonly ? true : undefined,
+                isAutoProperty: true,
+            };
+            return [memberAst, typeContext];
         }
         case "methodSignature": {
-            let currentContext = context;
-            const parts = [];
-            parts.push("public"); // All methods public
+            const currentContext = context;
+            const modifiers = ["public"];
             // Return type
-            if (member.returnType) {
-                const [returnType, newContext] = emitType(member.returnType, currentContext);
-                currentContext = newContext;
-                parts.push(returnType);
-            }
-            else {
-                parts.push("void");
-            }
+            const [returnTypeAst, returnTypeContext] = (() => {
+                if (member.returnType) {
+                    return emitTypeAst(member.returnType, currentContext);
+                }
+                const voidType = {
+                    kind: "identifierType",
+                    name: "void",
+                };
+                return [voidType, currentContext];
+            })();
             // Method name (escape C# keywords)
-            parts.push(emitCSharpName(member.name, "methods", context));
+            const name = emitCSharpName(member.name, "methods", context);
             // Parameters
-            const params = emitParameters(member.parameters, currentContext);
-            currentContext = params[1];
-            // Methods in interfaces are abstract declarations
-            return [
-                `${ind}${parts.join(" ")}(${params[0]}) => throw new NotImplementedException();`,
-                currentContext,
-            ];
+            const [paramAsts, paramContext] = emitParameters(member.parameters, returnTypeContext);
+            // Methods in interfaces are expression-bodied with throw
+            const memberAst = {
+                kind: "methodDeclaration",
+                attributes: [],
+                modifiers,
+                returnType: returnTypeAst,
+                name,
+                parameters: paramAsts,
+                expressionBody: {
+                    kind: "throwExpression",
+                    expression: {
+                        kind: "objectCreationExpression",
+                        type: {
+                            kind: "identifierType",
+                            name: "global::System.NotImplementedException",
+                        },
+                        arguments: [],
+                    },
+                },
+            };
+            return [memberAst, paramContext];
         }
         default:
             throw new Error(`Unhandled IR interface member kind: ${String(member.kind)}`);

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

@@ -1 +1 @@
-{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,MAAyB,EACzB,OAAuB,EACG,EAAE;IAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,IAAI,cAAc,GAAG,OAAO,CAAC;YAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB;YAE9C,wDAAwD;YACxD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;YAED,gBAAgB;YAChB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,iEAAiE;gBACjE,IAAI,QAAgB,CAAC;gBACrB,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACtC,6CAA6C;oBAC7C,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC5D,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CACxC,MAAM,CAAC,IAAI,EACX,cAAc,CACf,CAAC;oBACF,cAAc,GAAG,UAAU,CAAC;oBAC5B,QAAQ,GAAG,WAAW,CAAC;gBACzB,CAAC;gBACD,+CAA+C;gBAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAC9D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,CAAC;YAED,qCAAqC;YACrC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;YAE/D,8EAA8E;YAC9E,gFAAgF;YAChF,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,CAAC;YAEzE,OAAO,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,EAAE,cAAc,CAAC,CAAC;QACnE,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,cAAc,GAAG,OAAO,CAAC;YAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,qBAAqB;YAE3C,cAAc;YACd,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,QAAQ,CACvC,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,UAAU,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;YAED,mCAAmC;YACnC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAE5D,aAAa;YACb,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACjE,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAE3B,kDAAkD;YAClD,OAAO;gBACL,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,2CAA2C;gBAChF,cAAc;aACf,CAAC;QACJ,CAAC;QAED;YACE,MAAM,IAAI,KAAK,CACb,uCAAuC,MAAM,CAAE,MAA6B,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;IACN,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../src/statements/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAMvE;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,MAAyB,EACzB,OAAuB,EACY,EAAE;IACrC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,cAAc,GAAG,OAAO,CAAC;YAE/B,MAAM,SAAS,GAAa,CAAC,QAAQ,CAAC,CAAC;YAEvC,wDAAwD;YACxD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7B,CAAC;YAED,gBAAgB;YAChB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;gBACvC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAChB,iEAAiE;oBACjE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACtC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;wBAChE,MAAM,OAAO,GAAkB;4BAC7B,IAAI,EAAE,gBAAgB;4BACtB,IAAI,EAAE,QAAQ;yBACf,CAAC;wBACF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;oBAC5C,CAAC;oBACD,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBAClD,CAAC;gBACD,MAAM,OAAO,GAAkB;oBAC7B,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,QAAQ;iBACf,CAAC;gBACF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;YAC5C,CAAC,CAAC,EAAE,CAAC;YAEL,+CAA+C;YAC/C,MAAM,OAAO,GAAkB,MAAM,CAAC,UAAU;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE;gBACvD,CAAC,CAAC,WAAW,CAAC;YAEhB,qCAAqC;YACrC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YAEhE,8EAA8E;YAC9E,gFAAgF;YAChF,MAAM,SAAS,GAAoB;gBACjC,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,EAAE;gBACd,SAAS;gBACT,IAAI,EAAE,OAAO;gBACb,IAAI;gBACJ,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU;gBAC7B,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBAC7C,cAAc,EAAE,IAAI;aACrB,CAAC;YAEF,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAClC,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,cAAc,GAAG,OAAO,CAAC;YAE/B,MAAM,SAAS,GAAa,CAAC,QAAQ,CAAC,CAAC;YAEvC,cAAc;YACd,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE;gBAC/C,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtB,OAAO,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;gBACxD,CAAC;gBACD,MAAM,QAAQ,GAAkB;oBAC9B,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,MAAM;iBACb,CAAC;gBACF,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAU,CAAC;YAC7C,CAAC,CAAC,EAAE,CAAC;YAEL,mCAAmC;YACnC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YAE7D,aAAa;YACb,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAClB,CAAC;YAEF,yDAAyD;YACzD,MAAM,SAAS,GAAoB;gBACjC,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,EAAE;gBACd,SAAS;gBACT,UAAU,EAAE,aAAa;gBACzB,IAAI;gBACJ,UAAU,EAAE,SAAS;gBACrB,cAAc,EAAE;oBACd,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE;wBACV,IAAI,EAAE,0BAA0B;wBAChC,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,IAAI,EAAE,wCAAwC;yBAC/C;wBACD,SAAS,EAAE,EAAE;qBACd;iBACF;aACF,CAAC;YAEF,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACnC,CAAC;QAED;YACE,MAAM,IAAI,KAAK,CACb,uCAAuC,MAAM,CAAE,MAA6B,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;IACN,CAAC;AACH,CAAC,CAAC"}

package/dist/statements/classes.d.ts

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

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

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

package/dist/statements/classes.js

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

package/dist/statements/classes.js.map

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

package/dist/statements/control/conditionals/guard-analysis.d.ts

@@ -0,0 +1,169 @@
+/**
+ * Guard analysis and type narrowing helpers for conditional statements.
+ *
+ * Contains the 5 guard types (GuardInfo, InstanceofGuardInfo, InGuardInfo,
+ * DiscriminantEqualityGuardInfo, NullableGuardInfo) and all detection/analysis
+ * helper functions used by the if-statement emitter.
+ */
+import { IrExpression, IrStatement, IrType } from "@tsonic/frontend";
+import { EmitterContext, NarrowedBinding } from "../../../types.js";
+/**
+ * Information extracted from a type predicate guard call.
+ * Used to generate Union.IsN()/AsN() narrowing code.
+ */
+export type GuardInfo = {
+    readonly originalName: string;
+    readonly targetType: IrType;
+    readonly memberN: number;
+    readonly unionArity: number;
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+};
+/**
+ * Information extracted from an `instanceof` condition.
+ * Used to generate C# pattern variables for narrowing:
+ *   if (x is Foo x__is_1) { ... }
+ */
+export type InstanceofGuardInfo = {
+    readonly originalName: string;
+    readonly rhsTypeText: string;
+    readonly ctxWithId: EmitterContext;
+    readonly ctxAfterRhs: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+    readonly targetType?: IrType;
+};
+/**
+ * Information extracted from an `("prop" in x)` condition.
+ *
+ * This is used for union narrowing over structural union members (Union<T1..Tn>):
+ *   if ("error" in auth) { ... } → if (auth.IsN()) { var auth__N_k = auth.AsN(); ... }
+ *
+ * NOTE: We only support the common "2-member union" narrowing case today:
+ * - RHS must be an identifier
+ * - RHS inferred type must resolve to unionType (arity 2..8)
+ * - LHS must be a string literal
+ * - The property must exist on exactly ONE union member (so narrowing is single-type)
+ */
+export type InGuardInfo = {
+    readonly originalName: string;
+    readonly propertyName: string;
+    readonly memberN: number;
+    readonly unionArity: number;
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+};
+/**
+ * Information extracted from a discriminant literal equality check:
+ *   if (x.kind === "circle") { ... }
+ *
+ * Airplane-grade narrowing is only enabled when:
+ * - x is a union (2..8 members)
+ * - x is an identifier
+ * - kind is a non-computed property name
+ * - the compared value is a literal (string/number/boolean)
+ * - exactly ONE union member's discriminant property type includes that literal
+ *
+ * Lowering uses union tags (not runtime property equality):
+ *   x.kind === "circle"  ->  x.IsN()
+ *   x.kind !== "circle"  ->  !x.IsN()
+ */
+export type DiscriminantEqualityGuardInfo = {
+    readonly originalName: string;
+    readonly propertyName: string;
+    readonly literal: string | number | boolean;
+    readonly operator: "===" | "!==" | "==" | "!=";
+    readonly memberN: number;
+    readonly unionArity: number;
+    readonly ctxWithId: EmitterContext;
+    readonly narrowedName: string;
+    readonly escapedOrig: string;
+    readonly escapedNarrow: string;
+    readonly narrowedMap: Map<string, NarrowedBinding>;
+};
+/**
+ * Information extracted from a nullable guard condition.
+ * Used to generate .Value access for narrowed nullable value types.
+ */
+export type NullableGuardInfo = {
+    readonly key: string;
+    readonly targetExpr: Extract<IrExpression, {
+        kind: "identifier" | "memberAccess";
+    }>;
+    readonly strippedType: IrType;
+    readonly narrowsInThen: boolean;
+    readonly isValueType: boolean;
+};
+/**
+ * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
+ *
+ * This supports airplane-grade discriminated union narrowing without relying on
+ * TypeScript flow analysis, by mapping the literal to exactly one union member.
+ */
+export declare const tryResolveDiscriminantEqualityGuard: (condition: IrExpression, context: EmitterContext) => DiscriminantEqualityGuardInfo | undefined;
+/**
+ * Try to extract guard info from an `("prop" in x)` binary expression.
+ */
+export declare const tryResolveInGuard: (condition: IrExpression, context: EmitterContext) => InGuardInfo | undefined;
+/**
+ * Conservative check: does a statement definitely terminate control flow?
+ * Used to apply post-if narrowing in patterns like:
+ *   if (guard(x)) return ...;
+ *   // x is now narrowed in the remainder of the block (2-member unions only)
+ */
+export declare const isDefinitelyTerminating: (stmt: IrStatement) => boolean;
+/**
+ * Try to extract guard info from a predicate call expression.
+ * Returns GuardInfo if:
+ * - call.narrowing is typePredicate
+ * - predicate arg is identifier
+ * - arg.inferredType resolves to unionType
+ * - targetType exists in union
+ */
+export declare const tryResolvePredicateGuard: (call: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => GuardInfo | undefined;
+/**
+ * Try to extract guard info from an `instanceof` binary expression.
+ * Returns guard info if:
+ * - condition is `binary` with operator `instanceof`
+ * - lhs is identifier
+ *
+ * Note: rhs is emitted as a type name (C# pattern).
+ */
+export declare const tryResolveInstanceofGuard: (condition: IrExpression, context: EmitterContext) => InstanceofGuardInfo | undefined;
+/**
+ * Check if an expression represents null or undefined.
+ * Handles both literal form (from null/undefined keyword) and identifier form
+ * (when TypeScript parses "undefined" as an identifier rather than keyword).
+ */
+export declare const isNullOrUndefined: (expr: IrExpression) => boolean;
+export declare const getMemberAccessNarrowKey: (expr: Extract<IrExpression, {
+    kind: "memberAccess";
+}>) => string | undefined;
+/**
+ * Try to extract nullable guard info from a simple comparison expression.
+ * This is the core check for patterns like: id !== undefined, id !== null, id != null
+ */
+export declare const tryResolveSimpleNullableGuard: (condition: IrExpression) => NullableGuardInfo | undefined;
+/**
+ * Try to extract nullable guard info from a condition.
+ * Detects patterns like: id !== undefined, id !== null, id != null
+ * Also searches inside && (logical AND) conditions recursively.
+ *
+ * For compound conditions like `method === "GET" && id !== undefined`,
+ * we search both sides of the && for a nullable guard pattern.
+ *
+ * Returns guard info if the condition is a null/undefined check on an identifier
+ * with a nullable type that is a value type (needs .Value in C#).
+ */
+export declare const tryResolveNullableGuard: (condition: IrExpression, _context: EmitterContext) => NullableGuardInfo | undefined;
+//# sourceMappingURL=guard-analysis.d.ts.map

package/dist/statements/control/conditionals/guard-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard-analysis.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EACL,cAAc,EAEd,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAuB3B;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAC1B,YAAY,EACZ;QAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;KAAE,CACxC,CAAC;IACF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AA2KF;;;;;GAKG;AACH,eAAO,MAAM,mCAAmC,GAC9C,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,6BAA6B,GAAG,SAkKlC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,WAAW,GAAG,SAkEhB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,WAAW,KAAG,OAS3D,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,SAAS,GAAG,SAoDd,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,GACpC,WAAW,YAAY,EACvB,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAsCxB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,YAAY,KAAG,OAgBtD,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,KACpD,MAAM,GAAG,SAmBX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,WAAW,YAAY,KACtB,iBAAiB,GAAG,SAuDtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,WAAW,YAAY,EACvB,UAAU,cAAc,KACvB,iBAAiB,GAAG,SAiBtB,CAAC"}