arkanalyzer 1.0.94 → 2.0.0-beta1

package/lib/frontend/cppFrontend/base/Type.js

@@ -252,6 +252,9 @@ class CxxCharType extends Type_1.Type {
     getOriTypeName() {
         return this.oriTypeName;
     }
+    isUnclearWithVisited(_visited) {
+        return false;
+    }
     getTypeString() {
         if (this.oriTypeName) {
             return cxxStdTypeNameToStr(this.oriTypeName);
@@ -354,6 +357,9 @@ class PointerType extends Type_1.Type {
     getLevel() {
         return this.level;
     }
+    isUnclearWithVisited(visited) {
+        return this.getBaseType().isUnclearWithVisited(visited);
+    }
     getTypeString() {
         const strs = [];
         if (this.baseType instanceof Type_1.UnionType) {
@@ -468,6 +474,9 @@ class ReferenceType extends Type_1.Type {
     getCategory() {
         return this.category;
     }
+    isUnclearWithVisited(visited) {
+        return this.getBaseType().isUnclearWithVisited(visited);
+    }
     setSourceValue(sourceValue) {
         this.sourceValue = sourceValue;
     }
@@ -501,6 +510,9 @@ class Thread extends Type_1.Type {
     constructor() {
         super();
     }
+    isUnclearWithVisited(_visited) {
+        return false;
+    }
     getTypeString() {
         return 'thread ';
     }
@@ -518,6 +530,10 @@ class TypeInfo extends Type_1.Type {
     getType() {
         return this.type;
     }
+    isUnclearWithVisited(_visited) {
+        // RTTI descriptor leaf: the held type is descriptive metadata, not a value type whose uncertainty should propagate.
+        return false;
+    }
     getTypeString() {
         return this.name;
     }
@@ -547,6 +563,15 @@ class CxxArrayType extends Type_1.Type {
     setBaseType(newType) {
         this.baseType = newType;
     }
+    isUnclearWithVisited(visited) {
+        if (visited.has(this)) {
+            return false;
+        }
+        visited.add(this);
+        // Aligned with core ArrayType (full semantics): the array is unclear iff its
+        // base type is unclear.
+        return this.getBaseType().isUnclearWithVisited(visited);
+    }
     getDimension() {
         return this.dimension;
     }
@@ -592,6 +617,10 @@ class AutoType extends Type_1.Type {
     constructor() {
         super();
     }
+    isUnclearWithVisited(_visited) {
+        // `auto` is deduced before use; the type itself is not an unclear placeholder
+        return false;
+    }
     getTypeString() {
         return 'auto';
     }

package/lib/frontend/cppFrontend/common/ArkIRTransformer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkIRTransformer.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/common/ArkIRTransformer.ts"],"names":[],"mappings":"AAeA,OAAO,EAYH,aAAa,EAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAMH,SAAS,EACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAEjD,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,OAAO,EACH,sBAAsB,EAOtB,IAAI,EACP,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACH,SAAS,EASZ,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAW3D,OAAO,EAAE,gBAAgB,EAAa,MAAM,uCAAuC,CAAC;AAMpF,OAAO,EAAsB,UAAU,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAQ5F,MAAM,MAAM,aAAa,GAAG;IACxB,KAAK,EAAE,KAAK,CAAC;IACb,sBAAsB,EAAE,YAAY,EAAE,CAAC;IACvC,KAAK,EAAE,IAAI,EAAE,CAAC;CACjB,CAAC;AAUF,qBAAa,mBAAoB,SAAQ,gBAAgB;IACrD,gBAAuB,4BAA4B,YAAY;IAC/D,gBAAuB,qBAAqB,WAAW;IACvD,gBAAuB,2BAA2B,YAAY;IAC9D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAqB;IACnD,OAAO,CAAC,sBAAsB,CAAyB;IACvD,OAAO,CAAC,iBAAiB,CAAe;gBAE5B,UAAU,EAAE,kBAAkB,EAAE,eAAe,EAAE,SAAS;IAM/D,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC;IAIvB,UAAU,IAAI,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI;IAI3C,YAAY,IAAI,KAAK;IAIrB,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAInE,aAAa,IAAI,IAAI,EAAE;IAe9B,OAAO,CAAC,gCAAgC;IAiBxC,8DAA8D;IACvD,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,EAAE;IAwF/C,OAAO,CAAC,0BAA0B;IAWlC,OAAO,CAAC,kBAAkB;IA+B1B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAiBpC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAWhC;;OAEG;IACH,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,uBAAuB;IAW/B,OAAO,CAAC,mBAAmB;IAqC3B,OAAO,CAAC,wBAAwB;IAgBhC,OAAO,CAAC,wBAAwB;IAmEhC,OAAO,CAAC,sBAAsB;IA2B9B,OAAO,CAAC,uBAAuB;IAsC/B,OAAO,CAAC,qBAAqB;IA2B7B,OAAO,CAAC,wBAAwB;IAgBhC,OAAO,CAAC,qBAAqB;IA2B7B,sEAAsE;IAC/D,sBAAsB,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa;IAI9D,OAAO,CAAC,yBAAyB;IAgCjC,OAAO,CAAC,6BAA6B;IAerC,OAAO,CAAC,iBAAiB;IA4BzB,qDAAqD;IAC9C,iCAAiC,CAAC,eAAe,EAAE,UAAU,GAAG,aAAa,EAAE;IAqDtF;;;;;;;;OAQG;IACH,OAAO,CAAC,sBAAsB;IAkC9B,OAAO,CAAC,wBAAwB;IAQhC,OAAO,CAAC,qBAAqB;IAM7B,OAAO,CAAC,qBAAqB;IAI7B,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,qBAAqB;IAI7B,OAAO,CAAC,2BAA2B;IA4CnC,OAAO,CAAC,iBAAiB;IAsDzB,OAAO,CAAC,uBAAuB;IAY/B,OAAO,CAAC,wBAAwB;IAIhC,OAAO,CAAC,iCAAiC;IAIlC,qBAAqB,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,GAAE,MAAU,EAAE,OAAO,CAAC,EAAE;QAC/E,aAAa,EAAE,KAAK,GAAG,SAAS,CAAA;KACnC,GAAG,IAAI,EAAE;IAgCV,OAAO,CAAC,wBAAwB;IAiBzB,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IAQjE;;;;;OAKG;WACW,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;IAiBnE,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,GAAG,aAAa;IAwBtG,OAAO,CAAC,oBAAoB;IAqB5B,OAAO,CAAC,qBAAqB;IAW7B,OAAO,CAAC,qBAAqB;IAe7B,OAAO,CAAC,wBAAwB;IAgBzB,2BAA2B,CAAC,wBAAwB,EAAE,OAAO,GAAG,IAAI;CAE9E"}
+{"version":3,"file":"ArkIRTransformer.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/common/ArkIRTransformer.ts"],"names":[],"mappings":"AAeA,OAAO,EAYH,aAAa,EAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAwF,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACzI,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAEjD,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAA2F,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAChK,OAAO,EAAE,SAAS,EAAuF,MAAM,yBAAyB,CAAC;AAGzI,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAK3D,OAAO,EAAE,gBAAgB,EAAa,MAAM,uCAAuC,CAAC;AAMpF,OAAO,EAAsB,UAAU,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAS5F,MAAM,MAAM,aAAa,GAAG;IACxB,KAAK,EAAE,KAAK,CAAC;IACb,sBAAsB,EAAE,YAAY,EAAE,CAAC;IACvC,KAAK,EAAE,IAAI,EAAE,CAAC;CACjB,CAAC;AAUF,qBAAa,mBAAoB,SAAQ,gBAAgB;IACrD,gBAAuB,4BAA4B,YAAY;IAC/D,gBAAuB,qBAAqB,WAAW;IACvD,gBAAuB,2BAA2B,YAAY;IAC9D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAqB;IACnD,OAAO,CAAC,sBAAsB,CAAyB;IACvD,OAAO,CAAC,iBAAiB,CAAe;gBAE5B,UAAU,EAAE,kBAAkB,EAAE,eAAe,EAAE,SAAS;IAM/D,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC;IAIvB,UAAU,IAAI,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI;IAI3C,YAAY,IAAI,KAAK;IAIrB,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAInE,aAAa,IAAI,IAAI,EAAE;IAe9B,OAAO,CAAC,gCAAgC;IAgBxC,8DAA8D;IACvD,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,EAAE;IAwF/C,OAAO,CAAC,0BAA0B;IAOlC,OAAO,CAAC,kBAAkB;IA8B1B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAQ/B;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAiBpC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAYhC;;OAEG;IACH,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,uBAAuB;IAc/B,OAAO,CAAC,mBAAmB;IAqC3B,OAAO,CAAC,wBAAwB;IAqBhC,OAAO,CAAC,wBAAwB;IAwDhC,OAAO,CAAC,sBAAsB;IAyB9B,OAAO,CAAC,uBAAuB;IAsC/B,OAAO,CAAC,qBAAqB;IA2B7B,OAAO,CAAC,wBAAwB;IAgBhC,OAAO,CAAC,qBAAqB;IA4B7B,sEAAsE;IAC/D,sBAAsB,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa;IAI9D,OAAO,CAAC,yBAAyB;IAwBjC,OAAO,CAAC,6BAA6B;IAWrC,OAAO,CAAC,iBAAiB;IA4BzB,qDAAqD;IAC9C,iCAAiC,CAAC,eAAe,EAAE,UAAU,GAAG,aAAa,EAAE;IA6CtF;;;;;;;;OAQG;IACH,OAAO,CAAC,sBAAsB;IAkC9B,OAAO,CAAC,wBAAwB;IAQhC,OAAO,CAAC,qBAAqB;IAM7B,OAAO,CAAC,qBAAqB;IAI7B,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,qBAAqB;IAI7B,OAAO,CAAC,2BAA2B;IAqCnC,OAAO,CAAC,iBAAiB;IA2CzB,OAAO,CAAC,uBAAuB;IAY/B,OAAO,CAAC,wBAAwB;IAIhC,OAAO,CAAC,iCAAiC;IAIlC,qBAAqB,CACxB,WAAW,EAAE,UAAU,EACvB,KAAK,GAAE,MAAU,EACjB,OAAO,CAAC,EAAE;QACN,aAAa,EAAE,KAAK,GAAG,SAAS,CAAC;KACpC,GACF,IAAI,EAAE;IAmCT,OAAO,CAAC,wBAAwB;IAazB,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IAQjE;;;;;OAKG;WACW,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;IAiBnE,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,GAAG,aAAa;IAwBtG,OAAO,CAAC,oBAAoB;IAqB5B,OAAO,CAAC,qBAAqB;IAW7B,OAAO,CAAC,qBAAqB;IAe7B,OAAO,CAAC,wBAAwB;IAgBzB,2BAA2B,CAAC,wBAAwB,EAAE,OAAO,GAAG,IAAI;CAC9E"}

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

@@ -63,6 +63,7 @@ const Type_2 = require("../base/Type");
 const builderUtils_2 = require("../../../core/model/builder/builderUtils");
 const logger_1 = __importStar(require("../../../utils/logger"));
 const ArkFileBuilder_1 = require("../model/builder/ArkFileBuilder");
+const SignatureCanonicalizerRegistry_1 = require("../../../core/common/SignatureCanonicalizerRegistry");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ArkIRTransformer');
 function nodeInnerNode(node) {
     if (node.inner && node.inner.length > 0) {
@@ -111,8 +112,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
             ArkValueTransformer_1.ArkCxxValueTransformer.isCxxCompoundAssignmentOperator(expression.opcode) ||
             expression.kind === ArkCxxAstNode_1.AstKind.CXXNewExpr ||
             expression.kind === ArkCxxAstNode_1.AstKind.CallExpr ||
-            (expression.kind === ArkCxxAstNode_1.AstKind.UnaryOperator &&
-                (expression.opcode === ArkCxxAstNode_1.CxxOpcode.Inc || expression.opcode === ArkCxxAstNode_1.CxxOpcode.Dec)) ||
+            (expression.kind === ArkCxxAstNode_1.AstKind.UnaryOperator && (expression.opcode === ArkCxxAstNode_1.CxxOpcode.Inc || expression.opcode === ArkCxxAstNode_1.CxxOpcode.Dec)) ||
             expression.kind === ArkCxxAstNode_1.AstKind.CXXOperatorCallExpr ||
             expression.kind === ArkCxxAstNode_1.AstKind.CXXConstructExpr ||
             expression.kind === ArkCxxAstNode_1.AstKind.CXXCtorInitializer);
@@ -206,12 +206,8 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         return stmts;
     }
     cxxClassDeclarationToStmts(node) {
-        const cls = new ArkClass_1.ArkClass();
         const declaringArkNamespace = this.declaringMethod.getDeclaringArkClass().getDeclaringArkNamespace();
-        if (declaringArkNamespace) {
-            cls.setDeclaringArkNamespace(declaringArkNamespace);
-        }
-        cls.setDeclaringArkFile(this.declaringMethod.getDeclaringArkFile());
+        const cls = new ArkClass_1.ArkClass(this._declaringFile.getFileSigID(), declaringArkNamespace === null || declaringArkNamespace === void 0 ? void 0 : declaringArkNamespace.getNamespaceSigID());
         (0, ArkClassBuilder_1.buildNormalArkClassFromArkMethod)(node, cls, this.cxxSourceFile, this.declaringMethod);
         return [];
     }
@@ -287,7 +283,8 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
     populateRealGenericTypes(node, expr) {
         if (node.kind === ArkCxxAstNode_1.AstKind.TypeAliasTemplateDecl) {
             const realGenericTypes = [];
-            node.inner.filter(inn => inn.kind === ArkCxxAstNode_1.AstKind.TemplateTypeParmDecl)
+            node.inner
+                .filter(inn => inn.kind === ArkCxxAstNode_1.AstKind.TemplateTypeParmDecl)
                 .forEach(typeArgument => {
                 realGenericTypes.push((0, builderUtils_1.cxxNode2Type)(typeArgument, this.declaringMethod));
             });
@@ -306,9 +303,12 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
     }
     getAnonymousInformation(node) {
         if (node.inner.length === 0 && node.originalId) {
-            const cls = ArkFileBuilder_1.classMap.get(node.originalId);
-            if (cls) {
-                return new Type_1.ClassType(cls.getSignature());
+            const classSigID = ArkFileBuilder_1.classMap.get(node.originalId);
+            if (classSigID !== undefined) {
+                const cls = SignatureCanonicalizerRegistry_1.SignatureCanonicalizerRegistry.getInstance().getClassById(classSigID);
+                if (cls) {
+                    return new Type_1.ClassType(cls.getSignature());
+                }
             }
         }
         return (0, builderUtils_1.cxxNode2Type)(node, this.declaringMethod);
@@ -343,6 +343,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         return stmts;
     }
     cxxGenerateAliasTypeExpr(rightOp, aliasType) {
+        var _a;
         let rightType = aliasType.getOriginalType();
         let expr;
         expr = new Expr_1.AliasTypeExpr(rightType, false);
@@ -350,7 +351,10 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         // and the corresponding ArkClass needs to be found as originalObject.
         // For other cases, this is UnclearReferenceType here and will be found and processed by type inference
         if (rightType instanceof Type_1.ClassType) {
-            const classObject = ModelUtils_1.ModelUtils.getClassWithName(rightType.getClassSignature().getClassName(), this.declaringMethod.getDeclaringArkClass());
+            // 签名直查优先（typedef 右侧 ClassType 的生成路径——classMap 命中 /
+            // buildTypeFromDerivedType / 内建——均为真实归属签名）；miss 再按名兜底
+            //（保守保留：CxxModelInference 推断回写可能引入非真实签名）
+            const classObject = (_a = SignatureCanonicalizerRegistry_1.SignatureCanonicalizerRegistry.getInstance().getClassBySig(rightType.getClassSignature())) !== null && _a !== void 0 ? _a : ModelUtils_1.ModelUtils.getClassWithName(rightType.getClassSignature().getClassName(), this.declaringMethod.getDeclaringArkClass());
             if (classObject) {
                 expr.setOriginalObject(classObject);
             }
@@ -361,44 +365,44 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         const stmts = [];
         let entry = forOfStatement.inner[1];
         // Handle iterable initialization
-        let { iterablePositions, iteratorInvokeExpr, iteratorInvokeExprPositions, } = this.handleForRangeIterInit(entry, stmts);
+        let { iterablePositions, iteratorInvokeExpr, iteratorInvokeExprPositions } = this.handleForRangeIterInit(entry, stmts);
         const base = iteratorInvokeExpr.getBase();
         // Handle iterable begin
-        const { iterator, doneFieldRef, doneFieldRefPositions, } = this.handleForRangeIterBegin(iteratorInvokeExpr, iteratorInvokeExprPositions, stmts, iterablePositions, base);
+        const { iterator, doneFieldRef, doneFieldRefPositions } = this.handleForRangeIterBegin(iteratorInvokeExpr, iteratorInvokeExprPositions, stmts, iterablePositions, base);
         // Handle iterable end
-        const { iteratorNextInvokeExpr, iteratorNextInvokeExprPositions, } = this.handleForRangeIterEnd(doneFieldRef, doneFieldRefPositions, stmts, iterator);
+        const { iteratorNextInvokeExpr, iteratorNextInvokeExprPositions } = this.handleForRangeIterEnd(doneFieldRef, doneFieldRefPositions, stmts, iterator);
         // Handle iterable result value
-        const { valueFieldRef, valueFieldRefPositions, } = this.handleForRangeIterResult(iteratorNextInvokeExpr, iteratorNextInvokeExprPositions, stmts, iterator);
+        const { valueFieldRef, valueFieldRefPositions } = this.handleForRangeIterResult(iteratorNextInvokeExpr, iteratorNextInvokeExprPositions, stmts, iterator);
         // Handle whether iterable is finished
-        const { value: yieldValue, valueOriginalPositions: yieldValuePositions, stmts: yieldValueStmts, } = this.generateAssignStmtForValue(valueFieldRef, valueFieldRefPositions);
-        stmts.push(...yieldValueStmts);
-        const castExpr = new Expr_1.ArkCastExpr(yieldValue, Type_1.UnknownType.getInstance());
-        const castExprPositions = [yieldValuePositions[0], ...yieldValuePositions];
+        const yieldResult = this.generateAssignStmtForValue(valueFieldRef, valueFieldRefPositions);
+        stmts.push(...yieldResult.stmts);
+        const castExpr = new Expr_1.ArkCastExpr(yieldResult.value, Type_1.UnknownType.getInstance());
+        const castExprPositions = [yieldResult.valueOriginalPositions[0], ...yieldResult.valueOriginalPositions];
         let declStmts = forOfStatement.inner[0];
         declStmts = declStmts.kind === ArkCxxAstNode_1.AstKind.DeclStmt ? declStmts.inner[0] : declStmts;
         if (declStmts.kind === ArkCxxAstNode_1.AstKind.VarDecl) {
-            const { value: initValue, valueOriginalPositions: initOriPos, stmts: initStmts, } = this.ArkCxxValueTransformer.cxxVariableDeclarationToValueAndStmts(declStmts, false);
-            const assignStmt = new Stmt_1.ArkAssignStmt(initValue, castExpr);
-            assignStmt.setOperandOriginalPositions([...initOriPos, ...castExprPositions]);
+            const initResult = this.ArkCxxValueTransformer.cxxVariableDeclarationToValueAndStmts(declStmts, false);
+            const assignStmt = new Stmt_1.ArkAssignStmt(initResult.value, castExpr);
+            assignStmt.setOperandOriginalPositions([...initResult.valueOriginalPositions, ...castExprPositions]);
             stmts.push(assignStmt);
-            stmts.push(...initStmts);
+            stmts.push(...initResult.stmts);
             // Processing structured binding under cyclic conditions
         }
         else if (declStmts.kind === ArkCxxAstNode_1.AstKind.DecompositionDecl) {
-            const { stmts: initStmts, } = this.ArkCxxValueTransformer.bindingNodeToValueAndStmts(declStmts, yieldValue);
+            const { stmts: initStmts } = this.ArkCxxValueTransformer.bindingNodeToValueAndStmts(declStmts, yieldResult.value);
             stmts.push(...initStmts);
         }
         else {
-            const { value: initValue, valueOriginalPositions: initOriPos, stmts: initStmts, } = this.cxxNodeToValueAndStmts(declStmts);
-            const assignStmt = new Stmt_1.ArkAssignStmt(initValue, castExpr);
-            assignStmt.setOperandOriginalPositions([...initOriPos, ...castExprPositions]);
-            stmts.push(...initStmts);
+            const initResult = this.cxxNodeToValueAndStmts(declStmts);
+            const assignStmt = new Stmt_1.ArkAssignStmt(initResult.value, castExpr);
+            assignStmt.setOperandOriginalPositions([...initResult.valueOriginalPositions, ...castExprPositions]);
+            stmts.push(...initResult.stmts);
             stmts.push(assignStmt);
         }
         return stmts;
     }
     handleForRangeIterInit(entry, stmts) {
-        let { value: iterableValue, valueOriginalPositions: iterablePositions, stmts: iterableStmts, } = this.cxxNodeToValueAndStmts(entry);
+        let { value: iterableValue, valueOriginalPositions: iterablePositions, stmts: iterableStmts } = this.cxxNodeToValueAndStmts(entry);
         stmts.push(...iterableStmts);
         if (!(iterableValue instanceof Local_1.Local)) {
             ({
@@ -409,7 +413,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
             stmts.push(...iterableStmts);
         }
         const iteratorMethodSubSignature = new ArkSignature_1.MethodSubSignature(Builtin_1.BuiltinCxx.ITERATOR_FUNCTION, [], Builtin_1.BuiltinCxx.ITERATOR_CLASS_TYPE);
-        const iteratorMethodSignature = new ArkSignature_1.MethodSignature(ArkSignature_1.ClassSignature.DEFAULT, iteratorMethodSubSignature);
+        const iteratorMethodSignature = new ArkSignature_1.MethodSignature(0, iteratorMethodSubSignature);
         const iteratorInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(iterableValue, iteratorMethodSignature, []);
         const iteratorInvokeExprPositions = [iterablePositions[0], ...iterablePositions];
         return { iterablePositions, iteratorInvokeExpr, iteratorInvokeExprPositions };
@@ -424,15 +428,17 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
             logger.error(logger_1.LOG_MODULE_TYPE.DEFAULT, 'iterator is not a local');
         }
         const baseType = base.getType();
-        const beginFieldSignature = baseType instanceof Type_1.ClassType ? new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_BEGIN, baseType.getClassSignature(), Type_1.BooleanType.getInstance(), false) :
-            new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_BEGIN, Builtin_1.BuiltinCxx.ITERATOR_RESULT_CLASS_SIGNATURE, Type_1.BooleanType.getInstance(), false);
+        const beginFieldSignature = baseType instanceof Type_1.ClassType
+            ? new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_BEGIN, baseType.getClassSignature(), Type_1.UnknownType.getInstance(), false)
+            : new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_BEGIN, Builtin_1.BuiltinCxx.ITERATOR_RESULT_CLASS_SIGNATURE, Type_1.UnknownType.getInstance(), false);
         const beginFieldRef = new Ref_1.ArkInstanceFieldRef(base, beginFieldSignature);
         const beginStmt = new Stmt_1.ArkAssignStmt(iterator, beginFieldRef);
         stmts.push(beginStmt);
         const dummyInitializerStmt = new ArkIRTransformer_1.DummyStmt(ArkIRTransformer_1.ArkIRTransformer.DUMMY_LOOP_INITIALIZER_STMT);
         stmts.push(dummyInitializerStmt);
-        const doneFieldSignature = baseType instanceof Type_1.ClassType ? new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_END, baseType.getClassSignature(), Type_1.BooleanType.getInstance(), false) :
-            new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_END, Builtin_1.BuiltinCxx.ITERATOR_RESULT_CLASS_SIGNATURE, Type_1.BooleanType.getInstance(), false);
+        const doneFieldSignature = baseType instanceof Type_1.ClassType
+            ? new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_END, baseType.getClassSignature(), Type_1.UnknownType.getInstance(), false)
+            : new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_RESULT_END, Builtin_1.BuiltinCxx.ITERATOR_RESULT_CLASS_SIGNATURE, Type_1.UnknownType.getInstance(), false);
         const doneFieldRef = new Ref_1.ArkInstanceFieldRef(base, doneFieldSignature);
         const doneFieldRefPositions = [iteratorPositions[0], ...iterablePositions];
         return { iterator, doneFieldRef, doneFieldRefPositions };
@@ -447,7 +453,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         ifStmt.setOperandOriginalPositions(conditionExprPositions);
         stmts.push(ifStmt);
         const nextMethodSubSignature = new ArkSignature_1.MethodSubSignature(Builtin_1.BuiltinCxx.ITERATOR_NEXT, [], Builtin_1.BuiltinCxx.ITERATOR_RESULT_CLASS_TYPE);
-        const nextMethodSignature = new ArkSignature_1.MethodSignature(ArkSignature_1.ClassSignature.DEFAULT, nextMethodSubSignature);
+        const nextMethodSignature = new ArkSignature_1.MethodSignature(0, nextMethodSubSignature);
         const iteratorNextInvokeExpr = new Expr_1.ArkInstanceInvokeExpr(iterator, nextMethodSignature, []);
         const iteratorNextInvokeExprPositions = [doneFieldRefPositions[0], ...doneFieldRefPositions];
         return { iteratorNextInvokeExpr, iteratorNextInvokeExprPositions };
@@ -455,6 +461,8 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
     handleForRangeIterResult(iteratorNextInvokeExpr, iteratorNextInvokeExprPositions, stmts, iterator) {
         const nextStmt = new Stmt_1.ArkAssignStmt(iterator, iteratorNextInvokeExpr);
         stmts.push(nextStmt);
+        // Object path: the iterator stub is unclear and is routed to the temp canonicalizer
+        // inside the constructor — no formal interning without a model.
         const valueFieldSignature = new ArkSignature_1.FieldSignature(Builtin_1.BuiltinCxx.ITERATOR_VALUE, Builtin_1.BuiltinCxx.ITERATOR_CLASS_SIGNATURE, Type_1.UnknownType.getInstance(), false);
         const valueFieldRef = new Ref_1.ArkInstanceFieldRef(iterator, valueFieldSignature);
         const valueFieldRefPositions = [iteratorNextInvokeExprPositions[0], ...iteratorNextInvokeExprPositions];
@@ -472,7 +480,8 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
             stmts.push(assignStmt);
             stmts.push(...catchStmts);
         }
-        else { // When the scenario is catch (...)
+        else {
+            // When the scenario is catch (...)
             const caughtExceptionRef = new Ref_1.ArkCaughtExceptionRef(Type_1.AnyType.getInstance());
             const catchValue = new Local_1.Local('error');
             this.catchedExceptions.push(catchValue);
@@ -489,14 +498,10 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
     cxxReturnStatementToStmts(returnStatement) {
         const stmts = [];
         if (returnStatement.inner.length > 0) {
-            let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts, } = this.cxxNodeToValueAndStmts(returnStatement.inner[0]);
+            let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts } = this.cxxNodeToValueAndStmts(returnStatement.inner[0]);
             stmts.push(...exprStmts);
             if (IRUtils_1.IRUtils.moreThanOneAddress(exprValue)) {
-                ({
-                    value: exprValue,
-                    valueOriginalPositions: exprPositions,
-                    stmts: exprStmts,
-                } = this.generateAssignStmtForValue(exprValue, exprPositions));
+                ({ value: exprValue, valueOriginalPositions: exprPositions, stmts: exprStmts } = this.generateAssignStmtForValue(exprValue, exprPositions));
                 stmts.push(...exprStmts);
             }
             const returnStmt = new Stmt_1.ArkReturnStmt(exprValue);
@@ -514,7 +519,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         return stmts;
     }
     cxxExpressionStatementToStmts(expressionStatement) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.cxxNodeToValueAndStmts(expressionStatement);
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts } = this.cxxNodeToValueAndStmts(expressionStatement);
         if (exprValue instanceof Expr_1.AbstractInvokeExpr) {
             this.cxxAddInvokeStmts(exprValue, exprPositions, stmts);
         }
@@ -558,11 +563,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         let { value: exprValue, valueOriginalPositions: exprPositions, stmts: exprTempStmts, } = this.cxxNodeToValueAndStmts(switchStatement.inner[switchStatement.inner.length - 2]);
         exprStmts.push(...exprTempStmts);
         if (IRUtils_1.IRUtils.moreThanOneAddress(exprValue)) {
-            ({
-                value: exprValue,
-                valueOriginalPositions: exprPositions,
-                stmts: exprTempStmts,
-            } = this.generateAssignStmtForValue(exprValue, exprPositions));
+            ({ value: exprValue, valueOriginalPositions: exprPositions, stmts: exprTempStmts } = this.generateAssignStmtForValue(exprValue, exprPositions));
             exprStmts.push(...exprTempStmts);
         }
         valueAndStmtsOfSwitchAndCases.push({
@@ -574,7 +575,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         for (const clause of switchStatement.inner[switchStatement.inner.length - 1].inner) {
             if (clause.kind === ArkCxxAstNode_1.AstKind.CaseStmt) {
                 const clauseStmts = [];
-                let { value: clauseValue, valueOriginalPositions: clausePositions, stmts: clauseTempStmts, } = this.cxxNodeToValueAndStmts(clause.inner[0]);
+                let { value: clauseValue, valueOriginalPositions: clausePositions, stmts: clauseTempStmts } = this.cxxNodeToValueAndStmts(clause.inner[0]);
                 clauseStmts.push(...clauseTempStmts);
                 if (IRUtils_1.IRUtils.moreThanOneAddress(clauseValue)) {
                     ({
@@ -658,7 +659,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         return this.memberCallExpressionToStmts(expressionStatement);
     }
     memberCallExpressionToStmts(expression) {
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.cxxNodeToValueAndStmts(expression);
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts } = this.cxxNodeToValueAndStmts(expression);
         if (exprValue instanceof Expr_1.AbstractInvokeExpr) {
             const invokeStmt = new Stmt_1.ArkInvokeStmt(exprValue);
             invokeStmt.setOperandOriginalPositions(exprPositions);
@@ -695,7 +696,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
     }
     expressionToStmts(expression) {
         var _a;
-        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts, } = this.cxxNodeToValueAndStmts(expression);
+        const { value: exprValue, valueOriginalPositions: exprPositions, stmts: stmts } = this.cxxNodeToValueAndStmts(expression);
         if (exprValue instanceof Expr_1.AbstractInvokeExpr) {
             const invokeStmt = new Stmt_1.ArkInvokeStmt(exprValue);
             invokeStmt.setOperandOriginalPositions(exprPositions);
@@ -774,7 +775,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
             return this.cxxIfStatementToStmts(ifStatement.inner[0], depth);
         }
         else {
-            const { value: conditionExpr, valueOriginalPositions: conditionExprPositions, stmts: conditionStmts } = this.ArkCxxValueTransformer.cxxConditionToValueAndStmts(ifStatement);
+            const { value: conditionExpr, valueOriginalPositions: conditionExprPositions, stmts: conditionStmts, } = this.ArkCxxValueTransformer.cxxConditionToValueAndStmts(ifStatement);
             stmts.push(...conditionStmts);
             const ifStmt = new Stmt_1.ArkIfStmt(conditionExpr);
             ifStmt.setOperandOriginalPositions(conditionExprPositions);
@@ -787,7 +788,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
     }
     cxxThrowStatementToStmts(throwStatement) {
         const stmts = [];
-        let { value: throwValue, valueOriginalPositions: throwValuePositions, stmts: throwStmts, } = this.cxxNodeToValueAndStmts(throwStatement.inner[0]);
+        let { value: throwValue, valueOriginalPositions: throwValuePositions, stmts: throwStmts } = this.cxxNodeToValueAndStmts(throwStatement.inner[0]);
         if (throwStatement.inner.length === 0 && this.catchedExceptions.length !== 0) {
             throwValue = this.catchedExceptions[this.catchedExceptions.length - 1];
         }
@@ -916,8 +917,7 @@ class ArkCxxIRTransformer extends ArkIRTransformer_1.ArkIRTransformer {
         }
         return value.getBase().getType();
     }
-    setBuilderMethodContextFlag(builderMethodContextFlag) {
-    }
+    setBuilderMethodContextFlag(builderMethodContextFlag) { }
 }
 exports.ArkCxxIRTransformer = ArkCxxIRTransformer;
 ArkCxxIRTransformer.DUMMY_IF_OPERATOR_AND_SIGNAL = 'If(&&)';

package/lib/frontend/cppFrontend/common/ArkValueTransformer.d.ts

@@ -23,7 +23,7 @@ export declare class ArkCxxValueTransformer extends ArkValueTransformer {
      *     struct Point q = (struct Point){.x = 5, .y = 8, .name = 'c'};
      *     int* arr = (int[5]){1, 2, 3, 4, 5};
      *     the right value is {},its kind is CompoundLiteralExpr or InitListExpr
-    */
+     */
     private cxxAggregateToValueAndStmts;
     private cxxThisExpressionToValueAndStmts;
     private isNodeRelatedToCXXLambdaFunc;

package/lib/frontend/cppFrontend/common/ArkValueTransformer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkValueTransformer.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/common/ArkValueTransformer.ts"],"names":[],"mappings":"AA6DA,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAWjD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAI1D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAUxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAK/E,OAAO,EAIH,SAAS,EAET,UAAU,EACV,kBAAkB,EACrB,MAAM,wBAAwB,CAAC;AA6DhC,qBAAa,sBAAuB,SAAQ,mBAAmB;IAC3D,OAAO,CAAC,mBAAmB,CAAsB;IACjD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAqB;IAGnD,OAAO,CAAC,sBAAsB,CA4D5B;gBAGU,gBAAgB,EAAE,mBAAmB,EAAE,UAAU,EAAE,kBAAkB,EAAE,eAAe,EAAE,SAAS;IAO7G;;;;OAIG;IACI,sBAAsB,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa;IAe9D;;;;;;;;;MASE;IACF,OAAO,CAAC,2BAA2B;IA8CnC,OAAO,CAAC,gCAAgC;IASxC,OAAO,CAAC,4BAA4B;IAIpC,OAAO,CAAC,2BAA2B;IAUnC,OAAO,CAAC,uCAAuC;IAK/C,OAAO,CAAC,wBAAwB;IAQhC,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,wBAAwB;IAKhC,OAAO,CAAC,kBAAkB;IAsB1B,OAAO,CAAC,0BAA0B;IAIlC,OAAO,CAAC,wBAAwB;IAYhC,OAAO,CAAC,8BAA8B;IAStC,OAAO,CAAC,8BAA8B;IAQtC,OAAO,CAAC,qCAAqC;IAc7C;;;;;OAKG;IACH,OAAO,CAAC,+BAA+B;IAWhC,0BAA0B,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,KAAK,GAAG,aAAa;IA2CtF,OAAO,CAAC,+BAA+B;IAQvC;;;;OAIG;IACH,OAAO,CAAC,+BAA+B;IAUvC;;;;OAIG;IACH,OAAO,CAAC,6BAA6B;IAgCrC,OAAO,CAAC,+BAA+B;IAKvC,OAAO,CAAC,uCAAuC;IAa/C;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IAmBnC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAUpC,OAAO,CAAC,wBAAwB;IAsChC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAkBzC;;;;;;;OAOG;IACH,OAAO,CAAC,iCAAiC;IA+BzC;;;;;;OAMG;IACH,OAAO,CAAC,uCAAuC;IAgC/C;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAgCzC;;;;;OAKG;IACH,OAAO,CAAC,iCAAiC;IAqBzC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAqBpC;;;;OAIG;IACH,OAAO,CAAC,8BAA8B;IAYtC;;;;OAIG;IACH,OAAO,CAAC,iCAAiC;IA2BzC;;;;OAIG;IACH,OAAO,CAAC,kCAAkC;IAY1C;;;;OAIG;IACH,OAAO,CAAC,6BAA6B;IAsBrC,OAAO,CAAC,0BAA0B;IAuBlC;;;;OAIG;IACH,OAAO,CAAC,uCAAuC;IAoD/C;;;;OAIG;IACH,OAAO,CAAC,yBAAyB;IAMjC,OAAO,CAAC,eAAe;IAkDvB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,8BAA8B;IAwBtC,OAAO,CAAC,yBAAyB;IAyCjC,OAAO,CAAC,iCAAiC;IAqBzC;;;;;OAKG;IACH,OAAO,CAAC,4BAA4B;IA8BpC;;;;;OAKG;IACH,OAAO,CAAC,+BAA+B;IAoDvC,OAAO,CAAC,iCAAiC;IA+CzC;;;;;OAKG;IACH,OAAO,CAAC,yCAAyC;IA+CjD,OAAO,CAAC,gCAAgC;IAoCxC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IA2CzC;;;;;;;;OAQG;IACH,OAAO,CAAC,uCAAuC;IAyB/C;;;;;OAKG;IACH,OAAO,CAAC,qCAAqC;IAgB7C;;;;;;OAMG;IACH,OAAO,CAAC,0CAA0C;IAgBlD;;;;OAIG;IACH,OAAO,CAAC,qCAAqC;IAQ7C;;;;OAIG;IACH,OAAO,CAAC,oCAAoC;IAY5C;;;;;OAKG;IACH,OAAO,CAAC,oCAAoC;IAiD5C;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAqC9B;;OAEG;IACH,OAAO,CAAC,yBAAyB;IA0BjC,OAAO,CAAC,wBAAwB;IAoBhC,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,qBAAqB;IAe7B,OAAO,CAAC,iBAAiB;IAIzB;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAgD1B;;;;;;;;OAQG;IACH,OAAO,CAAC,qCAAqC;IAmD7C,OAAO,CAAC,qCAAqC;IAqB7C,OAAO,CAAC,gCAAgC;IAOxC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,8BAA8B;IA6DtC;;;;OAIG;IACH,OAAO,CAAC,sCAAsC;IAW9C;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IA0CvC;;;;;;;;;OASG;IACH,OAAO,CAAC,2BAA2B;IAwBnC,OAAO,CAAC,wBAAwB;IAehC,OAAO,CAAC,iCAAiC;IAsBzC,OAAO,CAAC,mBAAmB;IAuB3B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAUzB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IA2B9B,OAAO,CAAC,iBAAiB;IA4CzB,OAAO,CAAC,8BAA8B;IActC,OAAO,CAAC,+BAA+B;IAyCvC;;;;;;;;;OASG;IACH,OAAO,CAAC,+BAA+B;IA8CvC,OAAO,CAAC,yCAAyC;IAiCjD;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;;;OAIG;IACH,OAAO,CAAC,yBAAyB;IAcjC;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IA8BnC;;;;OAIG;IACH,OAAO,CAAC,oCAAoC;IA6C5C;;;;OAIG;IACH,OAAO,CAAC,wCAAwC;IAkChD,OAAO,CAAC,kBAAkB;IAW1B;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA4BjC;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,4BAA4B;IA+CpC;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAsBtC,OAAO,CAAC,uCAAuC;IA6C/C;;;;;OAKG;IACH,OAAO,CAAC,wCAAwC;IAuDzC,uBAAuB,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa;IAiB/D;;;;;;OAMG;IACI,qCAAqC,CAAC,mBAAmB,EAAE,UAAU,EAAE,WAAW,GAAE,OAAc,GAAG,aAAa;IAsBzH,OAAO,CAAC,UAAU;IAKlB;;;;;;;;;;OAUG;IACH,OAAO,CAAC,4BAA4B;IA4CpC;;;;;OAKG;IACH,OAAO,CAAC,mCAAmC;IA+B3C;;;;OAIG;IACH,OAAO,CAAC,mCAAmC;IAe3C;;;;;;OAMG;IACH,OAAO,CAAC,kCAAkC;IAkD1C;;;;;OAKG;IACH,OAAO,CAAC,oCAAoC;IA+C5C;;;;;OAKG;IACH,OAAO,CAAC,2CAA2C;IA2BnD;;;;OAIG;IACI,2BAA2B,CAAC,SAAS,EAAE,UAAU,GAAG,aAAa;IA+BxE,OAAO,CAAC,oBAAoB;IAQ5B;;;;;OAKG;IAEH,OAAO,CAAC,oBAAoB;IAe5B,OAAO,CAAC,6BAA6B;WAyCvB,+BAA+B,CAAC,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO;IAItE,OAAO,CAAC,MAAM,CAAC,0BAA0B;CAG5C"}
+{"version":3,"file":"ArkValueTransformer.d.ts","sourceRoot":"","sources":["../../../../src/frontend/cppFrontend/common/ArkValueTransformer.ts"],"names":[],"mappings":"AAoDA,OAAO,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAMjD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAI1D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAUxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAK/E,OAAO,EAAmC,SAAS,EAAoB,UAAU,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAqDtI,qBAAa,sBAAuB,SAAQ,mBAAmB;IAC3D,OAAO,CAAC,mBAAmB,CAAsB;IACjD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAqB;IAGnD,OAAO,CAAC,sBAAsB,CA4D5B;gBAEU,gBAAgB,EAAE,mBAAmB,EAAE,UAAU,EAAE,kBAAkB,EAAE,eAAe,EAAE,SAAS;IAM7G;;;;OAIG;IACI,sBAAsB,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa;IAe9D;;;;;;;;;OASG;IACH,OAAO,CAAC,2BAA2B;IA8CnC,OAAO,CAAC,gCAAgC;IASxC,OAAO,CAAC,4BAA4B;IAIpC,OAAO,CAAC,2BAA2B;IAQnC,OAAO,CAAC,uCAAuC;IAK/C,OAAO,CAAC,wBAAwB;IAQhC,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,wBAAwB;IAKhC,OAAO,CAAC,kBAAkB;IAsB1B,OAAO,CAAC,0BAA0B;IAIlC,OAAO,CAAC,wBAAwB;IAShC,OAAO,CAAC,8BAA8B;IAStC,OAAO,CAAC,8BAA8B;IAQtC,OAAO,CAAC,qCAAqC;IAc7C;;;;;OAKG;IACH,OAAO,CAAC,+BAA+B;IAahC,0BAA0B,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,KAAK,GAAG,aAAa;IA2CtF,OAAO,CAAC,+BAA+B;IAQvC;;;;OAIG;IACH,OAAO,CAAC,+BAA+B;IAUvC;;;;OAIG;IACH,OAAO,CAAC,6BAA6B;IAmCrC,OAAO,CAAC,+BAA+B;IAKvC,OAAO,CAAC,uCAAuC;IAa/C;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IAoBnC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAUpC,OAAO,CAAC,wBAAwB;IAqChC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAgBzC;;;;;;;OAOG;IACH,OAAO,CAAC,iCAAiC;IA8BzC;;;;;;OAMG;IACH,OAAO,CAAC,uCAAuC;IAgC/C;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAgCzC;;;;;OAKG;IACH,OAAO,CAAC,iCAAiC;IAqBzC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAqBpC;;;;OAIG;IACH,OAAO,CAAC,8BAA8B;IAYtC;;;;OAIG;IACH,OAAO,CAAC,iCAAiC;IA2BzC;;;;OAIG;IACH,OAAO,CAAC,kCAAkC;IAQ1C;;;;OAIG;IACH,OAAO,CAAC,6BAA6B;IAsBrC,OAAO,CAAC,0BAA0B;IAsBlC;;;;OAIG;IACH,OAAO,CAAC,uCAAuC;IAwD/C;;;;OAIG;IACH,OAAO,CAAC,yBAAyB;IAKjC,OAAO,CAAC,eAAe;IAiDvB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,8BAA8B;IAwBtC,OAAO,CAAC,yBAAyB;IA2CjC,OAAO,CAAC,iCAAiC;IAqBzC;;;;;OAKG;IACH,OAAO,CAAC,4BAA4B;IA+BpC;;;;;OAKG;IACH,OAAO,CAAC,+BAA+B;IAmDvC,OAAO,CAAC,iCAAiC;IAmDzC;;;;;OAKG;IACH,OAAO,CAAC,yCAAyC;IA2CjD,OAAO,CAAC,gCAAgC;IAoCxC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAuCzC;;;;;;;;OAQG;IACH,OAAO,CAAC,uCAAuC;IAyB/C;;;;;OAKG;IACH,OAAO,CAAC,qCAAqC;IAgB7C;;;;;;OAMG;IACH,OAAO,CAAC,0CAA0C;IAoBlD;;;;OAIG;IACH,OAAO,CAAC,qCAAqC;IAQ7C;;;;OAIG;IACH,OAAO,CAAC,oCAAoC;IAY5C;;;;;OAKG;IACH,OAAO,CAAC,oCAAoC;IA8C5C;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAsC9B;;OAEG;IACH,OAAO,CAAC,yBAAyB;IA0BjC,OAAO,CAAC,wBAAwB;IAiBhC,OAAO,CAAC,qBAAqB;IAU7B,OAAO,CAAC,qBAAqB;IAe7B,OAAO,CAAC,iBAAiB;IAIzB;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAgD1B;;;;;;;;OAQG;IACH,OAAO,CAAC,qCAAqC;IAgD7C,OAAO,CAAC,qCAAqC;IAqB7C,OAAO,CAAC,gCAAgC;IAOxC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,8BAA8B;IAyDtC;;;;OAIG;IACH,OAAO,CAAC,sCAAsC;IAW9C;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IAsCvC;;;;;;;;;OASG;IACH,OAAO,CAAC,2BAA2B;IA0BnC,OAAO,CAAC,wBAAwB;IAgBhC,OAAO,CAAC,iCAAiC;IAmBzC,OAAO,CAAC,mBAAmB;IAuB3B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAQzB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IA2B9B,OAAO,CAAC,iBAAiB;IAwCzB,OAAO,CAAC,8BAA8B;IActC,OAAO,CAAC,+BAA+B;IAoDvC;;;;;;;;;OASG;IACH,OAAO,CAAC,+BAA+B;IA2CvC,OAAO,CAAC,yCAAyC;IAyCjD;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAgCxB;;;;OAIG;IACH,OAAO,CAAC,yBAAyB;IAcjC;;;;OAIG;IACH,OAAO,CAAC,2BAA2B;IA8BnC;;;;OAIG;IACH,OAAO,CAAC,oCAAoC;IA0C5C;;;;OAIG;IACH,OAAO,CAAC,wCAAwC;IA4ChD,OAAO,CAAC,kBAAkB;IAU1B;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA+BjC;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,4BAA4B;IA+CpC;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAqBtC,OAAO,CAAC,uCAAuC;IA6C/C;;;;;OAKG;IACH,OAAO,CAAC,wCAAwC;IAoDzC,uBAAuB,CAAC,IAAI,EAAE,UAAU,GAAG,aAAa;IAiB/D;;;;;;OAMG;IACI,qCAAqC,CAAC,mBAAmB,EAAE,UAAU,EAAE,WAAW,GAAE,OAAc,GAAG,aAAa;IAsBzH,OAAO,CAAC,UAAU;IAKlB;;;;;;;;;;OAUG;IACH,OAAO,CAAC,4BAA4B;IAwDpC;;;;;OAKG;IACH,OAAO,CAAC,mCAAmC;IA2B3C;;;;OAIG;IACH,OAAO,CAAC,mCAAmC;IAW3C;;;;;;OAMG;IACH,OAAO,CAAC,kCAAkC;IAyC1C;;;;;OAKG;IACH,OAAO,CAAC,oCAAoC;IAuC5C;;;;;OAKG;IACH,OAAO,CAAC,2CAA2C;IA2BnD;;;;OAIG;IACI,2BAA2B,CAAC,SAAS,EAAE,UAAU,GAAG,aAAa;IA2BxE,OAAO,CAAC,oBAAoB;IAQ5B;;;;;OAKG;IAEH,OAAO,CAAC,oBAAoB;IAe5B,OAAO,CAAC,6BAA6B;WAyCvB,+BAA+B,CAAC,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO;IAItE,OAAO,CAAC,MAAM,CAAC,0BAA0B;CAG5C"}