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,105 +1,105 @@
1
- import { Stmt } from './Stmt';
2
- import { Type } from './Type';
3
- import { Value } from './Value';
4
- import { ArkExport, ExportType } from '../model/ArkExport';
5
- import { LocalSignature } from '../model/ArkSignature';
6
- import { ModifierType } from '../model/ArkBaseModel';
7
- import { ArkMethod } from '../model/ArkMethod';
8
- /**
9
- * @category core/base
10
- */
11
- export declare class Local implements Value, ArkExport {
12
- private name;
13
- private type;
14
- private originalValue;
15
- private declaringStmt;
16
- private usedStmts;
17
- private signature?;
18
- private constFlag?;
19
- constructor(name: string, type?: Type);
20
- inferType(arkMethod: ArkMethod): Local;
21
- /**
22
- * Returns the name of local value.
23
- * @returns The name of local value.
24
- * @example
25
- * 1. get the name of local value.
26
-
27
- ```typescript
28
- arkClass.getDefaultArkMethod()?.getBody().getLocals().forEach(local => {
29
- const arkField = new ArkField();
30
- arkField.setFieldType(ArkField.DEFAULT_ARK_Field);
31
- arkField.setDeclaringClass(defaultClass);
32
- arkField.setType(local.getType());
33
- arkField.setName(local.getName());
34
- arkField.genSignature();
35
- defaultClass.addField(arkField);
36
- });
37
- ```
38
- */
39
- getName(): string;
40
- setName(name: string): void;
41
- /**
42
- * Returns the type of this local.
43
- * @returns The type of this local.
44
- */
45
- getType(): Type;
46
- setType(newType: Type): void;
47
- getOriginalValue(): Value | null;
48
- setOriginalValue(originalValue: Value): void;
49
- /**
50
- * Returns the declaring statement, which may also be a **null**.
51
- * For example, if the code snippet in a function is `let dd = cc + 5;` where `cc` is a **number**
52
- * and `dd` is not defined before, then the declaring statemet of local `dd`:
53
- * - its **string** text is "dd = cc + 5".
54
- * - the **strings** of right operand and left operand are "cc + 5" and "dd", respectively.
55
- * - three values are used in this statement: `cc + 5` (i.e., a normal binary operation expression), `cc` (a local), and `5` (a constant), respectively.
56
- * @returns The declaring statement (maybe a **null**) of the local.
57
- * @example
58
- * 1. get the statement that defines the local for the first time.
59
-
60
- ```typescript
61
- let stmt = local.getDeclaringStmt();
62
- if (stmt !== null) {
63
- ...
64
- }
65
- ```
66
- */
67
- getDeclaringStmt(): Stmt | null;
68
- setDeclaringStmt(declaringStmt: Stmt): void;
69
- /**
70
- * Returns an **array** of values which are contained in this local.
71
- * @returns An **array** of values used by this local.
72
- */
73
- getUses(): Value[];
74
- addUsedStmt(usedStmt: Stmt): void;
75
- /**
76
- * Returns an array of statements used by the local, i.e., the statements in which the local participate.
77
- * For example, if the code snippet is `let dd = cc + 5;` where `cc` is a local and `cc` only appears once,
78
- * then the length of **array** returned is 1 and `Stmts[0]` will be same as the example described
79
- * in the `Local.getDeclaringStmt()`.
80
- * @returns An array of statements used by the local.
81
- */
82
- getUsedStmts(): Stmt[];
83
- /**
84
- * Get a string of local name in Local
85
- * @returns The string of local name.
86
- * @example
87
- * 1. get a name string.
88
-
89
- ```typescript
90
- for (const value of stmt.getUses()) {
91
- const name = value.toString();
92
- ...
93
- }
94
- ```
95
- */
96
- toString(): string;
97
- getExportType(): ExportType;
98
- getModifiers(): number;
99
- containsModifier(modifierType: ModifierType): boolean;
100
- getSignature(): LocalSignature;
101
- setSignature(signature: LocalSignature): void;
102
- getConstFlag(): boolean;
103
- setConstFlag(newConstFlag: boolean): void;
104
- }
1
+ import { Stmt } from './Stmt';
2
+ import { Type } from './Type';
3
+ import { Value } from './Value';
4
+ import { ArkExport, ExportType } from '../model/ArkExport';
5
+ import { LocalSignature } from '../model/ArkSignature';
6
+ import { ModifierType } from '../model/ArkBaseModel';
7
+ import { ArkMethod } from '../model/ArkMethod';
8
+ /**
9
+ * @category core/base
10
+ */
11
+ export declare class Local implements Value, ArkExport {
12
+ private name;
13
+ private type;
14
+ private originalValue;
15
+ private declaringStmt;
16
+ private usedStmts;
17
+ private signature?;
18
+ private constFlag?;
19
+ constructor(name: string, type?: Type);
20
+ inferType(arkMethod: ArkMethod): Local;
21
+ /**
22
+ * Returns the name of local value.
23
+ * @returns The name of local value.
24
+ * @example
25
+ * 1. get the name of local value.
26
+
27
+ ```typescript
28
+ arkClass.getDefaultArkMethod()?.getBody().getLocals().forEach(local => {
29
+ const arkField = new ArkField();
30
+ arkField.setFieldType(ArkField.DEFAULT_ARK_Field);
31
+ arkField.setDeclaringClass(defaultClass);
32
+ arkField.setType(local.getType());
33
+ arkField.setName(local.getName());
34
+ arkField.genSignature();
35
+ defaultClass.addField(arkField);
36
+ });
37
+ ```
38
+ */
39
+ getName(): string;
40
+ setName(name: string): void;
41
+ /**
42
+ * Returns the type of this local.
43
+ * @returns The type of this local.
44
+ */
45
+ getType(): Type;
46
+ setType(newType: Type): void;
47
+ getOriginalValue(): Value | null;
48
+ setOriginalValue(originalValue: Value): void;
49
+ /**
50
+ * Returns the declaring statement, which may also be a **null**.
51
+ * For example, if the code snippet in a function is `let dd = cc + 5;` where `cc` is a **number**
52
+ * and `dd` is not defined before, then the declaring statemet of local `dd`:
53
+ * - its **string** text is "dd = cc + 5".
54
+ * - the **strings** of right operand and left operand are "cc + 5" and "dd", respectively.
55
+ * - three values are used in this statement: `cc + 5` (i.e., a normal binary operation expression), `cc` (a local), and `5` (a constant), respectively.
56
+ * @returns The declaring statement (maybe a **null**) of the local.
57
+ * @example
58
+ * 1. get the statement that defines the local for the first time.
59
+
60
+ ```typescript
61
+ let stmt = local.getDeclaringStmt();
62
+ if (stmt !== null) {
63
+ ...
64
+ }
65
+ ```
66
+ */
67
+ getDeclaringStmt(): Stmt | null;
68
+ setDeclaringStmt(declaringStmt: Stmt): void;
69
+ /**
70
+ * Returns an **array** of values which are contained in this local.
71
+ * @returns An **array** of values used by this local.
72
+ */
73
+ getUses(): Value[];
74
+ addUsedStmt(usedStmt: Stmt): void;
75
+ /**
76
+ * Returns an array of statements used by the local, i.e., the statements in which the local participate.
77
+ * For example, if the code snippet is `let dd = cc + 5;` where `cc` is a local and `cc` only appears once,
78
+ * then the length of **array** returned is 1 and `Stmts[0]` will be same as the example described
79
+ * in the `Local.getDeclaringStmt()`.
80
+ * @returns An array of statements used by the local.
81
+ */
82
+ getUsedStmts(): Stmt[];
83
+ /**
84
+ * Get a string of local name in Local
85
+ * @returns The string of local name.
86
+ * @example
87
+ * 1. get a name string.
88
+
89
+ ```typescript
90
+ for (const value of stmt.getUses()) {
91
+ const name = value.toString();
92
+ ...
93
+ }
94
+ ```
95
+ */
96
+ toString(): string;
97
+ getExportType(): ExportType;
98
+ getModifiers(): number;
99
+ containsModifier(modifierType: ModifierType): boolean;
100
+ getSignature(): LocalSignature;
101
+ setSignature(signature: LocalSignature): void;
102
+ getConstFlag(): boolean;
103
+ setConstFlag(newConstFlag: boolean): void;
104
+ }
105
105
  //# sourceMappingURL=Local.d.ts.map
