@grafema/core 0.2.3-beta → 0.2.5-beta

package/dist/plugins/analysis/JSASTAnalyzer.d.ts

@@ -228,6 +228,26 @@ export declare class JSASTAnalyzer extends Plugin {
      * Convert MemberExpression to string representation
      */
     private memberExpressionToString;
+    /**
+     * Extract return expression info from an expression node.
+     * Used for both explicit return statements and implicit arrow returns.
+     *
+     * This method consolidates ~450 lines of duplicated expression handling code
+     * from three locations:
+     * 1. Top-level implicit arrow returns (arrow function expression body)
+     * 2. ReturnStatement handler (explicit returns)
+     * 3. Nested arrow function implicit returns
+     *
+     * @param expr - The expression being returned
+     * @param module - Module info for file context
+     * @param literals - Collection to add literal nodes to
+     * @param literalCounterRef - Counter for generating unique literal IDs
+     * @param baseLine - Line number for literal ID generation
+     * @param baseColumn - Column number for literal ID generation
+     * @param literalIdSuffix - 'return' or 'implicit_return'
+     * @returns Partial ReturnStatementInfo with expression-specific fields
+     */
+    private extractReturnExpressionInfo;
     /**
      * Factory method to create IfStatement handler.
      * Creates BRANCH node for if statement and SCOPE nodes for if/else bodies.
@@ -280,7 +300,7 @@ export declare class JSASTAnalyzer extends Plugin {
      * Анализирует тело функции и извлекает переменные, вызовы, условные блоки.
      * Uses ScopeTracker from collections for semantic ID generation.
      */
-    analyzeFunctionBody(funcPath: NodePath<t.Function>, parentScopeId: string, module: VisitorModule, collections: VisitorCollections): void;
+    analyzeFunctionBody(funcPath: NodePath<t.Function | t.StaticBlock>, parentScopeId: string, module: VisitorModule, collections: VisitorCollections): void;
     /**
      * Handle CallExpression nodes: direct function calls (greet(), main())
      * and method calls (obj.method(), data.process()).
@@ -290,6 +310,7 @@ export declare class JSASTAnalyzer extends Plugin {
      * - Method calls (MemberExpression callee) → methodCalls collection
      * - Array mutation detection (push, unshift, splice)
      * - Object.assign() detection
+     * - REG-311: isAwaited and isInsideTry metadata on CALL nodes
      *
      * @param callNode - The call expression AST node
      * @param processedCallSites - Set of already processed call site keys to avoid duplicates
@@ -301,8 +322,40 @@ export declare class JSASTAnalyzer extends Plugin {
      * @param scopeTracker - Optional scope tracker for semantic ID generation
      * @param parentScopeId - ID of the parent scope containing this call
      * @param collections - Full collections object for array/object mutations
+     * @param isAwaited - REG-311: true if wrapped in await expression
+     * @param isInsideTry - REG-311: true if inside try block
      */
     private handleCallExpression;
+    /**
+     * REG-311: Micro-trace - follow variable assignments within function to find error source.
+     * Used to resolve reject(err) or throw err where err is a variable.
+     *
+     * Uses cycle detection via Set<variableName> to avoid infinite loops on circular assignments.
+     *
+     * @param variableName - Name of variable to trace
+     * @param funcPath - NodePath of containing function for AST traversal
+     * @param variableDeclarations - Variable declarations in current scope
+     * @returns Error class name if traced to NewExpression, null otherwise, plus trace path
+     */
+    private microTraceToErrorClass;
+    /**
+     * REG-311: Collect CATCHES_FROM info linking catch blocks to exception sources in try blocks.
+     *
+     * Sources include:
+     * - Awaited calls: await foo() in try block
+     * - Sync calls: foo() in try block (any call can throw)
+     * - Throw statements: throw new Error() in try block
+     * - Constructor calls: new SomeClass() in try block
+     *
+     * @param funcPath - Function path to traverse
+     * @param catchBlocks - Collection of CATCH_BLOCK nodes
+     * @param callSites - Collection of CALL nodes (direct function calls)
+     * @param methodCalls - Collection of CALL nodes (method calls)
+     * @param constructorCalls - Collection of CONSTRUCTOR_CALL nodes
+     * @param catchesFromInfos - Collection to push CatchesFromInfo to
+     * @param module - Module context
+     */
+    private collectCatchesFromInfo;
     /**
      * Detect array mutation calls (push, unshift, splice) inside functions
      * and collect mutation info for FLOWS_INTO edge creation in GraphBuilder
@@ -322,11 +375,15 @@ export declare class JSASTAnalyzer extends Plugin {
     private detectArrayMutationInFunction;
     /**
      * Detect indexed array assignment: arr[i] = value
-     * Creates ArrayMutationInfo for FLOWS_INTO edge generation in GraphBuilder
+     * Creates ArrayMutationInfo for FLOWS_INTO edge generation in GraphBuilder.
+     * For non-variable values (LITERAL, OBJECT_LITERAL, ARRAY_LITERAL), creates
+     * value nodes and sets valueNodeId so GraphBuilder can create FLOWS_INTO edges.
      *
      * @param assignNode - The assignment expression node
      * @param module - Current module being analyzed
      * @param arrayMutations - Collection to push mutation info into
+     * @param scopeTracker - Scope tracker for semantic ID generation
+     * @param collections - Collections for creating value nodes (literals, objectLiterals, etc.)
      */
     private detectIndexedArrayAssignment;
     /**

package/dist/plugins/analysis/JSASTAnalyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"JSASTAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/plugins/analysis/JSASTAnalyzer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,KAAK,EAAE,QAAQ,EAAmB,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAqBlC,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAG9E,OAAO,EAOL,KAAK,aAAa,EAClB,KAAK,kBAAkB,EAExB,MAAM,yBAAyB,CAAC;AAcjC,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,KAAK,EACV,UAAU,EAsBV,WAAW,EACX,sBAAsB,EAKtB,iBAAiB,EACjB,kBAAkB,EAYlB,UAAU,EAGV,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AAmHxB,UAAU,gBAAgB;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,cAAe,SAAQ,aAAa;IAC5C,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;CACtD;AAED,qBAAa,aAAc,SAAQ,MAAM;IACvC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,eAAe,CAAc;IACrC,OAAO,CAAC,QAAQ,CAAW;;IAS3B,IAAI,QAAQ,IAAI,cAAc,CAyB7B;IAED;;OAEG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IASlD;;OAEG;IACG,mBAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAoCtG,OAAO,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,YAAY,CAAC;IAgI7D;;;;;;;;;;;OAWG;YACW,eAAe;IAiF7B;;;OAGG;IACH,+BAA+B,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,SAAS,EAAE,SAAS,GAAE,iBAAiB,EAAO,EAAE,YAAY,GAAE,MAAM,EAAO,GAAG,iBAAiB,EAAE;IA+D1J;;OAEG;IACH,uBAAuB,CACrB,QAAQ,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,GAAG,SAAS,EACzC,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,WAAW,EAAE,EACvB,mBAAmB,EAAE,sBAAsB,EAAE,EAC7C,iBAAiB,EAAE,UAAU,EAC7B,cAAc,EAAE,iBAAiB,EAAE,EACnC,gBAAgB,EAAE,kBAAkB,EAAE,EACtC,uBAAuB,EAAE,UAAU,GAClC,IAAI;IAyTP;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IA+I/B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAO7B;;;OAGG;IACH,OAAO,CAAC,eAAe;IAyCvB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAK/B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,4BAA4B;IAmNpC;;OAEG;YACW,cAAc;IAQ5B;;OAEG;IACG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IA8gB5H;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAW1B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAM7B;;;;;;;;;;;;;;;OAeG;IAEH;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,CAAC,yBAAyB;IAyKjC,OAAO,CAAC,sBAAsB;IAuN9B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,yBAAyB;IAoLjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,wBAAwB;IA2DhC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,qBAAqB;IAgH7B;;OAEG;IACH,OAAO,CAAC,6BAA6B;IA4CrC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAsBxB;;OAEG;IACH,OAAO,CAAC,cAAc;IAkCtB;;OAEG;IACH,OAAO,CAAC,eAAe;IAWvB;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAkC7B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAoBhC;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,wBAAwB;IAkKhC;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,kCAAkC;IA0E1C;;;;;;;;;OASG;IACH,OAAO,CAAC,2BAA2B;IAmDnC;;;OAGG;IACH,mBAAmB,CACjB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAC9B,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,kBAAkB,GAC9B,IAAI;IAqvCP;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,oBAAoB;IA6J5B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,6BAA6B;IA+ErC;;;;;;;OAOG;IACH,OAAO,CAAC,4BAA4B;IAmEpC;;;;;;;;OAQG;IACH,OAAO,CAAC,8BAA8B;IAiGtC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,uBAAuB;IAmG/B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,0BAA0B;IAoHlC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAyB5B;;;OAGG;IACH,OAAO,CAAC,4BAA4B;CA0ErC"}
+{"version":3,"file":"JSASTAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/plugins/analysis/JSASTAnalyzer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,KAAK,EAAE,QAAQ,EAAmB,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAqBlC,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAG9E,OAAO,EAQL,KAAK,aAAa,EAClB,KAAK,kBAAkB,EAExB,MAAM,yBAAyB,CAAC;AAejC,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,KAAK,EACV,UAAU,EAsBV,WAAW,EACX,sBAAsB,EAKtB,iBAAiB,EACjB,kBAAkB,EAgBlB,UAAU,EAGV,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AAwHxB,UAAU,gBAAgB;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,cAAe,SAAQ,aAAa;IAC5C,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;CACtD;AAED,qBAAa,aAAc,SAAQ,MAAM;IACvC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,eAAe,CAAc;IACrC,OAAO,CAAC,QAAQ,CAAW;;IAS3B,IAAI,QAAQ,IAAI,cAAc,CAiC7B;IAED;;OAEG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IASlD;;OAEG;IACG,mBAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAoCtG,OAAO,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,YAAY,CAAC;IAgI7D;;;;;;;;;;;OAWG;YACW,eAAe;IAiF7B;;;OAGG;IACH,+BAA+B,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,SAAS,EAAE,SAAS,GAAE,iBAAiB,EAAO,EAAE,YAAY,GAAE,MAAM,EAAO,GAAG,iBAAiB,EAAE;IA+D1J;;OAEG;IACH,uBAAuB,CACrB,QAAQ,EAAE,CAAC,CAAC,UAAU,GAAG,IAAI,GAAG,SAAS,EACzC,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,WAAW,EAAE,EACvB,mBAAmB,EAAE,sBAAsB,EAAE,EAC7C,iBAAiB,EAAE,UAAU,EAC7B,cAAc,EAAE,iBAAiB,EAAE,EACnC,gBAAgB,EAAE,kBAAkB,EAAE,EACtC,uBAAuB,EAAE,UAAU,GAClC,IAAI;IAyTP;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IA+I/B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAO7B;;;OAGG;IACH,OAAO,CAAC,eAAe;IAyCvB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAK/B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,4BAA4B;IAmNpC;;OAEG;YACW,cAAc;IAQ5B;;OAEG;IACG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAijB5H;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAW1B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAM7B;;;;;;;;;;;;;;;OAeG;IAEH;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,CAAC,yBAAyB;IAyKjC,OAAO,CAAC,sBAAsB;IAuN9B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,yBAAyB;IA4LjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,wBAAwB;IAkEhC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,qBAAqB;IAgH7B;;OAEG;IACH,OAAO,CAAC,6BAA6B;IA4CrC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAsBxB;;OAEG;IACH,OAAO,CAAC,cAAc;IAkCtB;;OAEG;IACH,OAAO,CAAC,eAAe;IAWvB;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAkC7B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAoBhC;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,2BAA2B;IAwLnC;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,wBAAwB;IAkKhC;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,kCAAkC;IA0E1C;;;;;;;;;OASG;IACH,OAAO,CAAC,2BAA2B;IAmDnC;;;OAGG;IACH,mBAAmB,CACjB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,EAC9C,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,kBAAkB,GAC9B,IAAI;IAywCP;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACH,OAAO,CAAC,oBAAoB;IAsM5B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,sBAAsB;IAqF9B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,sBAAsB;IAwI9B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,6BAA6B;IA+ErC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,4BAA4B;IAiHpC;;;;;;;;OAQG;IACH,OAAO,CAAC,8BAA8B;IAiGtC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,uBAAuB;IAmG/B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,0BAA0B;IAoHlC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAyB5B;;;OAGG;IACH,OAAO,CAAC,4BAA4B;CA0ErC"}