arkanalyzer 1.0.20 → 1.0.21

package/lib/core/base/TypeExpr.d.ts

@@ -1,72 +1,72 @@
-import { Value } from './Value';
-import { ArkMethod } from '../model/ArkMethod';
-import { Type } from './Type';
-import { ArkBaseModel } from '../model/ArkBaseModel';
-/**
- * abstract type expr represents the type operations of types or values.
- * AbstractTypeExpr is different from AbstractExpr.
- * @category core/base/typeExpr
- * @extends Type
- * @example
- *  ```typescript
- *  let a = number;
- *  type A = typeof a;
- *  let b: keyof typeof a;
- *  ```
- */
-export declare abstract class AbstractTypeExpr extends Type {
-    abstract getUses(): Value[];
-    abstract getType(): Type;
-    inferType(arkMethod: ArkMethod): void;
-}
-/**
- * typeQuery type expr represents the get type of value with typeof.
- * @category core/base/typeExpr
- * @extends AbstractTypeExpr
- * @example
- ```typescript
- // opValue is a and type A is number
- let a = number;
- type A = typeof a;
- ```
- */
-export declare class TypeQueryExpr extends AbstractTypeExpr {
-    private opValue;
-    private genericTypes?;
-    constructor(opValue: Value | ArkBaseModel, generateTypes?: Type[]);
-    setOpValue(opValue: Value | ArkBaseModel): void;
-    getOpValue(): Value | ArkBaseModel;
-    setGenerateTypes(types: Type[]): void;
-    getGenerateTypes(): Type[] | undefined;
-    addGenericType(gType: Type): void;
-    getUses(): Value[];
-    getType(): Type;
-    getTypeString(): string;
-    inferType(arkMethod: ArkMethod): void;
-}
-/**
- * keyof type expr represents the type operator with keyof.
- * It should be an internal expr.
- * the final type should be transferred to union type, unless it cannot find out all types within the union type.
- * @category core/base/typeExpr
- * @extends AbstractTypeExpr
- * @example
- ```typescript
- // opType is {a: 1, b: 2} and type of A is KeyofTypeExpr, which can be transferred to union type {'a', 'b'}
- type A = keyof {a: 1, b: 2};
-
- // opType is number and type of B is KeyofTypeExpr, which can be transferred to union type "toString" | "toFixed" | "toExponential" | ...
- type B = keyof number;
- ```
- */
-export declare class KeyofTypeExpr extends AbstractTypeExpr {
-    private opType;
-    constructor(opType: Type);
-    getOpType(): Type;
-    setOpType(opType: Type): void;
-    getUses(): Value[];
-    getType(): Type;
-    getTypeString(): string;
-    inferType(arkMethod: ArkMethod): void;
-}
+import { Value } from './Value';
+import { ArkMethod } from '../model/ArkMethod';
+import { Type } from './Type';
+import { ArkBaseModel } from '../model/ArkBaseModel';
+/**
+ * abstract type expr represents the type operations of types or values.
+ * AbstractTypeExpr is different from AbstractExpr.
+ * @category core/base/typeExpr
+ * @extends Type
+ * @example
+ *  ```typescript
+ *  let a = number;
+ *  type A = typeof a;
+ *  let b: keyof typeof a;
+ *  ```
+ */
+export declare abstract class AbstractTypeExpr extends Type {
+    abstract getUses(): Value[];
+    abstract getType(): Type;
+    inferType(arkMethod: ArkMethod): void;
+}
+/**
+ * typeQuery type expr represents the get type of value with typeof.
+ * @category core/base/typeExpr
+ * @extends AbstractTypeExpr
+ * @example
+ ```typescript
+ // opValue is a and type A is number
+ let a = number;
+ type A = typeof a;
+ ```
+ */
+export declare class TypeQueryExpr extends AbstractTypeExpr {
+    private opValue;
+    private genericTypes?;
+    constructor(opValue: Value | ArkBaseModel, generateTypes?: Type[]);
+    setOpValue(opValue: Value | ArkBaseModel): void;
+    getOpValue(): Value | ArkBaseModel;
+    setGenerateTypes(types: Type[]): void;
+    getGenerateTypes(): Type[] | undefined;
+    addGenericType(gType: Type): void;
+    getUses(): Value[];
+    getType(): Type;
+    getTypeString(): string;
+    inferType(arkMethod: ArkMethod): void;
+}
+/**
+ * keyof type expr represents the type operator with keyof.
+ * It should be an internal expr.
+ * the final type should be transferred to union type, unless it cannot find out all types within the union type.
+ * @category core/base/typeExpr
+ * @extends AbstractTypeExpr
+ * @example
+ ```typescript
+ // opType is {a: 1, b: 2} and type of A is KeyofTypeExpr, which can be transferred to union type {'a', 'b'}
+ type A = keyof {a: 1, b: 2};
+
+ // opType is number and type of B is KeyofTypeExpr, which can be transferred to union type "toString" | "toFixed" | "toExponential" | ...
+ type B = keyof number;
+ ```
+ */
+export declare class KeyofTypeExpr extends AbstractTypeExpr {
+    private opType;
+    constructor(opType: Type);
+    getOpType(): Type;
+    setOpType(opType: Type): void;
+    getUses(): Value[];
+    getType(): Type;
+    getTypeString(): string;
+    inferType(arkMethod: ArkMethod): void;
+}
 //# sourceMappingURL=TypeExpr.d.ts.map

