arkanalyzer 1.0.20 → 1.0.21

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

@@ -1,22 +1,22 @@
-import { AbstractExpr } from '../base/Expr';
-import { Value } from '../base/Value';
-/**
- * Replace old use of a Expr inplace
- */
-export declare class ExprUseReplacer {
-    private oldUse;
-    private newUse;
-    constructor(oldUse: Value, newUse: Value);
-    caseExpr(expr: AbstractExpr): void;
-    private caseBinopExpr;
-    private caseInvokeExpr;
-    private caseNewArrayExpr;
-    private caseTypeOfExpr;
-    private caseInstanceOfExpr;
-    private caseCastExpr;
-    private caseAwaitExpr;
-    private caseDeleteExpr;
-    private caseYieldExpr;
-    private caseUnopExpr;
-}
+import { AbstractExpr } from '../base/Expr';
+import { Value } from '../base/Value';
+/**
+ * Replace old use of a Expr inplace
+ */
+export declare class ExprUseReplacer {
+    private oldUse;
+    private newUse;
+    constructor(oldUse: Value, newUse: Value);
+    caseExpr(expr: AbstractExpr): void;
+    private caseBinopExpr;
+    private caseInvokeExpr;
+    private caseNewArrayExpr;
+    private caseTypeOfExpr;
+    private caseInstanceOfExpr;
+    private caseCastExpr;
+    private caseAwaitExpr;
+    private caseDeleteExpr;
+    private caseYieldExpr;
+    private caseUnopExpr;
+}
 //# sourceMappingURL=ExprUseReplacer.d.ts.map

package/lib/core/common/ExprUseReplacer.js

