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,558 +1,558 @@
1
- "use strict";
2
- /*
3
- * Copyright (c) 2024-2025 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
- var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
17
- if (k2 === undefined) k2 = k;
18
- var desc = Object.getOwnPropertyDescriptor(m, k);
19
- if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
20
- desc = { enumerable: true, get: function() { return m[k]; } };
21
- }
22
- Object.defineProperty(o, k2, desc);
23
- }) : (function(o, m, k, k2) {
24
- if (k2 === undefined) k2 = k;
25
- o[k2] = m[k];
26
- }));
27
- var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
28
- Object.defineProperty(o, "default", { enumerable: true, value: v });
29
- }) : function(o, v) {
30
- o["default"] = v;
31
- });
32
- var __importStar = (this && this.__importStar) || function (mod) {
33
- if (mod && mod.__esModule) return mod;
34
- var result = {};
35
- if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
36
- __setModuleDefault(result, mod);
37
- return result;
38
- };
39
- var __importDefault = (this && this.__importDefault) || function (mod) {
40
- return (mod && mod.__esModule) ? mod : { "default": mod };
41
- };
42
- Object.defineProperty(exports, "__esModule", { value: true });
43
- exports.buildTypeFromPreStr = exports.tsNode2Type = exports.buildReturnType = exports.buildGenericType = exports.buildParameters = exports.buildTypeParameters = exports.buildHeritageClauses = exports.buildModifiers = exports.buildDecorators = exports.handlePropertyAccessExpression = exports.handleQualifiedName = void 0;
44
- const ohos_typescript_1 = __importDefault(require("ohos-typescript"));
45
- const Type_1 = require("../../base/Type");
46
- const TypeInference_1 = require("../../common/TypeInference");
47
- const ArkField_1 = require("../ArkField");
48
- const logger_1 = __importStar(require("../../../utils/logger"));
49
- const ArkClass_1 = require("../ArkClass");
50
- const ArkMethod_1 = require("../ArkMethod");
51
- const Decorator_1 = require("../../base/Decorator");
52
- const ArkMethodBuilder_1 = require("./ArkMethodBuilder");
53
- const ArkClassBuilder_1 = require("./ArkClassBuilder");
54
- const Builtin_1 = require("../../common/Builtin");
55
- const ArkBaseModel_1 = require("../ArkBaseModel");
56
- const ArkValueTransformer_1 = require("../../common/ArkValueTransformer");
57
- const TypeExpr_1 = require("../../base/TypeExpr");
58
- const TSConst_1 = require("../../common/TSConst");
59
- const ArkSignatureBuilder_1 = require("./ArkSignatureBuilder");
60
- const Ref_1 = require("../../base/Ref");
61
- const Local_1 = require("../../base/Local");
62
- const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'builderUtils');
63
- function handleQualifiedName(node) {
64
- let right = node.right.text;
65
- let left = '';
66
- if (node.left.kind === ohos_typescript_1.default.SyntaxKind.Identifier) {
67
- left = node.left.text;
68
- }
69
- else if (node.left.kind === ohos_typescript_1.default.SyntaxKind.QualifiedName) {
70
- left = handleQualifiedName(node.left);
71
- }
72
- let qualifiedName = left + '.' + right;
73
- return qualifiedName;
74
- }
75
- exports.handleQualifiedName = handleQualifiedName;
76
- function handlePropertyAccessExpression(node) {
77
- let right = node.name.text;
78
- let left = '';
79
- if (ohos_typescript_1.default.SyntaxKind[node.expression.kind] === 'Identifier') {
80
- left = node.expression.text;
81
- }
82
- else if (ohos_typescript_1.default.isStringLiteral(node.expression)) {
83
- left = node.expression.text;
84
- }
85
- else if (ohos_typescript_1.default.isPropertyAccessExpression(node.expression)) {
86
- left = handlePropertyAccessExpression(node.expression);
87
- }
88
- let propertyAccessExpressionName = left + '.' + right;
89
- return propertyAccessExpressionName;
90
- }
91
- exports.handlePropertyAccessExpression = handlePropertyAccessExpression;
92
- function buildDecorators(node, sourceFile) {
93
- let decorators = new Set();
94
- ohos_typescript_1.default.getAllDecorators(node).forEach((decoratorNode) => {
95
- let decorator = parseDecorator(decoratorNode);
96
- if (decorator) {
97
- decorator.setContent(decoratorNode.expression.getText(sourceFile));
98
- decorators.add(decorator);
99
- }
100
- });
101
- return decorators;
102
- }
103
- exports.buildDecorators = buildDecorators;
104
- function parseDecorator(node) {
105
- if (!node.expression) {
106
- return undefined;
107
- }
108
- let expression = node.expression;
109
- if (ohos_typescript_1.default.isIdentifier(expression)) {
110
- return new Decorator_1.Decorator(expression.text);
111
- }
112
- if (!ohos_typescript_1.default.isCallExpression(expression) || !ohos_typescript_1.default.isIdentifier(expression.expression)) {
113
- return undefined;
114
- }
115
- let decorator = new Decorator_1.Decorator(expression.expression.text);
116
- if (expression.arguments.length > 0) {
117
- const arg = expression.arguments[0];
118
- if (ohos_typescript_1.default.isArrowFunction(arg) && ohos_typescript_1.default.isIdentifier(arg.body)) {
119
- decorator.setParam(arg.body.text);
120
- }
121
- }
122
- return decorator;
123
- }
124
- function buildModifiers(node) {
125
- var _a;
126
- let modifiers = 0;
127
- if (ohos_typescript_1.default.canHaveModifiers(node)) {
128
- (_a = ohos_typescript_1.default.getModifiers(node)) === null || _a === void 0 ? void 0 : _a.forEach((modifier) => {
129
- modifiers |= (0, ArkBaseModel_1.modifierKind2Enum)(modifier.kind);
130
- });
131
- }
132
- return modifiers;
133
- }
134
- exports.buildModifiers = buildModifiers;
135
- function buildHeritageClauses(heritageClauses) {
136
- let heritageClausesMap = new Map();
137
- heritageClauses === null || heritageClauses === void 0 ? void 0 : heritageClauses.forEach((heritageClause) => {
138
- heritageClause.types.forEach((type) => {
139
- let heritageClauseName = '';
140
- if (type.typeArguments) {
141
- heritageClauseName = type.getText();
142
- }
143
- else if (ohos_typescript_1.default.isIdentifier(type.expression)) {
144
- heritageClauseName = type.expression.text;
145
- }
146
- else if (ohos_typescript_1.default.isPropertyAccessExpression(type.expression)) {
147
- heritageClauseName = handlePropertyAccessExpression(type.expression);
148
- }
149
- else {
150
- heritageClauseName = type.getText();
151
- }
152
- heritageClausesMap.set(heritageClauseName, ohos_typescript_1.default.SyntaxKind[heritageClause.token]);
153
- });
154
- });
155
- return heritageClausesMap;
156
- }
157
- exports.buildHeritageClauses = buildHeritageClauses;
158
- function buildTypeParameters(typeParameters, sourceFile, arkInstance) {
159
- const genericTypes = [];
160
- let index = -1;
161
- typeParameters.forEach((typeParameter) => {
162
- const genericType = tsNode2Type(typeParameter, sourceFile, arkInstance);
163
- if (genericType instanceof Type_1.GenericType) {
164
- genericType.setIndex(++index);
165
- genericTypes.push(genericType);
166
- }
167
- if (typeParameter.modifiers) {
168
- logger.warn('This typeparameter has modifiers.');
169
- }
170
- if (typeParameter.expression) {
171
- logger.warn('This typeparameter has expression.');
172
- }
173
- });
174
- return genericTypes;
175
- }
176
- exports.buildTypeParameters = buildTypeParameters;
177
- function buildParameters(params, arkInstance, sourceFile) {
178
- let parameters = [];
179
- params.forEach((parameter) => {
180
- let methodParameter = new ArkMethodBuilder_1.MethodParameter();
181
- // name
182
- if (ohos_typescript_1.default.isIdentifier(parameter.name)) {
183
- methodParameter.setName(parameter.name.text);
184
- }
185
- else if (ohos_typescript_1.default.isObjectBindingPattern(parameter.name)) {
186
- methodParameter.setName('ObjectBindingPattern');
187
- let elements = [];
188
- parameter.name.elements.forEach((element) => {
189
- let paraElement = new ArkMethodBuilder_1.ObjectBindingPatternParameter();
190
- if (element.propertyName) {
191
- if (ohos_typescript_1.default.isIdentifier(element.propertyName)) {
192
- paraElement.setPropertyName(element.propertyName.text);
193
- }
194
- else {
195
- logger.warn('New propertyName of ObjectBindingPattern found, please contact developers to support this!');
196
- }
197
- }
198
- if (element.name) {
199
- if (ohos_typescript_1.default.isIdentifier(element.name)) {
200
- paraElement.setName(element.name.text);
201
- }
202
- else {
203
- logger.warn('New name of ObjectBindingPattern found, please contact developers to support this!');
204
- }
205
- }
206
- if (element.initializer) {
207
- logger.warn('TODO: support ObjectBindingPattern initializer.');
208
- }
209
- if (element.dotDotDotToken) {
210
- paraElement.setOptional(true);
211
- }
212
- elements.push(paraElement);
213
- });
214
- methodParameter.setObjElements(elements);
215
- }
216
- else if (ohos_typescript_1.default.isArrayBindingPattern(parameter.name)) {
217
- methodParameter.setName('ArrayBindingPattern');
218
- let elements = [];
219
- parameter.name.elements.forEach((element) => {
220
- let paraElement = new ArkMethodBuilder_1.ArrayBindingPatternParameter();
221
- if (ohos_typescript_1.default.isBindingElement(element)) {
222
- if (element.propertyName) {
223
- if (ohos_typescript_1.default.isIdentifier(element.propertyName)) {
224
- paraElement.setPropertyName(element.propertyName.text);
225
- }
226
- else {
227
- logger.warn('New propertyName of ArrayBindingPattern found, please contact developers to support this!');
228
- }
229
- }
230
- if (element.name) {
231
- if (ohos_typescript_1.default.isIdentifier(element.name)) {
232
- paraElement.setName(element.name.text);
233
- }
234
- else {
235
- logger.warn('New name of ArrayBindingPattern found, please contact developers to support this!');
236
- }
237
- }
238
- if (element.initializer) {
239
- logger.warn('TODO: support ArrayBindingPattern initializer.');
240
- }
241
- if (element.dotDotDotToken) {
242
- paraElement.setOptional(true);
243
- }
244
- }
245
- else if (ohos_typescript_1.default.isOmittedExpression(element)) {
246
- logger.warn('TODO: support OmittedExpression for ArrayBindingPattern parameter name.');
247
- }
248
- elements.push(paraElement);
249
- });
250
- methodParameter.setArrayElements(elements);
251
- }
252
- else {
253
- logger.warn('Parameter name is not identifier, ObjectBindingPattern nor ArrayBindingPattern, please contact developers to support this!');
254
- }
255
- // questionToken
256
- if (parameter.questionToken) {
257
- methodParameter.setOptional(true);
258
- }
259
- // type
260
- if (parameter.type) {
261
- methodParameter.setType(buildGenericType(tsNode2Type(parameter.type, sourceFile, arkInstance), arkInstance));
262
- }
263
- else {
264
- methodParameter.setType(Type_1.UnknownType.getInstance());
265
- }
266
- // initializer
267
- if (parameter.initializer) {
268
- //TODO?
269
- }
270
- // dotDotDotToken
271
- if (parameter.dotDotDotToken) {
272
- methodParameter.setDotDotDotToken(true);
273
- }
274
- // modifiers
275
- if (parameter.modifiers) {
276
- //
277
- }
278
- parameters.push(methodParameter);
279
- });
280
- return parameters;
281
- }
282
- exports.buildParameters = buildParameters;
283
- function buildGenericType(type, arkInstance) {
284
- function replace(urType) {
285
- var _a, _b, _c;
286
- const typeName = urType.getName();
287
- let gType;
288
- if (arkInstance instanceof Type_1.AliasType) {
289
- gType = (_a = arkInstance.getGenericTypes()) === null || _a === void 0 ? void 0 : _a.find(f => f.getName() === typeName);
290
- }
291
- else {
292
- if (arkInstance instanceof ArkMethod_1.ArkMethod) {
293
- gType = (_b = arkInstance.getGenericTypes()) === null || _b === void 0 ? void 0 : _b.find(f => f.getName() === typeName);
294
- }
295
- if (!gType) {
296
- gType = (_c = arkInstance.getDeclaringArkClass().getGenericsTypes()) === null || _c === void 0 ? void 0 : _c.find(f => f.getName() === typeName);
297
- }
298
- }
299
- if (gType) {
300
- return gType;
301
- }
302
- const types = urType.getGenericTypes();
303
- for (let i = 0; i < types.length; i++) {
304
- const mayType = types[i];
305
- if (mayType instanceof Type_1.UnclearReferenceType) {
306
- types[i] = replace(mayType);
307
- }
308
- }
309
- return urType;
310
- }
311
- if (type instanceof Type_1.UnclearReferenceType) {
312
- return replace(type);
313
- }
314
- else if (type instanceof Type_1.ClassType && arkInstance instanceof Type_1.AliasType) {
315
- type.setRealGenericTypes(arkInstance.getGenericTypes());
316
- }
317
- else if (type instanceof Type_1.UnionType || type instanceof Type_1.TupleType) {
318
- const types = type.getTypes();
319
- for (let i = 0; i < types.length; i++) {
320
- const mayType = types[i];
321
- if (mayType instanceof Type_1.UnclearReferenceType) {
322
- types[i] = replace(mayType);
323
- }
324
- }
325
- }
326
- else if (type instanceof Type_1.ArrayType) {
327
- const baseType = type.getBaseType();
328
- if (baseType instanceof Type_1.UnclearReferenceType) {
329
- type.setBaseType(replace(baseType));
330
- }
331
- }
332
- return type;
333
- }
334
- exports.buildGenericType = buildGenericType;
335
- function buildReturnType(node, sourceFile, method) {
336
- if (node) {
337
- return tsNode2Type(node, sourceFile, method);
338
- }
339
- else {
340
- return Type_1.UnknownType.getInstance();
341
- }
342
- }
343
- exports.buildReturnType = buildReturnType;
344
- function tsNode2Type(typeNode, sourceFile, arkInstance) {
345
- if (ohos_typescript_1.default.isTypeReferenceNode(typeNode)) {
346
- const genericTypes = [];
347
- if (typeNode.typeArguments) {
348
- for (const typeArgument of typeNode.typeArguments) {
349
- genericTypes.push(tsNode2Type(typeArgument, sourceFile, arkInstance));
350
- }
351
- }
352
- let referenceNodeName = typeNode.typeName;
353
- if (ohos_typescript_1.default.isQualifiedName(referenceNodeName)) {
354
- let parameterTypeStr = handleQualifiedName(referenceNodeName);
355
- return new Type_1.UnclearReferenceType(parameterTypeStr, genericTypes);
356
- }
357
- else {
358
- let parameterTypeStr = referenceNodeName.text;
359
- return new Type_1.UnclearReferenceType(parameterTypeStr, genericTypes);
360
- }
361
- }
362
- else if (ohos_typescript_1.default.isUnionTypeNode(typeNode) || ohos_typescript_1.default.isIntersectionTypeNode(typeNode)) {
363
- let multipleTypePara = [];
364
- typeNode.types.forEach((tmpType) => {
365
- multipleTypePara.push(tsNode2Type(tmpType, sourceFile, arkInstance));
366
- });
367
- if (ohos_typescript_1.default.isUnionTypeNode(typeNode)) {
368
- return new Type_1.UnionType(multipleTypePara);
369
- }
370
- else {
371
- return new Type_1.IntersectionType(multipleTypePara);
372
- }
373
- }
374
- else if (ohos_typescript_1.default.isLiteralTypeNode(typeNode)) {
375
- return ArkValueTransformer_1.ArkValueTransformer.resolveLiteralTypeNode(typeNode, sourceFile);
376
- }
377
- else if (ohos_typescript_1.default.isTypeLiteralNode(typeNode)) {
378
- let cls = new ArkClass_1.ArkClass();
379
- let declaringClass;
380
- if (arkInstance instanceof ArkMethod_1.ArkMethod) {
381
- declaringClass = arkInstance.getDeclaringArkClass();
382
- }
383
- else if (arkInstance instanceof ArkField_1.ArkField) {
384
- declaringClass = arkInstance.getDeclaringArkClass();
385
- }
386
- else {
387
- declaringClass = arkInstance;
388
- }
389
- if (declaringClass.getDeclaringArkNamespace()) {
390
- cls.setDeclaringArkNamespace(declaringClass.getDeclaringArkNamespace());
391
- cls.setDeclaringArkFile(declaringClass.getDeclaringArkFile());
392
- }
393
- else {
394
- cls.setDeclaringArkFile(declaringClass.getDeclaringArkFile());
395
- }
396
- (0, ArkClassBuilder_1.buildNormalArkClassFromArkMethod)(typeNode, cls, sourceFile);
397
- return new Type_1.ClassType(cls.getSignature());
398
- }
399
- else if (ohos_typescript_1.default.isFunctionTypeNode(typeNode)) {
400
- let mtd = new ArkMethod_1.ArkMethod();
401
- let cls;
402
- if (arkInstance instanceof ArkMethod_1.ArkMethod) {
403
- cls = arkInstance.getDeclaringArkClass();
404
- }
405
- else if (arkInstance instanceof ArkClass_1.ArkClass) {
406
- cls = arkInstance;
407
- }
408
- else {
409
- cls = arkInstance.getDeclaringArkClass();
410
- }
411
- (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(typeNode, cls, mtd, sourceFile);
412
- return new Type_1.FunctionType(mtd.getSignature());
413
- }
414
- else if (ohos_typescript_1.default.isTypeParameterDeclaration(typeNode)) {
415
- const name = typeNode.name.text;
416
- let defaultType;
417
- if (typeNode.default) {
418
- defaultType = tsNode2Type(typeNode.default, sourceFile, arkInstance);
419
- }
420
- let constraint;
421
- if (typeNode.constraint) {
422
- constraint = tsNode2Type(typeNode.constraint, sourceFile, arkInstance);
423
- }
424
- return new Type_1.GenericType(name, defaultType, constraint);
425
- }
426
- else if (ohos_typescript_1.default.isTupleTypeNode(typeNode)) {
427
- const types = [];
428
- typeNode.elements.forEach(element => {
429
- types.push(tsNode2Type(element, sourceFile, arkInstance));
430
- });
431
- return new Type_1.TupleType(types);
432
- }
433
- else if (ohos_typescript_1.default.isArrayTypeNode(typeNode)) {
434
- return new Type_1.ArrayType(tsNode2Type(typeNode.elementType, sourceFile, arkInstance), 1);
435
- }
436
- else if (ohos_typescript_1.default.isParenthesizedTypeNode(typeNode)) {
437
- return tsNode2Type(typeNode.type, sourceFile, arkInstance);
438
- }
439
- else if (ohos_typescript_1.default.isTypeOperatorNode(typeNode)) {
440
- return buildTypeFromTypeOperator(typeNode, sourceFile, arkInstance);
441
- }
442
- else if (ohos_typescript_1.default.isTypeQueryNode(typeNode)) {
443
- return buildTypeFromTypeQuery(typeNode, sourceFile, arkInstance);
444
- }
445
- else if (typeNode.kind === ohos_typescript_1.default.SyntaxKind.ObjectKeyword) {
446
- return new Type_1.ClassType(Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE);
447
- }
448
- else {
449
- return buildTypeFromPreStr(ohos_typescript_1.default.SyntaxKind[typeNode.kind]);
450
- }
451
- }
452
- exports.tsNode2Type = tsNode2Type;
453
- function buildTypeFromPreStr(preStr) {
454
- let postStr = '';
455
- switch (preStr) {
456
- case 'BooleanKeyword':
457
- postStr = 'boolean';
458
- break;
459
- case 'FalseKeyword':
460
- postStr = 'boolean';
461
- break;
462
- case 'TrueKeyword':
463
- postStr = 'boolean';
464
- break;
465
- case 'NumberKeyword':
466
- postStr = 'number';
467
- break;
468
- case 'NumericLiteral':
469
- postStr = 'number';
470
- break;
471
- case 'FirstLiteralToken':
472
- postStr = 'number';
473
- break;
474
- case 'StringKeyword':
475
- postStr = 'string';
476
- break;
477
- case 'StringLiteral':
478
- postStr = 'string';
479
- break;
480
- case 'UndefinedKeyword':
481
- postStr = 'undefined';
482
- break;
483
- case 'NullKeyword':
484
- postStr = 'null';
485
- break;
486
- case 'AnyKeyword':
487
- postStr = 'any';
488
- break;
489
- case 'VoidKeyword':
490
- postStr = 'void';
491
- break;
492
- case 'NeverKeyword':
493
- postStr = 'never';
494
- break;
495
- default:
496
- postStr = preStr;
497
- }
498
- return TypeInference_1.TypeInference.buildTypeFromStr(postStr);
499
- }
500
- exports.buildTypeFromPreStr = buildTypeFromPreStr;
501
- function buildTypeFromTypeOperator(typeOperatorNode, sourceFile, arkInstance) {
502
- const typeNode = typeOperatorNode.type;
503
- let type = tsNode2Type(typeNode, sourceFile, arkInstance);
504
- switch (typeOperatorNode.operator) {
505
- case (ohos_typescript_1.default.SyntaxKind.ReadonlyKeyword): {
506
- if (type instanceof Type_1.ArrayType || type instanceof Type_1.TupleType) {
507
- type.setReadonlyFlag(true);
508
- }
509
- return type;
510
- }
511
- case (ohos_typescript_1.default.SyntaxKind.KeyOfKeyword):
512
- return new TypeExpr_1.KeyofTypeExpr(type);
513
- case (ohos_typescript_1.default.SyntaxKind.UniqueKeyword):
514
- return Type_1.UnknownType.getInstance();
515
- default:
516
- return Type_1.UnknownType.getInstance();
517
- }
518
- }
519
- function buildTypeFromTypeQuery(typeQueryNode, sourceFile, arkInstance) {
520
- var _a, _b, _c, _d, _e, _f;
521
- const exprNameNode = typeQueryNode.exprName;
522
- let opValue;
523
- if (ohos_typescript_1.default.isQualifiedName(exprNameNode)) {
524
- if (exprNameNode.left.getText(sourceFile) === TSConst_1.THIS_NAME) {
525
- const fieldName = exprNameNode.right.getText(sourceFile);
526
- if (arkInstance instanceof ArkMethod_1.ArkMethod) {
527
- const fieldSignature = (_b = (_a = arkInstance.getDeclaringArkClass().getFieldWithName(fieldName)) === null || _a === void 0 ? void 0 : _a.getSignature()) !== null && _b !== void 0 ? _b : ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
528
- const baseLocal = (_d = (_c = arkInstance.getBody()) === null || _c === void 0 ? void 0 : _c.getLocals().get(TSConst_1.THIS_NAME)) !== null && _d !== void 0 ? _d : new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(arkInstance.getDeclaringArkClass().getSignature(), arkInstance.getDeclaringArkClass().getGenericsTypes()));
529
- opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
530
- }
531
- else if (arkInstance instanceof ArkClass_1.ArkClass) {
532
- const fieldSignature = (_f = (_e = arkInstance.getFieldWithName(fieldName)) === null || _e === void 0 ? void 0 : _e.getSignature()) !== null && _f !== void 0 ? _f : ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
533
- const baseLocal = new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(arkInstance.getSignature(), arkInstance.getGenericsTypes()));
534
- opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
535
- }
536
- else {
537
- const fieldSignature = arkInstance.getSignature();
538
- const baseLocal = new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(arkInstance.getDeclaringArkClass().getSignature(), arkInstance.getDeclaringArkClass().getGenericsTypes()));
539
- opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
540
- }
541
- }
542
- else {
543
- const exprName = exprNameNode.getText(sourceFile);
544
- opValue = new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
545
- }
546
- }
547
- else {
548
- const exprName = exprNameNode.escapedText.toString();
549
- opValue = new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
550
- }
551
- let expr = new TypeExpr_1.TypeQueryExpr(opValue);
552
- if (typeQueryNode.typeArguments) {
553
- for (const typeArgument of typeQueryNode.typeArguments) {
554
- expr.addGenericType(tsNode2Type(typeArgument, sourceFile, arkInstance));
555
- }
556
- }
557
- return expr;
558
- }
1
+ "use strict";
2
+ /*
3
+ * Copyright (c) 2024-2025 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
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
17
+ if (k2 === undefined) k2 = k;
18
+ var desc = Object.getOwnPropertyDescriptor(m, k);
19
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
20
+ desc = { enumerable: true, get: function() { return m[k]; } };
21
+ }
22
+ Object.defineProperty(o, k2, desc);
23
+ }) : (function(o, m, k, k2) {
24
+ if (k2 === undefined) k2 = k;
25
+ o[k2] = m[k];
26
+ }));
27
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
28
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
29
+ }) : function(o, v) {
30
+ o["default"] = v;
31
+ });
32
+ var __importStar = (this && this.__importStar) || function (mod) {
33
+ if (mod && mod.__esModule) return mod;
34
+ var result = {};
35
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
36
+ __setModuleDefault(result, mod);
37
+ return result;
38
+ };
39
+ var __importDefault = (this && this.__importDefault) || function (mod) {
40
+ return (mod && mod.__esModule) ? mod : { "default": mod };
41
+ };
42
+ Object.defineProperty(exports, "__esModule", { value: true });
43
+ exports.buildTypeFromPreStr = exports.tsNode2Type = exports.buildReturnType = exports.buildGenericType = exports.buildParameters = exports.buildTypeParameters = exports.buildHeritageClauses = exports.buildModifiers = exports.buildDecorators = exports.handlePropertyAccessExpression = exports.handleQualifiedName = void 0;
44
+ const ohos_typescript_1 = __importDefault(require("ohos-typescript"));
45
+ const Type_1 = require("../../base/Type");
46
+ const TypeInference_1 = require("../../common/TypeInference");
47
+ const ArkField_1 = require("../ArkField");
48
+ const logger_1 = __importStar(require("../../../utils/logger"));
49
+ const ArkClass_1 = require("../ArkClass");
50
+ const ArkMethod_1 = require("../ArkMethod");
51
+ const Decorator_1 = require("../../base/Decorator");
52
+ const ArkMethodBuilder_1 = require("./ArkMethodBuilder");
53
+ const ArkClassBuilder_1 = require("./ArkClassBuilder");
54
+ const Builtin_1 = require("../../common/Builtin");
55
+ const ArkBaseModel_1 = require("../ArkBaseModel");
56
+ const ArkValueTransformer_1 = require("../../common/ArkValueTransformer");
57
+ const TypeExpr_1 = require("../../base/TypeExpr");
58
+ const TSConst_1 = require("../../common/TSConst");
59
+ const ArkSignatureBuilder_1 = require("./ArkSignatureBuilder");
60
+ const Ref_1 = require("../../base/Ref");
61
+ const Local_1 = require("../../base/Local");
62
+ const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'builderUtils');
63
+ function handleQualifiedName(node) {
64
+ let right = node.right.text;
65
+ let left = '';
66
+ if (node.left.kind === ohos_typescript_1.default.SyntaxKind.Identifier) {
67
+ left = node.left.text;
68
+ }
69
+ else if (node.left.kind === ohos_typescript_1.default.SyntaxKind.QualifiedName) {
70
+ left = handleQualifiedName(node.left);
71
+ }
72
+ let qualifiedName = left + '.' + right;
73
+ return qualifiedName;
74
+ }
75
+ exports.handleQualifiedName = handleQualifiedName;
76
+ function handlePropertyAccessExpression(node) {
77
+ let right = node.name.text;
78
+ let left = '';
79
+ if (ohos_typescript_1.default.SyntaxKind[node.expression.kind] === 'Identifier') {
80
+ left = node.expression.text;
81
+ }
82
+ else if (ohos_typescript_1.default.isStringLiteral(node.expression)) {
83
+ left = node.expression.text;
84
+ }
85
+ else if (ohos_typescript_1.default.isPropertyAccessExpression(node.expression)) {
86
+ left = handlePropertyAccessExpression(node.expression);
87
+ }
88
+ let propertyAccessExpressionName = left + '.' + right;
89
+ return propertyAccessExpressionName;
90
+ }
91
+ exports.handlePropertyAccessExpression = handlePropertyAccessExpression;
92
+ function buildDecorators(node, sourceFile) {
93
+ let decorators = new Set();
94
+ ohos_typescript_1.default.getAllDecorators(node).forEach((decoratorNode) => {
95
+ let decorator = parseDecorator(decoratorNode);
96
+ if (decorator) {
97
+ decorator.setContent(decoratorNode.expression.getText(sourceFile));
98
+ decorators.add(decorator);
99
+ }
100
+ });
101
+ return decorators;
102
+ }
103
+ exports.buildDecorators = buildDecorators;
104
+ function parseDecorator(node) {
105
+ if (!node.expression) {
106
+ return undefined;
107
+ }
108
+ let expression = node.expression;
109
+ if (ohos_typescript_1.default.isIdentifier(expression)) {
110
+ return new Decorator_1.Decorator(expression.text);
111
+ }
112
+ if (!ohos_typescript_1.default.isCallExpression(expression) || !ohos_typescript_1.default.isIdentifier(expression.expression)) {
113
+ return undefined;
114
+ }
115
+ let decorator = new Decorator_1.Decorator(expression.expression.text);
116
+ if (expression.arguments.length > 0) {
117
+ const arg = expression.arguments[0];
118
+ if (ohos_typescript_1.default.isArrowFunction(arg) && ohos_typescript_1.default.isIdentifier(arg.body)) {
119
+ decorator.setParam(arg.body.text);
120
+ }
121
+ }
122
+ return decorator;
123
+ }
124
+ function buildModifiers(node) {
125
+ var _a;
126
+ let modifiers = 0;
127
+ if (ohos_typescript_1.default.canHaveModifiers(node)) {
128
+ (_a = ohos_typescript_1.default.getModifiers(node)) === null || _a === void 0 ? void 0 : _a.forEach((modifier) => {
129
+ modifiers |= (0, ArkBaseModel_1.modifierKind2Enum)(modifier.kind);
130
+ });
131
+ }
132
+ return modifiers;
133
+ }
134
+ exports.buildModifiers = buildModifiers;
135
+ function buildHeritageClauses(heritageClauses) {
136
+ let heritageClausesMap = new Map();
137
+ heritageClauses === null || heritageClauses === void 0 ? void 0 : heritageClauses.forEach((heritageClause) => {
138
+ heritageClause.types.forEach((type) => {
139
+ let heritageClauseName = '';
140
+ if (type.typeArguments) {
141
+ heritageClauseName = type.getText();
142
+ }
143
+ else if (ohos_typescript_1.default.isIdentifier(type.expression)) {
144
+ heritageClauseName = type.expression.text;
145
+ }
146
+ else if (ohos_typescript_1.default.isPropertyAccessExpression(type.expression)) {
147
+ heritageClauseName = handlePropertyAccessExpression(type.expression);
148
+ }
149
+ else {
150
+ heritageClauseName = type.getText();
151
+ }
152
+ heritageClausesMap.set(heritageClauseName, ohos_typescript_1.default.SyntaxKind[heritageClause.token]);
153
+ });
154
+ });
155
+ return heritageClausesMap;
156
+ }
157
+ exports.buildHeritageClauses = buildHeritageClauses;
158
+ function buildTypeParameters(typeParameters, sourceFile, arkInstance) {
159
+ const genericTypes = [];
160
+ let index = -1;
161
+ typeParameters.forEach((typeParameter) => {
162
+ const genericType = tsNode2Type(typeParameter, sourceFile, arkInstance);
163
+ if (genericType instanceof Type_1.GenericType) {
164
+ genericType.setIndex(++index);
165
+ genericTypes.push(genericType);
166
+ }
167
+ if (typeParameter.modifiers) {
168
+ logger.warn('This typeparameter has modifiers.');
169
+ }
170
+ if (typeParameter.expression) {
171
+ logger.warn('This typeparameter has expression.');
172
+ }
173
+ });
174
+ return genericTypes;
175
+ }
176
+ exports.buildTypeParameters = buildTypeParameters;
177
+ function buildParameters(params, arkInstance, sourceFile) {
178
+ let parameters = [];
179
+ params.forEach((parameter) => {
180
+ let methodParameter = new ArkMethodBuilder_1.MethodParameter();
181
+ // name
182
+ if (ohos_typescript_1.default.isIdentifier(parameter.name)) {
183
+ methodParameter.setName(parameter.name.text);
184
+ }
185
+ else if (ohos_typescript_1.default.isObjectBindingPattern(parameter.name)) {
186
+ methodParameter.setName('ObjectBindingPattern');
187
+ let elements = [];
188
+ parameter.name.elements.forEach((element) => {
189
+ let paraElement = new ArkMethodBuilder_1.ObjectBindingPatternParameter();
190
+ if (element.propertyName) {
191
+ if (ohos_typescript_1.default.isIdentifier(element.propertyName)) {
192
+ paraElement.setPropertyName(element.propertyName.text);
193
+ }
194
+ else {
195
+ logger.warn('New propertyName of ObjectBindingPattern found, please contact developers to support this!');
196
+ }
197
+ }
198
+ if (element.name) {
199
+ if (ohos_typescript_1.default.isIdentifier(element.name)) {
200
+ paraElement.setName(element.name.text);
201
+ }
202
+ else {
203
+ logger.warn('New name of ObjectBindingPattern found, please contact developers to support this!');
204
+ }
205
+ }
206
+ if (element.initializer) {
207
+ logger.warn('TODO: support ObjectBindingPattern initializer.');
208
+ }
209
+ if (element.dotDotDotToken) {
210
+ paraElement.setOptional(true);
211
+ }
212
+ elements.push(paraElement);
213
+ });
214
+ methodParameter.setObjElements(elements);
215
+ }
216
+ else if (ohos_typescript_1.default.isArrayBindingPattern(parameter.name)) {
217
+ methodParameter.setName('ArrayBindingPattern');
218
+ let elements = [];
219
+ parameter.name.elements.forEach((element) => {
220
+ let paraElement = new ArkMethodBuilder_1.ArrayBindingPatternParameter();
221
+ if (ohos_typescript_1.default.isBindingElement(element)) {
222
+ if (element.propertyName) {
223
+ if (ohos_typescript_1.default.isIdentifier(element.propertyName)) {
224
+ paraElement.setPropertyName(element.propertyName.text);
225
+ }
226
+ else {
227
+ logger.warn('New propertyName of ArrayBindingPattern found, please contact developers to support this!');
228
+ }
229
+ }
230
+ if (element.name) {
231
+ if (ohos_typescript_1.default.isIdentifier(element.name)) {
232
+ paraElement.setName(element.name.text);
233
+ }
234
+ else {
235
+ logger.warn('New name of ArrayBindingPattern found, please contact developers to support this!');
236
+ }
237
+ }
238
+ if (element.initializer) {
239
+ logger.warn('TODO: support ArrayBindingPattern initializer.');
240
+ }
241
+ if (element.dotDotDotToken) {
242
+ paraElement.setOptional(true);
243
+ }
244
+ }
245
+ else if (ohos_typescript_1.default.isOmittedExpression(element)) {
246
+ logger.warn('TODO: support OmittedExpression for ArrayBindingPattern parameter name.');
247
+ }
248
+ elements.push(paraElement);
249
+ });
250
+ methodParameter.setArrayElements(elements);
251
+ }
252
+ else {
253
+ logger.warn('Parameter name is not identifier, ObjectBindingPattern nor ArrayBindingPattern, please contact developers to support this!');
254
+ }
255
+ // questionToken
256
+ if (parameter.questionToken) {
257
+ methodParameter.setOptional(true);
258
+ }
259
+ // type
260
+ if (parameter.type) {
261
+ methodParameter.setType(buildGenericType(tsNode2Type(parameter.type, sourceFile, arkInstance), arkInstance));
262
+ }
263
+ else {
264
+ methodParameter.setType(Type_1.UnknownType.getInstance());
265
+ }
266
+ // initializer
267
+ if (parameter.initializer) {
268
+ //TODO?
269
+ }
270
+ // dotDotDotToken
271
+ if (parameter.dotDotDotToken) {
272
+ methodParameter.setDotDotDotToken(true);
273
+ }
274
+ // modifiers
275
+ if (parameter.modifiers) {
276
+ //
277
+ }
278
+ parameters.push(methodParameter);
279
+ });
280
+ return parameters;
281
+ }
282
+ exports.buildParameters = buildParameters;
283
+ function buildGenericType(type, arkInstance) {
284
+ function replace(urType) {
285
+ var _a, _b, _c;
286
+ const typeName = urType.getName();
287
+ let gType;
288
+ if (arkInstance instanceof Type_1.AliasType) {
289
+ gType = (_a = arkInstance.getGenericTypes()) === null || _a === void 0 ? void 0 : _a.find(f => f.getName() === typeName);
290
+ }
291
+ else {
292
+ if (arkInstance instanceof ArkMethod_1.ArkMethod) {
293
+ gType = (_b = arkInstance.getGenericTypes()) === null || _b === void 0 ? void 0 : _b.find(f => f.getName() === typeName);
294
+ }
295
+ if (!gType) {
296
+ gType = (_c = arkInstance.getDeclaringArkClass().getGenericsTypes()) === null || _c === void 0 ? void 0 : _c.find(f => f.getName() === typeName);
297
+ }
298
+ }
299
+ if (gType) {
300
+ return gType;
301
+ }
302
+ const types = urType.getGenericTypes();
303
+ for (let i = 0; i < types.length; i++) {
304
+ const mayType = types[i];
305
+ if (mayType instanceof Type_1.UnclearReferenceType) {
306
+ types[i] = replace(mayType);
307
+ }
308
+ }
309
+ return urType;
310
+ }
311
+ if (type instanceof Type_1.UnclearReferenceType) {
312
+ return replace(type);
313
+ }
314
+ else if (type instanceof Type_1.ClassType && arkInstance instanceof Type_1.AliasType) {
315
+ type.setRealGenericTypes(arkInstance.getGenericTypes());
316
+ }
317
+ else if (type instanceof Type_1.UnionType || type instanceof Type_1.TupleType) {
318
+ const types = type.getTypes();
319
+ for (let i = 0; i < types.length; i++) {
320
+ const mayType = types[i];
321
+ if (mayType instanceof Type_1.UnclearReferenceType) {
322
+ types[i] = replace(mayType);
323
+ }
324
+ }
325
+ }
326
+ else if (type instanceof Type_1.ArrayType) {
327
+ const baseType = type.getBaseType();
328
+ if (baseType instanceof Type_1.UnclearReferenceType) {
329
+ type.setBaseType(replace(baseType));
330
+ }
331
+ }
332
+ return type;
333
+ }
334
+ exports.buildGenericType = buildGenericType;
335
+ function buildReturnType(node, sourceFile, method) {
336
+ if (node) {
337
+ return tsNode2Type(node, sourceFile, method);
338
+ }
339
+ else {
340
+ return Type_1.UnknownType.getInstance();
341
+ }
342
+ }
343
+ exports.buildReturnType = buildReturnType;
344
+ function tsNode2Type(typeNode, sourceFile, arkInstance) {
345
+ if (ohos_typescript_1.default.isTypeReferenceNode(typeNode)) {
346
+ const genericTypes = [];
347
+ if (typeNode.typeArguments) {
348
+ for (const typeArgument of typeNode.typeArguments) {
349
+ genericTypes.push(tsNode2Type(typeArgument, sourceFile, arkInstance));
350
+ }
351
+ }
352
+ let referenceNodeName = typeNode.typeName;
353
+ if (ohos_typescript_1.default.isQualifiedName(referenceNodeName)) {
354
+ let parameterTypeStr = handleQualifiedName(referenceNodeName);
355
+ return new Type_1.UnclearReferenceType(parameterTypeStr, genericTypes);
356
+ }
357
+ else {
358
+ let parameterTypeStr = referenceNodeName.text;
359
+ return new Type_1.UnclearReferenceType(parameterTypeStr, genericTypes);
360
+ }
361
+ }
362
+ else if (ohos_typescript_1.default.isUnionTypeNode(typeNode) || ohos_typescript_1.default.isIntersectionTypeNode(typeNode)) {
363
+ let multipleTypePara = [];
364
+ typeNode.types.forEach((tmpType) => {
365
+ multipleTypePara.push(tsNode2Type(tmpType, sourceFile, arkInstance));
366
+ });
367
+ if (ohos_typescript_1.default.isUnionTypeNode(typeNode)) {
368
+ return new Type_1.UnionType(multipleTypePara);
369
+ }
370
+ else {
371
+ return new Type_1.IntersectionType(multipleTypePara);
372
+ }
373
+ }
374
+ else if (ohos_typescript_1.default.isLiteralTypeNode(typeNode)) {
375
+ return ArkValueTransformer_1.ArkValueTransformer.resolveLiteralTypeNode(typeNode, sourceFile);
376
+ }
377
+ else if (ohos_typescript_1.default.isTypeLiteralNode(typeNode)) {
378
+ let cls = new ArkClass_1.ArkClass();
379
+ let declaringClass;
380
+ if (arkInstance instanceof ArkMethod_1.ArkMethod) {
381
+ declaringClass = arkInstance.getDeclaringArkClass();
382
+ }
383
+ else if (arkInstance instanceof ArkField_1.ArkField) {
384
+ declaringClass = arkInstance.getDeclaringArkClass();
385
+ }
386
+ else {
387
+ declaringClass = arkInstance;
388
+ }
389
+ if (declaringClass.getDeclaringArkNamespace()) {
390
+ cls.setDeclaringArkNamespace(declaringClass.getDeclaringArkNamespace());
391
+ cls.setDeclaringArkFile(declaringClass.getDeclaringArkFile());
392
+ }
393
+ else {
394
+ cls.setDeclaringArkFile(declaringClass.getDeclaringArkFile());
395
+ }
396
+ (0, ArkClassBuilder_1.buildNormalArkClassFromArkMethod)(typeNode, cls, sourceFile);
397
+ return new Type_1.ClassType(cls.getSignature());
398
+ }
399
+ else if (ohos_typescript_1.default.isFunctionTypeNode(typeNode)) {
400
+ let mtd = new ArkMethod_1.ArkMethod();
401
+ let cls;
402
+ if (arkInstance instanceof ArkMethod_1.ArkMethod) {
403
+ cls = arkInstance.getDeclaringArkClass();
404
+ }
405
+ else if (arkInstance instanceof ArkClass_1.ArkClass) {
406
+ cls = arkInstance;
407
+ }
408
+ else {
409
+ cls = arkInstance.getDeclaringArkClass();
410
+ }
411
+ (0, ArkMethodBuilder_1.buildArkMethodFromArkClass)(typeNode, cls, mtd, sourceFile);
412
+ return new Type_1.FunctionType(mtd.getSignature());
413
+ }
414
+ else if (ohos_typescript_1.default.isTypeParameterDeclaration(typeNode)) {
415
+ const name = typeNode.name.text;
416
+ let defaultType;
417
+ if (typeNode.default) {
418
+ defaultType = tsNode2Type(typeNode.default, sourceFile, arkInstance);
419
+ }
420
+ let constraint;
421
+ if (typeNode.constraint) {
422
+ constraint = tsNode2Type(typeNode.constraint, sourceFile, arkInstance);
423
+ }
424
+ return new Type_1.GenericType(name, defaultType, constraint);
425
+ }
426
+ else if (ohos_typescript_1.default.isTupleTypeNode(typeNode)) {
427
+ const types = [];
428
+ typeNode.elements.forEach(element => {
429
+ types.push(tsNode2Type(element, sourceFile, arkInstance));
430
+ });
431
+ return new Type_1.TupleType(types);
432
+ }
433
+ else if (ohos_typescript_1.default.isArrayTypeNode(typeNode)) {
434
+ return new Type_1.ArrayType(tsNode2Type(typeNode.elementType, sourceFile, arkInstance), 1);
435
+ }
436
+ else if (ohos_typescript_1.default.isParenthesizedTypeNode(typeNode)) {
437
+ return tsNode2Type(typeNode.type, sourceFile, arkInstance);
438
+ }
439
+ else if (ohos_typescript_1.default.isTypeOperatorNode(typeNode)) {
440
+ return buildTypeFromTypeOperator(typeNode, sourceFile, arkInstance);
441
+ }
442
+ else if (ohos_typescript_1.default.isTypeQueryNode(typeNode)) {
443
+ return buildTypeFromTypeQuery(typeNode, sourceFile, arkInstance);
444
+ }
445
+ else if (typeNode.kind === ohos_typescript_1.default.SyntaxKind.ObjectKeyword) {
446
+ return new Type_1.ClassType(Builtin_1.Builtin.OBJECT_CLASS_SIGNATURE);
447
+ }
448
+ else {
449
+ return buildTypeFromPreStr(ohos_typescript_1.default.SyntaxKind[typeNode.kind]);
450
+ }
451
+ }
452
+ exports.tsNode2Type = tsNode2Type;
453
+ function buildTypeFromPreStr(preStr) {
454
+ let postStr = '';
455
+ switch (preStr) {
456
+ case 'BooleanKeyword':
457
+ postStr = 'boolean';
458
+ break;
459
+ case 'FalseKeyword':
460
+ postStr = 'boolean';
461
+ break;
462
+ case 'TrueKeyword':
463
+ postStr = 'boolean';
464
+ break;
465
+ case 'NumberKeyword':
466
+ postStr = 'number';
467
+ break;
468
+ case 'NumericLiteral':
469
+ postStr = 'number';
470
+ break;
471
+ case 'FirstLiteralToken':
472
+ postStr = 'number';
473
+ break;
474
+ case 'StringKeyword':
475
+ postStr = 'string';
476
+ break;
477
+ case 'StringLiteral':
478
+ postStr = 'string';
479
+ break;
480
+ case 'UndefinedKeyword':
481
+ postStr = 'undefined';
482
+ break;
483
+ case 'NullKeyword':
484
+ postStr = 'null';
485
+ break;
486
+ case 'AnyKeyword':
487
+ postStr = 'any';
488
+ break;
489
+ case 'VoidKeyword':
490
+ postStr = 'void';
491
+ break;
492
+ case 'NeverKeyword':
493
+ postStr = 'never';
494
+ break;
495
+ default:
496
+ postStr = preStr;
497
+ }
498
+ return TypeInference_1.TypeInference.buildTypeFromStr(postStr);
499
+ }
500
+ exports.buildTypeFromPreStr = buildTypeFromPreStr;
501
+ function buildTypeFromTypeOperator(typeOperatorNode, sourceFile, arkInstance) {
502
+ const typeNode = typeOperatorNode.type;
503
+ let type = tsNode2Type(typeNode, sourceFile, arkInstance);
504
+ switch (typeOperatorNode.operator) {
505
+ case (ohos_typescript_1.default.SyntaxKind.ReadonlyKeyword): {
506
+ if (type instanceof Type_1.ArrayType || type instanceof Type_1.TupleType) {
507
+ type.setReadonlyFlag(true);
508
+ }
509
+ return type;
510
+ }
511
+ case (ohos_typescript_1.default.SyntaxKind.KeyOfKeyword):
512
+ return new TypeExpr_1.KeyofTypeExpr(type);
513
+ case (ohos_typescript_1.default.SyntaxKind.UniqueKeyword):
514
+ return Type_1.UnknownType.getInstance();
515
+ default:
516
+ return Type_1.UnknownType.getInstance();
517
+ }
518
+ }
519
+ function buildTypeFromTypeQuery(typeQueryNode, sourceFile, arkInstance) {
520
+ var _a, _b, _c, _d, _e, _f;
521
+ const exprNameNode = typeQueryNode.exprName;
522
+ let opValue;
523
+ if (ohos_typescript_1.default.isQualifiedName(exprNameNode)) {
524
+ if (exprNameNode.left.getText(sourceFile) === TSConst_1.THIS_NAME) {
525
+ const fieldName = exprNameNode.right.getText(sourceFile);
526
+ if (arkInstance instanceof ArkMethod_1.ArkMethod) {
527
+ const fieldSignature = (_b = (_a = arkInstance.getDeclaringArkClass().getFieldWithName(fieldName)) === null || _a === void 0 ? void 0 : _a.getSignature()) !== null && _b !== void 0 ? _b : ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
528
+ const baseLocal = (_d = (_c = arkInstance.getBody()) === null || _c === void 0 ? void 0 : _c.getLocals().get(TSConst_1.THIS_NAME)) !== null && _d !== void 0 ? _d : new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(arkInstance.getDeclaringArkClass().getSignature(), arkInstance.getDeclaringArkClass().getGenericsTypes()));
529
+ opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
530
+ }
531
+ else if (arkInstance instanceof ArkClass_1.ArkClass) {
532
+ const fieldSignature = (_f = (_e = arkInstance.getFieldWithName(fieldName)) === null || _e === void 0 ? void 0 : _e.getSignature()) !== null && _f !== void 0 ? _f : ArkSignatureBuilder_1.ArkSignatureBuilder.buildFieldSignatureFromFieldName(fieldName);
533
+ const baseLocal = new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(arkInstance.getSignature(), arkInstance.getGenericsTypes()));
534
+ opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
535
+ }
536
+ else {
537
+ const fieldSignature = arkInstance.getSignature();
538
+ const baseLocal = new Local_1.Local(TSConst_1.THIS_NAME, new Type_1.ClassType(arkInstance.getDeclaringArkClass().getSignature(), arkInstance.getDeclaringArkClass().getGenericsTypes()));
539
+ opValue = new Ref_1.ArkInstanceFieldRef(baseLocal, fieldSignature);
540
+ }
541
+ }
542
+ else {
543
+ const exprName = exprNameNode.getText(sourceFile);
544
+ opValue = new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
545
+ }
546
+ }
547
+ else {
548
+ const exprName = exprNameNode.escapedText.toString();
549
+ opValue = new Local_1.Local(exprName, Type_1.UnknownType.getInstance());
550
+ }
551
+ let expr = new TypeExpr_1.TypeQueryExpr(opValue);
552
+ if (typeQueryNode.typeArguments) {
553
+ for (const typeArgument of typeQueryNode.typeArguments) {
554
+ expr.addGenericType(tsNode2Type(typeArgument, sourceFile, arkInstance));
555
+ }
556
+ }
557
+ return expr;
558
+ }