arkanalyzer 1.0.20 → 1.0.22

package/lib/core/common/StmtUseReplacer.js

@@ -1,108 +1,108 @@
-"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.StmtUseReplacer = void 0;
-const Expr_1 = require("../base/Expr");
-const Ref_1 = require("../base/Ref");
-const Stmt_1 = require("../base/Stmt");
-const ExprUseReplacer_1 = require("./ExprUseReplacer");
-const RefUseReplacer_1 = require("./RefUseReplacer");
-const IRUtils_1 = require("./IRUtils");
-/**
- * Replace old use(Value) of a Stmt inplace
- */
-class StmtUseReplacer {
-    constructor(oldUse, newUse) {
-        this.oldUse = oldUse;
-        this.newUse = newUse;
-    }
-    caseStmt(stmt) {
-        if (stmt instanceof Stmt_1.ArkAssignStmt) {
-            this.caseAssignStmt(stmt);
-        }
-        else if (stmt instanceof Stmt_1.ArkInvokeStmt) {
-            this.caseInvokeStmt(stmt);
-        }
-        else if (stmt instanceof Stmt_1.ArkReturnStmt) {
-            this.caseReturnStmt(stmt);
-        }
-        else if (stmt instanceof Stmt_1.ArkIfStmt) {
-            this.caseIfStmt(stmt);
-        }
-        else if (stmt instanceof Stmt_1.ArkThrowStmt) {
-            this.caseThrowStmt(stmt);
-        }
-    }
-    caseAssignStmt(stmt) {
-        const lValue = stmt.getLeftOp();
-        if (lValue instanceof Ref_1.AbstractRef) {
-            const refUseReplacer = new RefUseReplacer_1.RefUseReplacer(this.oldUse, this.newUse);
-            refUseReplacer.caseRef(lValue);
-        }
-        const rValue = stmt.getRightOp();
-        if (rValue === this.oldUse) {
-            IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
-            stmt.setRightOp(this.newUse);
-        }
-        else if (rValue instanceof Ref_1.AbstractRef) {
-            const refUseReplacer = new RefUseReplacer_1.RefUseReplacer(this.oldUse, this.newUse);
-            refUseReplacer.caseRef(rValue);
-        }
-        else if (rValue instanceof Expr_1.AbstractExpr) {
-            const exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
-            exprUseReplacer.caseExpr(rValue);
-        }
-    }
-    caseInvokeStmt(stmt) {
-        const invokeExpr = stmt.getInvokeExpr();
-        if (invokeExpr === this.oldUse) {
-            if (this.newUse instanceof Expr_1.AbstractInvokeExpr) {
-                IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
-                stmt.replaceInvokeExpr(this.newUse);
-            }
-        }
-        else {
-            let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
-            exprUseReplacer.caseExpr(stmt.getInvokeExpr());
-        }
-    }
-    caseReturnStmt(stmt) {
-        if (stmt.getOp() === this.oldUse) {
-            IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
-            stmt.setReturnValue(this.newUse);
-        }
-    }
-    caseIfStmt(stmt) {
-        const conditionExpr = stmt.getConditionExpr();
-        if (conditionExpr === this.oldUse) {
-            if (this.newUse instanceof Expr_1.ArkConditionExpr) {
-                IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
-                stmt.setConditionExpr(this.newUse);
-            }
-        }
-        else {
-            let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
-            exprUseReplacer.caseExpr(stmt.getConditionExpr());
-        }
-    }
-    caseThrowStmt(stmt) {
-        if (stmt.getOp() === this.oldUse) {
-            IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
-            stmt.setOp(this.newUse);
-        }
-    }
-}
-exports.StmtUseReplacer = StmtUseReplacer;
+"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.StmtUseReplacer = void 0;
+const Expr_1 = require("../base/Expr");
+const Ref_1 = require("../base/Ref");
+const Stmt_1 = require("../base/Stmt");
+const ExprUseReplacer_1 = require("./ExprUseReplacer");
+const RefUseReplacer_1 = require("./RefUseReplacer");
+const IRUtils_1 = require("./IRUtils");
+/**
+ * Replace old use(Value) of a Stmt inplace
+ */
+class StmtUseReplacer {
+    constructor(oldUse, newUse) {
+        this.oldUse = oldUse;
+        this.newUse = newUse;
+    }
+    caseStmt(stmt) {
+        if (stmt instanceof Stmt_1.ArkAssignStmt) {
+            this.caseAssignStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkInvokeStmt) {
+            this.caseInvokeStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkReturnStmt) {
+            this.caseReturnStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkIfStmt) {
+            this.caseIfStmt(stmt);
+        }
+        else if (stmt instanceof Stmt_1.ArkThrowStmt) {
+            this.caseThrowStmt(stmt);
+        }
+    }
+    caseAssignStmt(stmt) {
+        const lValue = stmt.getLeftOp();
+        if (lValue instanceof Ref_1.AbstractRef) {
+            const refUseReplacer = new RefUseReplacer_1.RefUseReplacer(this.oldUse, this.newUse);
+            refUseReplacer.caseRef(lValue);
+        }
+        const rValue = stmt.getRightOp();
+        if (rValue === this.oldUse) {
+            IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
+            stmt.setRightOp(this.newUse);
+        }
+        else if (rValue instanceof Ref_1.AbstractRef) {
+            const refUseReplacer = new RefUseReplacer_1.RefUseReplacer(this.oldUse, this.newUse);
+            refUseReplacer.caseRef(rValue);
+        }
+        else if (rValue instanceof Expr_1.AbstractExpr) {
+            const exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
+            exprUseReplacer.caseExpr(rValue);
+        }
+    }
+    caseInvokeStmt(stmt) {
+        const invokeExpr = stmt.getInvokeExpr();
+        if (invokeExpr === this.oldUse) {
+            if (this.newUse instanceof Expr_1.AbstractInvokeExpr) {
+                IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
+                stmt.replaceInvokeExpr(this.newUse);
+            }
+        }
+        else {
+            let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
+            exprUseReplacer.caseExpr(stmt.getInvokeExpr());
+        }
+    }
+    caseReturnStmt(stmt) {
+        if (stmt.getOp() === this.oldUse) {
+            IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
+            stmt.setReturnValue(this.newUse);
+        }
+    }
+    caseIfStmt(stmt) {
+        const conditionExpr = stmt.getConditionExpr();
+        if (conditionExpr === this.oldUse) {
+            if (this.newUse instanceof Expr_1.ArkConditionExpr) {
+                IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
+                stmt.setConditionExpr(this.newUse);
+            }
+        }
+        else {
+            let exprUseReplacer = new ExprUseReplacer_1.ExprUseReplacer(this.oldUse, this.newUse);
+            exprUseReplacer.caseExpr(stmt.getConditionExpr());
+        }
+    }
+    caseThrowStmt(stmt) {
+        if (stmt.getOp() === this.oldUse) {
+            IRUtils_1.IRUtils.adjustOperandOriginalPositions(stmt, this.oldUse, this.newUse);
+            stmt.setOp(this.newUse);
+        }
+    }
+}
+exports.StmtUseReplacer = StmtUseReplacer;

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

