arkanalyzer 1.0.87 → 1.0.89

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

@@ -64,7 +64,7 @@ const ModelUtils_1 = require("../../../core/common/ModelUtils");
 const TSConst_1 = require("../../../core/common/TSConst");
 const TypeInference_1 = require("./TypeInference");
 const ModelUtils_2 = require("./ModelUtils");
-const ArkCxxAstNode_1 = require("../ast/ArkCxxAstNode");
+const ast_1 = require("../ast");
 const ArkIRTransformer_2 = require("../../../core/common/ArkIRTransformer");
 const Builtin_2 = require("./Builtin");
 const ArkClass_1 = require("../../../core/model/ArkClass");
@@ -94,11 +94,11 @@ function nodeInnerNode(node) {
     if (Array.isArray(node === null || node === void 0 ? void 0 : node.inner) && node.inner.length > 0) {
         const last = node.inner[node.inner.length - 1];
         // Return InitListExpr first
-        if ((last === null || last === void 0 ? void 0 : last.kind) === ArkCxxAstNode_1.astKind.InitListExpr) {
+        if ((last === null || last === void 0 ? void 0 : last.kind) === ast_1.astKind.InitListExpr) {
             return last;
         }
         // Arrays containing only one TypeRef node do not return
-        if (!(node.inner.length === 1 && ((_a = node.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ArkCxxAstNode_1.astKind.TypeRef) && !(0, builderUtils_1.isCxxFunctionPointer)(node.type.qualType)) {
+        if (!(node.inner.length === 1 && ((_a = node.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ast_1.astKind.TypeRef) && !(0, builderUtils_1.isCxxFunctionPointer)(node.type.qualType)) {
             return last;
         }
     }
@@ -111,65 +111,65 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         super(arkIRTransformer, sourceFile, declaringMethod);
         // An object that records the corresponding processing functions of CXX ast nodes.
         this.nodeTransformerFuncMap = {
-            [ArkCxxAstNode_1.astKind.ArraySubscriptExpr]: this.cxxElementAccessExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ArrayTypeTraitExpr]: this.arrayTypeTraitExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.AtomicCallExpr]: this.cxxCallExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.BinaryConditionalOperator]: this.cxxConditionalExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXRewrittenBinaryOperator]: this.cxxBinaryExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.BinaryOperator]: this.cxxBinaryExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.BindingDecl]: this.bindingNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CallExpr]: this.cxxCallExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CharacterLiteral]: this.cxxLiteralNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CompoundAssignOperator]: this.cxxCompoundAssignmentToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CompoundLiteralExpr]: this.cxxAggregateToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ConditionalOperator]: this.cxxConditionalExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ConstantExpr]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXBindTemporaryExpr]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXBoolLiteralExpr]: this.cxxLiteralNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXConstCastExpr]: this.castExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXConstructExpr]: this.cxxConstructExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXCtorInitializer]: this.cxxCtorInitializerToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXDeleteExpr]: this.cxxDeleteExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXDynamicCastExpr]: this.castExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXFoldExpr]: this.cxxFoldExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXFunctionalCastExpr]: this.castExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXMemberCallExpr]: this.cxxMemberCallExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXNewExpr]: this.cxxNewExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXNoexceptExpr]: this.cxxNoexceptExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXNullPtrLiteralExpr]: this.cxxLiteralNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXOperatorCallExpr]: this.cxxOperatorExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXReinterpretCastExpr]: this.castExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXScalarValueInitExpr]: this.cxxScalarValueInitToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXStdInitializerListExpr]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXStaticCastExpr]: this.castExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXThisExpr]: this.cxxThisExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXTypeidExpr]: this.cxxTypeidExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CStyleCastExpr]: this.castExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.CXXTemporaryObjectExpr]: this.cxxTemporaryObjectExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.DeclRefExpr]: this.declAndTypeRefToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.DeclStmt]: this.declStmtToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.DecompositionDecl]: this.bindingNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ExprWithCleanups]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.FloatingLiteral]: this.cxxLiteralNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ImplicitCastExpr]: this.implicitCastExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.InitListExpr]: this.initListExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.IntegerLiteral]: this.cxxLiteralNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.LambdaExpr]: this.cxxCallableNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.MaterializeTemporaryExpr]: this.materializeTemporaryExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.MemberExpr]: this.memberExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.MemberRef]: this.memberExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.NamespaceRef]: this.cxxNamespaceRefToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ParenExpr]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.ParenListExpr]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.RecoveryExpr]: this.RecoverExpressionToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.StringLiteral]: this.cxxLiteralNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.TypeRef]: this.declAndTypeRefToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.UnaryExprOrTypeTraitExpr]: this.unaryExprToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.UnaryOperator]: this.unaryOperatorToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.UnexposedExpr]: this.processInnerNodeToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.UnresolvedLookupExpr]: this.declAndTypeRefToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.UserDefinedLiteral]: this.userDefinedLiteralToValueAndStmts,
-            [ArkCxxAstNode_1.astKind.VarDecl]: this.cxxVariableDeclarationToValueAndStmts,
+            [ast_1.astKind.ArraySubscriptExpr]: this.cxxElementAccessExpressionToValueAndStmts,
+            [ast_1.astKind.ArrayTypeTraitExpr]: this.arrayTypeTraitExprToValueAndStmts,
+            [ast_1.astKind.AtomicCallExpr]: this.cxxCallExpressionToValueAndStmts,
+            [ast_1.astKind.BinaryConditionalOperator]: this.cxxConditionalExpressionToValueAndStmts,
+            [ast_1.astKind.CXXRewrittenBinaryOperator]: this.cxxBinaryExpressionToValueAndStmts,
+            [ast_1.astKind.BinaryOperator]: this.cxxBinaryExpressionToValueAndStmts,
+            [ast_1.astKind.BindingDecl]: this.bindingNodeToValueAndStmts,
+            [ast_1.astKind.CallExpr]: this.cxxCallExpressionToValueAndStmts,
+            [ast_1.astKind.CharacterLiteral]: this.cxxLiteralNodeToValueAndStmts,
+            [ast_1.astKind.CompoundAssignOperator]: this.cxxCompoundAssignmentToValueAndStmts,
+            [ast_1.astKind.CompoundLiteralExpr]: this.cxxAggregateToValueAndStmts,
+            [ast_1.astKind.ConditionalOperator]: this.cxxConditionalExpressionToValueAndStmts,
+            [ast_1.astKind.ConstantExpr]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.CXXBindTemporaryExpr]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.CXXBoolLiteralExpr]: this.cxxLiteralNodeToValueAndStmts,
+            [ast_1.astKind.CXXConstCastExpr]: this.castExpressionToValueAndStmts,
+            [ast_1.astKind.CXXConstructExpr]: this.cxxConstructExprToValueAndStmts,
+            [ast_1.astKind.CXXCtorInitializer]: this.cxxCtorInitializerToValueAndStmts,
+            [ast_1.astKind.CXXDeleteExpr]: this.cxxDeleteExpressionToValueAndStmts,
+            [ast_1.astKind.CXXDynamicCastExpr]: this.castExpressionToValueAndStmts,
+            [ast_1.astKind.CXXFoldExpr]: this.cxxFoldExprToValueAndStmts,
+            [ast_1.astKind.CXXFunctionalCastExpr]: this.castExpressionToValueAndStmts,
+            [ast_1.astKind.CXXMemberCallExpr]: this.cxxMemberCallExpressionToValueAndStmts,
+            [ast_1.astKind.CXXNewExpr]: this.cxxNewExpressionToValueAndStmts,
+            [ast_1.astKind.CXXNoexceptExpr]: this.cxxNoexceptExprToValueAndStmts,
+            [ast_1.astKind.CXXNullPtrLiteralExpr]: this.cxxLiteralNodeToValueAndStmts,
+            [ast_1.astKind.CXXOperatorCallExpr]: this.cxxOperatorExpressionToValueAndStmts,
+            [ast_1.astKind.CXXReinterpretCastExpr]: this.castExpressionToValueAndStmts,
+            [ast_1.astKind.CXXScalarValueInitExpr]: this.cxxScalarValueInitToValueAndStmts,
+            [ast_1.astKind.CXXStdInitializerListExpr]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.CXXStaticCastExpr]: this.castExpressionToValueAndStmts,
+            [ast_1.astKind.CXXThisExpr]: this.cxxThisExpressionToValueAndStmts,
+            [ast_1.astKind.CXXTypeidExpr]: this.cxxTypeidExprToValueAndStmts,
+            [ast_1.astKind.CStyleCastExpr]: this.castExpressionToValueAndStmts,
+            [ast_1.astKind.CXXTemporaryObjectExpr]: this.cxxTemporaryObjectExprToValueAndStmts,
+            [ast_1.astKind.DeclRefExpr]: this.declAndTypeRefToValueAndStmts,
+            [ast_1.astKind.DeclStmt]: this.declStmtToValueAndStmts,
+            [ast_1.astKind.DecompositionDecl]: this.bindingNodeToValueAndStmts,
+            [ast_1.astKind.ExprWithCleanups]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.FloatingLiteral]: this.cxxLiteralNodeToValueAndStmts,
+            [ast_1.astKind.ImplicitCastExpr]: this.implicitCastExprToValueAndStmts,
+            [ast_1.astKind.InitListExpr]: this.initListExprToValueAndStmts,
+            [ast_1.astKind.IntegerLiteral]: this.cxxLiteralNodeToValueAndStmts,
+            [ast_1.astKind.LambdaExpr]: this.cxxCallableNodeToValueAndStmts,
+            [ast_1.astKind.MaterializeTemporaryExpr]: this.materializeTemporaryExprToValueAndStmts,
+            [ast_1.astKind.MemberExpr]: this.memberExpressionToValueAndStmts,
+            [ast_1.astKind.MemberRef]: this.memberExpressionToValueAndStmts,
+            [ast_1.astKind.NamespaceRef]: this.cxxNamespaceRefToValueAndStmts,
+            [ast_1.astKind.ParenExpr]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.ParenListExpr]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.RecoveryExpr]: this.RecoverExpressionToValueAndStmts,
+            [ast_1.astKind.StringLiteral]: this.cxxLiteralNodeToValueAndStmts,
+            [ast_1.astKind.TypeRef]: this.declAndTypeRefToValueAndStmts,
+            [ast_1.astKind.UnaryExprOrTypeTraitExpr]: this.unaryExprToValueAndStmts,
+            [ast_1.astKind.UnaryOperator]: this.unaryOperatorToValueAndStmts,
+            [ast_1.astKind.UnexposedExpr]: this.processInnerNodeToValueAndStmts,
+            [ast_1.astKind.UnresolvedLookupExpr]: this.declAndTypeRefToValueAndStmts,
+            [ast_1.astKind.UserDefinedLiteral]: this.userDefinedLiteralToValueAndStmts,
+            [ast_1.astKind.VarDecl]: this.cxxVariableDeclarationToValueAndStmts,
         };
         this.ArkCxxIRTransformer = arkIRTransformer;
         this.cxxSourceFile = sourceFile;
