arkanalyzer 1.0.6 → 1.0.8

package/lib/core/base/Ref.js

@@ -48,12 +48,13 @@ const ValueUtil_1 = require("../common/ValueUtil");
 const ArkField_1 = require("../model/ArkField");
 const ArkMethod_1 = require("../model/ArkMethod");
 const Const_1 = require("../common/Const");
+const TSConst_1 = require("../common/TSConst");
 const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'Ref');
 /**
  * @category core/base/ref
  */
 class AbstractRef {
-    inferType(arkClass) {
+    inferType(arkMethod) {
         return this;
     }
 }
@@ -64,12 +65,43 @@ class ArkArrayRef extends AbstractRef {
         this.base = base;
         this.index = index;
     }
+    /**
+     * Returns the base of this array reference. Array reference refers to access to array elements.
+     * Array references usually consist of an local variable and an index.
+     * For example, `a[i]` is a typical array reference, where `a` is the base (i.e., local variable)
+     * pointing to the actual memory location where the array is stored
+     * and `i` is the index indicating access to the `i-th` element from array `a`.
+     * @returns the base of this array reference.
+     * @example
+     * 1. Get the base and the specific elements.
+
+     ```typescript
+     // Create an array
+     let myArray: number[] = [10, 20, 30, 40];
+     // Create an ArrayRef object representing a reference to myArray[2]
+     let arrayRef = new ArkArrayRef(myArray, 2);
+     // Use the getBase() method to get the base of the array
+     let baseArray = arrayRef.getBase();
+
+     console.log("Base array:", baseArray);  // Output: Base array: [10, 20, 30, 40]
+
+     // Use baseArray and obeject index of ArrayRef to access to specific array elements
+     let element = baseArray[arrayRef.index];
+     console.log("Element at index", arrayRef.index, ":", element);  // Output: Element at index 2 : 30
+     ```
+     */
     getBase() {
         return this.base;
     }
     setBase(newBase) {
         this.base = newBase;
     }
+    /**
+     * Returns the index of this array reference.
+     * In TypeScript, an array reference means that the variable stores
+     * the memory address of the array rather than the actual data of the array.
+     * @returns The index of this array reference.
+     */
     getIndex() {
         return this.index;
     }
@@ -78,6 +110,9 @@ class ArkArrayRef extends AbstractRef {
     }
     getType() {
         const baseType = this.base.getType();
+        if (baseType instanceof Type_1.AliasType) {
+            return baseType.getOriginalType();
+        }
         if (baseType instanceof Type_1.ArrayType) {
             return baseType.getBaseType();
         }
@@ -104,9 +139,31 @@ class AbstractFieldRef extends AbstractRef {
         super();
         this.fieldSignature = fieldSignature;
     }
+    /**
+     * Returns the the field name as a **string**.
+     * @returns The the field name.
+     */
     getFieldName() {
         return this.fieldSignature.getFieldName();
     }
+    /**
+     * Returns a field signature, which consists of a class signature,
+     * a **string** field name, and a **boolean** label indicating whether it is static or not.
+     * @returns The field signature.
+     * @example
+     * 1. Compare two Fields
+
+     ```typescript
+     const fieldSignature = new FieldSignature();
+     fieldSignature.setFieldName(...);
+     const fieldRef = new ArkInstanceFieldRef(baseValue as Local, fieldSignature);
+     ...
+     if (fieldRef.getFieldSignature().getFieldName() ===
+     targetField.getFieldSignature().getFieldName()) {
+     ...
+     }
+     ```
+     */
     getFieldSignature() {
         return this.fieldSignature;
     }
@@ -123,6 +180,26 @@ class ArkInstanceFieldRef extends AbstractFieldRef {
         super(fieldSignature);
         this.base = base;
     }
+    /**
+     * Returns the local of field, showing which object this field belongs to.
+     * A {@link Local} consists of :
+     * - Name: the **string** name of local value, e.g., "$temp0".
+     * - Type: the type of value.
+     * @returns The object that the field belongs to.
+     * @example
+     * 1. Get a base.
+
+     ```typescript
+     if (expr instanceof ArkInstanceFieldRef) {
+     ...
+     let base = expr.getBase();
+     if (base.getName() == 'this') {
+     ...
+     }
+     ...
+     }
+     ```
+     */
     getBase() {
         return this.base;
     }
@@ -138,7 +215,7 @@ class ArkInstanceFieldRef extends AbstractFieldRef {
     toString() {
         return this.base.toString() + '.<' + this.getFieldSignature() + '>';
     }
-    inferType(arkClass) {
+    getBaseType(arkClass) {
         let baseType = this.base.getType();
         if (this.base instanceof Local_1.Local && baseType instanceof Type_1.UnknownType) {
             baseType = TypeInference_1.TypeInference.inferBaseType(this.base.getName(), arkClass);
@@ -152,61 +229,80 @@ class ArkInstanceFieldRef extends AbstractFieldRef {
         }
         if (!baseType) {
             logger.warn('infer field ref base type fail: ' + this.toString());
-            return this;
+            return null;
         }
         if (this.base instanceof Local_1.Local) {
+            if (this.base.getName() === TSConst_1.THIS_NAME && arkClass.isAnonymousClass()) {
+                return null;
+            }
             this.base.setType(baseType);
         }
+        if (baseType instanceof Type_1.AliasType) {
+            baseType = baseType.getOriginalType();
+        }
+        return baseType;
+    }
+    inferType(arkMethod) {
+        const arkClass = arkMethod.getDeclaringArkClass();
+        const baseType = this.getBaseType(arkClass);
+        if (!baseType) {
+            return this;
+        }
         if (baseType instanceof Type_1.ArrayType && this.getFieldName() !== 'length') {
             return new ArkArrayRef(this.base, ValueUtil_1.ValueUtil.createConst(this.getFieldName()));
         }
-        const newFieldSignature = this.getNewFieldSignature(arkClass, baseType);
-        if (newFieldSignature.isStatic()) {
-            return new ArkStaticFieldRef(newFieldSignature);
+        let newFieldSignature = this.getNewFieldSignature(arkClass, baseType);
+        if (baseType instanceof Type_1.UnionType) {
+            for (const type of baseType.getTypes()) {
+                if (type instanceof Type_1.UndefinedType || type instanceof Type_1.NullType) {
+                    continue;
+                }
+                newFieldSignature = this.getNewFieldSignature(arkClass, baseType);
+                if (!TypeInference_1.TypeInference.isUnclearType(newFieldSignature)) {
+                    break;
+                }
+            }
         }
         else {
+            newFieldSignature = this.getNewFieldSignature(arkClass, baseType);
+        }
+        if (newFieldSignature) {
+            if (newFieldSignature.isStatic()) {
+                return new ArkStaticFieldRef(newFieldSignature);
+            }
             this.setFieldSignature(newFieldSignature);
         }
         return this;
     }
     getNewFieldSignature(arkClass, baseType) {
-        let oldFieldSignature = this.getFieldSignature();
-        const propertyAndproperty = TypeInference_1.TypeInference.inferFieldType(baseType, this.getFieldName(), arkClass);
-        let property = null;
-        let propertyType = oldFieldSignature.getType();
-        if (propertyAndproperty) {
-            property = propertyAndproperty[0];
-            propertyType = propertyAndproperty[1];
-        }
-        if (TypeInference_1.TypeInference.isUnclearType(propertyType)) {
+        const fieldName = this.getFieldName().replace(/[\"|\']/, '');
+        const propertyAndType = TypeInference_1.TypeInference.inferFieldType(baseType, fieldName, arkClass);
+        let propertyType = propertyAndType === null || propertyAndType === void 0 ? void 0 : propertyAndType[1];
+        if (propertyType && TypeInference_1.TypeInference.isUnclearType(propertyType)) {
             const newType = TypeInference_1.TypeInference.inferUnclearedType(propertyType, arkClass);
             if (newType) {
                 propertyType = newType;
             }
         }
-        let newFieldSignature;
-        if (baseType instanceof Type_1.ClassType && property instanceof ArkField_1.ArkField) {
-            newFieldSignature = property.getSignature();
+        let staticFlag;
+        let signature;
+        if (baseType instanceof Type_1.ClassType) {
+            const property = propertyAndType === null || propertyAndType === void 0 ? void 0 : propertyAndType[0];
+            if (property instanceof ArkField_1.ArkField) {
+                return property.getSignature();
+            }
+            staticFlag = baseType.getClassSignature().getClassName() === Const_1.DEFAULT_ARK_CLASS_NAME ||
+                (property instanceof ArkMethod_1.ArkMethod && property.isStatic());
+            signature = property instanceof ArkMethod_1.ArkMethod ? property.getSignature().getDeclaringClassSignature() : baseType.getClassSignature();
+        }
+        else if (baseType instanceof Type_1.AnnotationNamespaceType) {
+            staticFlag = true;
+            signature = baseType.getNamespaceSignature();
         }
         else {
-            let staticFlag;
-            let signature;
-            if (baseType instanceof Type_1.ClassType) {
-                staticFlag = baseType.getClassSignature().getClassName() === Const_1.DEFAULT_ARK_CLASS_NAME ||
-                    (property instanceof ArkMethod_1.ArkMethod && property.isStatic());
-                signature = baseType.getClassSignature();
-            }
-            else if (baseType instanceof Type_1.AnnotationNamespaceType) {
-                staticFlag = true;
-                signature = baseType.getNamespaceSignature();
-            }
-            else {
-                staticFlag = oldFieldSignature.isStatic();
-                signature = oldFieldSignature.getDeclaringSignature();
-            }
-            newFieldSignature = new ArkSignature_1.FieldSignature(this.getFieldName(), signature, propertyType, staticFlag);
+            return null;
         }
-        return newFieldSignature;
+        return new ArkSignature_1.FieldSignature(fieldName, signature, propertyType !== null && propertyType !== void 0 ? propertyType : this.getType(), staticFlag);
     }
 }
 exports.ArkInstanceFieldRef = ArkInstanceFieldRef;
@@ -237,8 +333,16 @@ class ArkParameterRef extends AbstractRef {
     setType(newType) {
         this.paramType = newType;
     }
-    inferType(arkClass) {
-        let type = TypeInference_1.TypeInference.inferUnclearedType(this.paramType, arkClass);
+    inferType(arkMethod) {
+        var _a;
+        if (arkMethod.isAnonymousMethod() && this.paramType instanceof Type_1.UnknownType) {
+            const type1 = (_a = arkMethod.getSignature().getMethodSubSignature().getParameters()[this.index]) === null || _a === void 0 ? void 0 : _a.getType();
+            if (!TypeInference_1.TypeInference.isUnclearType(type1)) {
+                this.paramType = type1;
+                return this;
+            }
+        }
+        let type = TypeInference_1.TypeInference.inferUnclearedType(this.paramType, arkMethod.getDeclaringArkClass());
         if (type) {
             this.paramType = type;
         }
@@ -257,7 +361,8 @@ class ArkThisRef extends AbstractRef {
         super();
         this.type = type;
     }
-    inferType(arkClass) {
+    inferType(arkMethod) {
+        const arkClass = arkMethod.getDeclaringArkClass();
         const className = this.type.getClassSignature().getClassName();
         if (className.startsWith(Const_1.ANONYMOUS_CLASS_PREFIX)) {
             let type = TypeInference_1.TypeInference.inferBaseType(className.split(Const_1.ANONYMOUS_CLASS_DELIMITER)[1], arkClass);

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

@@ -3,21 +3,63 @@ import { AbstractExpr, AbstractInvokeExpr, ArkConditionExpr } from './Expr';
 import { AbstractFieldRef, ArkArrayRef } from './Ref';
 import { Value } from './Value';
 import { FullPosition, LineColPosition } from './Position';
+import { ArkMetadata, ArkMetadataKind, ArkMetadataType } from '../model/ArkMetadata';
 /**
  * @category core/base/stmt
  */
 export declare abstract class Stmt {
-    protected text: string;
-    protected position: LineColPosition;
-    protected cfg: Cfg | null;
-    protected operandOriginalPositions: FullPosition[] | null;
+    protected text?: string;
+    protected originalText?: string;
+    protected originalPosition: LineColPosition;
+    protected cfg: Cfg;
+    protected operandOriginalPositions?: FullPosition[];
+    metadata?: ArkMetadata;
+    getMetadata(kind: ArkMetadataKind): ArkMetadataType | undefined;
+    setMetadata(kind: ArkMetadataKind, value: ArkMetadataType): void;
     /** Return a list of values which are uesd in this statement */
     getUses(): Value[];
     replaceUse(oldUse: Value, newUse: Value): void;
-    /** 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(): Value | null;
     getDefAndUses(): Value[];
-    getCfg(): Cfg | null;
+    /**
+     * 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(): Cfg;
     setCfg(cfg: Cfg): void;
     /**
      * Return true if the following statement may not execute after this statement.
@@ -27,30 +69,86 @@ export declare abstract class Stmt {
     /** Return the number of statements which this statement may go to */
     getExpectedSuccessorCount(): number;
     containsInvokeExpr(): boolean;
+    /**
+     * 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(): AbstractInvokeExpr | 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(): AbstractExpr[];
     containsArrayRef(): boolean;
     getArrayRef(): ArkArrayRef | undefined;
     containsFieldRef(): boolean;
     getFieldRef(): AbstractFieldRef | undefined;
-    setPositionInfo(position: LineColPosition): void;
-    getPositionInfo(): LineColPosition;
+    setOriginPositionInfo(originPositionInfo: LineColPosition): void;
+    /**
+     * 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(): LineColPosition;
     abstract toString(): string;
     setText(text: string): void;
+    setOriginalText(originalText: string): void;
+    getOriginalText(): string | undefined;
     setOperandOriginalPositions(operandOriginalPositions: FullPosition[]): void;
     getOperandOriginalPosition(indexOrOperand: number | Value): FullPosition | null;
 }
-export declare class OriginalStmt extends Stmt {
-    constructor(text: string, position: LineColPosition);
-    toString(): string;
-}
 export declare class ArkAssignStmt extends Stmt {
     private leftOp;
     private rightOp;
     constructor(leftOp: Value, rightOp: Value);
+    /**
+     * 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(): Value;
     setLeftOp(newLeftOp: Value): void;
+    /**
+     * 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(): Value;
     setRightOp(rightOp: Value): void;
     toString(): string;
@@ -68,6 +166,18 @@ export declare class ArkInvokeStmt extends Stmt {
 export declare class ArkIfStmt extends Stmt {
     private conditionExpr;
     constructor(conditionExpr: ArkConditionExpr);
+    /**
+     * 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(): ArkConditionExpr;
     isBranch(): boolean;
     getExpectedSuccessorCount(): number;
@@ -92,6 +202,10 @@ export declare class ArkSwitchStmt extends Stmt {
     private key;
     private cases;
     constructor(key: Value, cases: Value[]);
+    /**
+     * Returns the key in a switch statement.
+     * @returns The key in a switch statement.
+     */
     getKey(): Value;
     getCases(): Value[];
     isBranch(): boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"Stmt.d.ts","sourceRoot":"","sources":["../../../src/core/base/Stmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,OAAO,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE3D;;GAEG;AACH,8BAAsB,IAAI;IACtB,SAAS,CAAC,IAAI,EAAE,MAAM,CAAM;IAC5B,SAAS,CAAC,QAAQ,EAAE,eAAe,CAA2B;IAC9D,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAAQ;IACjC,SAAS,CAAC,wBAAwB,EAAE,YAAY,EAAE,GAAG,IAAI,CAAQ;IAEjE,+DAA+D;IACxD,OAAO,IAAI,KAAK,EAAE;IAIlB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,IAAI;IAKrD,qDAAqD;IAC9C,MAAM,IAAI,KAAK,GAAG,IAAI;IAItB,aAAa,IAAI,KAAK,EAAE;IAWxB,MAAM,IAAI,GAAG,GAAG,IAAI;IAIpB,MAAM,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAI7B;;;OAGG;IACI,QAAQ,IAAI,OAAO;IAI1B,qEAAqE;IAC9D,yBAAyB,IAAI,MAAM;IAInC,kBAAkB,IAAI,OAAO;IAS7B,aAAa,IAAI,kBAAkB,GAAG,SAAS;IAS/C,QAAQ,IAAI,YAAY,EAAE;IAU1B,gBAAgB,IAAI,OAAO;IAY3B,WAAW,IAAI,WAAW,GAAG,SAAS;IActC,gBAAgB,IAAI,OAAO;IAa3B,WAAW,IAAI,gBAAgB,GAAG,SAAS;IAY3C,eAAe,CAAC,QAAQ,EAAE,eAAe;IAIzC,eAAe,IAAI,eAAe;IAIlC,qBAAqB,IAAI,eAAe;IAS/C,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAEpB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,2BAA2B,CAAC,wBAAwB,EAAE,YAAY,EAAE,GAAG,IAAI;IAI3E,0BAA0B,CAAC,cAAc,EAAE,MAAM,GAAG,KAAK,GAAG,YAAY,GAAG,IAAI;CAmBzF;AAED,qBAAa,YAAa,SAAQ,IAAI;gBACtB,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe;IAM5C,QAAQ,IAAI,MAAM;CAG5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,OAAO,CAAQ;gBAEX,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK;IAMlC,SAAS,IAAI,KAAK;IAIlB,SAAS,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI;IAIjC,UAAU,IAAI,KAAK;IAInB,UAAU,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAIhC,QAAQ,IAAI,MAAM;IAKlB,MAAM,IAAI,KAAK,GAAG,IAAI;IAItB,OAAO,IAAI,KAAK,EAAE;CAO5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,UAAU,CAAqB;gBAE3B,UAAU,EAAE,kBAAkB;IAKnC,iBAAiB,CAAC,OAAO,EAAE,kBAAkB;IAI7C,aAAa;IAIb,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,aAAa,CAAmB;gBAE5B,aAAa,EAAE,gBAAgB;IAKpC,oBAAoB;IAIpB,QAAQ,IAAI,OAAO;IAInB,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,yBAAyB,IAAI,MAAM;IAInC,KAAK,IAAI,KAAK;IAId,cAAc,CAAC,WAAW,EAAE,KAAK,GAAG,IAAI;IAIxC,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,iBAAkB,SAAQ,IAAI;;IAKhC,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,GAAG,CAAQ;IACnB,OAAO,CAAC,KAAK,CAAU;gBAEX,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;IAM/B,MAAM,IAAI,KAAK;IAIf,QAAQ,IAAI,KAAK,EAAE;IAInB,QAAQ,IAAI,OAAO;IAInB,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;IAelB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,YAAa,SAAQ,IAAI;IAClC,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B"}
+{"version":3,"file":"Stmt.d.ts","sourceRoot":"","sources":["../../../src/core/base/Stmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,OAAO,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAErF;;GAEG;AACH,8BAAsB,IAAI;IACtB,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAChC,SAAS,CAAC,gBAAgB,EAAE,eAAe,CAA2B;IACtE,SAAS,CAAC,GAAG,EAAG,GAAG,CAAC;IACpB,SAAS,CAAC,wBAAwB,CAAC,EAAE,YAAY,EAAE,CAAC;IAEpD,QAAQ,CAAC,EAAE,WAAW,CAAC;IAEhB,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,eAAe,GAAG,SAAS;IAI/D,WAAW,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI;IAOvE,+DAA+D;IACxD,OAAO,IAAI,KAAK,EAAE;IAIlB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,IAAI;IAKrD;;;;;;;;;;;;;;;;OAgBG;IACI,MAAM,IAAI,KAAK,GAAG,IAAI;IAItB,aAAa,IAAI,KAAK,EAAE;IAU/B;;;;;;;;;;;;;;;;;;;;OAoBG;IACI,MAAM,IAAI,GAAG;IAIb,MAAM,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAI7B;;;OAGG;IACI,QAAQ,IAAI,OAAO;IAI1B,qEAAqE;IAC9D,yBAAyB,IAAI,MAAM;IAInC,kBAAkB,IAAI,OAAO;IASpC;;;;;;;;;;OAUG;IACI,aAAa,IAAI,kBAAkB,GAAG,SAAS;IAStD;;;;;;;;;;;OAWG;IACI,QAAQ,IAAI,YAAY,EAAE;IAU1B,gBAAgB,IAAI,OAAO;IAY3B,WAAW,IAAI,WAAW,GAAG,SAAS;IActC,gBAAgB,IAAI,OAAO;IAa3B,WAAW,IAAI,gBAAgB,GAAG,SAAS;IAY3C,qBAAqB,CAAC,kBAAkB,EAAE,eAAe,GAAG,IAAI;IAIvE;;;;;;;;;;;;;;;;;;OAkBG;IACI,qBAAqB,IAAI,eAAe;IAI/C,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAEpB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI;IAI3C,eAAe,IAAI,MAAM,GAAG,SAAS;IAIrC,2BAA2B,CAAC,wBAAwB,EAAE,YAAY,EAAE,GAAG,IAAI;IAI3E,0BAA0B,CAAC,cAAc,EAAE,MAAM,GAAG,KAAK,GAAG,YAAY,GAAG,IAAI;CAmBzF;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,OAAO,CAAQ;gBAEX,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK;IAMzC;;;;;OAKG;IACI,SAAS,IAAI,KAAK;IAIlB,SAAS,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI;IAIxC;;;;;;;;;;OAUG;IACI,UAAU,IAAI,KAAK;IAInB,UAAU,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI;IAIhC,QAAQ,IAAI,MAAM;IAKlB,MAAM,IAAI,KAAK,GAAG,IAAI;IAItB,OAAO,IAAI,KAAK,EAAE;CAO5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,UAAU,CAAqB;gBAE3B,UAAU,EAAE,kBAAkB;IAKnC,iBAAiB,CAAC,OAAO,EAAE,kBAAkB;IAI7C,aAAa;IAIb,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,SAAU,SAAQ,IAAI;IAC/B,OAAO,CAAC,aAAa,CAAmB;gBAE5B,aAAa,EAAE,gBAAgB;IAK3C;;;;;;;;;;;OAWG;IACI,oBAAoB;IAIpB,QAAQ,IAAI,OAAO;IAInB,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,yBAAyB,IAAI,MAAM;IAInC,KAAK,IAAI,KAAK;IAId,cAAc,CAAC,WAAW,EAAE,KAAK,GAAG,IAAI;IAIxC,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,iBAAkB,SAAQ,IAAI;;IAKhC,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;CAI5B;AAED,qBAAa,aAAc,SAAQ,IAAI;IACnC,OAAO,CAAC,GAAG,CAAQ;IACnB,OAAO,CAAC,KAAK,CAAU;gBAEX,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;IAMtC;;;OAGG;IACI,MAAM,IAAI,KAAK;IAIf,QAAQ,IAAI,KAAK,EAAE;IAInB,QAAQ,IAAI,OAAO;IAInB,yBAAyB,IAAI,MAAM;IAInC,QAAQ,IAAI,MAAM;IAelB,OAAO,IAAI,KAAK,EAAE;CAM5B;AAED,qBAAa,YAAa,SAAQ,IAAI;IAClC,OAAO,CAAC,EAAE,CAAQ;gBAEN,EAAE,EAAE,KAAK;IAKd,KAAK,IAAI,KAAK;IAId,QAAQ,IAAI,MAAM;IAKlB,OAAO,IAAI,KAAK,EAAE;CAM5B"}