package/lib/core/base/TypeExpr.js

@@ -1,155 +1,155 @@
-"use strict";
-/*
- * Copyright (c) 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.KeyofTypeExpr = exports.TypeQueryExpr = exports.AbstractTypeExpr = void 0;
-const ArkMethod_1 = require("../model/ArkMethod");
-const Type_1 = require("./Type");
-const IRInference_1 = require("../common/IRInference");
-const ArkBaseModel_1 = require("../model/ArkBaseModel");
-const ModelUtils_1 = require("../common/ModelUtils");
-const ArkClass_1 = require("../model/ArkClass");
-/**
- * abstract type expr represents the type operations of types or values.
- * AbstractTypeExpr is different from AbstractExpr.
- * @category core/base/typeExpr
- * @extends Type
- * @example
- *  ```typescript
- *  let a = number;
- *  type A = typeof a;
- *  let b: keyof typeof a;
- *  ```
- */
-class AbstractTypeExpr extends Type_1.Type {
-    inferType(arkMethod) {
-        return;
-    }
-}
-exports.AbstractTypeExpr = AbstractTypeExpr;
-/**
- * typeQuery type expr represents the get type of value with typeof.
- * @category core/base/typeExpr
- * @extends AbstractTypeExpr
- * @example
- ```typescript
- // opValue is a and type A is number
- let a = number;
- type A = typeof a;
- ```
- */
-class TypeQueryExpr extends AbstractTypeExpr {
-    constructor(opValue, generateTypes) {
-        super();
-        this.opValue = opValue;
-        this.genericTypes = generateTypes;
-    }
-    setOpValue(opValue) {
-        this.opValue = opValue;
-    }
-    getOpValue() {
-        return this.opValue;
-    }
-    setGenerateTypes(types) {
-        this.genericTypes = types;
-    }
-    getGenerateTypes() {
-        return this.genericTypes;
-    }
-    addGenericType(gType) {
-        if (!this.genericTypes) {
-            this.genericTypes = [];
-        }
-        this.genericTypes.push(gType);
-    }
-    getUses() {
-        const opValue = this.getOpValue();
-        if (opValue instanceof ArkBaseModel_1.ArkBaseModel) {
-            return [];
-        }
-        let uses = [];
-        uses.push(opValue);
-        uses.push(...opValue.getUses());
-        return uses;
-    }
-    getType() {
-        var _a;
-        const opValue = this.getOpValue();
-        if (opValue instanceof ArkBaseModel_1.ArkBaseModel) {
-            return (_a = ModelUtils_1.ModelUtils.parseArkBaseModel2Type(opValue)) !== null && _a !== void 0 ? _a : Type_1.UnknownType.getInstance();
-        }
-        return opValue.getType();
-    }
-    getTypeString() {
-        const opValue = this.getOpValue();
-        const gTypes = this.getGenerateTypes();
-        const genericStr = gTypes && gTypes.length > 0 ? `<${gTypes.join(',')}>` : '';
-        if (opValue instanceof ArkClass_1.ArkClass || opValue instanceof ArkMethod_1.ArkMethod) {
-            return `typeof ${opValue.getSignature().toString()}${genericStr}`;
-        }
-        return `typeof ${opValue.toString()}${genericStr}`;
-    }
-    inferType(arkMethod) {
-        IRInference_1.IRInference.inferTypeQueryExpr(this, arkMethod);
-    }
-}
-exports.TypeQueryExpr = TypeQueryExpr;
-/**
- * keyof type expr represents the type operator with keyof.
- * It should be an internal expr.
- * the final type should be transferred to union type, unless it cannot find out all types within the union type.
- * @category core/base/typeExpr
- * @extends AbstractTypeExpr
- * @example
- ```typescript
- // opType is {a: 1, b: 2} and type of A is KeyofTypeExpr, which can be transferred to union type {'a', 'b'}
- type A = keyof {a: 1, b: 2};
-
- // opType is number and type of B is KeyofTypeExpr, which can be transferred to union type "toString" | "toFixed" | "toExponential" | ...
- type B = keyof number;
- ```
- */
-class KeyofTypeExpr extends AbstractTypeExpr {
-    constructor(opType) {
-        super();
-        this.opType = opType;
-    }
-    getOpType() {
-        return this.opType;
-    }
-    setOpType(opType) {
-        this.opType = opType;
-    }
-    getUses() {
-        let uses = [];
-        if (this.getOpType() instanceof TypeQueryExpr) {
-            uses.push(...this.getOpType().getUses());
-        }
-        return uses;
-    }
-    getType() {
-        return this;
-    }
-    getTypeString() {
-        if (this.getOpType() instanceof Type_1.UnionType || this.getOpType() instanceof Type_1.IntersectionType) {
-            return `keyof (${this.getOpType().toString()})`;
-        }
-        return `keyof ${this.getOpType().toString()}`;
-    }
-    inferType(arkMethod) {
-        IRInference_1.IRInference.inferKeyofTypeExpr(this, arkMethod);
-    }
-}
-exports.KeyofTypeExpr = KeyofTypeExpr;
+"use strict";
+/*
+ * Copyright (c) 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.KeyofTypeExpr = exports.TypeQueryExpr = exports.AbstractTypeExpr = void 0;
+const ArkMethod_1 = require("../model/ArkMethod");
+const Type_1 = require("./Type");
+const IRInference_1 = require("../common/IRInference");
+const ArkBaseModel_1 = require("../model/ArkBaseModel");
+const ModelUtils_1 = require("../common/ModelUtils");
+const ArkClass_1 = require("../model/ArkClass");
+/**
+ * abstract type expr represents the type operations of types or values.
+ * AbstractTypeExpr is different from AbstractExpr.
+ * @category core/base/typeExpr
+ * @extends Type
+ * @example
+ *  ```typescript
+ *  let a = number;
+ *  type A = typeof a;
+ *  let b: keyof typeof a;
+ *  ```
+ */
+class AbstractTypeExpr extends Type_1.Type {
+    inferType(arkMethod) {
+        return;
+    }
+}
+exports.AbstractTypeExpr = AbstractTypeExpr;
+/**
+ * typeQuery type expr represents the get type of value with typeof.
+ * @category core/base/typeExpr
+ * @extends AbstractTypeExpr
+ * @example
+ ```typescript
+ // opValue is a and type A is number
+ let a = number;
+ type A = typeof a;
+ ```
+ */
+class TypeQueryExpr extends AbstractTypeExpr {
+    constructor(opValue, generateTypes) {
+        super();
+        this.opValue = opValue;
+        this.genericTypes = generateTypes;
+    }
+    setOpValue(opValue) {
+        this.opValue = opValue;
+    }
+    getOpValue() {
+        return this.opValue;
+    }
+    setGenerateTypes(types) {
+        this.genericTypes = types;
+    }
+    getGenerateTypes() {
+        return this.genericTypes;
+    }
+    addGenericType(gType) {
+        if (!this.genericTypes) {
+            this.genericTypes = [];
+        }
+        this.genericTypes.push(gType);
+    }
+    getUses() {
+        const opValue = this.getOpValue();
+        if (opValue instanceof ArkBaseModel_1.ArkBaseModel) {
+            return [];
+        }
+        let uses = [];
+        uses.push(opValue);
+        uses.push(...opValue.getUses());
+        return uses;
+    }
+    getType() {
+        var _a;
+        const opValue = this.getOpValue();
+        if (opValue instanceof ArkBaseModel_1.ArkBaseModel) {
+            return (_a = ModelUtils_1.ModelUtils.parseArkBaseModel2Type(opValue)) !== null && _a !== void 0 ? _a : Type_1.UnknownType.getInstance();
+        }
+        return opValue.getType();
+    }
+    getTypeString() {
+        const opValue = this.getOpValue();
+        const gTypes = this.getGenerateTypes();
+        const genericStr = gTypes && gTypes.length > 0 ? `<${gTypes.join(',')}>` : '';
+        if (opValue instanceof ArkClass_1.ArkClass || opValue instanceof ArkMethod_1.ArkMethod) {
+            return `typeof ${opValue.getSignature().toString()}${genericStr}`;
+        }
+        return `typeof ${opValue.toString()}${genericStr}`;
+    }
+    inferType(arkMethod) {
+        IRInference_1.IRInference.inferTypeQueryExpr(this, arkMethod);
+    }
+}
+exports.TypeQueryExpr = TypeQueryExpr;
+/**
+ * keyof type expr represents the type operator with keyof.
+ * It should be an internal expr.
+ * the final type should be transferred to union type, unless it cannot find out all types within the union type.
+ * @category core/base/typeExpr
+ * @extends AbstractTypeExpr
+ * @example
+ ```typescript
+ // opType is {a: 1, b: 2} and type of A is KeyofTypeExpr, which can be transferred to union type {'a', 'b'}
+ type A = keyof {a: 1, b: 2};
+
+ // opType is number and type of B is KeyofTypeExpr, which can be transferred to union type "toString" | "toFixed" | "toExponential" | ...
+ type B = keyof number;
+ ```
+ */
+class KeyofTypeExpr extends AbstractTypeExpr {
+    constructor(opType) {
+        super();
+        this.opType = opType;
+    }
+    getOpType() {
+        return this.opType;
+    }
+    setOpType(opType) {
+        this.opType = opType;
+    }
+    getUses() {
+        let uses = [];
+        if (this.getOpType() instanceof TypeQueryExpr) {
+            uses.push(...this.getOpType().getUses());
+        }
+        return uses;
+    }
+    getType() {
+        return this;
+    }
+    getTypeString() {
+        if (this.getOpType() instanceof Type_1.UnionType || this.getOpType() instanceof Type_1.IntersectionType) {
+            return `keyof (${this.getOpType().toString()})`;
+        }
+        return `keyof ${this.getOpType().toString()}`;
+    }
+    inferType(arkMethod) {
+        IRInference_1.IRInference.inferKeyofTypeExpr(this, arkMethod);
+    }
+}
+exports.KeyofTypeExpr = KeyofTypeExpr;

