spectra-cli 4.1.1 → 4.3.0

package/dist/core/query-mappers/java-mapper.d.ts

@@ -4,7 +4,27 @@
  */
 import type Parser from 'web-tree-sitter';
 import type { ExportSymbol, ImportReference, ParseError, Language } from '../../models/code-skeleton.js';
+import type { CallSite } from '../../models/call-site.js';
 import type { QueryMapper, MapperOptions } from './base-mapper.js';
+/** 大文件兜底阈值（FR-006）— 1 MB 字节数（非字符数） */
+export declare const CALLSITES_MAX_FILE_BYTES = 1048576;
+/**
+ * 反射方法名集合（FR-005）— 与 java-call-extractor.mjs:REFLECTION_METHOD_NAMES 同源。
+ * receiver 检查之前优先短路：callee 名命中此集合 → calleeKind: 'unresolved'。
+ */
+export declare const JAVA_REFLECTION_METHOD_NAMES: ReadonlySet<string>;
+/**
+ * Java 标准库 acronym 类型白名单 — 与 java-call-extractor.mjs:JAVA_ACRONYM_TYPE_NAMES 同源。
+ * 全大写但属于 Java 标准库类型（如 java.util.UUID, java.net.URL）；用于 _isJavaTypeName。
+ */
+export declare const JAVA_ACRONYM_TYPE_NAMES: ReadonlySet<string>;
+/**
+ * Java 包根名白名单 — 与 java-call-extractor.mjs:JAVA_PACKAGE_ROOT_NAMES 同源。
+ * 仅在 _looksLikePackageQualifiedType 内使用，用于判定 FQN 类型路径
+ * （如 java.util.UUID）；**不在 _isJavaTypeName 内使用**，避免 `com` / `org`
+ * 单独被误判为类型（Codex P1 WARNING W-2）。
+ */
+export declare const JAVA_PACKAGE_ROOT_NAMES: ReadonlySet<string>;
 export declare class JavaMapper implements QueryMapper {
     readonly language: Language;
     /**
@@ -20,6 +40,24 @@ export declare class JavaMapper implements QueryMapper {
      * 从 AST tree 提取解析错误
      */
     extractParseErrors(tree: Parser.Tree): ParseError[];
+    /**
+     * Feature 154 — 抽取 Java 函数调用点（FR-001 ~ FR-013）。
+     *
+     * 节点覆盖（FR-001）：
+     * - method_invocation：实例 / 静态方法调用
+     * - object_creation_expression：构造器调用 (new ClassName())
+     * - explicit_constructor_invocation：super(...) / this(...)
+     * - lambda_expression 内部上述三类调用
+     *
+     * 大文件兜底（FR-006，Codex P1 WARNING W-1 修订：用字节数而非字符数）：
+     * - Buffer.byteLength(source, 'utf8') > CALLSITES_MAX_FILE_BYTES → 直接返回 []
+     *
+     * Parse 异常兜底：
+     * - 任何异常被外层 try-catch 捕获 → 返回 [] + warn 日志，不污染 CodeSkeleton
+     *
+     * 详细 kind 映射规则见 spec FR-003 + plan _classifyMethodInvocation 优先级 dispatch。
+     */
+    extractCallSites(tree: Parser.Tree, source: string): CallSite[];
     /** 提取顶层声明 */
     private _extractTopLevelDeclaration;
     /** 提取 class/interface/enum/record 声明 */
@@ -36,5 +74,163 @@ export declare class JavaMapper implements QueryMapper {
     private _extractImportDeclaration;
     /** 递归收集 AST 中的 ERROR 节点 */
     private _collectErrors;
+    /**
+     * 迭代式 DFS walker（手工栈，避免大文件递归爆栈）。
+     *
+     * 节点类型 dispatch（FR-001）：
+     *   - method_invocation                    → _handleMethodInvocation
+     *   - object_creation_expression           → _handleObjectCreation
+     *   - explicit_constructor_invocation      → _handleExplicitConstructorInvocation
+     *
+     * ERROR / MISSING 跳过策略（FR-007）：
+     *   - node.type === 'ERROR' 或 node.isMissing === true → 跳过该节点 + 不入栈子节点
+     *   - 非 ERROR/MISSING 节点正常入栈 namedChildren
+     */
+    private _walkCallSites;
+    /**
+     * 向上 walk 找最近一层 function-like enclosing scope，输出 callerContext 字符串。
+     *
+     * 与 scripts/lib/java-call-extractor.mjs 的 _resolveJavaCaller 嵌套优先策略一致：
+     *   - method_declaration            → "{TypeName}.{methodName}"
+     *   - constructor_declaration       → "{TypeName}.<init>"
+     *   - compact_constructor_declaration → "{TypeName}.<init>"  (Java 14+ record)
+     *   - lambda_expression             → "<lambda:{startLine}:{startColumn}>"
+     *   - 顶层（无 enclosing scope）    → "<top-level>"
+     *
+     * 嵌套优先：第一个匹配立即 return，不继续向上 walk。
+     */
+    private _resolveCallerContext;
+    /**
+     * 从给定节点向上找最近的类型容器，返回类型名或特殊标记。
+     *
+     * 支持的类型节点（Codex P1 CRITICAL C-7 修订：5 类全覆盖）：
+     *   - class_declaration / interface_declaration / enum_declaration
+     *   - record_declaration（Java 14+）
+     *   - annotation_type_declaration（@interface）
+     *
+     * 特殊：遇 object_creation_expression 内层 class_body → 返回 '<anon-class>'。
+     * 找不到容器 → '<top-level>'。
+     */
+    private _findEnclosingTypeName;
+    /**
+     * 判断 method_invocation / object_creation_expression / explicit_constructor_invocation
+     * 是否是 phantom call（受 parse error 影响但本节点 type 仍非 ERROR）。
+     *
+     * Codex P1 CRITICAL C-6 修订：判定为 OR（不是 AND）：
+     *   - 关键 callee 字段子树 hasError === true，OR
+     *   - direct children 中含 ERROR / MISSING
+     *
+     * phantom 命中时调用方仅跳过当前 call 的抽取（不 push out），但 walker 继续
+     * 入栈 namedChildren，避免内层真实 call 被误杀。
+     */
+    private _isPhantomCall;
+    /** 构造单个 CallSite 记录（按 CallSiteSchema，可选字段仅在非 undefined 时写入） */
+    private _mkCallSite;
+    /**
+     * 判断 identifier text 是否符合 Java 类型命名约定。
+     *
+     * Java 命名约定：
+     *   - PascalCase（首字母大写 + 含至少一个小写字母）：Math, Logger, FileInputStream
+     *   - 全大写 Acronym（≥ 2 字符且属于白名单）：URL, UUID, JSON
+     *   - 常量 SCREAMING_SNAKE_CASE：LOGGER, MAX_SIZE — **不**视为类型名
+     *
+     * Codex P1 WARNING W-2 修订：**不在此函数内**判定 JAVA_PACKAGE_ROOT_NAMES。
+     * 包根判定只在 _looksLikePackageQualifiedType 内对完整 field_access 链使用，
+     * 避免 `com` / `org` 单独被误归为类型。
+     */
+    private _isJavaTypeName;
+    /**
+     * 判断 field_access 节点的末段 field 是否是类型名。
+     *
+     * 三层判定（Codex T-2 review CRITICAL C-1 修订：必须先要求整条链可拆为 segments，
+     * 避免 `foo().bar.Baz.call()` 这种 leftmost 是 method_invocation 的链被误判为
+     * 类型路径）：
+     *   0. _fieldAccessSegments 拆链失败（leftmost 不是 simple identifier）→ false
+     *   1. 末段 field 是 PascalCase / acronym → 类型路径（Outer.Inner）
+     *   2. 末段 field 全大写但首字母大写 + 整条链是已知 Java 包路径 → FQN
+     *      类型路径（java.util.UUID）
+     */
+    private _fieldAccessTerminalIsType;
+    /**
+     * 把 field_access 链拆为 [leftmost, ..., field] 的 segment 数组。
+     *
+     * 例如 `java.util.UUID` 树形：
+     *   field_access(field='UUID')
+     *     └ field_access(field='util')
+     *         └ identifier 'java'
+     * 返回 ['java', 'util', 'UUID']。
+     *
+     * 任一节点缺 'object'/'field' 字段或 leftmost 非 identifier → 返回 null。
+     */
+    private _fieldAccessSegments;
+    /**
+     * 判断 field_access 链是否是"包路径.类型"形态。
+     *
+     * 三个条件全满足才返回 true：
+     *   1. 链至少 3 段（leftmost + ≥ 1 中间 + 末段类型）
+     *   2. leftmost 在 JAVA_PACKAGE_ROOT_NAMES（仅在此函数内使用）
+     *   3. 末段之外每段都是 lowercase package segment 形态（^[a-z][a-z0-9_]*$）
+     */
+    private _looksLikePackageQualifiedType;
+    /**
+     * 把 scoped type name normalize 到末段（label-only 对齐 truth-set）。
+     * 例如 `Outer.Inner` → `Inner`；`com.foo.Bar` → `Bar`。
+     */
+    private _normalizeJavaTypeName;
+    /**
+     * 剥离 generic_type.text 中的 type arguments。
+     *
+     * Codex T-2 review WARNING W-1 修订：用 depth-based 解析处理嵌套泛型，
+     * 避免 `Outer<T>.Inner<K>` 被首个 `<` 截断为 `Outer`（应保留 `Outer.Inner`）。
+     *
+     * 例如：
+     *   `ArrayList<String>`         → `ArrayList`
+     *   `Outer.Inner<T,K>`          → `Outer.Inner`
+     *   `Outer<T>.Inner<K>`         → `Outer.Inner`
+     *   `Map<K, List<V>>`           → `Map`
+     */
+    private _stripTypeArgs;
+    /**
+     * 分类 method_invocation 节点 → CallSite 元数据。
+     *
+     * 优先级 dispatch（spec FR-003 + Codex CRITICAL E 修订）：
+     *   1. objectNode.type === 'super'                 → super
+     *   2. callee 名 ∈ JAVA_REFLECTION_METHOD_NAMES    → unresolved
+     *   3. objectNode.type === 'this'                  → member + undefined
+     *   4. type_identifier / scoped_type_identifier    → member + 末段类名
+     *   5. identifier (PascalCase / acronym)           → member + identifier 文本
+     *   6. identifier (lowercase 变量名)               → cross-module + identifier 文本
+     *   7. field_access 末段 type                      → member + 末段类名
+     *   8. field_access 末段非 type                    → cross-module + undefined
+     *   9. 其它带 receiver                             → cross-module + undefined
+     *  10. 无 receiver                                 → member + undefined
+     */
+    private _classifyMethodInvocation;
+    /**
+     * 分类 object_creation_expression 节点（new ClassName()）→ CallSite 元数据。
+     *
+     * type 字段三种形态：
+     *   - type_identifier (`new Foo()`)
+     *   - generic_type (`new ArrayList<Integer>()`，内层 type_identifier 或 scoped_type_identifier)
+     *   - scoped_type_identifier (`new Outer.Inner()`)
+     *
+     * 输出统一 calleeName = calleeQualifier = normalized 末段类名。
+     */
+    private _classifyObjectCreation;
+    /**
+     * 分类 explicit_constructor_invocation 节点（构造器内 super(...) / this(...)）。
+     *
+     * constructor 字段 type === 'super' / 'this' → kind=super，calleeName 为字面值。
+     * 其它形态 → unresolved。
+     */
+    private _classifyExplicitConstructorInvocation;
+    /** 共用 emit 流程：phantom check → classify → callerContext → push */
+    private _emitCallSite;
+    /** method_invocation handler */
+    private _handleMethodInvocation;
+    /** object_creation_expression handler */
+    private _handleObjectCreation;
+    /** explicit_constructor_invocation handler */
+    private _handleExplicitConstructorInvocation;
 }
 //# sourceMappingURL=java-mapper.d.ts.map

package/dist/core/query-mappers/java-mapper.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"java-mapper.d.ts","sourceRoot":"","sources":["../../../src/core/query-mappers/java-mapper.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EACV,YAAY,EAEZ,eAAe,EACf,UAAU,EAGV,QAAQ,EAET,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAyHnE,qBAAa,UAAW,YAAW,WAAW;IAC5C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAU;IAErC;;;OAGG;IACH,cAAc,CACZ,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,aAAkB,GAC1B,YAAY,EAAE;IAmBjB;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,EAAE;IAiBrE;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,UAAU,EAAE;IAUnD,aAAa;IACb,OAAO,CAAC,2BAA2B;IAkBnC,wCAAwC;IACxC,OAAO,CAAC,iBAAiB;IA8DzB,gBAAgB;IAChB,OAAO,CAAC,eAAe;IAoCvB,aAAa;IACb,OAAO,CAAC,oBAAoB;IA8B5B,aAAa;IACb,OAAO,CAAC,mBAAmB;IAoC3B,cAAc;IACd,OAAO,CAAC,yBAAyB;IAyBjC,4BAA4B;IAC5B,OAAO,CAAC,yBAAyB;IAgDjC,2BAA2B;IAC3B,OAAO,CAAC,cAAc;CAkBvB"}
+{"version":3,"file":"java-mapper.d.ts","sourceRoot":"","sources":["../../../src/core/query-mappers/java-mapper.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,EACV,YAAY,EAEZ,eAAe,EACf,UAAU,EAGV,QAAQ,EAET,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAc,MAAM,2BAA2B,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AASnE,sCAAsC;AACtC,eAAO,MAAM,wBAAwB,UAAY,CAAC;AAElD;;;GAGG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAa3D,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAOtD,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAItD,CAAC;AAmIH,qBAAa,UAAW,YAAW,WAAW;IAC5C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAU;IAErC;;;OAGG;IACH,cAAc,CACZ,IAAI,EAAE,MAAM,CAAC,IAAI,EACjB,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,aAAkB,GAC1B,YAAY,EAAE;IAmBjB;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,eAAe,EAAE;IAiBrE;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,GAAG,UAAU,EAAE;IAMnD;;;;;;;;;;;;;;;;OAgBG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE;IA+B/D,aAAa;IACb,OAAO,CAAC,2BAA2B;IAkBnC,wCAAwC;IACxC,OAAO,CAAC,iBAAiB;IA8DzB,gBAAgB;IAChB,OAAO,CAAC,eAAe;IAoCvB,aAAa;IACb,OAAO,CAAC,oBAAoB;IA8B5B,aAAa;IACb,OAAO,CAAC,mBAAmB;IAoC3B,cAAc;IACd,OAAO,CAAC,yBAAyB;IAyBjC,4BAA4B;IAC5B,OAAO,CAAC,yBAAyB;IAgDjC,2BAA2B;IAC3B,OAAO,CAAC,cAAc;IAuBtB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAwCtB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,qBAAqB;IA6B7B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,sBAAsB;IA8B9B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,cAAc;IAkBtB,+DAA+D;IAC/D,OAAO,CAAC,WAAW;IA0BnB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,eAAe;IAUvB;;;;;;;;;;OAUG;IACH,OAAO,CAAC,0BAA0B;IAiBlC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,oBAAoB;IAoB5B;;;;;;;OAOG;IACH,OAAO,CAAC,8BAA8B;IAYtC;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAM9B;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,cAAc;IAuBtB;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,yBAAyB;IAmFjC;;;;;;;;;OASG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;;;OAKG;IACH,OAAO,CAAC,sCAAsC;IAyB9C,iEAAiE;IACjE,OAAO,CAAC,aAAa;IAuBrB,gCAAgC;IAChC,OAAO,CAAC,uBAAuB;IAM/B,yCAAyC;IACzC,OAAO,CAAC,qBAAqB;IAM7B,8CAA8C;IAC9C,OAAO,CAAC,oCAAoC;CAQ7C"}