arkanalyzer 1.0.19 → 1.0.21

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,19 @@
-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 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.js

@@ -1,36 +1,36 @@
-"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 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';

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

@@ -1,103 +1,103 @@
-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 } 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;
+}
 //# sourceMappingURL=TypeInference.d.ts.map