@grafema/core 0.1.0-alpha.5 → 0.2.0-beta

package/src/core/ScopeTracker.ts

@@ -0,0 +1,154 @@
+/**
+ * ScopeTracker - Track scope hierarchy during AST traversal
+ *
+ * Maintains the current scope path and provides counters for:
+ * - Counted scopes (if#0, try#1, etc.)
+ * - Item counters (CALL, LITERAL, etc.)
+ * - Sibling tracking (anonymous[0], anonymous[1], etc.)
+ *
+ * Used with SemanticId to generate stable identifiers.
+ */
+
+import type { ScopeContext } from './SemanticId.js';
+
+/**
+ * Entry in the scope stack
+ */
+export interface ScopeEntry {
+  name: string;
+  type: string;
+  counter?: number;
+}
+
+/**
+ * Result of entering a counted scope
+ */
+export interface CountedScopeResult {
+  name: string;
+  discriminator: number;
+}
+
+/**
+ * ScopeTracker - Manages scope hierarchy and counters during AST traversal
+ */
+export class ScopeTracker {
+  /** Source file path */
+  readonly file: string;
+
+  /** Current scope stack */
+  private scopeStack: ScopeEntry[] = [];
+
+  /** Counters for various purposes (scoped by scope path) */
+  private counters: Map<string, number> = new Map();
+
+  constructor(file: string) {
+    this.file = file;
+  }
+
+  // === Scope Management ===
+
+  /**
+   * Enter a named scope (function, class, etc.)
+   */
+  enterScope(name: string, type: string): void {
+    this.scopeStack.push({ name, type });
+  }
+
+  /**
+   * Enter a counted scope (if, try, for, etc.)
+   * Automatically assigns a discriminator.
+   */
+  enterCountedScope(type: string): CountedScopeResult {
+    const key = this.counterKey(type);
+    const n = this.counters.get(key) || 0;
+    this.counters.set(key, n + 1);
+
+    const name = `${type}#${n}`;
+    this.scopeStack.push({ name, type, counter: n });
+    return { name, discriminator: n };
+  }
+
+  /**
+   * Exit the current scope
+   */
+  exitScope(): void {
+    this.scopeStack.pop();
+  }
+
+  // === ID Generation ===
+
+  /**
+   * Get current scope context for semantic ID generation
+   */
+  getContext(): ScopeContext {
+    return {
+      file: this.file,
+      scopePath: this.scopeStack.map(s => s.name)
+    };
+  }
+
+  /**
+   * Get scope path as string (for display/debugging)
+   */
+  getScopePath(): string {
+    if (this.scopeStack.length === 0) return 'global';
+    return this.scopeStack.map(s => s.name).join('->');
+  }
+
+  /**
+   * Get the innermost enclosing scope of a specific type.
+   * Searches from innermost to outermost.
+   *
+   * @param scopeType - Type to search for ('CLASS', 'FUNCTION', etc.)
+   * @returns The scope entry name if found, undefined otherwise
+   */
+  getEnclosingScope(scopeType: string): string | undefined {
+    // Search from end (innermost) to start (outermost)
+    for (let i = this.scopeStack.length - 1; i >= 0; i--) {
+      if (this.scopeStack[i].type === scopeType) {
+        return this.scopeStack[i].name;
+      }
+    }
+    return undefined;
+  }
+
+  // === Counter Management ===
+
+  /**
+   * Get next counter for item type within current scope.
+   * Used for CALL, LITERAL, etc. that need #N discriminators.
+   */
+  getItemCounter(itemType: string): number {
+    const key = this.counterKey(itemType);
+    const n = this.counters.get(key) || 0;
+    this.counters.set(key, n + 1);
+    return n;
+  }
+
+  /**
+   * Get current count without incrementing.
+   * Used to check for collisions.
+   */
+  peekItemCounter(itemType: string): number {
+    return this.counters.get(this.counterKey(itemType)) || 0;
+  }
+
+  // === Sibling Tracking ===
+
+  /**
+   * Track siblings by name within current scope.
+   * Used for anonymous functions: anonymous[0], anonymous[1]
+   */
+  getSiblingIndex(name: string): number {
+    const key = `${this.getScopePath()}:sibling:${name}`;
+    const n = this.counters.get(key) || 0;
+    this.counters.set(key, n + 1);
+    return n;
+  }
+
+  // === Private ===
+
+  private counterKey(itemType: string): string {
+    return `${this.getScopePath()}:${itemType}`;
+  }
+}

