arkanalyzer 1.0.94 → 2.0.0-beta1

package/lib/core/common/Const.d.ts

@@ -20,9 +20,9 @@ export declare const CONSTRUCT_SIGNATURE_NAME = "construct-signature";
 export declare const UNKNOWN_PROJECT_NAME: string;
 export declare const UNKNOWN_FILE_NAME: string;
 export declare const UNKNOWN_NAMESPACE_NAME: string;
-export declare const UNKNOWN_CLASS_NAME = "";
-export declare const UNKNOWN_FIELD_NAME = "";
-export declare const UNKNOWN_METHOD_NAME = "";
+export declare const UNKNOWN_CLASS_NAME: string;
+export declare const UNKNOWN_FIELD_NAME: string;
+export declare const UNKNOWN_METHOD_NAME: string;
 export declare const TEMP_LOCAL_PREFIX = "%";
 export declare const LEXICAL_ENV_NAME_PREFIX: string;
 export declare const ARKTS_STATIC_MARK = "use static";

package/lib/core/common/Const.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Const.d.ts","sourceRoot":"","sources":["../../../src/core/common/Const.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,cAAc,MAAM,CAAC;AAClC,eAAO,MAAM,WAAW,MAAM,CAAC;AAC/B,eAAO,MAAM,YAAY,QAAQ,CAAC;AAClC,eAAO,MAAM,YAAY,SAAS,CAAC;AAGnC,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,sBAAsB,QAAqB,CAAC;AACzD,yEAAyE;AACzE,eAAO,MAAM,0BAA0B,QAAqB,CAAC;AAC7D,eAAO,MAAM,yBAAyB,MAAiB,CAAC;AACxD,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAGjD,eAAO,MAAM,uBAAuB,QAA6B,CAAC;AAClE,eAAO,MAAM,yBAAyB,QAA2B,CAAC;AAClE,eAAO,MAAM,uBAAuB,QAA2B,CAAC;AAChE,eAAO,MAAM,+BAA+B,QAA4B,CAAC;AACzE,eAAO,MAAM,uBAAuB,QAAqB,CAAC;AAC1D,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,aAAa,SAAS,CAAC;AACpC,eAAO,MAAM,aAAa,SAAS,CAAC;AACpC,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAG9D,eAAO,MAAM,oBAAoB,QAA6B,CAAC;AAC/D,eAAO,MAAM,iBAAiB,QAA6B,CAAC;AAC5D,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,kBAAkB,KAAK,CAAC;AACrC,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAGtC,eAAO,MAAM,iBAAiB,MAAc,CAAC;AAC7C,eAAO,MAAM,uBAAuB,QAAiC,CAAC;AAGtE,eAAO,MAAM,iBAAiB,eAAe,CAAC;AAG9C,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAC3C,eAAO,MAAM,mBAAmB,gBAAgB,CAAC;AACjD,eAAO,MAAM,mBAAmB,gBAAgB,CAAC;AACjD,eAAO,MAAM,qCAAqC,kCAAkC,CAAC;AACrF,eAAO,MAAM,iBAAiB,cAAc,CAAC;AAG7C,eAAO,MAAM,UAAU,eAAe,CAAC;AACvC,eAAO,MAAM,WAAW,gBAAgB,CAAC;AACzC,eAAO,MAAM,YAAY,eAAe,CAAC;AACzC,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,2BAA2B,wBAAwB,CAAC;AACjE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,4BAA4B,yBAAyB,CAAC;AACnE,eAAO,MAAM,sBAAsB,cAAc,CAAC;AAClD,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AACtD,eAAO,MAAM,0BAA0B,qBAAqB,CAAC;AAC7D,eAAO,MAAM,yBAAyB,eAAe,CAAC;AACtD,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AACzD,eAAO,MAAM,sBAAsB,iBAAiB,CAAC;AAGrD,eAAO,MAAM,mBAAmB,iBAAiB,CAAC;AAClD,eAAO,MAAM,uBAAuB,oBAAoB,CAAC;AACzD,eAAO,MAAM,2BAA2B,wBAAwB,CAAC"}
+{"version":3,"file":"Const.d.ts","sourceRoot":"","sources":["../../../src/core/common/Const.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,cAAc,MAAM,CAAC;AAClC,eAAO,MAAM,WAAW,MAAM,CAAC;AAC/B,eAAO,MAAM,YAAY,QAAQ,CAAC;AAClC,eAAO,MAAM,YAAY,SAAS,CAAC;AAGnC,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,sBAAsB,QAAqB,CAAC;AACzD,yEAAyE;AACzE,eAAO,MAAM,0BAA0B,QAAqB,CAAC;AAC7D,eAAO,MAAM,yBAAyB,MAAiB,CAAC;AACxD,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAGjD,eAAO,MAAM,uBAAuB,QAA6B,CAAC;AAClE,eAAO,MAAM,yBAAyB,QAA2B,CAAC;AAClE,eAAO,MAAM,uBAAuB,QAA2B,CAAC;AAChE,eAAO,MAAM,+BAA+B,QAA4B,CAAC;AACzE,eAAO,MAAM,uBAAuB,QAAqB,CAAC;AAC1D,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAC5C,eAAO,MAAM,aAAa,SAAS,CAAC;AACpC,eAAO,MAAM,aAAa,SAAS,CAAC;AACpC,eAAO,MAAM,wBAAwB,wBAAwB,CAAC;AAG9D,eAAO,MAAM,oBAAoB,QAA6B,CAAC;AAC/D,eAAO,MAAM,iBAAiB,QAA6B,CAAC;AAC5D,eAAO,MAAM,sBAAsB,QAA6B,CAAC;AACjE,eAAO,MAAM,kBAAkB,QAA6B,CAAC;AAC7D,eAAO,MAAM,kBAAkB,QAA6B,CAAC;AAC7D,eAAO,MAAM,mBAAmB,QAA6B,CAAC;AAG9D,eAAO,MAAM,iBAAiB,MAAc,CAAC;AAC7C,eAAO,MAAM,uBAAuB,QAAiC,CAAC;AAGtE,eAAO,MAAM,iBAAiB,eAAe,CAAC;AAG9C,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAC3C,eAAO,MAAM,mBAAmB,gBAAgB,CAAC;AACjD,eAAO,MAAM,mBAAmB,gBAAgB,CAAC;AACjD,eAAO,MAAM,qCAAqC,kCAAkC,CAAC;AACrF,eAAO,MAAM,iBAAiB,cAAc,CAAC;AAG7C,eAAO,MAAM,UAAU,eAAe,CAAC;AACvC,eAAO,MAAM,WAAW,gBAAgB,CAAC;AACzC,eAAO,MAAM,YAAY,eAAe,CAAC;AACzC,eAAO,MAAM,qBAAqB,aAAa,CAAC;AAChD,eAAO,MAAM,2BAA2B,wBAAwB,CAAC;AACjE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,4BAA4B,yBAAyB,CAAC;AACnE,eAAO,MAAM,sBAAsB,cAAc,CAAC;AAClD,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AACtD,eAAO,MAAM,0BAA0B,qBAAqB,CAAC;AAC7D,eAAO,MAAM,yBAAyB,eAAe,CAAC;AACtD,eAAO,MAAM,wBAAwB,mBAAmB,CAAC;AACzD,eAAO,MAAM,sBAAsB,iBAAiB,CAAC;AAGrD,eAAO,MAAM,mBAAmB,iBAAiB,CAAC;AAClD,eAAO,MAAM,uBAAuB,oBAAoB,CAAC;AACzD,eAAO,MAAM,2BAA2B,wBAAwB,CAAC"}

package/lib/core/common/Const.js

@@ -41,9 +41,9 @@ exports.CONSTRUCT_SIGNATURE_NAME = 'construct-signature'; // method name for con
 exports.UNKNOWN_PROJECT_NAME = exports.NAME_PREFIX + exports.UNKNOWN_NAME;
 exports.UNKNOWN_FILE_NAME = exports.NAME_PREFIX + exports.UNKNOWN_NAME;
 exports.UNKNOWN_NAMESPACE_NAME = exports.NAME_PREFIX + exports.UNKNOWN_NAME;
-exports.UNKNOWN_CLASS_NAME = ''; // temp for being compatible with existing type inference
-exports.UNKNOWN_FIELD_NAME = ''; // temp for being compatible with existing type inference
-exports.UNKNOWN_METHOD_NAME = ''; // temp for being compatible with existing type inference
+exports.UNKNOWN_CLASS_NAME = exports.NAME_PREFIX + exports.UNKNOWN_NAME;
+exports.UNKNOWN_FIELD_NAME = exports.NAME_PREFIX + exports.UNKNOWN_NAME;
+exports.UNKNOWN_METHOD_NAME = exports.NAME_PREFIX + exports.UNKNOWN_NAME;
 // IR const
 exports.TEMP_LOCAL_PREFIX = exports.NAME_PREFIX;
 exports.LEXICAL_ENV_NAME_PREFIX = exports.TEMP_LOCAL_PREFIX + 'closures';

package/lib/core/common/DummyMainCreater.d.ts

@@ -1,7 +1,6 @@
 import { Scene } from '../../Scene';
 import { ArkClass } from '../model/ArkClass';
 import { ArkMethod } from '../model/ArkMethod';
-import { CallGraph } from '../../callgraph/model/CallGraph';
 /**
 收集所有的 Ability 和 Component 类，构造一个虚拟函数进行类的实例生成、初始化、生命周期函数调用等操作，具体为：
 classA.%statInit()
@@ -66,7 +65,7 @@ export declare class DummyMainCreater {
      */
     constructor(scene: Scene, dummyMethodName?: string, classScope?: ArkClass[], extraInstanceAssign?: boolean);
     setEntryMethods(methods: ArkMethod[]): void;
-    createDummyMain(): void;
+    createDummyMain(): ArkMethod;
     private addStaticInit;
     private addClassInit;
     private addParamInit;
@@ -79,27 +78,9 @@ export declare class DummyMainCreater {
     private addMethodsInvokeStmt;
     private linkBlocks;
     private addCfg2Stmt;
-    getDummyMain(): ArkMethod;
+    getDummyMain(): ArkMethod | null;
     private getEntryMethodsFromComponents;
     private classInheritsAbility;
     private getMethodsFromAllAbilities;
-    /**
-     * Analysis the coverage of files, methods, stmts when starting from the dummy main method according to the given call graph.
-     * @param callGraph - the call graph create within ArkAnalyzer
-     * @param generated - whether to include the generated methods
-     */
-    analysisCoverage(callGraph: CallGraph, generated?: boolean): Coverage;
-}
-interface Coverage {
-    filesCoverage: number;
-    methodsCoverage: number;
-    stmtsCoverage: number;
-    totalFiles: number;
-    totalMethods: number;
-    totalStmts: number;
-    visitedFiles: number;
-    visitedMethods: number;
-    visitedStmts: number;
 }
-export {};
 //# sourceMappingURL=DummyMainCreater.d.ts.map

package/lib/core/common/DummyMainCreater.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DummyMainCreater.d.ts","sourceRoot":"","sources":["../../../src/core/common/DummyMainCreater.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAiBpC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAU/C,OAAO,EAAE,SAAS,EAAiB,MAAM,iCAAiC,CAAC;AAK3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,qBAAa,gBAAgB;IAEzB,OAAO,CAAC,YAAY,CAAmB;IACvC,OAAO,CAAC,YAAY,CAAkB;IAEtC,OAAO,CAAC,YAAY,CAAuC;IAE3D,OAAO,CAAC,UAAU,CAAuC;IAEzD,OAAO,CAAC,kBAAkB,CAAuC;IAEjE,OAAO,CAAC,aAAa,CAAmC;IACxD,OAAO,CAAC,SAAS,CAA8B;IAC/C,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,mBAAmB,CAAkB;IAC7C,OAAO,CAAC,UAAU,CAAC,CAAa;IAChC,OAAO,CAAC,eAAe,CAAC,CAAS;IAEjC;;;;;;OAMG;gBACS,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,EAAE,mBAAmB,GAAE,OAAe;IAW1G,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI;IAI3C,eAAe,IAAI,IAAI;IAwD9B,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,YAAY;IAoBpB,OAAO,CAAC,YAAY;IA0BpB,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,cAAc;IAmCtB,OAAO,CAAC,WAAW;IAsBnB,OAAO,CAAC,iCAAiC;IAkBzC,OAAO,CAAC,kBAAkB;IAuD1B,OAAO,CAAC,oBAAoB;IAuB5B,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,WAAW;IAYZ,YAAY,IAAI,SAAS;IAIhC,OAAO,CAAC,6BAA6B;IAoBrC,OAAO,CAAC,oBAAoB;IAmB5B,OAAO,CAAC,0BAA0B;IAiBlC;;;;OAIG;IACI,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,GAAE,OAAc,GAAG,QAAQ;CAIrF;AAED,UAAU,QAAQ;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACxB"}
+{"version":3,"file":"DummyMainCreater.d.ts","sourceRoot":"","sources":["../../../src/core/common/DummyMainCreater.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAiBpC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAc/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,qBAAa,gBAAgB;IAEzB,OAAO,CAAC,YAAY,CAAmB;IACvC,OAAO,CAAC,YAAY,CAAkB;IAEtC,OAAO,CAAC,YAAY,CAAuC;IAE3D,OAAO,CAAC,UAAU,CAAuC;IAEzD,OAAO,CAAC,kBAAkB,CAAuC;IAEjE,OAAO,CAAC,aAAa,CAAmC;IACxD,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,mBAAmB,CAAkB;IAC7C,OAAO,CAAC,UAAU,CAAC,CAAa;IAChC,OAAO,CAAC,eAAe,CAAC,CAAS;IAEjC;;;;;;OAMG;gBACS,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,QAAQ,EAAE,EAAE,mBAAmB,GAAE,OAAe;IAW1G,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI;IAI3C,eAAe,IAAI,SAAS;IAsDnC,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,YAAY;IAoBpB,OAAO,CAAC,YAAY;IA0BpB,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,cAAc;IAmCtB,OAAO,CAAC,WAAW;IAsBnB,OAAO,CAAC,iCAAiC;IAkBzC,OAAO,CAAC,kBAAkB;IAuD1B,OAAO,CAAC,oBAAoB;IAuB5B,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,WAAW;IAYZ,YAAY,IAAI,SAAS,GAAG,IAAI;IAIvC,OAAO,CAAC,6BAA6B;IAoBrC,OAAO,CAAC,oBAAoB;IAmB5B,OAAO,CAAC,0BAA0B;CAgBrC"}

package/lib/core/common/DummyMainCreater.js

@@ -99,7 +99,6 @@ class DummyMainCreater {
         this.pairedMethodGroups = new Map();
         // every declaring class of method in entryMethods have its instance local which is used to be the base of instance invoke expr
         this.classLocalMap = new Map();
-        this.dummyMain = new ArkMethod_1.ArkMethod();
         this.tempLocalIndex = 0;
         this.tempBlockIndex = 0;
         this.extraInstanceAssign = false;
@@ -129,24 +128,21 @@ class DummyMainCreater {
             this.scene.setFile(dummyMainFile);
         }
         // step2: find out or create dummy class
-        let dummyMainClass = dummyMainFile.getClassWithName(Const_1.DUMMY_CLASS);
+        const dummyMainClassSignature = new ArkSignature_1.ClassSignature(Const_1.DUMMY_CLASS, dummyMainFile.getFileSigID());
+        let dummyMainClass = dummyMainFile.getClass(dummyMainClassSignature);
         if (!dummyMainClass) {
-            dummyMainClass = new ArkClass_1.ArkClass();
-            dummyMainClass.setDeclaringArkFile(dummyMainFile);
-            const dummyMainClassSignature = new ArkSignature_1.ClassSignature(Const_1.DUMMY_CLASS, dummyMainFileSignature);
+            dummyMainClass = new ArkClass_1.ArkClass(dummyMainFile.getFileSigID());
             dummyMainClass.setSignature(dummyMainClassSignature);
             dummyMainFile.addArkClass(dummyMainClass);
         }
         // step3: create dummy method
-        this.dummyMain.setDeclaringArkClass(dummyMainClass);
         const methodSubSignature = ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName((_a = this.dummyMethodName) !== null && _a !== void 0 ? _a : Const_1.DUMMY_METHOD);
-        const methodSignature = new ArkSignature_1.MethodSignature(this.dummyMain.getDeclaringArkClass().getSignature(), methodSubSignature);
-        this.dummyMain.setImplementationSignature(methodSignature);
+        const methodSignature = new ArkSignature_1.MethodSignature(dummyMainClass.getClassSigID(), methodSubSignature);
+        this.dummyMain = new ArkMethod_1.ArkMethod(dummyMainClass.getClassSigID(), methodSignature);
         this.dummyMain.setImplOriginFullPosition(new Position_1.FullPosition(0, 0, 0, 0));
         this.dummyMain.setIsGeneratedFlag(true);
         (0, ArkMethodBuilder_1.checkAndUpdateMethod)(this.dummyMain, dummyMainClass);
         dummyMainClass.addMethod(this.dummyMain);
-        this.scene.addToMethodsMap(this.dummyMain);
         // step4: create instance local for each class
         for (const cls of this.entryClasses) {
             if (cls.isDefaultArkClass()) {
@@ -165,6 +161,7 @@ class DummyMainCreater {
         dummyCfg.setDeclaringMethod(this.dummyMain);
         this.createDummyMainCfg();
         this.addCfg2Stmt();
+        return this.dummyMain;
     }
     addStaticInit(firstBlock) {
         for (const method of this.scene.getStaticInitMethods()) {
@@ -382,7 +379,8 @@ class DummyMainCreater {
         }
     }
     getDummyMain() {
-        return this.dummyMain;
+        var _a;
+        return (_a = this.dummyMain) !== null && _a !== void 0 ? _a : null;
     }
     getEntryMethodsFromComponents() {
         this.scene
@@ -437,100 +435,5 @@ class DummyMainCreater {
             }
         });
     }
-    /**
-     * Analysis the coverage of files, methods, stmts when starting from the dummy main method according to the given call graph.
-     * @param callGraph - the call graph create within ArkAnalyzer
-     * @param generated - whether to include the generated methods
-     */
-    analysisCoverage(callGraph, generated = true) {
-        const analysis = new CoverageAnalysis(this.scene, this.dummyMain, callGraph, generated);
-        return analysis.calculateCoverage();
-    }
 }
 exports.DummyMainCreater = DummyMainCreater;
-class CoverageAnalysis {
-    constructor(scene, entry, callGraph, generated = true) {
-        this.visitedFiles = new Set();
-        this.visitedMethods = new Set();
-        this.visitedStmts = new Set();
-        this.scene = scene;
-        this.callGraph = callGraph;
-        this.entry = entry;
-        this.totalFiles = new Set(scene.getFiles());
-        this.totalMethods = new Set();
-        this.totalFiles.forEach(file => {
-            file.getClasses().forEach(cls => {
-                cls.getMethods(generated).forEach(method => {
-                    this.totalMethods.add(method);
-                });
-            });
-        });
-        // if entry method is dummy main, then it is also generated, but still need to include it
-        this.totalMethods.add(entry);
-        this.totalStmts = new Set();
-        this.totalMethods.forEach(method => {
-            var _a;
-            (_a = method
-                .getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts().forEach(stmt => {
-                this.totalStmts.add(stmt);
-            });
-        });
-    }
-    addVisitedFile(file) {
-        this.visitedFiles.add(file);
-    }
-    addVisitedMethod(method) {
-        this.visitedMethods.add(method);
-    }
-    addVisitedStmt(stmt) {
-        this.visitedStmts.add(stmt);
-    }
-    calculateCoverage() {
-        this.goThroughMethod(this.entry);
-        return {
-            filesCoverage: this.visitedFiles.size / this.totalFiles.size,
-            methodsCoverage: this.visitedMethods.size / this.totalMethods.size,
-            stmtsCoverage: this.visitedStmts.size / this.totalStmts.size,
-            totalFiles: this.totalFiles.size,
-            totalMethods: this.totalMethods.size,
-            totalStmts: this.totalStmts.size,
-            visitedFiles: this.visitedFiles.size,
-            visitedMethods: this.visitedMethods.size,
-            visitedStmts: this.visitedStmts.size,
-        };
-    }
-    /**
-     * Scan all invoke stmts of the given method, and go through all callee methods of this given method recursively.
-     * @param method
-     * @private
-     */
-    goThroughMethod(method) {
-        var _a;
-        const file = method.getDeclaringArkFile();
-        if (!this.totalFiles.has(file) || !this.totalMethods.has(method) || this.visitedMethods.has(method)) {
-            return;
-        }
-        this.addVisitedMethod(method);
-        this.addVisitedFile(file);
-        const stmts = (_a = method.getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts();
-        if (!stmts) {
-            return;
-        }
-        stmts.forEach(stmt => {
-            this.addVisitedStmt(stmt);
-        });
-        const node = this.callGraph.getCallGraphNodeByMethod(method.getSignature());
-        const outgoingEdges = node.getOutgoingEdges();
-        if (!outgoingEdges) {
-            return;
-        }
-        for (const outEdge of outgoingEdges) {
-            const calleeSig = outEdge.getDstNode().getMethod();
-            const callee = this.scene.getMethod(calleeSig);
-            if (!callee) {
-                continue;
-            }
-            this.goThroughMethod(callee);
-        }
-    }
-}

package/lib/core/common/IRInference.d.ts

@@ -4,11 +4,31 @@ import { Local } from '../base/Local';
 import { AbstractExpr, AbstractInvokeExpr, AliasTypeExpr, ArkInstanceInvokeExpr, ArkStaticInvokeExpr } from '../base/Expr';
 import { Scene } from '../../Scene';
 import { ArkClass } from '../model/ArkClass';
-import { ClassSignature, FieldSignature, FileSignature, MethodSignature } from '../model/ArkSignature';
+import { BaseSignature, ClassSignature, FileSignature, MethodSignature } from '../model/ArkSignature';
 import { AbstractFieldRef, AbstractRef, ArkInstanceFieldRef, ArkParameterRef } from '../base/Ref';
 import { Value } from '../base/Value';
 import { ArkFile } from '../model/ArkFile';
 import { KeyofTypeExpr, TypeQueryExpr } from '../base/TypeExpr';
+export interface GetterFieldResolution {
+    kind: 'getter';
+    value: AbstractInvokeExpr;
+}
+export interface FormalFieldResolution {
+    kind: 'formal';
+    formalId: number | null;
+    staticFlag: boolean;
+    type: Type;
+}
+export interface ParamsFieldResolution {
+    kind: 'params';
+    fieldName: string;
+    declaringOrID: BaseSignature | number;
+    type: Type;
+    staticFlag: boolean;
+    namespaceDeclared: boolean;
+}
+export type FieldSigResolution = FormalFieldResolution | ParamsFieldResolution | null;
+export type FieldPropertyResolution = GetterFieldResolution | FormalFieldResolution | ParamsFieldResolution | null;
 export declare class IRInference {
     static inferExportInfos(file: ArkFile): void;
     static inferImportInfos(file: ArkFile): void;
@@ -16,18 +36,39 @@ export declare class IRInference {
     static needInfer(fileSignature: FileSignature): boolean;
     static inferStaticInvokeExpr(expr: ArkStaticInvokeExpr, arkMethod: ArkMethod): AbstractInvokeExpr;
     static inferStaticInvokeExprByMethodName(methodName: string, arkMethod: ArkMethod, expr: AbstractInvokeExpr): AbstractInvokeExpr;
+    private static getNestedMethodInScopeChain;
     static inferInstanceInvokeExpr(expr: ArkInstanceInvokeExpr, arkMethod: ArkMethod): AbstractInvokeExpr;
     static inferFieldRef(ref: ArkInstanceFieldRef, arkMethod: ArkMethod): AbstractRef;
+    /**
+     * @internal 终态执行——formal 分支（graduateToFormal 快路径 / static 形态替换）与
+     * params 分支（static probe 转换 / 就地演进）的统一收敛。static params 转换前
+     * probe 字段空间：miss 时 params 携带值空间成员（ns 导出的 class/enum、字段式
+     * static 方法引用），无 formal 归宿——直接转换会走 clear+miss error 路由并
+     * 多占一个 slot；miss 落入 updateFieldSignature（就地演进，上下文保留）。
+     */
+    static applyFieldResolution(ref: AbstractFieldRef, res: FieldSigResolution): AbstractFieldRef;
+    /** params+static 分支的统一收敛（applyFieldResolution 与 updateRefSignature 共用）。 */
+    private static applyStaticParamsResolution;
     private static inferBase;
     static inferThisLocal(arkMethod: ArkMethod): Local | null;
     static inferArgs(expr: AbstractInvokeExpr, arkMethod: ArkMethod): void;
-    static inferArg(expr: AbstractInvokeExpr, argType: Type, paramType: Type, scene: Scene, realTypes: Type[]): void;
+    static inferArg(expr: AbstractInvokeExpr, argType: Type, paramType: Type, scene: Scene, realTypes?: Type[]): Type[] | undefined;
     static inferRightWithSdkType(leftType: Type, rightType: Type, ackClass: ArkClass): void;
     static inferArgTypeWithSdk(sdkType: ClassType, scene: Scene, argType: Type): void;
     private static inferInvokeExpr;
     static inferInvokeExprWithArray(methodName: string, expr: AbstractInvokeExpr, baseType: ArrayType, scene: Scene): AbstractInvokeExpr | null;
     static inferInvokeExprWithFunction(methodName: string, expr: AbstractInvokeExpr, baseType: FunctionType, scene: Scene): AbstractInvokeExpr | null;
     static inferInvokeExprWithDeclaredClass(expr: AbstractInvokeExpr, baseType: ClassType, methodName: string, scene: Scene): AbstractInvokeExpr | null;
+    /** Whether any declaration of the method matches the given args precisely (arg-count window + type match). */
+    private static methodMatchesArgs;
+    /** Bind the matched method onto the invoke expr (signature + generics + static conversion). */
+    private static invokeMatchedMethod;
+    /**
+     * Constructor-call handling across candidate classes: the first candidate owning a
+     * real construct-signature / call / constructor method wins; when none does, the
+     * legacy stub signature (over the base type) is kept.
+     */
+    private static invokeConstructorOnClasses;
     private static inferSpecialMethod;
     private static changePtrInvokeExpr;
     private static getRealTypes;
@@ -35,10 +76,21 @@ export declare class IRInference {
     private static processForEach;
     static inferLocal(base: Local, arkMethod: ArkMethod): void;
     static inferInstanceMember<T extends U, U extends Value>(baseType: Type, value: T, arkMethod: ArkMethod, inferMember: (declareType: Type, value: T, arkMethod: ArkMethod) => U | null): U | null;
-    static generateNewFieldSignature(ref: AbstractFieldRef, arkClass: ArkClass, baseType: Type): FieldSignature | null;
+    static generateNewFieldSignature(ref: AbstractFieldRef, arkClass: ArkClass, baseType: Type): FieldSigResolution;
     static updateRefSignature(baseType: Type, ref: AbstractFieldRef, arkMethod: ArkMethod): AbstractRef | null;
+    /** TupleType 前置：元组索引字段的类型直写（'0'/'1' → 对应元素类型）。 */
+    private static updateTupleElementType;
     private static genFieldSignature;
     private static getFieldSignature;
+    /**
+     * 声明类型路径的字段类型 unclear（如 interface 无标注字段的声明类型路径）时的值类型精化：
+     * base local 的初始化 stmt（declaringStmt）右值类型是 clear ClassType（对象字面量匿名类等）
+     * 时，取值类型上同名字段的定义点类型回填。fieldSig 保持声明锚定不变，仅经精度栅栏单向
+     * 精化 formal canonical 的类型（unclear → clear，与 AbstractFieldRef.route 的栅栏同语义）。
+     * base 是全局变量的使用点 local（无方法内定义 stmt）时，经 findDeclaredLocal 桥接文件级
+     * def local（顶层 const 的初始化在 default 方法中）。
+     */
+    private static refineFieldTypeFromBaseInitializer;
     private static findPropertyFormChildrenClass;
     private static repairType;
     static inferAnonymousClass(anon: ArkClass | null, declaredSignature: ClassSignature, set?: Set<string>): void;

package/lib/core/common/IRInference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"IRInference.d.ts","sourceRoot":"","sources":["../../../src/core/common/IRInference.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAIH,SAAS,EAET,SAAS,EAET,YAAY,EAQZ,IAAI,EAKP,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,qBAAqB,EAErB,mBAAmB,EACtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAG7C,OAAO,EAGH,cAAc,EACd,cAAc,EACd,aAAa,EACb,eAAe,EAElB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,EACH,gBAAgB,EAChB,WAAW,EAEX,mBAAmB,EACnB,eAAe,EAElB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAetC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAoB,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAMlF,qBAAa,WAAW;WACN,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAqBrC,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAMrC,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAqB9B,SAAS,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO;WAOhD,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;WAyC1F,iCAAiC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,GAAG,kBAAkB;WA0CzH,uBAAuB,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;WAmC9F,aAAa,CAAC,GAAG,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW;IAiBxF,OAAO,CAAC,MAAM,CAAC,SAAS;WAsBV,cAAc,CAAC,SAAS,EAAE,SAAS,GAAG,KAAK,GAAG,IAAI;WAyBlD,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAmB/D,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,IAAI;WA0BzG,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAiBhF,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,IAAI;IAmBxF,OAAO,CAAC,MAAM,CAAC,eAAe;WAmChB,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;WAYpI,2BAA2B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;WAiB1I,gCAAgC,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;IAsC1J,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAUjC,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAiClC,OAAO,CAAC,MAAM,CAAC,YAAY;WAsBb,sBAAsB,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,eAAe,GAAG,eAAe;IAavG,OAAO,CAAC,MAAM,CAAC,cAAc;WAsBf,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAgBnD,mBAAmB,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,EAC9C,WAAW,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,IAAI;WA+BzI,yBAAyB,CAAC,GAAG,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,GAAG,cAAc,GAAG,IAAI;WAuB3G,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW,GAAG,IAAI;IAuCjH,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAiChC,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAgChC,OAAO,CAAC,MAAM,CAAC,6BAA6B;IAoB5C,OAAO,CAAC,MAAM,CAAC,UAAU;WAeX,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,IAAI;IAoC/H,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAM/B,OAAO,CAAC,MAAM,CAAC,eAAe;WAiChB,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,GAAG,YAAY;WAiC3E,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WA2CnE,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAcnE,iBAAiB,CAAC,GAAG,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW;CAsB3F"}
+{"version":3,"file":"IRInference.d.ts","sourceRoot":"","sources":["../../../src/core/common/IRInference.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAIH,SAAS,EAET,SAAS,EAET,YAAY,EAQZ,IAAI,EAKP,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,aAAa,EAAE,qBAAqB,EAAoB,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAE7I,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAG7C,OAAO,EAEH,aAAa,EACb,cAAc,EAEd,aAAa,EACb,eAAe,EAIlB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAe,mBAAmB,EAAE,eAAe,EAAqB,MAAM,aAAa,CAAC;AAClI,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAgBtC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAoB,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAOlF,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,UAAU,EAAE,OAAO,CAAC;IACpB,IAAI,EAAE,IAAI,CAAC;CACd;AAED,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,aAAa,GAAG,MAAM,CAAC;IACtC,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,OAAO,CAAC;IACpB,iBAAiB,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,MAAM,kBAAkB,GAAG,qBAAqB,GAAG,qBAAqB,GAAG,IAAI,CAAC;AAEtF,MAAM,MAAM,uBAAuB,GAAG,qBAAqB,GAAG,qBAAqB,GAAG,qBAAqB,GAAG,IAAI,CAAC;AAKnH,qBAAa,WAAW;WACN,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAqBrC,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAMrC,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAqB9B,SAAS,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO;WAMhD,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;WAyC1F,iCAAiC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,GAAG,kBAAkB;IA4CvI,OAAO,CAAC,MAAM,CAAC,2BAA2B;WAa5B,uBAAuB,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;WAmC9F,aAAa,CAAC,GAAG,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW;IAexF;;;;;;OAMG;WACW,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,kBAAkB,GAAG,gBAAgB;IAwBpG,2EAA2E;IAC3E,OAAO,CAAC,MAAM,CAAC,2BAA2B;IAuB1C,OAAO,CAAC,MAAM,CAAC,SAAS;WAyBV,cAAc,CAAC,SAAS,EAAE,SAAS,GAAG,KAAK,GAAG,IAAI;WAyBlD,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAmB/D,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS;WAoCxH,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAoBhF,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,IAAI;IAmBxF,OAAO,CAAC,MAAM,CAAC,eAAe;WAoChB,wBAAwB,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;WAYpI,2BAA2B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;WAiB1I,gCAAgC,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,kBAAkB,GAAG,IAAI;IA0D1J,8GAA8G;IAC9G,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAYhC,+FAA+F;IAC/F,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAWlC;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,0BAA0B;IA4BzC,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAWjC,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAmClC,OAAO,CAAC,MAAM,CAAC,YAAY;WAwBb,sBAAsB,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,eAAe,GAAG,eAAe;IAqBvG,OAAO,CAAC,MAAM,CAAC,cAAc;WAsBf,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAgBnD,mBAAmB,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,KAAK,EAC1D,QAAQ,EAAE,IAAI,EACd,KAAK,EAAE,CAAC,EACR,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,KAAK,CAAC,GAAG,IAAI,GAC7E,CAAC,GAAG,IAAI;WA+BG,yBAAyB,CAAC,GAAG,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,GAAG,kBAAkB;WAwBxG,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW,GAAG,IAAI;IA8CjH,kDAAkD;IAClD,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAQrC,OAAO,CAAC,MAAM,CAAC,iBAAiB;IA6ChC,OAAO,CAAC,MAAM,CAAC,iBAAiB;IA0DhC;;;;;;;OAOG;IACH,OAAO,CAAC,MAAM,CAAC,kCAAkC;IA8CjD,OAAO,CAAC,MAAM,CAAC,6BAA6B;IAmB5C,OAAO,CAAC,MAAM,CAAC,UAAU;WAeX,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,IAAI;IAoC/H,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAM/B,OAAO,CAAC,MAAM,CAAC,eAAe;WA6ChB,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,GAAG,YAAY;WAiC3E,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WA2CnE,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAcnE,iBAAiB,CAAC,GAAG,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW;CAsB3F"}