package/lib/core/base/Value.d.ts

@@ -1,33 +1,33 @@
-import { Type } from './Type';
-/**
- * @category core/base
- */
-export interface Value {
-    /**
-     * Return a list of values which are contained in this {@link Value}.
-     * Value is a core interface in ArkAnalyzer, which may represent any value or expression.
-     * @returns An **array** of values used by this value.
-    */
-    getUses(): Value[];
-    /**
-     * Return the type of this value. The interface is encapsulated in {@link Value}.
-     * The `Type` is defined in type.ts, such as **Any**, **Unknown**, **TypeParameter**,
-     * **UnclearReference**, **Primitive**, **Number**, **String**, etc.
-     * @returns The type of this value.
-     * @example
-     * 1. In the declaration statement, determine the left-value type and right-value type.
-
-    ```typescript
-    let leftValue:Value;
-    let rightValue:Value;
-    ...
-    if (leftValue.getType() instanceof UnknownType &&
-        !(rightValue.getType() instanceof UnknownType) &&
-        !(rightValue.getType() instanceof UndefinedType)) {
-        ...
-    }
-    ```
-     */
-    getType(): Type;
-}
+import { Type } from './Type';
+/**
+ * @category core/base
+ */
+export interface Value {
+    /**
+     * Return a list of values which are contained in this {@link Value}.
+     * Value is a core interface in ArkAnalyzer, which may represent any value or expression.
+     * @returns An **array** of values used by this value.
+    */
+    getUses(): Value[];
+    /**
+     * Return the type of this value. The interface is encapsulated in {@link Value}.
+     * The `Type` is defined in type.ts, such as **Any**, **Unknown**, **TypeParameter**,
+     * **UnclearReference**, **Primitive**, **Number**, **String**, etc.
+     * @returns The type of this value.
+     * @example
+     * 1. In the declaration statement, determine the left-value type and right-value type.
+
+    ```typescript
+    let leftValue:Value;
+    let rightValue:Value;
+    ...
+    if (leftValue.getType() instanceof UnknownType &&
+        !(rightValue.getType() instanceof UnknownType) &&
+        !(rightValue.getType() instanceof UndefinedType)) {
+        ...
+    }
+    ```
+     */
+    getType(): Type;
+}
 //# sourceMappingURL=Value.d.ts.map