@@ -1,19 +1,21 @@
-export declare const CONSTRUCTOR_NAME = "constructor";
-export declare const SUPER_NAME = "super";
-export declare const THIS_NAME = "this";
-export declare const GLOBAL_THIS_NAME: string;
-export declare const DEFAULT = "default";
-export declare const ALL = "*";
-export declare const IMPORT = "import";
-export declare const DECLARE_KEYWORD = "DeclareKeyword";
-export declare const NULL_KEYWORD = "null";
-export declare const UNDEFINED_KEYWORD = "undefined";
-export declare const ANY_KEYWORD = "any";
-export declare const UNKNOWN_KEYWORD = "unknown";
-export declare const BOOLEAN_KEYWORD = "boolean";
-export declare const NUMBER_KEYWORD = "number";
-export declare const STRING_KEYWORD = "string";
-export declare const VOID_KEYWORD = "void";
-export declare const NEVER_KEYWORD = "never";
-export declare const TSCONFIG_JSON = "tsconfig.json";
+export declare const CONSTRUCTOR_NAME = "constructor";
+export declare const SUPER_NAME = "super";
+export declare const THIS_NAME = "this";
+export declare const GLOBAL_THIS_NAME: string;
+export declare const DEFAULT = "default";
+export declare const ALL = "*";
+export declare const IMPORT = "import";
+export declare const PROMISE = "Promise";
+export declare const FUNCTION = "Function";
+export declare const DECLARE_KEYWORD = "DeclareKeyword";
+export declare const NULL_KEYWORD = "null";
+export declare const UNDEFINED_KEYWORD = "undefined";
+export declare const ANY_KEYWORD = "any";
+export declare const UNKNOWN_KEYWORD = "unknown";
+export declare const BOOLEAN_KEYWORD = "boolean";
+export declare const NUMBER_KEYWORD = "number";
+export declare const STRING_KEYWORD = "string";
+export declare const VOID_KEYWORD = "void";
+export declare const NEVER_KEYWORD = "never";
+export declare const TSCONFIG_JSON = "tsconfig.json";
 //# sourceMappingURL=TSConst.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TSConst.d.ts","sourceRoot":"","sources":["../../../src/core/common/TSConst.ts"],"names":[],"mappings":"AAeA,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,UAAU,UAAU,CAAC;AAClC,eAAO,MAAM,SAAS,SAAS,CAAC;AAChC,eAAO,MAAM,gBAAgB,EAAE,MAAqB,CAAA;AAEpD,eAAO,MAAM,OAAO,YAAY,CAAC;AAEjC,eAAO,MAAM,GAAG,MAAM,CAAC;AAEvB,eAAO,MAAM,MAAM,WAAW,CAAC;AAG/B,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAChD,eAAO,MAAM,YAAY,SAAS,CAAC;AACnC,eAAO,MAAM,iBAAiB,cAAc,CAAC;AAC7C,eAAO,MAAM,WAAW,QAAQ,CAAC;AACjC,eAAO,MAAM,eAAe,YAAY,CAAC;AACzC,eAAO,MAAM,eAAe,YAAY,CAAC;AACzC,eAAO,MAAM,cAAc,WAAW,CAAC;AACvC,eAAO,MAAM,cAAc,WAAW,CAAC;AACvC,eAAO,MAAM,YAAY,SAAS,CAAC;AACnC,eAAO,MAAM,aAAa,UAAU,CAAC;AACrC,eAAO,MAAM,aAAa,kBAAkB,CAAC"}
