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,341 +1,341 @@
1
- import { BasicBlock } from '../graph/BasicBlock';
2
- import { MethodSignature } from '../model/ArkSignature';
3
- import { Local } from './Local';
4
- import { ArrayType, ClassType, Type } from './Type';
5
- import { Value } from './Value';
6
- import { AbstractFieldRef } from './Ref';
7
- import { ArkMethod } from '../model/ArkMethod';
8
- import { ImportInfo } from '../model/ArkImport';
9
- import { ArkClass } from '../model/ArkClass';
10
- import { ArkField } from '../model/ArkField';
11
- /**
12
- * @category core/base/expr
13
- */
14
- export declare abstract class AbstractExpr implements Value {
15
- abstract getUses(): Value[];
16
- abstract getType(): Type;
17
- abstract toString(): string;
18
- inferType(arkMethod: ArkMethod): AbstractExpr;
19
- }
20
- export declare abstract class AbstractInvokeExpr extends AbstractExpr {
21
- private methodSignature;
22
- private args;
23
- private realGenericTypes?;
24
- constructor(methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
25
- /**
26
- * Get method Signature. The method signature is consist of ClassSignature and MethodSubSignature.
27
- * It is the unique flag of a method. It is usually used to compose a expression string in ArkIRTransformer.
28
- * @returns The class method signature, such as ArkStaticInvokeExpr.
29
- * @example
30
- * 1. 3AC information composed of getMethodSignature ().
31
-
32
- ```typescript
33
- let strs: string[] = [];
34
- strs.push('staticinvoke <');
35
- strs.push(this.getMethodSignature().toString());
36
- strs.push('>(');
37
- ```
38
- */
39
- getMethodSignature(): MethodSignature;
40
- setMethodSignature(newMethodSignature: MethodSignature): void;
41
- /**
42
- * Returns an argument used in the expression according to its index.
43
- * @param index - the index of the argument.
44
- * @returns An argument used in the expression.
45
- */
46
- getArg(index: number): Value;
47
- /**
48
- * Returns an **array** of arguments used in the expression.
49
- * @returns An **array** of arguments used in the expression.
50
- * @example
51
- * 1. get args number.
52
-
53
- ```typescript
54
- const argsNum = expr.getArgs().length;
55
- if (argsNum < 5) {
56
- ... ...
57
- }
58
- ```
59
-
60
- 2. iterate arg based on expression
61
-
62
- ```typescript
63
- for (const arg of this.getArgs()) {
64
- strs.push(arg.toString());
65
- strs.push(', ');
66
- }
67
- ```
68
- */
69
- getArgs(): Value[];
70
- setArgs(newArgs: Value[]): void;
71
- getType(): Type;
72
- getRealGenericTypes(): Type[] | undefined;
73
- setRealGenericTypes(realTypes: Type[] | undefined): void;
74
- getUses(): Value[];
75
- }
76
- export declare class ArkInstanceInvokeExpr extends AbstractInvokeExpr {
77
- private base;
78
- constructor(base: Local, methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
79
- /**
80
- * Returns the local of the instance of invoke expression.
81
- * @returns The local of the invoke expression's instance..
82
- */
83
- getBase(): Local;
84
- setBase(newBase: Local): void;
85
- /**
86
- * Returns an **array** of values used in this invoke expression,
87
- * including all arguments and values each arguments used.
88
- * For {@link ArkInstanceInvokeExpr}, the return also contains the caller base and uses of base.
89
- * @returns An **array** of arguments used in the invoke expression.
90
- */
91
- getUses(): Value[];
92
- toString(): string;
93
- inferType(arkMethod: ArkMethod): AbstractInvokeExpr;
94
- }
95
- export declare class ArkStaticInvokeExpr extends AbstractInvokeExpr {
96
- constructor(methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
97
- toString(): string;
98
- inferType(arkMethod: ArkMethod): AbstractInvokeExpr;
99
- }
100
- export declare class ArkPtrInvokeExpr extends AbstractInvokeExpr {
101
- private funPtrLocal;
102
- constructor(methodSignature: MethodSignature, ptr: Local, args: Value[], realGenericTypes?: Type[]);
103
- setFunPtrLocal(ptr: Local): void;
104
- getFuncPtrLocal(): Local;
105
- toString(): string;
106
- inferType(arkMethod: ArkMethod): ArkPtrInvokeExpr;
107
- getUses(): Value[];
108
- }
109
- export declare class ArkNewExpr extends AbstractExpr {
110
- private classType;
111
- constructor(classType: ClassType);
112
- getClassType(): ClassType;
113
- getUses(): Value[];
114
- getType(): Type;
115
- toString(): string;
116
- inferType(arkMethod: ArkMethod): ArkNewExpr;
117
- }
118
- export declare class ArkNewArrayExpr extends AbstractExpr {
119
- private baseType;
120
- private size;
121
- private fromLiteral;
122
- constructor(baseType: Type, size: Value, fromLiteral?: boolean);
123
- getSize(): Value;
124
- setSize(newSize: Value): void;
125
- getType(): ArrayType;
126
- getBaseType(): Type;
127
- setBaseType(newType: Type): void;
128
- isFromLiteral(): boolean;
129
- inferType(arkMethod: ArkMethod): ArkNewArrayExpr;
130
- getUses(): Value[];
131
- toString(): string;
132
- }
133
- export declare class ArkDeleteExpr extends AbstractExpr {
134
- private field;
135
- constructor(field: AbstractFieldRef);
136
- getField(): AbstractFieldRef;
137
- setField(newField: AbstractFieldRef): void;
138
- getType(): Type;
139
- getUses(): Value[];
140
- toString(): string;
141
- }
142
- export declare class ArkAwaitExpr extends AbstractExpr {
143
- private promise;
144
- constructor(promise: Value);
145
- getPromise(): Value;
146
- setPromise(newPromise: Value): void;
147
- getType(): Type;
148
- inferType(arkMethod: ArkMethod): ArkAwaitExpr;
149
- getUses(): Value[];
150
- toString(): string;
151
- }
152
- export declare class ArkYieldExpr extends AbstractExpr {
153
- private yieldValue;
154
- constructor(yieldValue: Value);
155
- getYieldValue(): Value;
156
- setYieldValue(newYieldValue: Value): void;
157
- getType(): Type;
158
- getUses(): Value[];
159
- toString(): string;
160
- }
161
- export declare enum NormalBinaryOperator {
162
- NullishCoalescing = "??",
163
- Exponentiation = "**",
164
- Division = "/",
165
- Addition = "+",
166
- Subtraction = "-",
167
- Multiplication = "*",
168
- Remainder = "%",
169
- LeftShift = "<<",
170
- RightShift = ">>",
171
- UnsignedRightShift = ">>>",
172
- BitwiseAnd = "&",
173
- BitwiseOr = "|",
174
- BitwiseXor = "^",
175
- LogicalAnd = "&&",
176
- LogicalOr = "||"
177
- }
178
- export declare enum RelationalBinaryOperator {
179
- LessThan = "<",
180
- LessThanOrEqual = "<=",
181
- GreaterThan = ">",
182
- GreaterThanOrEqual = ">=",
183
- Equality = "==",
184
- InEquality = "!=",
185
- StrictEquality = "===",
186
- StrictInequality = "!==",
187
- isPropertyOf = "in"
188
- }
189
- export type BinaryOperator = NormalBinaryOperator | RelationalBinaryOperator;
190
- export declare abstract class AbstractBinopExpr extends AbstractExpr {
191
- protected op1: Value;
192
- protected op2: Value;
193
- protected operator: BinaryOperator;
194
- protected type: Type;
195
- constructor(op1: Value, op2: Value, operator: BinaryOperator);
196
- /**
197
- * Returns the first operand in the binary operation expression.
198
- * For example, the first operand in `a + b;` is `a`.
199
- * @returns The first operand in the binary operation expression.
200
- */
201
- getOp1(): Value;
202
- setOp1(newOp1: Value): void;
203
- /**
204
- * Returns the second operand in the binary operation expression.
205
- * For example, the second operand in `a + b;` is `b`.
206
- * @returns The second operand in the binary operation expression.
207
- */
208
- getOp2(): Value;
209
- setOp2(newOp2: Value): void;
210
- /**
211
- * Get the binary operator from the statement.
212
- * The binary operator can be divided into two categories,
213
- * one is the normal binary operator and the other is relational binary operator.
214
- * @returns The binary operator from the statement.
215
- * @example
216
- ```typescript
217
- if (expr instanceof AbstractBinopExpr) {
218
- let op1: Value = expr.getOp1();
219
- let op2: Value = expr.getOp2();
220
- let operator: string = expr.getOperator();
221
- ... ...
222
- }
223
- ```
224
- */
225
- getOperator(): BinaryOperator;
226
- getType(): Type;
227
- getUses(): Value[];
228
- toString(): string;
229
- protected inferOpType(op: Value, arkMethod: ArkMethod): void;
230
- protected setType(): void;
231
- inferType(arkMethod: ArkMethod): AbstractBinopExpr;
232
- }
233
- export declare class ArkConditionExpr extends AbstractBinopExpr {
234
- constructor(op1: Value, op2: Value, operator: RelationalBinaryOperator);
235
- inferType(arkMethod: ArkMethod): ArkConditionExpr;
236
- }
237
- export declare class ArkNormalBinopExpr extends AbstractBinopExpr {
238
- constructor(op1: Value, op2: Value, operator: NormalBinaryOperator);
239
- }
240
- export declare class ArkTypeOfExpr extends AbstractExpr {
241
- private op;
242
- constructor(op: Value);
243
- getOp(): Value;
244
- setOp(newOp: Value): void;
245
- getUses(): Value[];
246
- getType(): Type;
247
- toString(): string;
248
- }
249
- export declare class ArkInstanceOfExpr extends AbstractExpr {
250
- private op;
251
- private checkType;
252
- constructor(op: Value, checkType: Type);
253
- getOp(): Value;
254
- setOp(newOp: Value): void;
255
- getCheckType(): Type;
256
- getType(): Type;
257
- getUses(): Value[];
258
- toString(): string;
259
- }
260
- export declare class ArkCastExpr extends AbstractExpr {
261
- private op;
262
- private type;
263
- constructor(op: Value, type: Type);
264
- getOp(): Value;
265
- setOp(newOp: Value): void;
266
- getUses(): Value[];
267
- getType(): Type;
268
- inferType(arkMethod: ArkMethod): AbstractExpr;
269
- toString(): string;
270
- }
271
- export declare class ArkPhiExpr extends AbstractExpr {
272
- private args;
273
- private argToBlock;
274
- constructor();
275
- getUses(): Value[];
276
- getArgs(): Local[];
277
- setArgs(args: Local[]): void;
278
- getArgToBlock(): Map<Local, BasicBlock>;
279
- setArgToBlock(argToBlock: Map<Local, BasicBlock>): void;
280
- getType(): Type;
281
- toString(): string;
282
- }
283
- export declare enum UnaryOperator {
284
- Neg = "-",
285
- BitwiseNot = "~",
286
- LogicalNot = "!"
287
- }
288
- export declare class ArkUnopExpr extends AbstractExpr {
289
- private op;
290
- private operator;
291
- constructor(op: Value, operator: UnaryOperator);
292
- getUses(): Value[];
293
- getOp(): Value;
294
- setOp(newOp: Value): void;
295
- getType(): Type;
296
- /**
297
- * Get the unary operator from the statement, such as `-`,`~`,`!`.
298
- * @returns the unary operator of a statement.
299
- */
300
- getOperator(): UnaryOperator;
301
- toString(): string;
302
- }
303
- export type AliasTypeOriginalModel = Type | ImportInfo | Local | ArkClass | ArkMethod | ArkField;
304
- /**
305
- * Expression of the right hand of the type alias definition statement.
306
- * @category core/base/expr
307
- * @extends AbstractExpr
308
- * @example
309
- ```typescript
310
- let a: number = 123;
311
- type ABC = typeof a;
312
- ```
313
- * The AliasTypeExpr of the previous statement is with local 'a' as the 'originalObject' and 'transferWithTypeOf' is true.
314
- *
315
- * The Following case: import type with no clause name is not supported now,
316
- * whose 'originalObject' is {@link ImportInfo} with 'null' 'lazyExportInfo'.
317
- ```typescript
318
- let a = typeof import('./abc');
319
- ```
320
- */
321
- export declare class AliasTypeExpr extends AbstractExpr {
322
- private originalObject;
323
- private readonly transferWithTypeOf;
324
- private realGenericTypes?;
325
- constructor(originalObject: AliasTypeOriginalModel, transferWithTypeOf?: boolean);
326
- getOriginalObject(): AliasTypeOriginalModel;
327
- setOriginalObject(object: AliasTypeOriginalModel): void;
328
- getTransferWithTypeOf(): boolean;
329
- setRealGenericTypes(realGenericTypes: Type[]): void;
330
- getRealGenericTypes(): Type[] | undefined;
331
- getType(): Type;
332
- inferType(arkMethod: ArkMethod): AbstractExpr;
333
- /**
334
- * Returns all used values which mainly used for def-use chain analysis.
335
- * @returns Always returns empty array because her is the alias type definition which has no relationship with value flow.
336
- */
337
- getUses(): Value[];
338
- toString(): string;
339
- static isAliasTypeOriginalModel(object: any): object is AliasTypeOriginalModel;
340
- }
1
+ import { BasicBlock } from '../graph/BasicBlock';
2
+ import { MethodSignature } from '../model/ArkSignature';
3
+ import { Local } from './Local';
4
+ import { ArrayType, ClassType, Type } from './Type';
5
+ import { Value } from './Value';
6
+ import { AbstractFieldRef } from './Ref';
7
+ import { ArkMethod } from '../model/ArkMethod';
8
+ import { ImportInfo } from '../model/ArkImport';
9
+ import { ArkClass } from '../model/ArkClass';
10
+ import { ArkField } from '../model/ArkField';
11
+ /**
12
+ * @category core/base/expr
13
+ */
14
+ export declare abstract class AbstractExpr implements Value {
15
+ abstract getUses(): Value[];
16
+ abstract getType(): Type;
17
+ abstract toString(): string;
18
+ inferType(arkMethod: ArkMethod): AbstractExpr;
19
+ }
20
+ export declare abstract class AbstractInvokeExpr extends AbstractExpr {
21
+ private methodSignature;
22
+ private args;
23
+ private realGenericTypes?;
24
+ constructor(methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
25
+ /**
26
+ * Get method Signature. The method signature is consist of ClassSignature and MethodSubSignature.
27
+ * It is the unique flag of a method. It is usually used to compose a expression string in ArkIRTransformer.
28
+ * @returns The class method signature, such as ArkStaticInvokeExpr.
29
+ * @example
30
+ * 1. 3AC information composed of getMethodSignature ().
31
+
32
+ ```typescript
33
+ let strs: string[] = [];
34
+ strs.push('staticinvoke <');
35
+ strs.push(this.getMethodSignature().toString());
36
+ strs.push('>(');
37
+ ```
38
+ */
39
+ getMethodSignature(): MethodSignature;
40
+ setMethodSignature(newMethodSignature: MethodSignature): void;
41
+ /**
42
+ * Returns an argument used in the expression according to its index.
43
+ * @param index - the index of the argument.
44
+ * @returns An argument used in the expression.
45
+ */
46
+ getArg(index: number): Value;
47
+ /**
48
+ * Returns an **array** of arguments used in the expression.
49
+ * @returns An **array** of arguments used in the expression.
50
+ * @example
51
+ * 1. get args number.
52
+
53
+ ```typescript
54
+ const argsNum = expr.getArgs().length;
55
+ if (argsNum < 5) {
56
+ ... ...
57
+ }
58
+ ```
59
+
60
+ 2. iterate arg based on expression
61
+
62
+ ```typescript
63
+ for (const arg of this.getArgs()) {
64
+ strs.push(arg.toString());
65
+ strs.push(', ');
66
+ }
67
+ ```
68
+ */
69
+ getArgs(): Value[];
70
+ setArgs(newArgs: Value[]): void;
71
+ getType(): Type;
72
+ getRealGenericTypes(): Type[] | undefined;
73
+ setRealGenericTypes(realTypes: Type[] | undefined): void;
74
+ getUses(): Value[];
75
+ }
76
+ export declare class ArkInstanceInvokeExpr extends AbstractInvokeExpr {
77
+ private base;
78
+ constructor(base: Local, methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
79
+ /**
80
+ * Returns the local of the instance of invoke expression.
81
+ * @returns The local of the invoke expression's instance..
82
+ */
83
+ getBase(): Local;
84
+ setBase(newBase: Local): void;
85
+ /**
86
+ * Returns an **array** of values used in this invoke expression,
87
+ * including all arguments and values each arguments used.
88
+ * For {@link ArkInstanceInvokeExpr}, the return also contains the caller base and uses of base.
89
+ * @returns An **array** of arguments used in the invoke expression.
90
+ */
91
+ getUses(): Value[];
92
+ toString(): string;
93
+ inferType(arkMethod: ArkMethod): AbstractInvokeExpr;
94
+ }
95
+ export declare class ArkStaticInvokeExpr extends AbstractInvokeExpr {
96
+ constructor(methodSignature: MethodSignature, args: Value[], realGenericTypes?: Type[]);
97
+ toString(): string;
98
+ inferType(arkMethod: ArkMethod): AbstractInvokeExpr;
99
+ }
100
+ export declare class ArkPtrInvokeExpr extends AbstractInvokeExpr {
101
+ private funPtrLocal;
102
+ constructor(methodSignature: MethodSignature, ptr: Local, args: Value[], realGenericTypes?: Type[]);
103
+ setFunPtrLocal(ptr: Local): void;
104
+ getFuncPtrLocal(): Local;
105
+ toString(): string;
106
+ inferType(arkMethod: ArkMethod): ArkPtrInvokeExpr;
107
+ getUses(): Value[];
108
+ }
109
+ export declare class ArkNewExpr extends AbstractExpr {
110
+ private classType;
111
+ constructor(classType: ClassType);
112
+ getClassType(): ClassType;
113
+ getUses(): Value[];
114
+ getType(): Type;
115
+ toString(): string;
116
+ inferType(arkMethod: ArkMethod): ArkNewExpr;
117
+ }
118
+ export declare class ArkNewArrayExpr extends AbstractExpr {
119
+ private baseType;
120
+ private size;
121
+ private fromLiteral;
122
+ constructor(baseType: Type, size: Value, fromLiteral?: boolean);
123
+ getSize(): Value;
124
+ setSize(newSize: Value): void;
125
+ getType(): ArrayType;
126
+ getBaseType(): Type;
127
+ setBaseType(newType: Type): void;
128
+ isFromLiteral(): boolean;
129
+ inferType(arkMethod: ArkMethod): ArkNewArrayExpr;
130
+ getUses(): Value[];
131
+ toString(): string;
132
+ }
133
+ export declare class ArkDeleteExpr extends AbstractExpr {
134
+ private field;
135
+ constructor(field: AbstractFieldRef);
136
+ getField(): AbstractFieldRef;
137
+ setField(newField: AbstractFieldRef): void;
138
+ getType(): Type;
139
+ getUses(): Value[];
140
+ toString(): string;
141
+ }
142
+ export declare class ArkAwaitExpr extends AbstractExpr {
143
+ private promise;
144
+ constructor(promise: Value);
145
+ getPromise(): Value;
146
+ setPromise(newPromise: Value): void;
147
+ getType(): Type;
148
+ inferType(arkMethod: ArkMethod): ArkAwaitExpr;
149
+ getUses(): Value[];
150
+ toString(): string;
151
+ }
152
+ export declare class ArkYieldExpr extends AbstractExpr {
153
+ private yieldValue;
154
+ constructor(yieldValue: Value);
155
+ getYieldValue(): Value;
156
+ setYieldValue(newYieldValue: Value): void;
157
+ getType(): Type;
158
+ getUses(): Value[];
159
+ toString(): string;
160
+ }
161
+ export declare enum NormalBinaryOperator {
162
+ NullishCoalescing = "??",
163
+ Exponentiation = "**",
164
+ Division = "/",
165
+ Addition = "+",
166
+ Subtraction = "-",
167
+ Multiplication = "*",
168
+ Remainder = "%",
169
+ LeftShift = "<<",
170
+ RightShift = ">>",
171
+ UnsignedRightShift = ">>>",
172
+ BitwiseAnd = "&",
173
+ BitwiseOr = "|",
174
+ BitwiseXor = "^",
175
+ LogicalAnd = "&&",
176
+ LogicalOr = "||"
177
+ }
178
+ export declare enum RelationalBinaryOperator {
179
+ LessThan = "<",
180
+ LessThanOrEqual = "<=",
181
+ GreaterThan = ">",
182
+ GreaterThanOrEqual = ">=",
183
+ Equality = "==",
184
+ InEquality = "!=",
185
+ StrictEquality = "===",
186
+ StrictInequality = "!==",
187
+ isPropertyOf = "in"
188
+ }
189
+ export type BinaryOperator = NormalBinaryOperator | RelationalBinaryOperator;
190
+ export declare abstract class AbstractBinopExpr extends AbstractExpr {
191
+ protected op1: Value;
192
+ protected op2: Value;
193
+ protected operator: BinaryOperator;
194
+ protected type: Type;
195
+ constructor(op1: Value, op2: Value, operator: BinaryOperator);
196
+ /**
197
+ * Returns the first operand in the binary operation expression.
198
+ * For example, the first operand in `a + b;` is `a`.
199
+ * @returns The first operand in the binary operation expression.
200
+ */
201
+ getOp1(): Value;
202
+ setOp1(newOp1: Value): void;
203
+ /**
204
+ * Returns the second operand in the binary operation expression.
205
+ * For example, the second operand in `a + b;` is `b`.
206
+ * @returns The second operand in the binary operation expression.
207
+ */
208
+ getOp2(): Value;
209
+ setOp2(newOp2: Value): void;
210
+ /**
211
+ * Get the binary operator from the statement.
212
+ * The binary operator can be divided into two categories,
213
+ * one is the normal binary operator and the other is relational binary operator.
214
+ * @returns The binary operator from the statement.
215
+ * @example
216
+ ```typescript
217
+ if (expr instanceof AbstractBinopExpr) {
218
+ let op1: Value = expr.getOp1();
219
+ let op2: Value = expr.getOp2();
220
+ let operator: string = expr.getOperator();
221
+ ... ...
222
+ }
223
+ ```
224
+ */
225
+ getOperator(): BinaryOperator;
226
+ getType(): Type;
227
+ getUses(): Value[];
228
+ toString(): string;
229
+ protected inferOpType(op: Value, arkMethod: ArkMethod): void;
230
+ protected setType(): void;
231
+ inferType(arkMethod: ArkMethod): AbstractBinopExpr;
232
+ }
233
+ export declare class ArkConditionExpr extends AbstractBinopExpr {
234
+ constructor(op1: Value, op2: Value, operator: RelationalBinaryOperator);
235
+ inferType(arkMethod: ArkMethod): ArkConditionExpr;
236
+ }
237
+ export declare class ArkNormalBinopExpr extends AbstractBinopExpr {
238
+ constructor(op1: Value, op2: Value, operator: NormalBinaryOperator);
239
+ }
240
+ export declare class ArkTypeOfExpr extends AbstractExpr {
241
+ private op;
242
+ constructor(op: Value);
243
+ getOp(): Value;
244
+ setOp(newOp: Value): void;
245
+ getUses(): Value[];
246
+ getType(): Type;
247
+ toString(): string;
248
+ }
249
+ export declare class ArkInstanceOfExpr extends AbstractExpr {
250
+ private op;
251
+ private checkType;
252
+ constructor(op: Value, checkType: Type);
253
+ getOp(): Value;
254
+ setOp(newOp: Value): void;
255
+ getCheckType(): Type;
256
+ getType(): Type;
257
+ getUses(): Value[];
258
+ toString(): string;
259
+ }
260
+ export declare class ArkCastExpr extends AbstractExpr {
261
+ private op;
262
+ private type;
263
+ constructor(op: Value, type: Type);
264
+ getOp(): Value;
265
+ setOp(newOp: Value): void;
266
+ getUses(): Value[];
267
+ getType(): Type;
268
+ inferType(arkMethod: ArkMethod): AbstractExpr;
269
+ toString(): string;
270
+ }
271
+ export declare class ArkPhiExpr extends AbstractExpr {
272
+ private args;
273
+ private argToBlock;
274
+ constructor();
275
+ getUses(): Value[];
276
+ getArgs(): Local[];
277
+ setArgs(args: Local[]): void;
278
+ getArgToBlock(): Map<Local, BasicBlock>;
279
+ setArgToBlock(argToBlock: Map<Local, BasicBlock>): void;
280
+ getType(): Type;
281
+ toString(): string;
282
+ }
283
+ export declare enum UnaryOperator {
284
+ Neg = "-",
285
+ BitwiseNot = "~",
286
+ LogicalNot = "!"
287
+ }
288
+ export declare class ArkUnopExpr extends AbstractExpr {
289
+ private op;
290
+ private operator;
291
+ constructor(op: Value, operator: UnaryOperator);
292
+ getUses(): Value[];
293
+ getOp(): Value;
294
+ setOp(newOp: Value): void;
295
+ getType(): Type;
296
+ /**
297
+ * Get the unary operator from the statement, such as `-`,`~`,`!`.
298
+ * @returns the unary operator of a statement.
299
+ */
300
+ getOperator(): UnaryOperator;
301
+ toString(): string;
302
+ }
303
+ export type AliasTypeOriginalModel = Type | ImportInfo | Local | ArkClass | ArkMethod | ArkField;
304
+ /**
305
+ * Expression of the right hand of the type alias definition statement.
306
+ * @category core/base/expr
307
+ * @extends AbstractExpr
308
+ * @example
309
+ ```typescript
310
+ let a: number = 123;
311
+ type ABC = typeof a;
312
+ ```
313
+ * The AliasTypeExpr of the previous statement is with local 'a' as the 'originalObject' and 'transferWithTypeOf' is true.
314
+ *
315
+ * The Following case: import type with no clause name is not supported now,
316
+ * whose 'originalObject' is {@link ImportInfo} with 'null' 'lazyExportInfo'.
317
+ ```typescript
318
+ let a = typeof import('./abc');
319
+ ```
320
+ */
321
+ export declare class AliasTypeExpr extends AbstractExpr {
322
+ private originalObject;
323
+ private readonly transferWithTypeOf;
324
+ private realGenericTypes?;
325
+ constructor(originalObject: AliasTypeOriginalModel, transferWithTypeOf?: boolean);
326
+ getOriginalObject(): AliasTypeOriginalModel;
327
+ setOriginalObject(object: AliasTypeOriginalModel): void;
328
+ getTransferWithTypeOf(): boolean;
329
+ setRealGenericTypes(realGenericTypes: Type[]): void;
330
+ getRealGenericTypes(): Type[] | undefined;
331
+ getType(): Type;
332
+ inferType(arkMethod: ArkMethod): AbstractExpr;
333
+ /**
334
+ * Returns all used values which mainly used for def-use chain analysis.
335
+ * @returns Always returns empty array because her is the alias type definition which has no relationship with value flow.
336
+ */
337
+ getUses(): Value[];
338
+ toString(): string;
339
+ static isAliasTypeOriginalModel(object: any): object is AliasTypeOriginalModel;
340
+ }
341
341
  //# sourceMappingURL=Expr.d.ts.map