arkanalyzer 1.0.20 → 1.0.22

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