@@ -1,176 +1,176 @@
1
- "use strict";
2
- /*
3
- * Copyright (c) 2024 Huawei Device Co., Ltd.
4
- * Licensed under the Apache License, Version 2.0 (the "License");
5
- * you may not use this file except in compliance with the License.
6
- * You may obtain a copy of the License at
7
- *
8
- * http://www.apache.org/licenses/LICENSE-2.0
9
- *
10
- * Unless required by applicable law or agreed to in writing, software
11
- * distributed under the License is distributed on an "AS IS" BASIS,
12
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
- * See the License for the specific language governing permissions and
14
- * limitations under the License.
15
- */
16
- Object.defineProperty(exports, "__esModule", { value: true });
17
- exports.Local = void 0;
18
- const Type_1 = require("./Type");
19
- const TypeInference_1 = require("../common/TypeInference");
20
- const ArkExport_1 = require("../model/ArkExport");
21
- const ArkSignature_1 = require("../model/ArkSignature");
22
- const ArkSignatureBuilder_1 = require("../model/builder/ArkSignatureBuilder");
23
- const Const_1 = require("../common/Const");
24
- const ArkBaseModel_1 = require("../model/ArkBaseModel");
25
- const ModelUtils_1 = require("../common/ModelUtils");
26
- /**
27
- * @category core/base
28
- */
29
- class Local {
30
- constructor(name, type = Type_1.UnknownType.getInstance()) {
31
- this.name = name;
32
- this.type = type;
33
- this.originalValue = null;
34
- this.declaringStmt = null;
35
- this.usedStmts = [];
36
- }
37
- inferType(arkMethod) {
38
- var _a, _b;
39
- if (TypeInference_1.TypeInference.isUnclearType(this.type)) {
40
- const type = (_a = TypeInference_1.TypeInference.inferUnclearRefName(this.name, arkMethod.getDeclaringArkClass())) !== null && _a !== void 0 ? _a : (_b = ModelUtils_1.ModelUtils.findDeclaredLocal(this, arkMethod)) === null || _b === void 0 ? void 0 : _b.getType();
41
- if (type) {
42
- this.type = type;
43
- }
44
- }
45
- return this;
46
- }
47
- /**
48
- * Returns the name of local value.
49
- * @returns The name of local value.
50
- * @example
51
- * 1. get the name of local value.
52
-
53
- ```typescript
54
- arkClass.getDefaultArkMethod()?.getBody().getLocals().forEach(local => {
55
- const arkField = new ArkField();
56
- arkField.setFieldType(ArkField.DEFAULT_ARK_Field);
57
- arkField.setDeclaringClass(defaultClass);
58
- arkField.setType(local.getType());
59
- arkField.setName(local.getName());
60
- arkField.genSignature();
61
- defaultClass.addField(arkField);
62
- });
63
- ```
64
- */
65
- getName() {
66
- return this.name;
67
- }
68
- setName(name) {
69
- this.name = name;
70
- }
71
- /**
72
- * Returns the type of this local.
73
- * @returns The type of this local.
74
- */
75
- getType() {
76
- return this.type;
77
- }
78
- setType(newType) {
79
- this.type = newType;
80
- }
81
- getOriginalValue() {
82
- return this.originalValue;
83
- }
84
- setOriginalValue(originalValue) {
85
- this.originalValue = originalValue;
86
- }
87
- /**
88
- * Returns the declaring statement, which may also be a **null**.
89
- * For example, if the code snippet in a function is `let dd = cc + 5;` where `cc` is a **number**
90
- * and `dd` is not defined before, then the declaring statemet of local `dd`:
91
- * - its **string** text is "dd = cc + 5".
92
- * - the **strings** of right operand and left operand are "cc + 5" and "dd", respectively.
93
- * - three values are used in this statement: `cc + 5` (i.e., a normal binary operation expression), `cc` (a local), and `5` (a constant), respectively.
94
- * @returns The declaring statement (maybe a **null**) of the local.
95
- * @example
96
- * 1. get the statement that defines the local for the first time.
97
-
98
- ```typescript
99
- let stmt = local.getDeclaringStmt();
100
- if (stmt !== null) {
101
- ...
102
- }
103
- ```
104
- */
105
- getDeclaringStmt() {
106
- return this.declaringStmt;
107
- }
108
- setDeclaringStmt(declaringStmt) {
109
- this.declaringStmt = declaringStmt;
110
- }
111
- /**
112
- * Returns an **array** of values which are contained in this local.
113
- * @returns An **array** of values used by this local.
114
- */
115
- getUses() {
116
- return [];
117
- }
118
- addUsedStmt(usedStmt) {
119
- this.usedStmts.push(usedStmt);
120
- }
121
- /**
122
- * Returns an array of statements used by the local, i.e., the statements in which the local participate.
123
- * For example, if the code snippet is `let dd = cc + 5;` where `cc` is a local and `cc` only appears once,
124
- * then the length of **array** returned is 1 and `Stmts[0]` will be same as the example described
125
- * in the `Local.getDeclaringStmt()`.
126
- * @returns An array of statements used by the local.
127
- */
128
- getUsedStmts() {
129
- return this.usedStmts;
130
- }
131
- /**
132
- * Get a string of local name in Local
133
- * @returns The string of local name.
134
- * @example
135
- * 1. get a name string.
136
-
137
- ```typescript
138
- for (const value of stmt.getUses()) {
139
- const name = value.toString();
140
- ...
141
- }
142
- ```
143
- */
144
- toString() {
145
- return this.getName();
146
- }
147
- getExportType() {
148
- return ArkExport_1.ExportType.LOCAL;
149
- }
150
- getModifiers() {
151
- return 0;
152
- }
153
- containsModifier(modifierType) {
154
- if (modifierType === ArkBaseModel_1.ModifierType.CONST) {
155
- return this.getConstFlag();
156
- }
157
- return false;
158
- }
159
- getSignature() {
160
- var _a;
161
- return (_a = this.signature) !== null && _a !== void 0 ? _a : new ArkSignature_1.LocalSignature(this.name, new ArkSignature_1.MethodSignature(ArkSignature_1.ClassSignature.DEFAULT, ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Const_1.UNKNOWN_METHOD_NAME)));
162
- }
163
- setSignature(signature) {
164
- this.signature = signature;
165
- }
166
- getConstFlag() {
167
- if (!this.constFlag) {
168
- return false;
169
- }
170
- return this.constFlag;
171
- }
172
- setConstFlag(newConstFlag) {
173
- this.constFlag = newConstFlag;
174
- }
175
- }
176
- exports.Local = Local;
1
+ "use strict";
2
+ /*
3
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
4
+ * Licensed under the Apache License, Version 2.0 (the "License");
5
+ * you may not use this file except in compliance with the License.
6
+ * You may obtain a copy of the License at
7
+ *
8
+ * http://www.apache.org/licenses/LICENSE-2.0
9
+ *
10
+ * Unless required by applicable law or agreed to in writing, software
11
+ * distributed under the License is distributed on an "AS IS" BASIS,
12
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
+ * See the License for the specific language governing permissions and
14
+ * limitations under the License.
15
+ */
16
+ Object.defineProperty(exports, "__esModule", { value: true });
17
+ exports.Local = void 0;
18
+ const Type_1 = require("./Type");
19
+ const TypeInference_1 = require("../common/TypeInference");
20
+ const ArkExport_1 = require("../model/ArkExport");
21
+ const ArkSignature_1 = require("../model/ArkSignature");
22
+ const ArkSignatureBuilder_1 = require("../model/builder/ArkSignatureBuilder");
23
+ const Const_1 = require("../common/Const");
24
+ const ArkBaseModel_1 = require("../model/ArkBaseModel");
25
+ const ModelUtils_1 = require("../common/ModelUtils");
26
+ /**
27
+ * @category core/base
28
+ */
29
+ class Local {
30
+ constructor(name, type = Type_1.UnknownType.getInstance()) {
31
+ this.name = name;
32
+ this.type = type;
33
+ this.originalValue = null;
34
+ this.declaringStmt = null;
35
+ this.usedStmts = [];
36
+ }
37
+ inferType(arkMethod) {
38
+ var _a, _b;
39
+ if (TypeInference_1.TypeInference.isUnclearType(this.type)) {
40
+ const type = (_a = TypeInference_1.TypeInference.inferUnclearRefName(this.name, arkMethod.getDeclaringArkClass())) !== null && _a !== void 0 ? _a : (_b = ModelUtils_1.ModelUtils.findDeclaredLocal(this, arkMethod)) === null || _b === void 0 ? void 0 : _b.getType();
41
+ if (type) {
42
+ this.type = type;
43
+ }
44
+ }
45
+ return this;
46
+ }
47
+ /**
48
+ * Returns the name of local value.
49
+ * @returns The name of local value.
50
+ * @example
51
+ * 1. get the name of local value.
52
+
53
+ ```typescript
54
+ arkClass.getDefaultArkMethod()?.getBody().getLocals().forEach(local => {
55
+ const arkField = new ArkField();
56
+ arkField.setFieldType(ArkField.DEFAULT_ARK_Field);
57
+ arkField.setDeclaringClass(defaultClass);
58
+ arkField.setType(local.getType());
59
+ arkField.setName(local.getName());
60
+ arkField.genSignature();
61
+ defaultClass.addField(arkField);
62
+ });
63
+ ```
64
+ */
65
+ getName() {
66
+ return this.name;
67
+ }
68
+ setName(name) {
69
+ this.name = name;
70
+ }
71
+ /**
72
+ * Returns the type of this local.
73
+ * @returns The type of this local.
74
+ */
75
+ getType() {
76
+ return this.type;
77
+ }
78
+ setType(newType) {
79
+ this.type = newType;
80
+ }
81
+ getOriginalValue() {
82
+ return this.originalValue;
83
+ }
84
+ setOriginalValue(originalValue) {
85
+ this.originalValue = originalValue;
86
+ }
87
+ /**
88
+ * Returns the declaring statement, which may also be a **null**.
89
+ * For example, if the code snippet in a function is `let dd = cc + 5;` where `cc` is a **number**
90
+ * and `dd` is not defined before, then the declaring statemet of local `dd`:
91
+ * - its **string** text is "dd = cc + 5".
92
+ * - the **strings** of right operand and left operand are "cc + 5" and "dd", respectively.
93
+ * - three values are used in this statement: `cc + 5` (i.e., a normal binary operation expression), `cc` (a local), and `5` (a constant), respectively.
94
+ * @returns The declaring statement (maybe a **null**) of the local.
95
+ * @example
96
+ * 1. get the statement that defines the local for the first time.
97
+
98
+ ```typescript
99
+ let stmt = local.getDeclaringStmt();
100
+ if (stmt !== null) {
101
+ ...
102
+ }
103
+ ```
104
+ */
105
+ getDeclaringStmt() {
106
+ return this.declaringStmt;
107
+ }
108
+ setDeclaringStmt(declaringStmt) {
109
+ this.declaringStmt = declaringStmt;
110
+ }
111
+ /**
112
+ * Returns an **array** of values which are contained in this local.
113
+ * @returns An **array** of values used by this local.
114
+ */
115
+ getUses() {
116
+ return [];
117
+ }
118
+ addUsedStmt(usedStmt) {
119
+ this.usedStmts.push(usedStmt);
120
+ }
121
+ /**
122
+ * Returns an array of statements used by the local, i.e., the statements in which the local participate.
123
+ * For example, if the code snippet is `let dd = cc + 5;` where `cc` is a local and `cc` only appears once,
124
+ * then the length of **array** returned is 1 and `Stmts[0]` will be same as the example described
125
+ * in the `Local.getDeclaringStmt()`.
126
+ * @returns An array of statements used by the local.
127
+ */
128
+ getUsedStmts() {
129
+ return this.usedStmts;
130
+ }
131
+ /**
132
+ * Get a string of local name in Local
133
+ * @returns The string of local name.
134
+ * @example
135
+ * 1. get a name string.
136
+
137
+ ```typescript
138
+ for (const value of stmt.getUses()) {
139
+ const name = value.toString();
140
+ ...
141
+ }
142
+ ```
143
+ */
144
+ toString() {
145
+ return this.getName();
146
+ }
147
+ getExportType() {
148
+ return ArkExport_1.ExportType.LOCAL;
149
+ }
150
+ getModifiers() {
151
+ return 0;
152
+ }
153
+ containsModifier(modifierType) {
154
+ if (modifierType === ArkBaseModel_1.ModifierType.CONST) {
155
+ return this.getConstFlag();
156
+ }
157
+ return false;
158
+ }
159
+ getSignature() {
160
+ var _a;
161
+ return (_a = this.signature) !== null && _a !== void 0 ? _a : new ArkSignature_1.LocalSignature(this.name, new ArkSignature_1.MethodSignature(ArkSignature_1.ClassSignature.DEFAULT, ArkSignatureBuilder_1.ArkSignatureBuilder.buildMethodSubSignatureFromMethodName(Const_1.UNKNOWN_METHOD_NAME)));
162
+ }
163
+ setSignature(signature) {
164
+ this.signature = signature;
165
+ }
166
+ getConstFlag() {
167
+ if (!this.constFlag) {
168
+ return false;
169
+ }
170
+ return this.constFlag;
171
+ }
172
+ setConstFlag(newConstFlag) {
173
+ this.constFlag = newConstFlag;
174
+ }
175
+ }
176
+ exports.Local = Local;
@@ -1,31 +1,31 @@
1
- import ts from 'ohos-typescript';
2
- export type LineCol = number;
3
- export declare function setLine(lineCol: LineCol, lineNo: number): LineCol;
4
- export declare function setCol(lineCol: LineCol, colNo: number): LineCol;
5
- export declare function setLineCol(lineNo: number, colNo: number): LineCol;
6
- export declare function getLineNo(lineCol: LineCol): number;
7
- export declare function getColNo(lineCol: LineCol): number;
8
- /**
9
- * @category core/base
10
- */
11
- export declare class LineColPosition {
12
- private readonly lineCol;
13
- static readonly DEFAULT: LineColPosition;
14
- constructor(lineNo: number, colNo: number);
15
- getLineNo(): number;
16
- getColNo(): number;
17
- static buildFromNode(node: ts.Node, sourceFile: ts.SourceFile): LineColPosition;
18
- }
19
- export declare class FullPosition {
20
- private readonly first;
21
- private readonly last;
22
- static readonly DEFAULT: FullPosition;
23
- constructor(firstLine: number, firstCol: number, lastLine: number, lastCol: number);
24
- getFirstLine(): number;
25
- getLastLine(): number;
26
- getFirstCol(): number;
27
- getLastCol(): number;
28
- static buildFromNode(node: ts.Node, sourceFile: ts.SourceFile): FullPosition;
29
- static merge(leftMostPosition: FullPosition, rightMostPosition: FullPosition): FullPosition;
30
- }
1
+ import ts from 'ohos-typescript';
2
+ export type LineCol = number;
3
+ export declare function setLine(lineCol: LineCol, lineNo: number): LineCol;
4
+ export declare function setCol(lineCol: LineCol, colNo: number): LineCol;
5
+ export declare function setLineCol(lineNo: number, colNo: number): LineCol;
6
+ export declare function getLineNo(lineCol: LineCol): number;
7
+ export declare function getColNo(lineCol: LineCol): number;
8
+ /**
9
+ * @category core/base
10
+ */
11
+ export declare class LineColPosition {
12
+ private readonly lineCol;
13
+ static readonly DEFAULT: LineColPosition;
14
+ constructor(lineNo: number, colNo: number);
15
+ getLineNo(): number;
16
+ getColNo(): number;
17
+ static buildFromNode(node: ts.Node, sourceFile: ts.SourceFile): LineColPosition;
18
+ }
19
+ export declare class FullPosition {
20
+ private readonly first;
21
+ private readonly last;
22
+ static readonly DEFAULT: FullPosition;
23
+ constructor(firstLine: number, firstCol: number, lastLine: number, lastCol: number);
24
+ getFirstLine(): number;
25
+ getLastLine(): number;
26
+ getFirstCol(): number;
27
+ getLastCol(): number;
28
+ static buildFromNode(node: ts.Node, sourceFile: ts.SourceFile): FullPosition;
29
+ static merge(leftMostPosition: FullPosition, rightMostPosition: FullPosition): FullPosition;
30
+ }
31
31
  //# sourceMappingURL=Position.d.ts.map