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