cotx-engine 0.1.0

package/dist/core/parser/tree-sitter-queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tree-sitter-queries.js","sourceRoot":"","sources":["../../../src/core/parser/tree-sitter-queries.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4IjC,CAAC;AAEF,yDAAyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmGjC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwE7B,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyC3B,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4BxB,CAAC;AAEF,yCAAyC;AACzC,MAAM,CAAC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmDzB,CAAC;AAEF,2CAA2C;AAC3C,MAAM,CAAC,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgH1B,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0D7B,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqD3B,CAAC;AAEF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,WAAW,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0G1B,CAAC;AAEF,6CAA6C;AAC7C,4EAA4E;AAC5E,oEAAoE;AACpE,mDAAmD;AACnD,2DAA2D;AAC3D,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,CAAC,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkD3B,CAAC;AAEF,2EAA2E;AAC3E,2FAA2F;AAC3F,MAAM,CAAC,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2F7B,CAAC;AAEF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoE5B,CAAC;AAEF,qFAAqF;AACrF,0EAA0E;AAC1E,0DAA0D;AAC1D,sEAAsE;AACtE,+EAA+E;AAC/E,gEAAgE;AAChE,MAAM,CAAC,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiJ3B,CAAC;AAEF,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,CAAC,MAAM,gBAAgB,GAAuC;IAClE,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,kBAAkB;IACnD,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,kBAAkB;IACnD,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,cAAc;IAC3C,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,YAAY;IACvC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,SAAS;IACjC,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAE,UAAU;IACnC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,WAAW;IAC3C,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,cAAc;IAC3C,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,YAAY;IACvC,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,WAAW;IACrC,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,cAAc;IAC3C,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,YAAY;IACvC,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,aAAa;IACzC,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,YAAY;IACvC,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,+CAA+C;CAC9F,CAAC"}

package/dist/core/parser/type-env.d.ts

@@ -0,0 +1,81 @@
+import { type SyntaxNode } from './utils/ast-helpers.js';
+import { SupportedLanguages } from '../shared/index.js';
+import type { SymbolTable } from './symbol-table.js';
+import type { NodeLabel } from '../shared/index.js';
+/**
+ * Per-file type environment with receiver resolution.
+ * Built once per file via `buildTypeEnv`, used for receiver-type filtering,
+ * then discarded. Encapsulates scope-aware type lookup and self/this/super
+ * AST resolution behind a single `.lookup()` method.
+ */
+export interface TypeEnvironment {
+    /** Look up a variable's resolved type, with self/this/super AST resolution. */
+    lookup(varName: string, callNode: SyntaxNode): string | undefined;
+    /** Unverified cross-file constructor bindings for SymbolTable verification. */
+    readonly constructorBindings: readonly ConstructorBinding[];
+    /** Get all file-scope bindings (scope key = '') as a read-only map. */
+    fileScope(): ReadonlyMap<string, string>;
+    /** All scoped bindings as a read-only nested map (scope → varName → type).
+     *  Use for diagnostics/testing. Prefer lookup() for production call resolution. */
+    allScopes(): ReadonlyMap<string, ReadonlyMap<string, string>>;
+    /** Maps `scope\0varName` → constructor type for virtual dispatch override.
+     *  Populated when a variable has BOTH a declared base type AND a more specific
+     *  constructor type (e.g., `Animal a = new Dog()` → key maps to 'Dog'). */
+    readonly constructorTypeMap: ReadonlyMap<string, string>;
+}
+/** Check if `child` is a subclass of `parent` using the parentMap.
+ *  BFS up from child, depth-limited (5), cycle-safe. */
+export declare const isSubclassOf: (child: string, parent: string, parentMap: ReadonlyMap<string, readonly string[]> | undefined) => boolean;
+/**
+ * Options for buildTypeEnv.
+ * Uses an options object to allow future extensions without positional parameter sprawl.
+ */
+export interface BuildTypeEnvOptions {
+    symbolTable?: SymbolTable;
+    parentMap?: ReadonlyMap<string, readonly string[]>;
+    /** Pre-resolved bindings from upstream files (Phase 14).
+     *  Seeded into FILE_SCOPE after walk() for names with no local binding.
+     *  Local declarations always take precedence (first-writer-wins). */
+    importedBindings?: ReadonlyMap<string, string>;
+    /** Cross-file return type fallback for imported callables (Phase 14 E3).
+     *  Consulted ONLY when SymbolTable has no unambiguous match.
+     *  Local definitions always take precedence (local-first principle). */
+    importedReturnTypes?: ReadonlyMap<string, string>;
+    /** Cross-file RAW return types for imported callables (Phase 14 E3).
+     *  Stores raw declared return type strings (e.g., 'User[]', 'List<User>').
+     *  Used by lookupRawReturnType for for-loop element extraction. */
+    importedRawReturnTypes?: ReadonlyMap<string, string>;
+    /** Language-specific enclosing function resolver for scope key lookup.
+     *  Same hook as LanguageProvider.enclosingFunctionFinder — handles languages
+     *  where function_body is a sibling of the signature (e.g., Dart). */
+    enclosingFunctionFinder?: (ancestorNode: SyntaxNode) => {
+        funcName: string;
+        label: NodeLabel;
+    } | null;
+    /** Language-specific function name extraction from an AST node.
+     *  Replaces the generic name-field lookup for languages with non-standard
+     *  AST structures (C/C++ declarator unwrapping, Swift init/deinit, etc.).
+     *  When null is returned or not provided, falls back to node.childForFieldName('name')?.text. */
+    extractFunctionName?: (node: SyntaxNode) => {
+        funcName: string | null;
+        label: NodeLabel;
+    } | null;
+}
+export declare const buildTypeEnv: (tree: {
+    rootNode: SyntaxNode;
+}, language: SupportedLanguages, options?: BuildTypeEnvOptions) => TypeEnvironment;
+/**
+ * Unverified constructor binding: a `val x = Callee()` pattern where we
+ * couldn't confirm the callee is a class (because it's defined in another file).
+ * The caller must verify `calleeName` against the SymbolTable before trusting.
+ */
+export interface ConstructorBinding {
+    /** Function scope key (matches TypeEnv scope keys) */
+    scope: string;
+    /** Variable name that received the constructor result */
+    varName: string;
+    /** Name of the callee (potential class constructor) */
+    calleeName: string;
+    /** Enclosing class name when callee is a method on a known receiver (e.g. $this) */
+    receiverClassName?: string;
+}