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.
- package/lib/Config.d.ts +70 -70
- package/lib/Config.js +198 -198
- package/lib/Scene.d.ts +316 -316
- package/lib/Scene.js +1316 -1316
- package/lib/callgraph/algorithm/AbstractAnalysis.d.ts +28 -28
- package/lib/callgraph/algorithm/AbstractAnalysis.js +144 -144
- package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts +10 -10
- package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js +69 -69
- package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts +15 -15
- package/lib/callgraph/algorithm/RapidTypeAnalysis.js +146 -146
- package/lib/callgraph/common/Statistics.d.ts +57 -57
- package/lib/callgraph/common/Statistics.js +228 -228
- package/lib/callgraph/model/CallGraph.d.ts +96 -96
- package/lib/callgraph/model/CallGraph.js +354 -354
- package/lib/callgraph/model/builder/CallGraphBuilder.d.ts +15 -15
- package/lib/callgraph/model/builder/CallGraphBuilder.js +106 -106
- package/lib/callgraph/pointerAnalysis/Context.d.ts +37 -37
- package/lib/callgraph/pointerAnalysis/Context.js +155 -155
- package/lib/callgraph/pointerAnalysis/DummyCallCreator.d.ts +22 -22
- package/lib/callgraph/pointerAnalysis/DummyCallCreator.js +104 -104
- package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +5 -5
- package/lib/callgraph/pointerAnalysis/PTAUtils.js +46 -46
- package/lib/callgraph/pointerAnalysis/Pag.d.ts +261 -261
- package/lib/callgraph/pointerAnalysis/Pag.js +930 -930
- package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +157 -157
- package/lib/callgraph/pointerAnalysis/PagBuilder.js +1399 -1399
- package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts +72 -72
- package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +573 -573
- package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.d.ts +15 -15
- package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js +81 -81
- package/lib/callgraph/pointerAnalysis/PtsDS.d.ts +80 -80
- package/lib/callgraph/pointerAnalysis/PtsDS.js +308 -308
- package/lib/core/base/Constant.d.ts +48 -48
- package/lib/core/base/Constant.js +103 -103
- package/lib/core/base/Decorator.d.ts +15 -15
- package/lib/core/base/Decorator.js +46 -46
- package/lib/core/base/DefUseChain.d.ts +8 -8
- package/lib/core/base/DefUseChain.js +25 -25
- package/lib/core/base/Expr.d.ts +340 -340
- package/lib/core/base/Expr.js +917 -917
- package/lib/core/base/Local.d.ts +104 -104
- package/lib/core/base/Local.js +176 -176
- package/lib/core/base/Position.d.ts +30 -30
- package/lib/core/base/Position.js +147 -147
- package/lib/core/base/Ref.d.ts +173 -173
- package/lib/core/base/Ref.js +374 -374
- package/lib/core/base/Stmt.d.ts +237 -237
- package/lib/core/base/Stmt.js +525 -525
- package/lib/core/base/Trap.d.ts +8 -8
- package/lib/core/base/Trap.js +30 -30
- package/lib/core/base/Type.d.ts +308 -308
- package/lib/core/base/Type.js +639 -639
- package/lib/core/base/TypeExpr.d.ts +71 -71
- package/lib/core/base/TypeExpr.js +155 -155
- package/lib/core/base/Value.d.ts +32 -32
- package/lib/core/base/Value.js +16 -16
- package/lib/core/common/ArkError.d.ts +14 -14
- package/lib/core/common/ArkError.js +28 -28
- package/lib/core/common/ArkIRTransformer.d.ts +67 -67
- package/lib/core/common/ArkIRTransformer.js +690 -690
- package/lib/core/common/ArkValueTransformer.d.ts +89 -89
- package/lib/core/common/ArkValueTransformer.js +1478 -1478
- package/lib/core/common/Builtin.d.ts +36 -36
- package/lib/core/common/Builtin.js +81 -81
- package/lib/core/common/Const.d.ts +21 -21
- package/lib/core/common/Const.js +43 -43
- package/lib/core/common/DummyMainCreater.d.ts +46 -46
- package/lib/core/common/DummyMainCreater.js +319 -319
- package/lib/core/common/EtsConst.d.ts +73 -73
- package/lib/core/common/EtsConst.js +1021 -1021
- package/lib/core/common/ExprUseReplacer.d.ts +21 -21
- package/lib/core/common/ExprUseReplacer.js +124 -124
- package/lib/core/common/IRInference.d.ts +36 -36
- package/lib/core/common/IRInference.d.ts.map +1 -1
- package/lib/core/common/IRInference.js +651 -648
- package/lib/core/common/IRUtils.d.ts +18 -18
- package/lib/core/common/IRUtils.js +141 -141
- package/lib/core/common/ModelUtils.d.ts +70 -70
- package/lib/core/common/ModelUtils.js +712 -712
- package/lib/core/common/RefUseReplacer.d.ts +13 -13
- package/lib/core/common/RefUseReplacer.js +52 -52
- package/lib/core/common/SdkUtils.d.ts +8 -8
- package/lib/core/common/SdkUtils.js +105 -105
- package/lib/core/common/StmtDefReplacer.d.ts +12 -12
- package/lib/core/common/StmtDefReplacer.js +41 -41
- package/lib/core/common/StmtUseReplacer.d.ts +16 -16
- package/lib/core/common/StmtUseReplacer.js +108 -108
- package/lib/core/common/TSConst.d.ts +18 -18
- package/lib/core/common/TSConst.js +36 -36
- package/lib/core/common/TypeInference.d.ts +102 -102
- package/lib/core/common/TypeInference.js +748 -748
- package/lib/core/common/ValueUtil.d.ts +12 -12
- package/lib/core/common/ValueUtil.js +54 -54
- package/lib/core/common/VisibleValue.d.ts +36 -36
- package/lib/core/common/VisibleValue.js +212 -212
- package/lib/core/dataflow/DataflowProblem.d.ts +20 -20
- package/lib/core/dataflow/DataflowProblem.js +20 -20
- package/lib/core/dataflow/DataflowResult.d.ts +7 -7
- package/lib/core/dataflow/DataflowResult.js +26 -26
- package/lib/core/dataflow/DataflowSolver.d.ts +43 -43
- package/lib/core/dataflow/DataflowSolver.js +307 -307
- package/lib/core/dataflow/Edge.d.ts +11 -11
- package/lib/core/dataflow/Edge.js +31 -31
- package/lib/core/dataflow/Fact.d.ts +6 -6
- package/lib/core/dataflow/Fact.js +24 -24
- package/lib/core/dataflow/GenericDataFlow.d.ts +142 -142
- package/lib/core/dataflow/GenericDataFlow.js +109 -109
- package/lib/core/dataflow/ReachingDef.d.ts +62 -62
- package/lib/core/dataflow/ReachingDef.js +168 -168
- package/lib/core/dataflow/UndefinedVariable.d.ts +45 -45
- package/lib/core/dataflow/UndefinedVariable.js +288 -288
- package/lib/core/dataflow/Util.d.ts +9 -9
- package/lib/core/dataflow/Util.js +64 -64
- package/lib/core/graph/BaseExplicitGraph.d.ts +58 -58
- package/lib/core/graph/BaseExplicitGraph.js +157 -157
- package/lib/core/graph/BaseImplicitGraph.d.ts +77 -77
- package/lib/core/graph/BaseImplicitGraph.js +78 -78
- package/lib/core/graph/BasicBlock.d.ts +104 -104
- package/lib/core/graph/BasicBlock.js +280 -280
- package/lib/core/graph/Cfg.d.ts +59 -59
- package/lib/core/graph/Cfg.js +282 -282
- package/lib/core/graph/DependsGraph.d.ts +35 -35
- package/lib/core/graph/DependsGraph.js +87 -87
- package/lib/core/graph/DominanceFinder.d.ts +15 -15
- package/lib/core/graph/DominanceFinder.js +121 -121
- package/lib/core/graph/DominanceTree.d.ts +12 -12
- package/lib/core/graph/DominanceTree.js +70 -70
- package/lib/core/graph/GraphTraits.d.ts +7 -7
- package/lib/core/graph/GraphTraits.js +16 -16
- package/lib/core/graph/Scc.d.ts +61 -61
- package/lib/core/graph/Scc.js +222 -222
- package/lib/core/graph/ViewTree.d.ts +114 -114
- package/lib/core/graph/ViewTree.js +16 -16
- package/lib/core/graph/builder/CfgBuilder.d.ts +176 -176
- package/lib/core/graph/builder/CfgBuilder.js +1139 -1139
- package/lib/core/graph/builder/ConditionBuilder.d.ts +15 -15
- package/lib/core/graph/builder/ConditionBuilder.js +252 -252
- package/lib/core/graph/builder/LoopBuilder.d.ts +20 -20
- package/lib/core/graph/builder/LoopBuilder.js +251 -251
- package/lib/core/graph/builder/SwitchBuilder.d.ts +11 -11
- package/lib/core/graph/builder/SwitchBuilder.js +152 -152
- package/lib/core/graph/builder/TrapBuilder.d.ts +16 -16
- package/lib/core/graph/builder/TrapBuilder.js +272 -272
- package/lib/core/graph/builder/ViewTreeBuilder.d.ts +203 -203
- package/lib/core/graph/builder/ViewTreeBuilder.js +1055 -1055
- package/lib/core/model/ArkBaseModel.d.ts +59 -59
- package/lib/core/model/ArkBaseModel.js +274 -274
- package/lib/core/model/ArkBody.d.ts +24 -24
- package/lib/core/model/ArkBody.js +65 -65
- package/lib/core/model/ArkClass.d.ts +206 -206
- package/lib/core/model/ArkClass.js +439 -439
- package/lib/core/model/ArkExport.d.ts +72 -72
- package/lib/core/model/ArkExport.js +147 -147
- package/lib/core/model/ArkField.d.ts +62 -62
- package/lib/core/model/ArkField.js +113 -113
- package/lib/core/model/ArkFile.d.ts +131 -131
- package/lib/core/model/ArkFile.js +267 -267
- package/lib/core/model/ArkImport.d.ts +44 -44
- package/lib/core/model/ArkImport.js +108 -108
- package/lib/core/model/ArkMetadata.d.ts +31 -31
- package/lib/core/model/ArkMetadata.js +55 -55
- package/lib/core/model/ArkMethod.d.ts +261 -261
- package/lib/core/model/ArkMethod.js +592 -592
- package/lib/core/model/ArkNamespace.d.ts +66 -66
- package/lib/core/model/ArkNamespace.js +209 -209
- package/lib/core/model/ArkSignature.d.ts +162 -162
- package/lib/core/model/ArkSignature.js +379 -379
- package/lib/core/model/builder/ArkClassBuilder.d.ts +12 -12
- package/lib/core/model/builder/ArkClassBuilder.js +454 -454
- package/lib/core/model/builder/ArkExportBuilder.d.ts +24 -24
- package/lib/core/model/builder/ArkExportBuilder.js +210 -210
- package/lib/core/model/builder/ArkFieldBuilder.d.ts +8 -8
- package/lib/core/model/builder/ArkFieldBuilder.js +193 -193
- package/lib/core/model/builder/ArkFileBuilder.d.ts +9 -9
- package/lib/core/model/builder/ArkFileBuilder.js +165 -165
- package/lib/core/model/builder/ArkImportBuilder.d.ts +4 -4
- package/lib/core/model/builder/ArkImportBuilder.js +128 -128
- package/lib/core/model/builder/ArkMethodBuilder.d.ts +63 -63
- package/lib/core/model/builder/ArkMethodBuilder.js +486 -486
- package/lib/core/model/builder/ArkNamespaceBuilder.d.ts +5 -5
- package/lib/core/model/builder/ArkNamespaceBuilder.js +205 -205
- package/lib/core/model/builder/ArkSignatureBuilder.d.ts +8 -8
- package/lib/core/model/builder/ArkSignatureBuilder.js +40 -40
- package/lib/core/model/builder/BodyBuilder.d.ts +55 -30
- package/lib/core/model/builder/BodyBuilder.d.ts.map +1 -1
- package/lib/core/model/builder/BodyBuilder.js +542 -371
- package/lib/core/model/builder/builderUtils.d.ts +18 -18
- package/lib/core/model/builder/builderUtils.js +558 -558
- package/lib/index.d.ts +82 -80
- package/lib/index.d.ts.map +1 -1
- package/lib/index.js +201 -196
- package/lib/save/ArkStream.d.ts +23 -23
- package/lib/save/ArkStream.js +83 -83
- package/lib/save/DotPrinter.d.ts +43 -43
- package/lib/save/DotPrinter.js +170 -170
- package/lib/save/GraphPrinter.d.ts +16 -16
- package/lib/save/GraphPrinter.js +134 -134
- package/lib/save/JsonPrinter.d.ts +30 -30
- package/lib/save/JsonPrinter.js +580 -580
- package/lib/save/Printer.d.ts +12 -12
- package/lib/save/Printer.js +27 -27
- package/lib/save/PrinterBuilder.d.ts +53 -53
- package/lib/save/PrinterBuilder.js +145 -145
- package/lib/save/ViewTreePrinter.d.ts +14 -14
- package/lib/save/ViewTreePrinter.js +123 -123
- package/lib/save/arkir/ArkIRClassPrinter.d.ts +13 -13
- package/lib/save/arkir/ArkIRClassPrinter.js +92 -92
- package/lib/save/arkir/ArkIRFieldPrinter.d.ts +11 -11
- package/lib/save/arkir/ArkIRFieldPrinter.js +64 -64
- package/lib/save/arkir/ArkIRFilePrinter.d.ts +12 -12
- package/lib/save/arkir/ArkIRFilePrinter.js +54 -54
- package/lib/save/arkir/ArkIRMethodPrinter.d.ts +16 -16
- package/lib/save/arkir/ArkIRMethodPrinter.js +159 -159
- package/lib/save/arkir/ArkIRNamespacePrinter.d.ts +11 -11
- package/lib/save/arkir/ArkIRNamespacePrinter.js +66 -66
- package/lib/save/base/BasePrinter.d.ts +23 -23
- package/lib/save/base/BasePrinter.js +70 -70
- package/lib/save/base/ExportPrinter.d.ts +8 -8
- package/lib/save/base/ExportPrinter.js +67 -67
- package/lib/save/base/ImportPrinter.d.ts +9 -9
- package/lib/save/base/ImportPrinter.js +92 -92
- package/lib/save/base/PrinterUtils.d.ts +24 -24
- package/lib/save/base/PrinterUtils.js +208 -208
- package/lib/save/serializeArkIR.d.ts +8 -8
- package/lib/save/serializeArkIR.js +294 -294
- package/lib/save/source/SourceBase.d.ts +22 -22
- package/lib/save/source/SourceBase.js +64 -64
- package/lib/save/source/SourceBody.d.ts +58 -58
- package/lib/save/source/SourceBody.js +296 -296
- package/lib/save/source/SourceClass.d.ts +25 -25
- package/lib/save/source/SourceClass.js +187 -187
- package/lib/save/source/SourceField.d.ts +13 -13
- package/lib/save/source/SourceField.js +73 -73
- package/lib/save/source/SourceFilePrinter.d.ts +12 -12
- package/lib/save/source/SourceFilePrinter.js +69 -69
- package/lib/save/source/SourceMethod.d.ts +22 -22
- package/lib/save/source/SourceMethod.d.ts.map +1 -1
- package/lib/save/source/SourceMethod.js +196 -193
- package/lib/save/source/SourceNamespace.d.ts +11 -11
- package/lib/save/source/SourceNamespace.js +83 -83
- package/lib/save/source/SourceStmt.d.ts +178 -178
- package/lib/save/source/SourceStmt.js +838 -838
- package/lib/save/source/SourceTransformer.d.ts +46 -46
- package/lib/save/source/SourceTransformer.js +446 -446
- package/lib/transformer/FunctionTransformer.d.ts +2 -2
- package/lib/transformer/FunctionTransformer.js +17 -17
- package/lib/transformer/SceneTransformer.d.ts +2 -2
- package/lib/transformer/SceneTransformer.js +17 -17
- package/lib/transformer/StaticSingleAssignmentFormer.d.ts +12 -12
- package/lib/transformer/StaticSingleAssignmentFormer.js +259 -259
- package/lib/transformer/Transformer.d.ts +6 -6
- package/lib/transformer/Transformer.js +22 -22
- package/lib/utils/AstTreeUtils.d.ts +4 -4
- package/lib/utils/AstTreeUtils.js +26 -26
- package/lib/utils/CfgStructualAnalysis.d.ts +110 -110
- package/lib/utils/CfgStructualAnalysis.js +1277 -1277
- package/lib/utils/FileUtils.d.ts +18 -18
- package/lib/utils/FileUtils.js +135 -135
- package/lib/utils/SparseBitVector.d.ts +100 -100
- package/lib/utils/SparseBitVector.js +445 -445
- package/lib/utils/callGraphUtils.d.ts +30 -30
- package/lib/utils/callGraphUtils.js +205 -205
- package/lib/utils/crypto_utils.d.ts +5 -5
- package/lib/utils/crypto_utils.js +57 -57
- package/lib/utils/entryMethodUtils.d.ts +13 -13
- package/lib/utils/entryMethodUtils.js +110 -110
- package/lib/utils/getAllFiles.d.ts +9 -9
- package/lib/utils/getAllFiles.js +90 -90
- package/lib/utils/json5parser.d.ts +6 -6
- package/lib/utils/json5parser.js +146 -146
- package/lib/utils/logger.d.ts +18 -18
- package/lib/utils/logger.d.ts.map +1 -1
- package/lib/utils/logger.js +97 -90
- package/lib/utils/pathTransfer.d.ts +1 -1
- package/lib/utils/pathTransfer.js +25 -25
- package/node_modules/json5/lib/cli.js +0 -0
- package/node_modules/ohos-typescript/bin/tsc +0 -0
- package/node_modules/ohos-typescript/bin/tsserver +0 -0
- 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
|
+
}
|