arkanalyzer 1.0.94 → 2.0.0-beta1

package/lib/frontend/cppFrontend/common/ArkValueTransformer.js

@@ -204,15 +204,15 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      *     struct Point q = (struct Point){.x = 5, .y = 8, .name = 'c'};
      *     int* arr = (int[5]){1, 2, 3, 4, 5};
      *     the right value is {},its kind is CompoundLiteralExpr or InitListExpr
-    */
+     */
     cxxAggregateToValueAndStmts(aggregate) {
         var _a, _b;
         const stmts = [];
         const type = (0, builderUtils_1.cxxNode2Type)(aggregate, this.declaringMethod);
         const typeName = (_b = (_a = aggregate.type) === null || _a === void 0 ? void 0 : _a.qualType) !== null && _b !== void 0 ? _b : 'unknown';
-        const classSignature = type instanceof Type_1.ClassType ?
-            type.getClassSignature() :
-            ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(typeName);
+        // getClassSignature() (not getClassSigID()): the class may still be unclear and live in
+        // the temp canonicalizer; the object overload interns it properly.
+        const classSignature = type instanceof Type_1.ClassType ? type.getClassSignature() : ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(typeName);
         const list = aggregate.kind === ArkCxxAstNode_1.AstKind.InitListExpr ? aggregate : aggregate.inner[aggregate.inner.length - 1];
         const elements = [];
         if (list.kind !== ArkCxxAstNode_1.AstKind.InitListExpr) {
@@ -263,7 +263,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     isNodeRelatedToImplicitNode(node) {
         var _a, _b;
         if (node.inner) {
-            return (((_b = (_a = node.inner) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && (node.name === '__tree_const_iterator'));
+            return ((_b = (_a = node.inner) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && node.name === '__tree_const_iterator';
         }
         return false;
     }
@@ -275,7 +275,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     // Check if the child nodes of the current node are member function calls
     isNodeRelatedToCXXMember(node) {
         var _a, _b;
-        return ((((_b = (_a = node.inner) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.CXXMemberCallExpr) ||
+        return (((_b = (_a = node.inner) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.CXXMemberCallExpr ||
             (node.inner[0].kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && node.inner[0].inner[0] && node.inner[0].inner[0].kind === ArkCxxAstNode_1.AstKind.CXXMemberCallExpr));
     }
     // Construction of std::pair type
@@ -299,7 +299,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             ArkCxxAstNode_1.AstKind.InitListExpr,
             ArkCxxAstNode_1.AstKind.CompoundLiteralExpr,
             ArkCxxAstNode_1.AstKind.CXXOperatorCallExpr,
-            ArkCxxAstNode_1.AstKind.BinaryOperator
+            ArkCxxAstNode_1.AstKind.BinaryOperator,
         ];
         return (targetKinds.includes(firstChildKind) ||
             (firstChildKind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr &&
@@ -344,7 +344,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         if ((parentNode === null || parentNode === void 0 ? void 0 : parentNode.dtor) === ArkCxxAstNode_1.AstKind.CXXDestructorDecl && node.inner.length > 0) {
             return this.cxxConstructExprToValueAndStmts(node.inner[0]);
         }
-        if (!parentNode || parentNode.kind !== ArkCxxAstNode_1.AstKind.ExprWithCleanups && parentNode.kind !== ArkCxxAstNode_1.AstKind.ReturnStmt) {
+        if (!parentNode || (parentNode.kind !== ArkCxxAstNode_1.AstKind.ExprWithCleanups && parentNode.kind !== ArkCxxAstNode_1.AstKind.ReturnStmt)) {
             return this.unprocessedNodeToValueAndStmts(node);
         }
         return this.cxxConstructExprToValueAndStmts(node);
@@ -359,9 +359,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         var _a, _b;
         if (!this.isPairConstructExpr(node) &&
             (this.isNodeRelatedToCXXLambdaFunc(node) ||
-                (this.isNodeRelatedToMaterializeTemporaryExpr(node) &&
-                    ((0, builderUtils_1.isCxxBasicString)((_a = node.type.desugaredQualType) !== null && _a !== void 0 ? _a : ''))) ||
-                this.isNodeRelatedToImplicitNode(node)) && ((_b = node.inner) === null || _b === void 0 ? void 0 : _b.length) > 0) {
+                (this.isNodeRelatedToMaterializeTemporaryExpr(node) && (0, builderUtils_1.isCxxBasicString)((_a = node.type.desugaredQualType) !== null && _a !== void 0 ? _a : '')) ||
+                this.isNodeRelatedToImplicitNode(node)) &&
+            ((_b = node.inner) === null || _b === void 0 ? void 0 : _b.length) > 0) {
             return this.cxxNodeToValueAndStmts(node.inner[0]);
         }
         return this.cxxNewExpressionToValueAndStmts(node);
@@ -462,8 +462,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             };
         }
         // Handle the invocation of static members of a class, such as A::a
-        if (((_d = node.name) === null || _d === void 0 ? void 0 : _d.includes('::')) && node.inner.length > 0 &&
-            (((_e = node.inner[0]) === null || _e === void 0 ? void 0 : _e.kind) === ArkCxxAstNode_1.AstKind.TypeRef || ((_f = node.inner[0]) === null || _f === void 0 ? void 0 : _f.kind) === ArkCxxAstNode_1.AstKind.NamespaceRef && ((_g = node.inner[0]) === null || _g === void 0 ? void 0 : _g.name) !== Builtin_2.BuiltinCxx.CXXSTD)) {
+        if (((_d = node.name) === null || _d === void 0 ? void 0 : _d.includes('::')) &&
+            node.inner.length > 0 &&
+            (((_e = node.inner[0]) === null || _e === void 0 ? void 0 : _e.kind) === ArkCxxAstNode_1.AstKind.TypeRef || (((_f = node.inner[0]) === null || _f === void 0 ? void 0 : _f.kind) === ArkCxxAstNode_1.AstKind.NamespaceRef && ((_g = node.inner[0]) === null || _g === void 0 ? void 0 : _g.name) !== Builtin_2.BuiltinCxx.CXXSTD))) {
             return this.staticMemberExprToValueAndStmts(node);
         }
         return this.cxxIdentifierToValueAndStmts(node);
@@ -492,8 +493,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         if ((((_b = (_a = node.type) === null || _a === void 0 ? void 0 : _a.qualType) === null || _b === void 0 ? void 0 : _b.includes('[')) && node.type.qualType.includes(']')) || node.type.qualType === 'void') {
             return this.cxxArrayLiteralExpressionToValueAndStmts(node);
         }
-        let pNode = (_e = ((_c = node.parent) !== null && _c !== void 0 ? _c : (_d = node.getParent) === null || _d === void 0 ? void 0 : _d.call(node, true))) !== null && _e !== void 0 ? _e : null;
-        if (pNode && ((_f = pNode === null || pNode === void 0 ? void 0 : pNode.inner) === null || _f === void 0 ? void 0 : _f.length) > 0 &&
+        let pNode = (_e = (_c = node.parent) !== null && _c !== void 0 ? _c : (_d = node.getParent) === null || _d === void 0 ? void 0 : _d.call(node, true)) !== null && _e !== void 0 ? _e : null;
+        if (pNode &&
+            ((_f = pNode === null || pNode === void 0 ? void 0 : pNode.inner) === null || _f === void 0 ? void 0 : _f.length) > 0 &&
             (((_g = pNode.inner[0]) === null || _g === void 0 ? void 0 : _g.kind) === ArkCxxAstNode_1.AstKind.TypeRef || !node.type.qualType.includes('[') || (0, builderUtils_1.cxxNode2Type)(node, this.declaringMethod) instanceof Type_1.ClassType)) {
             try {
                 return this.cxxAggregateToValueAndStmts(node);
@@ -576,9 +578,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const rawArg = userDefinedLiteral.inner[1];
         let argNode = rawArg;
         if (literalStr && rawArg.value) {
-            const bare = rawArg.value.endsWith(literalStr)
-                ? rawArg.value.slice(0, -literalStr.length)
-                : rawArg.value.replace(literalStr, '');
+            const bare = rawArg.value.endsWith(literalStr) ? rawArg.value.slice(0, -literalStr.length) : rawArg.value.replace(literalStr, '');
             argNode = Object.assign(Object.assign({}, rawArg), { value: bare });
         }
         return this.buildValueAndStmtsForMemberCall(stmts, userDefinedLiteral.inner[0], [argNode], userDefinedLiteral, undefined);
@@ -608,7 +608,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // If the kind of firstNode is CXXConstructExpr and firstNode does not correspond to a parent class initialization call,
         // it is equivalent to directly assigning a value to the class member.
         // For example, the constructor of class Circle in file 'tests/cppResources/exports/crossFileCase/include/myHeader.h'.
-        const assignRight = (firstInnerNode.kind === ArkCxxAstNode_1.AstKind.CXXConstructExpr && firstInnerNode.inner.length > 0) ? firstInnerNode.inner[0] : firstInnerNode;
+        const assignRight = firstInnerNode.kind === ArkCxxAstNode_1.AstKind.CXXConstructExpr && firstInnerNode.inner.length > 0 ? firstInnerNode.inner[0] : firstInnerNode;
         const CtorInit2ThisMemberExpr = {
             kind: ArkCxxAstNode_1.AstKind.MemberExpr,
             name: (_b = (_a = cxxCtorInitializer.anyInit) === null || _a === void 0 ? void 0 : _a.name) !== null && _b !== void 0 ? _b : '',
@@ -632,7 +632,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     cxxInheritedCtorInitExprToValueAndStmts(cxxInheritedCtorInitExpr) {
         var _a;
         const cls = this.declaringMethod.getDeclaringArkClass();
-        const clsInitMtd = cls.getInstanceInitMethod();
+        const clsInitMtd = cls.getInstanceInitMethodOrNull();
         if (!clsInitMtd) {
             return this.unprocessedNodeToValueAndStmts(cxxInheritedCtorInitExpr);
         }
@@ -674,7 +674,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         if (!cls) {
             return this.cxxNewExpressionToValueAndStmts(cxxConstructExpr);
         }
-        const clsInitMtd = cls.getInstanceInitMethod();
+        const clsInitMtd = cls.getInstanceInitMethodOrNull();
         if (!clsInitMtd) {
             return this.cxxNewExpressionToValueAndStmts(cxxConstructExpr);
         }
@@ -806,7 +806,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      *@ returns The object containing the converted value and statement array
      */
     cxxDeleteExpressionToValueAndStmts(deleteExpression) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.cxxNodeToValueAndStmts(deleteExpression.inner[0]);
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts } = this.cxxNodeToValueAndStmts(deleteExpression.inner[0]);
         const isArray = (0, cppUtils_1.hasNodeFlag)(deleteExpression, ArkCxxAstNode_1.CxxNodeFlag.Array);
         const deleteExpr = isArray ? new Expr_2.ArkCxxDeleteArrayExpr(exprValue) : new Expr_1.ArkDeleteExpr(exprValue);
         const deleteExprPosition = [Position_1.FullPosition.cxxBuildFromNode(deleteExpression, this.cxxSourceFile), ...exprPositions];
@@ -862,8 +862,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const stmts = [];
         const currConditionalOperatorIndex = this.conditionalOperatorNo++;
         // Peel off 'ImplicitCastExpr'
-        const conditionNode = conditionalExpression.inner[InnerIdx].kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr ?
-            conditionalExpression.inner[InnerIdx].inner[0] : conditionalExpression.inner[InnerIdx];
+        const conditionNode = conditionalExpression.inner[InnerIdx].kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr
+            ? conditionalExpression.inner[InnerIdx].inner[0]
+            : conditionalExpression.inner[InnerIdx];
         let conditionExpr;
         const context = { conditionExpr: conditionExpr };
         const ifStmts = this.ArkCxxIRTransformer.cxxIfStatementToStmts(conditionNode, 0, context);
@@ -893,7 +894,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         stmts.push(new ArkIRTransformer_2.DummyStmt(ArkIRTransformer_1.ArkCxxIRTransformer.DUMMY_CONDITIONAL_OPERATOR_IF_FALSE_STMT + currConditionalOperatorIndex));
         // The last internal node is the value when the expression is false
         InnerIdx = conditionalExpression.inner.length - 1;
-        const { value: whenFalseValue, valueOriginalPositions: whenFalsePositions, stmts: whenFalseStmts } = this.cxxNodeToValueAndStmts(conditionalExpression.inner[InnerIdx]);
+        const { value: whenFalseValue, valueOriginalPositions: whenFalsePositions, stmts: whenFalseStmts, } = this.cxxNodeToValueAndStmts(conditionalExpression.inner[InnerIdx]);
         stmts.push(...whenFalseStmts);
         const assignStmt = new Stmt_1.ArkAssignStmt(resultLocal, whenFalseValue);
         assignStmt.setOperandOriginalPositions([...resultLocalPosition, ...whenFalsePositions]);
@@ -923,8 +924,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 return [undefined, []];
             }
             const call = this.getDeclRef(firstInner);
-            const args = ((_c = (_b = innerAstNodes.inner) === null || _b === void 0 ? void 0 : _b.slice(1)) !== null && _c !== void 0 ? _c : [])
-                .map(n => this.getDeclRef(n));
+            const args = ((_c = (_b = innerAstNodes.inner) === null || _b === void 0 ? void 0 : _b.slice(1)) !== null && _c !== void 0 ? _c : []).map(n => this.getDeclRef(n));
             return [call, args];
         }
         // Several callable kinds
@@ -1000,6 +1000,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const { value: newExprLocal, valueOriginalPositions: newExprPositions, stmts: newExprStmts, } = this.ArkCxxIRTransformer.generateAssignStmtForValue(newExpr, [componentExpressionPosition]);
         stmts.push(...newExprStmts);
         const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
+        // Object path: a stub class signature (unclear) is routed to the temp canonicalizer
+        // inside the constructor — no formal interning without a model.
         const constructorMethodSignature = new ArkSignature_1.MethodSignature(classSignature, constructorMethodSubSignature);
         const instanceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newExprLocal, constructorMethodSignature, args);
         const instanceInvokeExprPositions = [componentExpressionPosition, ...newExprPositions, ...argPositionsAllFlat];
@@ -1055,7 +1057,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 identifierValue = this.addNewLocal(varName, varType);
             }
             else {
-                if ((_a = identifier.name) === null || _a === void 0 ? void 0 : _a.includes('::' + varName + '<')) { // Determine whether it is a variable template
+                if ((_a = identifier.name) === null || _a === void 0 ? void 0 : _a.includes('::' + varName + '<')) {
+                    // Determine whether it is a variable template
                     varName = identifier.name;
                 }
                 identifierValue = this.getOrCreateLocal(varName, varType);
@@ -1088,12 +1091,15 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         // [Scenario 2] Recursively process base object, such as testMap in testMap.insert
         //  Get baseValue (e.g., testMap), position information, and possible preceding statements (e.g., auto tmp = ...;)
-        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts, } = this.cxxNodeToValueAndStmts(memberExpression.inner[0]);
+        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts } = this.cxxNodeToValueAndStmts(memberExpression.inner[0]);
         // [Scenario 3] Processing chained member access, such as a.b.c or (* ptr). field
         // If the base is a member access, generate an assignment statement to ensure the validity of SSA
         if (((_a = memberExpression.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ArkCxxAstNode_1.AstKind.MemberExpr || memberExpression.kind === ArkCxxAstNode_1.AstKind.MemberRef) {
-            ({ value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts } =
-                this.ArkCxxIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
+            ({
+                value: baseValue,
+                valueOriginalPositions: basePositions,
+                stmts: baseStmts,
+            } = this.ArkCxxIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
         }
         // [Scenario 4] On special occasions, the caller directly specifies the baseValue (generally used to replace the base,
         // such as virtual members, generics, etc.)
@@ -1113,7 +1119,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         else {
             fieldRef = new Ref_2.ArkCxxInstanceFieldRef(baseValue, // baseValue（eg: testMap）
             (0, cppUtils_1.hasNodeFlag)(memberExpression, ArkCxxAstNode_1.CxxNodeFlag.Arrow), // Whether it is arrow access (->)
-            fieldSignature);
+            fieldSignature // Field signature (such as insert)
+            );
         }
         // Record node location information for subsequent traceability and debugging
         const fieldRefPositions = [Position_1.FullPosition.cxxBuildFromNode(memberExpression, this.cxxSourceFile), ...basePositions];
@@ -1128,10 +1135,13 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         if (((_b = memberExpression.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.EnumConstantDecl) {
             const enumClassName = memberExpression.type.qualType.replace('enum', '').trim();
             const enumArkClass = ModelUtils_2.CxxModelUtils.findSymbolInFileWithName(enumClassName, this.declaringMethod.getDeclaringArkClass());
-            const enumSignature = (enumArkClass instanceof ArkClass_1.ArkClass) ?
-                enumArkClass.getSignature() :
-                ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(enumClassName);
-            return new ArkSignature_1.FieldSignature(memberName, enumSignature, enumSignature.getType(), true);
+            if (enumArkClass instanceof ArkClass_1.ArkClass) {
+                return new ArkSignature_1.FieldSignature(memberName, enumArkClass.getClassSigID(), enumArkClass.getSignature().getType(), true);
+            }
+            // Object path: the stub enum class signature (unclear) is routed to the temp
+            // canonicalizer inside the constructor — no formal interning without a model.
+            const enumStubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(enumClassName);
+            return new ArkSignature_1.FieldSignature(memberName, enumStubSignature, enumStubSignature.getType(), true);
         }
         // ==Handling common scenarios==
         let baseType = baseValue.getType();
@@ -1155,9 +1165,12 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // Construction field signature
         // If base is a class local variable, use the complete class signature
         if ((baseValue instanceof Local_1.Local || baseValue instanceof Ref_1.ArkArrayRef) && baseClassType !== null) {
+            // getClassSignature() (not getClassSigID()): the class may still be unclear and
+            // live in the temp canonicalizer; the object overload interns it properly.
             fieldSignature = new ArkSignature_1.FieldSignature(memberName, // Field name (such as insert)
             baseClassType.getClassSignature(), // Base class type signature
-            baseType);
+            baseType // baseType as its type
+            );
         }
         else {
             // Otherwise, it is generated only according to the field name
@@ -1175,7 +1188,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      */
     cxxElementAccessExpressionToValueAndStmts(elementAccessExpression) {
         const stmts = [];
-        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts, } = this.cxxNodeToValueAndStmts(elementAccessExpression.inner[0]);
+        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts } = this.cxxNodeToValueAndStmts(elementAccessExpression.inner[0]);
         stmts.push(...baseStmts);
         if (!(baseValue instanceof Local_1.Local)) {
             ({
@@ -1276,9 +1289,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 // If there is no nested CXXOperatorCallExpr, the ValueAndStmts of overloaded stream operators will be built directly
                 return this.buildValueAndStmtsForStreamOrLambdaCall(innerNode.inner[1], callArgus.reverse(), stmts, callExpression);
             }
-            while (innerNode.kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr &&
-                innerNode.valueCategory === ArkCxxAstNode_1.CxxValueCategory.Lvalue &&
-                innerNode.inner.length > 0) {
+            while (innerNode.kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && innerNode.valueCategory === ArkCxxAstNode_1.CxxValueCategory.Lvalue && innerNode.inner.length > 0) {
                 innerNode = innerNode.inner[0];
             }
             if (innerNode.kind === ArkCxxAstNode_1.AstKind.DeclRefExpr &&
@@ -1457,13 +1468,11 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         // Unary operators (++ / --)
         const unaryOpToken = this.getOperatorTokenFromNode(callExpression.inner[0]);
-        if (((_f = callExpression.inner[0]) === null || _f === void 0 ? void 0 : _f.kind) === ArkCxxAstNode_1.AstKind.ImplicitCastExpr &&
-            ['++', '--', '*'].includes(unaryOpToken)) {
+        if (((_f = callExpression.inner[0]) === null || _f === void 0 ? void 0 : _f.kind) === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && ['++', '--', '*'].includes(unaryOpToken)) {
             return this.CXXOperatorExpressionToUnaryOperator(callExpression);
         }
         // Arrow operator (->) in iteration
-        if (((_g = callExpression.inner[0]) === null || _g === void 0 ? void 0 : _g.kind) === ArkCxxAstNode_1.AstKind.ImplicitCastExpr &&
-            unaryOpToken === '->') {
+        if (((_g = callExpression.inner[0]) === null || _g === void 0 ? void 0 : _g.kind) === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && unaryOpToken === '->') {
             return this.cxxNodeToValueAndStmts(callExpression.inner[1]);
         }
         return null;
@@ -1478,7 +1487,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 ArkCxxAstNode_1.AstKind.CXXOperatorCallExpr,
                 ArkCxxAstNode_1.AstKind.MaterializeTemporaryExpr,
                 ArkCxxAstNode_1.AstKind.CXXBindTemporaryExpr,
-                ArkCxxAstNode_1.AstKind.CXXConstructExpr
+                ArkCxxAstNode_1.AstKind.CXXConstructExpr,
             ];
             if (recursiveKinds.includes(innerNode.kind) ||
                 (innerNode.kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && innerNode.castKind !== ArkCxxAstNode_1.AstKind.FunctionToPointerDecay)) {
@@ -1517,9 +1526,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const qualifiedName = (_a = callNode.name) !== null && _a !== void 0 ? _a : '';
         const suffix = '::' + funcName;
         if (qualifiedName.includes('::')) {
-            return qualifiedName.endsWith(suffix)
-                ? qualifiedName.slice(0, -suffix.length)
-                : (_b = qualifiedName.split('::')[0]) !== null && _b !== void 0 ? _b : qualifiedName;
+            return qualifiedName.endsWith(suffix) ? qualifiedName.slice(0, -suffix.length) : ((_b = qualifiedName.split('::')[0]) !== null && _b !== void 0 ? _b : qualifiedName);
         }
         const scopeNode = callNode.inner.find(child => child.kind === ArkCxxAstNode_1.AstKind.NamespaceRef || child.kind === ArkCxxAstNode_1.AstKind.TypeRef);
         return (_c = scopeNode === null || scopeNode === void 0 ? void 0 : scopeNode.name) !== null && _c !== void 0 ? _c : qualifiedName;
@@ -1550,16 +1557,13 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      */
     handleOverloadedOp(cxxOperatorCallExpr) {
         var _a, _b, _c, _d;
-        if (((_a = cxxOperatorCallExpr.type) === null || _a === void 0 ? void 0 : _a.qualType) === '' ||
-            ((_c = (_b = cxxOperatorCallExpr.inner) === null || _b === void 0 ? void 0 : _b[0]) === null || _c === void 0 ? void 0 : _c.castKind) !== ArkCxxAstNode_1.AstKind.FunctionToPointerDecay) {
+        if (((_a = cxxOperatorCallExpr.type) === null || _a === void 0 ? void 0 : _a.qualType) === '' || ((_c = (_b = cxxOperatorCallExpr.inner) === null || _b === void 0 ? void 0 : _b[0]) === null || _c === void 0 ? void 0 : _c.castKind) !== ArkCxxAstNode_1.AstKind.FunctionToPointerDecay) {
             return null;
         }
         // Handling Recursive function, e.g. Case10 in lambdaFuncSample.cpp
         if ((_d = cxxOperatorCallExpr.inner) === null || _d === void 0 ? void 0 : _d[1]) {
             let callNode = cxxOperatorCallExpr.inner[1];
-            while (callNode.kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr &&
-                callNode.valueCategory === ArkCxxAstNode_1.CxxValueCategory.Lvalue &&
-                callNode.inner.length > 0) {
+            while (callNode.kind === ArkCxxAstNode_1.AstKind.ImplicitCastExpr && callNode.valueCategory === ArkCxxAstNode_1.CxxValueCategory.Lvalue && callNode.inner.length > 0) {
                 callNode = callNode.inner[0];
             }
             if (callNode.type.qualType.includes('std::function') || this.isNodeRelatedToCXXLambdaFunc(callNode)) {
@@ -1605,7 +1609,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return null;
         }
         const stmts = [];
-        const { args, argPositions: argPositionsAll, } = this.cxxParseArguments(stmts, cxxOperatorCallExpr.inner.slice(1));
+        const { args, argPositions: argPositionsAll } = this.cxxParseArguments(stmts, cxxOperatorCallExpr.inner.slice(1));
         // The input/output operator must be overloaded as a global function, and the overloaded function only has 2 parameters,
         // because the input/output operator is actually a binary operation: stream (left operand)+object (right operand)
         const defaultClass = this.declaringMethod.getDeclaringArkFile().getDefaultClass();
@@ -1689,7 +1693,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         var _a;
         functionNameNode = functionNameNode !== null && functionNameNode !== void 0 ? functionNameNode : callExpression;
         const stmts = [...currStmts];
-        let { value: callerValue, valueOriginalPositions: callerPositions, stmts: callerStmts, } = this.cxxNodeToValueAndStmts(functionNameNode);
+        let { value: callerValue, valueOriginalPositions: callerPositions, stmts: callerStmts } = this.cxxNodeToValueAndStmts(functionNameNode);
         stmts.push(...callerStmts);
         let invokeValue;
         let invokeValuePositions = [Position_1.FullPosition.cxxBuildFromNode(callExpression, this.cxxSourceFile)];
@@ -1699,7 +1703,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         else if (callerValue instanceof Local_1.Local) {
             const callerName = callerValue.getName();
-            let classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(callerName);
+            let classSignature = new ArkSignature_1.ClassSignature(callerName, this.declaringMethod.getDeclaringArkFileID());
             let cls = ModelUtils_1.ModelUtils.getClass(this.declaringMethod, classSignature);
             const callExprs = [ArkCxxAstNode_1.AstKind.CallExpr, ArkCxxAstNode_1.AstKind.CXXOperatorCallExpr];
             if ((cls === null || cls === void 0 ? void 0 : cls.hasComponentDecorator()) && callExprs.includes(callExpression.kind)) {
@@ -1711,7 +1715,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             }
             const methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(callerName);
             const callerType = callerValue.getType();
-            if (callerType instanceof Type_1.FunctionType || (callerType instanceof Type_2.PointerType && callerType.getBaseType() instanceof Type_1.FunctionType) ||
+            if (callerType instanceof Type_1.FunctionType ||
+                (callerType instanceof Type_2.PointerType && callerType.getBaseType() instanceof Type_1.FunctionType) ||
                 !((_a = this.getGlobals()) === null || _a === void 0 ? void 0 : _a.has(callerName))) {
                 invokeValue = new Expr_1.ArkPtrInvokeExpr(methodSignature, callerValue, args, realGenericTypes);
             }
@@ -1720,10 +1725,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             }
         }
         else {
-            ({
-                value: callerValue,
-                stmts: callerStmts,
-            } = this.ArkCxxIRTransformer.generateAssignStmtForValue(callerValue, callerPositions));
+            ({ value: callerValue, stmts: callerStmts } = this.ArkCxxIRTransformer.generateAssignStmtForValue(callerValue, callerPositions));
             stmts.push(...callerStmts);
             const methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(callerValue.getName());
             invokeValue = new Expr_1.ArkStaticInvokeExpr(methodSignature, args, realGenericTypes);
@@ -1763,7 +1765,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     buildValueAndStmtsForMemberCall(stmts, callerNode, argNodes, callExpression, realGenericTypes, cxxMemberCallExprType) {
         const { args, argPositions: argPositionsAll } = this.cxxParseArguments(stmts, argNodes);
         const argPositionsAllFlat = argPositionsAll.flat();
-        let { value: callerValue, valueOriginalPositions: callerPositions, stmts: callerStmts, } = this.cxxNodeToValueAndStmts(callerNode);
+        let { value: callerValue, valueOriginalPositions: callerPositions, stmts: callerStmts } = this.cxxNodeToValueAndStmts(callerNode);
         stmts.push(...callerStmts);
         let invokeValue;
         let invokeValuePositions = [Position_1.FullPosition.cxxBuildFromNode(callExpression, this.cxxSourceFile)];
@@ -1805,6 +1807,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         let methodSignature;
         const declareSignature = callerValue.getFieldSignature().getDeclaringSignature();
         if (declareSignature instanceof ArkSignature_1.ClassSignature) {
+            // Object path: an unclear declaring signature is routed to the temp canonicalizer
+            // inside the constructor — no formal interning without a model.
             methodSignature = new ArkSignature_1.MethodSignature(declareSignature, ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(callerValue.getFieldName()));
         }
         else {
@@ -1833,7 +1837,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     cxxParseArgumentsOfCallExpression(currStmts, callExpression, callNode) {
         let realGenericTypes = this.getRealGenericTypes(callNode);
         let builderMethodIndexes;
-        const { args: args, argPositions: argPositions, } = this.cxxParseArguments(currStmts, callExpression, builderMethodIndexes);
+        const { args: args, argPositions: argPositions } = this.cxxParseArguments(currStmts, callExpression, builderMethodIndexes);
         return {
             realGenericTypes: realGenericTypes,
             args: args,
@@ -1865,9 +1869,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         if (qualType) {
             return qualType;
         }
-        return (node.type.desugaredQualType && node.type.typeAliasDeclId)
-            ? node.type.desugaredQualType
-            : node.type.qualType;
+        return node.type.desugaredQualType && node.type.typeAliasDeclId ? node.type.desugaredQualType : node.type.qualType;
     }
     /**
      * Splits template arguments by comma, but remains aware of nested brackets
@@ -1911,7 +1913,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                     this.builderMethodContextFlag = true;
                     this.ArkCxxIRTransformer.setBuilderMethodContextFlag(true);
                 }
-                let { value: argValue, valueOriginalPositions: argPositionsSingle, stmts: argStmts, } = this.cxxNodeToValueAndStmts(argument);
+                let { value: argValue, valueOriginalPositions: argPositionsSingle, stmts: argStmts } = this.cxxNodeToValueAndStmts(argument);
                 this.builderMethodContextFlag = prevBuilderMethodContextFlag;
                 this.ArkCxxIRTransformer.setBuilderMethodContextFlag(prevBuilderMethodContextFlag);
                 currStmts.push(...argStmts);
@@ -1931,7 +1933,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     }
     cxxCallableNodeToValueAndStmts(callableNode) {
         const declaringClass = this.declaringMethod.getDeclaringArkClass();
-        const lambdaArkMethod = new ArkMethod_1.ArkMethod();
+        const lambdaArkMethod = new ArkMethod_1.ArkMethod(declaringClass.getClassSigID());
         (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(callableNode, declaringClass, lambdaArkMethod, this.cxxSourceFile, this.declaringMethod);
         const callableType = new Type_1.FunctionType(lambdaArkMethod.getSignature());
         const callableValue = this.addNewLocal(lambdaArkMethod.getName(), callableType);
@@ -1942,7 +1944,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         };
     }
     cxxNewExpressionToValueAndStmts(newExpression) {
-        var _a, _b;
+        var _a, _b, _c;
         let className = this.getNewExpressionClassName(newExpression);
         // Add handling for dynamic array creation: int *arr = new int[10]
         if (className === Builtin_1.Builtin.ARRAY || (0, cppUtils_1.hasNodeFlag)(newExpression, ArkCxxAstNode_1.CxxNodeFlag.Array)) {
@@ -1956,23 +1958,30 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // If the parent node has a namespaceRef or TypeRef, it indicates a constructor call,
         // and should infer the type of the corresponding namespace/class.
         if (parentClassOrNs && parentClassOrNs.length > 0) {
-            refType = (_b = TypeInference_1.TypeInference.inferUnclearRefName(className, this.declaringMethod.getDeclaringArkClass())) !== null && _b !== void 0 ? _b : (0, builderUtils_1.cxxNode2Type)(newExpression, this.declaringMethod.getDeclaringArkClass());
+            refType =
+                (_b = TypeInference_1.TypeInference.inferUnclearRefName(className, this.declaringMethod.getDeclaringArkClass())) !== null && _b !== void 0 ? _b : (0, builderUtils_1.cxxNode2Type)(newExpression, this.declaringMethod.getDeclaringArkClass());
         }
         let classType;
         let classSignature;
-        if (refType instanceof Type_1.ClassType) {
+        // unclear stub 守卫——inferUnclearRefName 兜底会构造 %unk stub ClassType（file 级函数上下文的局部类等场景解析 miss），被这里短路采纳会把
+        // %unk 泄漏进 IR（structBinding Person 实证）。stub 降级走 else 的域内解析链（findClassByShortName 局部类候选 + file 级直查），域内也 miss
+        // 时兜底构造与原 stub 等价——行为仅在"域内可解析却被 stub 短路"的场景升级。
+        if (refType instanceof Type_1.ClassType && !refType.isUnclear()) {
             classType = refType;
         }
         else if (refType instanceof Type_1.AliasType && refType.getOriginalType() instanceof Type_1.ClassType) {
             classType = refType.getOriginalType();
         }
         else {
-            let curClass = this.declaringMethod.getDeclaringArkFile().getClassWithName(className);
+            // Nested classes are referenced by their bare short name inside the
+            // enclosing class scope; resolve via the candidate chain first, then
+            // the exact top-level lookup.
+            let curClass = (_c = ModelUtils_2.CxxModelUtils.findClassByShortName(className, this.declaringMethod.getDeclaringArkClass(), this.declaringMethod)) !== null && _c !== void 0 ? _c : this.declaringMethod.getDeclaringArkFile().getClassWithName(className);
             classSignature = curClass ? curClass.getSignature() : ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(className);
             classType = new Type_1.ClassType(classSignature, realGenericTypes);
         }
         const expr = new Expr_1.ArkNewExpr(classType);
-        const { value: newLocal, valueOriginalPositions: newLocalPositions, stmts: newExprStmts } = this.ArkCxxIRTransformer.generateAssignStmtForValue(expr, [Position_1.FullPosition.cxxBuildFromNode(newExpression, this.cxxSourceFile)]);
+        const { value: newLocal, valueOriginalPositions: newLocalPositions, stmts: newExprStmts, } = this.ArkCxxIRTransformer.generateAssignStmtForValue(expr, [Position_1.FullPosition.cxxBuildFromNode(newExpression, this.cxxSourceFile)]);
         // When using the new keyword, the type of Local should be a pointer type.
         if (newExpression.kind === ArkCxxAstNode_1.AstKind.CXXNewExpr) {
             newLocal.setType(new Type_2.PointerType(classType, 1));
@@ -2006,15 +2015,14 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             // if case : struct LargeStruct s;, inner.length is 0, so we need to avoid it
             newExpression.kind === ArkCxxAstNode_1.AstKind.CXXConstructExpr &&
                 newExpression.type.qualType.startsWith('struct') &&
-                args.length > 0 && ((_b = args[0].inner[0]) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.CompoundLiteralExpr) {
+                args.length > 0 &&
+                ((_b = args[0].inner[0]) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.AstKind.CompoundLiteralExpr) {
                 return this.getConstructArgs(args[0].inner[0].inner);
             }
             else if (newExpression.kind === ArkCxxAstNode_1.AstKind.InitListExpr) {
                 return this.getConstructArgs(newExpression);
             }
-            return args.filter(arg => (arg === null || arg === void 0 ? void 0 : arg.kind) !== ArkCxxAstNode_1.AstKind.TemplateRef &&
-                (arg === null || arg === void 0 ? void 0 : arg.kind) !== ArkCxxAstNode_1.AstKind.NamespaceRef &&
-                (arg === null || arg === void 0 ? void 0 : arg.kind) !== ArkCxxAstNode_1.AstKind.TypeRef);
+            return args.filter(arg => (arg === null || arg === void 0 ? void 0 : arg.kind) !== ArkCxxAstNode_1.AstKind.TemplateRef && (arg === null || arg === void 0 ? void 0 : arg.kind) !== ArkCxxAstNode_1.AstKind.NamespaceRef && (arg === null || arg === void 0 ? void 0 : arg.kind) !== ArkCxxAstNode_1.AstKind.TypeRef);
         })();
         const { args: argValues, argPositions } = this.cxxParseArguments(stmts, constructArgs);
         const constructorMethodSignature = this.getConstructorSignatureByClassTypeAndArgs(classType, argValues);
@@ -2033,10 +2041,14 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const arkClass = file.getClass(classType.getClassSignature());
         const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
         if (!arkClass) {
+            // Object path: the stub class signature (unclear) is routed to the temp canonicalizer
+            // inside the constructor — no formal interning without a model.
             return new ArkSignature_1.MethodSignature(ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(classType.getClassSignature().getClassName()), constructorMethodSubSignature);
         }
         const constructors = arkClass.getMethodsWithName(TSConst_1.CONSTRUCTOR_NAME);
         if (constructors.length === 0) {
+            // getClassSignature() (not getClassSigID()): the class may still be unclear and live in
+            // the temp canonicalizer; the object overload interns it properly.
             return new ArkSignature_1.MethodSignature(classType.getClassSignature(), constructorMethodSubSignature);
         }
         else if (constructors.length === 1) {
@@ -2058,6 +2070,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 }
             }
         }
+        // getClassSignature() (not getClassSigID()): the class may still be unclear and live in
+        // the temp canonicalizer; the object overload interns it properly.
         return new ArkSignature_1.MethodSignature(classType.getClassSignature(), constructorMethodSubSignature);
     }
     getConstructArgs(constructArgs) {
@@ -2158,7 +2172,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             }
         }
         const stmts = [];
-        const { args: argumentValues, argPositions: argPositions, } = this.cxxParseArguments(stmts, newArrayExpression.inner);
+        const { args: argumentValues, argPositions: argPositions } = this.cxxParseArguments(stmts, newArrayExpression.inner);
         let argumentsLength = newArrayExpression.inner ? newArrayExpression.inner.length : 0;
         let arrayLengthValue;
         let fromLiteral; // Does it contain specific elements
@@ -2204,8 +2218,8 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         arrayLength = (_a = dimensions[0]) !== null && _a !== void 0 ? _a : arrayLiteralExpression.inner.length;
         elementsNumber = (_b = dimensions.reduce((acc, cur) => acc * cur, 1)) !== null && _b !== void 0 ? _b : arrayLength;
         dimensions.shift();
-        isInitZero = (((_c = arrayLiteralExpression.inner) === null || _c === void 0 ? void 0 : _c.length) === 1 && arrayLiteralExpression.inner[0].value === '0' ||
-            ((_d = arrayLiteralExpression.inner) === null || _d === void 0 ? void 0 : _d.length) === 0);
+        isInitZero =
+            (((_c = arrayLiteralExpression.inner) === null || _c === void 0 ? void 0 : _c.length) === 1 && arrayLiteralExpression.inner[0].value === '0') || ((_d = arrayLiteralExpression.inner) === null || _d === void 0 ? void 0 : _d.length) === 0;
         this.getArrayLiteralExpression(arrayLiteralExpression, stmts, elementTypes, elementValues, elementPositions, dimensions, isInitZero);
         if ((0, builderUtils_1.isCxxFunctionPointer)(oriType)) {
             // If it's an array of function pointers, the array symbols in the type should be removed here before resolving for the base type.
@@ -2228,8 +2242,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return [];
         }
         // Parse numbers and return a dimension array
-        return dimensions
-            .map(dim => parseInt(dim.replace(/[\[\]]/g, '')));
+        return dimensions.map(dim => parseInt(dim.replace(/[\[\]]/g, '')));
     }
     /**
      *Process array literal expression and convert it to intermediate representation
@@ -2242,7 +2255,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     getArrayLiteralExpression(arrayLiteralExpression, stmts, elementTypes, elementValues, elementPositions, dimensions, isInitZero) {
         for (const element of arrayLiteralExpression.inner) {
             // If there is still dimension information in the array, build an internal array
-            let { value: elementValue, valueOriginalPositions: elementPosition, stmts: elementStmts } = dimensions.length > 0 ? this.cxxArrayLiteralExpressionToValueAndStmts(element, dimensions) : this.cxxNodeToValueAndStmts(element);
+            let { value: elementValue, valueOriginalPositions: elementPosition, stmts: elementStmts, } = dimensions.length > 0 ? this.cxxArrayLiteralExpressionToValueAndStmts(element, dimensions) : this.cxxNodeToValueAndStmts(element);
             stmts.push(...elementStmts);
             if (IRUtils_1.IRUtils.moreThanOneAddress(elementValue)) {
                 ({
@@ -2310,8 +2323,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      *@ returns The object containing the converted value and the generated statement list
      */
     cxxPrefixIncDecToValueAndStmts(prefixUnaryExpression, operatorToken, operandValue, operandPositions, stmts) {
-        const binaryOperator = operatorToken === (0, cppUtils_1.cxxOpcodeToString)(ArkCxxAstNode_1.CxxOpcode.Inc) ?
-            Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
+        const binaryOperator = operatorToken === (0, cppUtils_1.cxxOpcodeToString)(ArkCxxAstNode_1.CxxOpcode.Inc) ? Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
         const binopExpr = new Expr_2.ArkCxxNormalBinOpExpr(operandValue, ValueUtil_1.CxxValueUtil.getOrCreateNumberConst(1), binaryOperator);
         const exprPositions = [Position_1.FullPosition.cxxBuildFromNode(prefixUnaryExpression, this.cxxSourceFile)];
         exprPositions.push(...operandPositions, Position_1.FullPosition.DEFAULT);
@@ -2326,7 +2338,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     }
     cxxPrefixUnaryExpressionToValueAndStmts(prefixUnaryExpression, opcodeOverride) {
         const stmts = [];
-        let { value: operandValue, valueOriginalPositions: operandPositions, stmts: operandStmts } = this.cxxNodeToValueAndStmts(prefixUnaryExpression.inner[0]);
+        let { value: operandValue, valueOriginalPositions: operandPositions, stmts: operandStmts, } = this.cxxNodeToValueAndStmts(prefixUnaryExpression.inner[0]);
         stmts.push(...operandStmts);
         if (IRUtils_1.IRUtils.moreThanOneAddress(operandValue)) {
             ({
@@ -2373,11 +2385,13 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     cxxPostfixUnaryExpressionToValueAndStmts(postfixUnaryExpression, opcodeOverride) {
         var _a, _b, _c;
         const stmts = [];
-        let { value: operandValue, valueOriginalPositions: operandPositions, stmts: exprStmts, } = this.cxxNodeToValueAndStmts(postfixUnaryExpression.inner[0]);
+        let { value: operandValue, valueOriginalPositions: operandPositions, stmts: exprStmts } = this.cxxNodeToValueAndStmts(postfixUnaryExpression.inner[0]);
         stmts.push(...exprStmts);
         if (IRUtils_1.IRUtils.moreThanOneAddress(operandValue)) {
             ({
-                value: operandValue, valueOriginalPositions: operandPositions, stmts: exprStmts,
+                value: operandValue,
+                valueOriginalPositions: operandPositions,
+                stmts: exprStmts,
             } = this.ArkCxxIRTransformer.generateAssignStmtForValue(operandValue, operandPositions));
             stmts.push(...exprStmts);
         }
@@ -2387,17 +2401,19 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // Use temporary variables to store the value before self increment, and avoid this expression for some non assignment operation scenarios
         if (operatorToken === (0, cppUtils_1.cxxOpcodeToString)(ArkCxxAstNode_1.CxxOpcode.Inc) || operatorToken === (0, cppUtils_1.cxxOpcodeToString)(ArkCxxAstNode_1.CxxOpcode.Dec)) {
             const needAssign = [
-                ArkCxxAstNode_1.AstKind.VarDecl, ArkCxxAstNode_1.AstKind.BinaryOperator, ArkCxxAstNode_1.AstKind.BinaryConditionalOperator,
-                ArkCxxAstNode_1.AstKind.ConditionalOperator, ArkCxxAstNode_1.AstKind.ArraySubscriptExpr,
+                ArkCxxAstNode_1.AstKind.VarDecl,
+                ArkCxxAstNode_1.AstKind.BinaryOperator,
+                ArkCxxAstNode_1.AstKind.BinaryConditionalOperator,
+                ArkCxxAstNode_1.AstKind.ConditionalOperator,
+                ArkCxxAstNode_1.AstKind.ArraySubscriptExpr,
             ];
-            let parent = (_c = ((_a = postfixUnaryExpression.parent) !== null && _a !== void 0 ? _a : (_b = postfixUnaryExpression.getParent) === null || _b === void 0 ? void 0 : _b.call(postfixUnaryExpression, true))) !== null && _c !== void 0 ? _c : null;
+            let parent = (_c = (_a = postfixUnaryExpression.parent) !== null && _a !== void 0 ? _a : (_b = postfixUnaryExpression.getParent) === null || _b === void 0 ? void 0 : _b.call(postfixUnaryExpression, true)) !== null && _c !== void 0 ? _c : null;
             if (parent && needAssign.includes(parent.kind)) {
-                let { value: tempValue, stmts: tempStmts, } = this.arkIRTransformer.generateAssignStmtForValue(operandValue, exprPositions);
+                let { value: tempValue, stmts: tempStmts } = this.arkIRTransformer.generateAssignStmtForValue(operandValue, exprPositions);
                 stmts.push(...tempStmts);
                 value = tempValue;
             }
-            const binaryOperator = operatorToken === (0, cppUtils_1.cxxOpcodeToString)(ArkCxxAstNode_1.CxxOpcode.Inc) ?
-                Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
+            const binaryOperator = operatorToken === (0, cppUtils_1.cxxOpcodeToString)(ArkCxxAstNode_1.CxxOpcode.Inc) ? Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
             const binopExpr = new Expr_2.ArkCxxNormalBinOpExpr(operandValue, ValueUtil_1.CxxValueUtil.getOrCreateNumberConst(1), binaryOperator);
             exprPositions.push(...operandPositions, Position_1.FullPosition.DEFAULT);
             const assignStmt = new Stmt_1.ArkAssignStmt(operandValue, binopExpr);
@@ -2412,7 +2428,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             exprPositions = [Position_1.FullPosition.DEFAULT];
         }
         return {
-            value: value, valueOriginalPositions: exprPositions, stmts: stmts,
+            value: value,
+            valueOriginalPositions: exprPositions,
+            stmts: stmts,
         };
     }
     declStmtToValueAndStmts(decl) {
@@ -2485,14 +2503,15 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const { value: leftValue, valueOriginalPositions: leftPositions, stmts: leftStmts } = leftValueAndStmts;
         let stmts = [];
         if (needRightOp) {
-            const { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts } = this.cxxAssignmentRightOpToValueAndStmts(rightOpNode, leftValue);
+            const { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts, } = this.cxxAssignmentRightOpToValueAndStmts(rightOpNode, leftValue);
             if (leftValue instanceof Local_1.Local) {
                 if (variableDefFlag) {
                     leftValue.setConstFlag(isConst);
                     leftValue.setType(declarationType);
                 }
                 if ((leftValue.getType() instanceof Type_1.UnknownType || leftValue.getType() instanceof Type_1.UnclearReferenceType) &&
-                    !(rightValue.getType() instanceof Type_1.UnknownType) && !(rightValue.getType() instanceof Type_1.UndefinedType)) {
+                    !(rightValue.getType() instanceof Type_1.UnknownType) &&
+                    !(rightValue.getType() instanceof Type_1.UndefinedType)) {
                     leftValue.setType(rightValue.getType());
                 }
             }
@@ -2530,11 +2549,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         let tempRightStmts = [];
         const rightStmts = [];
         if (rightOpNode) {
-            ({
-                value: rightValue,
-                valueOriginalPositions: rightPositions,
-                stmts: tempRightStmts,
-            } = this.cxxNodeToValueAndStmts(rightOpNode));
+            ({ value: rightValue, valueOriginalPositions: rightPositions, stmts: tempRightStmts } = this.cxxNodeToValueAndStmts(rightOpNode));
             rightStmts.push(...tempRightStmts);
         }
         else {
@@ -2565,11 +2580,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         let { value, valueOriginalPositions, stmts } = this.cxxNodeToValueAndStmts(node);
         allStmts.push(...stmts);
         if (IRUtils_1.IRUtils.moreThanOneAddress(value)) {
-            ({
-                value,
-                valueOriginalPositions,
-                stmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(value, valueOriginalPositions));
+            ({ value, valueOriginalPositions, stmts } = this.arkIRTransformer.generateAssignStmtForValue(value, valueOriginalPositions));
             allStmts.push(...stmts);
         }
         return { value, valueOriginalPositions, stmts: allStmts };
@@ -2591,9 +2602,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         const stmts = [];
         const binaryExpressionPosition = Position_1.FullPosition.cxxBuildFromNode(binaryExpression, this.cxxSourceFile);
-        const { value: opValue1, valueOriginalPositions: opPositions1, stmts: opStmts1, } = this.cxxNodeToSingleAddressValueAndStmts(binaryExpressionLeft);
+        const { value: opValue1, valueOriginalPositions: opPositions1, stmts: opStmts1 } = this.cxxNodeToSingleAddressValueAndStmts(binaryExpressionLeft);
         stmts.push(...opStmts1);
-        const { value: opValue2, valueOriginalPositions: opPositions2, stmts: opStmts2, } = this.cxxNodeToSingleAddressValueAndStmts(binaryExpressionRight);
+        const { value: opValue2, valueOriginalPositions: opPositions2, stmts: opStmts2 } = this.cxxNodeToSingleAddressValueAndStmts(binaryExpressionRight);
         stmts.push(...opStmts2);
         let exprValue;
         let exprValuePositions = [binaryExpressionPosition];
@@ -2632,9 +2643,9 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     cxxCompoundAssignmentToValueAndStmts(binaryExpression) {
         var _a;
         const stmts = [];
-        let { value: leftValue, valueOriginalPositions: leftPositions, stmts: leftStmts, } = this.cxxNodeToValueAndStmts(binaryExpression.inner[0]);
+        let { value: leftValue, valueOriginalPositions: leftPositions, stmts: leftStmts } = this.cxxNodeToValueAndStmts(binaryExpression.inner[0]);
         stmts.push(...leftStmts);
-        let { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts, } = this.cxxNodeToValueAndStmts(binaryExpression.inner[1]);
+        let { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts } = this.cxxNodeToValueAndStmts(binaryExpression.inner[1]);
         stmts.push(...rightStmts);
         if (IRUtils_1.IRUtils.moreThanOneAddress(leftValue) && IRUtils_1.IRUtils.moreThanOneAddress(rightValue)) {
             const { value: newRightValue, valueOriginalPositions: newRightPositions, stmts: rightStmts, } = this.ArkCxxIRTransformer.generateAssignStmtForValue(rightValue, rightPositions);
@@ -2703,7 +2714,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      */
     cxxConditionToValueAndStmts(condition) {
         const stmts = [];
-        let { value: conditionValue, valueOriginalPositions: conditionPositions, stmts: conditionStmts, } = this.cxxNodeToValueAndStmts(condition);
+        let { value: conditionValue, valueOriginalPositions: conditionPositions, stmts: conditionStmts } = this.cxxNodeToValueAndStmts(condition);
         stmts.push(...conditionStmts);
         let conditionExpr;
         if (conditionValue instanceof Expr_1.AbstractBinopExpr && this.isRelationalOperator(conditionValue.getOperator())) {