@grafema/core 0.2.4-beta → 0.2.6-beta

package/dist/plugins/analysis/ast/builders/TypeSystemBuilder.js

@@ -0,0 +1,370 @@
+/**
+ * TypeSystemBuilder - buffers class declarations, interfaces, type aliases,
+ * enums, decorators, type parameters, and promise resolution edges.
+ *
+ * Extracted from GraphBuilder: bufferClassDeclarationNodes, bufferClassNodes,
+ * bufferImplementsEdges, bufferInterfaceNodes, bufferTypeParameterNodes,
+ * bufferTypeAliasNodes, bufferEnumNodes, bufferDecoratorNodes,
+ * bufferPromiseResolutionEdges.
+ */
+import { basename } from 'path';
+import { InterfaceNode } from '../../../../core/nodes/InterfaceNode.js';
+import { EnumNode } from '../../../../core/nodes/EnumNode.js';
+import { DecoratorNode } from '../../../../core/nodes/DecoratorNode.js';
+import { TypeParameterNode } from '../../../../core/nodes/TypeParameterNode.js';
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+/**
+ * Check if a type string represents a TypeScript primitive (no EXTENDS edge needed)
+ */
+function isPrimitiveType(typeName) {
+    const PRIMITIVES = new Set([
+        'string', 'number', 'boolean', 'void', 'null', 'undefined',
+        'never', 'any', 'unknown', 'object', 'symbol', 'bigint', 'function'
+    ]);
+    return PRIMITIVES.has(typeName);
+}
+export class TypeSystemBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { classDeclarations = [], classInstantiations = [], interfaces = [], typeAliases = [], enums = [], decorators = [], typeParameters = [], promiseResolutions = [], } = data;
+        this.bufferClassDeclarationNodes(classDeclarations);
+        this.bufferClassNodes(module, classInstantiations, classDeclarations);
+        this.bufferInterfaceNodes(module, interfaces);
+        this.bufferTypeParameterNodes(typeParameters, interfaces);
+        this.bufferTypeAliasNodes(module, typeAliases);
+        this.bufferEnumNodes(module, enums);
+        this.bufferDecoratorNodes(decorators);
+        this.bufferImplementsEdges(classDeclarations, interfaces);
+        this.bufferPromiseResolutionEdges(promiseResolutions);
+    }
+    bufferClassDeclarationNodes(classDeclarations) {
+        for (const classDecl of classDeclarations) {
+            const { id, type, name, file, line, column, superClass, methods, properties, staticBlocks } = classDecl;
+            // Buffer CLASS node
+            this.ctx.bufferNode({
+                id,
+                type,
+                name,
+                file,
+                line,
+                column,
+                superClass
+            });
+            // Buffer CONTAINS edges: CLASS -> METHOD
+            for (const methodId of methods) {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: id,
+                    dst: methodId
+                });
+            }
+            // REG-271: Buffer HAS_PROPERTY edges: CLASS -> VARIABLE (private fields)
+            if (properties) {
+                for (const propertyId of properties) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_PROPERTY',
+                        src: id,
+                        dst: propertyId
+                    });
+                }
+            }
+            // REG-271: Buffer CONTAINS edges: CLASS -> SCOPE (static blocks)
+            if (staticBlocks) {
+                for (const staticBlockId of staticBlocks) {
+                    this.ctx.bufferEdge({
+                        type: 'CONTAINS',
+                        src: id,
+                        dst: staticBlockId
+                    });
+                }
+            }
+            // If superClass, buffer DERIVES_FROM edge with computed ID
+            if (superClass) {
+                // Compute superclass ID using semantic ID format
+                // Assume superclass is in same file at global scope (most common case)
+                // When superclass is in different file, edge will be dangling until that file analyzed
+                const globalContext = { file, scopePath: [] };
+                const superClassId = computeSemanticId('CLASS', superClass, globalContext);
+                this.ctx.bufferEdge({
+                    type: 'DERIVES_FROM',
+                    src: id,
+                    dst: superClassId
+                });
+            }
+        }
+    }
+    bufferClassNodes(module, classInstantiations, classDeclarations) {
+        // Create lookup map: className -> declaration ID
+        // Use basename for comparison because CLASS nodes use scopeTracker.file (basename)
+        const moduleBasename = basename(module.file);
+        const declarationMap = new Map();
+        for (const decl of classDeclarations) {
+            if (decl.file === moduleBasename) {
+                declarationMap.set(decl.name, decl.id);
+            }
+        }
+        for (const instantiation of classInstantiations) {
+            const { variableId, className, line: _line } = instantiation;
+            let classId = declarationMap.get(className);
+            if (!classId) {
+                // External class - compute semantic ID
+                // Use basename to match CLASS node format (scopeTracker uses basename)
+                // When class is in different file, edge will be dangling until that file analyzed
+                const globalContext = { file: moduleBasename, scopePath: [] };
+                classId = computeSemanticId('CLASS', className, globalContext);
+                // NO node creation - node will exist when class file analyzed
+            }
+            // Buffer INSTANCE_OF edge
+            this.ctx.bufferEdge({
+                type: 'INSTANCE_OF',
+                src: variableId,
+                dst: classId
+            });
+        }
+    }
+    bufferInterfaceNodes(module, interfaces) {
+        // First pass: create all interface nodes and store them
+        const interfaceNodes = new Map();
+        for (const iface of interfaces) {
+            const interfaceNode = InterfaceNode.create(iface.name, iface.file, iface.line, iface.column || 0, {
+                extends: iface.extends,
+                properties: iface.properties
+            });
+            interfaceNodes.set(iface.name, interfaceNode);
+            this.ctx.bufferNode(interfaceNode);
+            // MODULE -> CONTAINS -> INTERFACE
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: module.id,
+                dst: interfaceNode.id
+            });
+        }
+        // Second pass: create EXTENDS edges
+        for (const iface of interfaces) {
+            if (iface.extends && iface.extends.length > 0) {
+                const srcNode = interfaceNodes.get(iface.name);
+                for (const parentName of iface.extends) {
+                    const parentNode = interfaceNodes.get(parentName);
+                    if (parentNode) {
+                        // Same-file interface
+                        this.ctx.bufferEdge({
+                            type: 'EXTENDS',
+                            src: srcNode.id,
+                            dst: parentNode.id
+                        });
+                    }
+                    else {
+                        // External interface - create a reference node
+                        const externalInterface = NodeFactory.createInterface(parentName, iface.file, iface.line, 0, { isExternal: true });
+                        this.ctx.bufferNode(externalInterface);
+                        this.ctx.bufferEdge({
+                            type: 'EXTENDS',
+                            src: srcNode.id,
+                            dst: externalInterface.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Buffer TYPE_PARAMETER nodes, HAS_TYPE_PARAMETER edges, and EXTENDS edges for constraints.
+     *
+     * For each type parameter:
+     * 1. Creates TYPE_PARAMETER node with constraint/default/variance metadata
+     * 2. Creates HAS_TYPE_PARAMETER edge: parent -> TYPE_PARAMETER
+     * 3. If constraint is a non-primitive type reference, creates EXTENDS edge
+     *    using external reference nodes (same pattern as bufferInterfaceNodes)
+     */
+    bufferTypeParameterNodes(typeParameters, interfaces) {
+        // Build a lookup of interface names to their IDs for same-file resolution
+        const interfaceIdsByName = new Map();
+        for (const iface of interfaces) {
+            const ifaceId = `${iface.file}:INTERFACE:${iface.name}:${iface.line}`;
+            interfaceIdsByName.set(iface.name, ifaceId);
+        }
+        for (const tp of typeParameters) {
+            // Create TYPE_PARAMETER node
+            const tpNode = TypeParameterNode.create(tp.name, tp.parentId, tp.file, tp.line, tp.column, {
+                constraint: tp.constraintType,
+                defaultType: tp.defaultType,
+                variance: tp.variance,
+            });
+            this.ctx.bufferNode(tpNode);
+            // HAS_TYPE_PARAMETER edge: parent -> TYPE_PARAMETER
+            this.ctx.bufferEdge({
+                type: 'HAS_TYPE_PARAMETER',
+                src: tp.parentId,
+                dst: tpNode.id
+            });
+            // EXTENDS edge for constraint (if constraint looks like a type reference, not a primitive)
+            if (tp.constraintType && !isPrimitiveType(tp.constraintType)) {
+                // For intersection types ("A & B"), create EXTENDS edge for each part
+                const constraintParts = tp.constraintType.includes(' & ')
+                    ? tp.constraintType.split(' & ').map(s => s.trim())
+                    : [tp.constraintType];
+                for (const part of constraintParts) {
+                    // Skip primitives, unknown, union types, array types, complex types
+                    if (isPrimitiveType(part) || part === 'unknown')
+                        continue;
+                    if (part.includes(' | ') || part.includes('[]') || part.includes('['))
+                        continue;
+                    // Check if constraint type is a same-file interface
+                    const sameFileId = interfaceIdsByName.get(part);
+                    if (sameFileId) {
+                        // Same-file interface -- use its real ID
+                        this.ctx.bufferEdge({
+                            type: 'EXTENDS',
+                            src: tpNode.id,
+                            dst: sameFileId
+                        });
+                    }
+                    else {
+                        // External type -- create an external reference node (same pattern as bufferInterfaceNodes)
+                        const externalInterface = NodeFactory.createInterface(part, tp.file, tp.line, 0, { isExternal: true });
+                        this.ctx.bufferNode(externalInterface);
+                        this.ctx.bufferEdge({
+                            type: 'EXTENDS',
+                            src: tpNode.id,
+                            dst: externalInterface.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Buffer TYPE alias nodes
+     */
+    bufferTypeAliasNodes(module, typeAliases) {
+        for (const typeAlias of typeAliases) {
+            // Create TYPE node using factory (pass mapped type metadata if present)
+            const typeNode = NodeFactory.createType(typeAlias.name, typeAlias.file, typeAlias.line, typeAlias.column || 0, {
+                aliasOf: typeAlias.aliasOf,
+                mappedType: typeAlias.mappedType,
+                keyName: typeAlias.keyName,
+                keyConstraint: typeAlias.keyConstraint,
+                valueType: typeAlias.valueType,
+                mappedReadonly: typeAlias.mappedReadonly,
+                mappedOptional: typeAlias.mappedOptional,
+                nameType: typeAlias.nameType,
+                conditionalType: typeAlias.conditionalType,
+                checkType: typeAlias.checkType,
+                extendsType: typeAlias.extendsType,
+                trueType: typeAlias.trueType,
+                falseType: typeAlias.falseType,
+            });
+            this.ctx.bufferNode(typeNode);
+            // MODULE -> CONTAINS -> TYPE
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: module.id,
+                dst: typeNode.id
+            });
+        }
+    }
+    /**
+     * Buffer ENUM nodes
+     * Uses EnumNode.create() to ensure consistent ID format (colon separator)
+     */
+    bufferEnumNodes(module, enums) {
+        for (const enumDecl of enums) {
+            // Use EnumNode.create() to generate proper ID (colon format)
+            // Do NOT use enumDecl.id which has legacy # format from TypeScriptVisitor
+            const enumNode = EnumNode.create(enumDecl.name, enumDecl.file, enumDecl.line, enumDecl.column || 0, {
+                isConst: enumDecl.isConst || false,
+                members: enumDecl.members || []
+            });
+            this.ctx.bufferNode(enumNode);
+            // MODULE -> CONTAINS -> ENUM
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: module.id,
+                dst: enumNode.id // Use factory-generated ID (colon format)
+            });
+        }
+    }
+    /**
+     * Buffer DECORATOR nodes and DECORATED_BY edges
+     */
+    bufferDecoratorNodes(decorators) {
+        for (const decorator of decorators) {
+            // Create DECORATOR node using factory (generates colon-format ID)
+            const decoratorNode = DecoratorNode.create(decorator.name, decorator.file, decorator.line, decorator.column || 0, decorator.targetId, // Now included in the node!
+            decorator.targetType, { arguments: decorator.arguments });
+            this.ctx.bufferNode(decoratorNode);
+            // TARGET -> DECORATED_BY -> DECORATOR
+            this.ctx.bufferEdge({
+                type: 'DECORATED_BY',
+                src: decorator.targetId,
+                dst: decoratorNode.id // Use factory-generated ID (colon format)
+            });
+        }
+    }
+    /**
+     * Buffer IMPLEMENTS edges (CLASS -> INTERFACE)
+     */
+    bufferImplementsEdges(classDeclarations, interfaces) {
+        for (const classDecl of classDeclarations) {
+            if (classDecl.implements && classDecl.implements.length > 0) {
+                for (const ifaceName of classDecl.implements) {
+                    // Try to find the interface in the same file
+                    const iface = interfaces.find(i => i.name === ifaceName);
+                    if (iface) {
+                        // Compute interface ID using same formula as InterfaceNode.create()
+                        // Format: {file}:INTERFACE:{name}:{line}
+                        const interfaceId = `${iface.file}:INTERFACE:${iface.name}:${iface.line}`;
+                        this.ctx.bufferEdge({
+                            type: 'IMPLEMENTS',
+                            src: classDecl.id,
+                            dst: interfaceId
+                        });
+                    }
+                    else {
+                        // External interface - create a reference node
+                        const externalInterface = NodeFactory.createInterface(ifaceName, classDecl.file, classDecl.line, 0, { isExternal: true });
+                        this.ctx.bufferNode(externalInterface);
+                        this.ctx.bufferEdge({
+                            type: 'IMPLEMENTS',
+                            src: classDecl.id,
+                            dst: externalInterface.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Buffer RESOLVES_TO edges for Promise resolution data flow (REG-334).
+     *
+     * Links resolve/reject CALL nodes to their parent Promise CONSTRUCTOR_CALL.
+     * This enables traceValues to follow Promise data flow:
+     *
+     * Example:
+     * ```
+     * const result = new Promise((resolve) => {
+     *   resolve(42);  // CALL[resolve] --RESOLVES_TO--> CONSTRUCTOR_CALL[Promise]
+     * });
+     * ```
+     *
+     * The edge direction (CALL -> CONSTRUCTOR_CALL) matches data flow semantics:
+     * data flows FROM resolve(value) TO the Promise result.
+     */
+    bufferPromiseResolutionEdges(promiseResolutions) {
+        for (const resolution of promiseResolutions) {
+            this.ctx.bufferEdge({
+                type: 'RESOLVES_TO',
+                src: resolution.callId,
+                dst: resolution.constructorCallId,
+                metadata: {
+                    isReject: resolution.isReject
+                }
+            });
+        }
+    }
+}
+//# sourceMappingURL=TypeSystemBuilder.js.map

package/dist/plugins/analysis/ast/builders/TypeSystemBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSystemBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/TypeSystemBuilder.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAChF,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAiBnE;;GAEG;AACH,SAAS,eAAe,CAAC,QAAgB;IACvC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC;QACzB,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW;QAC1D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU;KACpE,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,OAAO,iBAAiB;IACR;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,iBAAiB,GAAG,EAAE,EACtB,mBAAmB,GAAG,EAAE,EACxB,UAAU,GAAG,EAAE,EACf,WAAW,GAAG,EAAE,EAChB,KAAK,GAAG,EAAE,EACV,UAAU,GAAG,EAAE,EACf,cAAc,GAAG,EAAE,EACnB,kBAAkB,GAAG,EAAE,GACxB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,2BAA2B,CAAC,iBAAiB,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;QACtE,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC9C,IAAI,CAAC,wBAAwB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC/C,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,qBAAqB,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,4BAA4B,CAAC,kBAAkB,CAAC,CAAC;IACxD,CAAC;IAEO,2BAA2B,CAAC,iBAAyC;QAC3E,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE,CAAC;YAC1C,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC;YAExG,oBAAoB;YACpB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,EAAE;gBACF,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,MAAM;gBACN,UAAU;aACX,CAAC,CAAC;YAEH,yCAAyC;YACzC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,EAAE;oBACP,GAAG,EAAE,QAAQ;iBACd,CAAC,CAAC;YACL,CAAC;YAED,yEAAyE;YACzE,IAAI,UAAU,EAAE,CAAC;gBACf,KAAK,MAAM,UAAU,IAAI,UAAU,EAAE,CAAC;oBACpC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,cAAc;wBACpB,GAAG,EAAE,EAAE;wBACP,GAAG,EAAE,UAAU;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,iEAAiE;YACjE,IAAI,YAAY,EAAE,CAAC;gBACjB,KAAK,MAAM,aAAa,IAAI,YAAY,EAAE,CAAC;oBACzC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,UAAU;wBAChB,GAAG,EAAE,EAAE;wBACP,GAAG,EAAE,aAAa;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,2DAA2D;YAC3D,IAAI,UAAU,EAAE,CAAC;gBACf,iDAAiD;gBACjD,uEAAuE;gBACvE,uFAAuF;gBACvF,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAc,EAAE,CAAC;gBAC1D,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;gBAE3E,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,cAAc;oBACpB,GAAG,EAAE,EAAE;oBACP,GAAG,EAAE,YAAY;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,MAAkB,EAAE,mBAA6C,EAAE,iBAAyC;QACnI,iDAAiD;QACjD,mFAAmF;QACnF,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACjC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,aAAa,IAAI,mBAAmB,EAAE,CAAC;YAChD,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,aAAa,CAAC;YAE7D,IAAI,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAE5C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,uCAAuC;gBACvC,uEAAuE;gBACvE,kFAAkF;gBAClF,MAAM,aAAa,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,EAAc,EAAE,CAAC;gBAC1E,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;gBAE/D,8DAA8D;YAChE,CAAC;YAED,0BAA0B;YAC1B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,aAAa;gBACnB,GAAG,EAAE,UAAU;gBACf,GAAG,EAAE,OAAO;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,oBAAoB,CAAC,MAAkB,EAAE,UAAsC;QACrF,wDAAwD;QACxD,MAAM,cAAc,GAAG,IAAI,GAAG,EAA+B,CAAC;QAE9D,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CACxC,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,MAAM,IAAI,CAAC,EACjB;gBACE,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CACF,CAAC;YACF,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC9C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,aAAqC,CAAC,CAAC;YAE3D,kCAAkC;YAClC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,MAAM,CAAC,EAAE;gBACd,GAAG,EAAE,aAAa,CAAC,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;QAED,oCAAoC;QACpC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9C,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;gBAEhD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACvC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBAElD,IAAI,UAAU,EAAE,CAAC;wBACf,sBAAsB;wBACtB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,OAAO,CAAC,EAAE;4BACf,GAAG,EAAE,UAAU,CAAC,EAAE;yBACnB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,+CAA+C;wBAC/C,MAAM,iBAAiB,GAAG,WAAW,CAAC,eAAe,CACnD,UAAU,EACV,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,IAAI,EACV,CAAC,EACD,EAAE,UAAU,EAAE,IAAI,EAAE,CACrB,CAAC;wBACF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,iBAAyC,CAAC,CAAC;wBAC/D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,OAAO,CAAC,EAAE;4BACf,GAAG,EAAE,iBAAiB,CAAC,EAAE;yBAC1B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACK,wBAAwB,CAAC,cAAmC,EAAE,UAAsC;QAC1G,0EAA0E;QAC1E,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,cAAc,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACtE,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;YAChC,6BAA6B;YAC7B,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CACrC,EAAE,CAAC,IAAI,EACP,EAAE,CAAC,QAAQ,EACX,EAAE,CAAC,IAAI,EACP,EAAE,CAAC,IAAI,EACP,EAAE,CAAC,MAAM,EACT;gBACE,UAAU,EAAE,EAAE,CAAC,cAAc;gBAC7B,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,QAAQ,EAAE,EAAE,CAAC,QAAQ;aACtB,CACF,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAA8B,CAAC,CAAC;YAEpD,oDAAoD;YACpD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,oBAAoB;gBAC1B,GAAG,EAAE,EAAE,CAAC,QAAQ;gBAChB,GAAG,EAAE,MAAM,CAAC,EAAE;aACf,CAAC,CAAC;YAEH,2FAA2F;YAC3F,IAAI,EAAE,CAAC,cAAc,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC7D,sEAAsE;gBACtE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;oBACvD,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBACnD,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;gBAExB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;oBACnC,oEAAoE;oBACpE,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,SAAS;wBAAE,SAAS;oBAC1D,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;wBAAE,SAAS;oBAEhF,oDAAoD;oBACpD,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChD,IAAI,UAAU,EAAE,CAAC;wBACf,yCAAyC;wBACzC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,MAAM,CAAC,EAAE;4BACd,GAAG,EAAE,UAAU;yBAChB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,4FAA4F;wBAC5F,MAAM,iBAAiB,GAAG,WAAW,CAAC,eAAe,CACnD,IAAI,EACJ,EAAE,CAAC,IAAI,EACP,EAAE,CAAC,IAAI,EACP,CAAC,EACD,EAAE,UAAU,EAAE,IAAI,EAAE,CACrB,CAAC;wBACF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,iBAAyC,CAAC,CAAC;wBAC/D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,SAAS;4BACf,GAAG,EAAE,MAAM,CAAC,EAAE;4BACd,GAAG,EAAE,iBAAiB,CAAC,EAAE;yBAC1B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,MAAkB,EAAE,WAA4B;QAC3E,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;YACpC,wEAAwE;YACxE,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CACrC,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,MAAM,IAAI,CAAC,EACrB;gBACE,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,cAAc,EAAE,SAAS,CAAC,cAAc;gBACxC,cAAc,EAAE,SAAS,CAAC,cAAc;gBACxC,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,eAAe,EAAE,SAAS,CAAC,eAAe;gBAC1C,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,SAAS,EAAE,SAAS,CAAC,SAAS;aAC/B,CACF,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAgC,CAAC,CAAC;YAEtD,6BAA6B;YAC7B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,MAAM,CAAC,EAAE;gBACd,GAAG,EAAE,QAAQ,CAAC,EAAE;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,eAAe,CAAC,MAAkB,EAAE,KAA4B;QACtE,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7B,6DAA6D;YAC7D,0EAA0E;YAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAC9B,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,MAAM,IAAI,CAAC,EACpB;gBACE,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,KAAK;gBAClC,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,EAAE;aAChC,CACF,CAAC;YAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAgC,CAAC,CAAC;YAEtD,6BAA6B;YAC7B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,MAAM,CAAC,EAAE;gBACd,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAE,0CAA0C;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,UAA2B;QACtD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,kEAAkE;YAClE,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CACxC,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,MAAM,IAAI,CAAC,EACrB,SAAS,CAAC,QAAQ,EAAG,4BAA4B;YACjD,SAAS,CAAC,UAAU,EACpB,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CACnC,CAAC;YAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,aAAqC,CAAC,CAAC;YAE3D,sCAAsC;YACtC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,SAAS,CAAC,QAAQ;gBACvB,GAAG,EAAE,aAAa,CAAC,EAAE,CAAE,0CAA0C;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,iBAAyC,EAAE,UAAsC;QAC7G,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE,CAAC;YAC1C,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5D,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;oBAC7C,6CAA6C;oBAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;oBACzD,IAAI,KAAK,EAAE,CAAC;wBACV,oEAAoE;wBACpE,yCAAyC;wBACzC,MAAM,WAAW,GAAG,GAAG,KAAK,CAAC,IAAI,cAAc,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;wBAC1E,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,YAAY;4BAClB,GAAG,EAAE,SAAS,CAAC,EAAE;4BACjB,GAAG,EAAE,WAAW;yBACjB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,+CAA+C;wBAC/C,MAAM,iBAAiB,GAAG,WAAW,CAAC,eAAe,CACnD,SAAS,EACT,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,IAAI,EACd,CAAC,EACD,EAAE,UAAU,EAAE,IAAI,EAAE,CACrB,CAAC;wBACF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,iBAAyC,CAAC,CAAC;wBAC/D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,YAAY;4BAClB,GAAG,EAAE,SAAS,CAAC,EAAE;4BACjB,GAAG,EAAE,iBAAiB,CAAC,EAAE;yBAC1B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACK,4BAA4B,CAAC,kBAA2C;QAC9E,KAAK,MAAM,UAAU,IAAI,kBAAkB,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,aAAa;gBACnB,GAAG,EAAE,UAAU,CAAC,MAAM;gBACtB,GAAG,EAAE,UAAU,CAAC,iBAAiB;gBACjC,QAAQ,EAAE;oBACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;iBAC9B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF"}

package/dist/plugins/analysis/ast/builders/UpdateExpressionBuilder.d.ts

@@ -0,0 +1,46 @@
+/**
+ * UpdateExpressionBuilder - buffers UPDATE_EXPRESSION nodes and edges.
+ *
+ * Handles: increment/decrement operations for identifiers and member expressions.
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class UpdateExpressionBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    /**
+     * Buffer UPDATE_EXPRESSION nodes and edges for increment/decrement operations.
+     *
+     * Handles two target types:
+     * - IDENTIFIER: Simple variable (i++, --count)
+     * - MEMBER_EXPRESSION: Object property (obj.prop++, arr[i]++, this.count++)
+     *
+     * Creates:
+     * - UPDATE_EXPRESSION node with operator and target metadata
+     * - MODIFIES edge: UPDATE_EXPRESSION -> target (VARIABLE, PARAMETER, or CLASS)
+     * - READS_FROM self-loop: target -> target (reads current value before update)
+     * - CONTAINS edge: SCOPE -> UPDATE_EXPRESSION
+     *
+     * REG-288: Initial implementation for IDENTIFIER targets
+     * REG-312: Extended for MEMBER_EXPRESSION targets
+     */
+    private bufferUpdateExpressionEdges;
+    /**
+     * Buffer UPDATE_EXPRESSION node and edges for simple identifier updates (i++, --count)
+     * REG-288: Original implementation extracted for clarity
+     */
+    private bufferIdentifierUpdate;
+    /**
+     * Buffer UPDATE_EXPRESSION node and edges for member expression updates (obj.prop++, arr[i]++)
+     * REG-312: New implementation for member expression targets
+     *
+     * Creates:
+     * - UPDATE_EXPRESSION node with member expression metadata
+     * - MODIFIES edge: UPDATE_EXPRESSION -> VARIABLE(object) or CLASS (for this.prop++)
+     * - READS_FROM self-loop: VARIABLE(object) -> VARIABLE(object)
+     * - CONTAINS edge: SCOPE -> UPDATE_EXPRESSION
+     */
+    private bufferMemberExpressionUpdate;
+}
+//# sourceMappingURL=UpdateExpressionBuilder.d.ts.map

package/dist/plugins/analysis/ast/builders/UpdateExpressionBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UpdateExpressionBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/UpdateExpressionBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,UAAU,EAKV,cAAc,EAEf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,uBAAwB,YAAW,aAAa;IAC/C,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAWtD;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,2BAA2B;IA4BnC;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAmE9B;;;;;;;;;OASG;IACH,OAAO,CAAC,4BAA4B;CAwGrC"}

package/dist/plugins/analysis/ast/builders/UpdateExpressionBuilder.js

@@ -0,0 +1,191 @@
+/**
+ * UpdateExpressionBuilder - buffers UPDATE_EXPRESSION nodes and edges.
+ *
+ * Handles: increment/decrement operations for identifiers and member expressions.
+ */
+import { basename } from 'path';
+export class UpdateExpressionBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { variableDeclarations, updateExpressions = [], parameters = [], classDeclarations = [], } = data;
+        this.bufferUpdateExpressionEdges(updateExpressions, variableDeclarations, parameters, classDeclarations);
+    }
+    /**
+     * Buffer UPDATE_EXPRESSION nodes and edges for increment/decrement operations.
+     *
+     * Handles two target types:
+     * - IDENTIFIER: Simple variable (i++, --count)
+     * - MEMBER_EXPRESSION: Object property (obj.prop++, arr[i]++, this.count++)
+     *
+     * Creates:
+     * - UPDATE_EXPRESSION node with operator and target metadata
+     * - MODIFIES edge: UPDATE_EXPRESSION -> target (VARIABLE, PARAMETER, or CLASS)
+     * - READS_FROM self-loop: target -> target (reads current value before update)
+     * - CONTAINS edge: SCOPE -> UPDATE_EXPRESSION
+     *
+     * REG-288: Initial implementation for IDENTIFIER targets
+     * REG-312: Extended for MEMBER_EXPRESSION targets
+     */
+    bufferUpdateExpressionEdges(updateExpressions, variableDeclarations, parameters, classDeclarations) {
+        // Build lookup caches: O(n) instead of O(n*m)
+        const varLookup = new Map();
+        for (const v of variableDeclarations) {
+            varLookup.set(`${v.file}:${v.name}`, v);
+        }
+        const paramLookup = new Map();
+        for (const p of parameters) {
+            paramLookup.set(`${p.file}:${p.name}`, p);
+        }
+        for (const update of updateExpressions) {
+            if (update.targetType === 'IDENTIFIER') {
+                // REG-288: Simple identifier (i++, --count)
+                this.bufferIdentifierUpdate(update, varLookup, paramLookup);
+            }
+            else if (update.targetType === 'MEMBER_EXPRESSION') {
+                // REG-312: Member expression (obj.prop++, arr[i]++)
+                this.bufferMemberExpressionUpdate(update, varLookup, paramLookup, classDeclarations);
+            }
+        }
+    }
+    /**
+     * Buffer UPDATE_EXPRESSION node and edges for simple identifier updates (i++, --count)
+     * REG-288: Original implementation extracted for clarity
+     */
+    bufferIdentifierUpdate(update, varLookup, paramLookup) {
+        const { variableName, operator, prefix, file, line, column, parentScopeId } = update;
+        if (!variableName)
+            return;
+        // Find target variable node
+        const targetVar = varLookup.get(`${file}:${variableName}`);
+        const targetParam = !targetVar ? paramLookup.get(`${file}:${variableName}`) : null;
+        const targetNodeId = targetVar?.id ?? targetParam?.id;
+        if (!targetNodeId) {
+            // Variable not found - could be module-level or external reference
+            return;
+        }
+        // Create UPDATE_EXPRESSION node
+        const updateId = `${file}:UPDATE_EXPRESSION:${operator}:${line}:${column}`;
+        this.ctx.bufferNode({
+            type: 'UPDATE_EXPRESSION',
+            id: updateId,
+            name: `${prefix ? operator : ''}${variableName}${prefix ? '' : operator}`,
+            targetType: 'IDENTIFIER',
+            operator,
+            prefix,
+            variableName,
+            file,
+            line,
+            column
+        });
+        // Create READS_FROM self-loop
+        this.ctx.bufferEdge({
+            type: 'READS_FROM',
+            src: targetNodeId,
+            dst: targetNodeId
+        });
+        // Create MODIFIES edge
+        this.ctx.bufferEdge({
+            type: 'MODIFIES',
+            src: updateId,
+            dst: targetNodeId
+        });
+        // Create CONTAINS edge
+        if (parentScopeId) {
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: parentScopeId,
+                dst: updateId
+            });
+        }
+    }
+    /**
+     * Buffer UPDATE_EXPRESSION node and edges for member expression updates (obj.prop++, arr[i]++)
+     * REG-312: New implementation for member expression targets
+     *
+     * Creates:
+     * - UPDATE_EXPRESSION node with member expression metadata
+     * - MODIFIES edge: UPDATE_EXPRESSION -> VARIABLE(object) or CLASS (for this.prop++)
+     * - READS_FROM self-loop: VARIABLE(object) -> VARIABLE(object)
+     * - CONTAINS edge: SCOPE -> UPDATE_EXPRESSION
+     */
+    bufferMemberExpressionUpdate(update, varLookup, paramLookup, classDeclarations) {
+        const { objectName, propertyName, mutationType, computedPropertyVar, enclosingClassName, operator, prefix, file, line, column, parentScopeId } = update;
+        if (!objectName || !propertyName)
+            return;
+        // Find target object node
+        let objectNodeId = null;
+        if (objectName !== 'this') {
+            // Regular object: obj.prop++, arr[i]++
+            const targetVar = varLookup.get(`${file}:${objectName}`);
+            const targetParam = !targetVar ? paramLookup.get(`${file}:${objectName}`) : null;
+            objectNodeId = targetVar?.id ?? targetParam?.id ?? null;
+        }
+        else {
+            // this.prop++ - follow REG-152 pattern from bufferObjectMutationEdges
+            if (!enclosingClassName)
+                return;
+            const fileBasename = basename(file);
+            const classDecl = classDeclarations.find(c => c.name === enclosingClassName && c.file === fileBasename);
+            objectNodeId = classDecl?.id ?? null;
+        }
+        if (!objectNodeId) {
+            // Object not found - external reference or scope issue
+            return;
+        }
+        // Create UPDATE_EXPRESSION node
+        const updateId = `${file}:UPDATE_EXPRESSION:${operator}:${line}:${column}`;
+        // Display name: "obj.prop++" or "this.count++" or "arr[i]++"
+        const displayName = (() => {
+            const opStr = prefix ? operator : '';
+            const postOpStr = prefix ? '' : operator;
+            if (objectName === 'this') {
+                return `${opStr}this.${propertyName}${postOpStr}`;
+            }
+            if (mutationType === 'computed') {
+                const computedPart = computedPropertyVar || '?';
+                return `${opStr}${objectName}[${computedPart}]${postOpStr}`;
+            }
+            return `${opStr}${objectName}.${propertyName}${postOpStr}`;
+        })();
+        this.ctx.bufferNode({
+            type: 'UPDATE_EXPRESSION',
+            id: updateId,
+            name: displayName,
+            targetType: 'MEMBER_EXPRESSION',
+            operator,
+            prefix,
+            objectName,
+            propertyName,
+            mutationType,
+            computedPropertyVar,
+            enclosingClassName,
+            file,
+            line,
+            column
+        });
+        // Create READS_FROM self-loop (object reads from itself)
+        this.ctx.bufferEdge({
+            type: 'READS_FROM',
+            src: objectNodeId,
+            dst: objectNodeId
+        });
+        // Create MODIFIES edge (UPDATE_EXPRESSION modifies object)
+        this.ctx.bufferEdge({
+            type: 'MODIFIES',
+            src: updateId,
+            dst: objectNodeId
+        });
+        // Create CONTAINS edge
+        if (parentScopeId) {
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: parentScopeId,
+                dst: updateId
+            });
+        }
+    }
+}
+//# sourceMappingURL=UpdateExpressionBuilder.js.map

package/dist/plugins/analysis/ast/builders/UpdateExpressionBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UpdateExpressionBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/UpdateExpressionBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAYhC,MAAM,OAAO,uBAAuB;IACd;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,oBAAoB,EACpB,iBAAiB,GAAG,EAAE,EACtB,UAAU,GAAG,EAAE,EACf,iBAAiB,GAAG,EAAE,GACvB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,2BAA2B,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAC3G,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACK,2BAA2B,CACjC,iBAAyC,EACzC,oBAA+C,EAC/C,UAA2B,EAC3B,iBAAyC;QAEzC,8CAA8C;QAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACvC,4CAA4C;gBAC5C,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAC9D,CAAC;iBAAM,IAAI,MAAM,CAAC,UAAU,KAAK,mBAAmB,EAAE,CAAC;gBACrD,oDAAoD;gBACpD,IAAI,CAAC,4BAA4B,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,sBAAsB,CAC5B,MAA4B,EAC5B,SAA+C,EAC/C,WAAuC;QAEvC,MAAM,EACJ,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,aAAa,EACd,GAAG,MAAM,CAAC;QAEX,IAAI,CAAC,YAAY;YAAE,OAAO;QAE1B,4BAA4B;QAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,YAAY,EAAE,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,MAAM,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,CAAC;QAEtD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,mEAAmE;YACnE,OAAO;QACT,CAAC;QAED,gCAAgC;QAChC,MAAM,QAAQ,GAAG,GAAG,IAAI,sBAAsB,QAAQ,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QAE3E,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,mBAAmB;YACzB,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;YACzE,UAAU,EAAE,YAAY;YACxB,QAAQ;YACR,MAAM;YACN,YAAY;YACZ,IAAI;YACJ,IAAI;YACJ,MAAM;SACM,CAAC,CAAC;QAEhB,8BAA8B;QAC9B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,YAAY;YACjB,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,uBAAuB;QACvB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,QAAQ;YACb,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,uBAAuB;QACvB,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,aAAa;gBAClB,GAAG,EAAE,QAAQ;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;;;;;;;;OASG;IACK,4BAA4B,CAClC,MAA4B,EAC5B,SAA+C,EAC/C,WAAuC,EACvC,iBAAyC;QAEzC,MAAM,EACJ,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,EAClB,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,aAAa,EACd,GAAG,MAAM,CAAC;QAEX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY;YAAE,OAAO;QAEzC,0BAA0B;QAC1B,IAAI,YAAY,GAAkB,IAAI,CAAC;QAEvC,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YAC1B,uCAAuC;YACvC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,UAAU,EAAE,CAAC,CAAC;YACzD,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjF,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,sEAAsE;YACtE,IAAI,CAAC,kBAAkB;gBAAE,OAAO;YAEhC,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACzD,CAAC;YACF,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,IAAI,CAAC;QACvC,CAAC;QAED,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,uDAAuD;YACvD,OAAO;QACT,CAAC;QAED,gCAAgC;QAChC,MAAM,QAAQ,GAAG,GAAG,IAAI,sBAAsB,QAAQ,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QAE3E,6DAA6D;QAC7D,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;YAEzC,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC1B,OAAO,GAAG,KAAK,QAAQ,YAAY,GAAG,SAAS,EAAE,CAAC;YACpD,CAAC;YACD,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;gBAChC,MAAM,YAAY,GAAG,mBAAmB,IAAI,GAAG,CAAC;gBAChD,OAAO,GAAG,KAAK,GAAG,UAAU,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC9D,CAAC;YACD,OAAO,GAAG,KAAK,GAAG,UAAU,IAAI,YAAY,GAAG,SAAS,EAAE,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC;QAEL,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,mBAAmB;YACzB,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,mBAAmB;YAC/B,QAAQ;YACR,MAAM;YACN,UAAU;YACV,YAAY;YACZ,YAAY;YACZ,mBAAmB;YACnB,kBAAkB;YAClB,IAAI;YACJ,IAAI;YACJ,MAAM;SACM,CAAC,CAAC;QAEhB,yDAAyD;QACzD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,YAAY;YACjB,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,2DAA2D;QAC3D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,QAAQ;YACb,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,uBAAuB;QACvB,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,aAAa;gBAClB,GAAG,EAAE,QAAQ;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF"}