+{"version":3,"file":"TSConst.d.ts","sourceRoot":"","sources":["../../../src/core/common/TSConst.ts"],"names":[],"mappings":"AAeA,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAC9C,eAAO,MAAM,UAAU,UAAU,CAAC;AAClC,eAAO,MAAM,SAAS,SAAS,CAAC;AAChC,eAAO,MAAM,gBAAgB,EAAE,MAAqB,CAAA;AAEpD,eAAO,MAAM,OAAO,YAAY,CAAC;AAEjC,eAAO,MAAM,GAAG,MAAM,CAAC;AAEvB,eAAO,MAAM,MAAM,WAAW,CAAC;AAC/B,eAAO,MAAM,OAAO,YAAY,CAAC;AACjC,eAAO,MAAM,QAAQ,aAAa,CAAC;AAGnC,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAChD,eAAO,MAAM,YAAY,SAAS,CAAC;AACnC,eAAO,MAAM,iBAAiB,cAAc,CAAC;AAC7C,eAAO,MAAM,WAAW,QAAQ,CAAC;AACjC,eAAO,MAAM,eAAe,YAAY,CAAC;AACzC,eAAO,MAAM,eAAe,YAAY,CAAC;AACzC,eAAO,MAAM,cAAc,WAAW,CAAC;AACvC,eAAO,MAAM,cAAc,WAAW,CAAC;AACvC,eAAO,MAAM,YAAY,SAAS,CAAC;AACnC,eAAO,MAAM,aAAa,UAAU,CAAC;AACrC,eAAO,MAAM,aAAa,kBAAkB,CAAC"}

