arkanalyzer 1.0.91 → 1.0.93

package/lib/core/graph/builder/ViewTreeBuilder.js

@@ -52,26 +52,39 @@ const ModelUtils_1 = require("../../common/ModelUtils");
 const Const_1 = require("../../common/Const");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ViewTreeBuilder');
 const COMPONENT_CREATE_FUNCTIONS = new Set([EtsConst_1.COMPONENT_CREATE_FUNCTION, EtsConst_1.COMPONENT_BRANCH_FUNCTION]);
-function backtraceLocalInitValue(value) {
+const BEHAVIOR_PARSER_KEYS = new Set(['tabBar', 'navDestination', 'bindContextMenu', 'bindMenu', 'bindContentCover', 'bindSheet', 'bindPopup']);
+function backtraceLocalInitValue(value, visited = new Set()) {
+    if (visited.has(value)) {
+        return value;
+    }
+    visited.add(value);
     let stmt = value.getDeclaringStmt();
     if (stmt instanceof Stmt_1.ArkAssignStmt) {
         let rightOp = stmt.getRightOp();
         if (rightOp instanceof Local_1.Local) {
-            return backtraceLocalInitValue(rightOp);
+            return backtraceLocalInitValue(rightOp, visited);
         }
         else if (rightOp instanceof Ref_1.ArkArrayRef) {
-            return backtraceLocalInitValue(rightOp.getBase());
+            let base = rightOp.getBase();
+            if (base instanceof Local_1.Local) {
+                return backtraceLocalInitValue(base, visited);
+            }
+            return rightOp;
         }
         return rightOp;
     }
     return value;
 }
-function parseObjectLiteral(objectLiteralCls, scene) {
+function parseObjectLiteral(objectLiteralCls, scene, visited = new Set()) {
     let map = new Map();
-    if ((objectLiteralCls === null || objectLiteralCls === void 0 ? void 0 : objectLiteralCls.getCategory()) !== ArkClass_1.ClassCategory.OBJECT) {
+    if (!objectLiteralCls || objectLiteralCls.getCategory() !== ArkClass_1.ClassCategory.OBJECT) {
         return map;
     }
-    objectLiteralCls === null || objectLiteralCls === void 0 ? void 0 : objectLiteralCls.getFields().forEach(field => {
+    if (visited.has(objectLiteralCls)) {
+        return map;
+    }
+    visited.add(objectLiteralCls);
+    objectLiteralCls.getFields().forEach(field => {
         let stmts = field.getInitializer();
         if (stmts.length === 0) {
             return;
@@ -87,7 +100,7 @@ function parseObjectLiteral(objectLiteralCls, scene) {
         map.set(field, value);
         if (value instanceof Expr_1.ArkNewExpr) {
             let subCls = ModelUtils_1.ModelUtils.getArkClassInBuild(scene, value.getClassType());
-            let childMap = parseObjectLiteral(subCls, scene);
+            let childMap = parseObjectLiteral(subCls, scene, visited);
             if (childMap) {
                 map.set(field, childMap);
             }
@@ -97,30 +110,79 @@ function parseObjectLiteral(objectLiteralCls, scene) {
 }
 class StateValuesUtils {
     constructor(declaringArkClass) {
+        this.stmtStateCache = new Map();
+        // Instance-level recursion guards — detect cycles within a single synchronous build.
+        // Unlike the original per-call-chain `visitor` parameter, these are instance state, so they
+        // assume single-threaded execution. If async/parallel builds are introduced in the future,
+        // these must be replaced with per-call-chain visitors to avoid false-positive cycle detection.
+        this.computingStmts = new Set();
+        this.computingMethods = new Set();
+        this.methodStateCache = new Map();
         this.declaringArkClass = declaringArkClass;
     }
     static getInstance(declaringArkClass) {
-        return new StateValuesUtils(declaringArkClass);
+        let inst = StateValuesUtils.cache.get(declaringArkClass);
+        if (!inst) {
+            inst = new StateValuesUtils(declaringArkClass);
+            StateValuesUtils.cache.set(declaringArkClass, inst);
+        }
+        if (StateValuesUtils.activeBuildCount > 0) {
+            StateValuesUtils.usedInstances.add(inst);
+        }
+        return inst;
+    }
+    static beginBuild() {
+        StateValuesUtils.activeBuildCount++;
+    }
+    static endBuild() {
+        StateValuesUtils.activeBuildCount--;
+        if (StateValuesUtils.activeBuildCount === 0) {
+            for (const inst of StateValuesUtils.usedInstances) {
+                inst.stmtStateCache.clear();
+                inst.methodStateCache.clear();
+            }
+            StateValuesUtils.usedInstances.clear();
+        }
     }
-    parseStmtUsesStateValues(stmt, uses = new Set(), wholeMethod = false, visitor = new Set()) {
-        if (visitor.has(stmt)) {
+    parseStmtUsesStateValues(stmt, uses = new Set(), wholeMethod = false) {
+        const isCacheable = !wholeMethod;
+        if (isCacheable) {
+            const cached = this.stmtStateCache.get(stmt);
+            if (cached) {
+                for (const f of cached) {
+                    uses.add(f);
+                }
+                return uses;
+            }
+        }
+        if (this.computingStmts.has(stmt)) {
             return uses;
         }
-        visitor.add(stmt);
-        let values = stmt.getUses();
-        if (stmt instanceof Stmt_1.ArkAssignStmt) {
-            values.push(stmt.getLeftOp());
+        this.computingStmts.add(stmt);
+        const targetUses = isCacheable ? new Set() : uses;
+        try {
+            let values = stmt.getUses();
+            if (stmt instanceof Stmt_1.ArkAssignStmt) {
+                values.push(stmt.getLeftOp());
+            }
+            for (const v of values) {
+                this.parseValueUsesStateValues(v, targetUses, wholeMethod);
+            }
         }
-        for (const v of values) {
-            this.parseValueUsesStateValues(v, uses, wholeMethod, visitor);
+        finally {
+            this.computingStmts.delete(stmt);
+        }
+        if (isCacheable) {
+            this.stmtStateCache.set(stmt, targetUses);
+            for (const f of targetUses) {
+                uses.add(f);
+            }
         }
         return uses;
     }
     objectLiteralMapUsedStateValues(uses, map) {
         for (const [_, value] of map) {
             if (value instanceof Ref_1.ArkInstanceFieldRef) {
-                // Field ref may come from intermediate objects (e.g. this.lastAppInfo?.message),
-                // ensure we trace its base to catch state-field origins.
                 this.parseValueUsesStateValues(value.getBase(), uses);
                 let srcField = this.declaringArkClass.getFieldWithName(value.getFieldName());
                 let decorators = srcField === null || srcField === void 0 ? void 0 : srcField.getStateDecorators();
@@ -145,16 +207,51 @@ class StateValuesUtils {
             return uses;
         }
         let cls = ModelUtils_1.ModelUtils.getArkClassInBuild(this.declaringArkClass.getDeclaringArkFile().getScene(), type);
-        let map = parseObjectLiteral(cls, this.declaringArkClass.getDeclaringArkFile().getScene());
+        let map = this.getObjectLiteralMap(cls);
         this.objectLiteralMapUsedStateValues(uses, map);
         return uses;
     }
-    parseMethodUsesStateValues(methodSignature, uses, visitor = new Set()) {
-        var _a;
-        if (visitor.has(methodSignature)) {
+    static getCachedObjectLiteral(cls, scene) {
+        if (!cls || cls.getCategory() !== ArkClass_1.ClassCategory.OBJECT) {
+            return new Map();
+        }
+        let cached = StateValuesUtils.objectLiteralCache.get(cls);
+        if (cached) {
+            return cached;
+        }
+        let map = parseObjectLiteral(cls, scene);
+        StateValuesUtils.objectLiteralCache.set(cls, map);
+        return map;
+    }
+    getObjectLiteralMap(cls) {
+        return StateValuesUtils.getCachedObjectLiteral(cls, this.declaringArkClass.getDeclaringArkFile().getScene());
+    }
+    parseMethodUsesStateValues(methodSignature, uses) {
+        const cached = this.methodStateCache.get(methodSignature);
+        if (cached) {
+            for (const f of cached) {
+                uses.add(f);
+            }
+            return;
+        }
+        if (this.computingMethods.has(methodSignature)) {
             return;
         }
-        visitor.add(methodSignature);
+        this.computingMethods.add(methodSignature);
+        const targetUses = new Set();
+        try {
+            this.collectMethodStateValues(methodSignature, targetUses);
+        }
+        finally {
+            this.computingMethods.delete(methodSignature);
+        }
+        this.methodStateCache.set(methodSignature, targetUses);
+        for (const f of targetUses) {
+            uses.add(f);
+        }
+    }
+    collectMethodStateValues(methodSignature, targetUses) {
+        var _a;
         let method = this.declaringArkClass.getDeclaringArkFile().getScene().getMethod(methodSignature);
         if (!method) {
             return;
@@ -164,10 +261,10 @@ class StateValuesUtils {
             return;
         }
         for (const stmt of stmts) {
-            this.parseStmtUsesStateValues(stmt, uses, true, visitor);
+            this.parseStmtUsesStateValues(stmt, targetUses, true);
         }
     }
-    parseValueUsesStateValues(v, uses = new Set(), wholeMethod = false, visitor = new Set()) {
+    parseValueUsesStateValues(v, uses = new Set(), wholeMethod = false) {
         if (v instanceof Ref_1.ArkInstanceFieldRef) {
             let field = this.declaringArkClass.getField(v.getFieldSignature());
             let decorators = field === null || field === void 0 ? void 0 : field.getStateDecorators();
@@ -176,49 +273,59 @@ class StateValuesUtils {
             }
         }
         else if (v instanceof Ref_1.ArkArrayRef) {
-            this.parseValueUsesStateValues(v.getBase(), uses, wholeMethod, visitor);
-            this.parseValueUsesStateValues(v.getIndex(), uses, wholeMethod, visitor);
+            this.parseValueUsesStateValues(v.getBase(), uses, wholeMethod);
+            this.parseValueUsesStateValues(v.getIndex(), uses, wholeMethod);
         }
         else if (v instanceof Expr_1.ArkInstanceInvokeExpr) {
-            this.parseValueUsesStateValues(v.getBase(), uses, wholeMethod, visitor);
+            this.parseValueUsesStateValues(v.getBase(), uses, wholeMethod);
             for (const arg of v.getArgs()) {
-                this.parseValueUsesStateValues(arg, uses, wholeMethod, visitor);
+                this.parseValueUsesStateValues(arg, uses, wholeMethod);
             }
-            this.parseMethodUsesStateValues(v.getMethodSignature(), uses, visitor);
+            this.parseMethodUsesStateValues(v.getMethodSignature(), uses);
         }
         else if (v instanceof Expr_1.ArkStaticInvokeExpr) {
             for (const arg of v.getArgs()) {
-                this.parseValueUsesStateValues(arg, uses, wholeMethod, visitor);
+                this.parseValueUsesStateValues(arg, uses, wholeMethod);
             }
         }
         else if (v instanceof Expr_1.ArkPtrInvokeExpr) {
-            this.parseValueUsesStateValues(v.getFuncPtrLocal(), uses, wholeMethod, visitor);
+            this.parseValueUsesStateValues(v.getFuncPtrLocal(), uses, wholeMethod);
             for (const arg of v.getArgs()) {
-                this.parseValueUsesStateValues(arg, uses, wholeMethod, visitor);
+                this.parseValueUsesStateValues(arg, uses, wholeMethod);
             }
         }
         else if (v instanceof Expr_1.ArkNormalBinopExpr || v instanceof Expr_1.ArkConditionExpr) {
-            this.parseValueUsesStateValues(v.getOp1(), uses, wholeMethod, visitor);
-            this.parseValueUsesStateValues(v.getOp2(), uses, wholeMethod, visitor);
+            this.parseValueUsesStateValues(v.getOp1(), uses, wholeMethod);
+            this.parseValueUsesStateValues(v.getOp2(), uses, wholeMethod);
         }
         else if (v instanceof Local_1.Local) {
-            if (v.getName() === 'this') {
-                return uses;
-            }
-            let type = v.getType();
-            if (type instanceof Type_1.FunctionType) {
-                this.parseMethodUsesStateValues(type.getMethodSignature(), uses, visitor);
-                return uses;
-            }
-            this.parseObjectUsedStateValues(type, uses);
-            let declaringStmt = v.getDeclaringStmt();
-            if (!wholeMethod && declaringStmt) {
-                this.parseStmtUsesStateValues(declaringStmt, uses, wholeMethod, visitor);
-            }
+            this.parseLocalUsesStateValues(v, uses, wholeMethod);
         }
         return uses;
     }
+    parseLocalUsesStateValues(v, uses, wholeMethod) {
+        if (v.getName() === 'this') {
+            return;
+        }
+        let type = v.getType();
+        if (type instanceof Type_1.FunctionType) {
+            this.parseMethodUsesStateValues(type.getMethodSignature(), uses);
+            return;
+        }
+        this.parseObjectUsedStateValues(type, uses);
+        let declaringStmt = v.getDeclaringStmt();
+        if (!wholeMethod && declaringStmt) {
+            this.parseStmtUsesStateValues(declaringStmt, uses, wholeMethod);
+        }
+    }
 }
+StateValuesUtils.cache = new WeakMap();
+// ObjectLiteral parse results are deterministic and cached permanently (WeakMap keyed by ArkClass).
+// Not cleared in endBuild() — safe while ArkClass fields are immutable. If incremental
+// builds ever mutate ArkClass fields, this cache must be invalidated accordingly.
+StateValuesUtils.objectLiteralCache = new WeakMap();
+StateValuesUtils.activeBuildCount = 0;
+StateValuesUtils.usedInstances = new Set();
 var ViewTreeNodeType;
 (function (ViewTreeNodeType) {
     ViewTreeNodeType[ViewTreeNodeType["SystemComponent"] = 0] = "SystemComponent";
@@ -303,6 +410,9 @@ class ViewTreeNodeImpl {
         this.type = ViewTreeNodeType.Builder;
         this.signature = builder.getSignature();
         this.classSignature = this.signature;
+        if (ViewTreeImpl.isBuilding(builder.getSignature())) {
+            return;
+        }
         const root = (_a = builder.getViewTree()) === null || _a === void 0 ? void 0 : _a.getRoot();
         if (root) {
             for (let child of root.children) {
@@ -378,7 +488,7 @@ class ViewTreeNodeImpl {
                 }
             }
             let builderNode;
-            if (tree.COMPONENT_BEHAVIOR_PARSERS.has(key) && expr instanceof Expr_1.ArkInstanceInvokeExpr) {
+            if (BEHAVIOR_PARSER_KEYS.has(key) && expr instanceof Expr_1.ArkInstanceInvokeExpr) {
                 let parseFn = tree.COMPONENT_BEHAVIOR_PARSERS.get(key);
                 if (parseFn) {
                     builderNode = parseFn(local2Node, stmt, expr);
@@ -508,28 +618,23 @@ class TreeNodeStack {
     }
 }
 class ViewTreeImpl extends TreeNodeStack {
+    static isBuilding(sig) {
+        return ViewTreeImpl.buildingTrees.has(sig);
+    }
+    static beginBatchBuild() {
+        StateValuesUtils.beginBuild();
+    }
+    static endBatchBuild() {
+        StateValuesUtils.endBuild();
+    }
     /**
      * @internal
      */
     constructor(render) {
         super();
-        this.COMPONENT_CREATE_PARSERS = new Map([
-            ['ForEach.create', this.forEachCreationParser.bind(this)],
-            ['LazyForEach.create', this.forEachCreationParser.bind(this)],
-            ['Repeat.create', this.repeatCreationParser.bind(this)],
-            ['View.create', this.viewComponentCreationParser.bind(this)],
-            ['If.branch', this.ifBranchCreationParser.bind(this)],
-            ['WaterFlow.create', this.waterFlowCreationParser.bind(this)],
-        ]);
-        this.COMPONENT_BEHAVIOR_PARSERS = new Map([
-            ['tabBar', this.tabBarComponentParser.bind(this)],
-            ['navDestination', this.navDestinationComponentParser.bind(this)],
-            ['bindContextMenu', this.bindContextMenuComponentParser.bind(this)],
-            ['bindMenu', this.bindContextMenuComponentParser.bind(this)],
-            ['bindContentCover', this.bindContentCoverComponentParser.bind(this)],
-            ['bindSheet', this.bindContentCoverComponentParser.bind(this)],
-            ['bindPopup', this.bindPopupComponentParser.bind(this)],
-        ]);
+        this.containsBuilderParam = false;
+        this._createParsers = null;
+        this._behaviorParsers = null;
         this.render = render;
         this.stateValues = new Map();
         this.fieldTypes = new Map();
@@ -571,15 +676,36 @@ class ViewTreeImpl extends TreeNodeStack {
             return;
         }
         this.buildViewStatus = true;
-        this.loadClasssFieldTypes();
+        let sig;
         if (this.render.hasBuilderDecorator()) {
-            let node = ViewTreeNodeImpl.createBuilderNode();
-            node.signature = this.render.getSignature();
-            node.classSignature = node.signature;
-            this.push(node);
+            sig = this.render.getSignature();
+        }
+        else {
+            sig = this.render.getDeclaringArkClass().getSignature();
+        }
+        if (ViewTreeImpl.buildingTrees.has(sig)) {
+            return;
+        }
+        ViewTreeImpl.buildingTrees.add(sig);
+        StateValuesUtils.beginBuild();
+        try {
+            this.loadClasssFieldTypes();
+            if (this.render.hasBuilderDecorator()) {
+                let node = ViewTreeNodeImpl.createBuilderNode();
+                node.signature = this.render.getSignature();
+                node.classSignature = node.signature;
+                this.push(node);
+            }
+            if (this.render.getCfg()) {
+                this.buildViewTreeFromCfg(this.render.getCfg());
+            }
         }
-        if (this.render.getCfg()) {
-            this.buildViewTreeFromCfg(this.render.getCfg());
+        catch (e) {
+            logger.error(`ViewTree build failed for ${this.render.getSignature().toString()}: ${e instanceof Error ? e.message : String(e)}`);
+        }
+        finally {
+            ViewTreeImpl.buildingTrees.delete(sig);
+            StateValuesUtils.endBuild();
         }
     }
     /**
@@ -592,11 +718,12 @@ class ViewTreeImpl extends TreeNodeStack {
      * @internal
      */
     addStateValue(field, node) {
-        if (!this.stateValues.has(field)) {
-            this.stateValues.set(field, new Set());
+        let nodes = this.stateValues.get(field);
+        if (!nodes) {
+            nodes = new Set();
+            this.stateValues.set(field, nodes);
         }
-        let sets = this.stateValues.get(field);
-        sets === null || sets === void 0 ? void 0 : sets.add(node);
+        nodes.add(node);
     }
     /**
      * @internal
@@ -612,6 +739,7 @@ class ViewTreeImpl extends TreeNodeStack {
                     this.fieldTypes.set(field.getName(), decorators[0]);
                 }
                 else {
+                    // TODO: 存在多个状态装饰器的情况如state和watch
                     this.fieldTypes.set(field.getName(), decorators[0]);
                 }
             }
@@ -701,6 +829,17 @@ class ViewTreeImpl extends TreeNodeStack {
      * @internal
      */
     addBuilderNode(method, shouldPush = true) {
+        let builderSig = method.getSignature();
+        if (ViewTreeImpl.buildingTrees.has(builderSig)) {
+            let node = ViewTreeNodeImpl.createBuilderNode();
+            node.signature = builderSig;
+            node.classSignature = builderSig;
+            if (shouldPush) {
+                this.push(node);
+                this.pop();
+            }
+            return node;
+        }
         let builderViewTree = method.getViewTree();
         if (!builderViewTree || !builderViewTree.getRoot()) {
             logger.error(`ViewTree->addBuilderNode ${method.getSignature().toString()} build viewtree fail.`);
@@ -746,18 +885,30 @@ class ViewTreeImpl extends TreeNodeStack {
             });
         }
         this.push(node);
+        let clsSig = cls.getSignature();
+        if (ViewTreeImpl.buildingTrees.has(clsSig)) {
+            return node;
+        }
         let componentViewTree = cls.getViewTree();
         if (!componentViewTree || !componentViewTree.getRoot()) {
             logger.error(`ViewTree->addCustomComponentNode ${cls.getSignature().toString()} build viewtree fail.`);
             return node;
         }
         let root = componentViewTree.getRoot();
-        if (root.hasBuilderParam()) {
+        if (componentViewTree.containsBuilderParam) {
             root = this.cloneBuilderParamNode(node, root);
         }
         node.children.push(root);
         return node;
     }
+    /** CustomComponent leaf when ArkClass is gone; signature from Scene.customComponentMap. */
+    addCustomComponentStubNode(signature) {
+        const node = ViewTreeNodeImpl.createCustomComponent();
+        node.signature = signature;
+        node.classSignature = signature;
+        this.push(node);
+        return node;
+    }
     cloneBuilderParamNode(node, root) {
         root = root.clone(node);
         if (node.stateValuesTransfer) {
@@ -782,6 +933,7 @@ class ViewTreeImpl extends TreeNodeStack {
     addBuilderParamNode(field) {
         let node = ViewTreeNodeImpl.createBuilderParamNode();
         node.builderParam = field;
+        this.containsBuilderParam = true;
         this.push(node);
         this.pop();
         return node;
@@ -879,15 +1031,16 @@ class ViewTreeImpl extends TreeNodeStack {
     viewComponentCreationParser(name, stmt, expr) {
         let temp = expr.getArg(0);
         let arg;
-        temp.getUsedStmts().forEach(value => {
-            if (value instanceof Stmt_1.ArkAssignStmt && value.getRightOp() instanceof Expr_1.ArkInstanceInvokeExpr) {
-                const rightOp = value.getRightOp();
+        for (const usedStmt of temp.getUsedStmts()) {
+            if (usedStmt instanceof Stmt_1.ArkAssignStmt && usedStmt.getRightOp() instanceof Expr_1.ArkInstanceInvokeExpr) {
+                const rightOp = usedStmt.getRightOp();
                 const methodName = rightOp.getMethodSignature().getMethodSubSignature().getMethodName();
                 if (methodName === 'constructor') {
                     arg = rightOp.getArg(0);
+                    break;
                 }
             }
-        });
+        }
         let builderMethod;
         let builder = expr.getArg(1);
         if (builder) {
@@ -916,9 +1069,12 @@ class ViewTreeImpl extends TreeNodeStack {
             if (cls && cls.hasComponentDecorator()) {
                 return this.addCustomComponentNode(cls, arg, builderMethod);
             }
-            else {
-                logger.error(`ViewTree->viewComponentCreationParser not found class ${clsSignature.toString()}. ${stmt.toString()}`);
+            // Providing module IR may be gone — look up custom component table.
+            const stubSig = this.render.getDeclaringArkFile().getScene().getCustomComponent(clsSignature.getClassName());
+            if (stubSig) {
+                return this.addCustomComponentStubNode(stubSig);
             }
+            logger.error(`ViewTree->viewComponentCreationParser not found class ${clsSignature.toString()}. ${stmt.toString()}`);
         }
         return undefined;
     }
@@ -980,6 +1136,33 @@ class ViewTreeImpl extends TreeNodeStack {
         this.popComponentExpect(EtsConst_1.COMPONENT_IF);
         return this.addSystemComponentNode(EtsConst_1.COMPONENT_IF_BRANCH);
     }
+    get COMPONENT_CREATE_PARSERS() {
+        if (!this._createParsers) {
+            this._createParsers = new Map([
+                ['ForEach.create', this.forEachCreationParser.bind(this)],
+                ['LazyForEach.create', this.forEachCreationParser.bind(this)],
+                ['Repeat.create', this.repeatCreationParser.bind(this)],
+                ['View.create', this.viewComponentCreationParser.bind(this)],
+                ['If.branch', this.ifBranchCreationParser.bind(this)],
+                ['WaterFlow.create', this.waterFlowCreationParser.bind(this)],
+            ]);
+        }
+        return this._createParsers;
+    }
+    get COMPONENT_BEHAVIOR_PARSERS() {
+        if (!this._behaviorParsers) {
+            this._behaviorParsers = new Map([
+                ['tabBar', this.tabBarComponentParser.bind(this)],
+                ['navDestination', this.navDestinationComponentParser.bind(this)],
+                ['bindContextMenu', this.bindContextMenuComponentParser.bind(this)],
+                ['bindMenu', this.bindContextMenuComponentParser.bind(this)],
+                ['bindContentCover', this.bindContentCoverComponentParser.bind(this)],
+                ['bindSheet', this.bindContentCoverComponentParser.bind(this)],
+                ['bindPopup', this.bindPopupComponentParser.bind(this)],
+            ]);
+        }
+        return this._behaviorParsers;
+    }
     componentCreateParse(local2Node, componentName, methodName, stmt, expr) {
         let parserFn = this.COMPONENT_CREATE_PARSERS.get(`${componentName}.${methodName}`);
         if (parserFn) {
@@ -1021,9 +1204,10 @@ class ViewTreeImpl extends TreeNodeStack {
     }
     /**
      * $temp4.margin({ top: 20 });
-     * @param viewTree
      * @param local2Node
+     * @param stmt
      * @param expr
+     * @param shouldPush
      */
     parseInstanceInvokeExpr(local2Node, stmt, expr, shouldPush = true) {
         let temp = expr.getBase();
@@ -1266,7 +1450,7 @@ class ViewTreeImpl extends TreeNodeStack {
         if (!field) {
             return undefined;
         }
-        const map = parseObjectLiteral(cls, this.getDeclaringArkClass().getDeclaringArkFile().getScene());
+        const map = StateValuesUtils.getCachedObjectLiteral(cls, this.getDeclaringArkClass().getDeclaringArkFile().getScene());
         const builderValue = map.get(field);
         if (!(builderValue instanceof Ref_1.ArkInstanceFieldRef)) {
             return undefined;
@@ -1285,6 +1469,7 @@ class ViewTreeImpl extends TreeNodeStack {
     }
 }
 exports.ViewTreeImpl = ViewTreeImpl;
+ViewTreeImpl.buildingTrees = new Set();
 function buildViewTree(render) {
     return new ViewTreeImpl(render);
 }

package/lib/core/model/ArkModule.d.ts

@@ -8,20 +8,17 @@ export type ModuleID = number;
 /**
  * Lifecycle state of an {@link ArkModule}. Stored in the low 3 bits of {@link ArkModule.tags}.
  *
- * The states form an incremental progression: each state is a superset of the previous one,
- * matching the {@link ModuleDepthLevel} data depth levels.
+ * Progression: NOT_LOADED → INDEX → SIGNATURES → BODIES.
+ * INDEX is downgrade-only (hollow export-reachable IR); never a direct loadModule target.
  */
 export declare enum ModuleLoadState {
-    /** No data loaded yet. */
     NOT_LOADED = 0,
-    /** Module metadata + dependency topology + ArkFile path-only basic info. */
-    META = 1,
-    /** META + export/import info for all ArkFiles + intra-module file dependencies. */
-    IMPORTS = 2,
-    /** IMPORTS + ArkFile content excluding method bodies (namespaces, classes, signatures). */
-    SIGNATURES = 3,
+    /** Hollow export-reachable ArkFile IR (bodies/AST stripped, non-exports pruned). */
+    INDEX = 1,
+    /** Classes/method signatures without method bodies. */
+    SIGNATURES = 2,
     /** SIGNATURES + method bodies (ArkBody, CFG, Stmt/Expr). */
-    BODIES = 4
+    BODIES = 3
 }
 /**
  * Category of an {@link ArkModule}. Stored in bits 3-4 of {@link ArkModule.tags}.
@@ -63,8 +60,8 @@ export declare class ArkModule {
      */
     private unresolvedDependencies;
     /**
-     * Intra-module file dependency graph, built during file dependency analysis
-     * (IMPORTS level). Undefined until {@link analyzeFileDependencies} has run.
+     * Intra-module file dependency graph, built during import/export analysis on the
+     * way to SIGNATURES. Undefined until {@link analyzeFileDependencies} has run.
      */
     private fileDepGraph?;
     /**

package/lib/core/model/ArkModule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkModule.d.ts","sourceRoot":"","sources":["../../../src/core/model/ArkModule.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAE9B;;;;;GAKG;AACH,oBAAY,eAAe;IACvB,0BAA0B;IAC1B,UAAU,IAAI;IACd,4EAA4E;IAC5E,IAAI,IAAI;IACR,mFAAmF;IACnF,OAAO,IAAI;IACX,2FAA2F;IAC3F,UAAU,IAAI;IACd,4DAA4D;IAC5D,MAAM,IAAI;CACb;AAED;;GAEG;AACH,oBAAY,UAAU;IAClB,gEAAgE;IAChE,OAAO,IAAI;IACX,kFAAkF;IAClF,GAAG,IAAI;IACP,sDAAsD;IACtD,UAAU,IAAI;CACjB;AAUD;;;;;;;;;GASG;AACH,qBAAa,SAAS;IAClB,wDAAwD;IACxD,OAAO,CAAC,UAAU,CAAc;IAChC,+EAA+E;IAC/E,OAAO,CAAC,UAAU,CAAc;IAEhC,0CAA0C;IAC1C,OAAO,CAAC,QAAQ,CAAmC;IAEnD;;;;OAIG;IACH,OAAO,CAAC,mBAAmB,CAAoC;IAE/D;;;OAGG;IACH,OAAO,CAAC,sBAAsB,CAAkC;IAEhE;;;OAGG;IACH,OAAO,CAAC,YAAY,CAAC,CAAe;IAEpC;;;OAGG;IACH,OAAO,CAAC,IAAI,CAAa;IAEzB,0CAA0C;IAC1C,OAAO,CAAC,KAAK,CAAQ;gBAET,KAAK,EAAE,KAAK;IAIxB,uDAAuD;IAChD,QAAQ,IAAI,KAAK;IAMxB,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,WAAW;IAMZ,aAAa,IAAI,MAAM;IAIvB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAIvC,aAAa,IAAI,MAAM;IAIvB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAIvC,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;IAInC,YAAY,IAAI,eAAe;IAI/B,YAAY,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI;IAI1C,aAAa,IAAI,UAAU;IAI3B,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAM5C;;;;OAIG;IACI,eAAe,IAAI,SAAS,EAAE;IAoBrC;;;;OAIG;IACI,aAAa,IAAI,SAAS,EAAE;IAsBnC;;;;OAIG;IACI,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI;IAI/D;;OAEG;IACI,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAI3D,sBAAsB,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;IAM/C,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAI3D,yBAAyB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAMvD,4EAA4E;IACrE,eAAe,IAAI,YAAY,GAAG,SAAS;IAI3C,eAAe,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI;IAI7D,yEAAyE;IAClE,gBAAgB,IAAI,OAAO;IAM3B,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAI/B,aAAa,IAAI,IAAI;IAM5B;;;OAGG;IACI,YAAY,IAAI,MAAM;IAI7B;;;OAGG;IACI,gBAAgB,IAAI;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE;CAOtD"}
+{"version":3,"file":"ArkModule.d.ts","sourceRoot":"","sources":["../../../src/core/model/ArkModule.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAE9B;;;;;GAKG;AACH,oBAAY,eAAe;IACvB,UAAU,IAAI;IACd,oFAAoF;IACpF,KAAK,IAAI;IACT,uDAAuD;IACvD,UAAU,IAAI;IACd,4DAA4D;IAC5D,MAAM,IAAI;CACb;AAED;;GAEG;AACH,oBAAY,UAAU;IAClB,gEAAgE;IAChE,OAAO,IAAI;IACX,kFAAkF;IAClF,GAAG,IAAI;IACP,sDAAsD;IACtD,UAAU,IAAI;CACjB;AAUD;;;;;;;;;GASG;AACH,qBAAa,SAAS;IAClB,wDAAwD;IACxD,OAAO,CAAC,UAAU,CAAc;IAChC,+EAA+E;IAC/E,OAAO,CAAC,UAAU,CAAc;IAEhC,0CAA0C;IAC1C,OAAO,CAAC,QAAQ,CAAmC;IAEnD;;;;OAIG;IACH,OAAO,CAAC,mBAAmB,CAAoC;IAE/D;;;OAGG;IACH,OAAO,CAAC,sBAAsB,CAAkC;IAEhE;;;OAGG;IACH,OAAO,CAAC,YAAY,CAAC,CAAe;IAEpC;;;OAGG;IACH,OAAO,CAAC,IAAI,CAAa;IAEzB,0CAA0C;IAC1C,OAAO,CAAC,KAAK,CAAQ;gBAET,KAAK,EAAE,KAAK;IAIxB,uDAAuD;IAChD,QAAQ,IAAI,KAAK;IAMxB,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,WAAW;IAMZ,aAAa,IAAI,MAAM;IAIvB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAIvC,aAAa,IAAI,MAAM;IAIvB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAIvC,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;IAInC,YAAY,IAAI,eAAe;IAI/B,YAAY,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI;IAI1C,aAAa,IAAI,UAAU;IAI3B,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAM5C;;;;OAIG;IACI,eAAe,IAAI,SAAS,EAAE;IAoBrC;;;;OAIG;IACI,aAAa,IAAI,SAAS,EAAE;IAsBnC;;;;OAIG;IACI,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI;IAI/D;;OAEG;IACI,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS;IAI3D,sBAAsB,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;IAM/C,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAI3D,yBAAyB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAMvD,4EAA4E;IACrE,eAAe,IAAI,YAAY,GAAG,SAAS;IAI3C,eAAe,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,GAAG,IAAI;IAI7D,yEAAyE;IAClE,gBAAgB,IAAI,OAAO;IAM3B,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAI/B,aAAa,IAAI,IAAI;IAM5B;;;OAGG;IACI,YAAY,IAAI,MAAM;IAI7B;;;OAGG;IACI,gBAAgB,IAAI;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE;CAOtD"}

package/lib/core/model/ArkModule.js

@@ -24,21 +24,18 @@ const json5parser_1 = require("../../utils/json5parser");
 /**
  * Lifecycle state of an {@link ArkModule}. Stored in the low 3 bits of {@link ArkModule.tags}.
  *
- * The states form an incremental progression: each state is a superset of the previous one,
- * matching the {@link ModuleDepthLevel} data depth levels.
+ * Progression: NOT_LOADED → INDEX → SIGNATURES → BODIES.
+ * INDEX is downgrade-only (hollow export-reachable IR); never a direct loadModule target.
  */
 var ModuleLoadState;
 (function (ModuleLoadState) {
-    /** No data loaded yet. */
     ModuleLoadState[ModuleLoadState["NOT_LOADED"] = 0] = "NOT_LOADED";
-    /** Module metadata + dependency topology + ArkFile path-only basic info. */
-    ModuleLoadState[ModuleLoadState["META"] = 1] = "META";
-    /** META + export/import info for all ArkFiles + intra-module file dependencies. */
-    ModuleLoadState[ModuleLoadState["IMPORTS"] = 2] = "IMPORTS";
-    /** IMPORTS + ArkFile content excluding method bodies (namespaces, classes, signatures). */
-    ModuleLoadState[ModuleLoadState["SIGNATURES"] = 3] = "SIGNATURES";
+    /** Hollow export-reachable ArkFile IR (bodies/AST stripped, non-exports pruned). */
+    ModuleLoadState[ModuleLoadState["INDEX"] = 1] = "INDEX";
+    /** Classes/method signatures without method bodies. */
+    ModuleLoadState[ModuleLoadState["SIGNATURES"] = 2] = "SIGNATURES";
     /** SIGNATURES + method bodies (ArkBody, CFG, Stmt/Expr). */
-    ModuleLoadState[ModuleLoadState["BODIES"] = 4] = "BODIES";
+    ModuleLoadState[ModuleLoadState["BODIES"] = 3] = "BODIES";
 })(ModuleLoadState = exports.ModuleLoadState || (exports.ModuleLoadState = {}));
 /**
  * Category of an {@link ArkModule}. Stored in bits 3-4 of {@link ArkModule.tags}.