arkanalyzer 1.0.20 → 1.0.21

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