@@ -214,16 +214,16 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         else {
             classSignature = type.getClassSignature();
         }
-        const list = aggregate.kind === ArkCxxAstNode_1.astKind.InitListExpr ? aggregate : aggregate.inner[aggregate.inner.length - 1];
+        const list = aggregate.kind === ast_1.astKind.InitListExpr ? aggregate : aggregate.inner[aggregate.inner.length - 1];
         let elements = [];
-        if (list.kind !== ArkCxxAstNode_1.astKind.InitListExpr) {
+        if (list.kind !== ast_1.astKind.InitListExpr) {
             return this.unprocessedNodeToValueAndStmts(aggregate);
         }
         const aggregateExpr = new Expr_2.ArkAggregateExpr(elements, type);
         const fullPosition = [Position_1.FullPosition.cxxBuildFromNode(aggregate, this.cxxSourceFile)];
         let { value: temp, valueOriginalPositions: tempPositions, stmts: exprStmts, } = this.ArkCxxIRTransformer.generateAssignStmtForValue(aggregateExpr, fullPosition);
         for (let i = 0; i < list.inner.length; i++) {
-            if (list.inner[i].kind === ArkCxxAstNode_1.astKind.DesignatedInitExpr) {
+            if (list.inner[i].kind === ast_1.astKind.DesignatedInitExpr) {
                 // Because the syntax tree does not have fields representing field information,
                 // regular matching is used to preserve the information.
                 // If there are any changes to the syntax tree, optimization can be made here
@@ -265,25 +265,25 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     // Judge whether the current node is related to the lambda function of CPP
     isNodeRelatedToCXXLambdaFunc(node) {
         var _a, _b, _c, _d;
-        return ((_b = (_a = node.type) === null || _a === void 0 ? void 0 : _a.qualType) === null || _b === void 0 ? void 0 : _b.startsWith('(lambda at')) || ((_d = (_c = node.inner) === null || _c === void 0 ? void 0 : _c[0]) === null || _d === void 0 ? void 0 : _d.kind) === ArkCxxAstNode_1.astKind.LambdaExpr;
+        return ((_b = (_a = node.type) === null || _a === void 0 ? void 0 : _a.qualType) === null || _b === void 0 ? void 0 : _b.startsWith('(lambda at')) || ((_d = (_c = node.inner) === null || _c === void 0 ? void 0 : _c[0]) === null || _d === void 0 ? void 0 : _d.kind) === ast_1.astKind.LambdaExpr;
     }
     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) === ast_1.astKind.ImplicitCastExpr && (node.name === '__tree_const_iterator'));
         }
         return false;
     }
     // Judge whether the child nodes of the current node are materializing temporary variables
     isNodeRelatedToMaterializeTemporaryExpr(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.MaterializeTemporaryExpr;
+        return ((_b = (_a = node.inner) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b.kind) === ast_1.astKind.MaterializeTemporaryExpr;
     }
     // 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) ||
-            (node.inner[0].kind === ArkCxxAstNode_1.astKind.ImplicitCastExpr && node.inner[0].inner[0] && node.inner[0].inner[0].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) === ast_1.astKind.CXXMemberCallExpr) ||
+            (node.inner[0].kind === ast_1.astKind.ImplicitCastExpr && node.inner[0].inner[0] && node.inner[0].inner[0].kind === ast_1.astKind.CXXMemberCallExpr));
     }
     // Construction of std::pair type
     isPairConstructExpr(node) {
@@ -292,7 +292,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     // Multi-layer std::pair construction
     isNodeRelatedToTemporary(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.CXXBindTemporaryExpr && node.code === node.inner[0].code;
+        return ((_b = (_a = node.inner) === null || _a === void 0 ? void 0 : _a[0]) === null || _b === void 0 ? void 0 : _b.kind) === ast_1.astKind.CXXBindTemporaryExpr && node.code === node.inner[0].code;
     }
     // Expressions that are not new statements (excluding constructors as parameters)
     isNotNewExpression(newExpression) {
@@ -301,14 +301,14 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return false;
         }
         const targetKinds = [
-            ArkCxxAstNode_1.astKind.IntegerLiteral,
-            ArkCxxAstNode_1.astKind.InitListExpr,
-            ArkCxxAstNode_1.astKind.CompoundLiteralExpr,
-            ArkCxxAstNode_1.astKind.CXXOperatorCallExpr,
-            ArkCxxAstNode_1.astKind.BinaryOperator
+            ast_1.astKind.IntegerLiteral,
+            ast_1.astKind.InitListExpr,
+            ast_1.astKind.CompoundLiteralExpr,
+            ast_1.astKind.CXXOperatorCallExpr,
+            ast_1.astKind.BinaryOperator
         ];
         return (targetKinds.includes(firstChildKind) ||
-            (firstChildKind === ArkCxxAstNode_1.astKind.ImplicitCastExpr && !newExpression.inner[0].code.includes('(')));
+            (firstChildKind === ast_1.astKind.ImplicitCastExpr && !newExpression.inner[0].code.includes('(')));
     }
     isNodeRelatedToCXXFuncCast(node) {
         var _a;
@@ -344,10 +344,10 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // instead, the object is directly constructed at the return value location. Therefore, it is processed here as a ConstructExpr.
         const parentNode = (_a = node.getParent) === null || _a === void 0 ? void 0 : _a.call(node, false);
         // case: Vector{1,2,3} Implicit call to destructor
-        if (((_b = parentNode === null || parentNode === void 0 ? void 0 : parentNode.dtor) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.astKind.CXXDestructorDecl && node.inner.length > 0) {
+        if (((_b = parentNode === null || parentNode === void 0 ? void 0 : parentNode.dtor) === null || _b === void 0 ? void 0 : _b.kind) === ast_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 !== ast_1.astKind.ExprWithCleanups && parentNode.kind !== ast_1.astKind.ReturnStmt) {
             return this.unprocessedNodeToValueAndStmts(node);
         }
         return this.cxxConstructExprToValueAndStmts(node);
@@ -397,7 +397,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         stmts.push(...innerStmts);
         let index = 0;
         for (let i = 0; i < length; i++) {
-            if (node.inner[i].kind !== ArkCxxAstNode_1.astKind.BindingDecl) {
+            if (node.inner[i].kind !== ast_1.astKind.BindingDecl) {
                 continue;
             }
             const leftValueAndStmts = this.cxxIdentifierToValueAndStmts(node.inner[i]);
@@ -446,7 +446,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return this.cxxNodeToValueAndStmts(node.inner[0]);
         }
         // Handle the scenario: using Color::RED; Color c = RED;
-        if (((_b = node.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.astKind.EnumConstantDecl && node.inner.length === 0) {
+        if (((_b = node.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ast_1.astKind.EnumConstantDecl && node.inner.length === 0) {
             const typeRefNode = {
                 kind: 'TypeRef',
                 name: node.referencedDecl.name,
@@ -458,7 +458,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return this.staticMemberExprToValueAndStmts(node);
         }
         // when node.referencedDecl?.kind === astKind.NonTypeTemplateParmDecl ,this value is a const expr
-        if (((_c = node.referencedDecl) === null || _c === void 0 ? void 0 : _c.kind) === ArkCxxAstNode_1.astKind.NonTypeTemplateParmDecl) {
+        if (((_c = node.referencedDecl) === null || _c === void 0 ? void 0 : _c.kind) === ast_1.astKind.NonTypeTemplateParmDecl) {
             return {
                 value: ValueUtil_1.CxxValueUtil.createCompileConst(node.name, (0, builderUtils_1.cxxNode2Type)(node, this.declaringMethod)),
                 valueOriginalPositions: [],
@@ -467,13 +467,13 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         // Handle the invocation of static members of a class, such as A::a
         if (((_d = node.code) === 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)) {
+            (((_e = node.inner[0]) === null || _e === void 0 ? void 0 : _e.kind) === ast_1.astKind.TypeRef || ((_f = node.inner[0]) === null || _f === void 0 ? void 0 : _f.kind) === ast_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);
     }
     staticMemberExprToValueAndStmts(declRefExpr) {
-        declRefExpr.kind = ArkCxxAstNode_1.astKind.MemberExpr; // Replace the type with "member invocation"
+        declRefExpr.kind = ast_1.astKind.MemberExpr; // Replace the type with "member invocation"
         return this.memberExpressionToValueAndStmts(declRefExpr);
     }
     materializeTemporaryExprToValueAndStmts(node) {
@@ -498,7 +498,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         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)) {
+            (((_g = pNode.inner[0]) === null || _g === void 0 ? void 0 : _g.kind) === ast_1.astKind.TypeRef || !node.type.qualType.includes('[') || (0, builderUtils_1.cxxNode2Type)(node, this.declaringMethod) instanceof Type_1.ClassType)) {
             try {
                 return this.cxxAggregateToValueAndStmts(node);
             }
@@ -593,18 +593,18 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return this.unprocessedNodeToValueAndStmts(cxxCtorInitializer);
         }
         const firstInnerNode = cxxCtorInitializer.inner[0];
-        if (firstInnerNode.kind === ArkCxxAstNode_1.astKind.CXXInheritedCtorInitExpr) {
+        if (firstInnerNode.kind === ast_1.astKind.CXXInheritedCtorInitExpr) {
             // Processing of using parent:: parent
             return this.cxxInheritedCtorInitExprToValueAndStmts(firstInnerNode);
         }
-        else if (firstInnerNode.kind === ArkCxxAstNode_1.astKind.CXXConstructExpr && cxxCtorInitializer.baseInit) {
+        else if (firstInnerNode.kind === ast_1.astKind.CXXConstructExpr && cxxCtorInitializer.baseInit) {
             // Processing of case: Left(const char& name) : Base(name) // call base class constructor
             return this.cxxSuperExpressionToValueAndStmts(firstInnerNode);
         }
         // 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 === ast_1.astKind.CXXConstructExpr && firstInnerNode.inner.length > 0) ? firstInnerNode.inner[0] : firstInnerNode;
         const CtorInit2ThisMemberExpr = {
             kind: 'MemberExpr',
             name: (_b = (_a = cxxCtorInitializer.anyInit) === null || _a === void 0 ? void 0 : _a.name) !== null && _b !== void 0 ? _b : '',
@@ -708,10 +708,10 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         let dimensionSizes = [];
         let op = null;
         for (let i = 0; i < ArrayTypeTraitExpr.inner.length; i++) {
-            if (ArrayTypeTraitExpr.inner[i].kind === ArkCxxAstNode_1.astKind.IntegerLiteral) {
+            if (ArrayTypeTraitExpr.inner[i].kind === ast_1.astKind.IntegerLiteral) {
                 dimensionSizes.push(Number(ArrayTypeTraitExpr.inner[i].value));
             }
-            else if (ArrayTypeTraitExpr.inner[i].kind === ArkCxxAstNode_1.astKind.DeclRefExpr) {
+            else if (ArrayTypeTraitExpr.inner[i].kind === ast_1.astKind.DeclRefExpr) {
                 const innerValueAndStmts = this.cxxNodeToValueAndStmts(ArrayTypeTraitExpr.inner[i]);
                 op = innerValueAndStmts.value;
                 stmts.push(...innerValueAndStmts.stmts);
@@ -860,7 +860,7 @@ 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 ?
+        const conditionNode = conditionalExpression.inner[InnerIdx].kind === ast_1.astKind.ImplicitCastExpr ?
             conditionalExpression.inner[InnerIdx].inner[0] : conditionalExpression.inner[InnerIdx];
         let conditionExpr;
         const context = { conditionExpr: conditionExpr };
@@ -871,7 +871,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // inner[1] is a value whose expression is true
         InnerIdx++;
         let whenTrueValueAndStmts;
-        if (conditionalExpression.kind === ArkCxxAstNode_1.astKind.ConditionalOperator) {
+        if (conditionalExpression.kind === ast_1.astKind.ConditionalOperator) {
             whenTrueValueAndStmts = this.cxxNodeToValueAndStmts(conditionalExpression.inner[InnerIdx]);
             // else kind is BinaryConditionalOperator,No need to parse the node again, the result of the judgment is its value
         }
@@ -927,16 +927,16 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         }
         // Several callable kinds
         const CALLABLE_KINDS = new Set([
-            ArkCxxAstNode_1.astKind.DeclRefExpr,
-            ArkCxxAstNode_1.astKind.MemberExpr,
-            ArkCxxAstNode_1.astKind.OverloadedDeclRef,
-            ArkCxxAstNode_1.astKind.ArraySubscriptExpr,
-            ArkCxxAstNode_1.astKind.CXXOperatorCallExpr,
-            ArkCxxAstNode_1.astKind.UnresolvedLookupExpr,
+            ast_1.astKind.DeclRefExpr,
+            ast_1.astKind.MemberExpr,
+            ast_1.astKind.OverloadedDeclRef,
+            ast_1.astKind.ArraySubscriptExpr,
+            ast_1.astKind.CXXOperatorCallExpr,
+            ast_1.astKind.UnresolvedLookupExpr,
         ]);
         function unwrapImplicit(n) {
             var _a;
-            while (n && n.kind === ArkCxxAstNode_1.astKind.ImplicitCastExpr) {
+            while (n && n.kind === ast_1.astKind.ImplicitCastExpr) {
                 n = (_a = n.inner) === null || _a === void 0 ? void 0 : _a[0];
             }
             return n;
@@ -965,7 +965,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     getDeclRef(astNode) {
         let n = astNode;
         while (n) {
-            if (n.kind === ArkCxxAstNode_1.astKind.DeclRefExpr) {
+            if (n.kind === ast_1.astKind.DeclRefExpr) {
                 return n;
             }
             // No child node or empty child node, end
@@ -1043,7 +1043,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         else {
             varNode = identifier;
         }
-        let varName = varNode.kind === ArkCxxAstNode_1.astKind.TypeRef ? varNode.code : varNode.name;
+        let varName = varNode.kind === ast_1.astKind.TypeRef ? varNode.code : varNode.name;
         const varType = (0, builderUtils_1.cxxNode2Type)(identifier, this.declaringMethod);
         if (varName === Type_1.UndefinedType.getInstance().getName()) {
             identifierValue = ValueUtil_1.CxxValueUtil.getUndefinedConst();
@@ -1076,7 +1076,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const stmts = [];
         // [Scenario 1] Process this ->field or this ->method calls in C++code
         // If it's a class member reference (MemberExpr/MemberRef) but has no inner[0], it means implicit this, need to supplement this node
-        if ((memberExpression.kind === ArkCxxAstNode_1.astKind.MemberExpr || memberExpression.kind === ArkCxxAstNode_1.astKind.MemberRef) && memberExpression.inner[0] === undefined) {
+        if ((memberExpression.kind === ast_1.astKind.MemberExpr || memberExpression.kind === ast_1.astKind.MemberRef) && memberExpression.inner[0] === undefined) {
             memberExpression.inner[0] = {
                 kind: 'CXXThisExpr',
                 name: memberExpression.name,
@@ -1090,7 +1090,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         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) {
+        if (((_a = memberExpression.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ast_1.astKind.MemberExpr || memberExpression.kind === ast_1.astKind.MemberRef) {
             ({ value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts } =
                 this.ArkCxxIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
         }
@@ -1106,7 +1106,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const fieldSignature = this.buildFieldSignatureFromMemberExpr(baseValue, memberExpression);
         // [Scenario 6] Generate the field reference object of IR layer (such as testMap. insert)
         let fieldRef;
-        if (((_b = memberExpression.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.astKind.EnumConstantDecl) {
+        if (((_b = memberExpression.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ast_1.astKind.EnumConstantDecl) {
             fieldRef = new Ref_1.ArkStaticFieldRef(fieldSignature);
         }
         else {
@@ -1124,7 +1124,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         let fieldSignature;
         const memberName = ((_a = memberExpression.referencedDecl) === null || _a === void 0 ? void 0 : _a.name) || memberExpression.name || memberExpression.code;
         // ==Scenarios for Special Handling of Enum Members==
-        if (((_b = memberExpression.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ArkCxxAstNode_1.astKind.EnumConstantDecl) {
+        if (((_b = memberExpression.referencedDecl) === null || _b === void 0 ? void 0 : _b.kind) === ast_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) ?
@@ -1212,14 +1212,14 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
     }
     cxxCallExpressionToValueAndStmts(callExpression) {
         var _a, _b, _c, _d, _e, _f;
-        if (callExpression.kind === ArkCxxAstNode_1.astKind.CallExpr && ((_a = callExpression.inner) === null || _a === void 0 ? void 0 : _a.length) > 0) {
+        if (callExpression.kind === ast_1.astKind.CallExpr && ((_a = callExpression.inner) === null || _a === void 0 ? void 0 : _a.length) > 0) {
             if (((_e = (_d = ((_b = callExpression.parent) !== null && _b !== void 0 ? _b : (_c = callExpression.getParent) === null || _c === void 0 ? void 0 : _c.call(callExpression, true))) === null || _d === void 0 ? void 0 : _d.type) === null || _e === void 0 ? void 0 : _e.qualType) === 'std::thread') {
                 return this.cxxNewExpressionToValueAndStmts(callExpression);
             }
-            else if (callExpression.inner[0].kind === ArkCxxAstNode_1.astKind.CXXPseudoDestructorExpression) {
+            else if (callExpression.inner[0].kind === ast_1.astKind.CXXPseudoDestructorExpression) {
                 return this.cxxCallExpressionToValueAndStmts(callExpression.inner[0]);
             }
-            else if (callExpression.name === 'basic_string' || callExpression.inner[0].kind === ArkCxxAstNode_1.astKind.MaterializeTemporaryExpr) {
+            else if (callExpression.name === 'basic_string' || callExpression.inner[0].kind === ast_1.astKind.MaterializeTemporaryExpr) {
                 return this.cxxNodeToValueAndStmts(callExpression.inner[0]);
             }
         }
@@ -1265,7 +1265,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 !callExpression.code.startsWith(innerNode.code)) {
                 callArgus.push(innerNode);
             }
-            if (innerNode.kind === ArkCxxAstNode_1.astKind.CXXOperatorCallExpr) {
+            if (innerNode.kind === ast_1.astKind.CXXOperatorCallExpr) {
                 // Recursive call processing CXXOperatorCallExpr
                 if (innerNode.type.qualType !== 'std::ostream') {
                     return this.streamOrLambdaExprToValueAndStmts(innerNode, callArgus);
@@ -1273,16 +1273,16 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
                 // When the type is std:: ostream, it indicates an overloaded stream operator and records the overloaded node of the stream operator
                 callArgus.push(innerNode);
                 // Recursive call to process CXXOperatorCallExpr nested in the inner of CXXOperatorCallExpr
-                if (innerNode.inner[1].kind === ArkCxxAstNode_1.astKind.CXXOperatorCallExpr) {
+                if (innerNode.inner[1].kind === ast_1.astKind.CXXOperatorCallExpr) {
                     return this.streamOrLambdaExprToValueAndStmts(innerNode.inner[1], callArgus);
                 }
                 // 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 === 'lvalue' && innerNode.inner.length > 0) {
+            while (innerNode.kind === ast_1.astKind.ImplicitCastExpr && innerNode.valueCategory === 'lvalue' && innerNode.inner.length > 0) {
                 innerNode = innerNode.inner[0];
             }
-            if (innerNode.kind === ArkCxxAstNode_1.astKind.DeclRefExpr &&
+            if (innerNode.kind === ast_1.astKind.DeclRefExpr &&
                 (innerNode.type.qualType.includes('iostream') ||
                     innerNode.type.qualType.includes('ostream') ||
                     innerNode.type.qualType.includes('istream') ||
@@ -1311,7 +1311,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         };
         for (let i = 0; i < args.length; i += 1) {
             let arg = args[i];
-            if (arg.kind === ArkCxxAstNode_1.astKind.CXXOperatorCallExpr) {
+            if (arg.kind === ast_1.astKind.CXXOperatorCallExpr) {
                 // Standard stream operator+overloaded stream operator
                 // 1. Object of standard stream operator, call std:: stream function
                 this.buildValueAndStmtsForStdStreamOrLambdaCall(streamNode, nonOverloadedArgs, streamExpr, currValueAndStmts);
@@ -1446,25 +1446,25 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             return overloadedOpToValueAndStmts;
         }
         // operator<< / operator>> and lambda cout scenario
-        if ((((_a = callExpression.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ArkCxxAstNode_1.astKind.ImplicitCastExpr && ((_b = callExpression.inner[0]) === null || _b === void 0 ? void 0 : _b.name) === 'operator>>') ||
+        if ((((_a = callExpression.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ast_1.astKind.ImplicitCastExpr && ((_b = callExpression.inner[0]) === null || _b === void 0 ? void 0 : _b.name) === 'operator>>') ||
             callExpression.name === 'operator<<' ||
             ((_c = callExpression.inner[0]) === null || _c === void 0 ? void 0 : _c.name) === 'operator<<' ||
             ((_d = callExpression.inner[1]) === null || _d === void 0 ? void 0 : _d.type.qualType.toString().includes('(lambda at'))) {
             return this.streamOrLambdaExprToValueAndStmts(callExpression, []);
         }
         // Relational binary operator or assignment operator
-        if (((_e = callExpression.inner[0]) === null || _e === void 0 ? void 0 : _e.kind) === ArkCxxAstNode_1.astKind.ImplicitCastExpr &&
+        if (((_e = callExpression.inner[0]) === null || _e === void 0 ? void 0 : _e.kind) === ast_1.astKind.ImplicitCastExpr &&
             (ArkCxxValueTransformer.isRelationalBinaryOperator((_f = callExpression.inner[0]) === null || _f === void 0 ? void 0 : _f.code) ||
                 this.getOverloadOpName(callExpression) === 'operator=')) {
             return this.CXXOperatorExpressionToBinaryOperator(callExpression);
         }
         // Unary operators (++ / --)
-        if (((_g = callExpression.inner[0]) === null || _g === void 0 ? void 0 : _g.kind) === ArkCxxAstNode_1.astKind.ImplicitCastExpr &&
+        if (((_g = callExpression.inner[0]) === null || _g === void 0 ? void 0 : _g.kind) === ast_1.astKind.ImplicitCastExpr &&
             ['++', '--', '*'].includes((_h = callExpression.inner[0]) === null || _h === void 0 ? void 0 : _h.code)) {
             return this.CXXOperatorExpressionToUnaryOperator(callExpression);
         }
         // Arrow operator (->) in iteration
-        if (((_j = callExpression.inner[0]) === null || _j === void 0 ? void 0 : _j.kind) === ArkCxxAstNode_1.astKind.ImplicitCastExpr &&
+        if (((_j = callExpression.inner[0]) === null || _j === void 0 ? void 0 : _j.kind) === ast_1.astKind.ImplicitCastExpr &&
             ((_k = callExpression.inner[0]) === null || _k === void 0 ? void 0 : _k.code) === '->') {
             return this.cxxNodeToValueAndStmts(callExpression.inner[1]);
         }
@@ -1477,19 +1477,19 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         for (let innerNode of callExpression.inner) {
             // 将第一组递归表达式类型定义为 string 数组
             const recursiveKinds = [
-                ArkCxxAstNode_1.astKind.CXXOperatorCallExpr,
-                ArkCxxAstNode_1.astKind.MaterializeTemporaryExpr,
-                ArkCxxAstNode_1.astKind.CXXBindTemporaryExpr,
-                ArkCxxAstNode_1.astKind.CXXConstructExpr
+                ast_1.astKind.CXXOperatorCallExpr,
+                ast_1.astKind.MaterializeTemporaryExpr,
+                ast_1.astKind.CXXBindTemporaryExpr,
+                ast_1.astKind.CXXConstructExpr
             ];
             if (recursiveKinds.includes(innerNode.kind) ||
-                (innerNode.kind === ArkCxxAstNode_1.astKind.ImplicitCastExpr && innerNode.castKind !== 'FunctionToPointerDecay')) {
+                (innerNode.kind === ast_1.astKind.ImplicitCastExpr && innerNode.castKind !== 'FunctionToPointerDecay')) {
                 innerStmts.push(...this.cxxOperatorExpressionToValueAndStmts(innerNode, false));
             }
-            else if (innerNode.kind === ArkCxxAstNode_1.astKind.DeclRefExpr) {
+            else if (innerNode.kind === ast_1.astKind.DeclRefExpr) {
                 innerStmts.push(this.cxxIdentifierToValueAndStmts(innerNode));
             }
-            else if (innerNode.kind === ArkCxxAstNode_1.astKind.IntegerLiteral || innerNode.kind === ArkCxxAstNode_1.astKind.StringLiteral) {
+            else if (innerNode.kind === ast_1.astKind.IntegerLiteral || innerNode.kind === ast_1.astKind.StringLiteral) {
                 let literalNode = this.cxxLiteralNodeToValueAndStmts(innerNode);
                 if (literalNode) {
                     innerStmts.push(literalNode);
@@ -1515,7 +1515,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         // 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 === 'lvalue' && callNode.inner.length > 0) {
+            while (callNode.kind === ast_1.astKind.ImplicitCastExpr && callNode.valueCategory === 'lvalue' && callNode.inner.length > 0) {
                 callNode = callNode.inner[0];
             }
             if (callNode.type.qualType.includes('std::function') || this.isNodeRelatedToCXXLambdaFunc(callNode)) {
@@ -1658,7 +1658,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             const callerName = callerValue.getName();
             let classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(callerName);
             let cls = ModelUtils_1.ModelUtils.getClass(this.declaringMethod, classSignature);
-            const callExprs = [ArkCxxAstNode_1.astKind.CallExpr, ArkCxxAstNode_1.astKind.CXXOperatorCallExpr];
+            const callExprs = [ast_1.astKind.CallExpr, ast_1.astKind.CXXOperatorCallExpr];
             if ((cls === null || cls === void 0 ? void 0 : cls.hasComponentDecorator()) && callExprs.includes(callExpression.kind)) {
                 return this.cxxGenerateCustomViewStmt(callerName, args, argPositions, callExpression, stmts);
             }
@@ -1859,7 +1859,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const argPositions = [];
         if (argumentNodes) {
             for (let i = 0; i < argumentNodes.length; i++) {
-                if (argumentNodes[i].kind === ArkCxxAstNode_1.astKind.CXXDefaultArgExpr) {
+                if (argumentNodes[i].kind === ast_1.astKind.CXXDefaultArgExpr) {
                     continue;
                 }
                 const argument = argumentNodes[i];
@@ -1908,7 +1908,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const stmts = [];
         let realGenericTypes = this.getRealGenericTypes(newExpression);
         // Handle the scenarios of namespace::Member and class::member
-        const parentClassOrNs = (_a = newExpression.getParent) === null || _a === void 0 ? void 0 : _a.call(newExpression, true).inner.filter(inn => [ArkCxxAstNode_1.astKind.TypeRef, ArkCxxAstNode_1.astKind.NamespaceRef].includes(inn.kind));
+        const parentClassOrNs = (_a = newExpression.getParent) === null || _a === void 0 ? void 0 : _a.call(newExpression, true).inner.filter(inn => [ast_1.astKind.TypeRef, ast_1.astKind.NamespaceRef].includes(inn.kind));
         let refType = null;
         // If the parent node has a namespaceRef or TypeRef, it indicates a constructor call,
         // and should infer the type of the corresponding namespace/class.
@@ -1931,7 +1931,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         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)]);
         // When using the new keyword, the type of Local should be a pointer type.
-        if (newExpression.kind === ArkCxxAstNode_1.astKind.CXXNewExpr) {
+        if (newExpression.kind === ast_1.astKind.CXXNewExpr) {
             newLocal.setType(new Type_2.PointerType(classType, 1));
         }
         stmts.push(...newExprStmts);
@@ -1953,25 +1953,25 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const constructArgs = (() => {
             var _a, _b;
             let args = newExpression.inner;
-            if (newExpression.kind === ArkCxxAstNode_1.astKind.CXXNewExpr && ((_a = newExpression.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ArkCxxAstNode_1.astKind.CXXConstructExpr) {
+            if (newExpression.kind === ast_1.astKind.CXXNewExpr && ((_a = newExpression.inner[0]) === null || _a === void 0 ? void 0 : _a.kind) === ast_1.astKind.CXXConstructExpr) {
                 return [...newExpression.inner[0].inner];
             }
-            else if (newExpression.kind === ArkCxxAstNode_1.astKind.CompoundLiteralExpr) {
+            else if (newExpression.kind === ast_1.astKind.CompoundLiteralExpr) {
                 return this.getConstructArgs(args);
             }
             else if (
             // if case : struct LargeStruct s;, inner.length is 0, so we need to avoid it
-            newExpression.kind === ArkCxxAstNode_1.astKind.CXXConstructExpr &&
+            newExpression.kind === ast_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) === ast_1.astKind.CompoundLiteralExpr) {
                 return this.getConstructArgs(args[0].inner[0].inner);
             }
-            else if (newExpression.kind === ArkCxxAstNode_1.astKind.InitListExpr) {
+            else if (newExpression.kind === ast_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) !== ast_1.astKind.TemplateRef &&
+                (arg === null || arg === void 0 ? void 0 : arg.kind) !== ast_1.astKind.NamespaceRef &&
+                (arg === null || arg === void 0 ? void 0 : arg.kind) !== ast_1.astKind.TypeRef);
         })();
         const { args: argValues, argPositions } = this.cxxParseArguments(stmts, constructArgs);
         const constructorMethodSignature = this.getConstructorSignatureByClassTypeAndArgs(classType, argValues);
@@ -2024,7 +2024,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         if (Array.isArray(constructArgs)) {
             arr = constructArgs;
         }
-        else if (constructArgs.kind === ArkCxxAstNode_1.astKind.InitListExpr) {
+        else if (constructArgs.kind === ast_1.astKind.InitListExpr) {
             arr = (_a = constructArgs.inner) !== null && _a !== void 0 ? _a : [];
         }
         else {
@@ -2032,11 +2032,11 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             arr = (_b = constructArgs.inner) !== null && _b !== void 0 ? _b : [];
         }
         // 2) If the second element itself is InitListExpr, take its inner as the real parameter
-        if (((_c = arr[1]) === null || _c === void 0 ? void 0 : _c.kind) === ArkCxxAstNode_1.astKind.InitListExpr) {
+        if (((_c = arr[1]) === null || _c === void 0 ? void 0 : _c.kind) === ast_1.astKind.InitListExpr) {
             arr = (_d = arr[1].inner) !== null && _d !== void 0 ? _d : [];
         }
         // 3) If there is "implicit conversion" (original logic: check whether the second element is ImplicitCastExpr)
-        const useInner1 = ((_e = arr[1]) === null || _e === void 0 ? void 0 : _e.kind) === ArkCxxAstNode_1.astKind.ImplicitCastExpr;
+        const useInner1 = ((_e = arr[1]) === null || _e === void 0 ? void 0 : _e.kind) === ast_1.astKind.ImplicitCastExpr;
         // 4) Generate a new parameter list (equivalent to the original logic)
         const newConstructArgs = [];
         for (let i = 0; i < arr.length; i++) {
@@ -2345,8 +2345,8 @@ 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 === '++' || operatorToken === '--') {
             const needAssign = [
-                ArkCxxAstNode_1.astKind.VarDecl, ArkCxxAstNode_1.astKind.BinaryOperator, ArkCxxAstNode_1.astKind.BinaryConditionalOperator,
-                ArkCxxAstNode_1.astKind.ConditionalOperator, ArkCxxAstNode_1.astKind.ArraySubscriptExpr,
+                ast_1.astKind.VarDecl, ast_1.astKind.BinaryOperator, ast_1.astKind.BinaryConditionalOperator,
+                ast_1.astKind.ConditionalOperator, ast_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;
             if (parent && needAssign.includes(parent.kind)) {
@@ -2403,7 +2403,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             rightOpNode = nodeInnerNode(variableDeclaration);
         }
         // In this case, the non assigned information on the right node needs to be discarded
-        if (this.isCxxArray(leftOpNode.type.qualType) && (rightOpNode === null || rightOpNode === void 0 ? void 0 : rightOpNode.kind) === ArkCxxAstNode_1.astKind.IntegerLiteral) {
+        if (this.isCxxArray(leftOpNode.type.qualType) && (rightOpNode === null || rightOpNode === void 0 ? void 0 : rightOpNode.kind) === ast_1.astKind.IntegerLiteral) {
             rightOpNode = undefined;
         }
         const declarationType = variableDeclaration.type ? (0, builderUtils_1.cxxNode2Type)(variableDeclaration, this.declaringMethod) : Type_1.UnknownType.getInstance();
@@ -2430,7 +2430,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
      */
     cxxAssignmentToValueAndStmts(leftOpNode, rightOpNode, variableDefFlag, isConst, declarationType, needRightOp = true) {
         let leftValueAndStmts;
-        if (leftOpNode.kind.toString() === ArkCxxAstNode_1.astKind.VarDecl) {
+        if (leftOpNode.kind.toString() === ast_1.astKind.VarDecl) {
             leftValueAndStmts = this.cxxIdentifierToValueAndStmts(leftOpNode, variableDefFlag);
         }
         else {
@@ -2452,7 +2452,7 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
             }
             const assignStmt = new Stmt_1.ArkAssignStmt(leftValue, rightValue);
             assignStmt.setOperandOriginalPositions([...leftPositions, ...rightPositions]);
-            if (leftOpNode.kind === ArkCxxAstNode_1.astKind.InitListExpr) {
+            if (leftOpNode.kind === ast_1.astKind.InitListExpr) {
                 stmts.push(...rightStmts);
                 stmts.push(assignStmt);
                 stmts.push(...leftStmts);
@@ -2702,31 +2702,31 @@ class ArkCxxValueTransformer extends ArkValueTransformer_1.ArkValueTransformer {
         const pos = [Position_1.FullPosition.cxxBuildFromNode(literalNode, this.cxxSourceFile)];
         const S = (v) => v !== null && v !== void 0 ? v : '';
         switch (literalNode.kind) {
-            case ArkCxxAstNode_1.astKind.IntegerLiteral: {
+            case ast_1.astKind.IntegerLiteral: {
                 const num = (S(literalNode.value) || S(literalNode.code));
                 const constant = ValueUtil_1.CxxValueUtil.getOrCreateNumberConst(num ? num : 0);
                 return { value: constant, valueOriginalPositions: pos, stmts };
             }
-            case ArkCxxAstNode_1.astKind.FloatingLiteral: {
+            case ast_1.astKind.FloatingLiteral: {
                 const num = this.parseFloatAsCxxFloat(S(literalNode.value) || S(literalNode.code));
                 const constant = ValueUtil_1.CxxValueUtil.getOrCreateNumberConst(Number.isFinite(num) ? num : 0);
                 return { value: constant, valueOriginalPositions: pos, stmts };
             }
-            case ArkCxxAstNode_1.astKind.StringLiteral: {
+            case ast_1.astKind.StringLiteral: {
                 const constant = ValueUtil_1.CxxValueUtil.createStringConst(S(literalNode.value) || S(literalNode.code));
                 return { value: constant, valueOriginalPositions: pos, stmts };
             }
-            case ArkCxxAstNode_1.astKind.CharacterLiteral: {
+            case ast_1.astKind.CharacterLiteral: {
                 const constant = ValueUtil_1.CxxValueUtil.createCharConst(S(literalNode.code));
                 return { value: constant, valueOriginalPositions: pos, stmts };
             }
-            case ArkCxxAstNode_1.astKind.CXXBoolLiteralExpr: {
+            case ast_1.astKind.CXXBoolLiteralExpr: {
                 const raw = ((_b = (_a = literalNode.value) !== null && _a !== void 0 ? _a : literalNode.code) !== null && _b !== void 0 ? _b : '').toString().trim().toLowerCase();
                 const b = raw === 'true' || raw === '1';
                 const constant = ValueUtil_1.CxxValueUtil.getBooleanConstant(b);
                 return { value: constant, valueOriginalPositions: pos, stmts };
             }
-            case ArkCxxAstNode_1.astKind.CXXNullPtrLiteralExpr: {
+            case ast_1.astKind.CXXNullPtrLiteralExpr: {
                 const constant = Constant_1.NullConstant.getInstance();
                 return { value: constant, valueOriginalPositions: pos, stmts };
             }