arkanalyzer 1.0.73 → 1.0.74

package/lib/core/common/ArkValueTransformer.js

@@ -1,1816 +1,1812 @@
-"use strict";
-/*
- * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ArkValueTransformer = void 0;
-const ts = __importStar(require("ohos-typescript"));
-const Local_1 = require("../base/Local");
-const Position_1 = require("../base/Position");
-const Stmt_1 = require("../base/Stmt");
-const Expr_1 = require("../base/Expr");
-const ArkClass_1 = require("../model/ArkClass");
-const ArkClassBuilder_1 = require("../model/builder/ArkClassBuilder");
-const Type_1 = require("../base/Type");
-const ArkSignatureBuilder_1 = require("../model/builder/ArkSignatureBuilder");
-const TSConst_1 = require("./TSConst");
-const ArkSignature_1 = require("../model/ArkSignature");
-const EtsConst_1 = require("./EtsConst");
-const ValueUtil_1 = require("./ValueUtil");
-const IRUtils_1 = require("./IRUtils");
-const Ref_1 = require("../base/Ref");
-const ModelUtils_1 = require("./ModelUtils");
-const ArkMethod_1 = require("../model/ArkMethod");
-const ArkMethodBuilder_1 = require("../model/builder/ArkMethodBuilder");
-const Builtin_1 = require("./Builtin");
-const Constant_1 = require("../base/Constant");
-const Const_1 = require("./Const");
-const ArkIRTransformer_1 = require("./ArkIRTransformer");
-const logger_1 = __importStar(require("../../utils/logger"));
-const TypeInference_1 = require("./TypeInference");
-const TypeExpr_1 = require("../base/TypeExpr");
-const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ArkValueTransformer');
-class ArkValueTransformer {
-    constructor(arkIRTransformer, sourceFile, declaringMethod) {
-        this.conditionalOperatorNo = 0;
-        this.tempLocalNo = 0;
-        this.locals = new Map();
-        this.aliasTypeMap = new Map();
-        this.builderMethodContextFlag = false;
-        this.arkIRTransformer = arkIRTransformer;
-        this.sourceFile = sourceFile;
-        this.thisLocal = new Local_1.Local(TSConst_1.THIS_NAME, declaringMethod.getDeclaringArkClass().getSignature().getType());
-        this.locals.set(this.thisLocal.getName(), this.thisLocal);
-        this.declaringMethod = declaringMethod;
-    }
-    getLocals() {
-        return new Set(this.locals.values());
-    }
-    getThisLocal() {
-        return this.thisLocal;
-    }
-    getAliasTypeMap() {
-        return this.aliasTypeMap;
-    }
-    addNewLocal(localName, localType = Type_1.UnknownType.getInstance()) {
-        let local = new Local_1.Local(localName, localType);
-        this.locals.set(localName, local);
-        return local;
-    }
-    getGlobals() {
-        var _a;
-        return (_a = this.globals) !== null && _a !== void 0 ? _a : null;
-    }
-    addNewGlobal(name, ref) {
-        var _a;
-        let globalRef = new Ref_1.GlobalRef(name, ref);
-        this.globals = (_a = this.globals) !== null && _a !== void 0 ? _a : new Map();
-        this.globals.set(name, globalRef);
-        return globalRef;
-    }
-    tsNodeToValueAndStmts(node) {
-        if (ts.isBinaryExpression(node)) {
-            return this.binaryExpressionToValueAndStmts(node);
-        }
-        else if (ts.isCallExpression(node)) {
-            return this.callExpressionToValueAndStmts(node);
-        }
-        else if (ts.isVariableDeclarationList(node)) {
-            return this.variableDeclarationListToValueAndStmts(node);
-        }
-        else if (ts.isIdentifier(node)) {
-            return this.identifierToValueAndStmts(node);
-        }
-        else if (ts.isPropertyAccessExpression(node)) {
-            return this.propertyAccessExpressionToValue(node);
-        }
-        else if (ts.isPrefixUnaryExpression(node)) {
-            return this.prefixUnaryExpressionToValueAndStmts(node);
-        }
-        else if (ts.isPostfixUnaryExpression(node)) {
-            return this.postfixUnaryExpressionToValueAndStmts(node);
-        }
-        else if (ts.isTemplateExpression(node)) {
-            return this.templateExpressionToValueAndStmts(node);
-        }
-        else if (ts.isTaggedTemplateExpression(node)) {
-            return this.taggedTemplateExpressionToValueAndStmts(node);
-        }
-        else if (ts.isAwaitExpression(node)) {
-            return this.awaitExpressionToValueAndStmts(node);
-        }
-        else if (ts.isYieldExpression(node)) {
-            return this.yieldExpressionToValueAndStmts(node);
-        }
-        else if (ts.isDeleteExpression(node)) {
-            return this.deleteExpressionToValueAndStmts(node);
-        }
-        else if (ts.isVoidExpression(node)) {
-            return this.voidExpressionToValueAndStmts(node);
-        }
-        else if (ts.isElementAccessExpression(node)) {
-            return this.elementAccessExpressionToValueAndStmts(node);
-        }
-        else if (ts.isNewExpression(node)) {
-            return this.newExpressionToValueAndStmts(node);
-        }
-        else if (ts.isParenthesizedExpression(node)) {
-            return this.parenthesizedExpressionToValueAndStmts(node);
-        }
-        else if (ts.isAsExpression(node)) {
-            return this.asExpressionToValueAndStmts(node);
-        }
-        else if (ts.isNonNullExpression(node)) {
-            return this.nonNullExpressionToValueAndStmts(node);
-        }
-        else if (ts.isTypeAssertionExpression(node)) {
-            return this.typeAssertionToValueAndStmts(node);
-        }
-        else if (ts.isTypeOfExpression(node)) {
-            return this.typeOfExpressionToValueAndStmts(node);
-        }
-        else if (ts.isArrayLiteralExpression(node)) {
-            return this.arrayLiteralExpressionToValueAndStmts(node);
-        }
-        else if (this.isLiteralNode(node)) {
-            return this.literalNodeToValueAndStmts(node);
-        }
-        else if (ts.isArrowFunction(node) || ts.isFunctionExpression(node)) {
-            return this.callableNodeToValueAndStmts(node);
-        }
-        else if (ts.isClassExpression(node)) {
-            return this.classExpressionToValueAndStmts(node);
-        }
-        else if (ts.isEtsComponentExpression(node)) {
-            return this.etsComponentExpressionToValueAndStmts(node);
-        }
-        else if (ts.isObjectLiteralExpression(node)) {
-            return this.objectLiteralExpresionToValueAndStmts(node);
-        }
-        else if (node.kind === ts.SyntaxKind.ThisKeyword) {
-            return this.thisExpressionToValueAndStmts(node);
-        }
-        else if (node.kind === ts.SyntaxKind.SuperKeyword) {
-            return this.superExpressionToValueAndStmts(node);
-        }
-        else if (ts.isConditionalExpression(node)) {
-            return this.conditionalExpressionToValueAndStmts(node);
-        }
-        else if (ts.isSpreadElement(node)) {
-            return this.tsNodeToValueAndStmts(node.expression);
-        }
-        return {
-            value: new Local_1.Local(node.getText(this.sourceFile)),
-            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(node, this.sourceFile)],
-            stmts: [],
-        };
-    }
-    tsNodeToSingleAddressValueAndStmts(node) {
-        const allStmts = [];
-        let { value, valueOriginalPositions, stmts } = this.tsNodeToValueAndStmts(node);
-        stmts.forEach(stmt => allStmts.push(stmt));
-        if (IRUtils_1.IRUtils.moreThanOneAddress(value)) {
-            ({
-                value,
-                valueOriginalPositions,
-                stmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(value, valueOriginalPositions));
-            stmts.forEach(stmt => allStmts.push(stmt));
-        }
-        return { value, valueOriginalPositions, stmts: allStmts };
-    }
-    thisExpressionToValueAndStmts(thisExpression) {
-        return {
-            value: this.getThisLocal(),
-            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(thisExpression, this.sourceFile)],
-            stmts: [],
-        };
-    }
-    superExpressionToValueAndStmts(superExpression) {
-        return {
-            value: this.getOrCreateLocal(TSConst_1.SUPER_NAME),
-            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(superExpression, this.sourceFile)],
-            stmts: [],
-        };
-    }
-    conditionalExpressionToValueAndStmts(conditionalExpression) {
-        const stmts = [];
-        const currConditionalOperatorIndex = this.conditionalOperatorNo++;
-        const { value: conditionValue, valueOriginalPositions: conditionPositions, stmts: conditionStmts, } = this.conditionToValueAndStmts(conditionalExpression.condition);
-        conditionStmts.forEach(stmt => stmts.push(stmt));
-        const ifStmt = new Stmt_1.ArkIfStmt(conditionValue);
-        ifStmt.setOperandOriginalPositions(conditionPositions);
-        stmts.push(ifStmt);
-        stmts.push(new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_CONDITIONAL_OPERATOR_IF_TRUE_STMT + currConditionalOperatorIndex));
-        const { value: whenTrueValue, valueOriginalPositions: whenTruePositions, stmts: whenTrueStmts, } = this.tsNodeToValueAndStmts(conditionalExpression.whenTrue);
-        whenTrueStmts.forEach(stmt => stmts.push(stmt));
-        const resultLocal = this.generateTempLocal();
-        const assignStmtWhenTrue = new Stmt_1.ArkAssignStmt(resultLocal, whenTrueValue);
-        const resultLocalPosition = [whenTruePositions[0]];
-        assignStmtWhenTrue.setOperandOriginalPositions([...resultLocalPosition, ...whenTruePositions]);
-        stmts.push(assignStmtWhenTrue);
-        stmts.push(new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_CONDITIONAL_OPERATOR_IF_FALSE_STMT + currConditionalOperatorIndex));
-        const { value: whenFalseValue, valueOriginalPositions: whenFalsePositions, stmts: whenFalseStmts, } = this.tsNodeToValueAndStmts(conditionalExpression.whenFalse);
-        whenFalseStmts.forEach(stmt => stmts.push(stmt));
-        const assignStmt = new Stmt_1.ArkAssignStmt(resultLocal, whenFalseValue);
-        assignStmt.setOperandOriginalPositions([...resultLocalPosition, ...whenFalsePositions]);
-        stmts.push(assignStmt);
-        stmts.push(new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_CONDITIONAL_OPERATOR_END_STMT + currConditionalOperatorIndex));
-        return {
-            value: resultLocal,
-            valueOriginalPositions: resultLocalPosition,
-            stmts: stmts,
-        };
-    }
-    objectLiteralExpresionToValueAndStmts(objectLiteralExpression) {
-        const declaringArkClass = this.declaringMethod.getDeclaringArkClass();
-        const declaringArkNamespace = declaringArkClass.getDeclaringArkNamespace();
-        const anonymousClass = new ArkClass_1.ArkClass();
-        if (declaringArkNamespace) {
-            (0, ArkClassBuilder_1.buildNormalArkClassFromArkNamespace)(objectLiteralExpression, declaringArkNamespace, anonymousClass, this.sourceFile, this.declaringMethod);
-            declaringArkNamespace.addArkClass(anonymousClass);
-        }
-        else {
-            const declaringArkFile = declaringArkClass.getDeclaringArkFile();
-            (0, ArkClassBuilder_1.buildNormalArkClassFromArkFile)(objectLiteralExpression, declaringArkFile, anonymousClass, this.sourceFile, this.declaringMethod);
-            declaringArkFile.addArkClass(anonymousClass);
-        }
-        const objectLiteralExpressionPosition = Position_1.FullPosition.buildFromNode(objectLiteralExpression, this.sourceFile);
-        const stmts = [];
-        const anonymousClassSignature = anonymousClass.getSignature();
-        const anonymousClassType = new Type_1.ClassType(anonymousClassSignature);
-        const newExpr = new Expr_1.ArkNewExpr(anonymousClassType);
-        const { value: newExprLocal, valueOriginalPositions: newExprLocalPositions, stmts: newExprStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newExpr, [objectLiteralExpressionPosition]);
-        newExprStmts.forEach(stmt => stmts.push(stmt));
-        const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
-        const constructorMethodSignature = new ArkSignature_1.MethodSignature(anonymousClassSignature, constructorMethodSubSignature);
-        const constructorInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newExprLocal, constructorMethodSignature, []);
-        const assignStmt = new Stmt_1.ArkAssignStmt(newExprLocal, constructorInvokeExpr);
-        const assignStmtPositions = [newExprLocalPositions[0], newExprLocalPositions[0], ...newExprLocalPositions];
-        assignStmt.setOperandOriginalPositions(assignStmtPositions);
-        stmts.push(assignStmt);
-        return { value: newExprLocal, valueOriginalPositions: assignStmtPositions, stmts: stmts };
-    }
-    generateSystemComponentStmt(componentName, args, argPositionsAllFlat, componentExpression, currStmts) {
-        const stmts = [...currStmts];
-        const componentExpressionPosition = Position_1.FullPosition.buildFromNode(componentExpression, this.sourceFile);
-        const { value: componentValue, valueOriginalPositions: componentPositions, stmts: componentStmts, } = this.generateComponentCreationStmts(componentName, args, componentExpressionPosition, argPositionsAllFlat);
-        componentStmts.forEach(stmt => stmts.push(stmt));
-        if (ts.isEtsComponentExpression(componentExpression) && componentExpression.body) {
-            for (const statement of componentExpression.body.statements) {
-                this.arkIRTransformer.tsNodeToStmts(statement).forEach(stmt => stmts.push(stmt));
-            }
-        }
-        stmts.push(this.generateComponentPopStmts(componentName, componentExpressionPosition));
-        return {
-            value: componentValue,
-            valueOriginalPositions: componentPositions,
-            stmts: stmts,
-        };
-    }
-    generateCustomViewStmt(componentName, args, argPositionsAllFlat, componentExpression, currStmts) {
-        const stmts = [...currStmts];
-        const componentExpressionPosition = Position_1.FullPosition.buildFromNode(componentExpression, this.sourceFile);
-        const classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(componentName);
-        const classType = new Type_1.ClassType(classSignature);
-        const newExpr = new Expr_1.ArkNewExpr(classType);
-        const { value: newExprLocal, valueOriginalPositions: newExprPositions, stmts: newExprStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newExpr, [componentExpressionPosition]);
-        newExprStmts.forEach(stmt => stmts.push(stmt));
-        const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
-        const constructorMethodSignature = new ArkSignature_1.MethodSignature(classSignature, constructorMethodSubSignature);
-        const instanceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newExprLocal, constructorMethodSignature, args);
-        const assignStmt = new Stmt_1.ArkAssignStmt(newExprLocal, instanceInvokeExpr);
-        const assignStmtPositions = [componentExpressionPosition, componentExpressionPosition, ...newExprPositions, ...argPositionsAllFlat];
-        assignStmt.setOperandOriginalPositions(assignStmtPositions);
-        stmts.push(assignStmt);
-        const createViewArgs = [newExprLocal];
-        const createViewArgPositionsAll = [newExprPositions];
-        if (ts.isEtsComponentExpression(componentExpression) && componentExpression.body) {
-            const anonymous = ts.factory.createArrowFunction([], [], [], undefined, undefined, componentExpression.body);
-            // @ts-expect-error: add pos info for the created ArrowFunction
-            anonymous.pos = componentExpression.body.pos;
-            // @ts-expect-error: add end info for the created ArrowFunction
-            anonymous.end = componentExpression.body.end;
-            const { value: builderMethod, valueOriginalPositions: builderMethodPositions, } = this.callableNodeToValueAndStmts(anonymous);
-            createViewArgs.push(builderMethod);
-            createViewArgPositionsAll.push(builderMethodPositions);
-        }
-        const { value: componentValue, valueOriginalPositions: componentPositions, stmts: componentStmts, } = this.generateComponentCreationStmts(EtsConst_1.COMPONENT_CUSTOMVIEW, createViewArgs, componentExpressionPosition, createViewArgPositionsAll.flat());
-        componentStmts.forEach(stmt => stmts.push(stmt));
-        stmts.push(this.generateComponentPopStmts(EtsConst_1.COMPONENT_CUSTOMVIEW, componentExpressionPosition));
-        return {
-            value: componentValue,
-            valueOriginalPositions: componentPositions,
-            stmts: stmts,
-        };
-    }
-    generateComponentCreationStmts(componentName, createArgs, componentExpressionPosition, createArgsPositionsAllFlat) {
-        const createMethodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromClassNameAndMethodName(componentName, EtsConst_1.COMPONENT_CREATE_FUNCTION);
-        const createInvokeExpr = new Expr_1.ArkStaticInvokeExpr(createMethodSignature, createArgs);
-        const createInvokeExprPositions = [componentExpressionPosition, ...createArgsPositionsAllFlat];
-        const { value: componentValue, valueOriginalPositions: componentPositions, stmts: componentStmts, } = this.arkIRTransformer.generateAssignStmtForValue(createInvokeExpr, createInvokeExprPositions);
-        return {
-            value: componentValue,
-            valueOriginalPositions: componentPositions,
-            stmts: componentStmts,
-        };
-    }
-    generateComponentPopStmts(componentName, componentExpressionPosition) {
-        const popMethodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromClassNameAndMethodName(componentName, EtsConst_1.COMPONENT_POP_FUNCTION);
-        const popInvokeExpr = new Expr_1.ArkStaticInvokeExpr(popMethodSignature, []);
-        const popInvokeExprPositions = [componentExpressionPosition];
-        const popInvokeStmt = new Stmt_1.ArkInvokeStmt(popInvokeExpr);
-        popInvokeStmt.setOperandOriginalPositions(popInvokeExprPositions);
-        return popInvokeStmt;
-    }
-    etsComponentExpressionToValueAndStmts(etsComponentExpression) {
-        const stmts = [];
-        const componentName = etsComponentExpression.expression.text;
-        const { argValues: argValues, argPositions: argPositions, } = this.parseArguments(stmts, etsComponentExpression.arguments);
-        if ((0, EtsConst_1.isEtsSystemComponent)(componentName)) {
-            return this.generateSystemComponentStmt(componentName, argValues, argPositions, etsComponentExpression, stmts);
-        }
-        return this.generateCustomViewStmt(componentName, argValues, argPositions, etsComponentExpression, stmts);
-    }
-    classExpressionToValueAndStmts(classExpression) {
-        const declaringArkClass = this.declaringMethod.getDeclaringArkClass();
-        const declaringArkNamespace = declaringArkClass.getDeclaringArkNamespace();
-        const newClass = new ArkClass_1.ArkClass();
-        if (declaringArkNamespace) {
-            (0, ArkClassBuilder_1.buildNormalArkClassFromArkNamespace)(classExpression, declaringArkNamespace, newClass, this.sourceFile, this.declaringMethod);
-            declaringArkNamespace.addArkClass(newClass);
-        }
-        else {
-            const declaringArkFile = declaringArkClass.getDeclaringArkFile();
-            (0, ArkClassBuilder_1.buildNormalArkClassFromArkFile)(classExpression, declaringArkFile, newClass, this.sourceFile, this.declaringMethod);
-            declaringArkFile.addArkClass(newClass);
-        }
-        const classValue = this.addNewLocal(newClass.getName(), new Type_1.ClassType(newClass.getSignature()));
-        return {
-            value: classValue,
-            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(classExpression, this.sourceFile)],
-            stmts: [],
-        };
-    }
-    templateExpressionToValueAndStmts(templateExpression) {
-        const { stmts, stringTextValues, placeholderValues, stringTextPositions, placeholderPositions, } = this.collectTemplateValues(templateExpression);
-        const { placeholderStringLocals, placeholderStringLocalPositions, newStmts } = this.processTemplatePlaceholders(placeholderValues, placeholderPositions, stmts);
-        return this.combineTemplateParts(stringTextValues, stringTextPositions, placeholderStringLocals, placeholderStringLocalPositions, newStmts);
-    }
-    processTemplatePlaceholders(placeholderValues, placeholderPositions, currStmts) {
-        const placeholderStringLocals = [];
-        const placeholderStringLocalPositions = [];
-        const newStmts = [...currStmts];
-        for (let i = 0; i < placeholderValues.length; i++) {
-            let placeholderValue = placeholderValues[i];
-            let placeholderPosition = [placeholderPositions[i]];
-            let placeholderStmts = [];
-            if (!(placeholderValue instanceof Local_1.Local)) {
-                ({
-                    value: placeholderValue,
-                    valueOriginalPositions: placeholderPosition,
-                    stmts: placeholderStmts,
-                } = this.arkIRTransformer.generateAssignStmtForValue(placeholderValue, placeholderPosition));
-            }
-            placeholderStmts.forEach(stmt => newStmts.push(stmt));
-            const toStringExpr = new Expr_1.ArkInstanceInvokeExpr(placeholderValue, Builtin_1.Builtin.TO_STRING_METHOD_SIGNATURE, []);
-            const toStringExprPosition = [placeholderPosition[0], placeholderPosition[0]];
-            const { value: placeholderStringLocal, valueOriginalPositions: placeholderStringPositions, stmts: toStringStmts, } = this.arkIRTransformer.generateAssignStmtForValue(toStringExpr, toStringExprPosition);
-            placeholderStringLocals.push(placeholderStringLocal);
-            placeholderStringLocalPositions.push(placeholderStringPositions[0]);
-            toStringStmts.forEach(stmt => newStmts.push(stmt));
-        }
-        return {
-            placeholderStringLocals,
-            placeholderStringLocalPositions,
-            newStmts,
-        };
-    }
-    combineTemplateParts(stringTextValues, stringTextPositions, placeholderStringLocals, placeholderStringLocalPositions, currStmts) {
-        const templateParts = [];
-        const templatePartPositions = [];
-        for (let i = 0; i < placeholderStringLocals.length; i++) {
-            if (stringTextValues[i] !== ValueUtil_1.ValueUtil.EMPTY_STRING_CONSTANT) {
-                templateParts.push(stringTextValues[i]);
-                templatePartPositions.push(stringTextPositions[i]);
-            }
-            templateParts.push(placeholderStringLocals[i]);
-            templatePartPositions.push(placeholderStringLocalPositions[i]);
-        }
-        if (stringTextValues[stringTextValues.length - 1] !== ValueUtil_1.ValueUtil.EMPTY_STRING_CONSTANT) {
-            templateParts.push(stringTextValues[stringTextValues.length - 1]);
-            templatePartPositions.push(stringTextPositions[stringTextPositions.length - 1]);
-        }
-        let currTemplateResult = templateParts[0];
-        let currTemplateResultPosition = templatePartPositions[0];
-        const finalStmts = [...currStmts];
-        for (let i = 1; i < templateParts.length; i++) {
-            const nextTemplatePartPosition = templatePartPositions[i];
-            const normalBinopExpr = new Expr_1.ArkNormalBinopExpr(currTemplateResult, templateParts[i], Expr_1.NormalBinaryOperator.Addition);
-            const normalBinopExprPositions = [
-                Position_1.FullPosition.merge(currTemplateResultPosition, nextTemplatePartPosition),
-                currTemplateResultPosition,
-                nextTemplatePartPosition,
-            ];
-            const { value: combinationValue, valueOriginalPositions: combinationValuePositions, stmts: combinationStmts, } = this.arkIRTransformer.generateAssignStmtForValue(normalBinopExpr, normalBinopExprPositions);
-            combinationStmts.forEach(stmt => finalStmts.push(stmt));
-            currTemplateResult = combinationValue;
-            currTemplateResultPosition = combinationValuePositions[0];
-        }
-        return {
-            value: currTemplateResult,
-            valueOriginalPositions: [currTemplateResultPosition],
-            stmts: finalStmts,
-        };
-    }
-    taggedTemplateExpressionToValueAndStmts(taggedTemplateExpression) {
-        const { stmts, stringTextValues, placeholderValues, stringTextPositions, placeholderPositions, } = this.collectTemplateValues(taggedTemplateExpression.template);
-        const stringTextBaseType = Type_1.StringType.getInstance();
-        const stringTextArrayLen = stringTextValues.length;
-        const stringTextArrayLenValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(stringTextArrayLen);
-        const stringTextArrayLenPosition = Position_1.FullPosition.DEFAULT;
-        const { value: templateObjectLocal, valueOriginalPositions: templateObjectLocalPositions, stmts: templateObjectStmts, } = this.generateArrayExprAndStmts(stringTextBaseType, stringTextArrayLenValue, stringTextArrayLenPosition, stringTextArrayLen, stringTextValues, stringTextPositions, stmts, Position_1.FullPosition.DEFAULT, true);
-        const placeholderBaseType = Type_1.AnyType.getInstance();
-        const placeholdersArrayLen = placeholderValues.length;
-        const placeholdersArrayLenValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(placeholdersArrayLen);
-        const placeholdersArrayLenPosition = Position_1.FullPosition.DEFAULT;
-        const { value: placeholdersLocal, valueOriginalPositions: placeholdersLocalPositions, stmts: placeholdersStmts, } = this.generateArrayExprAndStmts(placeholderBaseType, placeholdersArrayLenValue, placeholdersArrayLenPosition, placeholdersArrayLen, placeholderValues, placeholderPositions, templateObjectStmts, Position_1.FullPosition.DEFAULT, true);
-        const taggedFuncArgus = {
-            realGenericTypes: undefined, argValues: [templateObjectLocal, placeholdersLocal],
-            argPositions: [templateObjectLocalPositions[0], placeholdersLocalPositions[0]],
-        };
-        return this.generateInvokeValueAndStmts(taggedTemplateExpression.tag, taggedFuncArgus, placeholdersStmts, taggedTemplateExpression);
-    }
-    collectTemplateValues(templateLiteral) {
-        const stmts = [];
-        if (ts.isNoSubstitutionTemplateLiteral(templateLiteral)) {
-            const templateLiteralString = templateLiteral.getText(this.sourceFile);
-            return {
-                stmts: [],
-                stringTextValues: [ValueUtil_1.ValueUtil.createStringConst(templateLiteralString)],
-                placeholderValues: [],
-                stringTextPositions: [Position_1.FullPosition.buildFromNode(templateLiteral, this.sourceFile)],
-                placeholderPositions: [],
-            };
-        }
-        const head = templateLiteral.head;
-        const stringTextValues = [ValueUtil_1.ValueUtil.createStringConst(head.rawText || '')];
-        const placeholderValues = [];
-        const stringTextPositions = [Position_1.FullPosition.buildFromNode(head, this.sourceFile)];
-        const placeholderPositions = [];
-        for (const templateSpan of templateLiteral.templateSpans) {
-            let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(templateSpan.expression);
-            exprStmts.forEach(stmt => stmts.push(stmt));
-            if (IRUtils_1.IRUtils.moreThanOneAddress(exprValue)) {
-                ({
-                    value: exprValue,
-                    valueOriginalPositions: exprPositions,
-                    stmts: exprStmts,
-                } = this.arkIRTransformer.generateAssignStmtForValue(exprValue, exprPositions));
-                exprStmts.forEach(stmt => stmts.push(stmt));
-            }
-            placeholderValues.push(exprValue);
-            placeholderPositions.push(exprPositions[0]);
-            stringTextPositions.push(Position_1.FullPosition.buildFromNode(templateSpan.literal, this.sourceFile));
-            stringTextValues.push(ValueUtil_1.ValueUtil.createStringConst(templateSpan.literal.rawText || ''));
-        }
-        return {
-            stmts,
-            stringTextValues,
-            placeholderValues,
-            stringTextPositions,
-            placeholderPositions,
-        };
-    }
-    identifierToValueAndStmts(identifier, variableDefFlag = false) {
-        let identifierValue;
-        let identifierPositions = [Position_1.FullPosition.buildFromNode(identifier, this.sourceFile)];
-        if (identifier.text === Type_1.UndefinedType.getInstance().getName()) {
-            identifierValue = ValueUtil_1.ValueUtil.getUndefinedConst();
-        }
-        else {
-            if (variableDefFlag) {
-                identifierValue = this.addNewLocal(identifier.text);
-            }
-            else {
-                identifierValue = this.getOrCreateLocal(identifier.text);
-            }
-        }
-        return {
-            value: identifierValue,
-            valueOriginalPositions: identifierPositions,
-            stmts: [],
-        };
-    }
-    propertyAccessExpressionToValue(propertyAccessExpression) {
-        const stmts = [];
-        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts, } = this.tsNodeToValueAndStmts(propertyAccessExpression.expression);
-        baseStmts.forEach(stmt => stmts.push(stmt));
-        if (IRUtils_1.IRUtils.moreThanOneAddress(baseValue)) {
-            ({
-                value: baseValue,
-                valueOriginalPositions: basePositions,
-                stmts: baseStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
-            baseStmts.forEach(stmt => stmts.push(stmt));
-        }
-        if (!(baseValue instanceof Local_1.Local)) {
-            ({
-                value: baseValue,
-                valueOriginalPositions: basePositions,
-                stmts: baseStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
-            baseStmts.forEach(stmt => stmts.push(stmt));
-        }
-        const fieldRefPositions = [Position_1.FullPosition.buildFromNode(propertyAccessExpression, this.sourceFile), ...basePositions];
-        // this if for the case: const obj: Object = Object.create(Object.prototype);
-        if (baseValue instanceof Local_1.Local && baseValue.getName() === Builtin_1.Builtin.OBJECT) {
-            this.locals.delete(baseValue.getName());
-            const fieldSignature = new ArkSignature_1.FieldSignature(propertyAccessExpression.name.getText(this.sourceFile), Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE, Type_1.UnknownType.getInstance(), true);
-            const fieldRef = new Ref_1.ArkStaticFieldRef(fieldSignature);
-            return {
-                value: fieldRef,
-                valueOriginalPositions: fieldRefPositions,
-                stmts: stmts,
-            };
-        }
-        let fieldSignature;
-        if (baseValue instanceof Local_1.Local && baseValue.getType() instanceof Type_1.ClassType) {
-            fieldSignature = new ArkSignature_1.FieldSignature(propertyAccessExpression.name.getText(this.sourceFile), baseValue.getType().getClassSignature(), Type_1.UnknownType.getInstance());
-        }
-        else {
-            fieldSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(propertyAccessExpression.name.getText(this.sourceFile));
-        }
-        const fieldRef = new Ref_1.ArkInstanceFieldRef(baseValue, fieldSignature);
-        return {
-            value: fieldRef,
-            valueOriginalPositions: fieldRefPositions,
-            stmts: stmts,
-        };
-    }
-    elementAccessExpressionToValueAndStmts(elementAccessExpression) {
-        const stmts = [];
-        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts, } = this.tsNodeToValueAndStmts(elementAccessExpression.expression);
-        baseStmts.forEach(stmt => stmts.push(stmt));
-        if (!(baseValue instanceof Local_1.Local)) {
-            ({
-                value: baseValue,
-                valueOriginalPositions: basePositions,
-                stmts: baseStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
-            baseStmts.forEach(stmt => stmts.push(stmt));
-        }
-        let { value: argumentValue, valueOriginalPositions: arguPositions, stmts: argumentStmts, } = this.tsNodeToValueAndStmts(elementAccessExpression.argumentExpression);
-        argumentStmts.forEach(stmt => stmts.push(stmt));
-        if (IRUtils_1.IRUtils.moreThanOneAddress(argumentValue)) {
-            ({
-                value: argumentValue,
-                valueOriginalPositions: arguPositions,
-                stmts: argumentStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(argumentValue, arguPositions));
-            argumentStmts.forEach(stmt => stmts.push(stmt));
-        }
-        let elementAccessExpr;
-        if (baseValue.getType() instanceof Type_1.ArrayType) {
-            elementAccessExpr = new Ref_1.ArkArrayRef(baseValue, argumentValue);
-        }
-        else {
-            // TODO: deal with ArkStaticFieldRef
-            const fieldSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(argumentValue.toString());
-            elementAccessExpr = new Ref_1.ArkInstanceFieldRef(baseValue, fieldSignature);
-        }
-        // reserve positions for field name
-        const exprPositions = [Position_1.FullPosition.buildFromNode(elementAccessExpression, this.sourceFile), ...basePositions, ...arguPositions];
-        return {
-            value: elementAccessExpr,
-            valueOriginalPositions: exprPositions,
-            stmts: stmts,
-        };
-    }
-    callExpressionToValueAndStmts(callExpression) {
-        const stmts = [];
-        const argus = this.parseArgumentsOfCallExpression(stmts, callExpression);
-        return this.generateInvokeValueAndStmts(callExpression.expression, argus, stmts, callExpression);
-    }
-    generateInvokeValueAndStmts(functionNameNode, args, currStmts, callExpression) {
-        const stmts = [...currStmts];
-        const { value: calleeValue, valueOriginalPositions: calleePositions, stmts: calleeStmts } = this.tsNodeToValueAndStmts(functionNameNode);
-        stmts.push(...calleeStmts);
-        const invokeExprPosition = Position_1.FullPosition.buildFromNode(callExpression, this.sourceFile);
-        if (calleeValue instanceof Ref_1.AbstractFieldRef) {
-            return this.handleFieldRefInvoke(calleeValue, args, invokeExprPosition, calleePositions, stmts);
-        }
-        if (calleeValue instanceof Local_1.Local) {
-            return this.handleLocalInvoke(calleeValue, callExpression, args, invokeExprPosition, calleePositions, stmts);
-        }
-        if (calleeValue instanceof Ref_1.ArkArrayRef && ts.isElementAccessExpression(functionNameNode)) {
-            return this.handleArrayRefInvoke(calleeValue, functionNameNode, args, invokeExprPosition, calleePositions, stmts);
-        }
-        return this.handleDefaultInvoke(calleeValue, args, invokeExprPosition, calleePositions, stmts);
-    }
-    handleFieldRefInvoke(calleeValue, args, invokeExprPosition, calleePositions, currStmts) {
-        let methodSignature;
-        const declareSignature = calleeValue.getFieldSignature().getDeclaringSignature();
-        if (declareSignature instanceof ArkSignature_1.ClassSignature) {
-            methodSignature =
-                new ArkSignature_1.MethodSignature(declareSignature, ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(calleeValue.getFieldName()));
-        }
-        else {
-            methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(calleeValue.getFieldName());
-        }
-        let invokeExpr;
-        const invokeExprPositions = [invokeExprPosition];
-        if (calleeValue instanceof Ref_1.ArkInstanceFieldRef) {
-            invokeExpr =
-                new Expr_1.ArkInstanceInvokeExpr(calleeValue.getBase(), methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
-            invokeExprPositions.push(...calleePositions.slice(1));
-        }
-        else {
-            invokeExpr = new Expr_1.ArkStaticInvokeExpr(methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
-        }
-        invokeExprPositions.push(...args.argPositions);
-        return {
-            value: invokeExpr,
-            valueOriginalPositions: invokeExprPositions,
-            stmts: currStmts,
-        };
-    }
-    handleLocalInvoke(calleeValue, callExpression, args, invokeExprPosition, calleePositions, currStmts) {
-        var _a;
-        let invokeExpr;
-        const invokeExprPositions = [invokeExprPosition];
-        const calleeName = calleeValue.getName();
-        if (this.isCustomViewCall(calleeName, callExpression)) {
-            return this.generateCustomViewStmt(calleeName, args.argValues, args.argPositions, callExpression, currStmts);
-        }
-        else if (this.isSystemComponentCall(calleeName, callExpression)) {
-            return this.generateSystemComponentStmt(calleeName, args.argValues, args.argPositions, callExpression, currStmts);
-        }
-        const methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(calleeName);
-        if (!((_a = this.getGlobals()) === null || _a === void 0 ? void 0 : _a.has(calleeName)) || calleeValue.getType() instanceof Type_1.FunctionType) {
-            // the call to the left value or a value of function type should be ptr invoke expr.
-            invokeExpr = new Expr_1.ArkPtrInvokeExpr(methodSignature, calleeValue, args.argValues, args.realGenericTypes, args.spreadFlags);
-            invokeExprPositions.push(...calleePositions.slice(1));
-        }
-        else {
-            invokeExpr = new Expr_1.ArkStaticInvokeExpr(methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
-        }
-        invokeExprPositions.push(...args.argPositions);
-        return {
-            value: invokeExpr,
-            valueOriginalPositions: invokeExprPositions,
-            stmts: currStmts,
-        };
-    }
-    isCustomViewCall(callerName, callExpression) {
-        var _a;
-        if (!ts.isCallExpression(callExpression)) {
-            return false;
-        }
-        const classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(callerName);
-        const cls = ModelUtils_1.ModelUtils.getClass(this.declaringMethod, classSignature);
-        return (_a = cls === null || cls === void 0 ? void 0 : cls.hasComponentDecorator()) !== null && _a !== void 0 ? _a : false;
-    }
-    isSystemComponentCall(calleeName, callExpression) {
-        return (calleeName === EtsConst_1.COMPONENT_FOR_EACH || calleeName === EtsConst_1.COMPONENT_LAZY_FOR_EACH) &&
-            ts.isCallExpression(callExpression);
-    }
-    handleArrayRefInvoke(calleeValue, functionNameNode, args, invokeExprPosition, calleePositions, currStmts) {
-        const stmts = [...currStmts];
-        const methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(functionNameNode.argumentExpression.getText());
-        stmts.pop();
-        const invokeExpr = new Expr_1.ArkInstanceInvokeExpr(calleeValue.getBase(), methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
-        const invokeExprPositions = [invokeExprPosition, calleePositions.slice(1)[0],
-            ...args.argPositions];
-        return {
-            value: invokeExpr,
-            valueOriginalPositions: invokeExprPositions,
-            stmts: stmts,
-        };
-    }
-    handleDefaultInvoke(calleeValue, args, invokeExprPosition, calleePositions, currStmts) {
-        const stmts = [...currStmts];
-        const { value: newCalleeValue, stmts: newStmts } = this.arkIRTransformer.generateAssignStmtForValue(calleeValue, calleePositions);
-        stmts.push(...newStmts);
-        const invokeExpr = new Expr_1.ArkPtrInvokeExpr(ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(newCalleeValue.getName()), newCalleeValue, args.argValues, args.realGenericTypes, args.spreadFlags);
-        const invokeExprPositions = [invokeExprPosition, calleePositions.slice(1)[0],
-            ...args.argPositions];
-        return {
-            value: invokeExpr,
-            valueOriginalPositions: invokeExprPositions,
-            stmts: stmts,
-        };
-    }
-    parseArgumentsOfCallExpression(currStmts, callExpression) {
-        let realGenericTypes;
-        if (callExpression.typeArguments) {
-            realGenericTypes = [];
-            callExpression.typeArguments.forEach(typeArgument => {
-                realGenericTypes.push(this.resolveTypeNode(typeArgument));
-            });
-        }
-        let builderMethodIndexes;
-        if (ts.isIdentifier(callExpression.expression)) {
-            const callerName = callExpression.expression.text;
-            if (callerName === EtsConst_1.COMPONENT_FOR_EACH || callerName === EtsConst_1.COMPONENT_LAZY_FOR_EACH) {
-                builderMethodIndexes = new Set([1]);
-            }
-        }
-        const { argValues, argPositions, spreadFlags, } = this.parseArguments(currStmts, callExpression.arguments, builderMethodIndexes);
-        return { realGenericTypes, argValues, argPositions, spreadFlags };
-    }
-    parseArguments(currStmts, argumentNodes, builderMethodIndexes) {
-        const argValues = [];
-        const argPositions = [];
-        let spreadFlags = [];
-        if (argumentNodes) {
-            spreadFlags = new Array(argumentNodes.length).fill(false);
-            for (let i = 0; i < argumentNodes.length; i++) {
-                spreadFlags[i] = ts.isSpreadElement(argumentNodes[i]);
-                const argument = argumentNodes[i];
-                const prevBuilderMethodContextFlag = this.builderMethodContextFlag;
-                if (builderMethodIndexes === null || builderMethodIndexes === void 0 ? void 0 : builderMethodIndexes.has(i)) {
-                    this.builderMethodContextFlag = true;
-                    this.arkIRTransformer.setBuilderMethodContextFlag(true);
-                }
-                let { value: argValue, valueOriginalPositions: argPositionsSingle, stmts: argStmts, } = this.tsNodeToSingleAddressValueAndStmts(argument);
-                this.builderMethodContextFlag = prevBuilderMethodContextFlag;
-                this.arkIRTransformer.setBuilderMethodContextFlag(prevBuilderMethodContextFlag);
-                argStmts.forEach(s => currStmts.push(s));
-                argValues.push(argValue);
-                argPositions.push(argPositionsSingle[0]);
-            }
-        }
-        return {
-            argValues,
-            argPositions,
-            spreadFlags: spreadFlags.every((f) => f === false) ? undefined : spreadFlags,
-        };
-    }
-    callableNodeToValueAndStmts(callableNode) {
-        const declaringClass = this.declaringMethod.getDeclaringArkClass();
-        const arrowArkMethod = new ArkMethod_1.ArkMethod();
-        if (this.builderMethodContextFlag) {
-            ModelUtils_1.ModelUtils.implicitArkUIBuilderMethods.add(arrowArkMethod);
-        }
-        (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(callableNode, declaringClass, arrowArkMethod, this.sourceFile, this.declaringMethod);
-        const callableType = new Type_1.FunctionType(arrowArkMethod.getSignature());
-        const callableValue = this.addNewLocal(arrowArkMethod.getName(), callableType);
-        return {
-            value: callableValue,
-            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(callableNode, this.sourceFile)],
-            stmts: [],
-        };
-    }
-    newExpressionToValueAndStmts(newExpression) {
-        let className = '';
-        if (ts.isClassExpression(newExpression.expression) && newExpression.expression.name) {
-            className = newExpression.expression.name.text;
-        }
-        else {
-            className = newExpression.expression.getText(this.sourceFile);
-        }
-        if (className === Builtin_1.Builtin.ARRAY) {
-            return this.newArrayExpressionToValueAndStmts(newExpression);
-        }
-        const stmts = [];
-        let realGenericTypes;
-        if (newExpression.typeArguments) {
-            realGenericTypes = [];
-            newExpression.typeArguments.forEach(typeArgument => {
-                realGenericTypes.push(this.resolveTypeNode(typeArgument));
-            });
-        }
-        let classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(className);
-        let classType = new Type_1.ClassType(classSignature, realGenericTypes);
-        if (className === Builtin_1.Builtin.OBJECT) {
-            classSignature = Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE;
-            classType = Builtin_1.Builtin.OBJECT_CLASS_TYPE;
-        }
-        const newExpr = new Expr_1.ArkNewExpr(classType);
-        const { value: newLocal, valueOriginalPositions: newLocalPositions, stmts: newExprStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newExpr, [Position_1.FullPosition.buildFromNode(newExpression, this.sourceFile)]);
-        newExprStmts.forEach(stmt => stmts.push(stmt));
-        const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
-        const constructorMethodSignature = new ArkSignature_1.MethodSignature(classSignature, constructorMethodSubSignature);
-        const { argValues: argValues, argPositions: argPositions, } = this.parseArguments(stmts, newExpression.arguments);
-        const instanceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newLocal, constructorMethodSignature, argValues);
-        const assignStmt = new Stmt_1.ArkAssignStmt(newLocal, instanceInvokeExpr);
-        const assignStmtPositions = [newLocalPositions[0], newLocalPositions[0], ...newLocalPositions, ...argPositions];
-        assignStmt.setOperandOriginalPositions(assignStmtPositions);
-        stmts.push(assignStmt);
-        return { value: newLocal, valueOriginalPositions: assignStmtPositions, stmts: stmts };
-    }
-    newArrayExpressionToValueAndStmts(newArrayExpression) {
-        let baseType = Type_1.UnknownType.getInstance();
-        if (newArrayExpression.typeArguments && newArrayExpression.typeArguments.length > 0) {
-            const argumentType = this.resolveTypeNode(newArrayExpression.typeArguments[0]);
-            if (!(argumentType instanceof Type_1.AnyType || argumentType instanceof Type_1.UnknownType)) {
-                baseType = argumentType;
-            }
-        }
-        const stmts = [];
-        const { argValues, argPositions } = this.parseArguments(stmts, newArrayExpression.arguments);
-        let argumentsLength = newArrayExpression.arguments ? newArrayExpression.arguments.length : 0;
-        let arrayLengthValue;
-        let arrayLength = -1;
-        let arrayLengthPosition = Position_1.FullPosition.DEFAULT;
-        if (argumentsLength === 1 && (argValues[0].getType() instanceof Type_1.NumberType || argValues[0].getType() instanceof Type_1.UnknownType)) {
-            arrayLengthValue = argValues[0];
-            arrayLengthPosition = argPositions[0];
-        }
-        else {
-            arrayLengthValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(argumentsLength);
-            arrayLength = argumentsLength;
-        }
-        if (baseType instanceof Type_1.UnknownType) {
-            if (argumentsLength > 1 && !(argValues[0].getType() instanceof Type_1.UnknownType)) {
-                baseType = argValues[0].getType();
-            }
-            else {
-                baseType = Type_1.AnyType.getInstance();
-            }
-        }
-        const newArrayExprPosition = Position_1.FullPosition.buildFromNode(newArrayExpression, this.sourceFile);
-        return this.generateArrayExprAndStmts(baseType, arrayLengthValue, arrayLengthPosition, arrayLength, argValues, argPositions, stmts, newArrayExprPosition, false);
-    }
-    arrayLiteralExpressionToValueAndStmts(arrayLiteralExpression) {
-        const stmts = [];
-        const elementTypes = [];
-        const elementValues = [];
-        const elementPositions = [];
-        const arrayLength = arrayLiteralExpression.elements.length;
-        let firstSpreadIdx = -1;
-        for (let i = 0; i < arrayLength; i++) {
-            if (ts.isSpreadElement(arrayLiteralExpression.elements[i]) && firstSpreadIdx === -1) {
-                firstSpreadIdx = i;
-            }
-            const { value: elementValue, valueOriginalPositions: elementPosition, stmts: elementStmts } = this.tsNodeToSingleAddressValueAndStmts(arrayLiteralExpression.elements[i]);
-            elementStmts.forEach(stmt => stmts.push(stmt));
-            elementValues.push(elementValue);
-            elementTypes.push(elementValue.getType());
-            elementPositions.push(elementPosition[0]);
-        }
-        const wholePosition = Position_1.FullPosition.buildFromNode(arrayLiteralExpression, this.sourceFile);
-        if (firstSpreadIdx === -1) { // only literal elements
-            return this.generateArrayExprFromLiteral(elementValues, elementTypes, elementPositions, wholePosition, 0, arrayLength, stmts);
-        }
-        else if (firstSpreadIdx === 0) {
-            if (arrayLength === 1) { // only spread element
-                const sliceMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.SLICE);
-                const sliceMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, sliceMethodSubSignature);
-                const sliceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(elementValues[0], sliceMethodSignature, []);
-                const sliceInvokeExprPositions = [wholePosition, elementPositions[0]];
-                return { value: sliceInvokeExpr, valueOriginalPositions: sliceInvokeExprPositions, stmts: stmts };
-            }
-            else { // spread element start
-                const concatMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.CONCAT);
-                const concatMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, concatMethodSubSignature);
-                const concatInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(elementValues[0], concatMethodSignature, elementValues.slice(1));
-                const concatInvokeExprPositions = [wholePosition, ...elementPositions];
-                return { value: concatInvokeExpr, valueOriginalPositions: concatInvokeExprPositions, stmts: stmts };
-            }
-        }
-        else { // contains spread elements and begins with literal elements.
-            const beginLiteralValueAndStmts = this.generateArrayExprFromLiteral(elementValues, elementTypes, elementPositions, wholePosition, 0, firstSpreadIdx, stmts);
-            const concatMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.CONCAT);
-            const concatMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, concatMethodSubSignature);
-            const concatInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(beginLiteralValueAndStmts.value, concatMethodSignature, elementValues.slice(firstSpreadIdx));
-            const concatInvokeExprPositions = [wholePosition, beginLiteralValueAndStmts.valueOriginalPositions[0],
-                ...elementPositions.slice(firstSpreadIdx)];
-            return { value: concatInvokeExpr, valueOriginalPositions: concatInvokeExprPositions, stmts: beginLiteralValueAndStmts.stmts };
-        }
-    }
-    generateArrayExprFromLiteral(elementValues, elementTypes, elementPositions, wholePosition, start, end, currStmts) {
-        const elementTypesSet = new Set(elementTypes.slice(start, end));
-        let baseType = Type_1.AnyType.getInstance();
-        if (elementTypesSet.size === 1) {
-            baseType = elementTypes[0];
-        }
-        else if (elementTypesSet.size > 1) {
-            baseType = new Type_1.UnionType(Array.from(elementTypesSet));
-        }
-        const newArrayExprPosition = (start === end || (end - start) === elementPositions.length)
-            ? wholePosition : Position_1.FullPosition.merge(elementPositions[0], elementPositions[end - 1]);
-        return this.generateArrayExprAndStmts(baseType, ValueUtil_1.ValueUtil.getOrCreateNumberConst(end - start), Position_1.FullPosition.DEFAULT, end - start, elementValues.slice(start, end), elementPositions.slice(start, end), currStmts, newArrayExprPosition, true);
-    }
-    generateArrayExprAndStmts(baseType, arrayLengthValue, arrayLengthPosition, arrayLength, initializerValues, initializerPositions, currStmts, newArrayExprPosition, fromLiteral) {
-        const stmts = [...currStmts];
-        const newArrayExpr = new Expr_1.ArkNewArrayExpr(baseType, arrayLengthValue, fromLiteral);
-        const newArrayExprPositions = [newArrayExprPosition, arrayLengthPosition];
-        const { value: arrayLocal, valueOriginalPositions: arrayLocalPositions, stmts: arrayStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newArrayExpr, newArrayExprPositions);
-        arrayStmts.forEach(stmt => stmts.push(stmt));
-        for (let i = 0; i < arrayLength; i++) {
-            const indexValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(i);
-            const arrayRef = new Ref_1.ArkArrayRef(arrayLocal, indexValue);
-            const arrayRefPositions = [arrayLocalPositions[0], ...arrayLocalPositions, Position_1.FullPosition.DEFAULT];
-            const assignStmt = new Stmt_1.ArkAssignStmt(arrayRef, initializerValues[i]);
-            assignStmt.setOperandOriginalPositions([...arrayRefPositions, initializerPositions[i]]);
-            stmts.push(assignStmt);
-        }
-        return {
-            value: arrayLocal,
-            valueOriginalPositions: arrayLocalPositions,
-            stmts: stmts,
-        };
-    }
-    prefixUnaryExpressionToValueAndStmts(prefixUnaryExpression) {
-        const stmts = [];
-        let { value: originOperandValue, valueOriginalPositions: originOperandPositions, stmts: operandStmts, } = this.tsNodeToValueAndStmts(prefixUnaryExpression.operand);
-        operandStmts.forEach(stmt => stmts.push(stmt));
-        let operandValue;
-        let operandPositions;
-        if (IRUtils_1.IRUtils.moreThanOneAddress(originOperandValue)) {
-            ({
-                value: operandValue,
-                valueOriginalPositions: operandPositions,
-                stmts: operandStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(originOperandValue, originOperandPositions));
-            operandStmts.forEach(stmt => stmts.push(stmt));
-        }
-        else {
-            operandValue = originOperandValue;
-            operandPositions = originOperandPositions;
-        }
-        const operatorToken = prefixUnaryExpression.operator;
-        let exprPositions = [Position_1.FullPosition.buildFromNode(prefixUnaryExpression, this.sourceFile)];
-        if (operatorToken === ts.SyntaxKind.PlusPlusToken || operatorToken === ts.SyntaxKind.MinusMinusToken) {
-            const binaryOperator = operatorToken === ts.SyntaxKind.PlusPlusToken ? Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
-            const binopExpr = new Expr_1.ArkNormalBinopExpr(operandValue, ValueUtil_1.ValueUtil.getOrCreateNumberConst(1), binaryOperator);
-            exprPositions.push(...operandPositions, Position_1.FullPosition.DEFAULT);
-            const assignStmt = new Stmt_1.ArkAssignStmt(operandValue, binopExpr);
-            assignStmt.setOperandOriginalPositions([...operandPositions, ...exprPositions]);
-            stmts.push(assignStmt);
-            if (operandValue !== originOperandValue) {
-                const lastAssignStmt = new Stmt_1.ArkAssignStmt(originOperandValue, operandValue);
-                lastAssignStmt.setOperandOriginalPositions([...originOperandPositions, ...operandPositions]);
-                stmts.push(lastAssignStmt);
-            }
-            return { value: originOperandValue, valueOriginalPositions: originOperandPositions, stmts: stmts };
-        }
-        else if (operatorToken === ts.SyntaxKind.PlusToken) {
-            return { value: operandValue, valueOriginalPositions: operandPositions, stmts: stmts };
-        }
-        else {
-            let unopExpr;
-            const operator = ArkIRTransformer_1.ArkIRTransformer.tokenToUnaryOperator(operatorToken);
-            if (operator) {
-                unopExpr = new Expr_1.ArkUnopExpr(operandValue, operator);
-                exprPositions.push(...operandPositions);
-            }
-            else {
-                unopExpr = ValueUtil_1.ValueUtil.getUndefinedConst();
-                exprPositions = [Position_1.FullPosition.DEFAULT];
-            }
-            return { value: unopExpr, valueOriginalPositions: exprPositions, stmts: stmts };
-        }
-    }
-    postfixUnaryExpressionToValueAndStmts(postfixUnaryExpression) {
-        const stmts = [];
-        let { value: originOperandValue, valueOriginalPositions: originOperandPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(postfixUnaryExpression.operand);
-        exprStmts.forEach(stmt => stmts.push(stmt));
-        let operandValue;
-        let operandPositions;
-        if (IRUtils_1.IRUtils.moreThanOneAddress(originOperandValue)) {
-            ({
-                value: operandValue,
-                valueOriginalPositions: operandPositions,
-                stmts: exprStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(originOperandValue, originOperandPositions));
-            exprStmts.forEach(stmt => stmts.push(stmt));
-        }
-        else {
-            operandValue = originOperandValue;
-            operandPositions = originOperandPositions;
-        }
-        let exprPositions = [Position_1.FullPosition.buildFromNode(postfixUnaryExpression, this.sourceFile)];
-        const operatorToken = postfixUnaryExpression.operator;
-        if (operatorToken === ts.SyntaxKind.PlusPlusToken || operatorToken === ts.SyntaxKind.MinusMinusToken) {
-            const binaryOperator = operatorToken === ts.SyntaxKind.PlusPlusToken ? Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
-            const binopExpr = new Expr_1.ArkNormalBinopExpr(operandValue, ValueUtil_1.ValueUtil.getOrCreateNumberConst(1), binaryOperator);
-            exprPositions.push(...operandPositions, Position_1.FullPosition.DEFAULT);
-            const assignStmt = new Stmt_1.ArkAssignStmt(operandValue, binopExpr);
-            assignStmt.setOperandOriginalPositions([...operandPositions, ...exprPositions]);
-            stmts.push(assignStmt);
-            if (operandValue !== originOperandValue) {
-                const lastAssignStmt = new Stmt_1.ArkAssignStmt(originOperandValue, operandValue);
-                lastAssignStmt.setOperandOriginalPositions([...originOperandPositions, ...operandPositions]);
-                stmts.push(lastAssignStmt);
-            }
-            return {
-                value: originOperandValue,
-                valueOriginalPositions: originOperandPositions,
-                stmts: stmts,
-            };
-        }
-        return {
-            value: ValueUtil_1.ValueUtil.getUndefinedConst(),
-            valueOriginalPositions: [Position_1.FullPosition.DEFAULT],
-            stmts: stmts,
-        };
-    }
-    awaitExpressionToValueAndStmts(awaitExpression) {
-        const stmts = [];
-        let { value: promiseValue, valueOriginalPositions: promisePositions, stmts: promiseStmts, } = this.tsNodeToValueAndStmts(awaitExpression.expression);
-        promiseStmts.forEach(stmt => stmts.push(stmt));
-        if (IRUtils_1.IRUtils.moreThanOneAddress(promiseValue)) {
-            ({
-                value: promiseValue,
-                valueOriginalPositions: promisePositions,
-                stmts: promiseStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(promiseValue, promisePositions));
-            promiseStmts.forEach(stmt => stmts.push(stmt));
-        }
-        const awaitExpr = new Expr_1.ArkAwaitExpr(promiseValue);
-        const awaitExprPositions = [Position_1.FullPosition.buildFromNode(awaitExpression, this.sourceFile), ...promisePositions];
-        return {
-            value: awaitExpr,
-            valueOriginalPositions: awaitExprPositions,
-            stmts: stmts,
-        };
-    }
-    yieldExpressionToValueAndStmts(yieldExpression) {
-        let yieldValue = ValueUtil_1.ValueUtil.getUndefinedConst();
-        let yieldPositions = [Position_1.FullPosition.DEFAULT];
-        let stmts = [];
-        if (yieldExpression.expression) {
-            ({
-                value: yieldValue,
-                valueOriginalPositions: yieldPositions,
-                stmts: stmts,
-            } = this.tsNodeToValueAndStmts(yieldExpression.expression));
-        }
-        const yieldExpr = new Expr_1.ArkYieldExpr(yieldValue);
-        const yieldExprPositions = [Position_1.FullPosition.buildFromNode(yieldExpression, this.sourceFile), ...yieldPositions];
-        return {
-            value: yieldExpr,
-            valueOriginalPositions: yieldExprPositions,
-            stmts: stmts,
-        };
-    }
-    deleteExpressionToValueAndStmts(deleteExpression) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.tsNodeToValueAndStmts(deleteExpression.expression);
-        const deleteExpr = new Expr_1.ArkDeleteExpr(exprValue);
-        const deleteExprPositions = [Position_1.FullPosition.buildFromNode(deleteExpression, this.sourceFile), ...exprPositions];
-        return {
-            value: deleteExpr,
-            valueOriginalPositions: deleteExprPositions,
-            stmts: stmts,
-        };
-    }
-    voidExpressionToValueAndStmts(voidExpression) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.tsNodeToValueAndStmts(voidExpression.expression);
-        const { stmts: exprStmts } = this.arkIRTransformer.generateAssignStmtForValue(exprValue, exprPositions);
-        exprStmts.forEach(stmt => stmts.push(stmt));
-        return {
-            value: ValueUtil_1.ValueUtil.getUndefinedConst(),
-            valueOriginalPositions: [Position_1.FullPosition.DEFAULT],
-            stmts: stmts,
-        };
-    }
-    nonNullExpressionToValueAndStmts(nonNullExpression) {
-        return this.tsNodeToValueAndStmts(nonNullExpression.expression);
-    }
-    parenthesizedExpressionToValueAndStmts(parenthesizedExpression) {
-        return this.tsNodeToValueAndStmts(parenthesizedExpression.expression);
-    }
-    typeOfExpressionToValueAndStmts(typeOfExpression) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(typeOfExpression.expression);
-        const typeOfExpr = new Expr_1.ArkTypeOfExpr(exprValue);
-        const typeOfExprPositions = [Position_1.FullPosition.buildFromNode(typeOfExpression, this.sourceFile), ...exprPositions];
-        return {
-            value: typeOfExpr,
-            valueOriginalPositions: typeOfExprPositions,
-            stmts: exprStmts,
-        };
-    }
-    asExpressionToValueAndStmts(asExpression) {
-        const stmts = [];
-        let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(asExpression.expression);
-        exprStmts.forEach(stmt => stmts.push(stmt));
-        if (IRUtils_1.IRUtils.moreThanOneAddress(exprValue)) {
-            ({
-                value: exprValue,
-                valueOriginalPositions: exprPositions,
-                stmts: exprStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(exprValue, exprPositions));
-            exprStmts.forEach(stmt => stmts.push(stmt));
-        }
-        const castExpr = new Expr_1.ArkCastExpr(exprValue, this.resolveTypeNode(asExpression.type));
-        const castExprPositions = [Position_1.FullPosition.buildFromNode(asExpression, this.sourceFile), ...exprPositions];
-        return {
-            value: castExpr,
-            valueOriginalPositions: castExprPositions,
-            stmts: stmts,
-        };
-    }
-    typeAssertionToValueAndStmts(typeAssertion) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(typeAssertion.expression);
-        const castExpr = new Expr_1.ArkCastExpr(exprValue, this.resolveTypeNode(typeAssertion.type));
-        const castExprPositions = [Position_1.FullPosition.buildFromNode(typeAssertion, this.sourceFile), ...exprPositions];
-        return {
-            value: castExpr,
-            valueOriginalPositions: castExprPositions,
-            stmts: exprStmts,
-        };
-    }
-    variableDeclarationListToValueAndStmts(variableDeclarationList) {
-        const stmts = [];
-        const isConst = (variableDeclarationList.flags & ts.NodeFlags.Const) !== 0;
-        for (const declaration of variableDeclarationList.declarations) {
-            const { stmts: declaredStmts } = this.variableDeclarationToValueAndStmts(declaration, isConst);
-            declaredStmts.forEach(s => stmts.push(s));
-        }
-        return {
-            value: ValueUtil_1.ValueUtil.getUndefinedConst(),
-            valueOriginalPositions: [Position_1.FullPosition.DEFAULT],
-            stmts: stmts,
-        };
-    }
-    variableDeclarationToValueAndStmts(variableDeclaration, isConst, needRightOp = true) {
-        const leftOpNode = variableDeclaration.name;
-        const rightOpNode = variableDeclaration.initializer;
-        const declarationType = variableDeclaration.type ? this.resolveTypeNode(variableDeclaration.type) : Type_1.UnknownType.getInstance();
-        return this.assignmentToValueAndStmts(leftOpNode, rightOpNode, true, isConst, declarationType, needRightOp);
-    }
-    assignmentToValueAndStmts(leftOpNode, rightOpNode, variableDefFlag, isConst, declarationType, needRightOp = true) {
-        let leftValueAndStmts;
-        if (ts.isIdentifier(leftOpNode)) {
-            leftValueAndStmts = this.identifierToValueAndStmts(leftOpNode, variableDefFlag);
-        }
-        else if (ts.isArrayBindingPattern(leftOpNode) || ts.isArrayLiteralExpression(leftOpNode)) {
-            // In declaration, it is ArrayBindingPattern. And in assignment, it is ArrayLiteralExpression.
-            leftValueAndStmts = this.arrayDestructuringToValueAndStmts(leftOpNode, isConst);
-        }
-        else if (ts.isObjectBindingPattern(leftOpNode) || ts.isObjectLiteralExpression(leftOpNode)) {
-            // In declaration, it is ObjectBindingPattern. And in assignment, it is ObjectLiteralExpression.
-            leftValueAndStmts = this.objectDestructuringToValueAndStmts(leftOpNode, isConst);
-        }
-        else {
-            leftValueAndStmts = this.tsNodeToValueAndStmts(leftOpNode);
-        }
-        const { value: leftValue, valueOriginalPositions: leftPositions, stmts: leftStmts } = leftValueAndStmts;
-        let stmts = [];
-        if (needRightOp) {
-            const { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts, } = this.assignmentRightOpToValueAndStmts(rightOpNode, leftValue);
-            if (leftValue instanceof Local_1.Local) {
-                if (variableDefFlag) {
-                    leftValue.setConstFlag(isConst);
-                    leftValue.setType(declarationType);
-                }
-                if (leftValue.getType() instanceof Type_1.UnknownType && !(rightValue.getType() instanceof Type_1.UnknownType) &&
-                    !(rightValue.getType() instanceof Type_1.UndefinedType)) {
-                    leftValue.setType(rightValue.getType());
-                }
-            }
-            const assignStmt = new Stmt_1.ArkAssignStmt(leftValue, rightValue);
-            assignStmt.setOperandOriginalPositions([...leftPositions, ...rightPositions]);
-            if (ts.isArrayBindingPattern(leftOpNode) || ts.isArrayLiteralExpression(leftOpNode) ||
-                ts.isObjectBindingPattern(leftOpNode) || ts.isObjectLiteralExpression(leftOpNode)) {
-                rightStmts.forEach(stmt => stmts.push(stmt));
-                stmts.push(assignStmt);
-                leftStmts.forEach(stmt => stmts.push(stmt));
-            }
-            else {
-                rightStmts.forEach(stmt => stmts.push(stmt));
-                leftStmts.forEach(stmt => stmts.push(stmt));
-                stmts.push(assignStmt);
-            }
-        }
-        else {
-            stmts = leftStmts;
-        }
-        return {
-            value: leftValue,
-            valueOriginalPositions: leftPositions,
-            stmts: stmts,
-        };
-    }
-    assignmentRightOpToValueAndStmts(rightOpNode, leftValue) {
-        let rightValue;
-        let rightPositions;
-        let tempRightStmts = [];
-        const rightStmts = [];
-        if (rightOpNode) {
-            ({
-                value: rightValue,
-                valueOriginalPositions: rightPositions,
-                stmts: tempRightStmts,
-            } = this.tsNodeToValueAndStmts(rightOpNode));
-            tempRightStmts.forEach(stmt => rightStmts.push(stmt));
-        }
-        else {
-            rightValue = ValueUtil_1.ValueUtil.getUndefinedConst();
-            rightPositions = [Position_1.FullPosition.DEFAULT];
-        }
-        if (IRUtils_1.IRUtils.moreThanOneAddress(leftValue) && IRUtils_1.IRUtils.moreThanOneAddress(rightValue)) {
-            ({
-                value: rightValue,
-                valueOriginalPositions: rightPositions,
-                stmts: tempRightStmts,
-            } = this.arkIRTransformer.generateAssignStmtForValue(rightValue, rightPositions));
-            tempRightStmts.forEach(stmt => rightStmts.push(stmt));
-        }
-        return {
-            value: rightValue,
-            valueOriginalPositions: rightPositions,
-            stmts: rightStmts,
-        };
-    }
-    // In assignment patterns, the left operand will be an array literal expression
-    arrayDestructuringToValueAndStmts(arrayDestructuring, isConst = false) {
-        const stmts = [];
-        const arrayTempLocal = this.generateTempLocal();
-        const wholePosition = Position_1.FullPosition.buildFromNode(arrayDestructuring, this.sourceFile);
-        const elements = arrayDestructuring.elements;
-        const isArrayBindingPattern = ts.isArrayBindingPattern(arrayDestructuring);
-        for (let i = 0; i < elements.length; i++) {
-            const element = elements[i];
-            if (ts.isOmittedExpression(element)) {
-                continue;
-            }
-            const targetLocalPosition = Position_1.FullPosition.buildFromNode(element, this.sourceFile);
-            if (ts.isSpreadElement(element) || (ts.isBindingElement(element) && element.dotDotDotToken)) {
-                const nodeInsideRest = ts.isSpreadElement(element) ? element.expression : element.name;
-                let targetLocal;
-                let stmtsInsideRest = [];
-                if (ts.isArrayBindingPattern(nodeInsideRest) || ts.isArrayLiteralExpression(nodeInsideRest)) {
-                    ({ value: targetLocal, stmts: stmtsInsideRest } = this.arrayDestructuringToValueAndStmts(nodeInsideRest, isConst));
-                }
-                else {
-                    const elementName = nodeInsideRest.getText(this.sourceFile);
-                    targetLocal = ts.isBindingElement(element) ? this.addNewLocal(elementName) : this.getOrCreateLocal(elementName);
-                }
-                const sliceMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.SLICE);
-                const sliceMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, sliceMethodSubSignature);
-                const sliceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(arrayTempLocal, sliceMethodSignature, [ValueUtil_1.ValueUtil.getOrCreateNumberConst(i)]);
-                const sliceInvokeExprPositions = [wholePosition, targetLocalPosition];
-                const assignStmt = new Stmt_1.ArkAssignStmt(targetLocal, sliceInvokeExpr);
-                assignStmt.setOperandOriginalPositions([targetLocalPosition, ...sliceInvokeExprPositions]);
-                stmts.push(assignStmt);
-                stmtsInsideRest.forEach(stmt => stmts.push(stmt));
-            }
-            else {
-                const arrayRef = new Ref_1.ArkArrayRef(arrayTempLocal, ValueUtil_1.ValueUtil.getOrCreateNumberConst(i));
-                const arrayRefPositions = [wholePosition, wholePosition, Position_1.FullPosition.DEFAULT];
-                const itemName = element.getText(this.sourceFile);
-                const targetLocal = isArrayBindingPattern ? this.addNewLocal(itemName) : this.getOrCreateLocal(itemName);
-                isArrayBindingPattern && targetLocal.setConstFlag(isConst);
-                const assignStmt = new Stmt_1.ArkAssignStmt(targetLocal, arrayRef);
-                assignStmt.setOperandOriginalPositions([targetLocalPosition, ...arrayRefPositions]);
-                stmts.push(assignStmt);
-            }
-        }
-        return { value: arrayTempLocal, valueOriginalPositions: [wholePosition], stmts: stmts };
-    }
-    // In assignment patterns, the left operand will be an object literal expression
-    objectDestructuringToValueAndStmts(objectDestructuring, isConst = false) {
-        const stmts = [];
-        const objectTempLocal = this.generateTempLocal();
-        const leftOriginalPosition = Position_1.FullPosition.buildFromNode(objectDestructuring, this.sourceFile);
-        const isObjectBindingPattern = ts.isObjectBindingPattern(objectDestructuring);
-        const elements = isObjectBindingPattern ? objectDestructuring.elements : objectDestructuring.properties;
-        for (const element of elements) {
-            let fieldName = '';
-            let targetName = '';
-            if (ts.isBindingElement(element)) {
-                fieldName = element.propertyName ? element.propertyName.getText(this.sourceFile) : element.name.getText(this.sourceFile);
-                targetName = element.name.getText(this.sourceFile);
-            }
-            else if (ts.isPropertyAssignment(element)) {
-                fieldName = element.name.getText(this.sourceFile);
-                targetName = element.initializer.getText(this.sourceFile);
-            }
-            else if (ts.isShorthandPropertyAssignment(element)) {
-                fieldName = element.name.getText(this.sourceFile);
-                targetName = fieldName;
-            }
-            else {
-                continue;
-            }
-            const fieldSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
-            const fieldRef = new Ref_1.ArkInstanceFieldRef(objectTempLocal, fieldSignature);
-            const fieldRefPositions = [leftOriginalPosition, leftOriginalPosition];
-            const targetLocal = isObjectBindingPattern ? this.addNewLocal(targetName) : this.getOrCreateLocal(targetName);
-            isObjectBindingPattern && targetLocal.setConstFlag(isConst);
-            const targetLocalPosition = Position_1.FullPosition.buildFromNode(element, this.sourceFile);
-            const assignStmt = new Stmt_1.ArkAssignStmt(targetLocal, fieldRef);
-            assignStmt.setOperandOriginalPositions([targetLocalPosition, ...fieldRefPositions]);
-            stmts.push(assignStmt);
-        }
-        return {
-            value: objectTempLocal,
-            valueOriginalPositions: [leftOriginalPosition],
-            stmts: stmts,
-        };
-    }
-    binaryExpressionToValueAndStmts(binaryExpression) {
-        const operatorToken = binaryExpression.operatorToken;
-        if (operatorToken.kind === ts.SyntaxKind.FirstAssignment) {
-            const leftOpNode = binaryExpression.left;
-            const rightOpNode = binaryExpression.right;
-            const declarationType = Type_1.UnknownType.getInstance();
-            return this.assignmentToValueAndStmts(leftOpNode, rightOpNode, false, false, declarationType, true);
-        }
-        else if (ArkValueTransformer.isCompoundAssignmentOperator(operatorToken.kind)) {
-            return this.compoundAssignmentToValueAndStmts(binaryExpression);
-        }
-        const stmts = [];
-        const binaryExpressionPosition = Position_1.FullPosition.buildFromNode(binaryExpression, this.sourceFile);
-        const { value: opValue1, valueOriginalPositions: opPositions1, stmts: opStmts1, } = this.tsNodeToSingleAddressValueAndStmts(binaryExpression.left);
-        opStmts1.forEach(stmt => stmts.push(stmt));
-        if (operatorToken.kind === ts.SyntaxKind.InstanceOfKeyword) {
-            const instanceOfExpr = new Expr_1.ArkInstanceOfExpr(opValue1, new Type_1.UnclearReferenceType(binaryExpression.right.getText(this.sourceFile)));
-            const instanceOfExprPositions = [binaryExpressionPosition, ...opPositions1];
-            const { value: instanceofRes, valueOriginalPositions: instanceofPos, stmts: instanceofStmt, } = this.arkIRTransformer.generateAssignStmtForValue(instanceOfExpr, instanceOfExprPositions);
-            instanceofStmt.forEach(stmt => stmts.push(stmt));
-            return {
-                value: instanceofRes,
-                valueOriginalPositions: instanceofPos,
-                stmts: stmts,
-            };
-        }
-        const { value: opValue2, valueOriginalPositions: opPositions2, stmts: opStmts2, } = this.tsNodeToSingleAddressValueAndStmts(binaryExpression.right);
-        opStmts2.forEach(stmt => stmts.push(stmt));
-        let exprValue;
-        let exprValuePositions = [binaryExpressionPosition];
-        if (operatorToken.kind === ts.SyntaxKind.CommaToken) {
-            exprValue = opValue2;
-        }
-        else {
-            const operator = ArkIRTransformer_1.ArkIRTransformer.tokenToBinaryOperator(operatorToken.kind);
-            if (operator) {
-                if (this.isRelationalOperator(operator)) {
-                    exprValue = new Expr_1.ArkConditionExpr(opValue1, opValue2, operator);
-                }
-                else {
-                    exprValue = new Expr_1.ArkNormalBinopExpr(opValue1, opValue2, operator);
-                }
-                exprValuePositions.push(...opPositions1, ...opPositions2);
-            }
-            else {
-                exprValue = ValueUtil_1.ValueUtil.getUndefinedConst();
-                exprValuePositions.push(binaryExpressionPosition);
-            }
-        }
-        return {
-            value: exprValue,
-            valueOriginalPositions: exprValuePositions,
-            stmts: stmts,
-        };
-    }
-    compoundAssignmentToValueAndStmts(binaryExpression) {
-        const stmts = [];
-        const { value: leftValueOrig, valueOriginalPositions: leftPositionsOrig, stmts: leftStmts } = this.tsNodeToValueAndStmts(binaryExpression.left);
-        leftStmts.forEach(stmt => stmts.push(stmt));
-        let leftValue;
-        let leftPositions;
-        if (leftValueOrig instanceof Ref_1.AbstractFieldRef) {
-            const tempLocal = this.generateTempLocal();
-            const readRefStmt = new Stmt_1.ArkAssignStmt(tempLocal, leftValueOrig);
-            stmts.push(readRefStmt);
-            leftValue = tempLocal;
-            leftPositions = [leftPositionsOrig[0]];
-        }
-        else {
-            leftValue = leftValueOrig;
-            leftPositions = leftPositionsOrig;
-        }
-        const { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts } = this.tsNodeToSingleAddressValueAndStmts(binaryExpression.right);
-        rightStmts.forEach(stmt => stmts.push(stmt));
-        const operator = this.compoundAssignmentTokenToBinaryOperator(binaryExpression.operatorToken.kind);
-        if (operator) {
-            const exprValue = new Expr_1.ArkNormalBinopExpr(leftValue, rightValue, operator);
-            const exprValuePosition = Position_1.FullPosition.buildFromNode(binaryExpression, this.sourceFile);
-            const assignTarget = leftValueOrig instanceof Ref_1.AbstractFieldRef ? leftValueOrig : leftValue;
-            const assignStmt = new Stmt_1.ArkAssignStmt(assignTarget, exprValue);
-            assignStmt.setOperandOriginalPositions([
-                ...(assignTarget === leftValueOrig ? leftPositionsOrig : leftPositions),
-                exprValuePosition,
-                ...leftPositions,
-                ...rightPositions
-            ]);
-            stmts.push(assignStmt);
-        }
-        return {
-            value: leftValueOrig,
-            valueOriginalPositions: leftPositionsOrig,
-            stmts: stmts
-        };
-    }
-    compoundAssignmentTokenToBinaryOperator(token) {
-        switch (token) {
-            case ts.SyntaxKind.QuestionQuestionEqualsToken:
-                return Expr_1.NormalBinaryOperator.NullishCoalescing;
-            case ts.SyntaxKind.AsteriskAsteriskEqualsToken:
-                return Expr_1.NormalBinaryOperator.Exponentiation;
-            case ts.SyntaxKind.SlashEqualsToken:
-                return Expr_1.NormalBinaryOperator.Division;
-            case ts.SyntaxKind.PlusEqualsToken:
-                return Expr_1.NormalBinaryOperator.Addition;
-            case ts.SyntaxKind.MinusEqualsToken:
-                return Expr_1.NormalBinaryOperator.Subtraction;
-            case ts.SyntaxKind.AsteriskEqualsToken:
-                return Expr_1.NormalBinaryOperator.Multiplication;
-            case ts.SyntaxKind.PercentEqualsToken:
-                return Expr_1.NormalBinaryOperator.Remainder;
-            case ts.SyntaxKind.LessThanLessThanEqualsToken:
-                return Expr_1.NormalBinaryOperator.LeftShift;
-            case ts.SyntaxKind.GreaterThanGreaterThanEqualsToken:
-                return Expr_1.NormalBinaryOperator.RightShift;
-            case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken:
-                return Expr_1.NormalBinaryOperator.UnsignedRightShift;
-            case ts.SyntaxKind.AmpersandEqualsToken:
-                return Expr_1.NormalBinaryOperator.BitwiseAnd;
-            case ts.SyntaxKind.BarEqualsToken:
-                return Expr_1.NormalBinaryOperator.BitwiseOr;
-            case ts.SyntaxKind.CaretEqualsToken:
-                return Expr_1.NormalBinaryOperator.BitwiseXor;
-            case ts.SyntaxKind.AmpersandAmpersandEqualsToken:
-                return Expr_1.NormalBinaryOperator.LogicalAnd;
-            case ts.SyntaxKind.BarBarEqualsToken:
-                return Expr_1.NormalBinaryOperator.LogicalOr;
-            default:
-        }
-        return null;
-    }
-    conditionToValueAndStmts(condition) {
-        const stmts = [];
-        let { value: conditionValue, valueOriginalPositions: conditionPositions, stmts: conditionStmts, } = this.tsNodeToValueAndStmts(condition);
-        conditionStmts.forEach(stmt => stmts.push(stmt));
-        let conditionExpr;
-        if (conditionValue instanceof Expr_1.AbstractBinopExpr && this.isRelationalOperator(conditionValue.getOperator())) {
-            const operator = conditionValue.getOperator();
-            conditionExpr = new Expr_1.ArkConditionExpr(conditionValue.getOp1(), conditionValue.getOp2(), operator);
-        }
-        else {
-            if (IRUtils_1.IRUtils.moreThanOneAddress(conditionValue)) {
-                ({
-                    value: conditionValue,
-                    valueOriginalPositions: conditionPositions,
-                    stmts: conditionStmts,
-                } = this.arkIRTransformer.generateAssignStmtForValue(conditionValue, conditionPositions));
-                conditionStmts.forEach(stmt => stmts.push(stmt));
-            }
-            conditionExpr = new Expr_1.ArkConditionExpr(conditionValue, ValueUtil_1.ValueUtil.getOrCreateNumberConst(0), Expr_1.RelationalBinaryOperator.InEquality);
-            conditionPositions = [conditionPositions[0], ...conditionPositions, Position_1.FullPosition.DEFAULT];
-        }
-        return {
-            value: conditionExpr,
-            valueOriginalPositions: conditionPositions,
-            stmts: stmts,
-        };
-    }
-    literalNodeToValueAndStmts(literalNode) {
-        const syntaxKind = literalNode.kind;
-        let constant = null;
-        switch (syntaxKind) {
-            case ts.SyntaxKind.NumericLiteral:
-                constant = ValueUtil_1.ValueUtil.getOrCreateNumberConst(literalNode.getText(this.sourceFile));
-                break;
-            case ts.SyntaxKind.BigIntLiteral:
-                constant = ValueUtil_1.ValueUtil.createBigIntConst(BigInt(literalNode.text.slice(0, -1)));
-                break;
-            case ts.SyntaxKind.StringLiteral:
-                constant = ValueUtil_1.ValueUtil.createStringConst(literalNode.text);
-                break;
-            case ts.SyntaxKind.RegularExpressionLiteral:
-                constant = new Constant_1.Constant(literalNode.text, Builtin_1.Builtin.REGEXP_CLASS_TYPE);
-                break;
-            case ts.SyntaxKind.NoSubstitutionTemplateLiteral:
-                constant = ValueUtil_1.ValueUtil.createStringConst(literalNode.text);
-                break;
-            case ts.SyntaxKind.NullKeyword:
-                constant = ValueUtil_1.ValueUtil.getNullConstant();
-                break;
-            case ts.SyntaxKind.UndefinedKeyword:
-                constant = ValueUtil_1.ValueUtil.getUndefinedConst();
-                break;
-            case ts.SyntaxKind.TrueKeyword:
-                constant = ValueUtil_1.ValueUtil.getBooleanConstant(true);
-                break;
-            case ts.SyntaxKind.FalseKeyword:
-                constant = ValueUtil_1.ValueUtil.getBooleanConstant(false);
-                break;
-            default:
-                logger.warn(`ast node's syntaxKind is ${ts.SyntaxKind[literalNode.kind]}, not literalNode`);
-        }
-        if (constant === null) {
-            return null;
-        }
-        return {
-            value: constant,
-            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(literalNode, this.sourceFile)],
-            stmts: [],
-        };
-    }
-    getOrCreateLocal(localName, localType = Type_1.UnknownType.getInstance()) {
-        let local = this.locals.get(localName);
-        if (local !== undefined) {
-            return local;
-        }
-        local = this.addNewLocal(localName, localType);
-        this.addNewGlobal(localName);
-        return local;
-    }
-    generateTempLocal(localType = Type_1.UnknownType.getInstance()) {
-        const tempLocalName = Const_1.TEMP_LOCAL_PREFIX + this.tempLocalNo;
-        this.tempLocalNo++;
-        const tempLocal = new Local_1.Local(tempLocalName, localType);
-        this.locals.set(tempLocalName, tempLocal);
-        return tempLocal;
-    }
-    isRelationalOperator(operator) {
-        return (operator === Expr_1.RelationalBinaryOperator.LessThan ||
-            operator === Expr_1.RelationalBinaryOperator.LessThanOrEqual ||
-            operator === Expr_1.RelationalBinaryOperator.GreaterThan ||
-            operator === Expr_1.RelationalBinaryOperator.GreaterThanOrEqual ||
-            operator === Expr_1.RelationalBinaryOperator.Equality ||
-            operator === Expr_1.RelationalBinaryOperator.InEquality ||
-            operator === Expr_1.RelationalBinaryOperator.StrictEquality ||
-            operator === Expr_1.RelationalBinaryOperator.StrictInequality);
-    }
-    isLiteralNode(node) {
-        if (ts.isStringLiteral(node) ||
-            ts.isNumericLiteral(node) ||
-            ts.isBigIntLiteral(node) ||
-            ts.isRegularExpressionLiteral(node) ||
-            ts.isNoSubstitutionTemplateLiteral(node) ||
-            node.kind === ts.SyntaxKind.NullKeyword ||
-            node.kind === ts.SyntaxKind.TrueKeyword ||
-            node.kind === ts.SyntaxKind.FalseKeyword ||
-            node.kind === ts.SyntaxKind.UndefinedKeyword) {
-            return true;
-        }
-        return false;
-    }
-    resolveTypeNode(type) {
-        const kind = type.kind;
-        switch (kind) {
-            case ts.SyntaxKind.BooleanKeyword:
-                return Type_1.BooleanType.getInstance();
-            case ts.SyntaxKind.NumberKeyword:
-                return Type_1.NumberType.getInstance();
-            case ts.SyntaxKind.StringKeyword:
-                return Type_1.StringType.getInstance();
-            case ts.SyntaxKind.UndefinedKeyword:
-                return Type_1.UndefinedType.getInstance();
-            case ts.SyntaxKind.AnyKeyword:
-                return Type_1.AnyType.getInstance();
-            case ts.SyntaxKind.VoidKeyword:
-                return Type_1.VoidType.getInstance();
-            case ts.SyntaxKind.NeverKeyword:
-                return Type_1.NeverType.getInstance();
-            case ts.SyntaxKind.BigIntKeyword:
-                return Type_1.BigIntType.getInstance();
-            case ts.SyntaxKind.TypeReference:
-                return this.resolveTypeReferenceNode(type);
-            case ts.SyntaxKind.ArrayType:
-                return new Type_1.ArrayType(this.resolveTypeNode(type.elementType), 1);
-            case ts.SyntaxKind.UnionType: {
-                const mayTypes = [];
-                type.types.forEach(t => mayTypes.push(this.resolveTypeNode(t)));
-                return new Type_1.UnionType(mayTypes);
-            }
-            case ts.SyntaxKind.IntersectionType: {
-                const intersectionTypes = [];
-                type.types.forEach(t => intersectionTypes.push(this.resolveTypeNode(t)));
-                return new Type_1.IntersectionType(intersectionTypes);
-            }
-            case ts.SyntaxKind.TupleType: {
-                const types = [];
-                type.elements.forEach(element => {
-                    types.push(this.resolveTypeNode(element));
-                });
-                return new Type_1.TupleType(types);
-            }
-            case ts.SyntaxKind.NamedTupleMember:
-                return this.resolveTypeNode(type.type);
-            case ts.SyntaxKind.LiteralType:
-                return ArkValueTransformer.resolveLiteralTypeNode(type, this.sourceFile);
-            case ts.SyntaxKind.TemplateLiteralType:
-                return this.resolveTemplateLiteralTypeNode(type);
-            case ts.SyntaxKind.TypeLiteral:
-                return this.resolveTypeLiteralNode(type);
-            case ts.SyntaxKind.FunctionType:
-                return this.resolveFunctionTypeNode(type);
-            case ts.SyntaxKind.ImportType:
-                return Type_1.UnknownType.getInstance();
-            case ts.SyntaxKind.TypeQuery:
-                return this.resolveTypeQueryNode(type);
-            case ts.SyntaxKind.ParenthesizedType:
-                return this.resolveTypeNode(type.type);
-            case ts.SyntaxKind.TypeOperator:
-                return this.resolveTypeOperatorNode(type);
-            default:
-                return Type_1.UnknownType.getInstance();
-        }
-    }
-    resolveTypeQueryNode(typeQueryNode) {
-        var _a, _b, _c, _d, _e, _f;
-        const genericTypes = [];
-        if (typeQueryNode.typeArguments) {
-            for (const typeArgument of typeQueryNode.typeArguments) {
-                genericTypes.push(this.resolveTypeNode(typeArgument));
-            }
-        }
-        const exprNameNode = typeQueryNode.exprName;
-        let opValue;
-        if (ts.isQualifiedName(exprNameNode)) {
-            if (exprNameNode.left.getText(this.sourceFile) === TSConst_1.THIS_NAME) {
-                const fieldName = exprNameNode.right.getText(this.sourceFile);
-                const fieldSignature = (_b = (_a = this.declaringMethod.getDeclaringArkClass().getFieldWithName(fieldName)) === null || _a === void 0 ? void 0 : _a.getSignature()) !== null && _b !== void 0 ? _b : ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
-                const baseLocal = (_c = this.locals.get(TSConst_1.THIS_NAME)) !== null && _c !== void 0 ? _c : new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(this.declaringMethod.getDeclaringArkClass().getSignature(), genericTypes));
-                opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
-            }
-            else {
-                const exprName = exprNameNode.getText(this.sourceFile);
-                opValue = new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
-            }
-        }
-        else {
-            const exprName = exprNameNode.escapedText.toString();
-            opValue = (_f = (_d = this.locals.get(exprName)) !== null && _d !== void 0 ? _d : (_e = this.globals) === null || _e === void 0 ? void 0 : _e.get(exprName)) !== null && _f !== void 0 ? _f : new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
-        }
-        return new TypeExpr_1.TypeQueryExpr(opValue, genericTypes);
-    }
-    resolveTypeOperatorNode(typeOperatorNode) {
-        let type = this.resolveTypeNode(typeOperatorNode.type);
-        switch (typeOperatorNode.operator) {
-            case ts.SyntaxKind.ReadonlyKeyword: {
-                if (type instanceof Type_1.ArrayType || type instanceof Type_1.TupleType) {
-                    type.setReadonlyFlag(true);
-                }
-                return type;
-            }
-            case ts.SyntaxKind.KeyOfKeyword: {
-                return new TypeExpr_1.KeyofTypeExpr(type);
-            }
-            case ts.SyntaxKind.UniqueKeyword: {
-                return Type_1.UnknownType.getInstance();
-            }
-            default:
-                return Type_1.UnknownType.getInstance();
-        }
-    }
-    static resolveLiteralTypeNode(literalTypeNode, sourceFile) {
-        const literal = literalTypeNode.literal;
-        const kind = literal.kind;
-        switch (kind) {
-            case ts.SyntaxKind.NullKeyword:
-                return Type_1.NullType.getInstance();
-            case ts.SyntaxKind.TrueKeyword:
-                return Type_1.LiteralType.TRUE;
-            case ts.SyntaxKind.FalseKeyword:
-                return Type_1.LiteralType.FALSE;
-            case ts.SyntaxKind.NumericLiteral:
-                return new Type_1.LiteralType(parseFloat(literal.text));
-            case ts.SyntaxKind.PrefixUnaryExpression:
-                return new Type_1.LiteralType(parseFloat(literal.getText(sourceFile)));
-            default:
-        }
-        return new Type_1.LiteralType(literal.getText(sourceFile));
-    }
-    resolveTemplateLiteralTypeNode(templateLiteralTypeNode) {
-        let stringLiterals = [''];
-        const headString = templateLiteralTypeNode.head.rawText || '';
-        let newStringLiterals = [];
-        for (const stringLiteral of stringLiterals) {
-            newStringLiterals.push(stringLiteral + headString);
-        }
-        stringLiterals = newStringLiterals;
-        newStringLiterals = [];
-        for (const templateSpan of templateLiteralTypeNode.templateSpans) {
-            const templateType = this.resolveTypeNode(templateSpan.type);
-            const unfoldTemplateTypes = [];
-            if (templateType instanceof Type_1.UnionType) {
-                unfoldTemplateTypes.push(...templateType.getTypes());
-            }
-            else {
-                unfoldTemplateTypes.push(templateType);
-            }
-            const unfoldTemplateTypeStrs = [];
-            for (const unfoldTemplateType of unfoldTemplateTypes) {
-                unfoldTemplateTypeStrs.push(unfoldTemplateType instanceof Type_1.AliasType ? unfoldTemplateType.getOriginalType().toString() : unfoldTemplateType.toString());
-            }
-            const templateSpanString = templateSpan.literal.rawText || '';
-            for (const stringLiteral of stringLiterals) {
-                for (const unfoldTemplateTypeStr of unfoldTemplateTypeStrs) {
-                    newStringLiterals.push(stringLiteral + unfoldTemplateTypeStr + templateSpanString);
-                }
-            }
-            stringLiterals = newStringLiterals;
-            newStringLiterals = [];
-        }
-        const templateTypes = [];
-        for (const stringLiteral of stringLiterals) {
-            templateTypes.push(new Type_1.LiteralType(stringLiteral));
-        }
-        if (templateTypes.length > 0) {
-            return new Type_1.UnionType(templateTypes);
-        }
-        return templateTypes[0];
-    }
-    resolveTypeReferenceNode(typeReferenceNode) {
-        const typeReferenceFullName = ts.isIdentifier(typeReferenceNode.typeName) ? typeReferenceNode.typeName.text :
-            typeReferenceNode.typeName.getText(this.sourceFile);
-        if (typeReferenceFullName === Builtin_1.Builtin.OBJECT) {
-            return Builtin_1.Builtin.OBJECT_CLASS_TYPE;
-        }
-        const aliasTypeAndStmt = this.aliasTypeMap.get(typeReferenceFullName);
-        const genericTypes = [];
-        if (typeReferenceNode.typeArguments) {
-            for (const typeArgument of typeReferenceNode.typeArguments) {
-                genericTypes.push(this.resolveTypeNode(typeArgument));
-            }
-        }
-        if (!aliasTypeAndStmt) {
-            const local = this.locals.get(typeReferenceFullName);
-            if (local !== undefined) {
-                return local.getType();
-            }
-            return new Type_1.UnclearReferenceType(typeReferenceFullName, genericTypes);
-        }
-        else {
-            if (genericTypes.length > 0) {
-                const oldAlias = aliasTypeAndStmt[0];
-                let alias = new Type_1.AliasType(oldAlias.getName(), TypeInference_1.TypeInference.replaceTypeWithReal(oldAlias.getOriginalType(), genericTypes), oldAlias.getSignature(), oldAlias.getGenericTypes());
-                alias.setRealGenericTypes(genericTypes);
-                return alias;
-            }
-            return aliasTypeAndStmt[0];
-        }
-    }
-    resolveTypeLiteralNode(typeLiteralNode) {
-        const anonymousClass = new ArkClass_1.ArkClass();
-        const declaringClass = this.declaringMethod.getDeclaringArkClass();
-        const declaringNamespace = declaringClass.getDeclaringArkNamespace();
-        if (declaringNamespace) {
-            (0, ArkClassBuilder_1.buildNormalArkClassFromArkNamespace)(typeLiteralNode, declaringNamespace, anonymousClass, this.sourceFile);
-        }
-        else {
-            (0, ArkClassBuilder_1.buildNormalArkClassFromArkFile)(typeLiteralNode, declaringClass.getDeclaringArkFile(), anonymousClass, this.sourceFile);
-        }
-        return new Type_1.ClassType(anonymousClass.getSignature());
-    }
-    resolveFunctionTypeNode(functionTypeNode) {
-        const anonymousMethod = new ArkMethod_1.ArkMethod();
-        const declaringClass = this.declaringMethod.getDeclaringArkClass();
-        (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(functionTypeNode, declaringClass, anonymousMethod, this.sourceFile);
-        return new Type_1.FunctionType(anonymousMethod.getSignature());
-    }
-    static isCompoundAssignmentOperator(operator) {
-        const compoundAssignmentOperators = [
-            ts.SyntaxKind.PlusEqualsToken,
-            ts.SyntaxKind.MinusEqualsToken,
-            ts.SyntaxKind.AsteriskAsteriskEqualsToken,
-            ts.SyntaxKind.AsteriskEqualsToken,
-            ts.SyntaxKind.SlashEqualsToken,
-            ts.SyntaxKind.PercentEqualsToken,
-            ts.SyntaxKind.AmpersandEqualsToken,
-            ts.SyntaxKind.BarEqualsToken,
-            ts.SyntaxKind.CaretEqualsToken,
-            ts.SyntaxKind.LessThanLessThanEqualsToken,
-            ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken,
-            ts.SyntaxKind.GreaterThanGreaterThanEqualsToken,
-            ts.SyntaxKind.BarBarEqualsToken,
-            ts.SyntaxKind.AmpersandAmpersandEqualsToken,
-            ts.SyntaxKind.QuestionQuestionEqualsToken,
-        ];
-        return compoundAssignmentOperators.includes(operator);
-    }
-}
-exports.ArkValueTransformer = ArkValueTransformer;
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ArkValueTransformer = void 0;
+const ts = __importStar(require("ohos-typescript"));
+const Local_1 = require("../base/Local");
+const Position_1 = require("../base/Position");
+const Stmt_1 = require("../base/Stmt");
+const Expr_1 = require("../base/Expr");
+const ArkClass_1 = require("../model/ArkClass");
+const ArkClassBuilder_1 = require("../model/builder/ArkClassBuilder");
+const Type_1 = require("../base/Type");
+const ArkSignatureBuilder_1 = require("../model/builder/ArkSignatureBuilder");
+const TSConst_1 = require("./TSConst");
+const ArkSignature_1 = require("../model/ArkSignature");
+const EtsConst_1 = require("./EtsConst");
+const ValueUtil_1 = require("./ValueUtil");
+const IRUtils_1 = require("./IRUtils");
+const Ref_1 = require("../base/Ref");
+const ModelUtils_1 = require("./ModelUtils");
+const ArkMethod_1 = require("../model/ArkMethod");
+const ArkMethodBuilder_1 = require("../model/builder/ArkMethodBuilder");
+const Builtin_1 = require("./Builtin");
+const Constant_1 = require("../base/Constant");
+const Const_1 = require("./Const");
+const ArkIRTransformer_1 = require("./ArkIRTransformer");
+const logger_1 = __importStar(require("../../utils/logger"));
+const TypeInference_1 = require("./TypeInference");
+const TypeExpr_1 = require("../base/TypeExpr");
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ArkValueTransformer');
+class ArkValueTransformer {
+    constructor(arkIRTransformer, sourceFile, declaringMethod) {
+        this.conditionalOperatorNo = 0;
+        this.tempLocalNo = 0;
+        this.locals = new Map();
+        this.aliasTypeMap = new Map();
+        this.builderMethodContextFlag = false;
+        this.arkIRTransformer = arkIRTransformer;
+        this.sourceFile = sourceFile;
+        this.thisLocal = new Local_1.Local(TSConst_1.THIS_NAME, declaringMethod.getDeclaringArkClass().getSignature().getType());
+        this.locals.set(this.thisLocal.getName(), this.thisLocal);
+        this.declaringMethod = declaringMethod;
+    }
+    getLocals() {
+        return new Set(this.locals.values());
+    }
+    getThisLocal() {
+        return this.thisLocal;
+    }
+    getAliasTypeMap() {
+        return this.aliasTypeMap;
+    }
+    addNewLocal(localName, localType = Type_1.UnknownType.getInstance()) {
+        let local = new Local_1.Local(localName, localType);
+        this.locals.set(localName, local);
+        return local;
+    }
+    getGlobals() {
+        var _a;
+        return (_a = this.globals) !== null && _a !== void 0 ? _a : null;
+    }
+    addNewGlobal(name, ref) {
+        var _a;
+        let globalRef = new Ref_1.GlobalRef(name, ref);
+        this.globals = (_a = this.globals) !== null && _a !== void 0 ? _a : new Map();
+        this.globals.set(name, globalRef);
+        return globalRef;
+    }
+    tsNodeToValueAndStmts(node) {
+        if (ts.isBinaryExpression(node)) {
+            return this.binaryExpressionToValueAndStmts(node);
+        }
+        else if (ts.isCallExpression(node)) {
+            return this.callExpressionToValueAndStmts(node);
+        }
+        else if (ts.isVariableDeclarationList(node)) {
+            return this.variableDeclarationListToValueAndStmts(node);
+        }
+        else if (ts.isIdentifier(node)) {
+            return this.identifierToValueAndStmts(node);
+        }
+        else if (ts.isPropertyAccessExpression(node)) {
+            return this.propertyAccessExpressionToValue(node);
+        }
+        else if (ts.isPrefixUnaryExpression(node)) {
+            return this.prefixUnaryExpressionToValueAndStmts(node);
+        }
+        else if (ts.isPostfixUnaryExpression(node)) {
+            return this.postfixUnaryExpressionToValueAndStmts(node);
+        }
+        else if (ts.isTemplateExpression(node)) {
+            return this.templateExpressionToValueAndStmts(node);
+        }
+        else if (ts.isTaggedTemplateExpression(node)) {
+            return this.taggedTemplateExpressionToValueAndStmts(node);
+        }
+        else if (ts.isAwaitExpression(node)) {
+            return this.awaitExpressionToValueAndStmts(node);
+        }
+        else if (ts.isYieldExpression(node)) {
+            return this.yieldExpressionToValueAndStmts(node);
+        }
+        else if (ts.isDeleteExpression(node)) {
+            return this.deleteExpressionToValueAndStmts(node);
+        }
+        else if (ts.isVoidExpression(node)) {
+            return this.voidExpressionToValueAndStmts(node);
+        }
+        else if (ts.isElementAccessExpression(node)) {
+            return this.elementAccessExpressionToValueAndStmts(node);
+        }
+        else if (ts.isNewExpression(node)) {
+            return this.newExpressionToValueAndStmts(node);
+        }
+        else if (ts.isParenthesizedExpression(node)) {
+            return this.parenthesizedExpressionToValueAndStmts(node);
+        }
+        else if (ts.isAsExpression(node)) {
+            return this.asExpressionToValueAndStmts(node);
+        }
+        else if (ts.isNonNullExpression(node)) {
+            return this.nonNullExpressionToValueAndStmts(node);
+        }
+        else if (ts.isTypeAssertionExpression(node)) {
+            return this.typeAssertionToValueAndStmts(node);
+        }
+        else if (ts.isTypeOfExpression(node)) {
+            return this.typeOfExpressionToValueAndStmts(node);
+        }
+        else if (ts.isArrayLiteralExpression(node)) {
+            return this.arrayLiteralExpressionToValueAndStmts(node);
+        }
+        else if (this.isLiteralNode(node)) {
+            return this.literalNodeToValueAndStmts(node);
+        }
+        else if (ts.isArrowFunction(node) || ts.isFunctionExpression(node)) {
+            return this.callableNodeToValueAndStmts(node);
+        }
+        else if (ts.isClassExpression(node)) {
+            return this.classExpressionToValueAndStmts(node);
+        }
+        else if (ts.isEtsComponentExpression(node)) {
+            return this.etsComponentExpressionToValueAndStmts(node);
+        }
+        else if (ts.isObjectLiteralExpression(node)) {
+            return this.objectLiteralExpresionToValueAndStmts(node);
+        }
+        else if (node.kind === ts.SyntaxKind.ThisKeyword) {
+            return this.thisExpressionToValueAndStmts(node);
+        }
+        else if (node.kind === ts.SyntaxKind.SuperKeyword) {
+            return this.superExpressionToValueAndStmts(node);
+        }
+        else if (ts.isConditionalExpression(node)) {
+            return this.conditionalExpressionToValueAndStmts(node);
+        }
+        else if (ts.isSpreadElement(node)) {
+            return this.tsNodeToValueAndStmts(node.expression);
+        }
+        return {
+            value: new Local_1.Local(node.getText(this.sourceFile)),
+            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(node, this.sourceFile)],
+            stmts: [],
+        };
+    }
+    tsNodeToSingleAddressValueAndStmts(node) {
+        const allStmts = [];
+        let { value, valueOriginalPositions, stmts } = this.tsNodeToValueAndStmts(node);
+        stmts.forEach(stmt => allStmts.push(stmt));
+        if (IRUtils_1.IRUtils.moreThanOneAddress(value)) {
+            ({
+                value,
+                valueOriginalPositions,
+                stmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(value, valueOriginalPositions));
+            stmts.forEach(stmt => allStmts.push(stmt));
+        }
+        return { value, valueOriginalPositions, stmts: allStmts };
+    }
+    thisExpressionToValueAndStmts(thisExpression) {
+        return {
+            value: this.getThisLocal(),
+            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(thisExpression, this.sourceFile)],
+            stmts: [],
+        };
+    }
+    superExpressionToValueAndStmts(superExpression) {
+        return {
+            value: this.getOrCreateLocal(TSConst_1.SUPER_NAME),
+            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(superExpression, this.sourceFile)],
+            stmts: [],
+        };
+    }
+    conditionalExpressionToValueAndStmts(conditionalExpression) {
+        const stmts = [];
+        const currConditionalOperatorIndex = this.conditionalOperatorNo++;
+        const { value: conditionValue, valueOriginalPositions: conditionPositions, stmts: conditionStmts, } = this.conditionToValueAndStmts(conditionalExpression.condition);
+        conditionStmts.forEach(stmt => stmts.push(stmt));
+        const ifStmt = new Stmt_1.ArkIfStmt(conditionValue);
+        ifStmt.setOperandOriginalPositions(conditionPositions);
+        stmts.push(ifStmt);
+        stmts.push(new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_CONDITIONAL_OPERATOR_IF_TRUE_STMT + currConditionalOperatorIndex));
+        const { value: whenTrueValue, valueOriginalPositions: whenTruePositions, stmts: whenTrueStmts, } = this.tsNodeToValueAndStmts(conditionalExpression.whenTrue);
+        whenTrueStmts.forEach(stmt => stmts.push(stmt));
+        const resultLocal = this.generateTempLocal();
+        const assignStmtWhenTrue = new Stmt_1.ArkAssignStmt(resultLocal, whenTrueValue);
+        const resultLocalPosition = [whenTruePositions[0]];
+        assignStmtWhenTrue.setOperandOriginalPositions([...resultLocalPosition, ...whenTruePositions]);
+        stmts.push(assignStmtWhenTrue);
+        stmts.push(new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_CONDITIONAL_OPERATOR_IF_FALSE_STMT + currConditionalOperatorIndex));
+        const { value: whenFalseValue, valueOriginalPositions: whenFalsePositions, stmts: whenFalseStmts, } = this.tsNodeToValueAndStmts(conditionalExpression.whenFalse);
+        whenFalseStmts.forEach(stmt => stmts.push(stmt));
+        const assignStmt = new Stmt_1.ArkAssignStmt(resultLocal, whenFalseValue);
+        assignStmt.setOperandOriginalPositions([...resultLocalPosition, ...whenFalsePositions]);
+        stmts.push(assignStmt);
+        stmts.push(new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_CONDITIONAL_OPERATOR_END_STMT + currConditionalOperatorIndex));
+        return {
+            value: resultLocal,
+            valueOriginalPositions: resultLocalPosition,
+            stmts: stmts,
+        };
+    }
+    objectLiteralExpresionToValueAndStmts(objectLiteralExpression) {
+        const declaringArkClass = this.declaringMethod.getDeclaringArkClass();
+        const declaringArkNamespace = declaringArkClass.getDeclaringArkNamespace();
+        const anonymousClass = new ArkClass_1.ArkClass();
+        if (declaringArkNamespace) {
+            (0, ArkClassBuilder_1.buildNormalArkClassFromArkNamespace)(objectLiteralExpression, declaringArkNamespace, anonymousClass, this.sourceFile, this.declaringMethod);
+        }
+        else {
+            const declaringArkFile = declaringArkClass.getDeclaringArkFile();
+            (0, ArkClassBuilder_1.buildNormalArkClassFromArkFile)(objectLiteralExpression, declaringArkFile, anonymousClass, this.sourceFile, this.declaringMethod);
+        }
+        const objectLiteralExpressionPosition = Position_1.FullPosition.buildFromNode(objectLiteralExpression, this.sourceFile);
+        const stmts = [];
+        const anonymousClassSignature = anonymousClass.getSignature();
+        const anonymousClassType = new Type_1.ClassType(anonymousClassSignature);
+        const newExpr = new Expr_1.ArkNewExpr(anonymousClassType);
+        const { value: newExprLocal, valueOriginalPositions: newExprLocalPositions, stmts: newExprStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newExpr, [objectLiteralExpressionPosition]);
+        newExprStmts.forEach(stmt => stmts.push(stmt));
+        const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
+        const constructorMethodSignature = new ArkSignature_1.MethodSignature(anonymousClassSignature, constructorMethodSubSignature);
+        const constructorInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newExprLocal, constructorMethodSignature, []);
+        const assignStmt = new Stmt_1.ArkAssignStmt(newExprLocal, constructorInvokeExpr);
+        const assignStmtPositions = [newExprLocalPositions[0], newExprLocalPositions[0], ...newExprLocalPositions];
+        assignStmt.setOperandOriginalPositions(assignStmtPositions);
+        stmts.push(assignStmt);
+        return { value: newExprLocal, valueOriginalPositions: assignStmtPositions, stmts: stmts };
+    }
+    generateSystemComponentStmt(componentName, args, argPositionsAllFlat, componentExpression, currStmts) {
+        const stmts = [...currStmts];
+        const componentExpressionPosition = Position_1.FullPosition.buildFromNode(componentExpression, this.sourceFile);
+        const { value: componentValue, valueOriginalPositions: componentPositions, stmts: componentStmts, } = this.generateComponentCreationStmts(componentName, args, componentExpressionPosition, argPositionsAllFlat);
+        componentStmts.forEach(stmt => stmts.push(stmt));
+        if (ts.isEtsComponentExpression(componentExpression) && componentExpression.body) {
+            for (const statement of componentExpression.body.statements) {
+                this.arkIRTransformer.tsNodeToStmts(statement).forEach(stmt => stmts.push(stmt));
+            }
+        }
+        stmts.push(this.generateComponentPopStmts(componentName, componentExpressionPosition));
+        return {
+            value: componentValue,
+            valueOriginalPositions: componentPositions,
+            stmts: stmts,
+        };
+    }
+    generateCustomViewStmt(componentName, args, argPositionsAllFlat, componentExpression, currStmts) {
+        const stmts = [...currStmts];
+        const componentExpressionPosition = Position_1.FullPosition.buildFromNode(componentExpression, this.sourceFile);
+        const classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(componentName);
+        const classType = new Type_1.ClassType(classSignature);
+        const newExpr = new Expr_1.ArkNewExpr(classType);
+        const { value: newExprLocal, valueOriginalPositions: newExprPositions, stmts: newExprStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newExpr, [componentExpressionPosition]);
+        newExprStmts.forEach(stmt => stmts.push(stmt));
+        const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
+        const constructorMethodSignature = new ArkSignature_1.MethodSignature(classSignature, constructorMethodSubSignature);
+        const instanceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newExprLocal, constructorMethodSignature, args);
+        const assignStmt = new Stmt_1.ArkAssignStmt(newExprLocal, instanceInvokeExpr);
+        const assignStmtPositions = [componentExpressionPosition, componentExpressionPosition, ...newExprPositions, ...argPositionsAllFlat];
+        assignStmt.setOperandOriginalPositions(assignStmtPositions);
+        stmts.push(assignStmt);
+        const createViewArgs = [newExprLocal];
+        const createViewArgPositionsAll = [newExprPositions];
+        if (ts.isEtsComponentExpression(componentExpression) && componentExpression.body) {
+            const anonymous = ts.factory.createArrowFunction([], [], [], undefined, undefined, componentExpression.body);
+            // @ts-expect-error: add pos info for the created ArrowFunction
+            anonymous.pos = componentExpression.body.pos;
+            // @ts-expect-error: add end info for the created ArrowFunction
+            anonymous.end = componentExpression.body.end;
+            const { value: builderMethod, valueOriginalPositions: builderMethodPositions, } = this.callableNodeToValueAndStmts(anonymous);
+            createViewArgs.push(builderMethod);
+            createViewArgPositionsAll.push(builderMethodPositions);
+        }
+        const { value: componentValue, valueOriginalPositions: componentPositions, stmts: componentStmts, } = this.generateComponentCreationStmts(EtsConst_1.COMPONENT_CUSTOMVIEW, createViewArgs, componentExpressionPosition, createViewArgPositionsAll.flat());
+        componentStmts.forEach(stmt => stmts.push(stmt));
+        stmts.push(this.generateComponentPopStmts(EtsConst_1.COMPONENT_CUSTOMVIEW, componentExpressionPosition));
+        return {
+            value: componentValue,
+            valueOriginalPositions: componentPositions,
+            stmts: stmts,
+        };
+    }
+    generateComponentCreationStmts(componentName, createArgs, componentExpressionPosition, createArgsPositionsAllFlat) {
+        const createMethodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromClassNameAndMethodName(componentName, EtsConst_1.COMPONENT_CREATE_FUNCTION);
+        const createInvokeExpr = new Expr_1.ArkStaticInvokeExpr(createMethodSignature, createArgs);
+        const createInvokeExprPositions = [componentExpressionPosition, ...createArgsPositionsAllFlat];
+        const { value: componentValue, valueOriginalPositions: componentPositions, stmts: componentStmts, } = this.arkIRTransformer.generateAssignStmtForValue(createInvokeExpr, createInvokeExprPositions);
+        return {
+            value: componentValue,
+            valueOriginalPositions: componentPositions,
+            stmts: componentStmts,
+        };
+    }
+    generateComponentPopStmts(componentName, componentExpressionPosition) {
+        const popMethodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromClassNameAndMethodName(componentName, EtsConst_1.COMPONENT_POP_FUNCTION);
+        const popInvokeExpr = new Expr_1.ArkStaticInvokeExpr(popMethodSignature, []);
+        const popInvokeExprPositions = [componentExpressionPosition];
+        const popInvokeStmt = new Stmt_1.ArkInvokeStmt(popInvokeExpr);
+        popInvokeStmt.setOperandOriginalPositions(popInvokeExprPositions);
+        return popInvokeStmt;
+    }
+    etsComponentExpressionToValueAndStmts(etsComponentExpression) {
+        const stmts = [];
+        const componentName = etsComponentExpression.expression.text;
+        const { argValues: argValues, argPositions: argPositions, } = this.parseArguments(stmts, etsComponentExpression.arguments);
+        if ((0, EtsConst_1.isEtsSystemComponent)(componentName)) {
+            return this.generateSystemComponentStmt(componentName, argValues, argPositions, etsComponentExpression, stmts);
+        }
+        return this.generateCustomViewStmt(componentName, argValues, argPositions, etsComponentExpression, stmts);
+    }
+    classExpressionToValueAndStmts(classExpression) {
+        const declaringArkClass = this.declaringMethod.getDeclaringArkClass();
+        const declaringArkNamespace = declaringArkClass.getDeclaringArkNamespace();
+        const newClass = new ArkClass_1.ArkClass();
+        if (declaringArkNamespace) {
+            (0, ArkClassBuilder_1.buildNormalArkClassFromArkNamespace)(classExpression, declaringArkNamespace, newClass, this.sourceFile, this.declaringMethod);
+        }
+        else {
+            const declaringArkFile = declaringArkClass.getDeclaringArkFile();
+            (0, ArkClassBuilder_1.buildNormalArkClassFromArkFile)(classExpression, declaringArkFile, newClass, this.sourceFile, this.declaringMethod);
+        }
+        const classValue = this.addNewLocal(newClass.getName(), new Type_1.ClassType(newClass.getSignature()));
+        return {
+            value: classValue,
+            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(classExpression, this.sourceFile)],
+            stmts: [],
+        };
+    }
+    templateExpressionToValueAndStmts(templateExpression) {
+        const { stmts, stringTextValues, placeholderValues, stringTextPositions, placeholderPositions, } = this.collectTemplateValues(templateExpression);
+        const { placeholderStringLocals, placeholderStringLocalPositions, newStmts } = this.processTemplatePlaceholders(placeholderValues, placeholderPositions, stmts);
+        return this.combineTemplateParts(stringTextValues, stringTextPositions, placeholderStringLocals, placeholderStringLocalPositions, newStmts);
+    }
+    processTemplatePlaceholders(placeholderValues, placeholderPositions, currStmts) {
+        const placeholderStringLocals = [];
+        const placeholderStringLocalPositions = [];
+        const newStmts = [...currStmts];
+        for (let i = 0; i < placeholderValues.length; i++) {
+            let placeholderValue = placeholderValues[i];
+            let placeholderPosition = [placeholderPositions[i]];
+            let placeholderStmts = [];
+            if (!(placeholderValue instanceof Local_1.Local)) {
+                ({
+                    value: placeholderValue,
+                    valueOriginalPositions: placeholderPosition,
+                    stmts: placeholderStmts,
+                } = this.arkIRTransformer.generateAssignStmtForValue(placeholderValue, placeholderPosition));
+            }
+            placeholderStmts.forEach(stmt => newStmts.push(stmt));
+            const toStringExpr = new Expr_1.ArkInstanceInvokeExpr(placeholderValue, Builtin_1.Builtin.TO_STRING_METHOD_SIGNATURE, []);
+            const toStringExprPosition = [placeholderPosition[0], placeholderPosition[0]];
+            const { value: placeholderStringLocal, valueOriginalPositions: placeholderStringPositions, stmts: toStringStmts, } = this.arkIRTransformer.generateAssignStmtForValue(toStringExpr, toStringExprPosition);
+            placeholderStringLocals.push(placeholderStringLocal);
+            placeholderStringLocalPositions.push(placeholderStringPositions[0]);
+            toStringStmts.forEach(stmt => newStmts.push(stmt));
+        }
+        return {
+            placeholderStringLocals,
+            placeholderStringLocalPositions,
+            newStmts,
+        };
+    }
+    combineTemplateParts(stringTextValues, stringTextPositions, placeholderStringLocals, placeholderStringLocalPositions, currStmts) {
+        const templateParts = [];
+        const templatePartPositions = [];
+        for (let i = 0; i < placeholderStringLocals.length; i++) {
+            if (stringTextValues[i] !== ValueUtil_1.ValueUtil.EMPTY_STRING_CONSTANT) {
+                templateParts.push(stringTextValues[i]);
+                templatePartPositions.push(stringTextPositions[i]);
+            }
+            templateParts.push(placeholderStringLocals[i]);
+            templatePartPositions.push(placeholderStringLocalPositions[i]);
+        }
+        if (stringTextValues[stringTextValues.length - 1] !== ValueUtil_1.ValueUtil.EMPTY_STRING_CONSTANT) {
+            templateParts.push(stringTextValues[stringTextValues.length - 1]);
+            templatePartPositions.push(stringTextPositions[stringTextPositions.length - 1]);
+        }
+        let currTemplateResult = templateParts[0];
+        let currTemplateResultPosition = templatePartPositions[0];
+        const finalStmts = [...currStmts];
+        for (let i = 1; i < templateParts.length; i++) {
+            const nextTemplatePartPosition = templatePartPositions[i];
+            const normalBinopExpr = new Expr_1.ArkNormalBinopExpr(currTemplateResult, templateParts[i], Expr_1.NormalBinaryOperator.Addition);
+            const normalBinopExprPositions = [
+                Position_1.FullPosition.merge(currTemplateResultPosition, nextTemplatePartPosition),
+                currTemplateResultPosition,
+                nextTemplatePartPosition,
+            ];
+            const { value: combinationValue, valueOriginalPositions: combinationValuePositions, stmts: combinationStmts, } = this.arkIRTransformer.generateAssignStmtForValue(normalBinopExpr, normalBinopExprPositions);
+            combinationStmts.forEach(stmt => finalStmts.push(stmt));
+            currTemplateResult = combinationValue;
+            currTemplateResultPosition = combinationValuePositions[0];
+        }
+        return {
+            value: currTemplateResult,
+            valueOriginalPositions: [currTemplateResultPosition],
+            stmts: finalStmts,
+        };
+    }
+    taggedTemplateExpressionToValueAndStmts(taggedTemplateExpression) {
+        const { stmts, stringTextValues, placeholderValues, stringTextPositions, placeholderPositions, } = this.collectTemplateValues(taggedTemplateExpression.template);
+        const stringTextBaseType = Type_1.StringType.getInstance();
+        const stringTextArrayLen = stringTextValues.length;
+        const stringTextArrayLenValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(stringTextArrayLen);
+        const stringTextArrayLenPosition = Position_1.FullPosition.DEFAULT;
+        const { value: templateObjectLocal, valueOriginalPositions: templateObjectLocalPositions, stmts: templateObjectStmts, } = this.generateArrayExprAndStmts(stringTextBaseType, stringTextArrayLenValue, stringTextArrayLenPosition, stringTextArrayLen, stringTextValues, stringTextPositions, stmts, Position_1.FullPosition.DEFAULT, true);
+        const placeholderBaseType = Type_1.AnyType.getInstance();
+        const placeholdersArrayLen = placeholderValues.length;
+        const placeholdersArrayLenValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(placeholdersArrayLen);
+        const placeholdersArrayLenPosition = Position_1.FullPosition.DEFAULT;
+        const { value: placeholdersLocal, valueOriginalPositions: placeholdersLocalPositions, stmts: placeholdersStmts, } = this.generateArrayExprAndStmts(placeholderBaseType, placeholdersArrayLenValue, placeholdersArrayLenPosition, placeholdersArrayLen, placeholderValues, placeholderPositions, templateObjectStmts, Position_1.FullPosition.DEFAULT, true);
+        const taggedFuncArgus = {
+            realGenericTypes: undefined, argValues: [templateObjectLocal, placeholdersLocal],
+            argPositions: [templateObjectLocalPositions[0], placeholdersLocalPositions[0]],
+        };
+        return this.generateInvokeValueAndStmts(taggedTemplateExpression.tag, taggedFuncArgus, placeholdersStmts, taggedTemplateExpression);
+    }
+    collectTemplateValues(templateLiteral) {
+        const stmts = [];
+        if (ts.isNoSubstitutionTemplateLiteral(templateLiteral)) {
+            const templateLiteralString = templateLiteral.getText(this.sourceFile);
+            return {
+                stmts: [],
+                stringTextValues: [ValueUtil_1.ValueUtil.createStringConst(templateLiteralString)],
+                placeholderValues: [],
+                stringTextPositions: [Position_1.FullPosition.buildFromNode(templateLiteral, this.sourceFile)],
+                placeholderPositions: [],
+            };
+        }
+        const head = templateLiteral.head;
+        const stringTextValues = [ValueUtil_1.ValueUtil.createStringConst(head.rawText || '')];
+        const placeholderValues = [];
+        const stringTextPositions = [Position_1.FullPosition.buildFromNode(head, this.sourceFile)];
+        const placeholderPositions = [];
+        for (const templateSpan of templateLiteral.templateSpans) {
+            let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(templateSpan.expression);
+            exprStmts.forEach(stmt => stmts.push(stmt));
+            if (IRUtils_1.IRUtils.moreThanOneAddress(exprValue)) {
+                ({
+                    value: exprValue,
+                    valueOriginalPositions: exprPositions,
+                    stmts: exprStmts,
+                } = this.arkIRTransformer.generateAssignStmtForValue(exprValue, exprPositions));
+                exprStmts.forEach(stmt => stmts.push(stmt));
+            }
+            placeholderValues.push(exprValue);
+            placeholderPositions.push(exprPositions[0]);
+            stringTextPositions.push(Position_1.FullPosition.buildFromNode(templateSpan.literal, this.sourceFile));
+            stringTextValues.push(ValueUtil_1.ValueUtil.createStringConst(templateSpan.literal.rawText || ''));
+        }
+        return {
+            stmts,
+            stringTextValues,
+            placeholderValues,
+            stringTextPositions,
+            placeholderPositions,
+        };
+    }
+    identifierToValueAndStmts(identifier, variableDefFlag = false) {
+        let identifierValue;
+        let identifierPositions = [Position_1.FullPosition.buildFromNode(identifier, this.sourceFile)];
+        if (identifier.text === Type_1.UndefinedType.getInstance().getName()) {
+            identifierValue = ValueUtil_1.ValueUtil.getUndefinedConst();
+        }
+        else {
+            if (variableDefFlag) {
+                identifierValue = this.addNewLocal(identifier.text);
+            }
+            else {
+                identifierValue = this.getOrCreateLocal(identifier.text);
+            }
+        }
+        return {
+            value: identifierValue,
+            valueOriginalPositions: identifierPositions,
+            stmts: [],
+        };
+    }
+    propertyAccessExpressionToValue(propertyAccessExpression) {
+        const stmts = [];
+        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts, } = this.tsNodeToValueAndStmts(propertyAccessExpression.expression);
+        baseStmts.forEach(stmt => stmts.push(stmt));
+        if (IRUtils_1.IRUtils.moreThanOneAddress(baseValue)) {
+            ({
+                value: baseValue,
+                valueOriginalPositions: basePositions,
+                stmts: baseStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
+            baseStmts.forEach(stmt => stmts.push(stmt));
+        }
+        if (!(baseValue instanceof Local_1.Local)) {
+            ({
+                value: baseValue,
+                valueOriginalPositions: basePositions,
+                stmts: baseStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
+            baseStmts.forEach(stmt => stmts.push(stmt));
+        }
+        const fieldRefPositions = [Position_1.FullPosition.buildFromNode(propertyAccessExpression, this.sourceFile), ...basePositions];
+        // this if for the case: const obj: Object = Object.create(Object.prototype);
+        if (baseValue instanceof Local_1.Local && baseValue.getName() === Builtin_1.Builtin.OBJECT) {
+            this.locals.delete(baseValue.getName());
+            const fieldSignature = new ArkSignature_1.FieldSignature(propertyAccessExpression.name.getText(this.sourceFile), Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE, Type_1.UnknownType.getInstance(), true);
+            const fieldRef = new Ref_1.ArkStaticFieldRef(fieldSignature);
+            return {
+                value: fieldRef,
+                valueOriginalPositions: fieldRefPositions,
+                stmts: stmts,
+            };
+        }
+        let fieldSignature;
+        if (baseValue instanceof Local_1.Local && baseValue.getType() instanceof Type_1.ClassType) {
+            fieldSignature = new ArkSignature_1.FieldSignature(propertyAccessExpression.name.getText(this.sourceFile), baseValue.getType().getClassSignature(), Type_1.UnknownType.getInstance());
+        }
+        else {
+            fieldSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(propertyAccessExpression.name.getText(this.sourceFile));
+        }
+        const fieldRef = new Ref_1.ArkInstanceFieldRef(baseValue, fieldSignature);
+        return {
+            value: fieldRef,
+            valueOriginalPositions: fieldRefPositions,
+            stmts: stmts,
+        };
+    }
+    elementAccessExpressionToValueAndStmts(elementAccessExpression) {
+        const stmts = [];
+        let { value: baseValue, valueOriginalPositions: basePositions, stmts: baseStmts, } = this.tsNodeToValueAndStmts(elementAccessExpression.expression);
+        baseStmts.forEach(stmt => stmts.push(stmt));
+        if (!(baseValue instanceof Local_1.Local)) {
+            ({
+                value: baseValue,
+                valueOriginalPositions: basePositions,
+                stmts: baseStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(baseValue, basePositions));
+            baseStmts.forEach(stmt => stmts.push(stmt));
+        }
+        let { value: argumentValue, valueOriginalPositions: arguPositions, stmts: argumentStmts, } = this.tsNodeToValueAndStmts(elementAccessExpression.argumentExpression);
+        argumentStmts.forEach(stmt => stmts.push(stmt));
+        if (IRUtils_1.IRUtils.moreThanOneAddress(argumentValue)) {
+            ({
+                value: argumentValue,
+                valueOriginalPositions: arguPositions,
+                stmts: argumentStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(argumentValue, arguPositions));
+            argumentStmts.forEach(stmt => stmts.push(stmt));
+        }
+        let elementAccessExpr;
+        if (baseValue.getType() instanceof Type_1.ArrayType) {
+            elementAccessExpr = new Ref_1.ArkArrayRef(baseValue, argumentValue);
+        }
+        else {
+            // TODO: deal with ArkStaticFieldRef
+            const fieldSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(argumentValue.toString());
+            elementAccessExpr = new Ref_1.ArkInstanceFieldRef(baseValue, fieldSignature, true);
+        }
+        // reserve positions for field name
+        const exprPositions = [Position_1.FullPosition.buildFromNode(elementAccessExpression, this.sourceFile), ...basePositions, ...arguPositions];
+        return {
+            value: elementAccessExpr,
+            valueOriginalPositions: exprPositions,
+            stmts: stmts,
+        };
+    }
+    callExpressionToValueAndStmts(callExpression) {
+        const stmts = [];
+        const argus = this.parseArgumentsOfCallExpression(stmts, callExpression);
+        return this.generateInvokeValueAndStmts(callExpression.expression, argus, stmts, callExpression);
+    }
+    generateInvokeValueAndStmts(functionNameNode, args, currStmts, callExpression) {
+        const stmts = [...currStmts];
+        const { value: calleeValue, valueOriginalPositions: calleePositions, stmts: calleeStmts } = this.tsNodeToValueAndStmts(functionNameNode);
+        stmts.push(...calleeStmts);
+        const invokeExprPosition = Position_1.FullPosition.buildFromNode(callExpression, this.sourceFile);
+        if (calleeValue instanceof Ref_1.AbstractFieldRef) {
+            return this.handleFieldRefInvoke(calleeValue, args, invokeExprPosition, calleePositions, stmts);
+        }
+        if (calleeValue instanceof Local_1.Local) {
+            return this.handleLocalInvoke(calleeValue, callExpression, args, invokeExprPosition, calleePositions, stmts);
+        }
+        if (calleeValue instanceof Ref_1.ArkArrayRef && ts.isElementAccessExpression(functionNameNode)) {
+            return this.handleArrayRefInvoke(calleeValue, functionNameNode, args, invokeExprPosition, calleePositions, stmts);
+        }
+        return this.handleDefaultInvoke(calleeValue, args, invokeExprPosition, calleePositions, stmts);
+    }
+    handleFieldRefInvoke(calleeValue, args, invokeExprPosition, calleePositions, currStmts) {
+        let methodSignature;
+        const declareSignature = calleeValue.getFieldSignature().getDeclaringSignature();
+        if (declareSignature instanceof ArkSignature_1.ClassSignature) {
+            methodSignature =
+                new ArkSignature_1.MethodSignature(declareSignature, ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(calleeValue.getFieldName()));
+        }
+        else {
+            methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(calleeValue.getFieldName());
+        }
+        let invokeExpr;
+        const invokeExprPositions = [invokeExprPosition];
+        if (calleeValue instanceof Ref_1.ArkInstanceFieldRef) {
+            invokeExpr =
+                new Expr_1.ArkInstanceInvokeExpr(calleeValue.getBase(), methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
+            invokeExprPositions.push(...calleePositions.slice(1));
+        }
+        else {
+            invokeExpr = new Expr_1.ArkStaticInvokeExpr(methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
+        }
+        invokeExprPositions.push(...args.argPositions);
+        return {
+            value: invokeExpr,
+            valueOriginalPositions: invokeExprPositions,
+            stmts: currStmts,
+        };
+    }
+    handleLocalInvoke(calleeValue, callExpression, args, invokeExprPosition, calleePositions, currStmts) {
+        var _a;
+        let invokeExpr;
+        const invokeExprPositions = [invokeExprPosition];
+        const calleeName = calleeValue.getName();
+        if (this.isCustomViewCall(calleeName, callExpression)) {
+            return this.generateCustomViewStmt(calleeName, args.argValues, args.argPositions, callExpression, currStmts);
+        }
+        else if (this.isSystemComponentCall(calleeName, callExpression)) {
+            return this.generateSystemComponentStmt(calleeName, args.argValues, args.argPositions, callExpression, currStmts);
+        }
+        const methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(calleeName);
+        if (!((_a = this.getGlobals()) === null || _a === void 0 ? void 0 : _a.has(calleeName)) || calleeValue.getType() instanceof Type_1.FunctionType) {
+            // the call to the left value or a value of function type should be ptr invoke expr.
+            invokeExpr = new Expr_1.ArkPtrInvokeExpr(methodSignature, calleeValue, args.argValues, args.realGenericTypes, args.spreadFlags);
+            invokeExprPositions.push(...calleePositions.slice(1));
+        }
+        else {
+            invokeExpr = new Expr_1.ArkStaticInvokeExpr(methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
+        }
+        invokeExprPositions.push(...args.argPositions);
+        return {
+            value: invokeExpr,
+            valueOriginalPositions: invokeExprPositions,
+            stmts: currStmts,
+        };
+    }
+    isCustomViewCall(callerName, callExpression) {
+        var _a;
+        if (!ts.isCallExpression(callExpression)) {
+            return false;
+        }
+        const classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(callerName);
+        const cls = ModelUtils_1.ModelUtils.getClass(this.declaringMethod, classSignature);
+        return (_a = cls === null || cls === void 0 ? void 0 : cls.hasComponentDecorator()) !== null && _a !== void 0 ? _a : false;
+    }
+    isSystemComponentCall(calleeName, callExpression) {
+        return (calleeName === EtsConst_1.COMPONENT_FOR_EACH || calleeName === EtsConst_1.COMPONENT_LAZY_FOR_EACH) &&
+            ts.isCallExpression(callExpression);
+    }
+    handleArrayRefInvoke(calleeValue, functionNameNode, args, invokeExprPosition, calleePositions, currStmts) {
+        const stmts = [...currStmts];
+        const methodSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(functionNameNode.argumentExpression.getText());
+        stmts.pop();
+        const invokeExpr = new Expr_1.ArkInstanceInvokeExpr(calleeValue.getBase(), methodSignature, args.argValues, args.realGenericTypes, args.spreadFlags);
+        const invokeExprPositions = [invokeExprPosition, calleePositions.slice(1)[0],
+            ...args.argPositions];
+        return {
+            value: invokeExpr,
+            valueOriginalPositions: invokeExprPositions,
+            stmts: stmts,
+        };
+    }
+    handleDefaultInvoke(calleeValue, args, invokeExprPosition, calleePositions, currStmts) {
+        const stmts = [...currStmts];
+        const { value: newCalleeValue, stmts: newStmts } = this.arkIRTransformer.generateAssignStmtForValue(calleeValue, calleePositions);
+        stmts.push(...newStmts);
+        const invokeExpr = new Expr_1.ArkPtrInvokeExpr(ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSignatureFromMethodName(newCalleeValue.getName()), newCalleeValue, args.argValues, args.realGenericTypes, args.spreadFlags);
+        const invokeExprPositions = [invokeExprPosition, calleePositions.slice(1)[0],
+            ...args.argPositions];
+        return {
+            value: invokeExpr,
+            valueOriginalPositions: invokeExprPositions,
+            stmts: stmts,
+        };
+    }
+    parseArgumentsOfCallExpression(currStmts, callExpression) {
+        let realGenericTypes;
+        if (callExpression.typeArguments) {
+            realGenericTypes = [];
+            callExpression.typeArguments.forEach(typeArgument => {
+                realGenericTypes.push(this.resolveTypeNode(typeArgument));
+            });
+        }
+        let builderMethodIndexes;
+        if (ts.isIdentifier(callExpression.expression)) {
+            const callerName = callExpression.expression.text;
+            if (callerName === EtsConst_1.COMPONENT_FOR_EACH || callerName === EtsConst_1.COMPONENT_LAZY_FOR_EACH) {
+                builderMethodIndexes = new Set([1]);
+            }
+        }
+        const { argValues, argPositions, spreadFlags, } = this.parseArguments(currStmts, callExpression.arguments, builderMethodIndexes);
+        return { realGenericTypes, argValues, argPositions, spreadFlags };
+    }
+    parseArguments(currStmts, argumentNodes, builderMethodIndexes) {
+        const argValues = [];
+        const argPositions = [];
+        let spreadFlags = [];
+        if (argumentNodes) {
+            spreadFlags = new Array(argumentNodes.length).fill(false);
+            for (let i = 0; i < argumentNodes.length; i++) {
+                spreadFlags[i] = ts.isSpreadElement(argumentNodes[i]);
+                const argument = argumentNodes[i];
+                const prevBuilderMethodContextFlag = this.builderMethodContextFlag;
+                if (builderMethodIndexes === null || builderMethodIndexes === void 0 ? void 0 : builderMethodIndexes.has(i)) {
+                    this.builderMethodContextFlag = true;
+                    this.arkIRTransformer.setBuilderMethodContextFlag(true);
+                }
+                let { value: argValue, valueOriginalPositions: argPositionsSingle, stmts: argStmts, } = this.tsNodeToSingleAddressValueAndStmts(argument);
+                this.builderMethodContextFlag = prevBuilderMethodContextFlag;
+                this.arkIRTransformer.setBuilderMethodContextFlag(prevBuilderMethodContextFlag);
+                argStmts.forEach(s => currStmts.push(s));
+                argValues.push(argValue);
+                argPositions.push(argPositionsSingle[0]);
+            }
+        }
+        return {
+            argValues,
+            argPositions,
+            spreadFlags: spreadFlags.every((f) => f === false) ? undefined : spreadFlags,
+        };
+    }
+    callableNodeToValueAndStmts(callableNode) {
+        const declaringClass = this.declaringMethod.getDeclaringArkClass();
+        const arrowArkMethod = new ArkMethod_1.ArkMethod();
+        if (this.builderMethodContextFlag) {
+            ModelUtils_1.ModelUtils.implicitArkUIBuilderMethods.add(arrowArkMethod);
+        }
+        (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(callableNode, declaringClass, arrowArkMethod, this.sourceFile, this.declaringMethod);
+        const callableType = new Type_1.FunctionType(arrowArkMethod.getSignature());
+        const callableValue = this.addNewLocal(arrowArkMethod.getName(), callableType);
+        return {
+            value: callableValue,
+            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(callableNode, this.sourceFile)],
+            stmts: [],
+        };
+    }
+    newExpressionToValueAndStmts(newExpression) {
+        let className = '';
+        if (ts.isClassExpression(newExpression.expression) && newExpression.expression.name) {
+            className = newExpression.expression.name.text;
+        }
+        else {
+            className = newExpression.expression.getText(this.sourceFile);
+        }
+        if (className === Builtin_1.Builtin.ARRAY) {
+            return this.newArrayExpressionToValueAndStmts(newExpression);
+        }
+        const stmts = [];
+        let realGenericTypes;
+        if (newExpression.typeArguments) {
+            realGenericTypes = [];
+            newExpression.typeArguments.forEach(typeArgument => {
+                realGenericTypes.push(this.resolveTypeNode(typeArgument));
+            });
+        }
+        let classSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildClassSignatureFromClassName(className);
+        let classType = new Type_1.ClassType(classSignature, realGenericTypes);
+        if (className === Builtin_1.Builtin.OBJECT) {
+            classSignature = Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE;
+            classType = Builtin_1.Builtin.OBJECT_CLASS_TYPE;
+        }
+        const newExpr = new Expr_1.ArkNewExpr(classType);
+        const { value: newLocal, valueOriginalPositions: newLocalPositions, stmts: newExprStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newExpr, [Position_1.FullPosition.buildFromNode(newExpression, this.sourceFile)]);
+        newExprStmts.forEach(stmt => stmts.push(stmt));
+        const constructorMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(TSConst_1.CONSTRUCTOR_NAME);
+        const constructorMethodSignature = new ArkSignature_1.MethodSignature(classSignature, constructorMethodSubSignature);
+        const { argValues: argValues, argPositions: argPositions, } = this.parseArguments(stmts, newExpression.arguments);
+        const instanceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(newLocal, constructorMethodSignature, argValues);
+        const assignStmt = new Stmt_1.ArkAssignStmt(newLocal, instanceInvokeExpr);
+        const assignStmtPositions = [newLocalPositions[0], newLocalPositions[0], ...newLocalPositions, ...argPositions];
+        assignStmt.setOperandOriginalPositions(assignStmtPositions);
+        stmts.push(assignStmt);
+        return { value: newLocal, valueOriginalPositions: assignStmtPositions, stmts: stmts };
+    }
+    newArrayExpressionToValueAndStmts(newArrayExpression) {
+        let baseType = Type_1.UnknownType.getInstance();
+        if (newArrayExpression.typeArguments && newArrayExpression.typeArguments.length > 0) {
+            const argumentType = this.resolveTypeNode(newArrayExpression.typeArguments[0]);
+            if (!(argumentType instanceof Type_1.AnyType || argumentType instanceof Type_1.UnknownType)) {
+                baseType = argumentType;
+            }
+        }
+        const stmts = [];
+        const { argValues, argPositions } = this.parseArguments(stmts, newArrayExpression.arguments);
+        let argumentsLength = newArrayExpression.arguments ? newArrayExpression.arguments.length : 0;
+        let arrayLengthValue;
+        let arrayLength = -1;
+        let arrayLengthPosition = Position_1.FullPosition.DEFAULT;
+        if (argumentsLength === 1 && (argValues[0].getType() instanceof Type_1.NumberType || argValues[0].getType() instanceof Type_1.UnknownType)) {
+            arrayLengthValue = argValues[0];
+            arrayLengthPosition = argPositions[0];
+        }
+        else {
+            arrayLengthValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(argumentsLength);
+            arrayLength = argumentsLength;
+        }
+        if (baseType instanceof Type_1.UnknownType) {
+            if (argumentsLength > 1 && !(argValues[0].getType() instanceof Type_1.UnknownType)) {
+                baseType = argValues[0].getType();
+            }
+            else {
+                baseType = Type_1.AnyType.getInstance();
+            }
+        }
+        const newArrayExprPosition = Position_1.FullPosition.buildFromNode(newArrayExpression, this.sourceFile);
+        return this.generateArrayExprAndStmts(baseType, arrayLengthValue, arrayLengthPosition, arrayLength, argValues, argPositions, stmts, newArrayExprPosition, false);
+    }
+    arrayLiteralExpressionToValueAndStmts(arrayLiteralExpression) {
+        const stmts = [];
+        const elementTypes = [];
+        const elementValues = [];
+        const elementPositions = [];
+        const arrayLength = arrayLiteralExpression.elements.length;
+        let firstSpreadIdx = -1;
+        for (let i = 0; i < arrayLength; i++) {
+            if (ts.isSpreadElement(arrayLiteralExpression.elements[i]) && firstSpreadIdx === -1) {
+                firstSpreadIdx = i;
+            }
+            const { value: elementValue, valueOriginalPositions: elementPosition, stmts: elementStmts } = this.tsNodeToSingleAddressValueAndStmts(arrayLiteralExpression.elements[i]);
+            elementStmts.forEach(stmt => stmts.push(stmt));
+            elementValues.push(elementValue);
+            elementTypes.push(elementValue.getType());
+            elementPositions.push(elementPosition[0]);
+        }
+        const wholePosition = Position_1.FullPosition.buildFromNode(arrayLiteralExpression, this.sourceFile);
+        if (firstSpreadIdx === -1) { // only literal elements
+            return this.generateArrayExprFromLiteral(elementValues, elementTypes, elementPositions, wholePosition, 0, arrayLength, stmts);
+        }
+        else if (firstSpreadIdx === 0) {
+            if (arrayLength === 1) { // only spread element
+                const sliceMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.SLICE);
+                const sliceMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, sliceMethodSubSignature);
+                const sliceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(elementValues[0], sliceMethodSignature, []);
+                const sliceInvokeExprPositions = [wholePosition, elementPositions[0]];
+                return { value: sliceInvokeExpr, valueOriginalPositions: sliceInvokeExprPositions, stmts: stmts };
+            }
+            else { // spread element start
+                const concatMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.CONCAT);
+                const concatMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, concatMethodSubSignature);
+                const concatInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(elementValues[0], concatMethodSignature, elementValues.slice(1));
+                const concatInvokeExprPositions = [wholePosition, ...elementPositions];
+                return { value: concatInvokeExpr, valueOriginalPositions: concatInvokeExprPositions, stmts: stmts };
+            }
+        }
+        else { // contains spread elements and begins with literal elements.
+            const beginLiteralValueAndStmts = this.generateArrayExprFromLiteral(elementValues, elementTypes, elementPositions, wholePosition, 0, firstSpreadIdx, stmts);
+            const concatMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.CONCAT);
+            const concatMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, concatMethodSubSignature);
+            const concatInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(beginLiteralValueAndStmts.value, concatMethodSignature, elementValues.slice(firstSpreadIdx));
+            const concatInvokeExprPositions = [wholePosition, beginLiteralValueAndStmts.valueOriginalPositions[0],
+                ...elementPositions.slice(firstSpreadIdx)];
+            return { value: concatInvokeExpr, valueOriginalPositions: concatInvokeExprPositions, stmts: beginLiteralValueAndStmts.stmts };
+        }
+    }
+    generateArrayExprFromLiteral(elementValues, elementTypes, elementPositions, wholePosition, start, end, currStmts) {
+        const elementTypesSet = new Set(elementTypes.slice(start, end));
+        let baseType = Type_1.AnyType.getInstance();
+        if (elementTypesSet.size === 1) {
+            baseType = elementTypes[0];
+        }
+        else if (elementTypesSet.size > 1) {
+            baseType = new Type_1.UnionType(Array.from(elementTypesSet));
+        }
+        const newArrayExprPosition = (start === end || (end - start) === elementPositions.length)
+            ? wholePosition : Position_1.FullPosition.merge(elementPositions[0], elementPositions[end - 1]);
+        return this.generateArrayExprAndStmts(baseType, ValueUtil_1.ValueUtil.getOrCreateNumberConst(end - start), Position_1.FullPosition.DEFAULT, end - start, elementValues.slice(start, end), elementPositions.slice(start, end), currStmts, newArrayExprPosition, true);
+    }
+    generateArrayExprAndStmts(baseType, arrayLengthValue, arrayLengthPosition, arrayLength, initializerValues, initializerPositions, currStmts, newArrayExprPosition, fromLiteral) {
+        const stmts = [...currStmts];
+        const newArrayExpr = new Expr_1.ArkNewArrayExpr(baseType, arrayLengthValue, fromLiteral);
+        const newArrayExprPositions = [newArrayExprPosition, arrayLengthPosition];
+        const { value: arrayLocal, valueOriginalPositions: arrayLocalPositions, stmts: arrayStmts, } = this.arkIRTransformer.generateAssignStmtForValue(newArrayExpr, newArrayExprPositions);
+        arrayStmts.forEach(stmt => stmts.push(stmt));
+        for (let i = 0; i < arrayLength; i++) {
+            const indexValue = ValueUtil_1.ValueUtil.getOrCreateNumberConst(i);
+            const arrayRef = new Ref_1.ArkArrayRef(arrayLocal, indexValue);
+            const arrayRefPositions = [arrayLocalPositions[0], ...arrayLocalPositions, Position_1.FullPosition.DEFAULT];
+            const assignStmt = new Stmt_1.ArkAssignStmt(arrayRef, initializerValues[i]);
+            assignStmt.setOperandOriginalPositions([...arrayRefPositions, initializerPositions[i]]);
+            stmts.push(assignStmt);
+        }
+        return {
+            value: arrayLocal,
+            valueOriginalPositions: arrayLocalPositions,
+            stmts: stmts,
+        };
+    }
+    prefixUnaryExpressionToValueAndStmts(prefixUnaryExpression) {
+        const stmts = [];
+        let { value: originOperandValue, valueOriginalPositions: originOperandPositions, stmts: operandStmts, } = this.tsNodeToValueAndStmts(prefixUnaryExpression.operand);
+        operandStmts.forEach(stmt => stmts.push(stmt));
+        let operandValue;
+        let operandPositions;
+        if (IRUtils_1.IRUtils.moreThanOneAddress(originOperandValue)) {
+            ({
+                value: operandValue,
+                valueOriginalPositions: operandPositions,
+                stmts: operandStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(originOperandValue, originOperandPositions));
+            operandStmts.forEach(stmt => stmts.push(stmt));
+        }
+        else {
+            operandValue = originOperandValue;
+            operandPositions = originOperandPositions;
+        }
+        const operatorToken = prefixUnaryExpression.operator;
+        let exprPositions = [Position_1.FullPosition.buildFromNode(prefixUnaryExpression, this.sourceFile)];
+        if (operatorToken === ts.SyntaxKind.PlusPlusToken || operatorToken === ts.SyntaxKind.MinusMinusToken) {
+            const binaryOperator = operatorToken === ts.SyntaxKind.PlusPlusToken ? Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
+            const binopExpr = new Expr_1.ArkNormalBinopExpr(operandValue, ValueUtil_1.ValueUtil.getOrCreateNumberConst(1), binaryOperator);
+            exprPositions.push(...operandPositions, Position_1.FullPosition.DEFAULT);
+            const assignStmt = new Stmt_1.ArkAssignStmt(operandValue, binopExpr);
+            assignStmt.setOperandOriginalPositions([...operandPositions, ...exprPositions]);
+            stmts.push(assignStmt);
+            if (operandValue !== originOperandValue) {
+                const lastAssignStmt = new Stmt_1.ArkAssignStmt(originOperandValue, operandValue);
+                lastAssignStmt.setOperandOriginalPositions([...originOperandPositions, ...operandPositions]);
+                stmts.push(lastAssignStmt);
+            }
+            return { value: originOperandValue, valueOriginalPositions: originOperandPositions, stmts: stmts };
+        }
+        else if (operatorToken === ts.SyntaxKind.PlusToken) {
+            return { value: operandValue, valueOriginalPositions: operandPositions, stmts: stmts };
+        }
+        else {
+            let unopExpr;
+            const operator = ArkIRTransformer_1.ArkIRTransformer.tokenToUnaryOperator(operatorToken);
+            if (operator) {
+                unopExpr = new Expr_1.ArkUnopExpr(operandValue, operator);
+                exprPositions.push(...operandPositions);
+            }
+            else {
+                unopExpr = ValueUtil_1.ValueUtil.getUndefinedConst();
+                exprPositions = [Position_1.FullPosition.DEFAULT];
+            }
+            return { value: unopExpr, valueOriginalPositions: exprPositions, stmts: stmts };
+        }
+    }
+    postfixUnaryExpressionToValueAndStmts(postfixUnaryExpression) {
+        const stmts = [];
+        let { value: originOperandValue, valueOriginalPositions: originOperandPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(postfixUnaryExpression.operand);
+        exprStmts.forEach(stmt => stmts.push(stmt));
+        let operandValue;
+        let operandPositions;
+        if (IRUtils_1.IRUtils.moreThanOneAddress(originOperandValue)) {
+            ({
+                value: operandValue,
+                valueOriginalPositions: operandPositions,
+                stmts: exprStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(originOperandValue, originOperandPositions));
+            exprStmts.forEach(stmt => stmts.push(stmt));
+        }
+        else {
+            operandValue = originOperandValue;
+            operandPositions = originOperandPositions;
+        }
+        let exprPositions = [Position_1.FullPosition.buildFromNode(postfixUnaryExpression, this.sourceFile)];
+        const operatorToken = postfixUnaryExpression.operator;
+        if (operatorToken === ts.SyntaxKind.PlusPlusToken || operatorToken === ts.SyntaxKind.MinusMinusToken) {
+            const binaryOperator = operatorToken === ts.SyntaxKind.PlusPlusToken ? Expr_1.NormalBinaryOperator.Addition : Expr_1.NormalBinaryOperator.Subtraction;
+            const binopExpr = new Expr_1.ArkNormalBinopExpr(operandValue, ValueUtil_1.ValueUtil.getOrCreateNumberConst(1), binaryOperator);
+            exprPositions.push(...operandPositions, Position_1.FullPosition.DEFAULT);
+            const assignStmt = new Stmt_1.ArkAssignStmt(operandValue, binopExpr);
+            assignStmt.setOperandOriginalPositions([...operandPositions, ...exprPositions]);
+            stmts.push(assignStmt);
+            if (operandValue !== originOperandValue) {
+                const lastAssignStmt = new Stmt_1.ArkAssignStmt(originOperandValue, operandValue);
+                lastAssignStmt.setOperandOriginalPositions([...originOperandPositions, ...operandPositions]);
+                stmts.push(lastAssignStmt);
+            }
+            return {
+                value: originOperandValue,
+                valueOriginalPositions: originOperandPositions,
+                stmts: stmts,
+            };
+        }
+        return {
+            value: ValueUtil_1.ValueUtil.getUndefinedConst(),
+            valueOriginalPositions: [Position_1.FullPosition.DEFAULT],
+            stmts: stmts,
+        };
+    }
+    awaitExpressionToValueAndStmts(awaitExpression) {
+        const stmts = [];
+        let { value: promiseValue, valueOriginalPositions: promisePositions, stmts: promiseStmts, } = this.tsNodeToValueAndStmts(awaitExpression.expression);
+        promiseStmts.forEach(stmt => stmts.push(stmt));
+        if (IRUtils_1.IRUtils.moreThanOneAddress(promiseValue)) {
+            ({
+                value: promiseValue,
+                valueOriginalPositions: promisePositions,
+                stmts: promiseStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(promiseValue, promisePositions));
+            promiseStmts.forEach(stmt => stmts.push(stmt));
+        }
+        const awaitExpr = new Expr_1.ArkAwaitExpr(promiseValue);
+        const awaitExprPositions = [Position_1.FullPosition.buildFromNode(awaitExpression, this.sourceFile), ...promisePositions];
+        return {
+            value: awaitExpr,
+            valueOriginalPositions: awaitExprPositions,
+            stmts: stmts,
+        };
+    }
+    yieldExpressionToValueAndStmts(yieldExpression) {
+        let yieldValue = ValueUtil_1.ValueUtil.getUndefinedConst();
+        let yieldPositions = [Position_1.FullPosition.DEFAULT];
+        let stmts = [];
+        if (yieldExpression.expression) {
+            ({
+                value: yieldValue,
+                valueOriginalPositions: yieldPositions,
+                stmts: stmts,
+            } = this.tsNodeToValueAndStmts(yieldExpression.expression));
+        }
+        const yieldExpr = new Expr_1.ArkYieldExpr(yieldValue);
+        const yieldExprPositions = [Position_1.FullPosition.buildFromNode(yieldExpression, this.sourceFile), ...yieldPositions];
+        return {
+            value: yieldExpr,
+            valueOriginalPositions: yieldExprPositions,
+            stmts: stmts,
+        };
+    }
+    deleteExpressionToValueAndStmts(deleteExpression) {
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.tsNodeToValueAndStmts(deleteExpression.expression);
+        const deleteExpr = new Expr_1.ArkDeleteExpr(exprValue);
+        const deleteExprPositions = [Position_1.FullPosition.buildFromNode(deleteExpression, this.sourceFile), ...exprPositions];
+        return {
+            value: deleteExpr,
+            valueOriginalPositions: deleteExprPositions,
+            stmts: stmts,
+        };
+    }
+    voidExpressionToValueAndStmts(voidExpression) {
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.tsNodeToValueAndStmts(voidExpression.expression);
+        const { stmts: exprStmts } = this.arkIRTransformer.generateAssignStmtForValue(exprValue, exprPositions);
+        exprStmts.forEach(stmt => stmts.push(stmt));
+        return {
+            value: ValueUtil_1.ValueUtil.getUndefinedConst(),
+            valueOriginalPositions: [Position_1.FullPosition.DEFAULT],
+            stmts: stmts,
+        };
+    }
+    nonNullExpressionToValueAndStmts(nonNullExpression) {
+        return this.tsNodeToValueAndStmts(nonNullExpression.expression);
+    }
+    parenthesizedExpressionToValueAndStmts(parenthesizedExpression) {
+        return this.tsNodeToValueAndStmts(parenthesizedExpression.expression);
+    }
+    typeOfExpressionToValueAndStmts(typeOfExpression) {
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(typeOfExpression.expression);
+        const typeOfExpr = new Expr_1.ArkTypeOfExpr(exprValue);
+        const typeOfExprPositions = [Position_1.FullPosition.buildFromNode(typeOfExpression, this.sourceFile), ...exprPositions];
+        return {
+            value: typeOfExpr,
+            valueOriginalPositions: typeOfExprPositions,
+            stmts: exprStmts,
+        };
+    }
+    asExpressionToValueAndStmts(asExpression) {
+        const stmts = [];
+        let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(asExpression.expression);
+        exprStmts.forEach(stmt => stmts.push(stmt));
+        if (IRUtils_1.IRUtils.moreThanOneAddress(exprValue)) {
+            ({
+                value: exprValue,
+                valueOriginalPositions: exprPositions,
+                stmts: exprStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(exprValue, exprPositions));
+            exprStmts.forEach(stmt => stmts.push(stmt));
+        }
+        const castExpr = new Expr_1.ArkCastExpr(exprValue, this.resolveTypeNode(asExpression.type));
+        const castExprPositions = [Position_1.FullPosition.buildFromNode(asExpression, this.sourceFile), ...exprPositions];
+        return {
+            value: castExpr,
+            valueOriginalPositions: castExprPositions,
+            stmts: stmts,
+        };
+    }
+    typeAssertionToValueAndStmts(typeAssertion) {
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.tsNodeToValueAndStmts(typeAssertion.expression);
+        const castExpr = new Expr_1.ArkCastExpr(exprValue, this.resolveTypeNode(typeAssertion.type));
+        const castExprPositions = [Position_1.FullPosition.buildFromNode(typeAssertion, this.sourceFile), ...exprPositions];
+        return {
+            value: castExpr,
+            valueOriginalPositions: castExprPositions,
+            stmts: exprStmts,
+        };
+    }
+    variableDeclarationListToValueAndStmts(variableDeclarationList) {
+        const stmts = [];
+        const isConst = (variableDeclarationList.flags & ts.NodeFlags.Const) !== 0;
+        for (const declaration of variableDeclarationList.declarations) {
+            const { stmts: declaredStmts } = this.variableDeclarationToValueAndStmts(declaration, isConst);
+            declaredStmts.forEach(s => stmts.push(s));
+        }
+        return {
+            value: ValueUtil_1.ValueUtil.getUndefinedConst(),
+            valueOriginalPositions: [Position_1.FullPosition.DEFAULT],
+            stmts: stmts,
+        };
+    }
+    variableDeclarationToValueAndStmts(variableDeclaration, isConst, needRightOp = true) {
+        const leftOpNode = variableDeclaration.name;
+        const rightOpNode = variableDeclaration.initializer;
+        const declarationType = variableDeclaration.type ? this.resolveTypeNode(variableDeclaration.type) : Type_1.UnknownType.getInstance();
+        return this.assignmentToValueAndStmts(leftOpNode, rightOpNode, true, isConst, declarationType, needRightOp);
+    }
+    assignmentToValueAndStmts(leftOpNode, rightOpNode, variableDefFlag, isConst, declarationType, needRightOp = true) {
+        let leftValueAndStmts;
+        if (ts.isIdentifier(leftOpNode)) {
+            leftValueAndStmts = this.identifierToValueAndStmts(leftOpNode, variableDefFlag);
+        }
+        else if (ts.isArrayBindingPattern(leftOpNode) || ts.isArrayLiteralExpression(leftOpNode)) {
+            // In declaration, it is ArrayBindingPattern. And in assignment, it is ArrayLiteralExpression.
+            leftValueAndStmts = this.arrayDestructuringToValueAndStmts(leftOpNode, isConst);
+        }
+        else if (ts.isObjectBindingPattern(leftOpNode) || ts.isObjectLiteralExpression(leftOpNode)) {
+            // In declaration, it is ObjectBindingPattern. And in assignment, it is ObjectLiteralExpression.
+            leftValueAndStmts = this.objectDestructuringToValueAndStmts(leftOpNode, isConst);
+        }
+        else {
+            leftValueAndStmts = this.tsNodeToValueAndStmts(leftOpNode);
+        }
+        const { value: leftValue, valueOriginalPositions: leftPositions, stmts: leftStmts } = leftValueAndStmts;
+        let stmts = [];
+        if (needRightOp) {
+            const { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts, } = this.assignmentRightOpToValueAndStmts(rightOpNode, leftValue);
+            if (leftValue instanceof Local_1.Local) {
+                if (variableDefFlag) {
+                    leftValue.setConstFlag(isConst);
+                    leftValue.setType(declarationType);
+                }
+                if (leftValue.getType() instanceof Type_1.UnknownType && !(rightValue.getType() instanceof Type_1.UnknownType) &&
+                    !(rightValue.getType() instanceof Type_1.UndefinedType)) {
+                    leftValue.setType(rightValue.getType());
+                }
+            }
+            const assignStmt = new Stmt_1.ArkAssignStmt(leftValue, rightValue);
+            assignStmt.setOperandOriginalPositions([...leftPositions, ...rightPositions]);
+            if (ts.isArrayBindingPattern(leftOpNode) || ts.isArrayLiteralExpression(leftOpNode) ||
+                ts.isObjectBindingPattern(leftOpNode) || ts.isObjectLiteralExpression(leftOpNode)) {
+                rightStmts.forEach(stmt => stmts.push(stmt));
+                stmts.push(assignStmt);
+                leftStmts.forEach(stmt => stmts.push(stmt));
+            }
+            else {
+                rightStmts.forEach(stmt => stmts.push(stmt));
+                leftStmts.forEach(stmt => stmts.push(stmt));
+                stmts.push(assignStmt);
+            }
+        }
+        else {
+            stmts = leftStmts;
+        }
+        return {
+            value: leftValue,
+            valueOriginalPositions: leftPositions,
+            stmts: stmts,
+        };
+    }
+    assignmentRightOpToValueAndStmts(rightOpNode, leftValue) {
+        let rightValue;
+        let rightPositions;
+        let tempRightStmts = [];
+        const rightStmts = [];
+        if (rightOpNode) {
+            ({
+                value: rightValue,
+                valueOriginalPositions: rightPositions,
+                stmts: tempRightStmts,
+            } = this.tsNodeToValueAndStmts(rightOpNode));
+            tempRightStmts.forEach(stmt => rightStmts.push(stmt));
+        }
+        else {
+            rightValue = ValueUtil_1.ValueUtil.getUndefinedConst();
+            rightPositions = [Position_1.FullPosition.DEFAULT];
+        }
+        if (IRUtils_1.IRUtils.moreThanOneAddress(leftValue) && IRUtils_1.IRUtils.moreThanOneAddress(rightValue)) {
+            ({
+                value: rightValue,
+                valueOriginalPositions: rightPositions,
+                stmts: tempRightStmts,
+            } = this.arkIRTransformer.generateAssignStmtForValue(rightValue, rightPositions));
+            tempRightStmts.forEach(stmt => rightStmts.push(stmt));
+        }
+        return {
+            value: rightValue,
+            valueOriginalPositions: rightPositions,
+            stmts: rightStmts,
+        };
+    }
+    // In assignment patterns, the left operand will be an array literal expression
+    arrayDestructuringToValueAndStmts(arrayDestructuring, isConst = false) {
+        const stmts = [];
+        const arrayTempLocal = this.generateTempLocal();
+        const wholePosition = Position_1.FullPosition.buildFromNode(arrayDestructuring, this.sourceFile);
+        const elements = arrayDestructuring.elements;
+        const isArrayBindingPattern = ts.isArrayBindingPattern(arrayDestructuring);
+        for (let i = 0; i < elements.length; i++) {
+            const element = elements[i];
+            if (ts.isOmittedExpression(element)) {
+                continue;
+            }
+            const targetLocalPosition = Position_1.FullPosition.buildFromNode(element, this.sourceFile);
+            if (ts.isSpreadElement(element) || (ts.isBindingElement(element) && element.dotDotDotToken)) {
+                const nodeInsideRest = ts.isSpreadElement(element) ? element.expression : element.name;
+                let targetLocal;
+                let stmtsInsideRest = [];
+                if (ts.isArrayBindingPattern(nodeInsideRest) || ts.isArrayLiteralExpression(nodeInsideRest)) {
+                    ({ value: targetLocal, stmts: stmtsInsideRest } = this.arrayDestructuringToValueAndStmts(nodeInsideRest, isConst));
+                }
+                else {
+                    const elementName = nodeInsideRest.getText(this.sourceFile);
+                    targetLocal = ts.isBindingElement(element) ? this.addNewLocal(elementName) : this.getOrCreateLocal(elementName);
+                }
+                const sliceMethodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Builtin_1.Builtin.SLICE);
+                const sliceMethodSignature = new ArkSignature_1.MethodSignature(Builtin_1.Builtin.ARRAY_CLASS_SIGNATURE, sliceMethodSubSignature);
+                const sliceInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(arrayTempLocal, sliceMethodSignature, [ValueUtil_1.ValueUtil.getOrCreateNumberConst(i)]);
+                const sliceInvokeExprPositions = [wholePosition, targetLocalPosition];
+                const assignStmt = new Stmt_1.ArkAssignStmt(targetLocal, sliceInvokeExpr);
+                assignStmt.setOperandOriginalPositions([targetLocalPosition, ...sliceInvokeExprPositions]);
+                stmts.push(assignStmt);
+                stmtsInsideRest.forEach(stmt => stmts.push(stmt));
+            }
+            else {
+                const arrayRef = new Ref_1.ArkArrayRef(arrayTempLocal, ValueUtil_1.ValueUtil.getOrCreateNumberConst(i));
+                const arrayRefPositions = [wholePosition, wholePosition, Position_1.FullPosition.DEFAULT];
+                const itemName = element.getText(this.sourceFile);
+                const targetLocal = isArrayBindingPattern ? this.addNewLocal(itemName) : this.getOrCreateLocal(itemName);
+                isArrayBindingPattern && targetLocal.setConstFlag(isConst);
+                const assignStmt = new Stmt_1.ArkAssignStmt(targetLocal, arrayRef);
+                assignStmt.setOperandOriginalPositions([targetLocalPosition, ...arrayRefPositions]);
+                stmts.push(assignStmt);
+            }
+        }
+        return { value: arrayTempLocal, valueOriginalPositions: [wholePosition], stmts: stmts };
+    }
+    // In assignment patterns, the left operand will be an object literal expression
+    objectDestructuringToValueAndStmts(objectDestructuring, isConst = false) {
+        const stmts = [];
+        const objectTempLocal = this.generateTempLocal();
+        const leftOriginalPosition = Position_1.FullPosition.buildFromNode(objectDestructuring, this.sourceFile);
+        const isObjectBindingPattern = ts.isObjectBindingPattern(objectDestructuring);
+        const elements = isObjectBindingPattern ? objectDestructuring.elements : objectDestructuring.properties;
+        for (const element of elements) {
+            let fieldName = '';
+            let targetName = '';
+            if (ts.isBindingElement(element)) {
+                fieldName = element.propertyName ? element.propertyName.getText(this.sourceFile) : element.name.getText(this.sourceFile);
+                targetName = element.name.getText(this.sourceFile);
+            }
+            else if (ts.isPropertyAssignment(element)) {
+                fieldName = element.name.getText(this.sourceFile);
+                targetName = element.initializer.getText(this.sourceFile);
+            }
+            else if (ts.isShorthandPropertyAssignment(element)) {
+                fieldName = element.name.getText(this.sourceFile);
+                targetName = fieldName;
+            }
+            else {
+                continue;
+            }
+            const fieldSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
+            const fieldRef = new Ref_1.ArkInstanceFieldRef(objectTempLocal, fieldSignature);
+            const fieldRefPositions = [leftOriginalPosition, leftOriginalPosition];
+            const targetLocal = isObjectBindingPattern ? this.addNewLocal(targetName) : this.getOrCreateLocal(targetName);
+            isObjectBindingPattern && targetLocal.setConstFlag(isConst);
+            const targetLocalPosition = Position_1.FullPosition.buildFromNode(element, this.sourceFile);
+            const assignStmt = new Stmt_1.ArkAssignStmt(targetLocal, fieldRef);
+            assignStmt.setOperandOriginalPositions([targetLocalPosition, ...fieldRefPositions]);
+            stmts.push(assignStmt);
+        }
+        return {
+            value: objectTempLocal,
+            valueOriginalPositions: [leftOriginalPosition],
+            stmts: stmts,
+        };
+    }
+    binaryExpressionToValueAndStmts(binaryExpression) {
+        const operatorToken = binaryExpression.operatorToken;
+        if (operatorToken.kind === ts.SyntaxKind.FirstAssignment) {
+            const leftOpNode = binaryExpression.left;
+            const rightOpNode = binaryExpression.right;
+            const declarationType = Type_1.UnknownType.getInstance();
+            return this.assignmentToValueAndStmts(leftOpNode, rightOpNode, false, false, declarationType, true);
+        }
+        else if (ArkValueTransformer.isCompoundAssignmentOperator(operatorToken.kind)) {
+            return this.compoundAssignmentToValueAndStmts(binaryExpression);
+        }
+        const stmts = [];
+        const binaryExpressionPosition = Position_1.FullPosition.buildFromNode(binaryExpression, this.sourceFile);
+        const { value: opValue1, valueOriginalPositions: opPositions1, stmts: opStmts1, } = this.tsNodeToSingleAddressValueAndStmts(binaryExpression.left);
+        opStmts1.forEach(stmt => stmts.push(stmt));
+        if (operatorToken.kind === ts.SyntaxKind.InstanceOfKeyword) {
+            const instanceOfExpr = new Expr_1.ArkInstanceOfExpr(opValue1, new Type_1.UnclearReferenceType(binaryExpression.right.getText(this.sourceFile)));
+            const instanceOfExprPositions = [binaryExpressionPosition, ...opPositions1];
+            const { value: instanceofRes, valueOriginalPositions: instanceofPos, stmts: instanceofStmt, } = this.arkIRTransformer.generateAssignStmtForValue(instanceOfExpr, instanceOfExprPositions);
+            instanceofStmt.forEach(stmt => stmts.push(stmt));
+            return {
+                value: instanceofRes,
+                valueOriginalPositions: instanceofPos,
+                stmts: stmts,
+            };
+        }
+        const { value: opValue2, valueOriginalPositions: opPositions2, stmts: opStmts2, } = this.tsNodeToSingleAddressValueAndStmts(binaryExpression.right);
+        opStmts2.forEach(stmt => stmts.push(stmt));
+        let exprValue;
+        let exprValuePositions = [binaryExpressionPosition];
+        if (operatorToken.kind === ts.SyntaxKind.CommaToken) {
+            exprValue = opValue2;
+        }
+        else {
+            const operator = ArkIRTransformer_1.ArkIRTransformer.tokenToBinaryOperator(operatorToken.kind);
+            if (operator) {
+                if (this.isRelationalOperator(operator)) {
+                    exprValue = new Expr_1.ArkConditionExpr(opValue1, opValue2, operator);
+                }
+                else {
+                    exprValue = new Expr_1.ArkNormalBinopExpr(opValue1, opValue2, operator);
+                }
+                exprValuePositions.push(...opPositions1, ...opPositions2);
+            }
+            else {
+                exprValue = ValueUtil_1.ValueUtil.getUndefinedConst();
+                exprValuePositions.push(binaryExpressionPosition);
+            }
+        }
+        return {
+            value: exprValue,
+            valueOriginalPositions: exprValuePositions,
+            stmts: stmts,
+        };
+    }
+    compoundAssignmentToValueAndStmts(binaryExpression) {
+        const stmts = [];
+        const { value: leftValueOrig, valueOriginalPositions: leftPositionsOrig, stmts: leftStmts } = this.tsNodeToValueAndStmts(binaryExpression.left);
+        leftStmts.forEach(stmt => stmts.push(stmt));
+        let leftValue;
+        let leftPositions;
+        if (leftValueOrig instanceof Ref_1.AbstractFieldRef) {
+            const tempLocal = this.generateTempLocal();
+            const readRefStmt = new Stmt_1.ArkAssignStmt(tempLocal, leftValueOrig);
+            stmts.push(readRefStmt);
+            leftValue = tempLocal;
+            leftPositions = [leftPositionsOrig[0]];
+        }
+        else {
+            leftValue = leftValueOrig;
+            leftPositions = leftPositionsOrig;
+        }
+        const { value: rightValue, valueOriginalPositions: rightPositions, stmts: rightStmts } = this.tsNodeToSingleAddressValueAndStmts(binaryExpression.right);
+        rightStmts.forEach(stmt => stmts.push(stmt));
+        const operator = this.compoundAssignmentTokenToBinaryOperator(binaryExpression.operatorToken.kind);
+        if (operator) {
+            const exprValue = new Expr_1.ArkNormalBinopExpr(leftValue, rightValue, operator);
+            const exprValuePosition = Position_1.FullPosition.buildFromNode(binaryExpression, this.sourceFile);
+            const assignTarget = leftValueOrig instanceof Ref_1.AbstractFieldRef ? leftValueOrig : leftValue;
+            const assignStmt = new Stmt_1.ArkAssignStmt(assignTarget, exprValue);
+            assignStmt.setOperandOriginalPositions([
+                ...(assignTarget === leftValueOrig ? leftPositionsOrig : leftPositions),
+                exprValuePosition,
+                ...leftPositions,
+                ...rightPositions
+            ]);
+            stmts.push(assignStmt);
+        }
+        return {
+            value: leftValueOrig,
+            valueOriginalPositions: leftPositionsOrig,
+            stmts: stmts
+        };
+    }
+    compoundAssignmentTokenToBinaryOperator(token) {
+        switch (token) {
+            case ts.SyntaxKind.QuestionQuestionEqualsToken:
+                return Expr_1.NormalBinaryOperator.NullishCoalescing;
+            case ts.SyntaxKind.AsteriskAsteriskEqualsToken:
+                return Expr_1.NormalBinaryOperator.Exponentiation;
+            case ts.SyntaxKind.SlashEqualsToken:
+                return Expr_1.NormalBinaryOperator.Division;
+            case ts.SyntaxKind.PlusEqualsToken:
+                return Expr_1.NormalBinaryOperator.Addition;
+            case ts.SyntaxKind.MinusEqualsToken:
+                return Expr_1.NormalBinaryOperator.Subtraction;
+            case ts.SyntaxKind.AsteriskEqualsToken:
+                return Expr_1.NormalBinaryOperator.Multiplication;
+            case ts.SyntaxKind.PercentEqualsToken:
+                return Expr_1.NormalBinaryOperator.Remainder;
+            case ts.SyntaxKind.LessThanLessThanEqualsToken:
+                return Expr_1.NormalBinaryOperator.LeftShift;
+            case ts.SyntaxKind.GreaterThanGreaterThanEqualsToken:
+                return Expr_1.NormalBinaryOperator.RightShift;
+            case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken:
+                return Expr_1.NormalBinaryOperator.UnsignedRightShift;
+            case ts.SyntaxKind.AmpersandEqualsToken:
+                return Expr_1.NormalBinaryOperator.BitwiseAnd;
+            case ts.SyntaxKind.BarEqualsToken:
+                return Expr_1.NormalBinaryOperator.BitwiseOr;
+            case ts.SyntaxKind.CaretEqualsToken:
+                return Expr_1.NormalBinaryOperator.BitwiseXor;
+            case ts.SyntaxKind.AmpersandAmpersandEqualsToken:
+                return Expr_1.NormalBinaryOperator.LogicalAnd;
+            case ts.SyntaxKind.BarBarEqualsToken:
+                return Expr_1.NormalBinaryOperator.LogicalOr;
+            default:
+        }
+        return null;
+    }
+    conditionToValueAndStmts(condition) {
+        const stmts = [];
+        let { value: conditionValue, valueOriginalPositions: conditionPositions, stmts: conditionStmts, } = this.tsNodeToValueAndStmts(condition);
+        conditionStmts.forEach(stmt => stmts.push(stmt));
+        let conditionExpr;
+        if (conditionValue instanceof Expr_1.AbstractBinopExpr && this.isRelationalOperator(conditionValue.getOperator())) {
+            const operator = conditionValue.getOperator();
+            conditionExpr = new Expr_1.ArkConditionExpr(conditionValue.getOp1(), conditionValue.getOp2(), operator);
+        }
+        else {
+            if (IRUtils_1.IRUtils.moreThanOneAddress(conditionValue)) {
+                ({
+                    value: conditionValue,
+                    valueOriginalPositions: conditionPositions,
+                    stmts: conditionStmts,
+                } = this.arkIRTransformer.generateAssignStmtForValue(conditionValue, conditionPositions));
+                conditionStmts.forEach(stmt => stmts.push(stmt));
+            }
+            conditionExpr = new Expr_1.ArkConditionExpr(conditionValue, ValueUtil_1.ValueUtil.getOrCreateNumberConst(0), Expr_1.RelationalBinaryOperator.InEquality);
+            conditionPositions = [conditionPositions[0], ...conditionPositions, Position_1.FullPosition.DEFAULT];
+        }
+        return {
+            value: conditionExpr,
+            valueOriginalPositions: conditionPositions,
+            stmts: stmts,
+        };
+    }
+    literalNodeToValueAndStmts(literalNode) {
+        const syntaxKind = literalNode.kind;
+        let constant = null;
+        switch (syntaxKind) {
+            case ts.SyntaxKind.NumericLiteral:
+                constant = ValueUtil_1.ValueUtil.getOrCreateNumberConst(literalNode.getText(this.sourceFile));
+                break;
+            case ts.SyntaxKind.BigIntLiteral:
+                constant = ValueUtil_1.ValueUtil.createBigIntConst(BigInt(literalNode.text.slice(0, -1)));
+                break;
+            case ts.SyntaxKind.StringLiteral:
+                constant = ValueUtil_1.ValueUtil.createStringConst(literalNode.text);
+                break;
+            case ts.SyntaxKind.RegularExpressionLiteral:
+                constant = new Constant_1.Constant(literalNode.text, Builtin_1.Builtin.REGEXP_CLASS_TYPE);
+                break;
+            case ts.SyntaxKind.NoSubstitutionTemplateLiteral:
+                constant = ValueUtil_1.ValueUtil.createStringConst(literalNode.text);
+                break;
+            case ts.SyntaxKind.NullKeyword:
+                constant = ValueUtil_1.ValueUtil.getNullConstant();
+                break;
+            case ts.SyntaxKind.UndefinedKeyword:
+                constant = ValueUtil_1.ValueUtil.getUndefinedConst();
+                break;
+            case ts.SyntaxKind.TrueKeyword:
+                constant = ValueUtil_1.ValueUtil.getBooleanConstant(true);
+                break;
+            case ts.SyntaxKind.FalseKeyword:
+                constant = ValueUtil_1.ValueUtil.getBooleanConstant(false);
+                break;
+            default:
+                logger.warn(`ast node's syntaxKind is ${ts.SyntaxKind[literalNode.kind]}, not literalNode`);
+        }
+        if (constant === null) {
+            return null;
+        }
+        return {
+            value: constant,
+            valueOriginalPositions: [Position_1.FullPosition.buildFromNode(literalNode, this.sourceFile)],
+            stmts: [],
+        };
+    }
+    getOrCreateLocal(localName, localType = Type_1.UnknownType.getInstance()) {
+        let local = this.locals.get(localName);
+        if (local !== undefined) {
+            return local;
+        }
+        local = this.addNewLocal(localName, localType);
+        this.addNewGlobal(localName);
+        return local;
+    }
+    generateTempLocal(localType = Type_1.UnknownType.getInstance()) {
+        const tempLocalName = Const_1.TEMP_LOCAL_PREFIX + this.tempLocalNo;
+        this.tempLocalNo++;
+        const tempLocal = new Local_1.Local(tempLocalName, localType);
+        this.locals.set(tempLocalName, tempLocal);
+        return tempLocal;
+    }
+    isRelationalOperator(operator) {
+        return (operator === Expr_1.RelationalBinaryOperator.LessThan ||
+            operator === Expr_1.RelationalBinaryOperator.LessThanOrEqual ||
+            operator === Expr_1.RelationalBinaryOperator.GreaterThan ||
+            operator === Expr_1.RelationalBinaryOperator.GreaterThanOrEqual ||
+            operator === Expr_1.RelationalBinaryOperator.Equality ||
+            operator === Expr_1.RelationalBinaryOperator.InEquality ||
+            operator === Expr_1.RelationalBinaryOperator.StrictEquality ||
+            operator === Expr_1.RelationalBinaryOperator.StrictInequality);
+    }
+    isLiteralNode(node) {
+        if (ts.isStringLiteral(node) ||
+            ts.isNumericLiteral(node) ||
+            ts.isBigIntLiteral(node) ||
+            ts.isRegularExpressionLiteral(node) ||
+            ts.isNoSubstitutionTemplateLiteral(node) ||
+            node.kind === ts.SyntaxKind.NullKeyword ||
+            node.kind === ts.SyntaxKind.TrueKeyword ||
+            node.kind === ts.SyntaxKind.FalseKeyword ||
+            node.kind === ts.SyntaxKind.UndefinedKeyword) {
+            return true;
+        }
+        return false;
+    }
+    resolveTypeNode(type) {
+        const kind = type.kind;
+        switch (kind) {
+            case ts.SyntaxKind.BooleanKeyword:
+                return Type_1.BooleanType.getInstance();
+            case ts.SyntaxKind.NumberKeyword:
+                return Type_1.NumberType.getInstance();
+            case ts.SyntaxKind.StringKeyword:
+                return Type_1.StringType.getInstance();
+            case ts.SyntaxKind.UndefinedKeyword:
+                return Type_1.UndefinedType.getInstance();
+            case ts.SyntaxKind.AnyKeyword:
+                return Type_1.AnyType.getInstance();
+            case ts.SyntaxKind.VoidKeyword:
+                return Type_1.VoidType.getInstance();
+            case ts.SyntaxKind.NeverKeyword:
+                return Type_1.NeverType.getInstance();
+            case ts.SyntaxKind.BigIntKeyword:
+                return Type_1.BigIntType.getInstance();
+            case ts.SyntaxKind.TypeReference:
+                return this.resolveTypeReferenceNode(type);
+            case ts.SyntaxKind.ArrayType:
+                return new Type_1.ArrayType(this.resolveTypeNode(type.elementType), 1);
+            case ts.SyntaxKind.UnionType: {
+                const mayTypes = [];
+                type.types.forEach(t => mayTypes.push(this.resolveTypeNode(t)));
+                return new Type_1.UnionType(mayTypes);
+            }
+            case ts.SyntaxKind.IntersectionType: {
+                const intersectionTypes = [];
+                type.types.forEach(t => intersectionTypes.push(this.resolveTypeNode(t)));
+                return new Type_1.IntersectionType(intersectionTypes);
+            }
+            case ts.SyntaxKind.TupleType: {
+                const types = [];
+                type.elements.forEach(element => {
+                    types.push(this.resolveTypeNode(element));
+                });
+                return new Type_1.TupleType(types);
+            }
+            case ts.SyntaxKind.NamedTupleMember:
+                return this.resolveTypeNode(type.type);
+            case ts.SyntaxKind.LiteralType:
+                return ArkValueTransformer.resolveLiteralTypeNode(type, this.sourceFile);
+            case ts.SyntaxKind.TemplateLiteralType:
+                return this.resolveTemplateLiteralTypeNode(type);
+            case ts.SyntaxKind.TypeLiteral:
+                return this.resolveTypeLiteralNode(type);
+            case ts.SyntaxKind.FunctionType:
+                return this.resolveFunctionTypeNode(type);
+            case ts.SyntaxKind.ImportType:
+                return Type_1.UnknownType.getInstance();
+            case ts.SyntaxKind.TypeQuery:
+                return this.resolveTypeQueryNode(type);
+            case ts.SyntaxKind.ParenthesizedType:
+                return this.resolveTypeNode(type.type);
+            case ts.SyntaxKind.TypeOperator:
+                return this.resolveTypeOperatorNode(type);
+            default:
+                return Type_1.UnknownType.getInstance();
+        }
+    }
+    resolveTypeQueryNode(typeQueryNode) {
+        var _a, _b, _c, _d, _e, _f;
+        const genericTypes = [];
+        if (typeQueryNode.typeArguments) {
+            for (const typeArgument of typeQueryNode.typeArguments) {
+                genericTypes.push(this.resolveTypeNode(typeArgument));
+            }
+        }
+        const exprNameNode = typeQueryNode.exprName;
+        let opValue;
+        if (ts.isQualifiedName(exprNameNode)) {
+            if (exprNameNode.left.getText(this.sourceFile) === TSConst_1.THIS_NAME) {
+                const fieldName = exprNameNode.right.getText(this.sourceFile);
+                const fieldSignature = (_b = (_a = this.declaringMethod.getDeclaringArkClass().getFieldWithName(fieldName)) === null || _a === void 0 ? void 0 : _a.getSignature()) !== null && _b !== void 0 ? _b : ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
+                const baseLocal = (_c = this.locals.get(TSConst_1.THIS_NAME)) !== null && _c !== void 0 ? _c : new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(this.declaringMethod.getDeclaringArkClass().getSignature(), genericTypes));
+                opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
+            }
+            else {
+                const exprName = exprNameNode.getText(this.sourceFile);
+                opValue = new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
+            }
+        }
+        else {
+            const exprName = exprNameNode.escapedText.toString();
+            opValue = (_f = (_d = this.locals.get(exprName)) !== null && _d !== void 0 ? _d : (_e = this.globals) === null || _e === void 0 ? void 0 : _e.get(exprName)) !== null && _f !== void 0 ? _f : new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
+        }
+        return new TypeExpr_1.TypeQueryExpr(opValue, genericTypes);
+    }
+    resolveTypeOperatorNode(typeOperatorNode) {
+        let type = this.resolveTypeNode(typeOperatorNode.type);
+        switch (typeOperatorNode.operator) {
+            case ts.SyntaxKind.ReadonlyKeyword: {
+                if (type instanceof Type_1.ArrayType || type instanceof Type_1.TupleType) {
+                    type.setReadonlyFlag(true);
+                }
+                return type;
+            }
+            case ts.SyntaxKind.KeyOfKeyword: {
+                return new TypeExpr_1.KeyofTypeExpr(type);
+            }
+            case ts.SyntaxKind.UniqueKeyword: {
+                return Type_1.UnknownType.getInstance();
+            }
+            default:
+                return Type_1.UnknownType.getInstance();
+        }
+    }
+    static resolveLiteralTypeNode(literalTypeNode, sourceFile) {
+        const literal = literalTypeNode.literal;
+        const kind = literal.kind;
+        switch (kind) {
+            case ts.SyntaxKind.NullKeyword:
+                return Type_1.NullType.getInstance();
+            case ts.SyntaxKind.TrueKeyword:
+                return Type_1.LiteralType.TRUE;
+            case ts.SyntaxKind.FalseKeyword:
+                return Type_1.LiteralType.FALSE;
+            case ts.SyntaxKind.NumericLiteral:
+                return new Type_1.LiteralType(parseFloat(literal.text));
+            case ts.SyntaxKind.PrefixUnaryExpression:
+                return new Type_1.LiteralType(parseFloat(literal.getText(sourceFile)));
+            default:
+        }
+        return new Type_1.LiteralType(literal.getText(sourceFile));
+    }
+    resolveTemplateLiteralTypeNode(templateLiteralTypeNode) {
+        let stringLiterals = [''];
+        const headString = templateLiteralTypeNode.head.rawText || '';
+        let newStringLiterals = [];
+        for (const stringLiteral of stringLiterals) {
+            newStringLiterals.push(stringLiteral + headString);
+        }
+        stringLiterals = newStringLiterals;
+        newStringLiterals = [];
+        for (const templateSpan of templateLiteralTypeNode.templateSpans) {
+            const templateType = this.resolveTypeNode(templateSpan.type);
+            const unfoldTemplateTypes = [];
+            if (templateType instanceof Type_1.UnionType) {
+                unfoldTemplateTypes.push(...templateType.getTypes());
+            }
+            else {
+                unfoldTemplateTypes.push(templateType);
+            }
+            const unfoldTemplateTypeStrs = [];
+            for (const unfoldTemplateType of unfoldTemplateTypes) {
+                unfoldTemplateTypeStrs.push(unfoldTemplateType instanceof Type_1.AliasType ? unfoldTemplateType.getOriginalType().toString() : unfoldTemplateType.toString());
+            }
+            const templateSpanString = templateSpan.literal.rawText || '';
+            for (const stringLiteral of stringLiterals) {
+                for (const unfoldTemplateTypeStr of unfoldTemplateTypeStrs) {
+                    newStringLiterals.push(stringLiteral + unfoldTemplateTypeStr + templateSpanString);
+                }
+            }
+            stringLiterals = newStringLiterals;
+            newStringLiterals = [];
+        }
+        const templateTypes = [];
+        for (const stringLiteral of stringLiterals) {
+            templateTypes.push(new Type_1.LiteralType(stringLiteral));
+        }
+        if (templateTypes.length > 0) {
+            return new Type_1.UnionType(templateTypes);
+        }
+        return templateTypes[0];
+    }
+    resolveTypeReferenceNode(typeReferenceNode) {
+        const typeReferenceFullName = ts.isIdentifier(typeReferenceNode.typeName) ? typeReferenceNode.typeName.text :
+            typeReferenceNode.typeName.getText(this.sourceFile);
+        if (typeReferenceFullName === Builtin_1.Builtin.OBJECT) {
+            return Builtin_1.Builtin.OBJECT_CLASS_TYPE;
+        }
+        const aliasTypeAndStmt = this.aliasTypeMap.get(typeReferenceFullName);
+        const genericTypes = [];
+        if (typeReferenceNode.typeArguments) {
+            for (const typeArgument of typeReferenceNode.typeArguments) {
+                genericTypes.push(this.resolveTypeNode(typeArgument));
+            }
+        }
+        if (!aliasTypeAndStmt) {
+            const local = this.locals.get(typeReferenceFullName);
+            if (local !== undefined) {
+                return local.getType();
+            }
+            return new Type_1.UnclearReferenceType(typeReferenceFullName, genericTypes);
+        }
+        else {
+            if (genericTypes.length > 0) {
+                const oldAlias = aliasTypeAndStmt[0];
+                let alias = new Type_1.AliasType(oldAlias.getName(), TypeInference_1.TypeInference.replaceTypeWithReal(oldAlias.getOriginalType(), genericTypes), oldAlias.getSignature(), oldAlias.getGenericTypes());
+                alias.setRealGenericTypes(genericTypes);
+                return alias;
+            }
+            return aliasTypeAndStmt[0];
+        }
+    }
+    resolveTypeLiteralNode(typeLiteralNode) {
+        const anonymousClass = new ArkClass_1.ArkClass();
+        const declaringClass = this.declaringMethod.getDeclaringArkClass();
+        const declaringNamespace = declaringClass.getDeclaringArkNamespace();
+        if (declaringNamespace) {
+            (0, ArkClassBuilder_1.buildNormalArkClassFromArkNamespace)(typeLiteralNode, declaringNamespace, anonymousClass, this.sourceFile);
+        }
+        else {
+            (0, ArkClassBuilder_1.buildNormalArkClassFromArkFile)(typeLiteralNode, declaringClass.getDeclaringArkFile(), anonymousClass, this.sourceFile);
+        }
+        return new Type_1.ClassType(anonymousClass.getSignature());
+    }
+    resolveFunctionTypeNode(functionTypeNode) {
+        const anonymousMethod = new ArkMethod_1.ArkMethod();
+        const declaringClass = this.declaringMethod.getDeclaringArkClass();
+        (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(functionTypeNode, declaringClass, anonymousMethod, this.sourceFile);
+        return new Type_1.FunctionType(anonymousMethod.getSignature());
+    }
+    static isCompoundAssignmentOperator(operator) {
+        const compoundAssignmentOperators = [
+            ts.SyntaxKind.PlusEqualsToken,
+            ts.SyntaxKind.MinusEqualsToken,
+            ts.SyntaxKind.AsteriskAsteriskEqualsToken,
+            ts.SyntaxKind.AsteriskEqualsToken,
+            ts.SyntaxKind.SlashEqualsToken,
+            ts.SyntaxKind.PercentEqualsToken,
+            ts.SyntaxKind.AmpersandEqualsToken,
+            ts.SyntaxKind.BarEqualsToken,
+            ts.SyntaxKind.CaretEqualsToken,
+            ts.SyntaxKind.LessThanLessThanEqualsToken,
+            ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken,
+            ts.SyntaxKind.GreaterThanGreaterThanEqualsToken,
+            ts.SyntaxKind.BarBarEqualsToken,
+            ts.SyntaxKind.AmpersandAmpersandEqualsToken,
+            ts.SyntaxKind.QuestionQuestionEqualsToken,
+        ];
+        return compoundAssignmentOperators.includes(operator);
+    }
+}
+exports.ArkValueTransformer = ArkValueTransformer;