@tsonic/frontend 0.0.2 → 0.0.5

package/dist/resolver/dotnet-import-resolver.d.ts

@@ -1,74 +0,0 @@
-/**
- * Import-driven .NET namespace resolution
- *
- * Determines if an import specifier refers to a CLR namespace by checking
- * if bindings.json exists in the package's namespace directory.
- *
- * This is the ONLY mechanism for detecting .NET imports - no heuristics,
- * no special-casing for @tsonic/dotnet or any other package.
- */
-/**
- * Result of resolving a .NET import
- */
-export type ResolvedDotNetImport = {
-    readonly isDotNet: true;
-    readonly packageName: string;
-    readonly resolvedNamespace: string;
-    readonly bindingsPath: string;
-    readonly metadataPath: string | undefined;
-} | {
-    readonly isDotNet: false;
-};
-/**
- * Resolver for .NET namespace imports
- *
- * An import is a CLR namespace import iff:
- * - It's a package import with a subpath (e.g., @scope/pkg/Namespace)
- * - The package contains bindings.json in that subpath directory
- *
- * This works for any bindings provider package, not just @tsonic/dotnet.
- */
-export declare class DotNetImportResolver {
-    private readonly pkgRootCache;
-    private readonly bindingsExistsCache;
-    private readonly require;
-    constructor(baseDir: string);
-    /**
-     * Resolve an import specifier to determine if it's a CLR namespace import
-     */
-    resolve(moduleSpecifier: string): ResolvedDotNetImport;
-    /**
-     * Parse a module specifier into package name and subpath
-     *
-     * Examples:
-     * - "@tsonic/dotnet/System.IO" -> { packageName: "@tsonic/dotnet", subpath: "System.IO" }
-     * - "lodash/fp" -> { packageName: "lodash", subpath: "fp" }
-     * - "@tsonic/dotnet" -> null (no subpath)
-     * - "lodash" -> null (no subpath)
-     */
-    private parseModuleSpecifier;
-    /**
-     * Resolve package root directory using Node resolution
-     *
-     * Uses require.resolve to find the package's package.json,
-     * then returns the directory containing it.
-     */
-    private resolvePkgRoot;
-    /**
-     * Check if bindings.json exists at the given path (cached)
-     */
-    private hasBindings;
-    /**
-     * Check if a file exists (not cached - used for optional files)
-     */
-    private fileExists;
-    /**
-     * Get all discovered binding paths (for loading)
-     */
-    getDiscoveredBindingPaths(): ReadonlySet<string>;
-}
-/**
- * Create a resolver instance for a given source root
- */
-export declare const createDotNetImportResolver: (sourceRoot: string) => DotNetImportResolver;
-//# sourceMappingURL=dotnet-import-resolver.d.ts.map

package/dist/resolver/dotnet-import-resolver.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"dotnet-import-resolver.d.ts","sourceRoot":"","sources":["../../src/resolver/dotnet-import-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C,GACD;IACE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;CAC1B,CAAC;AAUN;;;;;;;;GAQG;AACH,qBAAa,oBAAoB;IAE/B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoC;IAGjE,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAA8B;IAGlE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAc;gBAE1B,OAAO,EAAE,MAAM;IAK3B;;OAEG;IACH,OAAO,CAAC,eAAe,EAAE,MAAM,GAAG,oBAAoB;IA4CtD;;;;;;;;OAQG;IACH,OAAO,CAAC,oBAAoB;IAoB5B;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAwCtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAWnB;;OAEG;IACH,OAAO,CAAC,UAAU;IAIlB;;OAEG;IACH,yBAAyB,IAAI,WAAW,CAAC,MAAM,CAAC;CASjD;AAED;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,YAAY,MAAM,KACjB,oBAEF,CAAC"}

package/dist/resolver/dotnet-import-resolver.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"dotnet-import-resolver.js","sourceRoot":"","sources":["../../src/resolver/dotnet-import-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAyB5C;;;;;;;;GAQG;AACH,MAAM,OAAO,oBAAoB;IAU/B,YAAY,OAAe;QAT3B,2DAA2D;QAC1C,iBAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;QAEjE,yCAAyC;QACxB,wBAAmB,GAAG,IAAI,GAAG,EAAmB,CAAC;QAMhE,8DAA8D;QAC9D,IAAI,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,eAAuB;QAC7B,qBAAqB;QACrB,IAAI,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACvE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,oDAAoD;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAExC,6EAA6E;QAC7E,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,6CAA6C;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,2DAA2D;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,mCAAmC;QACnC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAElD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,WAAW;YACX,iBAAiB,EAAE,OAAO;YAC1B,YAAY;YACZ,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;SACrD,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACK,oBAAoB,CAAC,IAAY;QACvC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,qCAAqC;YACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;YACzD,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,+BAA+B;YAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,OAAO;gBACL,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;gBACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;aAClC,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAAC,WAAmB;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,CAAC;YACH,qDAAqD;YACrD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,WAAW,eAAe,CAAC,CAAC;YACxE,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;YACrC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAC5C,OAAO,OAAO,CAAC;QACjB,CAAC;QAAC,MAAM,CAAC;YACP,sFAAsF;YACtF,6EAA6E;YAC7E,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACtD,IAAI,KAAK,EAAE,CAAC;oBACV,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;wBAC/B,sEAAsE;wBACtE,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC;4BACxC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC;4BAC/B,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;wBAElC,gDAAgD;wBAChD,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC;4BAC7C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;4BAC3C,OAAO,MAAM,CAAC;wBAChB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,kBAAkB;YACpB,CAAC;YAED,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,YAAoB;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,MAAM,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;QACxC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,QAAgB;QACjC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,yBAAyB;QACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACtD,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,UAAkB,EACI,EAAE;IACxB,OAAO,IAAI,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAC9C,CAAC,CAAC"}