@@ -1,124 +1,124 @@
-"use strict";
-/*
- * Copyright (c) 2024 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.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExprUseReplacer = void 0;
-const Expr_1 = require("../base/Expr");
-const Local_1 = require("../base/Local");
-const Ref_1 = require("../base/Ref");
-/**
- * Replace old use of a Expr inplace
- */
-class ExprUseReplacer {
-    constructor(oldUse, newUse) {
-        this.oldUse = oldUse;
-        this.newUse = newUse;
-    }
-    caseExpr(expr) {
-        if (expr instanceof Expr_1.AbstractBinopExpr) {
-            this.caseBinopExpr(expr);
-        }
-        else if (expr instanceof Expr_1.AbstractInvokeExpr) {
-            this.caseInvokeExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkNewArrayExpr) {
-            this.caseNewArrayExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkTypeOfExpr) {
-            this.caseTypeOfExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkInstanceOfExpr) {
-            this.caseInstanceOfExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkCastExpr) {
-            this.caseCastExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkAwaitExpr) {
-            this.caseAwaitExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkYieldExpr) {
-            this.caseYieldExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkDeleteExpr) {
-            this.caseDeleteExpr(expr);
-        }
-        else if (expr instanceof Expr_1.ArkUnopExpr) {
-            this.caseUnopExpr(expr);
-        }
-    }
-    caseBinopExpr(expr) {
-        if (expr.getOp1() === this.oldUse) {
-            expr.setOp1(this.newUse);
-        }
-        if (expr.getOp2() === this.oldUse) {
-            expr.setOp2(this.newUse);
-        }
-    }
-    caseInvokeExpr(expr) {
-        let args = expr.getArgs();
-        for (let i = 0; i < args.length; i++) {
-            if (args[i] === this.oldUse) {
-                args[i] = this.newUse;
-            }
-        }
-        if (expr instanceof Expr_1.ArkInstanceInvokeExpr && expr.getBase() === this.oldUse) {
-            expr.setBase(this.newUse);
-        }
-        else if (expr instanceof Expr_1.ArkPtrInvokeExpr && expr.getFuncPtrLocal() === this.oldUse && this.newUse instanceof Local_1.Local) {
-            expr.setFunPtrLocal(this.newUse);
-        }
-    }
-    caseNewArrayExpr(expr) {
-        if (expr.getSize() === this.oldUse) {
-            expr.setSize(this.newUse);
-        }
-    }
-    caseTypeOfExpr(expr) {
-        if (expr.getOp() === this.oldUse) {
-            expr.setOp(this.newUse);
-        }
-    }
-    caseInstanceOfExpr(expr) {
-        if (expr.getOp() === this.oldUse) {
-            expr.setOp(this.newUse);
-        }
-    }
-    caseCastExpr(expr) {
-        if (expr.getOp() === this.oldUse) {
-            expr.setOp(this.newUse);
-        }
-    }
-    caseAwaitExpr(expr) {
-        if (expr.getPromise() === this.oldUse) {
-            expr.setPromise(this.newUse);
-        }
-    }
-    caseDeleteExpr(expr) {
-        if (expr.getField() === this.oldUse && this.newUse instanceof Ref_1.AbstractFieldRef) {
-            expr.setField(this.newUse);
-        }
-    }
-    caseYieldExpr(expr) {
-        if (expr.getYieldValue() === this.oldUse) {
-            expr.setYieldValue(this.newUse);
-        }
-    }
-    caseUnopExpr(expr) {
-        if (expr.getOp() === this.oldUse) {
-            expr.setOp(this.newUse);
-        }
-    }
-}
-exports.ExprUseReplacer = ExprUseReplacer;
+"use strict";
+/*
+ * Copyright (c) 2024 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.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ExprUseReplacer = void 0;
+const Expr_1 = require("../base/Expr");
+const Local_1 = require("../base/Local");
+const Ref_1 = require("../base/Ref");
+/**
+ * Replace old use of a Expr inplace
+ */
+class ExprUseReplacer {
+    constructor(oldUse, newUse) {
+        this.oldUse = oldUse;
+        this.newUse = newUse;
+    }
+    caseExpr(expr) {
+        if (expr instanceof Expr_1.AbstractBinopExpr) {
+            this.caseBinopExpr(expr);
+        }
+        else if (expr instanceof Expr_1.AbstractInvokeExpr) {
+            this.caseInvokeExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkNewArrayExpr) {
+            this.caseNewArrayExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkTypeOfExpr) {
+            this.caseTypeOfExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkInstanceOfExpr) {
+            this.caseInstanceOfExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkCastExpr) {
+            this.caseCastExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkAwaitExpr) {
+            this.caseAwaitExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkYieldExpr) {
+            this.caseYieldExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkDeleteExpr) {
+            this.caseDeleteExpr(expr);
+        }
+        else if (expr instanceof Expr_1.ArkUnopExpr) {
+            this.caseUnopExpr(expr);
+        }
+    }
+    caseBinopExpr(expr) {
+        if (expr.getOp1() === this.oldUse) {
+            expr.setOp1(this.newUse);
+        }
+        if (expr.getOp2() === this.oldUse) {
+            expr.setOp2(this.newUse);
+        }
+    }
+    caseInvokeExpr(expr) {
+        let args = expr.getArgs();
+        for (let i = 0; i < args.length; i++) {
+            if (args[i] === this.oldUse) {
+                args[i] = this.newUse;
+            }
+        }
+        if (expr instanceof Expr_1.ArkInstanceInvokeExpr && expr.getBase() === this.oldUse) {
+            expr.setBase(this.newUse);
+        }
+        else if (expr instanceof Expr_1.ArkPtrInvokeExpr && expr.getFuncPtrLocal() === this.oldUse && this.newUse instanceof Local_1.Local) {
+            expr.setFunPtrLocal(this.newUse);
+        }
+    }
+    caseNewArrayExpr(expr) {
+        if (expr.getSize() === this.oldUse) {
+            expr.setSize(this.newUse);
+        }
+    }
+    caseTypeOfExpr(expr) {
+        if (expr.getOp() === this.oldUse) {
+            expr.setOp(this.newUse);
+        }
+    }
+    caseInstanceOfExpr(expr) {
+        if (expr.getOp() === this.oldUse) {
+            expr.setOp(this.newUse);
+        }
+    }
+    caseCastExpr(expr) {
+        if (expr.getOp() === this.oldUse) {
+            expr.setOp(this.newUse);
+        }
+    }
+    caseAwaitExpr(expr) {
+        if (expr.getPromise() === this.oldUse) {
+            expr.setPromise(this.newUse);
+        }
+    }
+    caseDeleteExpr(expr) {
+        if (expr.getField() === this.oldUse && this.newUse instanceof Ref_1.AbstractFieldRef) {
+            expr.setField(this.newUse);
+        }
+    }
+    caseYieldExpr(expr) {
+        if (expr.getYieldValue() === this.oldUse) {
+            expr.setYieldValue(this.newUse);
+        }
+    }
+    caseUnopExpr(expr) {
+        if (expr.getOp() === this.oldUse) {
+            expr.setOp(this.newUse);
+        }
+    }
+}
+exports.ExprUseReplacer = ExprUseReplacer;

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

