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,262 +1,262 @@
|
|
|
1
|
-
import { ArkParameterRef } from '../base/Ref';
|
|
2
|
-
import { Stmt } from '../base/Stmt';
|
|
3
|
-
import { GenericType, Type } from '../base/Type';
|
|
4
|
-
import { Value } from '../base/Value';
|
|
5
|
-
import { Cfg } from '../graph/Cfg';
|
|
6
|
-
import { ViewTree } from '../graph/ViewTree';
|
|
7
|
-
import { ArkBody } from './ArkBody';
|
|
8
|
-
import { ArkClass } from './ArkClass';
|
|
9
|
-
import { MethodSignature } from './ArkSignature';
|
|
10
|
-
import { BodyBuilder } from './builder/BodyBuilder';
|
|
11
|
-
import { ArkExport, ExportType } from './ArkExport';
|
|
12
|
-
import { LineCol } from '../base/Position';
|
|
13
|
-
import { ArkBaseModel } from './ArkBaseModel';
|
|
14
|
-
import { ArkError } from '../common/ArkError';
|
|
15
|
-
import { Local } from '../base/Local';
|
|
16
|
-
export declare const arkMethodNodeKind: string[];
|
|
17
|
-
/**
|
|
18
|
-
* @category core/model
|
|
19
|
-
*/
|
|
20
|
-
export declare class ArkMethod extends ArkBaseModel implements ArkExport {
|
|
21
|
-
private code?;
|
|
22
|
-
private declaringArkClass;
|
|
23
|
-
private outerMethod?;
|
|
24
|
-
private genericTypes?;
|
|
25
|
-
private methodDeclareSignatures?;
|
|
26
|
-
private methodDeclareLineCols?;
|
|
27
|
-
private methodSignature?;
|
|
28
|
-
private lineCol?;
|
|
29
|
-
private body?;
|
|
30
|
-
private viewTree?;
|
|
31
|
-
private bodyBuilder?;
|
|
32
|
-
private isGeneratedFlag;
|
|
33
|
-
private asteriskToken;
|
|
34
|
-
constructor();
|
|
35
|
-
getExportType(): ExportType;
|
|
36
|
-
getName(): string;
|
|
37
|
-
/**
|
|
38
|
-
* Returns the codes of method as a **string.**
|
|
39
|
-
* @returns the codes of method.
|
|
40
|
-
*/
|
|
41
|
-
getCode(): string | undefined;
|
|
42
|
-
setCode(code: string): void;
|
|
43
|
-
/**
|
|
44
|
-
* Get all lines of the method's declarations or null if the method has no seperated declaration.
|
|
45
|
-
* @returns null or the lines of the method's declarations with number type.
|
|
46
|
-
*/
|
|
47
|
-
getDeclareLines(): number[] | null;
|
|
48
|
-
/**
|
|
49
|
-
* Get all columns of the method's declarations or null if the method has no seperated declaration.
|
|
50
|
-
* @returns null or the columns of the method's declarations with number type.
|
|
51
|
-
*/
|
|
52
|
-
getDeclareColumns(): number[] | null;
|
|
53
|
-
/**
|
|
54
|
-
* Set lines and columns of the declarations with number type inputs and then encoded them to LineCol type.
|
|
55
|
-
* The length of lines and columns should be the same otherwise they cannot be encoded together.
|
|
56
|
-
* @param lines - the number of lines.
|
|
57
|
-
* @param columns - the number of columns.
|
|
58
|
-
* @returns
|
|
59
|
-
*/
|
|
60
|
-
setDeclareLinesAndCols(lines: number[], columns: number[]): void;
|
|
61
|
-
/**
|
|
62
|
-
* Set lineCols of the declarations directly with LineCol type input.
|
|
63
|
-
* @param lineCols - the encoded lines and columns with LineCol type.
|
|
64
|
-
* @returns
|
|
65
|
-
*/
|
|
66
|
-
setDeclareLineCols(lineCols: LineCol[]): void;
|
|
67
|
-
/**
|
|
68
|
-
* Get encoded lines and columns of the method's declarations or null if the method has no seperated declaration.
|
|
69
|
-
* @returns null or the encoded lines and columns of the method's declarations with LineCol type.
|
|
70
|
-
*/
|
|
71
|
-
getDeclareLineCols(): LineCol[] | null;
|
|
72
|
-
/**
|
|
73
|
-
* Get line of the method's implementation or null if the method has no implementation.
|
|
74
|
-
* @returns null or the number of the line.
|
|
75
|
-
*/
|
|
76
|
-
getLine(): number | null;
|
|
77
|
-
/**
|
|
78
|
-
* Set line of the implementation with line number input.
|
|
79
|
-
* The line number will be encoded together with the original column number.
|
|
80
|
-
* @param line - the line number of the method implementation.
|
|
81
|
-
* @returns
|
|
82
|
-
*/
|
|
83
|
-
setLine(line: number): void;
|
|
84
|
-
/**
|
|
85
|
-
* Get column of the method's implementation or null if the method has no implementation.
|
|
86
|
-
* @returns null or the number of the column.
|
|
87
|
-
*/
|
|
88
|
-
getColumn(): number | null;
|
|
89
|
-
/**
|
|
90
|
-
* Set column of the implementation with column number input.
|
|
91
|
-
* The column number will be encoded together with the original line number.
|
|
92
|
-
* @param column - the column number of the method implementation.
|
|
93
|
-
* @returns
|
|
94
|
-
*/
|
|
95
|
-
setColumn(column: number): void;
|
|
96
|
-
/**
|
|
97
|
-
* Get encoded line and column of the method's implementation or null if the method has no implementation.
|
|
98
|
-
* @returns null or the encoded line and column of the method's implementation with LineCol type.
|
|
99
|
-
*/
|
|
100
|
-
getLineCol(): LineCol | null;
|
|
101
|
-
/**
|
|
102
|
-
* Set lineCol of the implementation directly with LineCol type input.
|
|
103
|
-
* @param lineCol - the encoded line and column with LineCol type.
|
|
104
|
-
* @returns
|
|
105
|
-
*/
|
|
106
|
-
setLineCol(lineCol: LineCol): void;
|
|
107
|
-
/**
|
|
108
|
-
* Returns the declaring class of the method.
|
|
109
|
-
* @returns The declaring class of the method.
|
|
110
|
-
*/
|
|
111
|
-
getDeclaringArkClass(): ArkClass;
|
|
112
|
-
setDeclaringArkClass(declaringArkClass: ArkClass): void;
|
|
113
|
-
getDeclaringArkFile(): import("./ArkFile").ArkFile;
|
|
114
|
-
isDefaultArkMethod(): boolean;
|
|
115
|
-
isAnonymousMethod(): boolean;
|
|
116
|
-
getParameters(): import("./builder/ArkMethodBuilder").MethodParameter[];
|
|
117
|
-
getReturnType(): Type;
|
|
118
|
-
/**
|
|
119
|
-
* Get all declare signatures.
|
|
120
|
-
* The results could be null if there is no seperated declaration of the method.
|
|
121
|
-
* @returns null or the method declare signatures.
|
|
122
|
-
*/
|
|
123
|
-
getDeclareSignatures(): MethodSignature[] | null;
|
|
124
|
-
/**
|
|
125
|
-
* Get the index of the matched method declare signature among all declare signatures.
|
|
126
|
-
* The index will be -1 if there is no matched signature found.
|
|
127
|
-
* @param targetSignature - the target declare signature want to search.
|
|
128
|
-
* @returns -1 or the index of the matched signature.
|
|
129
|
-
*/
|
|
130
|
-
getDeclareSignatureIndex(targetSignature: MethodSignature): number;
|
|
131
|
-
/**
|
|
132
|
-
* Get the method signature of the implementation.
|
|
133
|
-
* The signature could be null if the method is only a declaration which body is undefined.
|
|
134
|
-
* @returns null or the method implementation signature.
|
|
135
|
-
*/
|
|
136
|
-
getImplementationSignature(): MethodSignature | null;
|
|
137
|
-
/**
|
|
138
|
-
* Get the method signature of the implementation or the first declaration if there is no implementation.
|
|
139
|
-
* For a method, the implementation and declaration signatures must not be undefined at the same time.
|
|
140
|
-
* A {@link MethodSignature} includes:
|
|
141
|
-
* - Class Signature: indicates which class this method belong to.
|
|
142
|
-
* - Method SubSignature: indicates the detail info of this method such as method name, parameters, returnType, etc.
|
|
143
|
-
* @returns The method signature.
|
|
144
|
-
* @example
|
|
145
|
-
* 1. Get the signature of method mtd.
|
|
146
|
-
|
|
147
|
-
```typescript
|
|
148
|
-
let signature = mtd.getSignature();
|
|
149
|
-
// ... ...
|
|
150
|
-
```
|
|
151
|
-
*/
|
|
152
|
-
getSignature(): MethodSignature;
|
|
153
|
-
/**
|
|
154
|
-
* Set signatures of all declarations.
|
|
155
|
-
* It will reset the declaration signatures if they are already defined before.
|
|
156
|
-
* @param signatures - one signature or a list of signatures.
|
|
157
|
-
* @returns
|
|
158
|
-
*/
|
|
159
|
-
setDeclareSignatures(signatures: MethodSignature | MethodSignature[]): void;
|
|
160
|
-
/**
|
|
161
|
-
* Reset signature of one declaration with the specified index.
|
|
162
|
-
* Will do nothing if the index doesn't exist.
|
|
163
|
-
* @param signature - new signature want to set.
|
|
164
|
-
* @param index - index of signature want to set.
|
|
165
|
-
* @returns
|
|
166
|
-
*/
|
|
167
|
-
setDeclareSignatureWithIndex(signature: MethodSignature, index: number): void;
|
|
168
|
-
/**
|
|
169
|
-
* Set signature of implementation.
|
|
170
|
-
* It will reset the implementation signature if it is already defined before.
|
|
171
|
-
* @param signature - signature of implementation.
|
|
172
|
-
* @returns
|
|
173
|
-
*/
|
|
174
|
-
setImplementationSignature(signature: MethodSignature): void;
|
|
175
|
-
getSubSignature(): import("./ArkSignature").MethodSubSignature;
|
|
176
|
-
getGenericTypes(): GenericType[] | undefined;
|
|
177
|
-
isGenericsMethod(): boolean;
|
|
178
|
-
setGenericTypes(genericTypes: GenericType[]): void;
|
|
179
|
-
getBodyBuilder(): BodyBuilder | undefined;
|
|
180
|
-
/**
|
|
181
|
-
* Get {@link ArkBody} of a Method.
|
|
182
|
-
* A {@link ArkBody} contains the CFG and actual instructions or operations to be executed for a method.
|
|
183
|
-
* It is analogous to the body of a function or method in high-level programming languages,
|
|
184
|
-
* which contains the statements and expressions that define what the function does.
|
|
185
|
-
* @returns The {@link ArkBody} of a method.
|
|
186
|
-
* @example
|
|
187
|
-
* 1. Get cfg or stmt through ArkBody.
|
|
188
|
-
|
|
189
|
-
```typescript
|
|
190
|
-
let cfg = this.scene.getMethod()?.getBody().getCfg();
|
|
191
|
-
const body = arkMethod.getBody()
|
|
192
|
-
```
|
|
193
|
-
|
|
194
|
-
2. Get local variable through ArkBody.
|
|
195
|
-
|
|
196
|
-
```typescript
|
|
197
|
-
arkClass.getDefaultArkMethod()?.getBody().getLocals.forEach(local=>{...})
|
|
198
|
-
let locals = arkFile().getDefaultClass().getDefaultArkMethod()?.getBody()?.getLocals();
|
|
199
|
-
```
|
|
200
|
-
*/
|
|
201
|
-
getBody(): ArkBody | undefined;
|
|
202
|
-
setBody(body: ArkBody): void;
|
|
203
|
-
/**
|
|
204
|
-
* Get the CFG (i.e., control flow graph) of a method.
|
|
205
|
-
* The CFG is a graphical representation of all possible control flow paths within a method's body.
|
|
206
|
-
* A CFG consists of blocks, statements and goto control jumps.
|
|
207
|
-
* @returns The CFG (i.e., control flow graph) of a method.
|
|
208
|
-
* @example
|
|
209
|
-
* 1. get stmt through ArkBody cfg.
|
|
210
|
-
|
|
211
|
-
```typescript
|
|
212
|
-
body = arkMethod.getBody();
|
|
213
|
-
const cfg = body.getCfg();
|
|
214
|
-
for (const threeAddressStmt of cfg.getStmts()) {
|
|
215
|
-
... ...
|
|
216
|
-
}
|
|
217
|
-
```
|
|
218
|
-
|
|
219
|
-
2. get blocks through ArkBody cfg.
|
|
220
|
-
|
|
221
|
-
```typescript
|
|
222
|
-
const body = arkMethod.getBody();
|
|
223
|
-
const blocks = [...body.getCfg().getBlocks()];
|
|
224
|
-
for (let i=0; i<blocks.length; i++) {
|
|
225
|
-
const block = blocks[i];
|
|
226
|
-
... ...
|
|
227
|
-
for (const stmt of block.getStmts()) {
|
|
228
|
-
... ...
|
|
229
|
-
}
|
|
230
|
-
let text = "next;"
|
|
231
|
-
for (const next of block.getSuccessors()) {
|
|
232
|
-
text += blocks.indexOf(next) + ' ';
|
|
233
|
-
}
|
|
234
|
-
// ... ...
|
|
235
|
-
}
|
|
236
|
-
```
|
|
237
|
-
*/
|
|
238
|
-
getCfg(): Cfg | undefined;
|
|
239
|
-
getOriginalCfg(): Cfg | undefined;
|
|
240
|
-
getParameterRefs(): ArkParameterRef[] | null;
|
|
241
|
-
getParameterInstances(): Value[];
|
|
242
|
-
getThisInstance(): Value | null;
|
|
243
|
-
getReturnValues(): Value[];
|
|
244
|
-
getReturnStmt(): Stmt[];
|
|
245
|
-
setViewTree(viewTree: ViewTree): void;
|
|
246
|
-
getViewTree(): ViewTree | undefined;
|
|
247
|
-
hasViewTree(): boolean;
|
|
248
|
-
setBodyBuilder(bodyBuilder: BodyBuilder): void;
|
|
249
|
-
freeBodyBuilder(): void;
|
|
250
|
-
buildBody(): void;
|
|
251
|
-
isGenerated(): boolean;
|
|
252
|
-
setIsGeneratedFlag(isGeneratedFlag: boolean): void;
|
|
253
|
-
getAsteriskToken(): boolean;
|
|
254
|
-
setAsteriskToken(asteriskToken: boolean): void;
|
|
255
|
-
validate(): ArkError;
|
|
256
|
-
matchMethodSignature(args: Value[]): MethodSignature;
|
|
257
|
-
private matchParam;
|
|
258
|
-
getOuterMethod(): ArkMethod | undefined;
|
|
259
|
-
setOuterMethod(method: ArkMethod): void;
|
|
260
|
-
getFunctionLocal(name: string): Local | null;
|
|
261
|
-
}
|
|
1
|
+
import { ArkParameterRef } from '../base/Ref';
|
|
2
|
+
import { Stmt } from '../base/Stmt';
|
|
3
|
+
import { GenericType, Type } from '../base/Type';
|
|
4
|
+
import { Value } from '../base/Value';
|
|
5
|
+
import { Cfg } from '../graph/Cfg';
|
|
6
|
+
import { ViewTree } from '../graph/ViewTree';
|
|
7
|
+
import { ArkBody } from './ArkBody';
|
|
8
|
+
import { ArkClass } from './ArkClass';
|
|
9
|
+
import { MethodSignature } from './ArkSignature';
|
|
10
|
+
import { BodyBuilder } from './builder/BodyBuilder';
|
|
11
|
+
import { ArkExport, ExportType } from './ArkExport';
|
|
12
|
+
import { LineCol } from '../base/Position';
|
|
13
|
+
import { ArkBaseModel } from './ArkBaseModel';
|
|
14
|
+
import { ArkError } from '../common/ArkError';
|
|
15
|
+
import { Local } from '../base/Local';
|
|
16
|
+
export declare const arkMethodNodeKind: string[];
|
|
17
|
+
/**
|
|
18
|
+
* @category core/model
|
|
19
|
+
*/
|
|
20
|
+
export declare class ArkMethod extends ArkBaseModel implements ArkExport {
|
|
21
|
+
private code?;
|
|
22
|
+
private declaringArkClass;
|
|
23
|
+
private outerMethod?;
|
|
24
|
+
private genericTypes?;
|
|
25
|
+
private methodDeclareSignatures?;
|
|
26
|
+
private methodDeclareLineCols?;
|
|
27
|
+
private methodSignature?;
|
|
28
|
+
private lineCol?;
|
|
29
|
+
private body?;
|
|
30
|
+
private viewTree?;
|
|
31
|
+
private bodyBuilder?;
|
|
32
|
+
private isGeneratedFlag;
|
|
33
|
+
private asteriskToken;
|
|
34
|
+
constructor();
|
|
35
|
+
getExportType(): ExportType;
|
|
36
|
+
getName(): string;
|
|
37
|
+
/**
|
|
38
|
+
* Returns the codes of method as a **string.**
|
|
39
|
+
* @returns the codes of method.
|
|
40
|
+
*/
|
|
41
|
+
getCode(): string | undefined;
|
|
42
|
+
setCode(code: string): void;
|
|
43
|
+
/**
|
|
44
|
+
* Get all lines of the method's declarations or null if the method has no seperated declaration.
|
|
45
|
+
* @returns null or the lines of the method's declarations with number type.
|
|
46
|
+
*/
|
|
47
|
+
getDeclareLines(): number[] | null;
|
|
48
|
+
/**
|
|
49
|
+
* Get all columns of the method's declarations or null if the method has no seperated declaration.
|
|
50
|
+
* @returns null or the columns of the method's declarations with number type.
|
|
51
|
+
*/
|
|
52
|
+
getDeclareColumns(): number[] | null;
|
|
53
|
+
/**
|
|
54
|
+
* Set lines and columns of the declarations with number type inputs and then encoded them to LineCol type.
|
|
55
|
+
* The length of lines and columns should be the same otherwise they cannot be encoded together.
|
|
56
|
+
* @param lines - the number of lines.
|
|
57
|
+
* @param columns - the number of columns.
|
|
58
|
+
* @returns
|
|
59
|
+
*/
|
|
60
|
+
setDeclareLinesAndCols(lines: number[], columns: number[]): void;
|
|
61
|
+
/**
|
|
62
|
+
* Set lineCols of the declarations directly with LineCol type input.
|
|
63
|
+
* @param lineCols - the encoded lines and columns with LineCol type.
|
|
64
|
+
* @returns
|
|
65
|
+
*/
|
|
66
|
+
setDeclareLineCols(lineCols: LineCol[]): void;
|
|
67
|
+
/**
|
|
68
|
+
* Get encoded lines and columns of the method's declarations or null if the method has no seperated declaration.
|
|
69
|
+
* @returns null or the encoded lines and columns of the method's declarations with LineCol type.
|
|
70
|
+
*/
|
|
71
|
+
getDeclareLineCols(): LineCol[] | null;
|
|
72
|
+
/**
|
|
73
|
+
* Get line of the method's implementation or null if the method has no implementation.
|
|
74
|
+
* @returns null or the number of the line.
|
|
75
|
+
*/
|
|
76
|
+
getLine(): number | null;
|
|
77
|
+
/**
|
|
78
|
+
* Set line of the implementation with line number input.
|
|
79
|
+
* The line number will be encoded together with the original column number.
|
|
80
|
+
* @param line - the line number of the method implementation.
|
|
81
|
+
* @returns
|
|
82
|
+
*/
|
|
83
|
+
setLine(line: number): void;
|
|
84
|
+
/**
|
|
85
|
+
* Get column of the method's implementation or null if the method has no implementation.
|
|
86
|
+
* @returns null or the number of the column.
|
|
87
|
+
*/
|
|
88
|
+
getColumn(): number | null;
|
|
89
|
+
/**
|
|
90
|
+
* Set column of the implementation with column number input.
|
|
91
|
+
* The column number will be encoded together with the original line number.
|
|
92
|
+
* @param column - the column number of the method implementation.
|
|
93
|
+
* @returns
|
|
94
|
+
*/
|
|
95
|
+
setColumn(column: number): void;
|
|
96
|
+
/**
|
|
97
|
+
* Get encoded line and column of the method's implementation or null if the method has no implementation.
|
|
98
|
+
* @returns null or the encoded line and column of the method's implementation with LineCol type.
|
|
99
|
+
*/
|
|
100
|
+
getLineCol(): LineCol | null;
|
|
101
|
+
/**
|
|
102
|
+
* Set lineCol of the implementation directly with LineCol type input.
|
|
103
|
+
* @param lineCol - the encoded line and column with LineCol type.
|
|
104
|
+
* @returns
|
|
105
|
+
*/
|
|
106
|
+
setLineCol(lineCol: LineCol): void;
|
|
107
|
+
/**
|
|
108
|
+
* Returns the declaring class of the method.
|
|
109
|
+
* @returns The declaring class of the method.
|
|
110
|
+
*/
|
|
111
|
+
getDeclaringArkClass(): ArkClass;
|
|
112
|
+
setDeclaringArkClass(declaringArkClass: ArkClass): void;
|
|
113
|
+
getDeclaringArkFile(): import("./ArkFile").ArkFile;
|
|
114
|
+
isDefaultArkMethod(): boolean;
|
|
115
|
+
isAnonymousMethod(): boolean;
|
|
116
|
+
getParameters(): import("./builder/ArkMethodBuilder").MethodParameter[];
|
|
117
|
+
getReturnType(): Type;
|
|
118
|
+
/**
|
|
119
|
+
* Get all declare signatures.
|
|
120
|
+
* The results could be null if there is no seperated declaration of the method.
|
|
121
|
+
* @returns null or the method declare signatures.
|
|
122
|
+
*/
|
|
123
|
+
getDeclareSignatures(): MethodSignature[] | null;
|
|
124
|
+
/**
|
|
125
|
+
* Get the index of the matched method declare signature among all declare signatures.
|
|
126
|
+
* The index will be -1 if there is no matched signature found.
|
|
127
|
+
* @param targetSignature - the target declare signature want to search.
|
|
128
|
+
* @returns -1 or the index of the matched signature.
|
|
129
|
+
*/
|
|
130
|
+
getDeclareSignatureIndex(targetSignature: MethodSignature): number;
|
|
131
|
+
/**
|
|
132
|
+
* Get the method signature of the implementation.
|
|
133
|
+
* The signature could be null if the method is only a declaration which body is undefined.
|
|
134
|
+
* @returns null or the method implementation signature.
|
|
135
|
+
*/
|
|
136
|
+
getImplementationSignature(): MethodSignature | null;
|
|
137
|
+
/**
|
|
138
|
+
* Get the method signature of the implementation or the first declaration if there is no implementation.
|
|
139
|
+
* For a method, the implementation and declaration signatures must not be undefined at the same time.
|
|
140
|
+
* A {@link MethodSignature} includes:
|
|
141
|
+
* - Class Signature: indicates which class this method belong to.
|
|
142
|
+
* - Method SubSignature: indicates the detail info of this method such as method name, parameters, returnType, etc.
|
|
143
|
+
* @returns The method signature.
|
|
144
|
+
* @example
|
|
145
|
+
* 1. Get the signature of method mtd.
|
|
146
|
+
|
|
147
|
+
```typescript
|
|
148
|
+
let signature = mtd.getSignature();
|
|
149
|
+
// ... ...
|
|
150
|
+
```
|
|
151
|
+
*/
|
|
152
|
+
getSignature(): MethodSignature;
|
|
153
|
+
/**
|
|
154
|
+
* Set signatures of all declarations.
|
|
155
|
+
* It will reset the declaration signatures if they are already defined before.
|
|
156
|
+
* @param signatures - one signature or a list of signatures.
|
|
157
|
+
* @returns
|
|
158
|
+
*/
|
|
159
|
+
setDeclareSignatures(signatures: MethodSignature | MethodSignature[]): void;
|
|
160
|
+
/**
|
|
161
|
+
* Reset signature of one declaration with the specified index.
|
|
162
|
+
* Will do nothing if the index doesn't exist.
|
|
163
|
+
* @param signature - new signature want to set.
|
|
164
|
+
* @param index - index of signature want to set.
|
|
165
|
+
* @returns
|
|
166
|
+
*/
|
|
167
|
+
setDeclareSignatureWithIndex(signature: MethodSignature, index: number): void;
|
|
168
|
+
/**
|
|
169
|
+
* Set signature of implementation.
|
|
170
|
+
* It will reset the implementation signature if it is already defined before.
|
|
171
|
+
* @param signature - signature of implementation.
|
|
172
|
+
* @returns
|
|
173
|
+
*/
|
|
174
|
+
setImplementationSignature(signature: MethodSignature): void;
|
|
175
|
+
getSubSignature(): import("./ArkSignature").MethodSubSignature;
|
|
176
|
+
getGenericTypes(): GenericType[] | undefined;
|
|
177
|
+
isGenericsMethod(): boolean;
|
|
178
|
+
setGenericTypes(genericTypes: GenericType[]): void;
|
|
179
|
+
getBodyBuilder(): BodyBuilder | undefined;
|
|
180
|
+
/**
|
|
181
|
+
* Get {@link ArkBody} of a Method.
|
|
182
|
+
* A {@link ArkBody} contains the CFG and actual instructions or operations to be executed for a method.
|
|
183
|
+
* It is analogous to the body of a function or method in high-level programming languages,
|
|
184
|
+
* which contains the statements and expressions that define what the function does.
|
|
185
|
+
* @returns The {@link ArkBody} of a method.
|
|
186
|
+
* @example
|
|
187
|
+
* 1. Get cfg or stmt through ArkBody.
|
|
188
|
+
|
|
189
|
+
```typescript
|
|
190
|
+
let cfg = this.scene.getMethod()?.getBody().getCfg();
|
|
191
|
+
const body = arkMethod.getBody()
|
|
192
|
+
```
|
|
193
|
+
|
|
194
|
+
2. Get local variable through ArkBody.
|
|
195
|
+
|
|
196
|
+
```typescript
|
|
197
|
+
arkClass.getDefaultArkMethod()?.getBody().getLocals.forEach(local=>{...})
|
|
198
|
+
let locals = arkFile().getDefaultClass().getDefaultArkMethod()?.getBody()?.getLocals();
|
|
199
|
+
```
|
|
200
|
+
*/
|
|
201
|
+
getBody(): ArkBody | undefined;
|
|
202
|
+
setBody(body: ArkBody): void;
|
|
203
|
+
/**
|
|
204
|
+
* Get the CFG (i.e., control flow graph) of a method.
|
|
205
|
+
* The CFG is a graphical representation of all possible control flow paths within a method's body.
|
|
206
|
+
* A CFG consists of blocks, statements and goto control jumps.
|
|
207
|
+
* @returns The CFG (i.e., control flow graph) of a method.
|
|
208
|
+
* @example
|
|
209
|
+
* 1. get stmt through ArkBody cfg.
|
|
210
|
+
|
|
211
|
+
```typescript
|
|
212
|
+
body = arkMethod.getBody();
|
|
213
|
+
const cfg = body.getCfg();
|
|
214
|
+
for (const threeAddressStmt of cfg.getStmts()) {
|
|
215
|
+
... ...
|
|
216
|
+
}
|
|
217
|
+
```
|
|
218
|
+
|
|
219
|
+
2. get blocks through ArkBody cfg.
|
|
220
|
+
|
|
221
|
+
```typescript
|
|
222
|
+
const body = arkMethod.getBody();
|
|
223
|
+
const blocks = [...body.getCfg().getBlocks()];
|
|
224
|
+
for (let i=0; i<blocks.length; i++) {
|
|
225
|
+
const block = blocks[i];
|
|
226
|
+
... ...
|
|
227
|
+
for (const stmt of block.getStmts()) {
|
|
228
|
+
... ...
|
|
229
|
+
}
|
|
230
|
+
let text = "next;"
|
|
231
|
+
for (const next of block.getSuccessors()) {
|
|
232
|
+
text += blocks.indexOf(next) + ' ';
|
|
233
|
+
}
|
|
234
|
+
// ... ...
|
|
235
|
+
}
|
|
236
|
+
```
|
|
237
|
+
*/
|
|
238
|
+
getCfg(): Cfg | undefined;
|
|
239
|
+
getOriginalCfg(): Cfg | undefined;
|
|
240
|
+
getParameterRefs(): ArkParameterRef[] | null;
|
|
241
|
+
getParameterInstances(): Value[];
|
|
242
|
+
getThisInstance(): Value | null;
|
|
243
|
+
getReturnValues(): Value[];
|
|
244
|
+
getReturnStmt(): Stmt[];
|
|
245
|
+
setViewTree(viewTree: ViewTree): void;
|
|
246
|
+
getViewTree(): ViewTree | undefined;
|
|
247
|
+
hasViewTree(): boolean;
|
|
248
|
+
setBodyBuilder(bodyBuilder: BodyBuilder): void;
|
|
249
|
+
freeBodyBuilder(): void;
|
|
250
|
+
buildBody(): void;
|
|
251
|
+
isGenerated(): boolean;
|
|
252
|
+
setIsGeneratedFlag(isGeneratedFlag: boolean): void;
|
|
253
|
+
getAsteriskToken(): boolean;
|
|
254
|
+
setAsteriskToken(asteriskToken: boolean): void;
|
|
255
|
+
validate(): ArkError;
|
|
256
|
+
matchMethodSignature(args: Value[]): MethodSignature;
|
|
257
|
+
private matchParam;
|
|
258
|
+
getOuterMethod(): ArkMethod | undefined;
|
|
259
|
+
setOuterMethod(method: ArkMethod): void;
|
|
260
|
+
getFunctionLocal(name: string): Local | null;
|
|
261
|
+
}
|
|
262
262
|
//# sourceMappingURL=ArkMethod.d.ts.map
|