@cloudpss/expression 0.6.0-alpha.2 → 0.6.0-alpha.20
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/dist/analyze.d.ts +6 -3
- package/dist/analyze.d.ts.map +1 -1
- package/dist/analyze.js +67 -33
- package/dist/analyze.js.map +1 -1
- package/dist/definitions/argument.d.ts +3 -11
- package/dist/definitions/argument.d.ts.map +1 -1
- package/dist/definitions/constraint.d.ts +2 -2
- package/dist/definitions/constraint.d.ts.map +1 -1
- package/dist/definitions/constraint.js +1 -1
- package/dist/definitions/constraint.js.map +1 -1
- package/dist/definitions/parameter-decoration.d.ts +3 -3
- package/dist/definitions/parameter-decoration.d.ts.map +1 -1
- package/dist/definitions/parameter-decoration.js +0 -7
- package/dist/definitions/parameter-decoration.js.map +1 -1
- package/dist/definitions/parameter-group.d.ts +0 -4
- package/dist/definitions/parameter-group.d.ts.map +1 -1
- package/dist/definitions/parameter-group.js +5 -17
- package/dist/definitions/parameter-group.js.map +1 -1
- package/dist/definitions/parameter.d.ts +47 -40
- package/dist/definitions/parameter.d.ts.map +1 -1
- package/dist/definitions/parameter.js +9 -21
- package/dist/definitions/parameter.js.map +1 -1
- package/dist/definitions/utils.d.ts +28 -0
- package/dist/definitions/utils.d.ts.map +1 -0
- package/dist/definitions/utils.js +209 -0
- package/dist/definitions/utils.js.map +1 -0
- package/dist/definitions/variable.d.ts +0 -2
- package/dist/definitions/variable.d.ts.map +1 -1
- package/dist/definitions/variable.js +1 -5
- package/dist/definitions/variable.js.map +1 -1
- package/dist/definitions.d.ts +1 -0
- package/dist/definitions.d.ts.map +1 -1
- package/dist/definitions.js +1 -0
- package/dist/definitions.js.map +1 -1
- package/dist/eval.d.ts +3 -5
- package/dist/eval.d.ts.map +1 -1
- package/dist/eval.js +12 -20
- package/dist/eval.js.map +1 -1
- package/dist/expression.d.ts +10 -4
- package/dist/expression.d.ts.map +1 -1
- package/dist/expression.js +6 -6
- package/dist/expression.js.map +1 -1
- package/dist/index.d.ts +3 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/interface.d.ts +30 -0
- package/dist/interface.d.ts.map +1 -0
- package/dist/interface.js +6 -0
- package/dist/interface.js.map +1 -0
- package/dist/main.d.ts +41 -28
- package/dist/main.d.ts.map +1 -1
- package/dist/main.js +149 -147
- package/dist/main.js.map +1 -1
- package/dist/migrate.d.ts +3 -2
- package/dist/migrate.d.ts.map +1 -1
- package/dist/migrate.js +25 -3
- package/dist/migrate.js.map +1 -1
- package/dist/migrator/access.d.ts.map +1 -1
- package/dist/migrator/access.js +45 -25
- package/dist/migrator/access.js.map +1 -1
- package/dist/migrator/call.d.ts.map +1 -1
- package/dist/migrator/call.js +298 -201
- package/dist/migrator/call.js.map +1 -1
- package/dist/migrator/concat.d.ts.map +1 -1
- package/dist/migrator/concat.js +15 -2
- package/dist/migrator/concat.js.map +1 -1
- package/dist/migrator/function.d.ts +6 -0
- package/dist/migrator/function.d.ts.map +1 -0
- package/dist/migrator/function.js +25 -0
- package/dist/migrator/function.js.map +1 -0
- package/dist/migrator/interface.d.ts +3 -1
- package/dist/migrator/interface.d.ts.map +1 -1
- package/dist/migrator/interface.js.map +1 -1
- package/dist/migrator/node.d.ts.map +1 -1
- package/dist/migrator/node.js +35 -6
- package/dist/migrator/node.js.map +1 -1
- package/dist/migrator/operator.d.ts.map +1 -1
- package/dist/migrator/operator.js +107 -60
- package/dist/migrator/operator.js.map +1 -1
- package/dist/migrator/serialize.d.ts +4 -0
- package/dist/migrator/serialize.d.ts.map +1 -0
- package/dist/migrator/serialize.js +21 -0
- package/dist/migrator/serialize.js.map +1 -0
- package/dist/migrator/special.d.ts.map +1 -1
- package/dist/migrator/special.js +31 -0
- package/dist/migrator/special.js.map +1 -1
- package/dist/migrator/state.d.ts +2 -2
- package/dist/migrator/state.d.ts.map +1 -1
- package/dist/migrator/state.js +30 -33
- package/dist/migrator/state.js.map +1 -1
- package/dist/migrator/symbol.d.ts.map +1 -1
- package/dist/migrator/symbol.js +23 -9
- package/dist/migrator/symbol.js.map +1 -1
- package/dist/migrator/to-type.d.ts.map +1 -1
- package/dist/migrator/to-type.js +21 -4
- package/dist/migrator/to-type.js.map +1 -1
- package/dist/migrator/utils.d.ts +6 -0
- package/dist/migrator/utils.d.ts.map +1 -1
- package/dist/migrator/utils.js +35 -0
- package/dist/migrator/utils.js.map +1 -1
- package/dist/parser.d.ts +2 -2
- package/dist/parser.d.ts.map +1 -1
- package/dist/parser.js +27 -8
- package/dist/parser.js.map +1 -1
- package/dist/re-exports.d.ts +4 -0
- package/dist/re-exports.d.ts.map +1 -0
- package/dist/re-exports.js +3 -0
- package/dist/re-exports.js.map +1 -0
- package/dist/scope.d.ts +17 -18
- package/dist/scope.d.ts.map +1 -1
- package/dist/scope.js +84 -53
- package/dist/scope.js.map +1 -1
- package/dist/type.d.ts +27 -6
- package/dist/type.d.ts.map +1 -1
- package/dist/type.js +34 -15
- package/dist/type.js.map +1 -1
- package/package.json +8 -5
- package/src/analyze.ts +77 -37
- package/src/definitions/argument.ts +3 -13
- package/src/definitions/constraint.ts +3 -3
- package/src/definitions/parameter-decoration.ts +3 -9
- package/src/definitions/parameter-group.ts +4 -19
- package/src/definitions/parameter.ts +70 -62
- package/src/definitions/utils.ts +224 -0
- package/src/definitions/variable.ts +1 -6
- package/src/definitions.ts +1 -0
- package/src/eval.ts +16 -25
- package/src/expression.ts +16 -8
- package/src/index.ts +3 -1
- package/src/interface.ts +35 -0
- package/src/main.ts +217 -199
- package/src/migrate.ts +30 -6
- package/src/migrator/access.ts +50 -33
- package/src/migrator/call.ts +287 -190
- package/src/migrator/concat.ts +15 -2
- package/src/migrator/function.ts +27 -0
- package/src/migrator/interface.ts +3 -1
- package/src/migrator/node.ts +36 -5
- package/src/migrator/operator.ts +110 -64
- package/src/migrator/serialize.ts +21 -0
- package/src/migrator/special.ts +31 -0
- package/src/migrator/state.ts +30 -33
- package/src/migrator/symbol.ts +23 -9
- package/src/migrator/to-type.ts +23 -4
- package/src/migrator/utils.ts +38 -0
- package/src/parser.ts +33 -8
- package/src/re-exports.ts +47 -0
- package/src/scope.ts +101 -65
- package/src/type.ts +52 -18
- package/tests/analyze.ts +40 -6
- package/tests/compile.ts +65 -0
- package/tests/condition.ts +33 -17
- package/tests/definition.ts +237 -18
- package/tests/eval-complex.ts +19 -11
- package/tests/eval.ts +59 -12
- package/tests/import.ts +21 -7
- package/tests/main.ts +58 -0
- package/tests/migrate.ts +308 -0
- package/tests/scope.ts +3 -3
- package/tests/template.ts +36 -0
- package/dist/context.d.ts +0 -41
- package/dist/context.d.ts.map +0 -1
- package/dist/context.js +0 -18
- package/dist/context.js.map +0 -1
- package/jest.config.js +0 -3
- package/src/context.ts +0 -54
- package/tests/tsconfig.json +0 -3
- package/tsconfig.json +0 -3
package/dist/migrator/call.js
CHANGED
|
@@ -1,8 +1,9 @@
|
|
|
1
|
-
import { isAccessorNode, isArrayNode, isConstantNode, isObjectNode,
|
|
2
|
-
import { constantValue, equalText, symbolName } from './utils.js';
|
|
1
|
+
import { isAccessorNode, isArrayNode, isConstantNode, isObjectNode, } from 'mathjs';
|
|
2
|
+
import { constantValue, equalText, globalFnName, len, symbolName } from './utils.js';
|
|
3
3
|
import { migrateAtomic, migrateExpr, migrateNode } from './node.js';
|
|
4
4
|
import { concat } from './concat.js';
|
|
5
5
|
import { toNumber, toString } from './to-type.js';
|
|
6
|
+
import { isVmArray, isVmPrimitive } from '@mirascript/mirascript';
|
|
6
7
|
const EXACT_UNARY_FUNCTION = new Map([
|
|
7
8
|
// 只支持标量的 mathjs 函数
|
|
8
9
|
['sin', 'number'],
|
|
@@ -27,6 +28,8 @@ const EXACT_UNARY_FUNCTION = new Map([
|
|
|
27
28
|
// XStudio 提供的函数
|
|
28
29
|
['service', 'extern'],
|
|
29
30
|
]);
|
|
31
|
+
/** 只接受一个参数,返回数字的函数 */
|
|
32
|
+
const ENTRYWISE_UNARY_MATH_FUNCTION = new Set(['abs', 'ceil', 'floor', 'round', 'sign']);
|
|
30
33
|
/** 兜底 */
|
|
31
34
|
function call(state, node, done) {
|
|
32
35
|
const { fn, args } = node;
|
|
@@ -37,232 +40,323 @@ function call(state, node, done) {
|
|
|
37
40
|
code: `${fnRet.code}(${argList.map((a) => a.code).join(', ')})`,
|
|
38
41
|
};
|
|
39
42
|
}
|
|
40
|
-
/**
|
|
41
|
-
|
|
42
|
-
const
|
|
43
|
-
const
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
const
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
}
|
|
62
|
-
else if (fnName === 'date' && args.length === 1) {
|
|
43
|
+
/** 函数调用 */
|
|
44
|
+
function migrateFunctionCall(state, node, fnName, args, options) {
|
|
45
|
+
const openE = options.format !== 'no-paren' ? '(' : '';
|
|
46
|
+
const closeE = options.format !== 'no-paren' ? ')' : '';
|
|
47
|
+
const g = (fnName) => globalFnName(state, fnName);
|
|
48
|
+
if (EXACT_UNARY_FUNCTION.has(fnName) && args.length === 1) {
|
|
49
|
+
const arg = migrateAtomic(state, args[0]);
|
|
50
|
+
return {
|
|
51
|
+
type: EXACT_UNARY_FUNCTION.get(fnName),
|
|
52
|
+
code: `${fnName}(${arg.code})`,
|
|
53
|
+
};
|
|
54
|
+
}
|
|
55
|
+
else if (fnName === 'random' && args.length === 0) {
|
|
56
|
+
return {
|
|
57
|
+
type: 'number',
|
|
58
|
+
code: `${g('random')}()`,
|
|
59
|
+
};
|
|
60
|
+
}
|
|
61
|
+
else if (ENTRYWISE_UNARY_MATH_FUNCTION.has(fnName) && args.length === 1) {
|
|
62
|
+
const arg = migrateAtomic(state, args[0]);
|
|
63
|
+
if (arg.type === 'number' || arg.type === 'boolean' || arg.type === 'string') {
|
|
63
64
|
return {
|
|
64
65
|
type: 'number',
|
|
65
|
-
code:
|
|
66
|
+
code: `${g(fnName)}(${arg.code})`,
|
|
66
67
|
};
|
|
67
68
|
}
|
|
68
|
-
|
|
69
|
+
return {
|
|
70
|
+
type: arg.type,
|
|
71
|
+
code: `${g('matrix')}.entrywise(${arg.code}, nil, ${g(fnName)})`,
|
|
72
|
+
};
|
|
73
|
+
}
|
|
74
|
+
else if (fnName === 'max' || fnName === 'min') {
|
|
75
|
+
if (args.length === 1) {
|
|
69
76
|
const arg = migrateAtomic(state, args[0]);
|
|
70
77
|
return {
|
|
71
|
-
type:
|
|
72
|
-
code:
|
|
78
|
+
type: 'number',
|
|
79
|
+
code: `${g(fnName)}(${arg.code})`,
|
|
73
80
|
};
|
|
74
81
|
}
|
|
75
|
-
else
|
|
76
|
-
const
|
|
82
|
+
else {
|
|
83
|
+
const argList = args.map((a) => migrateAtomic(state, a));
|
|
84
|
+
if (!argList.every((a) => a.type === 'number' || a.type === 'boolean' || a.type === 'string')) {
|
|
85
|
+
state.warn(`函数行为可能不一致: ${fnName}`);
|
|
86
|
+
}
|
|
77
87
|
return {
|
|
78
|
-
type:
|
|
79
|
-
code:
|
|
88
|
+
type: 'number',
|
|
89
|
+
code: `${g(fnName)}(${argList.map((a) => a.code).join(', ')})`,
|
|
80
90
|
};
|
|
81
91
|
}
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
|
|
92
|
+
}
|
|
93
|
+
else if (fnName === 're' || fnName === 'im') {
|
|
94
|
+
const m = migrateAtomic(state, args[0]);
|
|
95
|
+
state.err(`不支持复数`);
|
|
96
|
+
return {
|
|
97
|
+
type: 'number',
|
|
98
|
+
code: `/* ${fnName} */(${m.code})`,
|
|
99
|
+
};
|
|
100
|
+
}
|
|
101
|
+
else if (fnName === 'date' && args.length === 1) {
|
|
102
|
+
return {
|
|
103
|
+
type: 'number',
|
|
104
|
+
code: `${g('to_timestamp')}(${migrateAtomic(state, args[0]).code})`,
|
|
105
|
+
};
|
|
106
|
+
}
|
|
107
|
+
else if (fnName === 'size' && args.length === 1) {
|
|
108
|
+
const arg = migrateAtomic(state, args[0]);
|
|
109
|
+
return {
|
|
110
|
+
type: arg.type,
|
|
111
|
+
code: `${g('matrix')}.size(${arg.code})`,
|
|
112
|
+
};
|
|
113
|
+
}
|
|
114
|
+
else if (fnName === 'inv' && args.length === 1) {
|
|
115
|
+
const arg = migrateAtomic(state, args[0]);
|
|
116
|
+
return {
|
|
117
|
+
type: arg.type,
|
|
118
|
+
code: `${g('matrix')}.invert(${arg.code})`,
|
|
119
|
+
};
|
|
120
|
+
}
|
|
121
|
+
else if (fnName === 'count' && args.length === 1) {
|
|
122
|
+
const arg = migrateAtomic(state, args[0]);
|
|
123
|
+
if (arg.type !== 'string') {
|
|
124
|
+
state.warn(`函数行为可能不一致: count`);
|
|
88
125
|
}
|
|
89
|
-
|
|
126
|
+
return len(state, arg);
|
|
127
|
+
}
|
|
128
|
+
else if (fnName === 'transpose' && args.length === 1) {
|
|
129
|
+
const arg = migrateAtomic(state, args[0]);
|
|
130
|
+
return {
|
|
131
|
+
type: arg.type,
|
|
132
|
+
code: `${g('matrix')}.transpose(${arg.code})`,
|
|
133
|
+
};
|
|
134
|
+
}
|
|
135
|
+
else if (fnName === 'diag' && (args.length === 1 || args.length === 2)) {
|
|
136
|
+
const a = args.map((a) => migrateAtomic(state, a).code).join(', ');
|
|
137
|
+
return {
|
|
138
|
+
type: 'array',
|
|
139
|
+
code: `${g('matrix')}.diagonal(${a})`,
|
|
140
|
+
};
|
|
141
|
+
}
|
|
142
|
+
else if (fnName === 'zeros' || fnName === 'ones' || fnName === 'identity') {
|
|
143
|
+
return {
|
|
144
|
+
type: 'array',
|
|
145
|
+
code: `${g('matrix')}.${fnName}(${args.map((a) => migrateAtomic(state, a).code).join(', ')})`,
|
|
146
|
+
};
|
|
147
|
+
}
|
|
148
|
+
else if (fnName === 'concat') {
|
|
149
|
+
const results = args.map((a) => migrateAtomic(state, a));
|
|
150
|
+
if (results.some((r) => r.type === 'string'))
|
|
151
|
+
return concat(state, results);
|
|
152
|
+
if (results.some((r) => r.type === 'array')) {
|
|
153
|
+
state.warn(`矩阵连接时结果可能不一致`);
|
|
90
154
|
return {
|
|
91
155
|
type: 'array',
|
|
92
|
-
code:
|
|
156
|
+
code: `${g('flatten')}([` + results.map((r) => r.code).join(', ') + `])`,
|
|
93
157
|
};
|
|
94
158
|
}
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
159
|
+
}
|
|
160
|
+
else if (fnName === 'numeric' && args.length === 1) {
|
|
161
|
+
return toNumber(state, args[0]);
|
|
162
|
+
}
|
|
163
|
+
else if (fnName === 'flatten' && args.length === 1) {
|
|
164
|
+
return {
|
|
165
|
+
type: 'array',
|
|
166
|
+
code: `${g('flatten')}(${migrateAtomic(state, args[0]).code})`,
|
|
167
|
+
};
|
|
168
|
+
}
|
|
169
|
+
else if (fnName === 'norm' && args.length === 1) {
|
|
170
|
+
if (isArrayNode(args[0])) {
|
|
104
171
|
return {
|
|
105
|
-
type: '
|
|
106
|
-
code:
|
|
172
|
+
type: 'number',
|
|
173
|
+
code: `${g('hypot')}(${args[0].items.map((a) => migrateAtomic(state, a).code).join(', ')})`,
|
|
107
174
|
};
|
|
108
175
|
}
|
|
109
|
-
|
|
110
|
-
|
|
176
|
+
return {
|
|
177
|
+
type: 'number',
|
|
178
|
+
code: `${g('hypot')}(${migrateAtomic(state, args[0]).code})`,
|
|
179
|
+
};
|
|
180
|
+
}
|
|
181
|
+
else if (fnName === 'equalText' && args.length === 2) {
|
|
182
|
+
const p = equalText(state, '==', args[0], args[1]);
|
|
183
|
+
return {
|
|
184
|
+
type: p.type,
|
|
185
|
+
code: `${openE}${p.code}${closeE}`,
|
|
186
|
+
};
|
|
187
|
+
}
|
|
188
|
+
else if (fnName === 'toJson' && args.length === 1) {
|
|
189
|
+
return {
|
|
190
|
+
type: 'string',
|
|
191
|
+
code: `${g('to_json')}(${migrateAtomic(state, args[0]).code})`,
|
|
192
|
+
};
|
|
193
|
+
}
|
|
194
|
+
else if (fnName === 'fromJson' && args.length === 1) {
|
|
195
|
+
return {
|
|
196
|
+
code: `${g('from_json')}(${migrateAtomic(state, args[0]).code})`,
|
|
197
|
+
};
|
|
198
|
+
}
|
|
199
|
+
else if (fnName === 'is' && args.length === 2 && isConstantNode(args[1])) {
|
|
200
|
+
const t = String(args[1].value);
|
|
201
|
+
switch (t) {
|
|
202
|
+
case 'number':
|
|
203
|
+
case 'string':
|
|
204
|
+
case 'boolean':
|
|
111
205
|
return {
|
|
112
|
-
type: '
|
|
113
|
-
code:
|
|
206
|
+
type: 'boolean',
|
|
207
|
+
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == '${t}'${closeE}`,
|
|
114
208
|
};
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
};
|
|
133
|
-
}
|
|
134
|
-
else if (fnName === 'fromJson' && args.length === 1) {
|
|
135
|
-
return {
|
|
136
|
-
code: `from_json(${migrateAtomic(state, args[0]).code})`,
|
|
137
|
-
};
|
|
138
|
-
}
|
|
139
|
-
else if (fnName === 'is' && args.length === 2 && isConstantNode(args[1])) {
|
|
140
|
-
const t = String(args[1].value);
|
|
141
|
-
switch (t) {
|
|
142
|
-
case 'number':
|
|
143
|
-
case 'string':
|
|
144
|
-
case 'boolean':
|
|
145
|
-
return {
|
|
146
|
-
type: 'boolean',
|
|
147
|
-
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == '${t}'${closeE}`,
|
|
148
|
-
};
|
|
149
|
-
case 'null':
|
|
150
|
-
case 'undefined':
|
|
151
|
-
return {
|
|
152
|
-
type: 'boolean',
|
|
153
|
-
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == 'nil'${closeE}`,
|
|
154
|
-
};
|
|
155
|
-
case 'Array':
|
|
156
|
-
case 'array':
|
|
157
|
-
state.warn(`'type' 与 'is' 结果可能不同`);
|
|
158
|
-
return {
|
|
159
|
-
type: 'boolean',
|
|
160
|
-
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == 'array'${closeE}`,
|
|
161
|
-
};
|
|
162
|
-
case 'Object':
|
|
163
|
-
case 'object':
|
|
164
|
-
state.warn(`'type' 与 'is' 结果可能不同`);
|
|
209
|
+
case 'null':
|
|
210
|
+
case 'undefined':
|
|
211
|
+
return {
|
|
212
|
+
type: 'boolean',
|
|
213
|
+
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == 'nil'${closeE}`,
|
|
214
|
+
};
|
|
215
|
+
case 'Array':
|
|
216
|
+
case 'array':
|
|
217
|
+
state.warn(`'type' 与 'is' 结果可能不同`);
|
|
218
|
+
return {
|
|
219
|
+
type: 'boolean',
|
|
220
|
+
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == 'array'${closeE}`,
|
|
221
|
+
};
|
|
222
|
+
case 'Object':
|
|
223
|
+
case 'object': {
|
|
224
|
+
const arg0 = migrateAtomic(state, args[0]);
|
|
225
|
+
if (arg0.code.endsWith('.value.rt_state')) {
|
|
165
226
|
return {
|
|
166
227
|
type: 'boolean',
|
|
167
|
-
code: `${openE}
|
|
228
|
+
code: `${openE}!!${arg0.code}${closeE}`,
|
|
168
229
|
};
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
|
|
172
|
-
|
|
173
|
-
|
|
174
|
-
|
|
175
|
-
|
|
176
|
-
|
|
177
|
-
|
|
230
|
+
}
|
|
231
|
+
state.warn(`'type' 与 'is' 结果可能不同`);
|
|
232
|
+
return {
|
|
233
|
+
type: 'boolean',
|
|
234
|
+
code: `${openE}type(${arg0.code}) == 'record'${closeE}`,
|
|
235
|
+
};
|
|
236
|
+
}
|
|
237
|
+
case 'Function':
|
|
238
|
+
case 'function': {
|
|
239
|
+
if (symbolName(args[0]) === 'service' && !state.locals.has('service')) {
|
|
178
240
|
return {
|
|
179
241
|
type: 'boolean',
|
|
180
|
-
code: `${openE}type(
|
|
242
|
+
code: `${openE}type(service) == 'extern'${closeE}`,
|
|
181
243
|
};
|
|
182
244
|
}
|
|
245
|
+
state.warn(`'type' 与 'is' 结果可能不同`);
|
|
246
|
+
return {
|
|
247
|
+
type: 'boolean',
|
|
248
|
+
code: `${openE}type(${migrateAtomic(state, args[0]).code}) == 'function'${closeE}`,
|
|
249
|
+
};
|
|
183
250
|
}
|
|
184
251
|
}
|
|
185
|
-
|
|
186
|
-
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
|
|
190
|
-
}
|
|
191
|
-
}
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
|
|
196
|
-
|
|
197
|
-
|
|
198
|
-
|
|
199
|
-
|
|
200
|
-
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
|
|
207
|
-
|
|
208
|
-
|
|
209
|
-
|
|
210
|
-
|
|
211
|
-
|
|
212
|
-
|
|
213
|
-
|
|
214
|
-
|
|
215
|
-
|
|
216
|
-
|
|
217
|
-
|
|
218
|
-
else {
|
|
219
|
-
return part;
|
|
220
|
-
}
|
|
221
|
-
});
|
|
222
|
-
const value = values[keys.shift()];
|
|
223
|
-
if (value == null)
|
|
224
|
-
return original.replaceAll('$', String.raw `\$`);
|
|
225
|
-
if (!keys.length) {
|
|
226
|
-
return `$(${migrateAtomic(state, value).code})`;
|
|
252
|
+
}
|
|
253
|
+
else if (fnName === 'typeOf' && args.length === 1) {
|
|
254
|
+
state.warn(`'type' 与 'typeOf' 结果可能不同`);
|
|
255
|
+
return {
|
|
256
|
+
type: 'string',
|
|
257
|
+
code: `type(${migrateAtomic(state, args[0]).code})`,
|
|
258
|
+
};
|
|
259
|
+
}
|
|
260
|
+
else if (fnName === 'format' && args.length === 1) {
|
|
261
|
+
return toString(state, args[0]);
|
|
262
|
+
}
|
|
263
|
+
else if (fnName === 'print' && args.length === 1) {
|
|
264
|
+
state.loose();
|
|
265
|
+
return toString(state, args[0]);
|
|
266
|
+
}
|
|
267
|
+
else if (fnName === 'print' &&
|
|
268
|
+
args.length === 2 &&
|
|
269
|
+
isConstantNode(args[0]) &&
|
|
270
|
+
(isObjectNode(args[1]) || isArrayNode(args[1]))) {
|
|
271
|
+
const template = String(args[0].value);
|
|
272
|
+
const values = isObjectNode(args[1])
|
|
273
|
+
? args[1].properties
|
|
274
|
+
: args[1].items;
|
|
275
|
+
return {
|
|
276
|
+
type: 'string',
|
|
277
|
+
code: '`' +
|
|
278
|
+
template.replaceAll(/`|\$([\w.]+)/g, (original, key) => {
|
|
279
|
+
if (original === '`')
|
|
280
|
+
return '\\`';
|
|
281
|
+
const keys = key.split('.').map((part) => {
|
|
282
|
+
const nPart = Number.parseInt(part);
|
|
283
|
+
if (!Number.isNaN(nPart) && part.length > 0 && nPart >= 1) {
|
|
284
|
+
return nPart - 1;
|
|
227
285
|
}
|
|
228
|
-
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
|
|
286
|
+
else {
|
|
287
|
+
return part;
|
|
288
|
+
}
|
|
289
|
+
});
|
|
290
|
+
const value = values[keys.shift()];
|
|
291
|
+
if (value == null)
|
|
292
|
+
return original.replaceAll('$', String.raw `\$`);
|
|
293
|
+
if (!keys.length) {
|
|
294
|
+
return `$(${migrateAtomic(state, value).code})`;
|
|
295
|
+
}
|
|
296
|
+
return `$(${migrateNode(state, value, { format: 'paren' }).code}.${keys.join('.')})`;
|
|
297
|
+
}) +
|
|
298
|
+
'`',
|
|
299
|
+
};
|
|
300
|
+
}
|
|
301
|
+
else if (fnName === 'string' && args.length === 1) {
|
|
302
|
+
const inner = migrateAtomic(state, args[0]);
|
|
303
|
+
return {
|
|
304
|
+
type: 'string',
|
|
305
|
+
code: `${g('to_string')}(${inner.code})`,
|
|
306
|
+
};
|
|
307
|
+
}
|
|
308
|
+
else if (fnName === 'sum' || fnName === 'prod') {
|
|
309
|
+
const newFnName = fnName === 'sum' ? 'sum' : 'product';
|
|
310
|
+
if (args.length !== 1) {
|
|
235
311
|
return {
|
|
236
|
-
type: '
|
|
237
|
-
code:
|
|
312
|
+
type: 'number',
|
|
313
|
+
code: `${g(newFnName)}(${args.map((a) => migrateAtomic(state, a).code).join(', ')})`,
|
|
238
314
|
};
|
|
239
315
|
}
|
|
240
|
-
|
|
241
|
-
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
|
|
316
|
+
const arg = migrateAtomic(state, args[0]);
|
|
317
|
+
if (arg.literal) {
|
|
318
|
+
if (isVmPrimitive(arg.literal)) {
|
|
319
|
+
return {
|
|
320
|
+
type: 'number',
|
|
321
|
+
code: `${g(newFnName)}(${arg.code})`,
|
|
322
|
+
};
|
|
323
|
+
}
|
|
324
|
+
if (isVmArray(arg.literal) && arg.literal.every((v) => isVmPrimitive(v))) {
|
|
325
|
+
return {
|
|
326
|
+
type: 'number',
|
|
327
|
+
code: `${g(newFnName)}(${arg.code})`,
|
|
328
|
+
};
|
|
329
|
+
}
|
|
330
|
+
}
|
|
331
|
+
if (arg.type === 'array' || !arg.type) {
|
|
250
332
|
return {
|
|
251
333
|
type: 'number',
|
|
252
|
-
code:
|
|
334
|
+
code: `${g(newFnName)}(${arg.code}::${g('flatten')}())`,
|
|
253
335
|
};
|
|
254
336
|
}
|
|
255
|
-
return
|
|
256
|
-
|
|
257
|
-
|
|
258
|
-
|
|
259
|
-
|
|
260
|
-
|
|
261
|
-
|
|
262
|
-
|
|
263
|
-
|
|
337
|
+
return {
|
|
338
|
+
type: 'number',
|
|
339
|
+
code: `${g(newFnName)}(${arg.code})`,
|
|
340
|
+
};
|
|
341
|
+
}
|
|
342
|
+
return call(state, node, (fn, args) => {
|
|
343
|
+
const fun = state.globals.has(fnName) ? state.globals.get(fnName) : undefined;
|
|
344
|
+
if (typeof fun === 'function') {
|
|
345
|
+
if (args.some((a) => a.type !== 'number' && a.type !== 'boolean' && a.type !== 'string')) {
|
|
346
|
+
state.warn(`函数行为可能不一致: ${fnName}`);
|
|
264
347
|
}
|
|
265
|
-
}
|
|
348
|
+
}
|
|
349
|
+
else {
|
|
350
|
+
state.err(`不支持的函数: ${fnName}`);
|
|
351
|
+
}
|
|
352
|
+
});
|
|
353
|
+
}
|
|
354
|
+
/** 转换 AST */
|
|
355
|
+
export function migrateCall(state, node, options) {
|
|
356
|
+
const { fn, args } = node;
|
|
357
|
+
const fnName = symbolName(fn);
|
|
358
|
+
if (fnName && !state.locals.has(fnName)) {
|
|
359
|
+
return migrateFunctionCall(state, node, fnName, args, options);
|
|
266
360
|
}
|
|
267
361
|
if (isAccessorNode(fn) &&
|
|
268
362
|
fn.index.dimensions.length === 1 &&
|
|
@@ -270,10 +364,11 @@ export function migrateCall(state, node, options) {
|
|
|
270
364
|
typeof fn.index.dimensions[0].value == 'string') {
|
|
271
365
|
const thisArg = migrateExpr(state, fn.object);
|
|
272
366
|
const fnName = String(fn.index.dimensions[0].value);
|
|
367
|
+
const g = (fnName) => globalFnName(state, fnName);
|
|
273
368
|
if (fnName === 'toString' && args.length === 0) {
|
|
274
369
|
return {
|
|
275
370
|
type: 'string',
|
|
276
|
-
code: `${thisArg.code}
|
|
371
|
+
code: `${thisArg.code}::${g('to_string')}()`,
|
|
277
372
|
};
|
|
278
373
|
}
|
|
279
374
|
else if (fnName === 'includes' && args.length === 1) {
|
|
@@ -286,7 +381,7 @@ export function migrateCall(state, node, options) {
|
|
|
286
381
|
if (thisArg.type === 'string') {
|
|
287
382
|
return {
|
|
288
383
|
type: 'boolean',
|
|
289
|
-
code: `${thisArg.code}
|
|
384
|
+
code: `${thisArg.code}::${g('contains')}(${migrateAtomic(state, args[0]).code})`,
|
|
290
385
|
};
|
|
291
386
|
}
|
|
292
387
|
state.helper(`fn @@includes(it, el) { match it::type() { case 'string' { it::contains(el) } case 'array' { el in it } case _ { false } } }`);
|
|
@@ -298,30 +393,30 @@ export function migrateCall(state, node, options) {
|
|
|
298
393
|
else if ((fnName === 'map' || fnName === 'filter') && args.length === 1) {
|
|
299
394
|
return {
|
|
300
395
|
type: 'array',
|
|
301
|
-
code: `${thisArg.code}::${fnName}(${migrateAtomic(state, args[0]).code})`,
|
|
396
|
+
code: `${thisArg.code}::${g(fnName)}(${migrateAtomic(state, args[0]).code})`,
|
|
302
397
|
};
|
|
303
398
|
}
|
|
304
399
|
else if (fnName === 'find' && args.length === 1) {
|
|
305
400
|
return {
|
|
306
|
-
code: `${thisArg.code}
|
|
401
|
+
code: `${thisArg.code}::${g('find')}(${migrateAtomic(state, args[0]).code}).1`,
|
|
307
402
|
};
|
|
308
403
|
}
|
|
309
404
|
else if (fnName === 'findIndex' && args.length === 1) {
|
|
310
405
|
return {
|
|
311
406
|
type: 'number',
|
|
312
|
-
code: `(${thisArg.code}
|
|
407
|
+
code: `(${thisArg.code}::${g('find')}(${migrateAtomic(state, args[0]).code}).0 ?? -1)`,
|
|
313
408
|
};
|
|
314
409
|
}
|
|
315
410
|
else if (fnName === 'flatMap' && args.length === 1) {
|
|
316
411
|
return {
|
|
317
412
|
type: 'array',
|
|
318
|
-
code: `${thisArg.code}
|
|
413
|
+
code: `${thisArg.code}::${g('map')}(${migrateAtomic(state, args[0]).code})::flatten()`,
|
|
319
414
|
};
|
|
320
415
|
}
|
|
321
416
|
else if (fnName === 'reverse' && args.length === 0) {
|
|
322
417
|
return {
|
|
323
418
|
type: 'array',
|
|
324
|
-
code: `${thisArg.code}
|
|
419
|
+
code: `${thisArg.code}::${g('reverse')}()`,
|
|
325
420
|
};
|
|
326
421
|
}
|
|
327
422
|
else if ((fnName === 'replaceAll' || fnName === 'replace') && args.length === 2) {
|
|
@@ -330,13 +425,13 @@ export function migrateCall(state, node, options) {
|
|
|
330
425
|
}
|
|
331
426
|
return {
|
|
332
427
|
type: 'string',
|
|
333
|
-
code: `${thisArg.code}
|
|
428
|
+
code: `${thisArg.code}::${g('replace')}(${migrateAtomic(state, args[0]).code}, ${migrateAtomic(state, args[1]).code})`,
|
|
334
429
|
};
|
|
335
430
|
}
|
|
336
431
|
else if (fnName === 'split' && args.length === 1) {
|
|
337
432
|
return {
|
|
338
433
|
type: 'array',
|
|
339
|
-
code: `${thisArg.code}
|
|
434
|
+
code: `${thisArg.code}::${g('split')}(${migrateAtomic(state, args[0]).code})`,
|
|
340
435
|
};
|
|
341
436
|
}
|
|
342
437
|
else if (fnName === 'concat') {
|
|
@@ -349,7 +444,9 @@ export function migrateCall(state, node, options) {
|
|
|
349
444
|
}
|
|
350
445
|
return {
|
|
351
446
|
type: 'array',
|
|
352
|
-
code:
|
|
447
|
+
code: `${g('flatten')}([` +
|
|
448
|
+
[fn.object, ...args].map((a) => migrateAtomic(state, a).code).join(', ') +
|
|
449
|
+
`])`,
|
|
353
450
|
};
|
|
354
451
|
}
|
|
355
452
|
else if (fnName === 'toFixed' &&
|
|
@@ -357,7 +454,7 @@ export function migrateCall(state, node, options) {
|
|
|
357
454
|
const digits = constantValue(args[0]) ?? 0;
|
|
358
455
|
return {
|
|
359
456
|
type: 'string',
|
|
360
|
-
code: `${thisArg.code}
|
|
457
|
+
code: `${thisArg.code}::${g('format')}('.${digits}')`,
|
|
361
458
|
};
|
|
362
459
|
}
|
|
363
460
|
else if (isArrayNode(fn.object) && fnName === 'join' && args.length <= 1) {
|
|
@@ -391,7 +488,7 @@ export function migrateCall(state, node, options) {
|
|
|
391
488
|
else if (thisArg.type === 'extern') {
|
|
392
489
|
const argList = args.map((a) => migrateAtomic(state, a).code);
|
|
393
490
|
return {
|
|
394
|
-
code: `${thisArg.code}(${argList.join(', ')})`,
|
|
491
|
+
code: `${thisArg.code}.${fnName}(${argList.join(', ')})`,
|
|
395
492
|
};
|
|
396
493
|
}
|
|
397
494
|
state.err(`不支持的方法: ${fnName}`);
|