package/lib/core/base/Value.js

@@ -1,16 +1,16 @@
-"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 });
+"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 });

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

@@ -1,15 +1,15 @@
-export declare enum ArkErrorCode {
-    OK = 0,
-    CLASS_INSTANCE_FIELD_UNDEFINDED = -1,
-    BB_MORE_THAN_ONE_BRANCH_RET_STMT = -2,
-    BB_BRANCH_RET_STMT_NOT_AT_END = -3,
-    CFG_NOT_FOUND_START_BLOCK = -4,
-    CFG_HAS_UNREACHABLE_BLOCK = -5,
-    METHOD_SIGNATURE_UNDEFINED = -6,
-    METHOD_SIGNATURE_LINE_UNMATCHED = -7
-}
-export interface ArkError {
-    errCode: ArkErrorCode;
-    errMsg?: string;
-}
+export declare enum ArkErrorCode {
+    OK = 0,
+    CLASS_INSTANCE_FIELD_UNDEFINDED = -1,
+    BB_MORE_THAN_ONE_BRANCH_RET_STMT = -2,
+    BB_BRANCH_RET_STMT_NOT_AT_END = -3,
+    CFG_NOT_FOUND_START_BLOCK = -4,
+    CFG_HAS_UNREACHABLE_BLOCK = -5,
+    METHOD_SIGNATURE_UNDEFINED = -6,
+    METHOD_SIGNATURE_LINE_UNMATCHED = -7
+}
+export interface ArkError {
+    errCode: ArkErrorCode;
+    errMsg?: string;
+}
 //# sourceMappingURL=ArkError.d.ts.map