package/lib/core/common/TSConst.js

@@ -1,36 +1,38 @@
-"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.TSCONFIG_JSON = exports.NEVER_KEYWORD = exports.VOID_KEYWORD = exports.STRING_KEYWORD = exports.NUMBER_KEYWORD = exports.BOOLEAN_KEYWORD = exports.UNKNOWN_KEYWORD = exports.ANY_KEYWORD = exports.UNDEFINED_KEYWORD = exports.NULL_KEYWORD = exports.DECLARE_KEYWORD = exports.IMPORT = exports.ALL = exports.DEFAULT = exports.GLOBAL_THIS_NAME = exports.THIS_NAME = exports.SUPER_NAME = exports.CONSTRUCTOR_NAME = void 0;
-exports.CONSTRUCTOR_NAME = 'constructor';
-exports.SUPER_NAME = 'super';
-exports.THIS_NAME = 'this';
-exports.GLOBAL_THIS_NAME = 'globalThis';
-exports.DEFAULT = 'default';
-exports.ALL = '*';
-exports.IMPORT = 'import';
-// ast const
-exports.DECLARE_KEYWORD = 'DeclareKeyword';
-exports.NULL_KEYWORD = 'null';
-exports.UNDEFINED_KEYWORD = 'undefined';
-exports.ANY_KEYWORD = 'any';
-exports.UNKNOWN_KEYWORD = 'unknown';
-exports.BOOLEAN_KEYWORD = 'boolean';
-exports.NUMBER_KEYWORD = 'number';
-exports.STRING_KEYWORD = 'string';
-exports.VOID_KEYWORD = 'void';
-exports.NEVER_KEYWORD = 'never';
-exports.TSCONFIG_JSON = 'tsconfig.json';
+"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.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TSCONFIG_JSON = exports.NEVER_KEYWORD = exports.VOID_KEYWORD = exports.STRING_KEYWORD = exports.NUMBER_KEYWORD = exports.BOOLEAN_KEYWORD = exports.UNKNOWN_KEYWORD = exports.ANY_KEYWORD = exports.UNDEFINED_KEYWORD = exports.NULL_KEYWORD = exports.DECLARE_KEYWORD = exports.FUNCTION = exports.PROMISE = exports.IMPORT = exports.ALL = exports.DEFAULT = exports.GLOBAL_THIS_NAME = exports.THIS_NAME = exports.SUPER_NAME = exports.CONSTRUCTOR_NAME = void 0;
+exports.CONSTRUCTOR_NAME = 'constructor';
+exports.SUPER_NAME = 'super';
+exports.THIS_NAME = 'this';
+exports.GLOBAL_THIS_NAME = 'globalThis';
+exports.DEFAULT = 'default';
+exports.ALL = '*';
+exports.IMPORT = 'import';
+exports.PROMISE = 'Promise';
+exports.FUNCTION = 'Function';
+// ast const
+exports.DECLARE_KEYWORD = 'DeclareKeyword';
+exports.NULL_KEYWORD = 'null';
+exports.UNDEFINED_KEYWORD = 'undefined';
+exports.ANY_KEYWORD = 'any';
+exports.UNKNOWN_KEYWORD = 'unknown';
+exports.BOOLEAN_KEYWORD = 'boolean';
+exports.NUMBER_KEYWORD = 'number';
+exports.STRING_KEYWORD = 'string';
+exports.VOID_KEYWORD = 'void';
+exports.NEVER_KEYWORD = 'never';
+exports.TSCONFIG_JSON = 'tsconfig.json';

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

