arkanalyzer 1.0.40 → 1.0.42

package/lib/save/JsonPrinter.js

@@ -134,24 +134,16 @@ class JsonPrinter extends Printer_1.Printer {
             throw new Error('Type is undefined');
         }
         if (type instanceof Type_1.AnyType) {
-            return {
-                _: 'AnyType',
-            };
+            return { _: 'AnyType' };
         }
         else if (type instanceof Type_1.UnknownType) {
-            return {
-                _: 'UnknownType',
-            };
+            return { _: 'UnknownType' };
         }
         else if (type instanceof Type_1.VoidType) {
-            return {
-                _: 'VoidType',
-            };
+            return { _: 'VoidType' };
         }
         else if (type instanceof Type_1.NeverType) {
-            return {
-                _: 'NeverType',
-            };
+            return { _: 'NeverType' };
         }
         else if (type instanceof Type_1.UnionType) {
             return {
@@ -172,34 +164,22 @@ class JsonPrinter extends Printer_1.Printer {
             };
         }
         else if (type instanceof Type_1.BooleanType) {
-            return {
-                _: 'BooleanType',
-            };
+            return { _: 'BooleanType' };
         }
         else if (type instanceof Type_1.NumberType) {
-            return {
-                _: 'NumberType',
-            };
+            return { _: 'NumberType' };
         }
         else if (type instanceof Type_1.BigIntType) {
-            return {
-                _: 'BigIntType',
-            };
+            return { _: 'BigIntType' };
         }
         else if (type instanceof Type_1.StringType) {
-            return {
-                _: 'StringType',
-            };
+            return { _: 'StringType' };
         }
         else if (type instanceof Type_1.NullType) {
-            return {
-                _: 'NullType',
-            };
+            return { _: 'NullType' };
         }
         else if (type instanceof Type_1.UndefinedType) {
-            return {
-                _: 'UndefinedType',
-            };
+            return { _: 'UndefinedType' };
         }
         else if (type instanceof Type_1.LiteralType) {
             return {
@@ -392,55 +372,28 @@ class JsonPrinter extends Printer_1.Printer {
             return Object.assign({ _: 'Constant' }, this.serializeConstant(value));
         }
         else if (value instanceof Expr_1.ArkNewExpr) {
-            return {
-                _: 'NewExpr',
-                classType: this.serializeType(value.getClassType()),
-            };
+            return { _: 'NewExpr', classType: this.serializeType(value.getClassType()) };
         }
         else if (value instanceof Expr_1.ArkNewArrayExpr) {
-            return {
-                _: 'NewArrayExpr',
-                elementType: this.serializeType(value.getBaseType()),
-                size: this.serializeValue(value.getSize()),
-            };
+            return { _: 'NewArrayExpr', elementType: this.serializeType(value.getBaseType()), size: this.serializeValue(value.getSize()) };
         }
         else if (value instanceof Expr_1.ArkDeleteExpr) {
-            return {
-                _: 'DeleteExpr',
-                arg: this.serializeValue(value.getField()),
-            };
+            return { _: 'DeleteExpr', arg: this.serializeValue(value.getField()) };
         }
         else if (value instanceof Expr_1.ArkAwaitExpr) {
-            return {
-                _: 'AwaitExpr',
-                arg: this.serializeValue(value.getPromise()),
-            };
+            return { _: 'AwaitExpr', arg: this.serializeValue(value.getPromise()) };
         }
         else if (value instanceof Expr_1.ArkYieldExpr) {
-            return {
-                _: 'YieldExpr',
-                arg: this.serializeValue(value.getYieldValue()),
-            };
+            return { _: 'YieldExpr', arg: this.serializeValue(value.getYieldValue()) };
         }
         else if (value instanceof Expr_1.ArkTypeOfExpr) {
-            return {
-                _: 'TypeOfExpr',
-                arg: this.serializeValue(value.getOp()),
-            };
+            return { _: 'TypeOfExpr', arg: this.serializeValue(value.getOp()) };
         }
         else if (value instanceof Expr_1.ArkInstanceOfExpr) {
-            return {
-                _: 'InstanceOfExpr',
-                arg: this.serializeValue(value.getOp()),
-                checkType: this.serializeType(value.getCheckType()),
-            };
+            return { _: 'InstanceOfExpr', arg: this.serializeValue(value.getOp()), checkType: this.serializeType(value.getCheckType()) };
         }
         else if (value instanceof Expr_1.ArkCastExpr) {
-            return {
-                _: 'CastExpr',
-                arg: this.serializeValue(value.getOp()),
-                type: this.serializeType(value.getType()),
-            };
+            return { _: 'CastExpr', arg: this.serializeValue(value.getOp()), type: this.serializeType(value.getType()) };
         }
         else if (value instanceof Expr_1.ArkPhiExpr) {
             const args = value.getArgs();
@@ -470,11 +423,7 @@ class JsonPrinter extends Printer_1.Printer {
             };
         }
         else if (value instanceof Expr_1.ArkUnopExpr) {
-            return {
-                _: 'UnopExpr',
-                op: value.getOperator(),
-                arg: this.serializeValue(value.getOp()),
-            };
+            return { _: 'UnopExpr', op: value.getOperator(), arg: this.serializeValue(value.getOp()) };
         }
         else if (value instanceof Expr_1.ArkInstanceInvokeExpr) {
             return {
@@ -500,17 +449,10 @@ class JsonPrinter extends Printer_1.Printer {
             };
         }
         else if (value instanceof Ref_1.ArkThisRef) {
-            return {
-                _: 'ThisRef',
-                type: this.serializeType(value.getType()),
-            };
+            return { _: 'ThisRef', type: this.serializeType(value.getType()) };
         }
         else if (value instanceof Ref_1.ArkParameterRef) {
-            return {
-                _: 'ParameterRef',
-                index: value.getIndex(),
-                type: this.serializeType(value.getType()),
-            };
+            return { _: 'ParameterRef', index: value.getIndex(), type: this.serializeType(value.getType()) };
         }
         else if (value instanceof Ref_1.ArkArrayRef) {
             return {
@@ -521,18 +463,11 @@ class JsonPrinter extends Printer_1.Printer {
             };
         }
         else if (value instanceof Ref_1.ArkCaughtExceptionRef) {
-            return {
-                _: 'CaughtExceptionRef',
-                type: this.serializeType(value.getType()),
-            };
+            return { _: 'CaughtExceptionRef', type: this.serializeType(value.getType()) };
         }
         else if (value instanceof Ref_1.GlobalRef) {
             let ref = value.getRef();
-            return {
-                _: 'GlobalRef',
-                name: value.getName(),
-                ref: ref ? this.serializeValue(ref) : null,
-            };
+            return { _: 'GlobalRef', name: value.getName(), ref: ref ? this.serializeValue(ref) : null };
         }
         else if (value instanceof Ref_1.ClosureFieldRef) {
             return {
@@ -543,25 +478,14 @@ class JsonPrinter extends Printer_1.Printer {
             };
         }
         else if (value instanceof Ref_1.ArkInstanceFieldRef) {
-            return {
-                _: 'InstanceFieldRef',
-                instance: this.serializeValue(value.getBase()),
-                field: this.serializeFieldSignature(value.getFieldSignature()),
-            };
+            return { _: 'InstanceFieldRef', instance: this.serializeValue(value.getBase()), field: this.serializeFieldSignature(value.getFieldSignature()) };
         }
         else if (value instanceof Ref_1.ArkStaticFieldRef) {
-            return {
-                _: 'StaticFieldRef',
-                field: this.serializeFieldSignature(value.getFieldSignature()),
-            };
+            return { _: 'StaticFieldRef', field: this.serializeFieldSignature(value.getFieldSignature()) };
         }
         else {
             console.warn(`Unhandled Value: ${value.constructor.name} (${value.toString()})`);
-            return {
-                _: value.constructor.name,
-                text: value.toString(),
-                type: this.serializeType(value.getType()),
-            };
+            return { _: value.constructor.name, text: value.toString(), type: this.serializeType(value.getType()) };
         }
     }
     serializeStmt(stmt) {

package/lib/save/arkir/ArkIRMethodPrinter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ArkIRMethodPrinter.d.ts","sourceRoot":"","sources":["../../../src/save/arkir/ArkIRMethodPrinter.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAKvD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIlD;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,WAAW;IAC/C,OAAO,CAAC,MAAM,CAAY;gBAEP,MAAM,EAAE,SAAS,EAAE,MAAM,GAAE,MAAW;IAKlD,IAAI,IAAI,MAAM;IAYd,OAAO,IAAI,MAAM;IAyBxB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,SAAS;IAMjB,SAAS,CAAC,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM;IAsCxD,OAAO,CAAC,QAAQ;IAehB,OAAO,CAAC,eAAe;CA2B1B"}
+{"version":3,"file":"ArkIRMethodPrinter.d.ts","sourceRoot":"","sources":["../../../src/save/arkir/ArkIRMethodPrinter.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAKvD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIlD;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,WAAW;IAC/C,OAAO,CAAC,MAAM,CAAY;gBAEP,MAAM,EAAE,SAAS,EAAE,MAAM,GAAE,MAAW;IAKlD,IAAI,IAAI,MAAM;IAYd,OAAO,IAAI,MAAM;IAyBxB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,SAAS;IAMjB,SAAS,CAAC,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM;IAsCxD,OAAO,CAAC,QAAQ;IAwBhB,OAAO,CAAC,eAAe;CA2B1B"}

package/lib/save/arkir/ArkIRMethodPrinter.js

@@ -113,14 +113,22 @@ class ArkIRMethodPrinter extends BasePrinter_1.BasePrinter {
     }
     printCfg(cfg) {
         let blocks = cfg.getBlocks();
-        let firstBB = true;
+        let isFirstBB = true;
+        let firstBB = cfg.getStartingBlock();
+        // Try to always print the starting block at the beginning.
+        if (firstBB) {
+            this.printBasicBlock(firstBB);
+            isFirstBB = false;
+        }
         for (const block of blocks) {
-            if (!firstBB) {
-                this.printer.writeLine('');
+            if (!firstBB || block.getId() !== firstBB.getId()) {
+                if (!isFirstBB) {
+                    this.printer.writeLine('');
+                }
+                this.printBasicBlock(block);
             }
-            this.printBasicBlock(block);
             if (firstBB) {
-                firstBB = false;
+                isFirstBB = false;
             }
         }
     }

package/lib/save/source/SourceStmt.d.ts

@@ -92,6 +92,7 @@ export declare class SourceWhileStmt extends SourceStmt {
      * @returns
      */
     private forOf2ts;
+    private getForOf2ts;
     transfer2ts(): void;
     protected valueToString(value: Value): string;
 }

package/lib/save/source/SourceStmt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SourceStmt.d.ts","sourceRoot":"","sources":["../../../src/save/source/SourceStmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAEH,eAAe,EAIlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAQ9C,OAAO,EAEH,aAAa,EACb,SAAS,EACT,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,YAAY,EACZ,IAAI,EACP,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAmB,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQ5E,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAK3C,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC1D,aAAa,IAAI,UAAU,CAAC;IAE5B,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9C,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAEjC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAE9B,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEhC,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAEhC,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;IAEtC,iBAAiB,IAAI,OAAO,CAAC;CAChC;AAED,8BAAsB,UAAW,YAAW,IAAI;IAC5C,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,kBAAkB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAM;IAClB,WAAW,EAAE,iBAAiB,CAAC;gBAEnB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAOhD,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,IAAI,IAAI,MAAM;IAOrB,SAAS,CAAC,UAAU,IAAI,IAAI;IAE5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAE3B,SAAS,CAAC,MAAM,IAAI,MAAM;IAe1B,SAAS,KAAK,OAAO,IAAI,aAAa,CAErC;IAEM,QAAQ,IAAI,MAAM;IAIzB,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIrC,SAAS,CAAC,SAAS,IAAI,MAAM;aAIb,WAAW,IAAI,IAAI;IAEnC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;CAOpD;AAQD,qBAAa,gBAAiB,SAAQ,UAAU;IAC5C,OAAO,CAAC,MAAM,CAAwC;IACtD,OAAO,CAAC,OAAO,CAAwC;IACvD,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAS;gBAEjB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAKzD,WAAW,IAAI,IAAI;IA4D1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAiC5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAM3B,OAAO,CAAC,kBAAkB;IAa1B;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,uBAAuB;IAe/B,OAAO,CAAC,6BAA6B;IAOrC;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,4BAA4B;IAmBpC,OAAO,CAAC,+BAA+B;CAK1C;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;IAwB1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAW5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAO9B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS;IAIrD,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,CAAC;gBAEN,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAK/E,SAAS,CAAC,SAAS,IAAI,IAAI;IAI3B;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ;IA6HT,WAAW,IAAI,IAAI;IAY1B,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM;CAsBhD;AAED,qBAAa,aAAc,SAAQ,eAAe;IAC9C,QAAQ,EAAE,UAAU,CAAC;gBAET,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;IAK9F,WAAW,IAAI,IAAI;CAmB7B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,eAAe;gBACtC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAIpE,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAC9B;AAED,qBAAa,cAAe,SAAQ,UAAU;gBAC9B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAIhD,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAmB,SAAQ,UAAU;gBAClC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,oBAAqB,SAAQ,UAAU;gBACpC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,iBAAiB;IAI7D,WAAW,IAAI,IAAI;CAO7B;AAED,qBAAa,qBAAsB,SAAQ,UAAU;gBACrC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM;IAK1D,WAAW,IAAI,IAAI;IAE1B,SAAS,CAAC,UAAU,IAAI,IAAI;CAG/B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY;IAIxD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,mBAAoB,SAAQ,UAAU;IAC/C,SAAS,EAAE,SAAS,CAAC;gBACT,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;IAKtE,WAAW,IAAI,IAAI;IA8C1B,OAAO,CAAC,eAAe;CAU1B;AAED,qBAAa,aAAc,SAAQ,UAAU;gBAC7B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;gBAClB,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,UAAU;IAKhE,WAAW,IAAI,IAAI;IAe1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,UAAU;gBACjC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAkB;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;gBAEL,IAAI,EAAE,eAAe;IAK1B,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAIjC,QAAQ,IAAI,MAAM;CAG5B;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAqBnF"}
+{"version":3,"file":"SourceStmt.d.ts","sourceRoot":"","sources":["../../../src/save/source/SourceStmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAEH,eAAe,EAIlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAQ9C,OAAO,EAEH,aAAa,EACb,SAAS,EACT,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,YAAY,EACZ,IAAI,EACP,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAmB,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQ5E,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAK3C,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC1D,aAAa,IAAI,UAAU,CAAC;IAE5B,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9C,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAEjC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAE9B,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEhC,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAEhC,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;IAEtC,iBAAiB,IAAI,OAAO,CAAC;CAChC;AAED,8BAAsB,UAAW,YAAW,IAAI;IAC5C,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,kBAAkB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAM;IAClB,WAAW,EAAE,iBAAiB,CAAC;gBAEnB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAOhD,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAI3B,IAAI,IAAI,MAAM;IAOrB,SAAS,CAAC,UAAU,IAAI,IAAI;IAE5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAE3B,SAAS,CAAC,MAAM,IAAI,MAAM;IAe1B,SAAS,KAAK,OAAO,IAAI,aAAa,CAErC;IAEM,QAAQ,IAAI,MAAM;IAIzB,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIrC,SAAS,CAAC,SAAS,IAAI,MAAM;aAIb,WAAW,IAAI,IAAI;IAEnC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;CAOpD;AASD,qBAAa,gBAAiB,SAAQ,UAAU;IAC5C,OAAO,CAAC,MAAM,CAAwC;IACtD,OAAO,CAAC,OAAO,CAAwC;IACvD,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAS;gBAEjB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAKzD,WAAW,IAAI,IAAI;IAiE1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAqC5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAM3B,OAAO,CAAC,kBAAkB;IAa1B;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,uBAAuB;IAe/B,OAAO,CAAC,6BAA6B;IAOrC;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,4BAA4B;IAmBpC,OAAO,CAAC,+BAA+B;CAK1C;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;IAwB1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAW5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAO9B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS;IAIrD,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,CAAC;gBAEN,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAK/E,SAAS,CAAC,SAAS,IAAI,IAAI;IAI3B;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ;IA4DhB,OAAO,CAAC,WAAW;IA6DZ,WAAW,IAAI,IAAI;IAY1B,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM;CAsBhD;AAED,qBAAa,aAAc,SAAQ,eAAe;IAC9C,QAAQ,EAAE,UAAU,CAAC;gBAET,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;IAK9F,WAAW,IAAI,IAAI;CAmB7B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,eAAe;gBACtC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAIpE,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAC9B;AAED,qBAAa,cAAe,SAAQ,UAAU;gBAC9B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAIhD,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAmB,SAAQ,UAAU;gBAClC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,oBAAqB,SAAQ,UAAU;gBACpC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,iBAAiB;IAI7D,WAAW,IAAI,IAAI;CAO7B;AAED,qBAAa,qBAAsB,SAAQ,UAAU;gBACrC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM;IAK1D,WAAW,IAAI,IAAI;IAE1B,SAAS,CAAC,UAAU,IAAI,IAAI;CAG/B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY;IAIxD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,mBAAoB,SAAQ,UAAU;IAC/C,SAAS,EAAE,SAAS,CAAC;gBACT,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;IAKtE,WAAW,IAAI,IAAI;IA8C1B,OAAO,CAAC,eAAe;CAU1B;AAED,qBAAa,aAAc,SAAQ,UAAU;gBAC7B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;gBAClB,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,UAAU;IAKhE,WAAW,IAAI,IAAI;IAe1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,UAAU;gBACjC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAkB;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;gBAEL,IAAI,EAAE,eAAe;IAK1B,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAIjC,QAAQ,IAAI,MAAM;CAG5B;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAqBnF"}

package/lib/save/source/SourceStmt.js

@@ -117,6 +117,7 @@ var AssignStmtDumpType;
     AssignStmtDumpType[AssignStmtDumpType["NORMAL"] = 0] = "NORMAL";
     AssignStmtDumpType[AssignStmtDumpType["TEMP_REPLACE"] = 1] = "TEMP_REPLACE";
     AssignStmtDumpType[AssignStmtDumpType["COMPONENT_CREATE"] = 2] = "COMPONENT_CREATE";
+    AssignStmtDumpType[AssignStmtDumpType["PARAM_REPLACE"] = 3] = "PARAM_REPLACE";
 })(AssignStmtDumpType || (AssignStmtDumpType = {}));
 class SourceAssignStmt extends SourceStmt {
     constructor(context, original) {
@@ -130,9 +131,13 @@ class SourceAssignStmt extends SourceStmt {
     transfer2ts() {
         this.leftOp = this.original.getLeftOp();
         this.rightOp = this.original.getRightOp();
+        if (this.rightOp instanceof Ref_1.ArkParameterRef) {
+            this.setText('');
+            this.dumpType = AssignStmtDumpType.PARAM_REPLACE;
+            return;
+        }
         if ((this.leftOp instanceof Local_1.Local && this.leftOp.getName() === 'this') ||
             (this.rightOp instanceof Constant_1.Constant && this.rightOp.getValue() === 'undefined') ||
-            this.rightOp instanceof Ref_1.ArkParameterRef ||
             this.rightOp instanceof Ref_1.ClosureFieldRef) {
             this.setText('');
             this.dumpType = AssignStmtDumpType.NORMAL;
@@ -185,6 +190,9 @@ class SourceAssignStmt extends SourceStmt {
         }
     }
     beforeDump() {
+        if (this.dumpType === AssignStmtDumpType.PARAM_REPLACE && this.leftOp instanceof Local_1.Local) {
+            this.context.defineLocal(this.leftOp);
+        }
         if (this.dumpType !== AssignStmtDumpType.TEMP_REPLACE) {
             return;
         }
@@ -441,9 +449,6 @@ class SourceWhileStmt extends SourceStmt {
             return false;
         }
         let temp2 = done.getBase();
-        if (!(temp2 instanceof Local_1.Local)) {
-            return false;
-        }
         stmt = temp2.getDeclaringStmt();
         if (!(stmt instanceof Stmt_1.ArkAssignStmt)) {
             return false;
@@ -456,9 +461,6 @@ class SourceWhileStmt extends SourceStmt {
             return false;
         }
         let temp1 = next.getBase();
-        if (!(temp1 instanceof Local_1.Local)) {
-            return false;
-        }
         stmt = temp1.getDeclaringStmt();
         if (!(stmt instanceof Stmt_1.ArkAssignStmt)) {
             return false;
@@ -470,6 +472,9 @@ class SourceWhileStmt extends SourceStmt {
         if (iterator.getMethodSignature().getMethodSubSignature().getMethodName() !== 'Symbol.iterator') {
             return false;
         }
+        return this.getForOf2ts(temp3, temp1, iterator);
+    }
+    getForOf2ts(temp3, temp1, iterator) {
         let successors = this.block.getSuccessors();
         if (successors.length !== 2) {
             return false;
@@ -478,7 +483,7 @@ class SourceWhileStmt extends SourceStmt {
         if (stmts.length < 2) {
             return false;
         }
-        stmt = stmts[1];
+        let stmt = stmts[1];
         if (!(stmt instanceof Stmt_1.ArkAssignStmt)) {
             return false;
         }

package/lib/utils/FileUtils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FileUtils.d.ts","sourceRoot":"","sources":["../../src/utils/FileUtils.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAIjD,qBAAa,SAAS;IAClB,gBAAuB,WAAW;;;MAGhC;WAEY,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;WASzC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;WAOrC,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;WAIrC,iBAAiB,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;WA4BlG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,QAAQ;CAgB1F;AAED,qBAAa,UAAU;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;gBAED,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CAIzC;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,GAAG,CAAC,MAAM,CAAqB,GAAG,MAAM,CA2BrH"}
+{"version":3,"file":"FileUtils.d.ts","sourceRoot":"","sources":["../../src/utils/FileUtils.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAIjD,qBAAa,SAAS;IAClB,gBAAuB,WAAW;;;MAGhC;WAEY,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;WASzC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;WAOrC,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;WAIrC,iBAAiB,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;WAkClG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,QAAQ;CAgB1F;AAED,qBAAa,UAAU;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;gBAED,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CAIzC;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,GAAG,CAAC,MAAM,CAAqB,GAAG,MAAM,CA2BrH"}

package/lib/utils/FileUtils.js

@@ -84,12 +84,19 @@ class FileUtils {
                 if (moduleMap.get(name)) {
                     return;
                 }
-                const modulePath = path_1.default.resolve(path_1.default.dirname(filePath), value.replace('file:', ''));
-                const key = path_1.default.resolve(modulePath, EtsConst_1.OH_PACKAGE_JSON5);
-                const target = ohPkgContentMap.get(key);
-                if (target) {
-                    moduleMap.set(name, new ModulePath(modulePath, target.main ? path_1.default.resolve(modulePath, target.main) : ''));
+                const dir = path_1.default.dirname(filePath);
+                let modulePath = path_1.default.resolve(dir, value.replace('file:', ''));
+                let main = '';
+                if (this.isDirectory(modulePath)) {
+                    const target = ohPkgContentMap.get(path_1.default.resolve(modulePath, EtsConst_1.OH_PACKAGE_JSON5));
+                    if (target === null || target === void 0 ? void 0 : target.main) {
+                        main = path_1.default.resolve(modulePath, target.main);
+                    }
                 }
+                else {
+                    path_1.default.resolve(dir, 'oh_modules', name);
+                }
+                moduleMap.set(name, new ModulePath(modulePath, main));
             });
         });
         return moduleMap;
@@ -119,7 +126,7 @@ FileUtils.FILE_FILTER = {
 class ModulePath {
     constructor(path, main) {
         this.path = (0, pathTransfer_1.transfer2UnixPath)(path);
-        this.main = (0, pathTransfer_1.transfer2UnixPath)(main);
+        this.main = main ? (0, pathTransfer_1.transfer2UnixPath)(main) : main;
     }
 }
 exports.ModulePath = ModulePath;

package/lib/utils/ValueAsserts.d.ts

@@ -0,0 +1,9 @@
+export declare class ValueAsserts {
+    static ENABLE: boolean;
+    static enable(): void;
+    static disable(): void;
+    static assert(cond: boolean, msg?: string): any;
+    static assertDefined(val: any, msg?: string): asserts val;
+    static assertNotEmptyArray(val: any[], msg?: string): asserts val;
+}
+//# sourceMappingURL=ValueAsserts.d.ts.map

package/lib/utils/ValueAsserts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueAsserts.d.ts","sourceRoot":"","sources":["../../src/utils/ValueAsserts.ts"],"names":[],"mappings":"AAmBA,qBAAa,YAAY;IACrB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAS;WAEjB,MAAM,IAAI,IAAI;WAId,OAAO,IAAI,IAAI;WAIf,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,GAAG;WAYxC,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG;WAclD,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG;CAa3E"}

package/lib/utils/ValueAsserts.js

@@ -0,0 +1,89 @@
+"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.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValueAsserts = void 0;
+const logger_1 = __importStar(require("./logger"));
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'ValueAsserts');
+class ValueAsserts {
+    static enable() {
+        this.ENABLE = true;
+    }
+    static disable() {
+        this.ENABLE = false;
+    }
+    static assert(cond, msg) {
+        if (!ValueAsserts.ENABLE || cond) {
+            return;
+        }
+        let errorMsg = 'Assert failed: condition is false';
+        if (msg) {
+            errorMsg = 'Assert failed: ' + msg;
+        }
+        logger.error(errorMsg);
+        throw Error(errorMsg);
+    }
+    static assertDefined(val, msg) {
+        if (!ValueAsserts.ENABLE) {
+            return;
+        }
+        if (val === undefined) {
+            let errorMsg = 'Assert failed: value is undefined';
+            if (msg) {
+                errorMsg = 'Assert failed: ' + msg;
+            }
+            logger.error(errorMsg);
+            throw Error(errorMsg);
+        }
+    }
+    static assertNotEmptyArray(val, msg) {
+        if (!ValueAsserts.ENABLE) {
+            return;
+        }
+        if (val.length === 0) {
+            let errorMsg = 'Assert failed: array is empty';
+            if (msg) {
+                errorMsg = 'Assert failed: ' + msg;
+            }
+            logger.error(errorMsg);
+            throw Error(errorMsg);
+        }
+    }
+}
+exports.ValueAsserts = ValueAsserts;
+ValueAsserts.ENABLE = false;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "arkanalyzer",
-  "version": "1.0.40",
-  "commit_id": "47e9374c",
+  "version": "1.0.42",
+  "commit_id": "9990fed7",
   "files": [
     "docs",
     "lib",

package/lib/callgraph/pointerAnalysis/Context.d.ts

@@ -1,38 +0,0 @@
-import { FuncID } from '../model/CallGraph';
-export type ContextID = number;
-export declare const DUMMY_CID = 0;
-declare class Context {
-    private contextElems;
-    static sEmptyCtx: Context;
-    constructor(contextElems?: number[]);
-    static newEmpty(): Context;
-    static new(contextElems: number[]): Context;
-    static newKLimitedContext(oldCtx: Context, elem: number, k: number): Context;
-    static kLimitedContext(ctx: Context, k: number): Context;
-    length(): number;
-    get(index: number): number;
-    toString(): String;
-}
-declare class ContextCache {
-    private contextList;
-    private contextToIDMap;
-    constructor();
-    getOrNewContextID(context: Context): ContextID;
-    updateContext(id: ContextID, newContext: Context, oldContext: Context): boolean;
-    getContextID(context: Context): ContextID | undefined;
-    getContext(id: number): Context | undefined;
-    getContextList(): Context[];
-}
-export declare class KLimitedContextSensitive {
-    k: number;
-    ctxCache: ContextCache;
-    constructor(k: number);
-    emptyContext(): Context;
-    getEmptyContextID(): ContextID;
-    getContextID(context: Context): ContextID;
-    getContextByID(context_id: number): Context | undefined;
-    getNewContextID(callerFuncId: FuncID): ContextID;
-    getOrNewContext(callerCid: ContextID, calleeFuncId: FuncID, findCalleeAsTop?: boolean): ContextID;
-}
-export {};
-//# sourceMappingURL=Context.d.ts.map

package/lib/callgraph/pointerAnalysis/Context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Context.d.ts","sourceRoot":"","sources":["../../../src/callgraph/pointerAnalysis/Context.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE5C,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAC/B,eAAO,MAAM,SAAS,IAAI,CAAC;AAE3B,cAAM,OAAO;IACT,OAAO,CAAC,YAAY,CAAW;IAC/B,MAAM,CAAC,SAAS,EAAE,OAAO,CAAmB;gBAEhC,YAAY,GAAE,MAAM,EAAO;IAIvC,MAAM,CAAC,QAAQ,IAAI,OAAO;IAI1B,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO;IAK3C,MAAM,CAAC,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO;IAa5E,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO;IASjD,MAAM,IAAI,MAAM;IAIhB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAO1B,QAAQ,IAAI,MAAM;CAG5B;AAED,cAAM,YAAY;IACd,OAAO,CAAC,WAAW,CAAiB;IACpC,OAAO,CAAC,cAAc,CAAkC;;IAOjD,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAa9C,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,OAAO;IAY/E,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS;IASrD,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAO3C,cAAc,IAAI,OAAO,EAAE;CAGrC;AAED,qBAAa,wBAAwB;IACjC,CAAC,EAAE,MAAM,CAAC;IACV,QAAQ,EAAE,YAAY,CAAC;gBAEX,CAAC,EAAE,MAAM;IAOd,YAAY,IAAI,OAAO;IAIvB,iBAAiB,IAAI,SAAS;IAI9B,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAIzC,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAIvD,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS;IAIhD,eAAe,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,GAAE,OAAe,GAAG,SAAS;CAmBlH"}