package/lib/core/common/ArkError.js

@@ -1,28 +1,28 @@
-"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.ArkErrorCode = void 0;
-var ArkErrorCode;
-(function (ArkErrorCode) {
-    ArkErrorCode[ArkErrorCode["OK"] = 0] = "OK";
-    ArkErrorCode[ArkErrorCode["CLASS_INSTANCE_FIELD_UNDEFINDED"] = -1] = "CLASS_INSTANCE_FIELD_UNDEFINDED";
-    ArkErrorCode[ArkErrorCode["BB_MORE_THAN_ONE_BRANCH_RET_STMT"] = -2] = "BB_MORE_THAN_ONE_BRANCH_RET_STMT";
-    ArkErrorCode[ArkErrorCode["BB_BRANCH_RET_STMT_NOT_AT_END"] = -3] = "BB_BRANCH_RET_STMT_NOT_AT_END";
-    ArkErrorCode[ArkErrorCode["CFG_NOT_FOUND_START_BLOCK"] = -4] = "CFG_NOT_FOUND_START_BLOCK";
-    ArkErrorCode[ArkErrorCode["CFG_HAS_UNREACHABLE_BLOCK"] = -5] = "CFG_HAS_UNREACHABLE_BLOCK";
-    ArkErrorCode[ArkErrorCode["METHOD_SIGNATURE_UNDEFINED"] = -6] = "METHOD_SIGNATURE_UNDEFINED";
-    ArkErrorCode[ArkErrorCode["METHOD_SIGNATURE_LINE_UNMATCHED"] = -7] = "METHOD_SIGNATURE_LINE_UNMATCHED";
-})(ArkErrorCode = exports.ArkErrorCode || (exports.ArkErrorCode = {}));
+"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.ArkErrorCode = void 0;
+var ArkErrorCode;
+(function (ArkErrorCode) {
+    ArkErrorCode[ArkErrorCode["OK"] = 0] = "OK";
+    ArkErrorCode[ArkErrorCode["CLASS_INSTANCE_FIELD_UNDEFINDED"] = -1] = "CLASS_INSTANCE_FIELD_UNDEFINDED";
+    ArkErrorCode[ArkErrorCode["BB_MORE_THAN_ONE_BRANCH_RET_STMT"] = -2] = "BB_MORE_THAN_ONE_BRANCH_RET_STMT";
+    ArkErrorCode[ArkErrorCode["BB_BRANCH_RET_STMT_NOT_AT_END"] = -3] = "BB_BRANCH_RET_STMT_NOT_AT_END";
+    ArkErrorCode[ArkErrorCode["CFG_NOT_FOUND_START_BLOCK"] = -4] = "CFG_NOT_FOUND_START_BLOCK";
+    ArkErrorCode[ArkErrorCode["CFG_HAS_UNREACHABLE_BLOCK"] = -5] = "CFG_HAS_UNREACHABLE_BLOCK";
+    ArkErrorCode[ArkErrorCode["METHOD_SIGNATURE_UNDEFINED"] = -6] = "METHOD_SIGNATURE_UNDEFINED";
+    ArkErrorCode[ArkErrorCode["METHOD_SIGNATURE_LINE_UNMATCHED"] = -7] = "METHOD_SIGNATURE_LINE_UNMATCHED";
+})(ArkErrorCode = exports.ArkErrorCode || (exports.ArkErrorCode = {}));