@@ -1,103 +1,106 @@
-import { Stmt } from '../base/Stmt';
-import { FunctionType, GenericType, Type, UnclearReferenceType } from '../base/Type';
-import { ArkMethod } from '../model/ArkMethod';
-import { ArkExport } from '../model/ArkExport';
-import { ArkClass } from '../model/ArkClass';
-import { ArkField } from '../model/ArkField';
-import { Value } from '../base/Value';
-import { MethodSignature } from '../model/ArkSignature';
-import { MethodParameter } from '../model/builder/ArkMethodBuilder';
-export declare class TypeInference {
-    static inferTypeInArkField(arkField: ArkField): void;
-    /**
-     * Infer type for a given unclear type.
-     * It returns an array with 2 items, original object and original type.
-     * The original object is null if there is no object, or it failed to find the object.
-     * The original type is null if failed to infer the type.
-     * @param leftOpType
-     * @param declaringArkClass
-     * @param [rightType]
-     * @returns
-     */
-    static inferUnclearedType(leftOpType: Type, declaringArkClass: ArkClass, rightType?: Type): Type | null | undefined;
-    static inferTypeInMethod(arkMethod: ArkMethod): void;
-    /**
-     * @Deprecated
-     * @param arkMethod
-     */
-    static inferSimpleTypeInMethod(arkMethod: ArkMethod): void;
-    /**
-     * infer type for Exprs in stmt which invoke method.
-     * such as ArkInstanceInvokeExpr ArkStaticInvokeExpr ArkNewExpr
-     */
-    private static resolveExprsInStmt;
-    /**
-     * infer value type for TypeExprs in stmt which specify the type such as TypeQueryExpr
-     */
-    private static resolveTypeExprsInStmt;
-    /**
-     * infer type for fieldRefs in stmt.
-     */
-    private static resolveFieldRefsInStmt;
-    private static processRef;
-    static parseArkExport2Type(arkExport: ArkExport | undefined | null): Type | null;
-    /**
-     * infer and pass type for ArkAssignStmt right and left
-     * @param stmt
-     * @param arkMethod
-     */
-    static resolveArkAssignStmt(stmt: Stmt, arkMethod: ArkMethod): void;
-    private static setValueType;
-    static isUnclearType(type: Type | null | undefined): boolean;
-    private static hasUnclearReferenceType;
-    static inferSimpleTypeInStmt(stmt: Stmt): void;
-    static buildTypeFromStr(typeStr: string): Type;
-    static inferValueType(value: Value, arkMethod: ArkMethod): Type | null;
-    private static inferParameterType;
-    static inferSignatureReturnType(oldSignature: MethodSignature, arkMethod: ArkMethod): void;
-    static inferGenericType(types: GenericType[] | undefined, arkClass: ArkClass): void;
-    /**
-     * Infer type for a given {@link UnclearReferenceType} type.
-     * It returns original type.
-     * The original type is null if it failed to infer the type.
-     * @param urType
-     * @param arkClass
-     * @returns
-     */
-    static inferUnclearRefType(urType: UnclearReferenceType, arkClass: ArkClass): Type | null;
-    /**
-     * Find out the original object and type for a given unclear reference type name.
-     * It returns original type.
-     * The original type is null if it failed to infer the type.
-     * @param refName
-     * @param arkClass
-     * @returns
-     */
-    static inferUnclearRefName(refName: string, arkClass: ArkClass): Type | null;
-    /**
-     * Find out the original object and type for a given base type and the field name.
-     * It returns an array with 2 items, original object and original type.
-     * The original object is null if there is no object, or it failed to find the object.
-     * The original type is null if it failed to infer the type.
-     * @param baseType
-     * @param fieldName
-     * @param declareClass
-     * @returns
-     */
-    static inferFieldType(baseType: Type, fieldName: string, declareClass: ArkClass): [any, Type] | null;
-    /**
-     * Find out the original object and type for a given base name.
-     * It returns original type.
-     * The original type is null if failed to infer the type.
-     * @param baseName
-     * @param arkClass
-     * @returns
-     */
-    static inferBaseType(baseName: string, arkClass: ArkClass): Type | null;
-    static inferRealGenericTypes(realTypes: Type[] | undefined, arkClass: ArkClass): void;
-    static inferDynamicImportType(from: string, arkClass: ArkClass): Type | null;
-    static replaceTypeWithReal(type: Type, realTypes?: Type[]): Type;
-    static replaceAliasType(type: Type): Type;
-    static inferFunctionType(argType: FunctionType, params: MethodParameter[] | undefined, realTypes: Type[] | undefined): void;
-}
+import { Stmt } from '../base/Stmt';
+import { FunctionType, GenericType, Type, UnclearReferenceType } from '../base/Type';
+import { ArkMethod } from '../model/ArkMethod';
+import { ArkExport } from '../model/ArkExport';
+import { ArkClass } from '../model/ArkClass';
+import { ArkField } from '../model/ArkField';
+import { Value } from '../base/Value';
+import { MethodSignature, MethodSubSignature } from '../model/ArkSignature';
+export declare class TypeInference {
+    static inferTypeInArkField(arkField: ArkField): void;
+    /**
+     * Infer type for a given unclear type.
+     * It returns an array with 2 items, original object and original type.
+     * The original object is null if there is no object, or it failed to find the object.
+     * The original type is null if failed to infer the type.
+     * @param leftOpType
+     * @param declaringArkClass
+     * @param [rightType]
+     * @returns
+     */
+    static inferUnclearedType(leftOpType: Type, declaringArkClass: ArkClass, rightType?: Type): Type | null | undefined;
+    static inferTypeInMethod(arkMethod: ArkMethod): void;
+    private static resolveStmt;
+    /**
+     * @Deprecated
+     * @param arkMethod
+     */
+    static inferSimpleTypeInMethod(arkMethod: ArkMethod): void;
+    /**
+     * infer type for Exprs in stmt which invoke method.
+     * such as ArkInstanceInvokeExpr ArkStaticInvokeExpr ArkNewExpr
+     */
+    private static resolveExprsInStmt;
+    /**
+     * infer value type for TypeExprs in stmt which specify the type such as TypeQueryExpr
+     */
+    private static resolveTypeExprsInStmt;
+    /**
+     * infer type for fieldRefs in stmt.
+     */
+    private static resolveFieldRefsInStmt;
+    private static processRef;
+    static parseArkExport2Type(arkExport: ArkExport | undefined | null): Type | null;
+    /**
+     * infer and pass type for ArkAssignStmt right and left
+     * @param stmt
+     * @param arkMethod
+     */
+    static resolveArkAssignStmt(stmt: Stmt, arkMethod: ArkMethod): void;
+    private static resolveLeftOp;
+    private static setValueType;
+    static isUnclearType(type: Type | null | undefined): boolean;
+    private static hasUnclearReferenceType;
+    static inferSimpleTypeInStmt(stmt: Stmt): void;
+    static buildTypeFromStr(typeStr: string): Type;
+    static inferValueType(value: Value, arkMethod: ArkMethod): Type | null;
+    private static inferParameterType;
+    static inferSignatureReturnType(oldSignature: MethodSignature, arkMethod: ArkMethod): void;
+    private static inferReturnType;
+    static inferGenericType(types: GenericType[] | undefined, arkClass: ArkClass): void;
+    /**
+     * Infer type for a given {@link UnclearReferenceType} type.
+     * It returns original type.
+     * The original type is null if it failed to infer the type.
+     * @param urType
+     * @param arkClass
+     * @returns
+     */
+    static inferUnclearRefType(urType: UnclearReferenceType, arkClass: ArkClass): Type | null;
+    /**
+     * Find out the original object and type for a given unclear reference type name.
+     * It returns original type.
+     * The original type is null if it failed to infer the type.
+     * @param refName
+     * @param arkClass
+     * @returns
+     */
+    static inferUnclearRefName(refName: string, arkClass: ArkClass): Type | null;
+    /**
+     * Find out the original object and type for a given base type and the field name.
+     * It returns an array with 2 items, original object and original type.
+     * The original object is null if there is no object, or it failed to find the object.
+     * The original type is null if it failed to infer the type.
+     * @param baseType
+     * @param fieldName
+     * @param declareClass
+     * @returns
+     */
+    static inferFieldType(baseType: Type, fieldName: string, declareClass: ArkClass): [any, Type] | null;
+    /**
+     * Find out the original object and type for a given base name.
+     * It returns original type.
+     * The original type is null if failed to infer the type.
+     * @param baseName
+     * @param arkClass
+     * @returns
+     */
+    static inferBaseType(baseName: string, arkClass: ArkClass): Type | null;
+    static inferRealGenericTypes(realTypes: Type[] | undefined, arkClass: ArkClass): void;
+    static inferDynamicImportType(from: string, arkClass: ArkClass): Type | null;
+    static replaceTypeWithReal(type: Type, realTypes?: Type[]): Type;
+    static replaceAliasType(type: Type): Type;
+    static inferFunctionType(argType: FunctionType, paramSubSignature: MethodSubSignature | undefined, realTypes: Type[] | undefined): void;
+    private static resolveArkReturnStmt;
+}
 //# sourceMappingURL=TypeInference.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TypeInference.d.ts","sourceRoot":"","sources":["../../../src/core/common/TypeInference.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAyC,IAAI,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAOH,YAAY,EACZ,WAAW,EAMX,IAAI,EACJ,oBAAoB,EAKvB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAMtC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAIxD,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAOpE,qBAAa,aAAa;WAER,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAuC3D;;;;;;;;;OASG;WACW,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS;WAkC5G,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IA8B3D;;;OAGG;WACW,uBAAuB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IAcjE;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAYjC;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAMrC;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAarC,OAAO,CAAC,MAAM,CAAC,UAAU;WAgBX,mBAAmB,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI;IAsBvF;;;;OAIG;WACW,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IA0C1E,OAAO,CAAC,MAAM,CAAC,YAAY;WAQb,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO;IAuBnE,OAAO,CAAC,MAAM,CAAC,uBAAuB;WAiBxB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;WAcvC,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;WA2BvC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI;IAU7E,OAAO,CAAC,MAAM,CAAC,kBAAkB;WAYnB,wBAAwB,CAAC,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;WAyCnF,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,QAAQ;IAmBnF;;;;;;;OAOG;WACW,mBAAmB,CAAC,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;IAUhG;;;;;;;OAOG;WACW,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;IAoCnF;;;;;;;;;OASG;WACW,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI;IAgD3G;;;;;;;OAOG;WACW,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAoBhE,qBAAqB,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAgB9E,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAUrE,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI;WA4CzD,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;WASlC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,SAAS,GAAG,IAAI;CAiBrI"}
