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.
Files changed (279) hide show
  1. package/lib/Config.d.ts +70 -70
  2. package/lib/Config.js +198 -198
  3. package/lib/Scene.d.ts +316 -316
  4. package/lib/Scene.js +1316 -1316
  5. package/lib/callgraph/algorithm/AbstractAnalysis.d.ts +28 -28
  6. package/lib/callgraph/algorithm/AbstractAnalysis.js +144 -144
  7. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts +10 -10
  8. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js +69 -69
  9. package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts +15 -15
  10. package/lib/callgraph/algorithm/RapidTypeAnalysis.js +146 -146
  11. package/lib/callgraph/common/Statistics.d.ts +57 -57
  12. package/lib/callgraph/common/Statistics.js +228 -228
  13. package/lib/callgraph/model/CallGraph.d.ts +96 -96
  14. package/lib/callgraph/model/CallGraph.js +354 -354
  15. package/lib/callgraph/model/builder/CallGraphBuilder.d.ts +15 -15
  16. package/lib/callgraph/model/builder/CallGraphBuilder.js +106 -106
  17. package/lib/callgraph/pointerAnalysis/Context.d.ts +37 -37
  18. package/lib/callgraph/pointerAnalysis/Context.js +155 -155
  19. package/lib/callgraph/pointerAnalysis/DummyCallCreator.d.ts +22 -22
  20. package/lib/callgraph/pointerAnalysis/DummyCallCreator.js +104 -104
  21. package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +5 -5
  22. package/lib/callgraph/pointerAnalysis/PTAUtils.js +46 -46
  23. package/lib/callgraph/pointerAnalysis/Pag.d.ts +261 -261
  24. package/lib/callgraph/pointerAnalysis/Pag.js +930 -930
  25. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +157 -157
  26. package/lib/callgraph/pointerAnalysis/PagBuilder.js +1399 -1399
  27. package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts +72 -72
  28. package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +573 -573
  29. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.d.ts +15 -15
  30. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js +81 -81
  31. package/lib/callgraph/pointerAnalysis/PtsDS.d.ts +80 -80
  32. package/lib/callgraph/pointerAnalysis/PtsDS.js +308 -308
  33. package/lib/core/base/Constant.d.ts +48 -48
  34. package/lib/core/base/Constant.js +103 -103
  35. package/lib/core/base/Decorator.d.ts +15 -15
  36. package/lib/core/base/Decorator.js +46 -46
  37. package/lib/core/base/DefUseChain.d.ts +8 -8
  38. package/lib/core/base/DefUseChain.js +25 -25
  39. package/lib/core/base/Expr.d.ts +340 -340
  40. package/lib/core/base/Expr.js +917 -917
  41. package/lib/core/base/Local.d.ts +104 -104
  42. package/lib/core/base/Local.js +176 -176
  43. package/lib/core/base/Position.d.ts +30 -30
  44. package/lib/core/base/Position.js +147 -147
  45. package/lib/core/base/Ref.d.ts +173 -173
  46. package/lib/core/base/Ref.js +374 -374
  47. package/lib/core/base/Stmt.d.ts +237 -237
  48. package/lib/core/base/Stmt.js +525 -525
  49. package/lib/core/base/Trap.d.ts +8 -8
  50. package/lib/core/base/Trap.js +30 -30
  51. package/lib/core/base/Type.d.ts +308 -308
  52. package/lib/core/base/Type.js +639 -639
  53. package/lib/core/base/TypeExpr.d.ts +71 -71
  54. package/lib/core/base/TypeExpr.js +155 -155
  55. package/lib/core/base/Value.d.ts +32 -32
  56. package/lib/core/base/Value.js +16 -16
  57. package/lib/core/common/ArkError.d.ts +14 -14
  58. package/lib/core/common/ArkError.js +28 -28
  59. package/lib/core/common/ArkIRTransformer.d.ts +67 -67
  60. package/lib/core/common/ArkIRTransformer.js +690 -690
  61. package/lib/core/common/ArkValueTransformer.d.ts +89 -89
  62. package/lib/core/common/ArkValueTransformer.js +1478 -1478
  63. package/lib/core/common/Builtin.d.ts +36 -36
  64. package/lib/core/common/Builtin.js +81 -81
  65. package/lib/core/common/Const.d.ts +21 -21
  66. package/lib/core/common/Const.js +43 -43
  67. package/lib/core/common/DummyMainCreater.d.ts +46 -46
  68. package/lib/core/common/DummyMainCreater.js +319 -319
  69. package/lib/core/common/EtsConst.d.ts +73 -73
  70. package/lib/core/common/EtsConst.js +1021 -1021
  71. package/lib/core/common/ExprUseReplacer.d.ts +21 -21
  72. package/lib/core/common/ExprUseReplacer.js +124 -124
  73. package/lib/core/common/IRInference.d.ts +36 -36
  74. package/lib/core/common/IRInference.d.ts.map +1 -1
  75. package/lib/core/common/IRInference.js +651 -648
  76. package/lib/core/common/IRUtils.d.ts +18 -18
  77. package/lib/core/common/IRUtils.js +141 -141
  78. package/lib/core/common/ModelUtils.d.ts +70 -70
  79. package/lib/core/common/ModelUtils.js +712 -712
  80. package/lib/core/common/RefUseReplacer.d.ts +13 -13
  81. package/lib/core/common/RefUseReplacer.js +52 -52
  82. package/lib/core/common/SdkUtils.d.ts +8 -8
  83. package/lib/core/common/SdkUtils.js +105 -105
  84. package/lib/core/common/StmtDefReplacer.d.ts +12 -12
  85. package/lib/core/common/StmtDefReplacer.js +41 -41
  86. package/lib/core/common/StmtUseReplacer.d.ts +16 -16
  87. package/lib/core/common/StmtUseReplacer.js +108 -108
  88. package/lib/core/common/TSConst.d.ts +18 -18
  89. package/lib/core/common/TSConst.js +36 -36
  90. package/lib/core/common/TypeInference.d.ts +102 -102
  91. package/lib/core/common/TypeInference.js +748 -748
  92. package/lib/core/common/ValueUtil.d.ts +12 -12
  93. package/lib/core/common/ValueUtil.js +54 -54
  94. package/lib/core/common/VisibleValue.d.ts +36 -36
  95. package/lib/core/common/VisibleValue.js +212 -212
  96. package/lib/core/dataflow/DataflowProblem.d.ts +20 -20
  97. package/lib/core/dataflow/DataflowProblem.js +20 -20
  98. package/lib/core/dataflow/DataflowResult.d.ts +7 -7
  99. package/lib/core/dataflow/DataflowResult.js +26 -26
  100. package/lib/core/dataflow/DataflowSolver.d.ts +43 -43
  101. package/lib/core/dataflow/DataflowSolver.js +307 -307
  102. package/lib/core/dataflow/Edge.d.ts +11 -11
  103. package/lib/core/dataflow/Edge.js +31 -31
  104. package/lib/core/dataflow/Fact.d.ts +6 -6
  105. package/lib/core/dataflow/Fact.js +24 -24
  106. package/lib/core/dataflow/GenericDataFlow.d.ts +142 -142
  107. package/lib/core/dataflow/GenericDataFlow.js +109 -109
  108. package/lib/core/dataflow/ReachingDef.d.ts +62 -62
  109. package/lib/core/dataflow/ReachingDef.js +168 -168
  110. package/lib/core/dataflow/UndefinedVariable.d.ts +45 -45
  111. package/lib/core/dataflow/UndefinedVariable.js +288 -288
  112. package/lib/core/dataflow/Util.d.ts +9 -9
  113. package/lib/core/dataflow/Util.js +64 -64
  114. package/lib/core/graph/BaseExplicitGraph.d.ts +58 -58
  115. package/lib/core/graph/BaseExplicitGraph.js +157 -157
  116. package/lib/core/graph/BaseImplicitGraph.d.ts +77 -77
  117. package/lib/core/graph/BaseImplicitGraph.js +78 -78
  118. package/lib/core/graph/BasicBlock.d.ts +104 -104
  119. package/lib/core/graph/BasicBlock.js +280 -280
  120. package/lib/core/graph/Cfg.d.ts +59 -59
  121. package/lib/core/graph/Cfg.js +282 -282
  122. package/lib/core/graph/DependsGraph.d.ts +35 -35
  123. package/lib/core/graph/DependsGraph.js +87 -87
  124. package/lib/core/graph/DominanceFinder.d.ts +15 -15
  125. package/lib/core/graph/DominanceFinder.js +121 -121
  126. package/lib/core/graph/DominanceTree.d.ts +12 -12
  127. package/lib/core/graph/DominanceTree.js +70 -70
  128. package/lib/core/graph/GraphTraits.d.ts +7 -7
  129. package/lib/core/graph/GraphTraits.js +16 -16
  130. package/lib/core/graph/Scc.d.ts +61 -61
  131. package/lib/core/graph/Scc.js +222 -222
  132. package/lib/core/graph/ViewTree.d.ts +114 -114
  133. package/lib/core/graph/ViewTree.js +16 -16
  134. package/lib/core/graph/builder/CfgBuilder.d.ts +176 -176
  135. package/lib/core/graph/builder/CfgBuilder.js +1139 -1139
  136. package/lib/core/graph/builder/ConditionBuilder.d.ts +15 -15
  137. package/lib/core/graph/builder/ConditionBuilder.js +252 -252
  138. package/lib/core/graph/builder/LoopBuilder.d.ts +20 -20
  139. package/lib/core/graph/builder/LoopBuilder.js +251 -251
  140. package/lib/core/graph/builder/SwitchBuilder.d.ts +11 -11
  141. package/lib/core/graph/builder/SwitchBuilder.js +152 -152
  142. package/lib/core/graph/builder/TrapBuilder.d.ts +16 -16
  143. package/lib/core/graph/builder/TrapBuilder.js +272 -272
  144. package/lib/core/graph/builder/ViewTreeBuilder.d.ts +203 -203
  145. package/lib/core/graph/builder/ViewTreeBuilder.js +1055 -1055
  146. package/lib/core/model/ArkBaseModel.d.ts +59 -59
  147. package/lib/core/model/ArkBaseModel.js +274 -274
  148. package/lib/core/model/ArkBody.d.ts +24 -24
  149. package/lib/core/model/ArkBody.js +65 -65
  150. package/lib/core/model/ArkClass.d.ts +206 -206
  151. package/lib/core/model/ArkClass.js +439 -439
  152. package/lib/core/model/ArkExport.d.ts +72 -72
  153. package/lib/core/model/ArkExport.js +147 -147
  154. package/lib/core/model/ArkField.d.ts +62 -62
  155. package/lib/core/model/ArkField.js +113 -113
  156. package/lib/core/model/ArkFile.d.ts +131 -131
  157. package/lib/core/model/ArkFile.js +267 -267
  158. package/lib/core/model/ArkImport.d.ts +44 -44
  159. package/lib/core/model/ArkImport.js +108 -108
  160. package/lib/core/model/ArkMetadata.d.ts +31 -31
  161. package/lib/core/model/ArkMetadata.js +55 -55
  162. package/lib/core/model/ArkMethod.d.ts +261 -261
  163. package/lib/core/model/ArkMethod.js +592 -592
  164. package/lib/core/model/ArkNamespace.d.ts +66 -66
  165. package/lib/core/model/ArkNamespace.js +209 -209
  166. package/lib/core/model/ArkSignature.d.ts +162 -162
  167. package/lib/core/model/ArkSignature.js +379 -379
  168. package/lib/core/model/builder/ArkClassBuilder.d.ts +12 -12
  169. package/lib/core/model/builder/ArkClassBuilder.js +454 -454
  170. package/lib/core/model/builder/ArkExportBuilder.d.ts +24 -24
  171. package/lib/core/model/builder/ArkExportBuilder.js +210 -210
  172. package/lib/core/model/builder/ArkFieldBuilder.d.ts +8 -8
  173. package/lib/core/model/builder/ArkFieldBuilder.js +193 -193
  174. package/lib/core/model/builder/ArkFileBuilder.d.ts +9 -9
  175. package/lib/core/model/builder/ArkFileBuilder.js +165 -165
  176. package/lib/core/model/builder/ArkImportBuilder.d.ts +4 -4
  177. package/lib/core/model/builder/ArkImportBuilder.js +128 -128
  178. package/lib/core/model/builder/ArkMethodBuilder.d.ts +63 -63
  179. package/lib/core/model/builder/ArkMethodBuilder.js +486 -486
  180. package/lib/core/model/builder/ArkNamespaceBuilder.d.ts +5 -5
  181. package/lib/core/model/builder/ArkNamespaceBuilder.js +205 -205
  182. package/lib/core/model/builder/ArkSignatureBuilder.d.ts +8 -8
  183. package/lib/core/model/builder/ArkSignatureBuilder.js +40 -40
  184. package/lib/core/model/builder/BodyBuilder.d.ts +55 -30
  185. package/lib/core/model/builder/BodyBuilder.d.ts.map +1 -1
  186. package/lib/core/model/builder/BodyBuilder.js +542 -371
  187. package/lib/core/model/builder/builderUtils.d.ts +18 -18
  188. package/lib/core/model/builder/builderUtils.js +558 -558
  189. package/lib/index.d.ts +82 -80
  190. package/lib/index.d.ts.map +1 -1
  191. package/lib/index.js +201 -196
  192. package/lib/save/ArkStream.d.ts +23 -23
  193. package/lib/save/ArkStream.js +83 -83
  194. package/lib/save/DotPrinter.d.ts +43 -43
  195. package/lib/save/DotPrinter.js +170 -170
  196. package/lib/save/GraphPrinter.d.ts +16 -16
  197. package/lib/save/GraphPrinter.js +134 -134
  198. package/lib/save/JsonPrinter.d.ts +30 -30
  199. package/lib/save/JsonPrinter.js +580 -580
  200. package/lib/save/Printer.d.ts +12 -12
  201. package/lib/save/Printer.js +27 -27
  202. package/lib/save/PrinterBuilder.d.ts +53 -53
  203. package/lib/save/PrinterBuilder.js +145 -145
  204. package/lib/save/ViewTreePrinter.d.ts +14 -14
  205. package/lib/save/ViewTreePrinter.js +123 -123
  206. package/lib/save/arkir/ArkIRClassPrinter.d.ts +13 -13
  207. package/lib/save/arkir/ArkIRClassPrinter.js +92 -92
  208. package/lib/save/arkir/ArkIRFieldPrinter.d.ts +11 -11
  209. package/lib/save/arkir/ArkIRFieldPrinter.js +64 -64
  210. package/lib/save/arkir/ArkIRFilePrinter.d.ts +12 -12
  211. package/lib/save/arkir/ArkIRFilePrinter.js +54 -54
  212. package/lib/save/arkir/ArkIRMethodPrinter.d.ts +16 -16
  213. package/lib/save/arkir/ArkIRMethodPrinter.js +159 -159
  214. package/lib/save/arkir/ArkIRNamespacePrinter.d.ts +11 -11
  215. package/lib/save/arkir/ArkIRNamespacePrinter.js +66 -66
  216. package/lib/save/base/BasePrinter.d.ts +23 -23
  217. package/lib/save/base/BasePrinter.js +70 -70
  218. package/lib/save/base/ExportPrinter.d.ts +8 -8
  219. package/lib/save/base/ExportPrinter.js +67 -67
  220. package/lib/save/base/ImportPrinter.d.ts +9 -9
  221. package/lib/save/base/ImportPrinter.js +92 -92
  222. package/lib/save/base/PrinterUtils.d.ts +24 -24
  223. package/lib/save/base/PrinterUtils.js +208 -208
  224. package/lib/save/serializeArkIR.d.ts +8 -8
  225. package/lib/save/serializeArkIR.js +294 -294
  226. package/lib/save/source/SourceBase.d.ts +22 -22
  227. package/lib/save/source/SourceBase.js +64 -64
  228. package/lib/save/source/SourceBody.d.ts +58 -58
  229. package/lib/save/source/SourceBody.js +296 -296
  230. package/lib/save/source/SourceClass.d.ts +25 -25
  231. package/lib/save/source/SourceClass.js +187 -187
  232. package/lib/save/source/SourceField.d.ts +13 -13
  233. package/lib/save/source/SourceField.js +73 -73
  234. package/lib/save/source/SourceFilePrinter.d.ts +12 -12
  235. package/lib/save/source/SourceFilePrinter.js +69 -69
  236. package/lib/save/source/SourceMethod.d.ts +22 -22
  237. package/lib/save/source/SourceMethod.d.ts.map +1 -1
  238. package/lib/save/source/SourceMethod.js +196 -193
  239. package/lib/save/source/SourceNamespace.d.ts +11 -11
  240. package/lib/save/source/SourceNamespace.js +83 -83
  241. package/lib/save/source/SourceStmt.d.ts +178 -178
  242. package/lib/save/source/SourceStmt.js +838 -838
  243. package/lib/save/source/SourceTransformer.d.ts +46 -46
  244. package/lib/save/source/SourceTransformer.js +446 -446
  245. package/lib/transformer/FunctionTransformer.d.ts +2 -2
  246. package/lib/transformer/FunctionTransformer.js +17 -17
  247. package/lib/transformer/SceneTransformer.d.ts +2 -2
  248. package/lib/transformer/SceneTransformer.js +17 -17
  249. package/lib/transformer/StaticSingleAssignmentFormer.d.ts +12 -12
  250. package/lib/transformer/StaticSingleAssignmentFormer.js +259 -259
  251. package/lib/transformer/Transformer.d.ts +6 -6
  252. package/lib/transformer/Transformer.js +22 -22
  253. package/lib/utils/AstTreeUtils.d.ts +4 -4
  254. package/lib/utils/AstTreeUtils.js +26 -26
  255. package/lib/utils/CfgStructualAnalysis.d.ts +110 -110
  256. package/lib/utils/CfgStructualAnalysis.js +1277 -1277
  257. package/lib/utils/FileUtils.d.ts +18 -18
  258. package/lib/utils/FileUtils.js +135 -135
  259. package/lib/utils/SparseBitVector.d.ts +100 -100
  260. package/lib/utils/SparseBitVector.js +445 -445
  261. package/lib/utils/callGraphUtils.d.ts +30 -30
  262. package/lib/utils/callGraphUtils.js +205 -205
  263. package/lib/utils/crypto_utils.d.ts +5 -5
  264. package/lib/utils/crypto_utils.js +57 -57
  265. package/lib/utils/entryMethodUtils.d.ts +13 -13
  266. package/lib/utils/entryMethodUtils.js +110 -110
  267. package/lib/utils/getAllFiles.d.ts +9 -9
  268. package/lib/utils/getAllFiles.js +90 -90
  269. package/lib/utils/json5parser.d.ts +6 -6
  270. package/lib/utils/json5parser.js +146 -146
  271. package/lib/utils/logger.d.ts +18 -18
  272. package/lib/utils/logger.d.ts.map +1 -1
  273. package/lib/utils/logger.js +97 -90
  274. package/lib/utils/pathTransfer.d.ts +1 -1
  275. package/lib/utils/pathTransfer.js +25 -25
  276. package/node_modules/json5/lib/cli.js +0 -0
  277. package/node_modules/ohos-typescript/bin/tsc +0 -0
  278. package/node_modules/ohos-typescript/bin/tsserver +0 -0
  279. 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