arkanalyzer 1.0.20 → 1.0.21
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/Config.d.ts +70 -70
- package/lib/Config.js +198 -198
- package/lib/Scene.d.ts +316 -316
- package/lib/Scene.js +1316 -1316
- package/lib/callgraph/algorithm/AbstractAnalysis.d.ts +28 -28
- package/lib/callgraph/algorithm/AbstractAnalysis.js +144 -144
- package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts +10 -10
- package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js +69 -69
- package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts +15 -15
- package/lib/callgraph/algorithm/RapidTypeAnalysis.js +146 -146
- package/lib/callgraph/common/Statistics.d.ts +57 -57
- package/lib/callgraph/common/Statistics.js +228 -228
- package/lib/callgraph/model/CallGraph.d.ts +96 -96
- package/lib/callgraph/model/CallGraph.js +354 -354
- package/lib/callgraph/model/builder/CallGraphBuilder.d.ts +15 -15
- package/lib/callgraph/model/builder/CallGraphBuilder.js +106 -106
- package/lib/callgraph/pointerAnalysis/Context.d.ts +37 -37
- package/lib/callgraph/pointerAnalysis/Context.js +155 -155
- package/lib/callgraph/pointerAnalysis/DummyCallCreator.d.ts +22 -22
- package/lib/callgraph/pointerAnalysis/DummyCallCreator.js +104 -104
- package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +5 -5
- package/lib/callgraph/pointerAnalysis/PTAUtils.js +46 -46
- package/lib/callgraph/pointerAnalysis/Pag.d.ts +261 -261
- package/lib/callgraph/pointerAnalysis/Pag.js +930 -930
- package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +157 -157
- package/lib/callgraph/pointerAnalysis/PagBuilder.js +1399 -1399
- package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts +72 -72
- package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +573 -573
- package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.d.ts +15 -15
- package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js +81 -81
- package/lib/callgraph/pointerAnalysis/PtsDS.d.ts +80 -80
- package/lib/callgraph/pointerAnalysis/PtsDS.js +308 -308
- package/lib/core/base/Constant.d.ts +48 -48
- package/lib/core/base/Constant.js +103 -103
- package/lib/core/base/Decorator.d.ts +15 -15
- package/lib/core/base/Decorator.js +46 -46
- package/lib/core/base/DefUseChain.d.ts +8 -8
- package/lib/core/base/DefUseChain.js +25 -25
- package/lib/core/base/Expr.d.ts +340 -340
- package/lib/core/base/Expr.js +917 -917
- package/lib/core/base/Local.d.ts +104 -104
- package/lib/core/base/Local.js +176 -176
- package/lib/core/base/Position.d.ts +30 -30
- package/lib/core/base/Position.js +147 -147
- package/lib/core/base/Ref.d.ts +173 -173
- package/lib/core/base/Ref.js +374 -374
- package/lib/core/base/Stmt.d.ts +237 -237
- package/lib/core/base/Stmt.js +525 -525
- package/lib/core/base/Trap.d.ts +8 -8
- package/lib/core/base/Trap.js +30 -30
- package/lib/core/base/Type.d.ts +308 -308
- package/lib/core/base/Type.js +639 -639
- package/lib/core/base/TypeExpr.d.ts +71 -71
- package/lib/core/base/TypeExpr.js +155 -155
- package/lib/core/base/Value.d.ts +32 -32
- package/lib/core/base/Value.js +16 -16
- package/lib/core/common/ArkError.d.ts +14 -14
- package/lib/core/common/ArkError.js +28 -28
- package/lib/core/common/ArkIRTransformer.d.ts +67 -67
- package/lib/core/common/ArkIRTransformer.js +690 -690
- package/lib/core/common/ArkValueTransformer.d.ts +89 -89
- package/lib/core/common/ArkValueTransformer.js +1478 -1478
- package/lib/core/common/Builtin.d.ts +36 -36
- package/lib/core/common/Builtin.js +81 -81
- package/lib/core/common/Const.d.ts +21 -21
- package/lib/core/common/Const.js +43 -43
- package/lib/core/common/DummyMainCreater.d.ts +46 -46
- package/lib/core/common/DummyMainCreater.js +319 -319
- package/lib/core/common/EtsConst.d.ts +73 -73
- package/lib/core/common/EtsConst.js +1021 -1021
- package/lib/core/common/ExprUseReplacer.d.ts +21 -21
- package/lib/core/common/ExprUseReplacer.js +124 -124
- package/lib/core/common/IRInference.d.ts +36 -36
- package/lib/core/common/IRInference.d.ts.map +1 -1
- package/lib/core/common/IRInference.js +651 -648
- package/lib/core/common/IRUtils.d.ts +18 -18
- package/lib/core/common/IRUtils.js +141 -141
- package/lib/core/common/ModelUtils.d.ts +70 -70
- package/lib/core/common/ModelUtils.js +712 -712
- package/lib/core/common/RefUseReplacer.d.ts +13 -13
- package/lib/core/common/RefUseReplacer.js +52 -52
- package/lib/core/common/SdkUtils.d.ts +8 -8
- package/lib/core/common/SdkUtils.js +105 -105
- package/lib/core/common/StmtDefReplacer.d.ts +12 -12
- package/lib/core/common/StmtDefReplacer.js +41 -41
- package/lib/core/common/StmtUseReplacer.d.ts +16 -16
- package/lib/core/common/StmtUseReplacer.js +108 -108
- package/lib/core/common/TSConst.d.ts +18 -18
- package/lib/core/common/TSConst.js +36 -36
- package/lib/core/common/TypeInference.d.ts +102 -102
- package/lib/core/common/TypeInference.js +748 -748
- package/lib/core/common/ValueUtil.d.ts +12 -12
- package/lib/core/common/ValueUtil.js +54 -54
- package/lib/core/common/VisibleValue.d.ts +36 -36
- package/lib/core/common/VisibleValue.js +212 -212
- package/lib/core/dataflow/DataflowProblem.d.ts +20 -20
- package/lib/core/dataflow/DataflowProblem.js +20 -20
- package/lib/core/dataflow/DataflowResult.d.ts +7 -7
- package/lib/core/dataflow/DataflowResult.js +26 -26
- package/lib/core/dataflow/DataflowSolver.d.ts +43 -43
- package/lib/core/dataflow/DataflowSolver.js +307 -307
- package/lib/core/dataflow/Edge.d.ts +11 -11
- package/lib/core/dataflow/Edge.js +31 -31
- package/lib/core/dataflow/Fact.d.ts +6 -6
- package/lib/core/dataflow/Fact.js +24 -24
- package/lib/core/dataflow/GenericDataFlow.d.ts +142 -142
- package/lib/core/dataflow/GenericDataFlow.js +109 -109
- package/lib/core/dataflow/ReachingDef.d.ts +62 -62
- package/lib/core/dataflow/ReachingDef.js +168 -168
- package/lib/core/dataflow/UndefinedVariable.d.ts +45 -45
- package/lib/core/dataflow/UndefinedVariable.js +288 -288
- package/lib/core/dataflow/Util.d.ts +9 -9
- package/lib/core/dataflow/Util.js +64 -64
- package/lib/core/graph/BaseExplicitGraph.d.ts +58 -58
- package/lib/core/graph/BaseExplicitGraph.js +157 -157
- package/lib/core/graph/BaseImplicitGraph.d.ts +77 -77
- package/lib/core/graph/BaseImplicitGraph.js +78 -78
- package/lib/core/graph/BasicBlock.d.ts +104 -104
- package/lib/core/graph/BasicBlock.js +280 -280
- package/lib/core/graph/Cfg.d.ts +59 -59
- package/lib/core/graph/Cfg.js +282 -282
- package/lib/core/graph/DependsGraph.d.ts +35 -35
- package/lib/core/graph/DependsGraph.js +87 -87
- package/lib/core/graph/DominanceFinder.d.ts +15 -15
- package/lib/core/graph/DominanceFinder.js +121 -121
- package/lib/core/graph/DominanceTree.d.ts +12 -12
- package/lib/core/graph/DominanceTree.js +70 -70
- package/lib/core/graph/GraphTraits.d.ts +7 -7
- package/lib/core/graph/GraphTraits.js +16 -16
- package/lib/core/graph/Scc.d.ts +61 -61
- package/lib/core/graph/Scc.js +222 -222
- package/lib/core/graph/ViewTree.d.ts +114 -114
- package/lib/core/graph/ViewTree.js +16 -16
- package/lib/core/graph/builder/CfgBuilder.d.ts +176 -176
- package/lib/core/graph/builder/CfgBuilder.js +1139 -1139
- package/lib/core/graph/builder/ConditionBuilder.d.ts +15 -15
- package/lib/core/graph/builder/ConditionBuilder.js +252 -252
- package/lib/core/graph/builder/LoopBuilder.d.ts +20 -20
- package/lib/core/graph/builder/LoopBuilder.js +251 -251
- package/lib/core/graph/builder/SwitchBuilder.d.ts +11 -11
- package/lib/core/graph/builder/SwitchBuilder.js +152 -152
- package/lib/core/graph/builder/TrapBuilder.d.ts +16 -16
- package/lib/core/graph/builder/TrapBuilder.js +272 -272
- package/lib/core/graph/builder/ViewTreeBuilder.d.ts +203 -203
- package/lib/core/graph/builder/ViewTreeBuilder.js +1055 -1055
- package/lib/core/model/ArkBaseModel.d.ts +59 -59
- package/lib/core/model/ArkBaseModel.js +274 -274
- package/lib/core/model/ArkBody.d.ts +24 -24
- package/lib/core/model/ArkBody.js +65 -65
- package/lib/core/model/ArkClass.d.ts +206 -206
- package/lib/core/model/ArkClass.js +439 -439
- package/lib/core/model/ArkExport.d.ts +72 -72
- package/lib/core/model/ArkExport.js +147 -147
- package/lib/core/model/ArkField.d.ts +62 -62
- package/lib/core/model/ArkField.js +113 -113
- package/lib/core/model/ArkFile.d.ts +131 -131
- package/lib/core/model/ArkFile.js +267 -267
- package/lib/core/model/ArkImport.d.ts +44 -44
- package/lib/core/model/ArkImport.js +108 -108
- package/lib/core/model/ArkMetadata.d.ts +31 -31
- package/lib/core/model/ArkMetadata.js +55 -55
- package/lib/core/model/ArkMethod.d.ts +261 -261
- package/lib/core/model/ArkMethod.js +592 -592
- package/lib/core/model/ArkNamespace.d.ts +66 -66
- package/lib/core/model/ArkNamespace.js +209 -209
- package/lib/core/model/ArkSignature.d.ts +162 -162
- package/lib/core/model/ArkSignature.js +379 -379
- package/lib/core/model/builder/ArkClassBuilder.d.ts +12 -12
- package/lib/core/model/builder/ArkClassBuilder.js +454 -454
- package/lib/core/model/builder/ArkExportBuilder.d.ts +24 -24
- package/lib/core/model/builder/ArkExportBuilder.js +210 -210
- package/lib/core/model/builder/ArkFieldBuilder.d.ts +8 -8
- package/lib/core/model/builder/ArkFieldBuilder.js +193 -193
- package/lib/core/model/builder/ArkFileBuilder.d.ts +9 -9
- package/lib/core/model/builder/ArkFileBuilder.js +165 -165
- package/lib/core/model/builder/ArkImportBuilder.d.ts +4 -4
- package/lib/core/model/builder/ArkImportBuilder.js +128 -128
- package/lib/core/model/builder/ArkMethodBuilder.d.ts +63 -63
- package/lib/core/model/builder/ArkMethodBuilder.js +486 -486
- package/lib/core/model/builder/ArkNamespaceBuilder.d.ts +5 -5
- package/lib/core/model/builder/ArkNamespaceBuilder.js +205 -205
- package/lib/core/model/builder/ArkSignatureBuilder.d.ts +8 -8
- package/lib/core/model/builder/ArkSignatureBuilder.js +40 -40
- package/lib/core/model/builder/BodyBuilder.d.ts +55 -30
- package/lib/core/model/builder/BodyBuilder.d.ts.map +1 -1
- package/lib/core/model/builder/BodyBuilder.js +542 -371
- package/lib/core/model/builder/builderUtils.d.ts +18 -18
- package/lib/core/model/builder/builderUtils.js +558 -558
- package/lib/index.d.ts +82 -80
- package/lib/index.d.ts.map +1 -1
- package/lib/index.js +201 -196
- package/lib/save/ArkStream.d.ts +23 -23
- package/lib/save/ArkStream.js +83 -83
- package/lib/save/DotPrinter.d.ts +43 -43
- package/lib/save/DotPrinter.js +170 -170
- package/lib/save/GraphPrinter.d.ts +16 -16
- package/lib/save/GraphPrinter.js +134 -134
- package/lib/save/JsonPrinter.d.ts +30 -30
- package/lib/save/JsonPrinter.js +580 -580
- package/lib/save/Printer.d.ts +12 -12
- package/lib/save/Printer.js +27 -27
- package/lib/save/PrinterBuilder.d.ts +53 -53
- package/lib/save/PrinterBuilder.js +145 -145
- package/lib/save/ViewTreePrinter.d.ts +14 -14
- package/lib/save/ViewTreePrinter.js +123 -123
- package/lib/save/arkir/ArkIRClassPrinter.d.ts +13 -13
- package/lib/save/arkir/ArkIRClassPrinter.js +92 -92
- package/lib/save/arkir/ArkIRFieldPrinter.d.ts +11 -11
- package/lib/save/arkir/ArkIRFieldPrinter.js +64 -64
- package/lib/save/arkir/ArkIRFilePrinter.d.ts +12 -12
- package/lib/save/arkir/ArkIRFilePrinter.js +54 -54
- package/lib/save/arkir/ArkIRMethodPrinter.d.ts +16 -16
- package/lib/save/arkir/ArkIRMethodPrinter.js +159 -159
- package/lib/save/arkir/ArkIRNamespacePrinter.d.ts +11 -11
- package/lib/save/arkir/ArkIRNamespacePrinter.js +66 -66
- package/lib/save/base/BasePrinter.d.ts +23 -23
- package/lib/save/base/BasePrinter.js +70 -70
- package/lib/save/base/ExportPrinter.d.ts +8 -8
- package/lib/save/base/ExportPrinter.js +67 -67
- package/lib/save/base/ImportPrinter.d.ts +9 -9
- package/lib/save/base/ImportPrinter.js +92 -92
- package/lib/save/base/PrinterUtils.d.ts +24 -24
- package/lib/save/base/PrinterUtils.js +208 -208
- package/lib/save/serializeArkIR.d.ts +8 -8
- package/lib/save/serializeArkIR.js +294 -294
- package/lib/save/source/SourceBase.d.ts +22 -22
- package/lib/save/source/SourceBase.js +64 -64
- package/lib/save/source/SourceBody.d.ts +58 -58
- package/lib/save/source/SourceBody.js +296 -296
- package/lib/save/source/SourceClass.d.ts +25 -25
- package/lib/save/source/SourceClass.js +187 -187
- package/lib/save/source/SourceField.d.ts +13 -13
- package/lib/save/source/SourceField.js +73 -73
- package/lib/save/source/SourceFilePrinter.d.ts +12 -12
- package/lib/save/source/SourceFilePrinter.js +69 -69
- package/lib/save/source/SourceMethod.d.ts +22 -22
- package/lib/save/source/SourceMethod.d.ts.map +1 -1
- package/lib/save/source/SourceMethod.js +196 -193
- package/lib/save/source/SourceNamespace.d.ts +11 -11
- package/lib/save/source/SourceNamespace.js +83 -83
- package/lib/save/source/SourceStmt.d.ts +178 -178
- package/lib/save/source/SourceStmt.js +838 -838
- package/lib/save/source/SourceTransformer.d.ts +46 -46
- package/lib/save/source/SourceTransformer.js +446 -446
- package/lib/transformer/FunctionTransformer.d.ts +2 -2
- package/lib/transformer/FunctionTransformer.js +17 -17
- package/lib/transformer/SceneTransformer.d.ts +2 -2
- package/lib/transformer/SceneTransformer.js +17 -17
- package/lib/transformer/StaticSingleAssignmentFormer.d.ts +12 -12
- package/lib/transformer/StaticSingleAssignmentFormer.js +259 -259
- package/lib/transformer/Transformer.d.ts +6 -6
- package/lib/transformer/Transformer.js +22 -22
- package/lib/utils/AstTreeUtils.d.ts +4 -4
- package/lib/utils/AstTreeUtils.js +26 -26
- package/lib/utils/CfgStructualAnalysis.d.ts +110 -110
- package/lib/utils/CfgStructualAnalysis.js +1277 -1277
- package/lib/utils/FileUtils.d.ts +18 -18
- package/lib/utils/FileUtils.js +135 -135
- package/lib/utils/SparseBitVector.d.ts +100 -100
- package/lib/utils/SparseBitVector.js +445 -445
- package/lib/utils/callGraphUtils.d.ts +30 -30
- package/lib/utils/callGraphUtils.js +205 -205
- package/lib/utils/crypto_utils.d.ts +5 -5
- package/lib/utils/crypto_utils.js +57 -57
- package/lib/utils/entryMethodUtils.d.ts +13 -13
- package/lib/utils/entryMethodUtils.js +110 -110
- package/lib/utils/getAllFiles.d.ts +9 -9
- package/lib/utils/getAllFiles.js +90 -90
- package/lib/utils/json5parser.d.ts +6 -6
- package/lib/utils/json5parser.js +146 -146
- package/lib/utils/logger.d.ts +18 -18
- package/lib/utils/logger.d.ts.map +1 -1
- package/lib/utils/logger.js +97 -90
- package/lib/utils/pathTransfer.d.ts +1 -1
- package/lib/utils/pathTransfer.js +25 -25
- package/node_modules/json5/lib/cli.js +0 -0
- package/node_modules/ohos-typescript/bin/tsc +0 -0
- package/node_modules/ohos-typescript/bin/tsserver +0 -0
- package/package.json +3 -3
|
@@ -1,296 +1,296 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
/*
|
|
3
|
-
* Copyright (c) 2024-2025 Huawei Device Co., Ltd.
|
|
4
|
-
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
5
|
-
* you may not use this file except in compliance with the License.
|
|
6
|
-
* You may obtain a copy of the License at
|
|
7
|
-
*
|
|
8
|
-
* http://www.apache.org/licenses/LICENSE-2.0
|
|
9
|
-
*
|
|
10
|
-
* Unless required by applicable law or agreed to in writing, software
|
|
11
|
-
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
12
|
-
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
13
|
-
* See the License for the specific language governing permissions and
|
|
14
|
-
* limitations under the License.
|
|
15
|
-
*/
|
|
16
|
-
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
17
|
-
if (k2 === undefined) k2 = k;
|
|
18
|
-
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
19
|
-
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
20
|
-
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
21
|
-
}
|
|
22
|
-
Object.defineProperty(o, k2, desc);
|
|
23
|
-
}) : (function(o, m, k, k2) {
|
|
24
|
-
if (k2 === undefined) k2 = k;
|
|
25
|
-
o[k2] = m[k];
|
|
26
|
-
}));
|
|
27
|
-
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
28
|
-
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
29
|
-
}) : function(o, v) {
|
|
30
|
-
o["default"] = v;
|
|
31
|
-
});
|
|
32
|
-
var __importStar = (this && this.__importStar) || function (mod) {
|
|
33
|
-
if (mod && mod.__esModule) return mod;
|
|
34
|
-
var result = {};
|
|
35
|
-
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
|
|
36
|
-
__setModuleDefault(result, mod);
|
|
37
|
-
return result;
|
|
38
|
-
};
|
|
39
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
40
|
-
exports.StmtReader = exports.SourceBody = void 0;
|
|
41
|
-
const Local_1 = require("../../core/base/Local");
|
|
42
|
-
const Stmt_1 = require("../../core/base/Stmt");
|
|
43
|
-
const logger_1 = __importStar(require("../../utils/logger"));
|
|
44
|
-
const ArkStream_1 = require("../ArkStream");
|
|
45
|
-
const SourceStmt_1 = require("./SourceStmt");
|
|
46
|
-
const CfgStructualAnalysis_1 = require("../../utils/CfgStructualAnalysis");
|
|
47
|
-
const ModelUtils_1 = require("../../core/common/ModelUtils");
|
|
48
|
-
const PrinterUtils_1 = require("../base/PrinterUtils");
|
|
49
|
-
const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'SourceBody');
|
|
50
|
-
class SourceBody {
|
|
51
|
-
constructor(indent, method, inBuilder) {
|
|
52
|
-
this.stmts = [];
|
|
53
|
-
this.printer = new ArkStream_1.ArkCodeBuffer(indent);
|
|
54
|
-
this.method = method;
|
|
55
|
-
this.arkBody = method.getBody();
|
|
56
|
-
this.cfgUtils = new CfgStructualAnalysis_1.AbstractFlowGraph(method.getCfg(), this.arkBody.getTraps());
|
|
57
|
-
this.tempCodeMap = new Map();
|
|
58
|
-
this.tempVisitor = new Set();
|
|
59
|
-
this.definedLocals = new Set();
|
|
60
|
-
this.inBuilder = inBuilder;
|
|
61
|
-
this.skipStmts = new Set();
|
|
62
|
-
this.stmtReader = new StmtReader([]);
|
|
63
|
-
this.lastStmt = this.arkBody.getCfg().getStartingStmt();
|
|
64
|
-
this.buildSourceStmt();
|
|
65
|
-
}
|
|
66
|
-
setSkipStmt(stmt) {
|
|
67
|
-
this.skipStmts.add(stmt);
|
|
68
|
-
}
|
|
69
|
-
isInBuilderMethod() {
|
|
70
|
-
return this.inBuilder;
|
|
71
|
-
}
|
|
72
|
-
isInDefaultMethod() {
|
|
73
|
-
return this.method.isDefaultArkMethod();
|
|
74
|
-
}
|
|
75
|
-
getArkFile() {
|
|
76
|
-
return this.method.getDeclaringArkFile();
|
|
77
|
-
}
|
|
78
|
-
getDeclaringArkNamespace() {
|
|
79
|
-
return this.method.getDeclaringArkClass().getDeclaringArkNamespace();
|
|
80
|
-
}
|
|
81
|
-
getMethod(signature) {
|
|
82
|
-
let method = this.method.getDeclaringArkFile().getScene().getMethod(signature);
|
|
83
|
-
if (method) {
|
|
84
|
-
return method;
|
|
85
|
-
}
|
|
86
|
-
return this.method.getDeclaringArkClass().getMethodWithName(signature.getMethodSubSignature().getMethodName());
|
|
87
|
-
}
|
|
88
|
-
getClass(signature) {
|
|
89
|
-
return ModelUtils_1.ModelUtils.getClass(this.method, signature);
|
|
90
|
-
}
|
|
91
|
-
getLocals() {
|
|
92
|
-
return this.arkBody.getLocals();
|
|
93
|
-
}
|
|
94
|
-
defineLocal(local) {
|
|
95
|
-
this.definedLocals.add(local);
|
|
96
|
-
}
|
|
97
|
-
isLocalDefined(local) {
|
|
98
|
-
return this.definedLocals.has(local);
|
|
99
|
-
}
|
|
100
|
-
getStmtReader() {
|
|
101
|
-
return this.stmtReader;
|
|
102
|
-
}
|
|
103
|
-
setTempCode(temp, code) {
|
|
104
|
-
this.tempCodeMap.set(temp, code);
|
|
105
|
-
}
|
|
106
|
-
transTemp2Code(temp) {
|
|
107
|
-
if (this.tempCodeMap.has(temp.getName()) && PrinterUtils_1.PrinterUtils.isTemp(temp.getName())) {
|
|
108
|
-
this.tempVisitor.add(temp.getName());
|
|
109
|
-
return this.tempCodeMap.get(temp.getName());
|
|
110
|
-
}
|
|
111
|
-
return temp.getName();
|
|
112
|
-
}
|
|
113
|
-
getTempCodeMap() {
|
|
114
|
-
return this.tempCodeMap;
|
|
115
|
-
}
|
|
116
|
-
hasTempVisit(temp) {
|
|
117
|
-
return this.tempVisitor.has(temp);
|
|
118
|
-
}
|
|
119
|
-
setTempVisit(temp) {
|
|
120
|
-
this.tempVisitor.add(temp);
|
|
121
|
-
}
|
|
122
|
-
getPrinter() {
|
|
123
|
-
return this.printer;
|
|
124
|
-
}
|
|
125
|
-
dump() {
|
|
126
|
-
this.printStmts();
|
|
127
|
-
return this.printer.toString();
|
|
128
|
-
}
|
|
129
|
-
buildSourceStmt() {
|
|
130
|
-
this.cfgUtils.preOrder(this.cfgUtils.getEntry(), (block, type) => {
|
|
131
|
-
this.buildBasicBlock(block, type);
|
|
132
|
-
});
|
|
133
|
-
}
|
|
134
|
-
buildBasicBlock(block, type) {
|
|
135
|
-
if (type === CfgStructualAnalysis_1.CodeBlockType.BREAK) {
|
|
136
|
-
this.pushStmt(new SourceStmt_1.SourceBreakStmt(this, this.lastStmt));
|
|
137
|
-
return;
|
|
138
|
-
}
|
|
139
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.CONTINUE) {
|
|
140
|
-
this.pushStmt(new SourceStmt_1.SourceContinueStmt(this, this.lastStmt));
|
|
141
|
-
}
|
|
142
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.COMPOUND_END) {
|
|
143
|
-
this.pushStmt(new SourceStmt_1.SourceCompoundEndStmt(this, this.lastStmt, '}'));
|
|
144
|
-
}
|
|
145
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.ELSE) {
|
|
146
|
-
this.pushStmt(new SourceStmt_1.SourceElseStmt(this, this.lastStmt));
|
|
147
|
-
}
|
|
148
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.DO) {
|
|
149
|
-
this.pushStmt(new SourceStmt_1.SourceDoStmt(this, this.lastStmt));
|
|
150
|
-
}
|
|
151
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.TRY) {
|
|
152
|
-
this.pushStmt(new SourceStmt_1.SourceTryStmt(this, this.lastStmt));
|
|
153
|
-
}
|
|
154
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.CATCH) {
|
|
155
|
-
this.pushStmt(new SourceStmt_1.SourceCatchStmt(this, this.lastStmt, block));
|
|
156
|
-
// catch need read block first stmt, using return to void walk block twice.
|
|
157
|
-
return;
|
|
158
|
-
}
|
|
159
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.FINALLY) {
|
|
160
|
-
this.pushStmt(new SourceStmt_1.SourceFinallyStmt(this, this.lastStmt));
|
|
161
|
-
}
|
|
162
|
-
if (!block) {
|
|
163
|
-
return;
|
|
164
|
-
}
|
|
165
|
-
let originalStmts = this.sortStmt(block.getStmts());
|
|
166
|
-
this.stmtReader = new StmtReader(originalStmts);
|
|
167
|
-
while (this.stmtReader.hasNext()) {
|
|
168
|
-
let stmt = this.stmtReader.next();
|
|
169
|
-
if (this.skipStmts.has(stmt)) {
|
|
170
|
-
continue;
|
|
171
|
-
}
|
|
172
|
-
if (stmt instanceof Stmt_1.ArkIfStmt) {
|
|
173
|
-
if (type === CfgStructualAnalysis_1.CodeBlockType.IF) {
|
|
174
|
-
this.pushStmt(new SourceStmt_1.SourceIfStmt(this, stmt));
|
|
175
|
-
}
|
|
176
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.WHILE) {
|
|
177
|
-
this.pushStmt(new SourceStmt_1.SourceWhileStmt(this, stmt, block));
|
|
178
|
-
}
|
|
179
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.FOR) {
|
|
180
|
-
let inc = this.cfgUtils.getForIncBlock(block);
|
|
181
|
-
this.pushStmt(new SourceStmt_1.SourceForStmt(this, stmt, block, inc));
|
|
182
|
-
}
|
|
183
|
-
else if (type === CfgStructualAnalysis_1.CodeBlockType.DO_WHILE) {
|
|
184
|
-
this.pushStmt(new SourceStmt_1.SourceDoWhileStmt(this, stmt, block));
|
|
185
|
-
}
|
|
186
|
-
}
|
|
187
|
-
else {
|
|
188
|
-
this.pushStmt((0, SourceStmt_1.stmt2SourceStmt)(this, stmt));
|
|
189
|
-
}
|
|
190
|
-
this.lastStmt = stmt;
|
|
191
|
-
}
|
|
192
|
-
}
|
|
193
|
-
printStmts() {
|
|
194
|
-
for (let stmt of this.stmts) {
|
|
195
|
-
if (this.skipStmts.has(stmt.original)) {
|
|
196
|
-
continue;
|
|
197
|
-
}
|
|
198
|
-
this.printer.write(stmt.dump());
|
|
199
|
-
}
|
|
200
|
-
}
|
|
201
|
-
getStmts() {
|
|
202
|
-
return this.stmts.filter((value) => {
|
|
203
|
-
if (!this.skipStmts.has(value.original)) {
|
|
204
|
-
return value;
|
|
205
|
-
}
|
|
206
|
-
});
|
|
207
|
-
}
|
|
208
|
-
pushStmt(stmt) {
|
|
209
|
-
let lastLine = this.getLastLine();
|
|
210
|
-
if (stmt.getLine() < lastLine) {
|
|
211
|
-
stmt.setLine(lastLine + 0.1);
|
|
212
|
-
}
|
|
213
|
-
stmt.transfer2ts();
|
|
214
|
-
this.stmts.push(stmt);
|
|
215
|
-
}
|
|
216
|
-
getLastLine() {
|
|
217
|
-
if (this.stmts.length > 0) {
|
|
218
|
-
return this.stmts[this.stmts.length - 1].getLine();
|
|
219
|
-
}
|
|
220
|
-
return 0;
|
|
221
|
-
}
|
|
222
|
-
/*
|
|
223
|
-
* temp9 = new <>.<>(); temp10 = new Array<number>(3);
|
|
224
|
-
* temp10 = new Array<number>(3); temp10[0] = 'Cat';
|
|
225
|
-
* temp10[0] = 'Cat'; ==> temp10[1] = 'Dog';
|
|
226
|
-
* temp10[1] = 'Dog'; temp10[2] = 'Hamster';
|
|
227
|
-
* temp10[2] = 'Hamster'; temp9 = new <>.<>();
|
|
228
|
-
* temp9.constructor(temp10); temp9.constructor(temp10);
|
|
229
|
-
*/
|
|
230
|
-
sortStmt(stmts) {
|
|
231
|
-
for (let i = stmts.length - 1; i > 0; i--) {
|
|
232
|
-
if (stmts[i] instanceof Stmt_1.ArkInvokeStmt && stmts[i].getInvokeExpr()) {
|
|
233
|
-
let instanceInvokeExpr = stmts[i].getInvokeExpr();
|
|
234
|
-
if ('constructor' === instanceInvokeExpr.getMethodSignature().getMethodSubSignature().getMethodName()) {
|
|
235
|
-
let localName = instanceInvokeExpr.getBase().getName();
|
|
236
|
-
let newExprIdx = findNewExpr(i, localName);
|
|
237
|
-
if (newExprIdx >= 0 && newExprIdx < i - 1) {
|
|
238
|
-
moveStmt(i, newExprIdx);
|
|
239
|
-
}
|
|
240
|
-
}
|
|
241
|
-
}
|
|
242
|
-
}
|
|
243
|
-
return stmts;
|
|
244
|
-
function findNewExpr(constructorIdx, name) {
|
|
245
|
-
for (let j = constructorIdx - 1; j >= 0; j--) {
|
|
246
|
-
if (!(stmts[j] instanceof Stmt_1.ArkAssignStmt)) {
|
|
247
|
-
continue;
|
|
248
|
-
}
|
|
249
|
-
if (stmts[j].getLeftOp() instanceof Local_1.Local) {
|
|
250
|
-
if (stmts[j].getLeftOp().getName() === name) {
|
|
251
|
-
return j;
|
|
252
|
-
}
|
|
253
|
-
}
|
|
254
|
-
}
|
|
255
|
-
return -1;
|
|
256
|
-
}
|
|
257
|
-
function moveStmt(constructorIdx, newExprIdx) {
|
|
258
|
-
let back = stmts[newExprIdx];
|
|
259
|
-
for (let i = newExprIdx; i < constructorIdx - 1; i++) {
|
|
260
|
-
stmts[i] = stmts[i + 1];
|
|
261
|
-
}
|
|
262
|
-
stmts[constructorIdx - 1] = back;
|
|
263
|
-
}
|
|
264
|
-
}
|
|
265
|
-
}
|
|
266
|
-
exports.SourceBody = SourceBody;
|
|
267
|
-
class StmtReader {
|
|
268
|
-
constructor(stmts) {
|
|
269
|
-
this.stmts = [];
|
|
270
|
-
this.stmts = stmts;
|
|
271
|
-
this.pos = 0;
|
|
272
|
-
}
|
|
273
|
-
first() {
|
|
274
|
-
return this.stmts[0];
|
|
275
|
-
}
|
|
276
|
-
hasNext() {
|
|
277
|
-
return this.pos < this.stmts.length;
|
|
278
|
-
}
|
|
279
|
-
next() {
|
|
280
|
-
if (!this.hasNext()) {
|
|
281
|
-
logger.error('SourceBody: StmtReader->next No more stmt.');
|
|
282
|
-
throw new Error('No more stmt.');
|
|
283
|
-
}
|
|
284
|
-
let stmt = this.stmts[this.pos];
|
|
285
|
-
this.pos++;
|
|
286
|
-
return stmt;
|
|
287
|
-
}
|
|
288
|
-
rollback() {
|
|
289
|
-
if (this.pos === 0) {
|
|
290
|
-
logger.error('SourceBody: StmtReader->rollback No more stmt to rollback.');
|
|
291
|
-
throw new Error('No more stmt to rollback.');
|
|
292
|
-
}
|
|
293
|
-
this.pos--;
|
|
294
|
-
}
|
|
295
|
-
}
|
|
296
|
-
exports.StmtReader = StmtReader;
|
|
1
|
+
"use strict";
|
|
2
|
+
/*
|
|
3
|
+
* Copyright (c) 2024-2025 Huawei Device Co., Ltd.
|
|
4
|
+
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
5
|
+
* you may not use this file except in compliance with the License.
|
|
6
|
+
* You may obtain a copy of the License at
|
|
7
|
+
*
|
|
8
|
+
* http://www.apache.org/licenses/LICENSE-2.0
|
|
9
|
+
*
|
|
10
|
+
* Unless required by applicable law or agreed to in writing, software
|
|
11
|
+
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
12
|
+
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
13
|
+
* See the License for the specific language governing permissions and
|
|
14
|
+
* limitations under the License.
|
|
15
|
+
*/
|
|
16
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
17
|
+
if (k2 === undefined) k2 = k;
|
|
18
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
19
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
20
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
21
|
+
}
|
|
22
|
+
Object.defineProperty(o, k2, desc);
|
|
23
|
+
}) : (function(o, m, k, k2) {
|
|
24
|
+
if (k2 === undefined) k2 = k;
|
|
25
|
+
o[k2] = m[k];
|
|
26
|
+
}));
|
|
27
|
+
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
28
|
+
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
29
|
+
}) : function(o, v) {
|
|
30
|
+
o["default"] = v;
|
|
31
|
+
});
|
|
32
|
+
var __importStar = (this && this.__importStar) || function (mod) {
|
|
33
|
+
if (mod && mod.__esModule) return mod;
|
|
34
|
+
var result = {};
|
|
35
|
+
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
|
|
36
|
+
__setModuleDefault(result, mod);
|
|
37
|
+
return result;
|
|
38
|
+
};
|
|
39
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
40
|
+
exports.StmtReader = exports.SourceBody = void 0;
|
|
41
|
+
const Local_1 = require("../../core/base/Local");
|
|
42
|
+
const Stmt_1 = require("../../core/base/Stmt");
|
|
43
|
+
const logger_1 = __importStar(require("../../utils/logger"));
|
|
44
|
+
const ArkStream_1 = require("../ArkStream");
|
|
45
|
+
const SourceStmt_1 = require("./SourceStmt");
|
|
46
|
+
const CfgStructualAnalysis_1 = require("../../utils/CfgStructualAnalysis");
|
|
47
|
+
const ModelUtils_1 = require("../../core/common/ModelUtils");
|
|
48
|
+
const PrinterUtils_1 = require("../base/PrinterUtils");
|
|
49
|
+
const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'SourceBody');
|
|
50
|
+
class SourceBody {
|
|
51
|
+
constructor(indent, method, inBuilder) {
|
|
52
|
+
this.stmts = [];
|
|
53
|
+
this.printer = new ArkStream_1.ArkCodeBuffer(indent);
|
|
54
|
+
this.method = method;
|
|
55
|
+
this.arkBody = method.getBody();
|
|
56
|
+
this.cfgUtils = new CfgStructualAnalysis_1.AbstractFlowGraph(method.getCfg(), this.arkBody.getTraps());
|
|
57
|
+
this.tempCodeMap = new Map();
|
|
58
|
+
this.tempVisitor = new Set();
|
|
59
|
+
this.definedLocals = new Set();
|
|
60
|
+
this.inBuilder = inBuilder;
|
|
61
|
+
this.skipStmts = new Set();
|
|
62
|
+
this.stmtReader = new StmtReader([]);
|
|
63
|
+
this.lastStmt = this.arkBody.getCfg().getStartingStmt();
|
|
64
|
+
this.buildSourceStmt();
|
|
65
|
+
}
|
|
66
|
+
setSkipStmt(stmt) {
|
|
67
|
+
this.skipStmts.add(stmt);
|
|
68
|
+
}
|
|
69
|
+
isInBuilderMethod() {
|
|
70
|
+
return this.inBuilder;
|
|
71
|
+
}
|
|
72
|
+
isInDefaultMethod() {
|
|
73
|
+
return this.method.isDefaultArkMethod();
|
|
74
|
+
}
|
|
75
|
+
getArkFile() {
|
|
76
|
+
return this.method.getDeclaringArkFile();
|
|
77
|
+
}
|
|
78
|
+
getDeclaringArkNamespace() {
|
|
79
|
+
return this.method.getDeclaringArkClass().getDeclaringArkNamespace();
|
|
80
|
+
}
|
|
81
|
+
getMethod(signature) {
|
|
82
|
+
let method = this.method.getDeclaringArkFile().getScene().getMethod(signature);
|
|
83
|
+
if (method) {
|
|
84
|
+
return method;
|
|
85
|
+
}
|
|
86
|
+
return this.method.getDeclaringArkClass().getMethodWithName(signature.getMethodSubSignature().getMethodName());
|
|
87
|
+
}
|
|
88
|
+
getClass(signature) {
|
|
89
|
+
return ModelUtils_1.ModelUtils.getClass(this.method, signature);
|
|
90
|
+
}
|
|
91
|
+
getLocals() {
|
|
92
|
+
return this.arkBody.getLocals();
|
|
93
|
+
}
|
|
94
|
+
defineLocal(local) {
|
|
95
|
+
this.definedLocals.add(local);
|
|
96
|
+
}
|
|
97
|
+
isLocalDefined(local) {
|
|
98
|
+
return this.definedLocals.has(local);
|
|
99
|
+
}
|
|
100
|
+
getStmtReader() {
|
|
101
|
+
return this.stmtReader;
|
|
102
|
+
}
|
|
103
|
+
setTempCode(temp, code) {
|
|
104
|
+
this.tempCodeMap.set(temp, code);
|
|
105
|
+
}
|
|
106
|
+
transTemp2Code(temp) {
|
|
107
|
+
if (this.tempCodeMap.has(temp.getName()) && PrinterUtils_1.PrinterUtils.isTemp(temp.getName())) {
|
|
108
|
+
this.tempVisitor.add(temp.getName());
|
|
109
|
+
return this.tempCodeMap.get(temp.getName());
|
|
110
|
+
}
|
|
111
|
+
return temp.getName();
|
|
112
|
+
}
|
|
113
|
+
getTempCodeMap() {
|
|
114
|
+
return this.tempCodeMap;
|
|
115
|
+
}
|
|
116
|
+
hasTempVisit(temp) {
|
|
117
|
+
return this.tempVisitor.has(temp);
|
|
118
|
+
}
|
|
119
|
+
setTempVisit(temp) {
|
|
120
|
+
this.tempVisitor.add(temp);
|
|
121
|
+
}
|
|
122
|
+
getPrinter() {
|
|
123
|
+
return this.printer;
|
|
124
|
+
}
|
|
125
|
+
dump() {
|
|
126
|
+
this.printStmts();
|
|
127
|
+
return this.printer.toString();
|
|
128
|
+
}
|
|
129
|
+
buildSourceStmt() {
|
|
130
|
+
this.cfgUtils.preOrder(this.cfgUtils.getEntry(), (block, type) => {
|
|
131
|
+
this.buildBasicBlock(block, type);
|
|
132
|
+
});
|
|
133
|
+
}
|
|
134
|
+
buildBasicBlock(block, type) {
|
|
135
|
+
if (type === CfgStructualAnalysis_1.CodeBlockType.BREAK) {
|
|
136
|
+
this.pushStmt(new SourceStmt_1.SourceBreakStmt(this, this.lastStmt));
|
|
137
|
+
return;
|
|
138
|
+
}
|
|
139
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.CONTINUE) {
|
|
140
|
+
this.pushStmt(new SourceStmt_1.SourceContinueStmt(this, this.lastStmt));
|
|
141
|
+
}
|
|
142
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.COMPOUND_END) {
|
|
143
|
+
this.pushStmt(new SourceStmt_1.SourceCompoundEndStmt(this, this.lastStmt, '}'));
|
|
144
|
+
}
|
|
145
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.ELSE) {
|
|
146
|
+
this.pushStmt(new SourceStmt_1.SourceElseStmt(this, this.lastStmt));
|
|
147
|
+
}
|
|
148
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.DO) {
|
|
149
|
+
this.pushStmt(new SourceStmt_1.SourceDoStmt(this, this.lastStmt));
|
|
150
|
+
}
|
|
151
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.TRY) {
|
|
152
|
+
this.pushStmt(new SourceStmt_1.SourceTryStmt(this, this.lastStmt));
|
|
153
|
+
}
|
|
154
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.CATCH) {
|
|
155
|
+
this.pushStmt(new SourceStmt_1.SourceCatchStmt(this, this.lastStmt, block));
|
|
156
|
+
// catch need read block first stmt, using return to void walk block twice.
|
|
157
|
+
return;
|
|
158
|
+
}
|
|
159
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.FINALLY) {
|
|
160
|
+
this.pushStmt(new SourceStmt_1.SourceFinallyStmt(this, this.lastStmt));
|
|
161
|
+
}
|
|
162
|
+
if (!block) {
|
|
163
|
+
return;
|
|
164
|
+
}
|
|
165
|
+
let originalStmts = this.sortStmt(block.getStmts());
|
|
166
|
+
this.stmtReader = new StmtReader(originalStmts);
|
|
167
|
+
while (this.stmtReader.hasNext()) {
|
|
168
|
+
let stmt = this.stmtReader.next();
|
|
169
|
+
if (this.skipStmts.has(stmt)) {
|
|
170
|
+
continue;
|
|
171
|
+
}
|
|
172
|
+
if (stmt instanceof Stmt_1.ArkIfStmt) {
|
|
173
|
+
if (type === CfgStructualAnalysis_1.CodeBlockType.IF) {
|
|
174
|
+
this.pushStmt(new SourceStmt_1.SourceIfStmt(this, stmt));
|
|
175
|
+
}
|
|
176
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.WHILE) {
|
|
177
|
+
this.pushStmt(new SourceStmt_1.SourceWhileStmt(this, stmt, block));
|
|
178
|
+
}
|
|
179
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.FOR) {
|
|
180
|
+
let inc = this.cfgUtils.getForIncBlock(block);
|
|
181
|
+
this.pushStmt(new SourceStmt_1.SourceForStmt(this, stmt, block, inc));
|
|
182
|
+
}
|
|
183
|
+
else if (type === CfgStructualAnalysis_1.CodeBlockType.DO_WHILE) {
|
|
184
|
+
this.pushStmt(new SourceStmt_1.SourceDoWhileStmt(this, stmt, block));
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
else {
|
|
188
|
+
this.pushStmt((0, SourceStmt_1.stmt2SourceStmt)(this, stmt));
|
|
189
|
+
}
|
|
190
|
+
this.lastStmt = stmt;
|
|
191
|
+
}
|
|
192
|
+
}
|
|
193
|
+
printStmts() {
|
|
194
|
+
for (let stmt of this.stmts) {
|
|
195
|
+
if (this.skipStmts.has(stmt.original)) {
|
|
196
|
+
continue;
|
|
197
|
+
}
|
|
198
|
+
this.printer.write(stmt.dump());
|
|
199
|
+
}
|
|
200
|
+
}
|
|
201
|
+
getStmts() {
|
|
202
|
+
return this.stmts.filter((value) => {
|
|
203
|
+
if (!this.skipStmts.has(value.original)) {
|
|
204
|
+
return value;
|
|
205
|
+
}
|
|
206
|
+
});
|
|
207
|
+
}
|
|
208
|
+
pushStmt(stmt) {
|
|
209
|
+
let lastLine = this.getLastLine();
|
|
210
|
+
if (stmt.getLine() < lastLine) {
|
|
211
|
+
stmt.setLine(lastLine + 0.1);
|
|
212
|
+
}
|
|
213
|
+
stmt.transfer2ts();
|
|
214
|
+
this.stmts.push(stmt);
|
|
215
|
+
}
|
|
216
|
+
getLastLine() {
|
|
217
|
+
if (this.stmts.length > 0) {
|
|
218
|
+
return this.stmts[this.stmts.length - 1].getLine();
|
|
219
|
+
}
|
|
220
|
+
return 0;
|
|
221
|
+
}
|
|
222
|
+
/*
|
|
223
|
+
* temp9 = new <>.<>(); temp10 = new Array<number>(3);
|
|
224
|
+
* temp10 = new Array<number>(3); temp10[0] = 'Cat';
|
|
225
|
+
* temp10[0] = 'Cat'; ==> temp10[1] = 'Dog';
|
|
226
|
+
* temp10[1] = 'Dog'; temp10[2] = 'Hamster';
|
|
227
|
+
* temp10[2] = 'Hamster'; temp9 = new <>.<>();
|
|
228
|
+
* temp9.constructor(temp10); temp9.constructor(temp10);
|
|
229
|
+
*/
|
|
230
|
+
sortStmt(stmts) {
|
|
231
|
+
for (let i = stmts.length - 1; i > 0; i--) {
|
|
232
|
+
if (stmts[i] instanceof Stmt_1.ArkInvokeStmt && stmts[i].getInvokeExpr()) {
|
|
233
|
+
let instanceInvokeExpr = stmts[i].getInvokeExpr();
|
|
234
|
+
if ('constructor' === instanceInvokeExpr.getMethodSignature().getMethodSubSignature().getMethodName()) {
|
|
235
|
+
let localName = instanceInvokeExpr.getBase().getName();
|
|
236
|
+
let newExprIdx = findNewExpr(i, localName);
|
|
237
|
+
if (newExprIdx >= 0 && newExprIdx < i - 1) {
|
|
238
|
+
moveStmt(i, newExprIdx);
|
|
239
|
+
}
|
|
240
|
+
}
|
|
241
|
+
}
|
|
242
|
+
}
|
|
243
|
+
return stmts;
|
|
244
|
+
function findNewExpr(constructorIdx, name) {
|
|
245
|
+
for (let j = constructorIdx - 1; j >= 0; j--) {
|
|
246
|
+
if (!(stmts[j] instanceof Stmt_1.ArkAssignStmt)) {
|
|
247
|
+
continue;
|
|
248
|
+
}
|
|
249
|
+
if (stmts[j].getLeftOp() instanceof Local_1.Local) {
|
|
250
|
+
if (stmts[j].getLeftOp().getName() === name) {
|
|
251
|
+
return j;
|
|
252
|
+
}
|
|
253
|
+
}
|
|
254
|
+
}
|
|
255
|
+
return -1;
|
|
256
|
+
}
|
|
257
|
+
function moveStmt(constructorIdx, newExprIdx) {
|
|
258
|
+
let back = stmts[newExprIdx];
|
|
259
|
+
for (let i = newExprIdx; i < constructorIdx - 1; i++) {
|
|
260
|
+
stmts[i] = stmts[i + 1];
|
|
261
|
+
}
|
|
262
|
+
stmts[constructorIdx - 1] = back;
|
|
263
|
+
}
|
|
264
|
+
}
|
|
265
|
+
}
|
|
266
|
+
exports.SourceBody = SourceBody;
|
|
267
|
+
class StmtReader {
|
|
268
|
+
constructor(stmts) {
|
|
269
|
+
this.stmts = [];
|
|
270
|
+
this.stmts = stmts;
|
|
271
|
+
this.pos = 0;
|
|
272
|
+
}
|
|
273
|
+
first() {
|
|
274
|
+
return this.stmts[0];
|
|
275
|
+
}
|
|
276
|
+
hasNext() {
|
|
277
|
+
return this.pos < this.stmts.length;
|
|
278
|
+
}
|
|
279
|
+
next() {
|
|
280
|
+
if (!this.hasNext()) {
|
|
281
|
+
logger.error('SourceBody: StmtReader->next No more stmt.');
|
|
282
|
+
throw new Error('No more stmt.');
|
|
283
|
+
}
|
|
284
|
+
let stmt = this.stmts[this.pos];
|
|
285
|
+
this.pos++;
|
|
286
|
+
return stmt;
|
|
287
|
+
}
|
|
288
|
+
rollback() {
|
|
289
|
+
if (this.pos === 0) {
|
|
290
|
+
logger.error('SourceBody: StmtReader->rollback No more stmt to rollback.');
|
|
291
|
+
throw new Error('No more stmt to rollback.');
|
|
292
|
+
}
|
|
293
|
+
this.pos--;
|
|
294
|
+
}
|
|
295
|
+
}
|
|
296
|
+
exports.StmtReader = StmtReader;
|
|
@@ -1,26 +1,26 @@
|
|
|
1
|
-
import { ArkClass } from '../../core/model/ArkClass';
|
|
2
|
-
import { SourceBase } from './SourceBase';
|
|
3
|
-
import { ArkNamespace } from '../../core/model/ArkNamespace';
|
|
4
|
-
import { Dump } from '../base/BasePrinter';
|
|
5
|
-
/**
|
|
6
|
-
* @category save
|
|
7
|
-
*/
|
|
8
|
-
export declare class SourceClass extends SourceBase {
|
|
9
|
-
protected cls: ArkClass;
|
|
10
|
-
private transformer;
|
|
11
|
-
constructor(cls: ArkClass, indent?: string);
|
|
12
|
-
getDeclaringArkNamespace(): ArkNamespace | undefined;
|
|
13
|
-
getLine(): number;
|
|
14
|
-
dump(): string;
|
|
15
|
-
private dumpObject;
|
|
16
|
-
private dumpTypeLiteral;
|
|
17
|
-
protected printMethods(): Dump[];
|
|
18
|
-
private printFields;
|
|
19
|
-
private parseFieldInitMethod;
|
|
20
|
-
}
|
|
21
|
-
export declare class SourceDefaultClass extends SourceClass {
|
|
22
|
-
constructor(cls: ArkClass, indent?: string);
|
|
23
|
-
getLine(): number;
|
|
24
|
-
dump(): string;
|
|
25
|
-
}
|
|
1
|
+
import { ArkClass } from '../../core/model/ArkClass';
|
|
2
|
+
import { SourceBase } from './SourceBase';
|
|
3
|
+
import { ArkNamespace } from '../../core/model/ArkNamespace';
|
|
4
|
+
import { Dump } from '../base/BasePrinter';
|
|
5
|
+
/**
|
|
6
|
+
* @category save
|
|
7
|
+
*/
|
|
8
|
+
export declare class SourceClass extends SourceBase {
|
|
9
|
+
protected cls: ArkClass;
|
|
10
|
+
private transformer;
|
|
11
|
+
constructor(cls: ArkClass, indent?: string);
|
|
12
|
+
getDeclaringArkNamespace(): ArkNamespace | undefined;
|
|
13
|
+
getLine(): number;
|
|
14
|
+
dump(): string;
|
|
15
|
+
private dumpObject;
|
|
16
|
+
private dumpTypeLiteral;
|
|
17
|
+
protected printMethods(): Dump[];
|
|
18
|
+
private printFields;
|
|
19
|
+
private parseFieldInitMethod;
|
|
20
|
+
}
|
|
21
|
+
export declare class SourceDefaultClass extends SourceClass {
|
|
22
|
+
constructor(cls: ArkClass, indent?: string);
|
|
23
|
+
getLine(): number;
|
|
24
|
+
dump(): string;
|
|
25
|
+
}
|
|
26
26
|
//# sourceMappingURL=SourceClass.d.ts.map
|