+{"version":3,"file":"TypeInference.d.ts","sourceRoot":"","sources":["../../../src/core/common/TypeInference.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAwD,IAAI,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,EAOH,YAAY,EACZ,WAAW,EAOX,IAAI,EACJ,oBAAoB,EAKvB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAMtC,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAsB,MAAM,uBAAuB,CAAC;AAahG,qBAAa,aAAa;WAER,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAoC3D;;;;;;;;;OASG;WACW,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS;WAkC5G,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IA4B3D,OAAO,CAAC,MAAM,CAAC,WAAW;IAY1B;;;OAGG;WACW,uBAAuB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI;IAcjE;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAYjC;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAMrC;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAarC,OAAO,CAAC,MAAM,CAAC,UAAU;WAgBX,mBAAmB,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI;IAsBvF;;;;OAIG;WACW,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAmB1E,OAAO,CAAC,MAAM,CAAC,aAAa;IAiC5B,OAAO,CAAC,MAAM,CAAC,YAAY;WAQb,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO;IAwBnE,OAAO,CAAC,MAAM,CAAC,uBAAuB;WAiBxB,qBAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;WAcvC,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;WA2BvC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI;IAU7E,OAAO,CAAC,MAAM,CAAC,kBAAkB;WAgBnB,wBAAwB,CAAC,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI;IAgCjG,OAAO,CAAC,MAAM,CAAC,eAAe;WAwBhB,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,QAAQ;IAmBnF;;;;;;;OAOG;WACW,mBAAmB,CAAC,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;IAUhG;;;;;;;OAOG;WACW,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;IAoCnF;;;;;;;;;OASG;WACW,cAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI;IA+C3G;;;;;;;OAOG;WACW,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAoBhE,qBAAqB,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI;WAgB9E,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,GAAG,IAAI;WAUrE,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI;WA4CzD,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;WASlC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,GAAG,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,SAAS,GAAG,IAAI;IAuB9I,OAAO,CAAC,MAAM,CAAC,oBAAoB;CAatC"}