@tsonic/emitter 0.0.62 → 0.0.64

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"}