arkanalyzer 1.0.6 → 1.0.8

package/lib/core/base/Stmt.js

@@ -14,22 +14,30 @@
  * limitations under the License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ArkThrowStmt = exports.ArkSwitchStmt = exports.ArkReturnVoidStmt = exports.ArkReturnStmt = exports.ArkIfStmt = exports.ArkInvokeStmt = exports.ArkAssignStmt = exports.OriginalStmt = exports.Stmt = void 0;
+exports.ArkThrowStmt = exports.ArkSwitchStmt = exports.ArkReturnVoidStmt = exports.ArkReturnStmt = exports.ArkIfStmt = exports.ArkInvokeStmt = exports.ArkAssignStmt = exports.Stmt = void 0;
 const StmtUseReplacer_1 = require("../common/StmtUseReplacer");
 const Expr_1 = require("./Expr");
 const Ref_1 = require("./Ref");
 const Position_1 = require("./Position");
+const ArkMetadata_1 = require("../model/ArkMetadata");
 /**
  * @category core/base/stmt
  */
 class Stmt {
     constructor() {
-        this.text = '';
-        this.position = Position_1.LineColPosition.DEFAULT;
-        this.cfg = null;
-        this.operandOriginalPositions = null; // operandOriginalPositions correspond with
+        this.originalPosition = Position_1.LineColPosition.DEFAULT;
+    }
+    getMetadata(kind) {
+        var _a;
+        return (_a = this.metadata) === null || _a === void 0 ? void 0 : _a.getMetadata(kind);
+    }
+    setMetadata(kind, value) {
+        var _a;
+        if (!this.metadata) {
+            this.metadata = new ArkMetadata_1.ArkMetadata();
+        }
+        return (_a = this.metadata) === null || _a === void 0 ? void 0 : _a.setMetadata(kind, value);
     }
-    // def and uses one by one
     /** Return a list of values which are uesd in this statement */
     getUses() {
         return [];
@@ -38,7 +46,23 @@ class Stmt {
         let stmtUseReplacer = new StmtUseReplacer_1.StmtUseReplacer(oldUse, newUse);
         stmtUseReplacer.caseStmt(this);
     }
-    /** Return the def which is uesd in this statement */
+    /**
+     * Return the definition which is uesd in this statement. Generally, the definition is the left value of `=` in 3AC.
+     * For example, the definition in 3AC of `value = parameter0: @project-1/sample-1.ets: AnonymousClass-0` is `value`,
+     * and the definition in `$temp0 = staticinvoke <@_ProjectName/_FileName: xxx.create()>()` is `\$temp0`.
+     * @returns The definition in 3AC (may be a **null**).
+     * @example
+     * 1. get the def in stmt.
+
+    ```typescript
+    for (const block of this.blocks) {
+    for (const stmt of block.getStmts()) {
+        const defValue = stmt.getDef();
+        ...
+        }
+    }
+    ```
+     */
     getDef() {
         return null;
     }
@@ -51,6 +75,27 @@ class Stmt {
         defAndUses.push(...this.getUses());
         return defAndUses;
     }
+    /**
+     * Get the CFG (i.e., control flow graph) of an {@link ArkBody} in which the statement is.
+     * A CFG contains a set of basic blocks and statements corresponding to each basic block.
+     * Note that, "source code" and "three-address" are two types of {@link Stmt} in ArkAnalyzer.
+     * Source code {@link Stmt} represents the statement of ets/ts source code, while three-address code {@link Stmt} represents the statement after it has been converted into three-address code.
+     * Since the source code {@link Stmt} does not save its CFG reference, it returns **null**,
+     * while the `getCfg()` of the third address code {@link Stmt} will return its CFG reference.
+     * @returns The CFG (i.e., control flow graph) of an {@link ArkBody} in which the statement is.
+     * @example
+     * 1. get the ArkFile based on stmt.
+
+    ```typescript
+    const arkFile = stmt.getCfg()?.getDeclaringMethod().getDeclaringArkFile();
+    ```
+
+    2. get the ArkMethod based on stmt.
+
+    ```typescript
+    let sourceMethod: ArkMethod = stmt.getCfg()?.getDeclaringMethod();
+    ```
+     */
     getCfg() {
         return this.cfg;
     }
@@ -76,6 +121,17 @@ class Stmt {
         }
         return false;
     }
+    /**
+     * Returns the method's invocation expression (including method signature and its arguments)
+     * in the current statement. An **undefined** will be returned if there is no method used in this statement.
+     * @returns  the method's invocation expression from the statement. An **undefined** will be returned if there is no method can be found in this statement.
+     * @example
+     * 1. get invoke expr based on stmt.
+
+    ```typescript
+    let invoke = stmt.getInvokeExpr();
+    ```
+     */
     getInvokeExpr() {
         for (const use of this.getUses()) {
             if (use instanceof Expr_1.AbstractInvokeExpr) {
@@ -84,6 +140,18 @@ class Stmt {
         }
         return undefined;
     }
+    /**
+     * Returns an array of expressions in the statement.
+     * @returns An array of expressions in the statement.
+     * @example
+     * 1. Traverse expression of statement.
+
+    ```typescript
+    for (const expr of stmt.getExprs()) {
+        ...
+    }
+    ```
+     */
     getExprs() {
         let exprs = [];
         for (const use of this.getUses()) {
@@ -137,23 +205,40 @@ class Stmt {
         }
         return undefined;
     }
-    setPositionInfo(position) {
-        this.position = position;
+    setOriginPositionInfo(originPositionInfo) {
+        this.originalPosition = originPositionInfo;
     }
-    getPositionInfo() {
-        return this.position;
+    /**
+     * Returns the original position of the statement.
+     * The position consists of two parts: line number and column number.
+     * In the source file, the former (i.e., line number) indicates which line the statement is in,
+     * and the latter (i.e., column number) indicates the position of the statement in the line.
+     * The position is described as `LineColPosition(lineNo,colNum)` in ArkAnalyzer,
+     * and its default value is LineColPosition(-1,-1).
+     * @returns The original location of the statement.
+     * @example
+     * 1. Get the stmt position info to make some condition judgements.
+    ```typescript
+    for (const stmt of stmts) {
+        if (stmt.getOriginPositionInfo().getLineNo() === -1) {
+            stmt.setOriginPositionInfo(originalStmt.getOriginPositionInfo());
+            this.stmtToOriginalStmt.set(stmt, originalStmt);
+        }
     }
+    ```
+     */
     getOriginPositionInfo() {
-        var _a, _b, _c, _d, _e;
-        const originPositionInfo = (_e = (_d = (_c = (_b = (_a = this.cfg) === null || _a === void 0 ? void 0 : _a.getDeclaringMethod()) === null || _b === void 0 ? void 0 : _b.getBody()) === null || _c === void 0 ? void 0 : _c.getStmtToOriginalStmt()) === null || _d === void 0 ? void 0 : _d.get(this)) === null || _e === void 0 ? void 0 : _e.position;
-        if (!originPositionInfo) {
-            return Position_1.LineColPosition.DEFAULT;
-        }
-        return originPositionInfo;
+        return this.originalPosition;
     }
     setText(text) {
         this.text = text;
     }
+    setOriginalText(originalText) {
+        this.originalText = originalText;
+    }
+    getOriginalText() {
+        return this.originalText;
+    }
     setOperandOriginalPositions(operandOriginalPositions) {
         this.operandOriginalPositions = operandOriginalPositions;
     }
@@ -180,29 +265,35 @@ class Stmt {
     ;
 }
 exports.Stmt = Stmt;
-class OriginalStmt extends Stmt {
-    constructor(text, position) {
-        super();
-        this.text = text;
-        this.position = position;
-    }
-    toString() {
-        return this.text;
-    }
-}
-exports.OriginalStmt = OriginalStmt;
 class ArkAssignStmt extends Stmt {
     constructor(leftOp, rightOp) {
         super();
         this.leftOp = leftOp;
         this.rightOp = rightOp;
     }
+    /**
+     * Returns the left operand of the assigning statement.
+     * @returns The left operand of the assigning statement.
+     * @example
+     * 1. If the statement is `a=b;`, the right operand is `a`; if the statement is `dd = cc + 5;`, the right operand is `cc`.
+     */
     getLeftOp() {
         return this.leftOp;
     }
     setLeftOp(newLeftOp) {
         this.leftOp = newLeftOp;
     }
+    /**
+     * Returns the right operand of the assigning statement.
+     * @returns The right operand of the assigning statement.
+     * @example
+     * 1. If the statement is `a=b;`, the right operand is `b`; if the statement is `dd = cc + 5;`, the right operand is `cc + 5`.
+     * 2. Get the rightOp from stmt.
+
+    ```typescript
+    const rightOp = stmt.getRightOp();
+    ```
+     */
     getRightOp() {
         return this.rightOp;
     }
@@ -253,6 +344,18 @@ class ArkIfStmt extends Stmt {
         super();
         this.conditionExpr = conditionExpr;
     }
+    /**
+     * The condition expression consisit of two values as operands and one binary operator as operator.
+     * The operator can indicate the relation between the two values, e.g., `<`, `<=`,`>`, `>=`, `==`, `!=`, `===`, `!==`.
+     * @returns a condition expression.
+     * @example
+     * 1. When a statement is `if (a > b)`, the operands are `a` and `b`, the operator is `<`. Therefore, the condition expression is `a > b`.
+     * 2. get a conditon expr from a condition statement.
+
+    ```typescript
+    let expr = (this.original as ArkIfStmt).getConditionExprExpr();
+    ```
+     */
     getConditionExprExpr() {
         return this.conditionExpr;
     }
@@ -319,6 +422,10 @@ class ArkSwitchStmt extends Stmt {
         this.key = key;
         this.cases = cases;
     }
+    /**
+     * Returns the key in a switch statement.
+     * @returns The key in a switch statement.
+     */
     getKey() {
         return this.key;
     }

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

@@ -1,7 +1,7 @@
 import { ClassSignature, LocalSignature, MethodSignature, NamespaceSignature } from '../model/ArkSignature';
 import { ArkExport, ExportType } from '../model/ArkExport';
-import { Decorator } from './Decorator';
 import { LineColPosition } from './Position';
+import { ModifierType } from '../model/ArkBaseModel';
 /**
  * @category core/base/type
  */
@@ -154,6 +154,10 @@ export declare class ArrayType extends Type {
     private baseType;
     private dimension;
     constructor(baseType: Type, dimension: number);
+    /**
+     * Returns the base type of this array, such as `Any`, `Unknown`, `TypeParameter`, etc.
+     * @returns The base type of array.
+     */
     getBaseType(): Type;
     setBaseType(newType: Type): void;
     getDimension(): number;
@@ -169,13 +173,18 @@ export declare class AliasType extends Type implements ArkExport {
     private originalType;
     private name;
     private signature;
+    protected modifiers?: number;
     constructor(name: string, originalType: Type, signature: LocalSignature);
     getName(): string;
     setOriginalType(type: Type): void;
     getOriginalType(): Type;
     toString(): string;
     getExportType(): ExportType;
-    getModifiers(): Set<string | Decorator>;
+    getModifiers(): number;
+    containsModifier(modifierType: ModifierType): boolean;
+    setModifiers(modifiers: number): void;
+    addModifier(modifier: ModifierType | number): void;
+    removeModifier(modifier: ModifierType): void;
     getSignature(): LocalSignature;
 }
 export declare class GenericType extends Type {

package/lib/core/base/Type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/core/base/Type.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C;;GAEG;AACH,8BAAsB,IAAI;IACtB,QAAQ,CAAC,QAAQ,IAAI,MAAM;CAC9B;AAED;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC7B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAiB;WAEnC,WAAW,IAAI,OAAO;;IAQ7B,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,IAAI;IACjC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAqB;WAEvC,WAAW,IAAI,WAAW;;IAQjC,QAAQ,IAAI,MAAM;CAG5B;AA6BD;;;GAGG;AACH,qBAAa,oBAAqB,SAAQ,IAAI;IAC1C,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,YAAY,CAAS;gBAEjB,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,IAAI,EAAO;IAM5C,OAAO;IAIP,eAAe,IAAI,IAAI,EAAE;IAIzB,QAAQ;CAOlB;AAED;;;GAGG;AACH,8BAAsB,aAAc,SAAQ,IAAI;IAC5C,OAAO,CAAC,IAAI,CAAS;gBAET,IAAI,EAAE,MAAM;IAKjB,OAAO;IAIP,QAAQ;CAGlB;AAED,qBAAa,WAAY,SAAQ,aAAa;IAC1C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAqB;;WAMvC,WAAW;CAG5B;AAED,qBAAa,UAAW,SAAQ,aAAa;IACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAoB;;WAMtC,WAAW;CAG5B;AAED,qBAAa,UAAW,SAAQ,aAAa;IACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAoB;;WAMtC,WAAW;CAG5B;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,aAAa;IACvC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAkB;WAEpC,WAAW,IAAI,QAAQ;;CAOxC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,aAAa;IAC5C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAuB;WAEzC,WAAW,IAAI,aAAa;;CAO7C;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,aAAa;IAC1C,gBAAuB,IAAI,cAAyB;IACpD,gBAAuB,KAAK,cAA0B;IAEtD,OAAO,CAAC,WAAW,CAA4B;gBAEnC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO;IAK3C,cAAc,IAAI,MAAM,GAAG,MAAM,GAAG,OAAO;IAI3C,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAO;gBACX,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,GAAE,IAAgC;IAM9D,QAAQ,IAAI,IAAI,EAAE;IAIlB,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,QAAQ,IAAI,MAAM;CAO5B;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,IAAI;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAkB;WAEpC,WAAW,IAAI,QAAQ;;IAQ9B,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAmB;WAErC,WAAW,IAAI,SAAS;;IAQ/B,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,IAAI;IAClC,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,gBAAgB,CAAC,CAAS;gBAEtB,eAAe,EAAE,eAAe,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAMhE,kBAAkB,IAAI,eAAe;IAIrC,mBAAmB,IAAI,IAAI,EAAE,GAAG,SAAS;IAIzC,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,gBAAgB,CAAC,CAAS;gBAEtB,cAAc,EAAE,cAAc,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAM9D,iBAAiB,IAAI,cAAc;IAInC,iBAAiB,CAAC,iBAAiB,EAAE,cAAc,GAAG,IAAI;IAI1D,mBAAmB,IAAI,IAAI,EAAE,GAAG,SAAS;IAIzC,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,GAAG,IAAI;IAIpD,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,SAAS,CAAS;gBAEd,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM;IAMtC,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,YAAY,IAAI,MAAM;IAItB,QAAQ,IAAI,MAAM;CAY5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,KAAK,CAAS;gBAEV,KAAK,EAAE,IAAI,EAAE;IAKlB,QAAQ,IAAI,IAAI,EAAE;IAIlB,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,SAAU,SAAQ,IAAK,YAAW,SAAS;IACpD,OAAO,CAAC,YAAY,CAAO;IAC3B,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,SAAS,CAAiB;gBAEtB,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc;IAOhE,OAAO,IAAI,MAAM;IAIjB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIjC,eAAe,IAAI,IAAI;IAIvB,QAAQ,IAAI,MAAM;IAIlB,aAAa,IAAI,UAAU;IAI3B,YAAY,IAAI,GAAG,CAAC,MAAM,GAAG,SAAS,CAAC;IAIvC,YAAY,IAAI,cAAc;CAGxC;AAED,qBAAa,WAAY,SAAQ,IAAI;IACjC,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,WAAW,CAAC,CAAO;IAC3B,OAAO,CAAC,UAAU,CAAC,CAAO;IAC1B,OAAO,CAAC,KAAK,CAAC,CAAS;gBAEX,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI;IAOxD,OAAO,IAAI,MAAM;IAIjB,cAAc,IAAI,IAAI,GAAG,SAAS;IAIlC,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIhC,aAAa,IAAI,IAAI,GAAG,SAAS;IAIjC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAI/B,QAAQ,CAAC,KAAK,EAAE,MAAM;IAItB,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAU5B;AAED,qBAAa,oBAAoB;IAC7B,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,QAAQ,CAAkB;gBAEtB,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe;IAKlD,aAAa,IAAI,MAAM;IAIvB,WAAW,IAAI,eAAe;CAGxC;AAED,8BAAsB,cAAe,SAAQ,IAAI;IAC7C,OAAO,CAAC,UAAU,CAAS;IAE3B,SAAS,aAAa,UAAU,EAAE,MAAM;IAKjC,aAAa,IAAI,MAAM;IAIvB,QAAQ;CAGlB;AAED,qBAAa,uBAAwB,SAAQ,cAAc;IACvD,OAAO,CAAC,kBAAkB,CAAkD;WAE9D,WAAW,CAAC,SAAS,EAAE,kBAAkB,GAAG,uBAAuB;IAM1E,qBAAqB,IAAI,kBAAkB;IAI3C,qBAAqB,CAAC,SAAS,EAAE,kBAAkB,GAAG,IAAI;gBAIrD,UAAU,EAAE,MAAM;IAIvB,aAAa,IAAI,MAAM;CAGjC;AAED,qBAAa,uBAAwB,SAAQ,cAAc;gBAC3C,UAAU,EAAE,MAAM;CAGjC"}
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../src/core/base/Type.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAsB,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAazE;;GAEG;AACH,8BAAsB,IAAI;IACtB,QAAQ,CAAC,QAAQ,IAAI,MAAM;CAC9B;AAED;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,IAAI;IAC7B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAiB;WAEnC,WAAW,IAAI,OAAO;;IAQ7B,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,IAAI;IACjC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAqB;WAEvC,WAAW,IAAI,WAAW;;IAQjC,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,oBAAqB,SAAQ,IAAI;IAC1C,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,YAAY,CAAS;gBAEjB,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,IAAI,EAAO;IAM5C,OAAO;IAIP,eAAe,IAAI,IAAI,EAAE;IAIzB,QAAQ;CAOlB;AAED;;;GAGG;AACH,8BAAsB,aAAc,SAAQ,IAAI;IAC5C,OAAO,CAAC,IAAI,CAAS;gBAET,IAAI,EAAE,MAAM;IAKjB,OAAO;IAIP,QAAQ;CAGlB;AAED,qBAAa,WAAY,SAAQ,aAAa;IAC1C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAqB;;WAMvC,WAAW;CAG5B;AAED,qBAAa,UAAW,SAAQ,aAAa;IACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAoB;;WAMtC,WAAW;CAG5B;AAED,qBAAa,UAAW,SAAQ,aAAa;IACzC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAoB;;WAMtC,WAAW;CAG5B;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,aAAa;IACvC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAkB;WAEpC,WAAW,IAAI,QAAQ;;CAOxC;AAED;;;GAGG;AACH,qBAAa,aAAc,SAAQ,aAAa;IAC5C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAuB;WAEzC,WAAW,IAAI,aAAa;;CAO7C;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,aAAa;IAC1C,gBAAuB,IAAI,cAAyB;IACpD,gBAAuB,KAAK,cAA0B;IAEtD,OAAO,CAAC,WAAW,CAA4B;gBAEnC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO;IAK3C,cAAc,IAAI,MAAM,GAAG,MAAM,GAAG,OAAO;IAI3C,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAO;gBACX,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,GAAE,IAAgC;IAM9D,QAAQ,IAAI,IAAI,EAAE;IAIlB,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,QAAS,SAAQ,IAAI;IAC9B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAkB;WAEpC,WAAW,IAAI,QAAQ;;IAQ9B,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAmB;WAErC,WAAW,IAAI,SAAS;;IAQ/B,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,YAAa,SAAQ,IAAI;IAClC,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,gBAAgB,CAAC,CAAS;gBAEtB,eAAe,EAAE,eAAe,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAMhE,kBAAkB,IAAI,eAAe;IAIrC,mBAAmB,IAAI,IAAI,EAAE,GAAG,SAAS;IAIzC,QAAQ,IAAI,MAAM;CAG5B;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,gBAAgB,CAAC,CAAS;gBAEtB,cAAc,EAAE,cAAc,EAAE,gBAAgB,CAAC,EAAE,IAAI,EAAE;IAM9D,iBAAiB,IAAI,cAAc;IAInC,iBAAiB,CAAC,iBAAiB,EAAE,cAAc,GAAG,IAAI;IAI1D,mBAAmB,IAAI,IAAI,EAAE,GAAG,SAAS;IAIzC,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,GAAG,IAAI;IAIpD,QAAQ,IAAI,MAAM;CAQ5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,QAAQ,CAAO;IACvB,OAAO,CAAC,SAAS,CAAS;gBAEd,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM;IAM7C;;;OAGG;IACI,WAAW,IAAI,IAAI;IAInB,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAIhC,YAAY,IAAI,MAAM;IAItB,QAAQ,IAAI,MAAM;CAY5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,KAAK,CAAS;gBAEV,KAAK,EAAE,IAAI,EAAE;IAKlB,QAAQ,IAAI,IAAI,EAAE;IAIlB,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,SAAU,SAAQ,IAAK,YAAW,SAAS;IACpD,OAAO,CAAC,YAAY,CAAO;IAC3B,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,SAAS,CAAiB;IAClC,SAAS,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;gBAEjB,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc;IAOhE,OAAO,IAAI,MAAM;IAIjB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIjC,eAAe,IAAI,IAAI;IAIvB,QAAQ,IAAI,MAAM;IAIlB,aAAa,IAAI,UAAU;IAI3B,YAAY,IAAI,MAAM;IAOtB,gBAAgB,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO;IAQrD,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAMrC,WAAW,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,GAAG,IAAI;IAIlD,cAAc,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI;IAO5C,YAAY,IAAI,cAAc;CAGxC;AAED,qBAAa,WAAY,SAAQ,IAAI;IACjC,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,WAAW,CAAC,CAAO;IAC3B,OAAO,CAAC,UAAU,CAAC,CAAO;IAC1B,OAAO,CAAC,KAAK,CAAC,CAAS;gBAEX,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI;IAOxD,OAAO,IAAI,MAAM;IAIjB,cAAc,IAAI,IAAI,GAAG,SAAS;IAIlC,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAIhC,aAAa,IAAI,IAAI,GAAG,SAAS;IAIjC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;IAI/B,QAAQ,CAAC,KAAK,EAAE,MAAM;IAItB,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAU5B;AAED,qBAAa,oBAAoB;IAC7B,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,QAAQ,CAAkB;gBAEtB,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe;IAKlD,aAAa,IAAI,MAAM;IAIvB,WAAW,IAAI,eAAe;CAGxC;AAED,8BAAsB,cAAe,SAAQ,IAAI;IAC7C,OAAO,CAAC,UAAU,CAAS;IAE3B,SAAS,aAAa,UAAU,EAAE,MAAM;IAKjC,aAAa,IAAI,MAAM;IAIvB,QAAQ;CAGlB;AAED,qBAAa,uBAAwB,SAAQ,cAAc;IACvD,OAAO,CAAC,kBAAkB,CAAkD;WAE9D,WAAW,CAAC,SAAS,EAAE,kBAAkB,GAAG,uBAAuB;IAM1E,qBAAqB,IAAI,kBAAkB;IAI3C,qBAAqB,CAAC,SAAS,EAAE,kBAAkB,GAAG,IAAI;gBAIrD,UAAU,EAAE,MAAM;IAIvB,aAAa,IAAI,MAAM;CAGjC;AAED,qBAAa,uBAAwB,SAAQ,cAAc;gBAC3C,UAAU,EAAE,MAAM;CAGjC"}

package/lib/core/base/Type.js

@@ -17,6 +17,8 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.AnnotationTypeQueryType = exports.AnnotationNamespaceType = exports.AnnotationType = exports.AliasTypeDeclaration = exports.GenericType = exports.AliasType = exports.TupleType = exports.ArrayType = exports.ClassType = exports.FunctionType = exports.NeverType = exports.VoidType = exports.UnionType = exports.LiteralType = exports.UndefinedType = exports.NullType = exports.StringType = exports.NumberType = exports.BooleanType = exports.PrimitiveType = exports.UnclearReferenceType = exports.UnknownType = exports.AnyType = exports.Type = void 0;
 const ArkSignature_1 = require("../model/ArkSignature");
 const ArkExport_1 = require("../model/ArkExport");
+const ArkBaseModel_1 = require("../model/ArkBaseModel");
+const TSConst_1 = require("../common/TSConst");
 /**
  * @category core/base/type
  */
@@ -35,7 +37,7 @@ class AnyType extends Type {
         super();
     }
     toString() {
-        return 'any';
+        return TSConst_1.ANY_KEYWORD;
     }
 }
 exports.AnyType = AnyType;
@@ -52,37 +54,11 @@ class UnknownType extends Type {
         super();
     }
     toString() {
-        return 'unknown';
+        return TSConst_1.UNKNOWN_KEYWORD;
     }
 }
 exports.UnknownType = UnknownType;
 UnknownType.INSTANCE = new UnknownType();
-// /**
-//  * typeParameter type
-//  * @category core/base/type
-//  */
-// export class TypeParameterType extends Type {
-//     private name: string;
-//     private type: Type;
-//
-//     constructor(name: string, type: Type = UnknownType.getInstance()) {
-//         super();
-//         this.name = name;
-//         this.type = type;
-//     }
-//
-//     public getName() {
-//         return this.name;
-//     }
-//
-//     public getType() {
-//         return this.type;
-//     }
-//
-//     public toString() {
-//         return this.name;
-//     }
-// }
 /**
  * unclear type
  * @category core/base/type
@@ -127,7 +103,7 @@ class PrimitiveType extends Type {
 exports.PrimitiveType = PrimitiveType;
 class BooleanType extends PrimitiveType {
     constructor() {
-        super('boolean');
+        super(TSConst_1.BOOLEAN_KEYWORD);
     }
     static getInstance() {
         return this.INSTANCE;
@@ -137,7 +113,7 @@ exports.BooleanType = BooleanType;
 BooleanType.INSTANCE = new BooleanType();
 class NumberType extends PrimitiveType {
     constructor() {
-        super('number');
+        super(TSConst_1.NUMBER_KEYWORD);
     }
     static getInstance() {
         return this.INSTANCE;
@@ -147,7 +123,7 @@ exports.NumberType = NumberType;
 NumberType.INSTANCE = new NumberType();
 class StringType extends PrimitiveType {
     constructor() {
-        super('string');
+        super(TSConst_1.STRING_KEYWORD);
     }
     static getInstance() {
         return this.INSTANCE;
@@ -164,7 +140,7 @@ class NullType extends PrimitiveType {
         return this.INSTANCE;
     }
     constructor() {
-        super('null');
+        super(TSConst_1.NULL_KEYWORD);
     }
 }
 exports.NullType = NullType;
@@ -178,7 +154,7 @@ class UndefinedType extends PrimitiveType {
         return this.INSTANCE;
     }
     constructor() {
-        super('undefined');
+        super(TSConst_1.UNDEFINED_KEYWORD);
     }
 }
 exports.UndefinedType = UndefinedType;
@@ -222,11 +198,7 @@ class UnionType extends Type {
         this.currType = newType;
     }
     toString() {
-        let typeStr = this.types.join('|');
-        if (!(this.currType instanceof UnknownType) && this.currType != this) {
-            typeStr += '-' + this.currType;
-        }
-        return typeStr;
+        return this.types.join('|');
     }
 }
 exports.UnionType = UnionType;
@@ -242,7 +214,7 @@ class VoidType extends Type {
         super();
     }
     toString() {
-        return 'void';
+        return TSConst_1.VOID_KEYWORD;
     }
 }
 exports.VoidType = VoidType;
@@ -255,7 +227,7 @@ class NeverType extends Type {
         super();
     }
     toString() {
-        return 'never';
+        return TSConst_1.NEVER_KEYWORD;
     }
 }
 exports.NeverType = NeverType;
@@ -304,7 +276,13 @@ class ClassType extends Type {
         this.realGenericTypes = types;
     }
     toString() {
-        return this.classSignature.toString();
+        var _a;
+        let temp = this.classSignature.toString();
+        let generic = (_a = this.realGenericTypes) === null || _a === void 0 ? void 0 : _a.join(',');
+        if (generic) {
+            temp += `<${generic}>`;
+        }
+        return temp;
     }
 }
 exports.ClassType = ClassType;
@@ -314,6 +292,10 @@ class ArrayType extends Type {
         this.baseType = baseType;
         this.dimension = dimension;
     }
+    /**
+     * Returns the base type of this array, such as `Any`, `Unknown`, `TypeParameter`, etc.
+     * @returns The base type of array.
+     */
     getBaseType() {
         return this.baseType;
     }
@@ -374,7 +356,30 @@ class AliasType extends Type {
         return ArkExport_1.ExportType.TYPE;
     }
     getModifiers() {
-        return new Set();
+        if (!this.modifiers) {
+            return 0;
+        }
+        return this.modifiers;
+    }
+    containsModifier(modifierType) {
+        if (!this.modifiers) {
+            return false;
+        }
+        return (this.modifiers & modifierType) === modifierType;
+    }
+    setModifiers(modifiers) {
+        if (modifiers !== 0) {
+            this.modifiers = modifiers;
+        }
+    }
+    addModifier(modifier) {
+        this.modifiers = this.getModifiers() | modifier;
+    }
+    removeModifier(modifier) {
+        if (!this.modifiers) {
+            return;
+        }
+        this.modifiers &= ArkBaseModel_1.MODIFIER_TYPE_MASK ^ modifier;
     }
     getSignature() {
         return this.signature;

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

@@ -3,9 +3,31 @@ import { Type } from './Type';
  * @category core/base
  */
 export interface Value {
-    /** Return a list of values which are contained in this 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 */
+    /**
+     * 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.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Value.d.ts","sourceRoot":"","sources":["../../../src/core/base/Value.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,KAAK;IAClB,gEAAgE;IAChE,OAAO,IAAI,KAAK,EAAE,CAAC;IAEnB,oCAAoC;IACpC,OAAO,IAAG,IAAI,CAAC;CAClB"}
+{"version":3,"file":"Value.d.ts","sourceRoot":"","sources":["../../../src/core/base/Value.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B;;GAEG;AACH,MAAM,WAAW,KAAK;IAClB;;;;MAIE;IACF,OAAO,IAAI,KAAK,EAAE,CAAC;IAEnB;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,IAAG,IAAI,CAAC;CAClB"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"ArkError.d.ts","sourceRoot":"","sources":["../../../src/core/common/ArkError.ts"],"names":[],"mappings":"AAeA,oBAAY,YAAY;IACpB,EAAE,IAAI;IACN,+BAA+B,KAAK;IACpC,gCAAgC,KAAK;IACrC,6BAA6B,KAAK;IAClC,yBAAyB,KAAK;IAC9B,yBAAyB,KAAK;IAC9B,0BAA0B,KAAK;IAC/B,+BAA+B,KAAK;CACvC;AAED,MAAM,WAAW,QAAQ;IACrB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB"}

package/lib/core/common/ArkError.js

@@ -0,0 +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 = {}));

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

@@ -6,30 +6,37 @@ import { Stmt } from '../base/Stmt';
 import { AliasType, AliasTypeDeclaration } from '../base/Type';
 import { ArkMethod } from '../model/ArkMethod';
 import { FullPosition } from '../base/Position';
-export declare const DUMMY_INITIALIZER_STMT = "dummyInitializerStmt";
 type ValueAndStmts = {
     value: Value;
     valueOriginalPositions: FullPosition[];
     stmts: Stmt[];
 };
+export declare class DummyStmt extends Stmt {
+    constructor(text: string);
+    toString(): string;
+}
 export declare class ArkIRTransformer {
-    private readonly tempLocalPrefix;
-    private tempLocalIndex;
+    static readonly DUMMY_LOOP_INITIALIZER_STMT = "LoopInitializer";
+    static readonly DUMMY_CONDITIONAL_OPERATOR_IF_TRUE_STMT = "ConditionalOperatorIfTrue";
+    static readonly DUMMY_CONDITIONAL_OPERATOR_IF_FALSE_STMT = "ConditionalOperatorIfFalse";
+    static readonly DUMMY_CONDITIONAL_OPERATOR_END_STMT = "ConditionalOperatorEnd";
+    private conditionalOperatorNo;
+    private tempLocalNo;
     private locals;
     private sourceFile;
     private declaringMethod;
     private thisLocal;
     private inBuilderMethod;
-    private stmtToOriginalStmt;
     private aliasTypeMap;
+    private stmtsHaveOriginalText;
     private builderMethodContextFlag;
     constructor(sourceFile: ts.SourceFile, declaringMethod: ArkMethod);
     getLocals(): Set<Local>;
     getThisLocal(): Local;
-    getStmtToOriginalStmt(): Map<Stmt, Stmt>;
     getAliasTypeMap(): Map<string, [AliasType, AliasTypeDeclaration]>;
     prebuildStmts(): Stmt[];
     tsNodeToStmts(node: ts.Node): Stmt[];
+    private functionDeclarationToStmts;
     private returnStatementToStmts;
     private blockToStmts;
     private expressionStatementToStmts;

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

@@ -1 +1 @@
-{"version":3,"file":"ArkIRTransformer.d.ts","sourceRoot":"","sources":["../../../src/core/common/ArkIRTransformer.ts"],"names":[],"mappings":"AAeA,OAAO,EAkBH,cAAc,EAGd,aAAa,EAChB,MAAM,cAAc,CAAC;AAUtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAQH,IAAI,EACP,MAAM,cAAc,CAAC;AACtB,OAAO,EACH,SAAS,EACT,oBAAoB,EAkBvB,MAAM,cAAc,CAAC;AAYtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAc/C,OAAO,EAAE,YAAY,EAAmB,MAAM,kBAAkB,CAAC;AAOjE,eAAO,MAAM,sBAAsB,yBAAyB,CAAC;AAE7D,KAAK,aAAa,GAAG;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,sBAAsB,EAAE,YAAY,EAAE,CAAC;IACvC,KAAK,EAAE,IAAI,EAAE,CAAA;CAChB,CAAC;AAEF,qBAAa,gBAAgB;IACzB,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAW;IAC3C,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,UAAU,CAAgB;IAClC,OAAO,CAAC,eAAe,CAAY;IACnC,OAAO,CAAC,SAAS,CAAQ;IAEzB,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,kBAAkB,CAA0C;IACpE,OAAO,CAAC,YAAY,CAA6D;IAEjF,OAAO,CAAC,wBAAwB,CAAS;gBAE7B,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,eAAe,EAAE,SAAS;IAQ1D,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC;IAIvB,YAAY,IAAI,KAAK;IAIrB,qBAAqB,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC;IAIxC,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAIjE,aAAa,IAAI,IAAI,EAAE;IAcvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,EAAE;IAsC3C,OAAO,CAAC,sBAAsB;IA0B9B,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,0BAA0B;IAIlC,OAAO,CAAC,iBAAiB;IAiCzB,OAAO,CAAC,2BAA2B;IAYnC,OAAO,CAAC,sBAAsB;IAoC9B,OAAO,CAAC,mBAAmB;IAsB3B,OAAO,CAAC,wBAAwB;IAqIhC,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,wBAAwB;IAIhC,OAAO,CAAC,8BAA8B;IAItC,OAAO,CAAC,kBAAkB;IAwD1B,OAAO,CAAC,oBAAoB;IAI5B,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,kBAAkB;IAiBnB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,aAAa;IAgE1D,OAAO,CAAC,6BAA6B;IAQrC,OAAO,CAAC,oCAAoC;IAqC5C,OAAO,CAAC,qCAAqC;IAoC7C,OAAO,CAAC,oBAAoB;IA2D5B,OAAO,CAAC,qCAAqC;IAyC7C,OAAO,CAAC,8BAA8B;IAoBtC,OAAO,CAAC,iCAAiC;IAuDzC,OAAO,CAAC,yBAAyB;IAYjC,OAAO,CAAC,+BAA+B;IA0BvC,OAAO,CAAC,sCAAsC;IAmC9C,OAAO,CAAC,6BAA6B;IAqDrC,OAAO,CAAC,cAAc;IAiCtB,OAAO,CAAC,2BAA2B;IAkBnC,OAAO,CAAC,4BAA4B;IAwCpC,OAAO,CAAC,iCAAiC;IAiDzC,OAAO,CAAC,qCAAqC;IAiD7C,OAAO,CAAC,oCAAoC;IAwC5C,OAAO,CAAC,qCAAqC;IAiC7C,OAAO,CAAC,8BAA8B;IAWtC,OAAO,CAAC,8BAA8B;IActC,OAAO,CAAC,+BAA+B;IASvC,OAAO,CAAC,6BAA6B;IAKrC,OAAO,CAAC,gCAAgC;IAIxC,OAAO,CAAC,sCAAsC;IAI9C,OAAO,CAAC,+BAA+B;IAWvC,OAAO,CAAC,2BAA2B;IAenC,OAAO,CAAC,4BAA4B;IAWpC,OAAO,CAAC,sCAAsC;IAW9C,OAAO,CAAC,kCAAkC;IAsF1C,OAAO,CAAC,+BAA+B;IA8EvC,OAAO,CAAC,yBAAyB;IAkCjC,OAAO,CAAC,iCAAiC;IA4CzC,OAAO,CAAC,uCAAuC;IAoC/C,OAAO,CAAC,wBAAwB;IA2BhC,OAAO,CAAC,0BAA0B;IA6ClC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,iBAAiB;IAQlB,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,GAAG,aAAa;IAQtG,OAAO,CAAC,oBAAoB;IAW5B,OAAO,CAAC,eAAe;IA8CvB,OAAO,CAAC,sBAAsB;IAkB9B,OAAO,CAAC,8BAA8B;IA2CtC,OAAO,CAAC,wBAAwB;IAoBhC,OAAO,CAAC,sBAAsB;IAY9B,OAAO,CAAC,uBAAuB;IAO/B,OAAO,CAAC,aAAa;IAed,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI;WAW7C,oBAAoB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,GAAG,aAAa,GAAG,IAAI;WAYhE,qBAAqB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,GAAG,cAAc,GAAG,IAAI;CAmDnF"}
+{"version":3,"file":"ArkIRTransformer.d.ts","sourceRoot":"","sources":["../../../src/core/common/ArkIRTransformer.ts"],"names":[],"mappings":"AAeA,OAAO,EAkBH,cAAc,EAGd,aAAa,EAChB,MAAM,cAAc,CAAC;AAUtB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAOH,IAAI,EACP,MAAM,cAAc,CAAC;AACtB,OAAO,EACH,SAAS,EACT,oBAAoB,EAkBvB,MAAM,cAAc,CAAC;AAYtB,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAgB/C,OAAO,EAAE,YAAY,EAAmB,MAAM,kBAAkB,CAAC;AASjE,KAAK,aAAa,GAAG;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,sBAAsB,EAAE,YAAY,EAAE,CAAC;IACvC,KAAK,EAAE,IAAI,EAAE,CAAA;CAChB,CAAC;AAEF,qBAAa,SAAU,SAAQ,IAAI;gBACnB,IAAI,EAAE,MAAM;IAKjB,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,gBAAgB;IACzB,gBAAuB,2BAA2B,qBAAqB;IACvE,gBAAuB,uCAAuC,+BAA+B;IAC7F,gBAAuB,wCAAwC,gCAAgC;IAC/F,gBAAuB,mCAAmC,4BAA4B;IAEtF,OAAO,CAAC,qBAAqB,CAAa;IAC1C,OAAO,CAAC,WAAW,CAAa;IAChC,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,UAAU,CAAgB;IAClC,OAAO,CAAC,eAAe,CAAY;IACnC,OAAO,CAAC,SAAS,CAAQ;IAEzB,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,YAAY,CAA6D;IACjF,OAAO,CAAC,qBAAqB,CAAwB;IAErD,OAAO,CAAC,wBAAwB,CAAS;gBAE7B,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,eAAe,EAAE,SAAS;IAQ1D,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC;IAIvB,YAAY,IAAI,KAAK;IAIrB,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAIjE,aAAa,IAAI,IAAI,EAAE;IAcvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,EAAE;IA2C3C,OAAO,CAAC,0BAA0B;IAUlC,OAAO,CAAC,sBAAsB;IA0B9B,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,0BAA0B;IAIlC,OAAO,CAAC,iBAAiB;IAiCzB,OAAO,CAAC,2BAA2B;IAcnC,OAAO,CAAC,sBAAsB;IAoC9B,OAAO,CAAC,mBAAmB;IAsB3B,OAAO,CAAC,wBAAwB;IAoIhC,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,wBAAwB;IAIhC,OAAO,CAAC,8BAA8B;IAItC,OAAO,CAAC,kBAAkB;IAwD1B,OAAO,CAAC,oBAAoB;IAI5B,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,kBAAkB;IAiBnB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,aAAa;IAgE1D,OAAO,CAAC,6BAA6B;IAQrC,OAAO,CAAC,oCAAoC;IA2C5C,OAAO,CAAC,qCAAqC;IAoC7C,OAAO,CAAC,oBAAoB;IA2D5B,OAAO,CAAC,qCAAqC;IAyC7C,OAAO,CAAC,8BAA8B;IAoBtC,OAAO,CAAC,iCAAiC;IAuDzC,OAAO,CAAC,yBAAyB;IAYjC,OAAO,CAAC,+BAA+B;IA0BvC,OAAO,CAAC,sCAAsC;IAmC9C,OAAO,CAAC,6BAA6B;IAoDrC,OAAO,CAAC,cAAc;IAiCtB,OAAO,CAAC,2BAA2B;IAiBnC,OAAO,CAAC,4BAA4B;IAuCpC,OAAO,CAAC,iCAAiC;IAiDzC,OAAO,CAAC,qCAAqC;IAiD7C,OAAO,CAAC,oCAAoC;IAwC5C,OAAO,CAAC,qCAAqC;IAiC7C,OAAO,CAAC,8BAA8B;IAWtC,OAAO,CAAC,8BAA8B;IActC,OAAO,CAAC,+BAA+B;IASvC,OAAO,CAAC,6BAA6B;IAKrC,OAAO,CAAC,gCAAgC;IAIxC,OAAO,CAAC,sCAAsC;IAI9C,OAAO,CAAC,+BAA+B;IAWvC,OAAO,CAAC,2BAA2B;IAenC,OAAO,CAAC,4BAA4B;IAWpC,OAAO,CAAC,sCAAsC;IAW9C,OAAO,CAAC,kCAAkC;IAqF1C,OAAO,CAAC,+BAA+B;IA8EvC,OAAO,CAAC,yBAAyB;IAkCjC,OAAO,CAAC,iCAAiC;IA4CzC,OAAO,CAAC,uCAAuC;IAsC/C,OAAO,CAAC,wBAAwB;IA2BhC,OAAO,CAAC,0BAA0B;IA6ClC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,iBAAiB;IAQlB,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,YAAY,EAAE,GAAG,aAAa;IAQtG,OAAO,CAAC,oBAAoB;IAW5B,OAAO,CAAC,eAAe;IAkDvB,OAAO,CAAC,sBAAsB;IAoB9B,OAAO,CAAC,8BAA8B;IA2CtC,OAAO,CAAC,wBAAwB;IAoBhC,OAAO,CAAC,sBAAsB;IAY9B,OAAO,CAAC,uBAAuB;IAO/B,OAAO,CAAC,aAAa;IAed,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI;WAU7C,oBAAoB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,GAAG,aAAa,GAAG,IAAI;WAchE,qBAAqB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,GAAG,cAAc,GAAG,IAAI;CAqDnF"}