package/dist/types/test-debug.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"test-debug.d.ts","sourceRoot":"","sources":["../../src/types/test-debug.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/test-debug.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"test-debug.js","sourceRoot":"","sources":["../../src/types/test-debug.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,OAAO,GAAG,iBAAiB,EAAE,CAAC;AACpC,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;AAEvC,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;AAE/C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC;IAC1B,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IACnF,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,WAAW,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,CAAC,uBAAuB,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,UAAU,EAAE,CAAC,CAAC;IAEhF,6BAA6B;IAC7B,OAAO,CAAC,GAAG,CAAC,yBAAyB,IAAI,CAAC,kBAAkB,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5B,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACzC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC;IAED,yCAAyC;IACzC,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,UAAU,GAAG,IAAqB,CAAC;QACzC,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9E,OAAO,CAAC,GAAG,CAAC,kBAAkB,UAAU,CAAC,WAAW,eAAe,WAAW,GAAG,CAAC,CAAC;QAEnF,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,IAAwB,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,oBAAoB,OAAO,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;YACtE,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;gBAC1B,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;oBACvC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAClE,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,kBAAkB,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,OAAO,CAAC,OAAO,EAAE,CAAC;AAClB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC"}

package/dist/validation/aot-safety.d.ts

@@ -1,24 +0,0 @@
-/**
- * AOT Safety Validation
- *
- * Detects patterns that would require C# `dynamic` and rejects them early:
- * - `any` type usage
- * - Dynamic member access on untyped objects
- * - Object literals without contextual nominal types
- *
- * This ensures NativeAOT-compatible, predictable-performance output.
- */
-import * as ts from "typescript";
-import { TsonicProgram } from "../program.js";
-import { DiagnosticsCollector } from "../types/diagnostic.js";
-/**
- * Validate a source file for AOT safety violations.
- *
- * Detects:
- * - TSN7401: 'any' type usage
- * - TSN7402: Dynamic member access
- * - TSN7403: Object literal without contextual type
- * - TSN7405: Untyped lambda parameter
- */
-export declare const validateAotSafety: (sourceFile: ts.SourceFile, program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
-//# sourceMappingURL=aot-safety.d.ts.map

package/dist/validation/aot-safety.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"aot-safety.d.ts","sourceRoot":"","sources":["../../src/validation/aot-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAGhC;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAmHF,CAAC"}

package/dist/validation/aot-safety.js

@@ -1,114 +0,0 @@
-/**
- * AOT Safety Validation
- *
- * Detects patterns that would require C# `dynamic` and rejects them early:
- * - `any` type usage
- * - Dynamic member access on untyped objects
- * - Object literals without contextual nominal types
- *
- * This ensures NativeAOT-compatible, predictable-performance output.
- */
-import * as ts from "typescript";
-import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
-import { getNodeLocation } from "./helpers.js";
-/**
- * Validate a source file for AOT safety violations.
- *
- * Detects:
- * - TSN7401: 'any' type usage
- * - TSN7402: Dynamic member access
- * - TSN7403: Object literal without contextual type
- * - TSN7405: Untyped lambda parameter
- */
-export const validateAotSafety = (sourceFile, program, collector) => {
-    const checker = program.checker;
-    const visitor = (node) => {
-        // Check for explicit 'any' type annotations
-        if (ts.isTypeReferenceNode(node)) {
-            const typeName = node.typeName;
-            if (ts.isIdentifier(typeName) && typeName.text === "any") {
-                collector = addDiagnostic(collector, createDiagnostic("TSN7401", "error", "'any' type is not supported in AOT mode. Provide a concrete type, use Dictionary<string, T>, or define a nominal type.", getNodeLocation(sourceFile, node), "Replace 'any' with a specific type like 'object', 'unknown', or a custom interface."));
-            }
-        }
-        // Check for 'any' keyword in type position
-        if (node.kind === ts.SyntaxKind.AnyKeyword) {
-            const parent = node.parent;
-            // Skip if this is inside a type assertion (as any) - we'll handle that separately
-            if (!ts.isAsExpression(parent) && !ts.isTypeAssertionExpression(parent)) {
-                collector = addDiagnostic(collector, createDiagnostic("TSN7401", "error", "'any' type is not supported in AOT mode. Provide a concrete type, use Dictionary<string, T>, or define a nominal type.", getNodeLocation(sourceFile, node), "Replace 'any' with a specific type like 'object', 'unknown', or a custom interface."));
-            }
-        }
-        // Check for untyped function parameters
-        if (ts.isParameter(node) && !node.type) {
-            // Check if this is in a callback/arrow context where type might be inferred
-            const parent = node.parent;
-            if (ts.isFunctionDeclaration(parent) ||
-                ts.isMethodDeclaration(parent) ||
-                ts.isConstructorDeclaration(parent)) {
-                // Top-level function/method parameters must have explicit types
-                collector = addDiagnostic(collector, createDiagnostic("TSN7405", "error", "Function parameter must have an explicit type annotation.", getNodeLocation(sourceFile, node), "Add a type annotation to this parameter."));
-            }
-        }
-        // Check for object literals without contextual type
-        if (ts.isObjectLiteralExpression(node)) {
-            const contextualType = checker.getContextualType(node);
-            if (!contextualType) {
-                // No contextual type - check if parent provides one
-                const parent = node.parent;
-                // Allow if it's a typed variable declaration
-                if (ts.isVariableDeclaration(parent) && parent.type) {
-                    // Has explicit type annotation - OK
-                }
-                else if (ts.isPropertyAssignment(parent)) {
-                    // Inside another object literal - will be checked at parent level
-                }
-                else if (ts.isReturnStatement(parent)) {
-                    // Return type should provide context - check function
-                    const func = findContainingFunction(parent);
-                    if (func && func.type) {
-                        // Has return type annotation - OK
-                    }
-                    else {
-                        collector = addDiagnostic(collector, createDiagnostic("TSN7403", "error", "Object literal requires a contextual nominal type. Provide a type annotation or define an interface.", getNodeLocation(sourceFile, node), "Add a type annotation like 'const x: MyType = { ... }' or define an interface."));
-                    }
-                }
-                else if (ts.isVariableDeclaration(parent) &&
-                    !parent.type &&
-                    !isCallExpressionArgument(node)) {
-                    // Untyped variable with object literal - error
-                    collector = addDiagnostic(collector, createDiagnostic("TSN7403", "error", "Object literal requires a contextual nominal type. Provide a type annotation or define an interface.", getNodeLocation(sourceFile, node), "Add a type annotation like 'const x: MyType = { ... }' or define an interface."));
-                }
-            }
-        }
-        ts.forEachChild(node, visitor);
-    };
-    visitor(sourceFile);
-    return collector;
-};
-/**
- * Find the containing function declaration/expression for a node
- */
-const findContainingFunction = (node) => {
-    let current = node.parent;
-    while (current) {
-        if (ts.isFunctionDeclaration(current) ||
-            ts.isFunctionExpression(current) ||
-            ts.isArrowFunction(current) ||
-            ts.isMethodDeclaration(current)) {
-            return current;
-        }
-        current = current.parent;
-    }
-    return undefined;
-};
-/**
- * Check if a node is an argument to a call expression
- */
-const isCallExpressionArgument = (node) => {
-    const parent = node.parent;
-    if (ts.isCallExpression(parent)) {
-        return parent.arguments.includes(node);
-    }
-    return false;
-};
-//# sourceMappingURL=aot-safety.js.map

package/dist/validation/aot-safety.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"aot-safety.js","sourceRoot":"","sources":["../../src/validation/aot-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,4CAA4C;QAC5C,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzD,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,wHAAwH,EACxH,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,2CAA2C;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,kFAAkF;YAClF,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,wHAAwH,EACxH,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,wCAAwC;QACxC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,4EAA4E;YAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;gBAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;gBAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EACnC,CAAC;gBACD,gEAAgE;gBAChE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2DAA2D,EAC3D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,0CAA0C,CAC3C,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,oDAAoD;QACpD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,oDAAoD;gBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAE3B,6CAA6C;gBAC7C,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBACpD,oCAAoC;gBACtC,CAAC;qBAAM,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC3C,kEAAkE;gBACpE,CAAC;qBAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxC,sDAAsD;oBACtD,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;oBAC5C,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACtB,kCAAkC;oBACpC,CAAC;yBAAM,CAAC;wBACN,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sGAAsG,EACtG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,gFAAgF,CACjF,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;qBAAM,IACL,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;oBAChC,CAAC,MAAM,CAAC,IAAI;oBACZ,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAC/B,CAAC;oBACD,+CAA+C;oBAC/C,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sGAAsG,EACtG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,gFAAgF,CACjF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAa,EAC2B,EAAE;IAC1C,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC/C,OAAO,OAAO,EAAE,CAAC;QACf,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAqB,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}