@@ -1,37 +1,37 @@
-import { ArkMethod } from '../model/ArkMethod';
-import { ClassType, Type } from '../base/Type';
-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, MethodSignature } from '../model/ArkSignature';
-import { AbstractRef, ArkInstanceFieldRef } from '../base/Ref';
-import { ArkFile } from '../model/ArkFile';
-import { KeyofTypeExpr, TypeQueryExpr } from '../base/TypeExpr';
-export declare class IRInference {
-    private static inferExportInfos;
-    private static inferImportInfos;
-    static inferFile(file: ArkFile): void;
-    static inferStaticInvokeExpr(expr: ArkStaticInvokeExpr, arkMethod: ArkMethod): AbstractInvokeExpr;
-    private static inferStaticInvokeExprByMethodName;
-    private static generateNewMethodSignature;
-    static inferInstanceInvokeExpr(expr: ArkInstanceInvokeExpr, arkMethod: ArkMethod): AbstractInvokeExpr;
-    static inferFieldRef(ref: ArkInstanceFieldRef, arkMethod: ArkMethod): AbstractRef;
-    private static inferArgs;
-    private static inferArg;
-    static inferRightWithSdkType(leftType: Type, rightType: Type, ackClass: ArkClass): void;
-    static inferArgTypeWithSdk(sdkType: ClassType, scene: Scene, argType: Type): void;
-    private static inferInvokeExpr;
-    private static inferInvokeExprWithDeclaredClass;
-    private static getRealTypes;
-    static replaceMethodSignature(init: MethodSignature, declared: MethodSignature): MethodSignature;
-    private static processForEach;
-    static inferLocal(base: Local, arkMethod: ArkMethod): void;
-    private static generateNewFieldSignature;
-    static inferAnonymousClass(anon: ArkClass | null, declaredSignature: ClassSignature, set?: Set<string>): void;
-    private static assignAnonField;
-    static inferAliasTypeExpr(expr: AliasTypeExpr, arkMethod: ArkMethod): AbstractExpr;
-    static inferTypeQueryExpr(expr: TypeQueryExpr, arkMethod: ArkMethod): void;
-    static inferKeyofTypeExpr(expr: KeyofTypeExpr, arkMethod: ArkMethod): void;
-}
+import { ArkMethod } from '../model/ArkMethod';
+import { ClassType, Type } from '../base/Type';
+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, MethodSignature } from '../model/ArkSignature';
+import { AbstractRef, ArkInstanceFieldRef } from '../base/Ref';
+import { ArkFile } from '../model/ArkFile';
+import { KeyofTypeExpr, TypeQueryExpr } from '../base/TypeExpr';
+export declare class IRInference {
+    private static inferExportInfos;
+    private static inferImportInfos;
+    static inferFile(file: ArkFile): void;
+    static inferStaticInvokeExpr(expr: ArkStaticInvokeExpr, arkMethod: ArkMethod): AbstractInvokeExpr;
+    private static inferStaticInvokeExprByMethodName;
+    private static generateNewMethodSignature;
+    static inferInstanceInvokeExpr(expr: ArkInstanceInvokeExpr, arkMethod: ArkMethod): AbstractInvokeExpr;
+    static inferFieldRef(ref: ArkInstanceFieldRef, arkMethod: ArkMethod): AbstractRef;
+    private static inferArgs;
+    private static inferArg;
+    static inferRightWithSdkType(leftType: Type, rightType: Type, ackClass: ArkClass): void;
+    static inferArgTypeWithSdk(sdkType: ClassType, scene: Scene, argType: Type): void;
+    private static inferInvokeExpr;
+    private static inferInvokeExprWithDeclaredClass;
+    private static getRealTypes;
+    static replaceMethodSignature(init: MethodSignature, declared: MethodSignature): MethodSignature;
+    private static processForEach;
+    static inferLocal(base: Local, arkMethod: ArkMethod): void;
+    private static generateNewFieldSignature;
+    static inferAnonymousClass(anon: ArkClass | null, declaredSignature: ClassSignature, set?: Set<string>): void;
+    private static assignAnonField;
+    static inferAliasTypeExpr(expr: AliasTypeExpr, arkMethod: ArkMethod): AbstractExpr;
+    static inferTypeQueryExpr(expr: TypeQueryExpr, arkMethod: ArkMethod): void;
+    static inferKeyofTypeExpr(expr: KeyofTypeExpr, arkMethod: ArkMethod): void;
+}
 //# sourceMappingURL=IRInference.d.ts.map

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,EAKH,SAAS,EAIT,IAAI,EAIP,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAI7C,OAAO,EAGH,cAAc,EAEd,eAAe,EAElB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,EAEH,WAAW,EAEX,mBAAmB,EAGtB,MAAM,aAAa,CAAC;AAYrB,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAoB,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAKlF,qBAAa,WAAW;IAEpB,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAY/B,OAAO,CAAC,MAAM,CAAC,gBAAgB;WAMjB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAwB9B,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;IA8BxG,OAAO,CAAC,MAAM,CAAC,iCAAiC;IAmChD,OAAO,CAAC,MAAM,CAAC,0BAA0B;WAU3B,uBAAuB,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;WAsB9F,aAAa,CAAC,GAAG,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW;IAiBxF,OAAO,CAAC,MAAM,CAAC,SAAS;IAoBxB,OAAO,CAAC,MAAM,CAAC,QAAQ;WAqBT,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAehF,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,IAAI;IAgBxF,OAAO,CAAC,MAAM,CAAC,eAAe;IA0C9B,OAAO,CAAC,MAAM,CAAC,gCAAgC;IAgD/C,OAAO,CAAC,MAAM,CAAC,YAAY;WAYb,sBAAsB,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,eAAe,GAAG,eAAe;IAcvG,OAAO,CAAC,MAAM,CAAC,cAAc;WAmBf,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAsBjE,OAAO,CAAC,MAAM,CAAC,yBAAyB;WA4C1B,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,IAAI;IA+B/H,OAAO,CAAC,MAAM,CAAC,eAAe;WA+BhB,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;CAapF"}
+{"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,EAKH,SAAS,EAIT,IAAI,EAIP,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAI7C,OAAO,EAGH,cAAc,EAEd,eAAe,EAElB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,EAEH,WAAW,EAEX,mBAAmB,EAGtB,MAAM,aAAa,CAAC;AAYrB,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAoB,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAKlF,qBAAa,WAAW;IAEpB,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAY/B,OAAO,CAAC,MAAM,CAAC,gBAAgB;WAMjB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;WAwB9B,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;IA8BxG,OAAO,CAAC,MAAM,CAAC,iCAAiC;IAmChD,OAAO,CAAC,MAAM,CAAC,0BAA0B;WAU3B,uBAAuB,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,GAAG,kBAAkB;WAsB9F,aAAa,CAAC,GAAG,EAAE,mBAAmB,EAAE,SAAS,EAAE,SAAS,GAAG,WAAW;IAiBxF,OAAO,CAAC,MAAM,CAAC,SAAS;IAoBxB,OAAO,CAAC,MAAM,CAAC,QAAQ;WAqBT,qBAAqB,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAehF,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,IAAI;IAgBxF,OAAO,CAAC,MAAM,CAAC,eAAe;IA0C9B,OAAO,CAAC,MAAM,CAAC,gCAAgC;IAgD/C,OAAO,CAAC,MAAM,CAAC,YAAY;WAYb,sBAAsB,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,eAAe,GAAG,eAAe;IAcvG,OAAO,CAAC,MAAM,CAAC,cAAc;WAsBf,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAsBjE,OAAO,CAAC,MAAM,CAAC,yBAAyB;WA4C1B,mBAAmB,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,iBAAiB,EAAE,cAAc,EAAE,GAAG,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,IAAI;IA+B/H,OAAO,CAAC,MAAM,CAAC,eAAe;WA+BhB,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;CAapF"}