@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.js

@@ -0,0 +1,183 @@
+/**
+ * Shared helpers for Declaration-Based Numeric Intent Recovery tests.
+ */
+import * as path from "path";
+import * as fs from "fs";
+import { fileURLToPath } from "url";
+import { compile, runNumericProofPass } from "../../../../index.js";
+import { buildIr } from "../../../builder.js";
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = path.dirname(__filename);
+// From dist/ir/converters/expressions/numeric-recovery-cases/ go up to packages/frontend/, then up 2 more to monorepo root
+const monorepoRoot = path.resolve(__dirname, "../../../../../../..");
+const globalsPath = path.join(monorepoRoot, "node_modules/@tsonic/globals");
+const corePath = path.join(monorepoRoot, "node_modules/@tsonic/core");
+const jsPath = path.join(monorepoRoot, "node_modules/@tsonic/js");
+const siblingDotnetPath = path.resolve(monorepoRoot, "../dotnet/versions/10");
+const installedDotnetPath = path.join(monorepoRoot, "node_modules/@tsonic/dotnet");
+const dotnetPath = fs.existsSync(siblingDotnetPath)
+    ? siblingDotnetPath
+    : installedDotnetPath;
+const installPackageLink = (projectRoot, packageName, sourceRoot) => {
+    if (!fs.existsSync(sourceRoot)) {
+        return;
+    }
+    const packageRoot = path.join(projectRoot, "node_modules", ...packageName.split("/"));
+    if (fs.existsSync(packageRoot)) {
+        return;
+    }
+    fs.mkdirSync(path.dirname(packageRoot), { recursive: true });
+    fs.symlinkSync(sourceRoot, packageRoot, "dir");
+};
+/**
+ * Helper to compile TypeScript code with globals and extract IR
+ */
+export const compileWithTypeRoots = (code, typeRoots, surface) => {
+    const tmpRoot = path.join(monorepoRoot, ".temp");
+    fs.mkdirSync(tmpRoot, { recursive: true });
+    const tmpDir = fs.mkdtempSync(path.join(tmpRoot, "numeric-recovery-test-"));
+    fs.writeFileSync(path.join(tmpDir, "tsonic.workspace.json"), JSON.stringify({
+        $schema: "https://tsonic.org/schema/workspace/v1.json",
+        dotnetVersion: "net10.0",
+    }, null, 2));
+    installPackageLink(tmpDir, "@tsonic/core", corePath);
+    installPackageLink(tmpDir, "@tsonic/globals", globalsPath);
+    installPackageLink(tmpDir, "@tsonic/dotnet", dotnetPath);
+    if (surface === "@tsonic/js") {
+        installPackageLink(tmpDir, "@tsonic/js", jsPath);
+    }
+    const filePath = path.join(tmpDir, "test.ts");
+    fs.writeFileSync(filePath, code);
+    const compileResult = compile([filePath], {
+        projectRoot: tmpDir,
+        sourceRoot: tmpDir,
+        rootNamespace: "Test",
+        typeRoots,
+        surface,
+    });
+    if (!compileResult.ok) {
+        const errorMsg = compileResult.error.diagnostics
+            .map((d) => `${d.code}: ${d.message}`)
+            .join("\n");
+        return { modules: [], ok: false, error: errorMsg };
+    }
+    const irResult = buildIr(compileResult.value.program, {
+        sourceRoot: tmpDir,
+        rootNamespace: "Test",
+    });
+    if (!irResult.ok) {
+        const errorMsg = irResult.error
+            .map((d) => `${d.code}: ${d.message}`)
+            .join("\n");
+        return { modules: [], ok: false, error: errorMsg };
+    }
+    const projectModules = irResult.value.filter((module) => {
+        const normalizedFilePath = module.filePath.replace(/\\/g, "/");
+        if (!path.isAbsolute(module.filePath)) {
+            return (!normalizedFilePath.startsWith("node_modules/") &&
+                !normalizedFilePath.startsWith("__tsonic/"));
+        }
+        const relative = path.relative(tmpDir, module.filePath).replace(/\\/g, "/");
+        return (relative !== "" &&
+            !relative.startsWith("../") &&
+            !path.isAbsolute(relative) &&
+            !relative.startsWith("node_modules/") &&
+            !relative.startsWith("__tsonic/"));
+    });
+    return { modules: projectModules, ok: true };
+};
+export const compileWithGlobals = (code) => compileWithTypeRoots(code, [globalsPath, corePath]);
+export const compileWithJsSurface = (code) => compileWithTypeRoots(code, [jsPath, corePath], "@tsonic/js");
+/**
+ * Helper to find an expression in the IR by predicate
+ */
+export const findExpression = (modules, predicate) => {
+    const visitExpression = (expr) => {
+        if (predicate(expr))
+            return expr;
+        // Recursively check nested expressions
+        if (expr.kind === "memberAccess") {
+            const result = visitExpression(expr.object);
+            if (result)
+                return result;
+            // Also check computed property if it's an expression
+            if (typeof expr.property !== "string") {
+                const propResult = visitExpression(expr.property);
+                if (propResult)
+                    return propResult;
+            }
+        }
+        if (expr.kind === "call") {
+            const result = visitExpression(expr.callee);
+            if (result)
+                return result;
+            for (const arg of expr.arguments) {
+                if (arg.kind !== "spread") {
+                    const argResult = visitExpression(arg);
+                    if (argResult)
+                        return argResult;
+                }
+            }
+        }
+        if (expr.kind === "binary") {
+            const leftResult = visitExpression(expr.left);
+            if (leftResult)
+                return leftResult;
+            const rightResult = visitExpression(expr.right);
+            if (rightResult)
+                return rightResult;
+        }
+        if (expr.kind === "logical") {
+            const leftResult = visitExpression(expr.left);
+            if (leftResult)
+                return leftResult;
+            const rightResult = visitExpression(expr.right);
+            if (rightResult)
+                return rightResult;
+        }
+        return undefined;
+    };
+    for (const module of modules) {
+        for (const stmt of module.body) {
+            if (stmt.kind === "variableDeclaration") {
+                for (const decl of stmt.declarations) {
+                    if (decl.initializer) {
+                        const result = visitExpression(decl.initializer);
+                        if (result)
+                            return result;
+                    }
+                }
+            }
+            if (stmt.kind === "functionDeclaration" && stmt.body) {
+                for (const bodyStmt of stmt.body.statements) {
+                    if (bodyStmt.kind === "returnStatement" && bodyStmt.expression) {
+                        const result = visitExpression(bodyStmt.expression);
+                        if (result)
+                            return result;
+                    }
+                    if (bodyStmt.kind === "variableDeclaration") {
+                        for (const decl of bodyStmt.declarations) {
+                            if (decl.initializer) {
+                                const result = visitExpression(decl.initializer);
+                                if (result)
+                                    return result;
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    return undefined;
+};
+export const unwrapTransparentExpression = (expr) => {
+    let current = expr;
+    while (current.kind === "typeAssertion" ||
+        current.kind === "asinterface" ||
+        current.kind === "numericNarrowing") {
+        current = current.expression;
+    }
+    return current;
+};
+export { runNumericProofPass };
+//# sourceMappingURL=test-helpers.js.map

package/dist/ir/converters/expressions/numeric-recovery-cases/test-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-helpers.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/numeric-recovery-cases/test-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAC3C,2HAA2H;AAC3H,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;AACrE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;AACtE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,yBAAyB,CAAC,CAAC;AAClE,MAAM,iBAAiB,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;AAC9E,MAAM,mBAAmB,GAAG,IAAI,CAAC,IAAI,CACnC,YAAY,EACZ,6BAA6B,CAC9B,CAAC;AACF,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;IACjD,CAAC,CAAC,iBAAiB;IACnB,CAAC,CAAC,mBAAmB,CAAC;AAExB,MAAM,kBAAkB,GAAG,CACzB,WAAmB,EACnB,WAAmB,EACnB,UAAkB,EACZ,EAAE;IACR,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO;IACT,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAC3B,WAAW,EACX,cAAc,EACd,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAC1B,CAAC;IACF,IAAI,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,OAAO;IACT,CAAC;IAED,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAY,EACZ,SAA4B,EAC5B,OAAgB,EAC+C,EAAE;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjD,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAC5E,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,EAC1C,IAAI,CAAC,SAAS,CACZ;QACE,OAAO,EAAE,6CAA6C;QACtD,aAAa,EAAE,SAAS;KACzB,EACD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;IACF,kBAAkB,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IACrD,kBAAkB,CAAC,MAAM,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAAC;IAC3D,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC7B,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9C,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEjC,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE;QACxC,WAAW,EAAE,MAAM;QACnB,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,MAAM;QACrB,SAAS;QACT,OAAO;KACR,CAAC,CAAC;IAEH,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW;aAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE;QACpD,UAAU,EAAE,MAAM;QAClB,aAAa,EAAE,MAAM;KACtB,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK;aAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;QACtD,MAAM,kBAAkB,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,OAAO,CACL,CAAC,kBAAkB,CAAC,UAAU,CAAC,eAAe,CAAC;gBAC/C,CAAC,kBAAkB,CAAC,UAAU,CAAC,WAAW,CAAC,CAC5C,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5E,OAAO,CACL,QAAQ,KAAK,EAAE;YACf,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC;YAC3B,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;YAC1B,CAAC,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC;YACrC,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,CAClC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACmD,EAAE,CACjE,oBAAoB,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEtD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAY,EACmD,EAAE,CACjE,oBAAoB,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAA4B,EAC5B,SAA0C,EAChB,EAAE;IAC5B,MAAM,eAAe,GAAG,CAAC,IAAkB,EAA4B,EAAE;QACvE,IAAI,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAEjC,uCAAuC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YAC1B,qDAAqD;YACrD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAClD,IAAI,UAAU;oBAAE,OAAO,UAAU,CAAC;YACpC,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;oBACvC,IAAI,SAAS;wBAAE,OAAO,SAAS,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC;YAClC,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,WAAW;gBAAE,OAAO,WAAW,CAAC;QACtC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC;YAClC,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,WAAW;gBAAE,OAAO,WAAW,CAAC;QACtC,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBACjD,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACrD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;oBAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;wBAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;wBACpD,IAAI,MAAM;4BAAE,OAAO,MAAM,CAAC;oBAC5B,CAAC;oBACD,IAAI,QAAQ,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;4BACzC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gCACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gCACjD,IAAI,MAAM;oCAAE,OAAO,MAAM,CAAC;4BAC5B,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAkB,EACJ,EAAE;IAChB,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OACE,OAAO,CAAC,IAAI,KAAK,eAAe;QAChC,OAAO,CAAC,IAAI,KAAK,aAAa;QAC9B,OAAO,CAAC,IAAI,KAAK,kBAAkB,EACnC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,OAAO,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/ir/converters/expressions/numeric-recovery.test.d.ts

@@ -1,17 +1,4 @@
-/**
- * Tests for Declaration-Based Numeric Intent Recovery
- *
- * When TypeScript normalizes type aliases like `int` to plain `number`,
- * we recover the original numeric intent from the declaration AST.
- *
- * These tests verify:
- * - Property access recovery (arr.Length, string.Length → int)
- * - Call return type recovery (string.IndexOf() → int)
- * - Negative cases (plain number stays number)
- * - Guardrails (unions, complex types are NOT recovered)
- *
- * Note: .NET arrays don't have indexOf method (use Array.IndexOf or LINQ).
- * String has IndexOf from System.String.
- */
-export {};
+import "./numeric-recovery-cases/call-return-and-intent.test.js";
+import "./numeric-recovery-cases/e2e-integration.test.js";
+import "./numeric-recovery-cases/property-access-recovery.test.js";
 //# sourceMappingURL=numeric-recovery.test.d.ts.map

package/dist/ir/converters/expressions/numeric-recovery.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"numeric-recovery.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/numeric-recovery.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG"}
+{"version":3,"file":"numeric-recovery.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/numeric-recovery.test.ts"],"names":[],"mappings":"AAAA,OAAO,yDAAyD,CAAC;AACjE,OAAO,kDAAkD,CAAC;AAC1D,OAAO,2DAA2D,CAAC"}

package/dist/ir/converters/expressions/numeric-recovery.test.js

@@ -1,408 +1,4 @@
-/**
- * Tests for Declaration-Based Numeric Intent Recovery
- *
- * When TypeScript normalizes type aliases like `int` to plain `number`,
- * we recover the original numeric intent from the declaration AST.
- *
- * These tests verify:
- * - Property access recovery (arr.Length, string.Length → int)
- * - Call return type recovery (string.IndexOf() → int)
- * - Negative cases (plain number stays number)
- * - Guardrails (unions, complex types are NOT recovered)
- *
- * Note: .NET arrays don't have indexOf method (use Array.IndexOf or LINQ).
- * String has IndexOf from System.String.
- */
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import * as path from "path";
-import * as fs from "fs";
-import { fileURLToPath } from "url";
-import { compile, runNumericProofPass } from "../../../index.js";
-import { buildIr } from "../../builder.js";
-const __filename = fileURLToPath(import.meta.url);
-const __dirname = path.dirname(__filename);
-// From dist/ir/converters/expressions/ go up to packages/frontend/, then up 2 more to monorepo root
-const monorepoRoot = path.resolve(__dirname, "../../../../../..");
-const globalsPath = path.join(monorepoRoot, "node_modules/@tsonic/globals");
-const corePath = path.join(monorepoRoot, "node_modules/@tsonic/core");
-const jsPath = path.join(monorepoRoot, "node_modules/@tsonic/js");
-/**
- * Helper to compile TypeScript code with globals and extract IR
- */
-const compileWithTypeRoots = (code, typeRoots) => {
-    const tmpDir = `/tmp/numeric-recovery-test-${Date.now()}`;
-    fs.mkdirSync(tmpDir, { recursive: true });
-    const filePath = path.join(tmpDir, "test.ts");
-    fs.writeFileSync(filePath, code);
-    const compileResult = compile([filePath], {
-        projectRoot: monorepoRoot,
-        sourceRoot: tmpDir,
-        rootNamespace: "Test",
-        typeRoots,
-    });
-    if (!compileResult.ok) {
-        const errorMsg = compileResult.error.diagnostics
-            .map((d) => `${d.code}: ${d.message}`)
-            .join("\n");
-        return { modules: [], ok: false, error: errorMsg };
-    }
-    const irResult = buildIr(compileResult.value.program, {
-        sourceRoot: tmpDir,
-        rootNamespace: "Test",
-    });
-    if (!irResult.ok) {
-        const errorMsg = irResult.error
-            .map((d) => `${d.code}: ${d.message}`)
-            .join("\n");
-        return { modules: [], ok: false, error: errorMsg };
-    }
-    return { modules: irResult.value, ok: true };
-};
-const compileWithGlobals = (code) => compileWithTypeRoots(code, [globalsPath, corePath]);
-const compileWithJsSurface = (code) => compileWithTypeRoots(code, [jsPath, corePath]);
-/**
- * Helper to find an expression in the IR by predicate
- */
-const findExpression = (modules, predicate) => {
-    const visitExpression = (expr) => {
-        if (predicate(expr))
-            return expr;
-        // Recursively check nested expressions
-        if (expr.kind === "memberAccess") {
-            const result = visitExpression(expr.object);
-            if (result)
-                return result;
-            // Also check computed property if it's an expression
-            if (typeof expr.property !== "string") {
-                const propResult = visitExpression(expr.property);
-                if (propResult)
-                    return propResult;
-            }
-        }
-        if (expr.kind === "call") {
-            const result = visitExpression(expr.callee);
-            if (result)
-                return result;
-            for (const arg of expr.arguments) {
-                if (arg.kind !== "spread") {
-                    const argResult = visitExpression(arg);
-                    if (argResult)
-                        return argResult;
-                }
-            }
-        }
-        if (expr.kind === "binary") {
-            const leftResult = visitExpression(expr.left);
-            if (leftResult)
-                return leftResult;
-            const rightResult = visitExpression(expr.right);
-            if (rightResult)
-                return rightResult;
-        }
-        if (expr.kind === "logical") {
-            const leftResult = visitExpression(expr.left);
-            if (leftResult)
-                return leftResult;
-            const rightResult = visitExpression(expr.right);
-            if (rightResult)
-                return rightResult;
-        }
-        return undefined;
-    };
-    for (const module of modules) {
-        for (const stmt of module.body) {
-            if (stmt.kind === "variableDeclaration") {
-                for (const decl of stmt.declarations) {
-                    if (decl.initializer) {
-                        const result = visitExpression(decl.initializer);
-                        if (result)
-                            return result;
-                    }
-                }
-            }
-            if (stmt.kind === "functionDeclaration" && stmt.body) {
-                for (const bodyStmt of stmt.body.statements) {
-                    if (bodyStmt.kind === "returnStatement" && bodyStmt.expression) {
-                        const result = visitExpression(bodyStmt.expression);
-                        if (result)
-                            return result;
-                    }
-                    if (bodyStmt.kind === "variableDeclaration") {
-                        for (const decl of bodyStmt.declarations) {
-                            if (decl.initializer) {
-                                const result = visitExpression(decl.initializer);
-                                if (result)
-                                    return result;
-                            }
-                        }
-                    }
-                }
-            }
-        }
-    }
-    return undefined;
-};
-describe("Declaration-Based Numeric Intent Recovery", function () {
-    this.timeout(60000);
-    describe("Property Access Recovery", () => {
-        it("should recover 'int' from arr.Length property declaration", () => {
-            const code = `
-        export function getLen(arr: string[]): number {
-          return arr.Length;
-        }
-      `;
-            const { modules, ok } = compileWithGlobals(code);
-            expect(ok).to.be.true;
-            // Find arr.length member expression
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
-            expect(lengthExpr).to.not.be.undefined;
-            // CLR numeric types are represented as primitiveType in IR
-            // (see primitives.ts: "When user writes `: int`, it becomes primitiveType(name='int')")
-            expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-        it("should recover 'int' from string.Length property declaration", () => {
-            const code = `
-        export function getLen(s: string): number {
-          return s.Length;
-        }
-      `;
-            const { modules, ok } = compileWithGlobals(code);
-            expect(ok).to.be.true;
-            // Find s.length member expression
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
-            expect(lengthExpr).to.not.be.undefined;
-            // CLR numeric types are represented as primitiveType in IR
-            expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-        it("should recover 'int' from arr.length property declaration on js surface", () => {
-            const code = `
-        export function getLen(arr: string[]): number {
-          return arr.length;
-        }
-      `;
-            const { modules, ok, error } = compileWithJsSurface(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
-            expect(lengthExpr).to.not.be.undefined;
-            expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-        it("should recover 'int' from explicit CLR array .length on js surface", () => {
-            const code = `
-        import { Encoding } from "@tsonic/dotnet/System.Text.js";
-
-        export function getBytesLen(value: string): number {
-          return Encoding.UTF8.GetBytes(value).length;
-        }
-      `;
-            const { modules, ok, error } = compileWithJsSurface(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "length");
-            expect(lengthExpr).to.not.be.undefined;
-            expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-        it("should attach JS array member binding for readonly array length on js surface", () => {
-            const code = `
-        export function getLen(arr: readonly string[]): number {
-          return arr.length;
-        }
-      `;
-            const { modules, ok, error } = compileWithJsSurface(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" &&
-                expr.property === "length" &&
-                expr.object.kind === "identifier" &&
-                expr.object.name === "arr");
-            expect(lengthExpr).to.not.be.undefined;
-            expect(lengthExpr?.kind).to.equal("memberAccess");
-            if (!lengthExpr || lengthExpr.kind !== "memberAccess")
-                return;
-            expect(lengthExpr.memberBinding).to.deep.include({
-                assembly: "Tsonic.JSRuntime",
-                type: "Tsonic.JSRuntime.JSArray`1",
-                member: "length",
-            });
-        });
-        it("should attach JS array member binding for nullish readonly property length on js surface", () => {
-            const code = `
-        export type Query = {
-          readonly paths?: readonly string[];
-        };
-
-        export function hasPaths(query: Query): boolean {
-          return query.paths !== undefined && query.paths.length > 0;
-        }
-      `;
-            const { modules, ok, error } = compileWithJsSurface(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" &&
-                expr.property === "length" &&
-                expr.object.kind === "memberAccess" &&
-                expr.object.property === "paths");
-            expect(lengthExpr).to.not.be.undefined;
-            expect(lengthExpr?.kind).to.equal("memberAccess");
-            if (!lengthExpr || lengthExpr.kind !== "memberAccess")
-                return;
-            expect(lengthExpr.memberBinding).to.deep.include({
-                assembly: "Tsonic.JSRuntime",
-                type: "Tsonic.JSRuntime.JSArray`1",
-                member: "length",
-            });
-        });
-    });
-    describe("Call Return Type Recovery", () => {
-        it("should recover 'int' from string.IndexOf() return type", () => {
-            // Note: Using string.IndexOf() because .NET arrays don't have indexOf method
-            // (use Array.IndexOf static method or LINQ instead)
-            const code = `
-        export function findIndex(str: string, search: string): number {
-          return str.IndexOf(search);
-        }
-      `;
-            const { modules, ok } = compileWithGlobals(code);
-            expect(ok).to.be.true;
-            // Find str.indexOf() call expression
-            const indexOfCall = findExpression(modules, (expr) => {
-                if (expr.kind !== "call")
-                    return false;
-                if (expr.callee.kind !== "memberAccess")
-                    return false;
-                return expr.callee.property === "IndexOf";
-            });
-            expect(indexOfCall).to.not.be.undefined;
-            // CLR numeric types are represented as primitiveType in IR
-            // (see primitives.ts: "When user writes `: int`, it becomes primitiveType(name='int')")
-            expect(indexOfCall?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-    });
-    describe("Intent Honored at Source Site", () => {
-        it("should recover 'int' even when assigned to number variable", () => {
-            const code = `
-        export function assignToNumber(arr: string[]): void {
-          const len: number = arr.Length;
-        }
-      `;
-            const { modules, ok } = compileWithGlobals(code);
-            expect(ok).to.be.true;
-            // Find arr.length member expression
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
-            expect(lengthExpr).to.not.be.undefined;
-            // The arr.length expression itself should have int, regardless of target
-            // CLR numeric types are represented as primitiveType in IR
-            expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-    });
-    describe("End-to-End Integration: arr[arr.Length - 1]", () => {
-        it("should pass numeric proof validation for arr[arr.Length - 1] pattern", () => {
-            // This is the specific regression guard for the original issue.
-            // The pattern arr[arr.Length - 1] must:
-            // 1. Compile successfully
-            // 2. Build IR with arr.Length having int intent
-            // 3. Pass numeric proof pass without TSN5107
-            const code = `
-        export function getLast(arr: string[]): string {
-          return arr[arr.Length - 1];
-        }
-      `;
-            const { modules, ok, error } = compileWithGlobals(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            expect(modules.length).to.be.greaterThan(0);
-            // Run numeric proof pass - this should NOT produce TSN5107
-            const proofResult = runNumericProofPass(modules);
-            // Check for TSN5107 specifically (cannot prove int for array index)
-            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
-            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
-            // The proof pass should succeed (or have only non-blocking diagnostics)
-            expect(proofResult.ok, `Proof pass failed: ${proofResult.diagnostics.map((d) => `${d.code}: ${d.message}`).join("; ")}`).to.be.true;
-        });
-        it("should pass numeric proof for string.IndexOf() as index", () => {
-            // Using string.IndexOf() result as string char index
-            // Note: .NET arrays don't have indexOf method, use string instead
-            const code = `
-        export function getCharAtIndex(str: string, search: string): string {
-          const idx = str.IndexOf(search);
-          return str[idx];
-        }
-      `;
-            const { modules, ok, error } = compileWithGlobals(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const proofResult = runNumericProofPass(modules);
-            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
-            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
-            expect(proofResult.ok).to.be.true;
-        });
-        it("should pass numeric proof for length-based arithmetic", () => {
-            // Pattern: arr.Length in subtraction (common for last element access)
-            const code = `
-        export function getSecondLast(arr: string[]): string {
-          return arr[arr.Length - 2];
-        }
-      `;
-            const { modules, ok, error } = compileWithGlobals(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const proofResult = runNumericProofPass(modules);
-            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
-            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
-            expect(proofResult.ok).to.be.true;
-        });
-        it("should pass numeric proof for explicit CLR array .length on js surface", () => {
-            const code = `
-        import { Encoding } from "@tsonic/dotnet/System.Text.js";
-        import { Console } from "@tsonic/dotnet/System.js";
-
-        export function writeBytes(value: string): void {
-          const buffer = Encoding.UTF8.GetBytes(value);
-          Console.WriteLine(buffer[buffer.length - 1]);
-        }
-      `;
-            const { modules, ok, error } = compileWithJsSurface(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            const proofResult = runNumericProofPass(modules);
-            const tsn5107Errors = proofResult.diagnostics.filter((d) => d.code === "TSN5107");
-            expect(tsn5107Errors.length, `Expected no TSN5107 errors but got: ${tsn5107Errors.map((d) => d.message).join("; ")}`).to.equal(0);
-            expect(proofResult.ok).to.be.true;
-        });
-    });
-    // Note: User-defined function return type recovery is tested through E2E tests
-    // (test/fixtures/*) which have proper node_modules setup for @tsonic/core imports.
-    // The unit tests here focus on built-in globals (arr.Length, string.IndexOf, etc.)
-    describe("Chained Call Type Recovery", () => {
-        it("should recover correct type through method chain", () => {
-            // str.Substring() returns string, then .Length returns int
-            // Note: .Length is declared as int in globals, no import needed
-            const code = `
-        export function getSubLength(s: string): number {
-          return s.Substring(0, 5).Length;
-        }
-      `;
-            const { modules, ok, error } = compileWithGlobals(code);
-            expect(ok, `Compile failed: ${error}`).to.be.true;
-            // Find .length member expression at end of chain
-            const lengthExpr = findExpression(modules, (expr) => expr.kind === "memberAccess" && expr.property === "Length");
-            expect(lengthExpr).to.not.be.undefined;
-            expect(lengthExpr?.inferredType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-    });
-});
+import "./numeric-recovery-cases/call-return-and-intent.test.js";
+import "./numeric-recovery-cases/e2e-integration.test.js";
+import "./numeric-recovery-cases/property-access-recovery.test.js";
 //# sourceMappingURL=numeric-recovery.test.js.map