package/src/core/SemanticId.ts

@@ -0,0 +1,192 @@
+/**
+ * SemanticId - Stable identifiers for code elements
+ *
+ * Semantic IDs provide stable identifiers for code elements that don't change
+ * when unrelated code is added/removed (no line numbers in IDs).
+ *
+ * Format: {file}->{scope_path}->{type}->{name}[#discriminator]
+ *
+ * Examples:
+ *   src/app.js->global->FUNCTION->processData
+ *   src/app.js->UserService->METHOD->login
+ *   src/app.js->getUser->if#0->CALL->console.log#0
+ *
+ * Special formats:
+ *   Singletons: net:stdio->__stdio__
+ *   External modules: EXTERNAL_MODULE->lodash
+ */
+
+/**
+ * Location in source file
+ */
+export interface Location {
+  line: number;
+  column: number;
+  endLine?: number;
+  endColumn?: number;
+}
+
+/**
+ * Scope context for semantic ID generation
+ */
+export interface ScopeContext {
+  /** Source file path */
+  file: string;
+  /** Array of scope names, e.g. ['MyClass', 'myMethod', 'if#1'] */
+  scopePath: string[];
+}
+
+/**
+ * Options for semantic ID generation
+ */
+export interface SemanticIdOptions {
+  /** Counter for disambiguation (#N) */
+  discriminator?: number;
+  /** Context string for special cases ([context]) */
+  context?: string;
+}
+
+/**
+ * Parsed semantic ID components
+ */
+export interface ParsedSemanticId {
+  file: string;
+  scopePath: string[];
+  type: string;
+  name: string;
+  discriminator?: number;
+  context?: string;
+}
+
+/**
+ * Item with name and location for discriminator computation
+ */
+export interface LocatedItem {
+  name: string;
+  location: Location;
+}
+
+/**
+ * Compute semantic ID for any node type.
+ *
+ * @param type - Node type (FUNCTION, CALL, VARIABLE, etc.)
+ * @param name - Node name
+ * @param context - Scope context from ScopeTracker
+ * @param options - Optional discriminator or context
+ * @returns Semantic ID string
+ */
+export function computeSemanticId(
+  type: string,
+  name: string,
+  context: ScopeContext,
+  options?: SemanticIdOptions
+): string {
+  const { file, scopePath } = context;
+  const scope = scopePath.length > 0 ? scopePath.join('->') : 'global';
+
+  let id = `${file}->${scope}->${type}->${name}`;
+
+  if (options?.discriminator !== undefined) {
+    id += `#${options.discriminator}`;
+  } else if (options?.context) {
+    id += `[${options.context}]`;
+  }
+
+  return id;
+}
+
+/**
+ * Parse semantic ID back to components.
+ *
+ * @param id - Semantic ID to parse
+ * @returns Parsed components or null if invalid
+ */
+export function parseSemanticId(id: string): ParsedSemanticId | null {
+  // Handle singletons
+  if (id.startsWith('net:stdio') || id.startsWith('net:request')) {
+    const [prefix, name] = id.split('->');
+    return {
+      file: '',
+      scopePath: [prefix],
+      type: 'SINGLETON',
+      name,
+      discriminator: undefined
+    };
+  }
+
+  if (id.startsWith('EXTERNAL_MODULE')) {
+    const [, name] = id.split('->');
+    return {
+      file: '',
+      scopePath: [],
+      type: 'EXTERNAL_MODULE',
+      name,
+      discriminator: undefined
+    };
+  }
+
+  const parts = id.split('->');
+  if (parts.length < 4) return null;
+
+  const file = parts[0];
+  const type = parts[parts.length - 2];
+  let name = parts[parts.length - 1];
+  const scopePath = parts.slice(1, -2);
+
+  // Parse discriminator or context
+  let discriminator: number | undefined;
+  let context: string | undefined;
+
+  const hashMatch = name.match(/^(.+)#(\d+)$/);
+  if (hashMatch) {
+    name = hashMatch[1];
+    discriminator = parseInt(hashMatch[2], 10);
+  }
+
+  const bracketMatch = name.match(/^(.+)\[(.+)\]$/);
+  if (bracketMatch) {
+    name = bracketMatch[1];
+    context = bracketMatch[2];
+  }
+
+  return { file, scopePath, type, name, discriminator, context };
+}
+
+/**
+ * Compute discriminator for items with same name in same scope.
+ * Uses line/column for stable ordering.
+ *
+ * @param items - All items in scope
+ * @param targetName - Name to find discriminator for
+ * @param targetLocation - Location of target item
+ * @returns Discriminator (0-based index among same-named items)
+ */
+export function computeDiscriminator(
+  items: LocatedItem[],
+  targetName: string,
+  targetLocation: Location
+): number {
+  // Filter items with same name
+  const sameNameItems = items.filter(item => item.name === targetName);
+
+  if (sameNameItems.length <= 1) {
+    return 0;
+  }
+
+  // Sort by line, then by column for stable ordering
+  sameNameItems.sort((a, b) => {
+    if (a.location.line !== b.location.line) {
+      return a.location.line - b.location.line;
+    }
+    return a.location.column - b.location.column;
+  });
+
+  // Find index of target
+  const index = sameNameItems.findIndex(
+    item =>
+      item.location.line === targetLocation.line &&
+      item.location.column === targetLocation.column
+  );
+
+  return index >= 0 ? index : 0;
+}

package/src/core/VersionManager.ts

@@ -170,9 +170,10 @@ export class VersionManager {
       return `${type}:${name}:${file}:${line || 0}`;
     }
 
-    // Для MODULE - только file
+    // Для MODULE - use semantic ID format with name (relative path)
     if (type === 'MODULE') {
-      return `MODULE:${file}`;
+      // name stores the relative path for MODULE nodes
+      return `${name}->global->MODULE->module`;
     }
 
     // Для SERVICE - используем имя или file

package/src/core/nodes/ArgumentExpressionNode.ts

@@ -0,0 +1,89 @@
+/**
+ * ArgumentExpressionNode - EXPRESSION node with call argument context
+ *
+ * Extends ExpressionNode with fields tracking which call and argument position
+ * this expression appears in. Used for argument data flow tracking.
+ *
+ * ID format: {file}:EXPRESSION:{expressionType}:{line}:{column}
+ * With counter: {file}:EXPRESSION:{expressionType}:{line}:{column}:{counter}
+ *
+ * Example: /src/app.ts:EXPRESSION:BinaryExpression:25:10
+ *
+ * Note: Uses counter suffix since same expression at same position can appear
+ * multiple times in different argument contexts.
+ */
+
+import { ExpressionNode, type ExpressionNodeRecord, type ExpressionNodeOptions } from './ExpressionNode.js';
+
+interface ArgumentExpressionNodeRecord extends ExpressionNodeRecord {
+  parentCallId: string;
+  argIndex: number;
+}
+
+interface ArgumentExpressionNodeOptions extends ExpressionNodeOptions {
+  parentCallId: string;
+  argIndex: number;
+  counter?: number;
+}
+
+export class ArgumentExpressionNode {
+  // Inherit TYPE from ExpressionNode
+  static readonly TYPE = ExpressionNode.TYPE;
+  static readonly REQUIRED: readonly string[] = [...ExpressionNode.REQUIRED, 'parentCallId', 'argIndex'];
+  static readonly OPTIONAL: readonly string[] = [...ExpressionNode.OPTIONAL, 'counter'];
+
+  /**
+   * Create EXPRESSION node with argument context
+   *
+   * @param expressionType - Type of expression (BinaryExpression, LogicalExpression, etc.)
+   * @param file - File path
+   * @param line - Line number
+   * @param column - Column position
+   * @param options - Required: parentCallId, argIndex; Optional: expression properties, counter
+   * @returns ArgumentExpressionNodeRecord
+   */
+  static create(
+    expressionType: string,
+    file: string,
+    line: number,
+    column: number,
+    options: ArgumentExpressionNodeOptions
+  ): ArgumentExpressionNodeRecord {
+    if (!options.parentCallId) {
+      throw new Error('ArgumentExpressionNode.create: parentCallId is required');
+    }
+    if (options.argIndex === undefined) {
+      throw new Error('ArgumentExpressionNode.create: argIndex is required');
+    }
+
+    // Create base EXPRESSION node using parent class
+    const baseNode = ExpressionNode.create(expressionType, file, line, column, options);
+
+    // Override ID with counter suffix (since same location can have multiple expressions)
+    const counter = options.counter !== undefined ? `:${options.counter}` : '';
+    const id = `${file}:EXPRESSION:${expressionType}:${line}:${column}${counter}`;
+
+    return {
+      ...baseNode,
+      id,
+      parentCallId: options.parentCallId,
+      argIndex: options.argIndex
+    };
+  }
+
+  static validate(node: ArgumentExpressionNodeRecord): string[] {
+    const errors = ExpressionNode.validate(node);
+
+    if (!node.parentCallId) {
+      errors.push('Missing required field: parentCallId');
+    }
+
+    if (node.argIndex === undefined) {
+      errors.push('Missing required field: argIndex');
+    }
+
+    return errors;
+  }
+}
+
+export type { ArgumentExpressionNodeRecord, ArgumentExpressionNodeOptions };

package/src/core/nodes/ArrayLiteralNode.ts

@@ -0,0 +1,66 @@
+/**
+ * ArrayLiteralNode - contract for ARRAY_LITERAL node
+ *
+ * Represents an array literal expression: [elem1, elem2, ...]
+ * Used for tracking data flow through array construction.
+ */
+
+import type { BaseNodeRecord } from '@grafema/types';
+
+interface ArrayLiteralNodeRecord extends BaseNodeRecord {
+  type: 'ARRAY_LITERAL';
+  column: number;
+  parentCallId?: string;
+  argIndex?: number;
+}
+
+interface ArrayLiteralNodeOptions {
+  parentCallId?: string;
+  argIndex?: number;
+  counter?: number;
+}
+
+export class ArrayLiteralNode {
+  static readonly TYPE = 'ARRAY_LITERAL' as const;
+
+  static readonly REQUIRED = ['file', 'line', 'column'] as const;
+  static readonly OPTIONAL = ['parentCallId', 'argIndex'] as const;
+
+  static create(
+    file: string,
+    line: number,
+    column: number,
+    options: ArrayLiteralNodeOptions = {}
+  ): ArrayLiteralNodeRecord {
+    if (!file) throw new Error('ArrayLiteralNode.create: file is required');
+    if (line === undefined) throw new Error('ArrayLiteralNode.create: line is required');
+    if (column === undefined) throw new Error('ArrayLiteralNode.create: column is required');
+
+    const counter = options.counter !== undefined ? `:${options.counter}` : '';
+    const argSuffix = options.argIndex !== undefined ? `arg${options.argIndex}` : 'arr';
+    const id = `ARRAY_LITERAL#${argSuffix}#${file}#${line}:${column}${counter}`;
+
+    return {
+      id,
+      type: this.TYPE,
+      name: `<array>`,
+      file,
+      line,
+      column,
+      parentCallId: options.parentCallId,
+      argIndex: options.argIndex
+    };
+  }
+
+  static validate(node: ArrayLiteralNodeRecord): string[] {
+    const errors: string[] = [];
+    if (node.type !== this.TYPE) errors.push(`Expected type ${this.TYPE}`);
+    const nodeRecord = node as unknown as Record<string, unknown>;
+    for (const field of this.REQUIRED) {
+      if (nodeRecord[field] === undefined) errors.push(`Missing: ${field}`);
+    }
+    return errors;
+  }
+}
+
+export type { ArrayLiteralNodeRecord, ArrayLiteralNodeOptions };

package/src/core/nodes/BranchNode.ts

@@ -0,0 +1,113 @@
+/**
+ * BranchNode - contract for BRANCH node
+ *
+ * Represents control flow branching (switch statements).
+ * Future: if statements, ternary expressions.
+ *
+ * ID format (legacy): {file}:BRANCH:{branchType}:{line}:{counter}
+ * Semantic ID format: {file}->{scope_path}->BRANCH->switch#N
+ */
+
+import type { BaseNodeRecord } from '@grafema/types';
+import { computeSemanticId, type ScopeContext, type Location } from '../SemanticId.js';
+
+interface BranchNodeRecord extends BaseNodeRecord {
+  type: 'BRANCH';
+  column: number;
+  branchType: 'switch' | 'if' | 'ternary';
+  parentScopeId?: string;
+}
+
+interface BranchNodeOptions {
+  parentScopeId?: string;
+  counter?: number;
+}
+
+interface BranchContextOptions {
+  discriminator: number;
+  parentScopeId?: string;
+}
+
+export class BranchNode {
+  static readonly TYPE = 'BRANCH' as const;
+  static readonly REQUIRED = ['branchType', 'file', 'line', 'column'] as const;
+  static readonly OPTIONAL = ['parentScopeId'] as const;
+
+  /**
+   * Create BRANCH node (legacy ID)
+   */
+  static create(
+    branchType: 'switch' | 'if' | 'ternary',
+    file: string,
+    line: number,
+    column: number,
+    options: BranchNodeOptions = {}
+  ): BranchNodeRecord {
+    // Validation
+    if (!branchType) throw new Error('BranchNode.create: branchType is required');
+    if (!file) throw new Error('BranchNode.create: file is required');
+    if (line === undefined) throw new Error('BranchNode.create: line is required');
+    if (column === undefined) throw new Error('BranchNode.create: column is required');
+
+    const counter = options.counter !== undefined ? `:${options.counter}` : '';
+    const id = `${file}:BRANCH:${branchType}:${line}${counter}`;
+
+    return {
+      id,
+      type: this.TYPE,
+      name: branchType,
+      file,
+      line,
+      column,
+      branchType,
+      parentScopeId: options.parentScopeId
+    };
+  }
+
+  /**
+   * Create BRANCH node with semantic ID (NEW API)
+   */
+  static createWithContext(
+    branchType: 'switch' | 'if' | 'ternary',
+    context: ScopeContext,
+    location: Partial<Location>,
+    options: BranchContextOptions
+  ): BranchNodeRecord {
+    if (!branchType) throw new Error('BranchNode.createWithContext: branchType is required');
+    if (!context.file) throw new Error('BranchNode.createWithContext: file is required');
+    if (location.line === undefined) throw new Error('BranchNode.createWithContext: line is required');
+    if (location.column === undefined) throw new Error('BranchNode.createWithContext: column is required');
+    if (options.discriminator === undefined) throw new Error('BranchNode.createWithContext: discriminator is required');
+
+    const id = computeSemanticId('BRANCH', branchType, context, {
+      discriminator: options.discriminator
+    });
+
+    return {
+      id,
+      type: this.TYPE,
+      name: `${branchType}#${options.discriminator}`,
+      file: context.file,
+      line: location.line,
+      column: location.column,
+      branchType,
+      parentScopeId: options.parentScopeId
+    };
+  }
+
+  static validate(node: BranchNodeRecord): string[] {
+    const errors: string[] = [];
+    if (node.type !== this.TYPE) {
+      errors.push(`Expected type ${this.TYPE}, got ${node.type}`);
+    }
+    if (!node.branchType) {
+      errors.push('Missing required field: branchType');
+    }
+    if (!node.file) {
+      errors.push('Missing required field: file');
+    }
+    return errors;
+  }
+}
+
+export type { BranchNodeRecord };