@grafema/core 0.1.0-alpha.4 → 0.1.1-alpha

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

@@ -8,14 +8,6 @@ import { Plugin } from '../Plugin.js';
 import { type VisitorModule, type VisitorCollections } from './ast/visitors/index.js';
 import type { PluginContext, PluginResult, PluginMetadata, GraphBackend } from '@grafema/types';
 import type { ModuleNode, LiteralInfo, VariableAssignmentInfo, CounterRef, ExtractedVariable } from './ast/types.js';
-/**
- * Context for tracking semantic IDs within a scope hierarchy.
- * Used to generate stable, line-number-independent IDs for SCOPE nodes.
- */
-interface ScopeContext {
-    semanticPath: string;
-    siblingCounters: Map<string, number>;
-}
 interface AnalysisManifest {
     projectPath: string;
     [key: string]: unknown;
@@ -24,13 +16,14 @@ interface AnalyzeContext extends PluginContext {
     manifest?: AnalysisManifest;
     forceAnalysis?: boolean;
     workerCount?: number;
+    /** Enable parallel parsing using ASTWorkerPool (worker_threads) */
+    parallelParsing?: boolean;
     onProgress?: (info: Record<string, unknown>) => void;
 }
 export declare class JSASTAnalyzer extends Plugin {
     private graphBuilder;
     private analyzedModules;
     private profiler;
-    private _cacheCleared;
     constructor();
     get metadata(): PluginMetadata;
     /**
@@ -42,6 +35,19 @@ export declare class JSASTAnalyzer extends Plugin {
      */
     shouldAnalyzeModule(module: ModuleNode, graph: GraphBackend, forceAnalysis: boolean): Promise<boolean>;
     execute(context: AnalyzeContext): Promise<PluginResult>;
+    /**
+     * Execute parallel analysis using ASTWorkerPool (worker_threads).
+     *
+     * This method uses actual OS threads for true parallel CPU-intensive parsing.
+     * Workers generate semantic IDs using ScopeTracker, matching sequential behavior.
+     *
+     * @param modules - Modules to analyze
+     * @param graph - Graph backend for writing results
+     * @param projectPath - Project root path
+     * @param context - Analysis context with options
+     * @returns Plugin result with node/edge counts
+     */
+    private executeParallel;
     /**
      * Extract variable names from destructuring patterns
      * Uses t.isX() type guards to avoid casts
@@ -63,22 +69,179 @@ export declare class JSASTAnalyzer extends Plugin {
         edges: number;
     }>;
     /**
-     * Helper to generate semantic ID for a scope and update counters
+     * Helper to generate semantic ID for a scope using ScopeTracker.
+     * Format: "scopePath:scopeType[index]" e.g. "MyClass->myMethod:if_statement[0]"
      */
     private generateSemanticId;
     /**
-     * Helper to create child scope context from a semantic ID
+     * Generate a unique anonymous function name within the current scope.
+     * Uses ScopeTracker.getSiblingIndex() for stable naming.
      */
-    private createChildScopeContext;
+    private generateAnonymousName;
     /**
-     * Generate a unique anonymous function name within the current scope
-     * Uses scopeCtx.siblingCounters to ensure stability across JS/TS versions
+     * Factory method to create loop scope handlers.
+     * All loop statements (for, for-in, for-of, while, do-while) follow the same pattern:
+     * 1. Create scope with SCOPE#<scopeType>#file#line:counter
+     * 2. Generate semantic ID
+     * 3. Push to scopes array
+     * 4. Enter/exit scope tracker
+     *
+     * @param trackerScopeType - Scope type for ScopeTracker (e.g., 'for', 'for-in', 'while')
+     * @param scopeType - Scope type for the graph node (e.g., 'for-loop', 'for-in-loop')
+     * @param parentScopeId - Parent scope ID for the scope node
+     * @param module - Module context
+     * @param scopes - Collection to push scope nodes to
+     * @param scopeCounterRef - Counter for unique scope IDs
+     * @param scopeTracker - Tracker for semantic ID generation
      */
-    private generateAnonymousName;
     /**
-     * Анализирует тело функции и извлекает переменные, вызовы, условные блоки
+     * Handles VariableDeclaration nodes within function bodies.
+     *
+     * Extracts variable names from patterns (including destructuring), determines
+     * if the variable should be CONSTANT or VARIABLE, generates semantic or legacy IDs,
+     * and tracks class instantiations and variable assignments.
+     *
+     * @param varPath - The NodePath for the VariableDeclaration
+     * @param parentScopeId - Parent scope ID for the variable
+     * @param module - Module context with file info
+     * @param variableDeclarations - Collection to push variable declarations to
+     * @param classInstantiations - Collection to push class instantiations to
+     * @param literals - Collection for literal tracking
+     * @param variableAssignments - Collection for variable assignment tracking
+     * @param varDeclCounterRef - Counter for unique variable declaration IDs
+     * @param literalCounterRef - Counter for unique literal IDs
+     * @param scopeTracker - Tracker for semantic ID generation
+     * @param parentScopeVariables - Set to track variables for closure analysis
+     */
+    private handleVariableDeclaration;
+    private createLoopScopeHandler;
+    /**
+     * Process VariableDeclarations within a try/catch/finally block.
+     * This is a simplified version that doesn't track parentScopeVariables or class instantiations.
+     *
+     * @param blockPath - The NodePath for the block to process
+     * @param blockScopeId - The scope ID for variables in this block
+     * @param module - Module context
+     * @param variableDeclarations - Collection to push variable declarations to
+     * @param literals - Collection for literal tracking
+     * @param variableAssignments - Collection for variable assignment tracking
+     * @param varDeclCounterRef - Counter for unique variable declaration IDs
+     * @param literalCounterRef - Counter for unique literal IDs
+     * @param scopeTracker - Tracker for semantic ID generation
+     */
+    private processBlockVariables;
+    /**
+     * Handles TryStatement nodes within function bodies.
+     * Creates try, catch (with optional error parameter), and finally scopes,
+     * and processes variable declarations within each block.
+     *
+     * @param tryPath - The NodePath for the TryStatement
+     * @param parentScopeId - Parent scope ID for the scope nodes
+     * @param module - Module context
+     * @param scopes - Collection to push scope nodes to
+     * @param variableDeclarations - Collection to push variable declarations to
+     * @param literals - Collection for literal tracking
+     * @param variableAssignments - Collection for variable assignment tracking
+     * @param scopeCounterRef - Counter for unique scope IDs
+     * @param varDeclCounterRef - Counter for unique variable declaration IDs
+     * @param literalCounterRef - Counter for unique literal IDs
+     * @param scopeTracker - Tracker for semantic ID generation
+     */
+    private handleTryStatement;
+    /**
+     * Factory method to create IfStatement handler.
+     * Creates if scope with condition parsing and optional else scope.
+     * Tracks if/else scope transitions via ifElseScopeMap.
+     *
+     * @param parentScopeId - Parent scope ID for the scope nodes
+     * @param module - Module context
+     * @param scopes - Collection to push scope nodes to
+     * @param ifScopeCounterRef - Counter for unique if scope IDs
+     * @param scopeTracker - Tracker for semantic ID generation
+     * @param sourceCode - Source code for extracting condition text
+     * @param ifElseScopeMap - Map to track if/else scope transitions
+     */
+    private createIfStatementHandler;
+    /**
+     * Factory method to create BlockStatement handler for tracking if/else transitions.
+     * When entering an else block, switches scope from if to else.
+     *
+     * @param scopeTracker - Tracker for semantic ID generation
+     * @param ifElseScopeMap - Map to track if/else scope transitions
+     */
+    private createIfElseBlockStatementHandler;
+    /**
+     * Анализирует тело функции и извлекает переменные, вызовы, условные блоки.
+     * Uses ScopeTracker from collections for semantic ID generation.
+     */
+    analyzeFunctionBody(funcPath: NodePath<t.Function>, parentScopeId: string, module: VisitorModule, collections: VisitorCollections): void;
+    /**
+     * Handle CallExpression nodes: direct function calls (greet(), main())
+     * and method calls (obj.method(), data.process()).
+     *
+     * Handles:
+     * - Direct function calls (Identifier callee) → callSites collection
+     * - Method calls (MemberExpression callee) → methodCalls collection
+     * - Array mutation detection (push, unshift, splice)
+     * - Object.assign() detection
+     *
+     * @param callNode - The call expression AST node
+     * @param processedCallSites - Set of already processed call site keys to avoid duplicates
+     * @param processedMethodCalls - Set of already processed method call keys to avoid duplicates
+     * @param callSites - Collection for direct function calls
+     * @param methodCalls - Collection for method calls
+     * @param module - Current module being analyzed
+     * @param callSiteCounterRef - Counter for legacy ID generation
+     * @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
+     */
+    private handleCallExpression;
+    /**
+     * Detect array mutation calls (push, unshift, splice) inside functions
+     * and collect mutation info for FLOWS_INTO edge creation in GraphBuilder
+     *
+     * REG-117: Added isNested, baseObjectName, propertyName for nested mutations
+     *
+     * @param callNode - The call expression node
+     * @param arrayName - Name of the array being mutated
+     * @param method - The mutation method (push, unshift, splice)
+     * @param module - Current module being analyzed
+     * @param arrayMutations - Collection to push mutation info into
+     * @param scopeTracker - Optional scope tracker for semantic IDs
+     * @param isNested - REG-117: true if this is a nested mutation (obj.arr.push)
+     * @param baseObjectName - REG-117: base object name for nested mutations
+     * @param propertyName - REG-117: property name for nested mutations
+     */
+    private detectArrayMutationInFunction;
+    /**
+     * Detect indexed array assignment: arr[i] = value
+     * Creates ArrayMutationInfo for FLOWS_INTO edge generation in GraphBuilder
+     *
+     * @param assignNode - The assignment expression node
+     * @param module - Current module being analyzed
+     * @param arrayMutations - Collection to push mutation info into
+     */
+    private detectIndexedArrayAssignment;
+    /**
+     * Detect object property assignment: obj.prop = value, obj['prop'] = value
+     * Creates ObjectMutationInfo for FLOWS_INTO edge generation in GraphBuilder
+     *
+     * @param assignNode - The assignment expression node
+     * @param module - Current module being analyzed
+     * @param objectMutations - Collection to push mutation info into
+     * @param scopeTracker - Optional scope tracker for semantic IDs
+     */
+    private detectObjectPropertyAssignment;
+    /**
+     * Extract value information from an expression for mutation tracking
+     */
+    private extractMutationValue;
+    /**
+     * Detect Object.assign() calls inside functions
+     * Creates ObjectMutationInfo for FLOWS_INTO edge generation in GraphBuilder
      */
-    analyzeFunctionBody(funcPath: NodePath<t.Function>, parentScopeId: string, module: VisitorModule, collections: VisitorCollections, scopeCtx?: ScopeContext): void;
+    private detectObjectAssignInFunction;
 }
 export {};
 //# sourceMappingURL=JSASTAnalyzer.d.ts.map

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;AAMH,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;AAMjC,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,KAAK,EACV,UAAU,EAeV,WAAW,EACX,sBAAsB,EAKtB,UAAU,EAGV,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AAIxB;;;GAGG;AACH,UAAU,YAAY;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACtC;AA6CD,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;IAErB,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;IAC3B,OAAO,CAAC,aAAa,CAAU;;IAU/B,IAAI,QAAQ,IAAI,cAAc,CAuB7B;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;IA0H7D;;;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,GAC5B,IAAI;IA8PP;;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;IAuV5H;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAW1B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAO7B;;OAEG;IACH,mBAAmB,CACjB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAC9B,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,kBAAkB,EAC/B,QAAQ,CAAC,EAAE,YAAY,GACtB,IAAI;CA0kBR"}
+{"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;AAWjC,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,KAAK,EACV,UAAU,EAeV,WAAW,EACX,sBAAsB,EAatB,UAAU,EAGV,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AA8DxB,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,CAuB7B;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,GAC5B,IAAI;IAwQP;;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;IAmX5H;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAW1B;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAM7B;;;;;;;;;;;;;;;OAeG;IAEH;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,yBAAyB;IAqFjC,OAAO,CAAC,sBAAsB;IAsC9B;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,qBAAqB;IAiD7B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,kBAAkB;IAkJ1B;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,wBAAwB;IAkFhC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAqBzC;;;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;IA0WP;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,oBAAoB;IA4J5B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,6BAA6B;IA+ErC;;;;;;;OAOG;IACH,OAAO,CAAC,4BAA4B;IA8DpC;;;;;;;;OAQG;IACH,OAAO,CAAC,8BAA8B;IA6FtC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAyB5B;;;OAGG;IACH,OAAO,CAAC,4BAA4B;CA0ErC"}