@cloudpss/expression 0.6.0-alpha.1
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/README.md +3 -0
- package/dist/analyze.d.ts +7 -0
- package/dist/analyze.d.ts.map +1 -0
- package/dist/analyze.js +38 -0
- package/dist/analyze.js.map +1 -0
- package/dist/context.d.ts +41 -0
- package/dist/context.d.ts.map +1 -0
- package/dist/context.js +18 -0
- package/dist/context.js.map +1 -0
- package/dist/definitions/argument.d.ts +33 -0
- package/dist/definitions/argument.d.ts.map +1 -0
- package/dist/definitions/argument.js +2 -0
- package/dist/definitions/argument.js.map +1 -0
- package/dist/definitions/constraint.d.ts +32 -0
- package/dist/definitions/constraint.d.ts.map +1 -0
- package/dist/definitions/constraint.js +20 -0
- package/dist/definitions/constraint.js.map +1 -0
- package/dist/definitions/parameter-decoration.d.ts +27 -0
- package/dist/definitions/parameter-decoration.d.ts.map +1 -0
- package/dist/definitions/parameter-decoration.js +17 -0
- package/dist/definitions/parameter-decoration.js.map +1 -0
- package/dist/definitions/parameter-group.d.ts +38 -0
- package/dist/definitions/parameter-group.d.ts.map +1 -0
- package/dist/definitions/parameter-group.js +31 -0
- package/dist/definitions/parameter-group.js.map +1 -0
- package/dist/definitions/parameter.d.ts +214 -0
- package/dist/definitions/parameter.d.ts.map +1 -0
- package/dist/definitions/parameter.js +44 -0
- package/dist/definitions/parameter.js.map +1 -0
- package/dist/definitions/variable.d.ts +14 -0
- package/dist/definitions/variable.d.ts.map +1 -0
- package/dist/definitions/variable.js +14 -0
- package/dist/definitions/variable.js.map +1 -0
- package/dist/definitions.d.ts +7 -0
- package/dist/definitions.d.ts.map +1 -0
- package/dist/definitions.js +7 -0
- package/dist/definitions.js.map +1 -0
- package/dist/eval.d.ts +15 -0
- package/dist/eval.d.ts.map +1 -0
- package/dist/eval.js +54 -0
- package/dist/eval.js.map +1 -0
- package/dist/expression.d.ts +37 -0
- package/dist/expression.d.ts.map +1 -0
- package/dist/expression.js +18 -0
- package/dist/expression.js.map +1 -0
- package/dist/index.d.ts +6 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +5 -0
- package/dist/index.js.map +1 -0
- package/dist/main.d.ts +49 -0
- package/dist/main.d.ts.map +1 -0
- package/dist/main.js +238 -0
- package/dist/main.js.map +1 -0
- package/dist/migrate.d.ts +5 -0
- package/dist/migrate.d.ts.map +1 -0
- package/dist/migrate.js +23 -0
- package/dist/migrate.js.map +1 -0
- package/dist/migrator/access.d.ts +6 -0
- package/dist/migrator/access.d.ts.map +1 -0
- package/dist/migrator/access.js +176 -0
- package/dist/migrator/access.js.map +1 -0
- package/dist/migrator/call.d.ts +6 -0
- package/dist/migrator/call.d.ts.map +1 -0
- package/dist/migrator/call.js +405 -0
- package/dist/migrator/call.js.map +1 -0
- package/dist/migrator/concat.d.ts +6 -0
- package/dist/migrator/concat.d.ts.map +1 -0
- package/dist/migrator/concat.js +32 -0
- package/dist/migrator/concat.js.map +1 -0
- package/dist/migrator/condition.d.ts +6 -0
- package/dist/migrator/condition.d.ts.map +1 -0
- package/dist/migrator/condition.js +110 -0
- package/dist/migrator/condition.js.map +1 -0
- package/dist/migrator/interface.d.ts +24 -0
- package/dist/migrator/interface.d.ts.map +1 -0
- package/dist/migrator/interface.js +8 -0
- package/dist/migrator/interface.js.map +1 -0
- package/dist/migrator/node.d.ts +12 -0
- package/dist/migrator/node.d.ts.map +1 -0
- package/dist/migrator/node.js +119 -0
- package/dist/migrator/node.js.map +1 -0
- package/dist/migrator/operator.d.ts +6 -0
- package/dist/migrator/operator.d.ts.map +1 -0
- package/dist/migrator/operator.js +299 -0
- package/dist/migrator/operator.js.map +1 -0
- package/dist/migrator/parser.d.ts +3 -0
- package/dist/migrator/parser.d.ts.map +1 -0
- package/dist/migrator/parser.js +76 -0
- package/dist/migrator/parser.js.map +1 -0
- package/dist/migrator/special.d.ts +4 -0
- package/dist/migrator/special.d.ts.map +1 -0
- package/dist/migrator/special.js +26 -0
- package/dist/migrator/special.js.map +1 -0
- package/dist/migrator/state.d.ts +64 -0
- package/dist/migrator/state.d.ts.map +1 -0
- package/dist/migrator/state.js +251 -0
- package/dist/migrator/state.js.map +1 -0
- package/dist/migrator/symbol.d.ts +6 -0
- package/dist/migrator/symbol.d.ts.map +1 -0
- package/dist/migrator/symbol.js +50 -0
- package/dist/migrator/symbol.js.map +1 -0
- package/dist/migrator/to-type.d.ts +10 -0
- package/dist/migrator/to-type.d.ts.map +1 -0
- package/dist/migrator/to-type.js +89 -0
- package/dist/migrator/to-type.js.map +1 -0
- package/dist/migrator/utils.d.ts +14 -0
- package/dist/migrator/utils.d.ts.map +1 -0
- package/dist/migrator/utils.js +64 -0
- package/dist/migrator/utils.js.map +1 -0
- package/dist/parser.d.ts +41 -0
- package/dist/parser.d.ts.map +1 -0
- package/dist/parser.js +36 -0
- package/dist/parser.js.map +1 -0
- package/dist/scope.d.ts +43 -0
- package/dist/scope.d.ts.map +1 -0
- package/dist/scope.js +204 -0
- package/dist/scope.js.map +1 -0
- package/dist/type.d.ts +21 -0
- package/dist/type.d.ts.map +1 -0
- package/dist/type.js +50 -0
- package/dist/type.js.map +1 -0
- package/jest.config.js +3 -0
- package/package.json +26 -0
- package/src/analyze.ts +44 -0
- package/src/context.ts +54 -0
- package/src/definitions/argument.ts +40 -0
- package/src/definitions/constraint.ts +49 -0
- package/src/definitions/parameter-decoration.ts +42 -0
- package/src/definitions/parameter-group.ts +62 -0
- package/src/definitions/parameter.ts +276 -0
- package/src/definitions/variable.ts +23 -0
- package/src/definitions.ts +6 -0
- package/src/eval.ts +64 -0
- package/src/expression.ts +62 -0
- package/src/index.ts +5 -0
- package/src/main.ts +295 -0
- package/src/migrate.ts +25 -0
- package/src/migrator/access.ts +201 -0
- package/src/migrator/call.ts +397 -0
- package/src/migrator/concat.ts +28 -0
- package/src/migrator/condition.ts +120 -0
- package/src/migrator/interface.ts +30 -0
- package/src/migrator/node.ts +131 -0
- package/src/migrator/operator.ts +339 -0
- package/src/migrator/parser.ts +106 -0
- package/src/migrator/special.ts +30 -0
- package/src/migrator/state.ts +262 -0
- package/src/migrator/symbol.ts +53 -0
- package/src/migrator/to-type.ts +93 -0
- package/src/migrator/utils.ts +67 -0
- package/src/parser.ts +69 -0
- package/src/scope.ts +208 -0
- package/src/type.ts +66 -0
- package/tests/analyze.ts +15 -0
- package/tests/condition.ts +49 -0
- package/tests/definition.ts +42 -0
- package/tests/eval-complex.ts +150 -0
- package/tests/eval.ts +42 -0
- package/tests/functions.ts +22 -0
- package/tests/import.ts +31 -0
- package/tests/scope.ts +33 -0
- package/tests/setup.ts +41 -0
- package/tests/tsconfig.json +3 -0
- package/tests/unwrap.ts +46 -0
- package/tsconfig.json +3 -0
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
import { isConstantNode, isFunctionNode, isSymbolNode } from 'mathjs';
|
|
2
|
+
import { migrateNode } from './node.js';
|
|
3
|
+
import { isResult } from './interface.js';
|
|
4
|
+
/** 连接字符串 */
|
|
5
|
+
export function concat(state, args) {
|
|
6
|
+
const parts = [];
|
|
7
|
+
for (const arg of args) {
|
|
8
|
+
if (typeof arg != 'object') {
|
|
9
|
+
parts.push(String(arg).replaceAll('`', '\\`'));
|
|
10
|
+
}
|
|
11
|
+
else if (isConstantNode(arg)) {
|
|
12
|
+
const value = String(arg.value).replaceAll('`', '\\`');
|
|
13
|
+
parts.push(value);
|
|
14
|
+
}
|
|
15
|
+
else if (isResult(arg)) {
|
|
16
|
+
if (arg.literal && typeof arg.literal != 'object') {
|
|
17
|
+
parts.push(String(arg.literal).replaceAll('`', '\\`'));
|
|
18
|
+
}
|
|
19
|
+
else {
|
|
20
|
+
parts.push(`$(${arg.code})`);
|
|
21
|
+
}
|
|
22
|
+
}
|
|
23
|
+
else if (isFunctionNode(arg) && isSymbolNode(arg.fn) && arg.fn.name === 'string') {
|
|
24
|
+
parts.push(`$(${migrateNode(state, arg.args[0], { format: 'no-paren' }).code})`);
|
|
25
|
+
}
|
|
26
|
+
else {
|
|
27
|
+
parts.push(`$(${migrateNode(state, arg, { format: 'no-paren' }).code})`);
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
return { code: '`' + parts.join('') + '`', type: 'string' };
|
|
31
|
+
}
|
|
32
|
+
//# sourceMappingURL=concat.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"concat.js","sourceRoot":"","sources":["../../src/migrator/concat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAiB,MAAM,QAAQ,CAAC;AAErF,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAe,MAAM,gBAAgB,CAAC;AAEvD,YAAY;AACZ,MAAM,UAAU,MAAM,CAAC,KAAY,EAAE,IAAwD;IACzF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,OAAO,GAAG,IAAI,QAAQ,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACvD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3D,CAAC;iBAAM,CAAC;gBACJ,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;YACjC,CAAC;QACL,CAAC;aAAM,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjF,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QACtF,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChE,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import { type ConditionalNode } from 'mathjs';
|
|
2
|
+
import type { State } from './state.js';
|
|
3
|
+
import type { Options, Result } from './interface.js';
|
|
4
|
+
/** 三目运算 */
|
|
5
|
+
export declare function migrateCondition(state: State, node: ConditionalNode, options: Options): Result;
|
|
6
|
+
//# sourceMappingURL=condition.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../../src/migrator/condition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgD,KAAK,eAAe,EAAE,MAAM,QAAQ,CAAC;AAC5F,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAKtD,WAAW;AACX,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CA+G9F"}
|
|
@@ -0,0 +1,110 @@
|
|
|
1
|
+
import { isFunctionNode, isOperatorNode, OperatorNode } from 'mathjs';
|
|
2
|
+
import { toBoolean } from './to-type.js';
|
|
3
|
+
import { migrateAtomic } from './node.js';
|
|
4
|
+
import { constantValue } from './utils.js';
|
|
5
|
+
/** 三目运算 */
|
|
6
|
+
export function migrateCondition(state, node, options) {
|
|
7
|
+
const { condition, trueExpr, falseExpr } = node;
|
|
8
|
+
if (constantValue(trueExpr) === true && constantValue(falseExpr) === false) {
|
|
9
|
+
// x ? true : false
|
|
10
|
+
const condRet = toBoolean(state, condition);
|
|
11
|
+
let { code } = condRet;
|
|
12
|
+
if (options.format === 'paren') {
|
|
13
|
+
code = `(${code})`;
|
|
14
|
+
}
|
|
15
|
+
return {
|
|
16
|
+
type: 'boolean',
|
|
17
|
+
code,
|
|
18
|
+
};
|
|
19
|
+
}
|
|
20
|
+
if (constantValue(trueExpr) === false && constantValue(falseExpr) === true) {
|
|
21
|
+
// x ? false : true
|
|
22
|
+
const c2 = new OperatorNode('not', 'not', [condition]);
|
|
23
|
+
const condRet = toBoolean(state, c2);
|
|
24
|
+
let { code } = condRet;
|
|
25
|
+
if (options.format === 'paren') {
|
|
26
|
+
code = `(${code})`;
|
|
27
|
+
}
|
|
28
|
+
return {
|
|
29
|
+
type: 'boolean',
|
|
30
|
+
code,
|
|
31
|
+
};
|
|
32
|
+
}
|
|
33
|
+
if (
|
|
34
|
+
// is(x, 'string')
|
|
35
|
+
isFunctionNode(condition) &&
|
|
36
|
+
condition.fn.isSymbolNode &&
|
|
37
|
+
condition.fn.name === 'is' &&
|
|
38
|
+
condition.args.length === 2 &&
|
|
39
|
+
constantValue(condition.args[1]) === 'string' &&
|
|
40
|
+
// ? count(x) != 0
|
|
41
|
+
isOperatorNode(trueExpr) &&
|
|
42
|
+
trueExpr.op === '!=' &&
|
|
43
|
+
isFunctionNode(trueExpr.args[0]) &&
|
|
44
|
+
trueExpr.args[0].fn.isSymbolNode &&
|
|
45
|
+
trueExpr.args[0].fn.name === 'count' &&
|
|
46
|
+
trueExpr.args[0].args.length === 1 &&
|
|
47
|
+
constantValue(trueExpr.args[1]) === 0 &&
|
|
48
|
+
// : false
|
|
49
|
+
constantValue(falseExpr) === false &&
|
|
50
|
+
// same arg
|
|
51
|
+
condition.args[0].equals(trueExpr.args[0].args[0])) {
|
|
52
|
+
// is(x, 'string') ? count(x) != 0 : false
|
|
53
|
+
const x = migrateAtomic(state, condition.args[0]);
|
|
54
|
+
let code = `type(${x.code}) == 'string' && ${x.code} != ''`;
|
|
55
|
+
if (options.format === 'paren') {
|
|
56
|
+
code = `(${code})`;
|
|
57
|
+
}
|
|
58
|
+
return {
|
|
59
|
+
type: 'boolean',
|
|
60
|
+
code,
|
|
61
|
+
};
|
|
62
|
+
}
|
|
63
|
+
if (
|
|
64
|
+
// is(x, 'string')
|
|
65
|
+
isFunctionNode(condition) &&
|
|
66
|
+
condition.fn.isSymbolNode &&
|
|
67
|
+
condition.fn.name === 'is' &&
|
|
68
|
+
condition.args.length === 2 &&
|
|
69
|
+
constantValue(condition.args[1]) === 'string' &&
|
|
70
|
+
// ? equalText(x, "xxx")
|
|
71
|
+
isFunctionNode(trueExpr) &&
|
|
72
|
+
trueExpr.fn.isSymbolNode &&
|
|
73
|
+
trueExpr.fn.name === 'equalText' &&
|
|
74
|
+
trueExpr.args.length === 2 &&
|
|
75
|
+
typeof constantValue(trueExpr.args[1]) === 'string' &&
|
|
76
|
+
// : false
|
|
77
|
+
constantValue(falseExpr) === false &&
|
|
78
|
+
// same arg
|
|
79
|
+
condition.args[0].equals(trueExpr.args[0])) {
|
|
80
|
+
// is(x, 'string') ? equalText(x, "xxx") : false
|
|
81
|
+
const x = migrateAtomic(state, condition.args[0]);
|
|
82
|
+
const xxx = migrateAtomic(state, trueExpr.args[1]);
|
|
83
|
+
let code = `${x.code} == ${xxx.code}`;
|
|
84
|
+
if (options.format === 'paren') {
|
|
85
|
+
code = `(${code})`;
|
|
86
|
+
}
|
|
87
|
+
return {
|
|
88
|
+
type: 'boolean',
|
|
89
|
+
code,
|
|
90
|
+
};
|
|
91
|
+
}
|
|
92
|
+
const condRet = toBoolean(state, condition);
|
|
93
|
+
let trueRet = migrateAtomic(state, trueExpr);
|
|
94
|
+
let falseRet = migrateAtomic(state, falseExpr);
|
|
95
|
+
if (!(trueRet.code.startsWith('{') && trueRet.code.endsWith('}'))) {
|
|
96
|
+
trueRet = { ...trueRet, code: `{ ${trueRet.code} }` };
|
|
97
|
+
}
|
|
98
|
+
if (!((falseRet.code.startsWith('{') || falseRet.code.startsWith('if ')) && falseRet.code.endsWith('}'))) {
|
|
99
|
+
falseRet = { ...falseRet, code: `{ ${falseRet.code} }` };
|
|
100
|
+
}
|
|
101
|
+
let code = `if ${condRet.code} ${trueRet.code} else ${falseRet.code}`;
|
|
102
|
+
if (options.format === 'paren') {
|
|
103
|
+
code = `(${code})`;
|
|
104
|
+
}
|
|
105
|
+
return {
|
|
106
|
+
type: trueRet.type === falseRet.type ? trueRet.type : undefined,
|
|
107
|
+
code,
|
|
108
|
+
};
|
|
109
|
+
}
|
|
110
|
+
//# sourceMappingURL=condition.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"condition.js","sourceRoot":"","sources":["../../src/migrator/condition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAwB,MAAM,QAAQ,CAAC;AAG5F,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,WAAW;AACX,MAAM,UAAU,gBAAgB,CAAC,KAAY,EAAE,IAAqB,EAAE,OAAgB;IAClF,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;IAEhD,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;QACzE,mBAAmB;QACnB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5C,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;QACvB,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;QACvB,CAAC;QACD,OAAO;YACH,IAAI,EAAE,SAAS;YACf,IAAI;SACP,CAAC;IACN,CAAC;IAED,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACzE,mBAAmB;QACnB,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;QACvB,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;QACvB,CAAC;QACD,OAAO;YACH,IAAI,EAAE,SAAS;YACf,IAAI;SACP,CAAC;IACN,CAAC;IAED;IACI,kBAAkB;IAClB,cAAc,CAAC,SAAS,CAAC;QACzB,SAAS,CAAC,EAAE,CAAC,YAAY;QACzB,SAAS,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI;QAC1B,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC3B,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,QAAQ;QAC9C,kBAAkB;QAClB,cAAc,CAAC,QAAQ,CAAC;QACxB,QAAQ,CAAC,EAAE,KAAK,IAAI;QACpB,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY;QAChC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO;QACpC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAClC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;QACtC,UAAU;QACV,aAAa,CAAC,SAAS,CAAC,KAAK,KAAK;QAClC,WAAW;QACX,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EACtD,CAAC;QACC,0CAA0C;QAC1C,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACnD,IAAI,IAAI,GAAG,QAAQ,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,IAAI,QAAQ,CAAC;QAC5D,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;QACvB,CAAC;QACD,OAAO;YACH,IAAI,EAAE,SAAS;YACf,IAAI;SACP,CAAC;IACN,CAAC;IAED;IACI,kBAAkB;IAClB,cAAc,CAAC,SAAS,CAAC;QACzB,SAAS,CAAC,EAAE,CAAC,YAAY;QACzB,SAAS,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI;QAC1B,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC3B,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,QAAQ;QAC9C,wBAAwB;QACxB,cAAc,CAAC,QAAQ,CAAC;QACxB,QAAQ,CAAC,EAAE,CAAC,YAAY;QACxB,QAAQ,CAAC,EAAE,CAAC,IAAI,KAAK,WAAW;QAChC,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC1B,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,QAAQ;QACpD,UAAU;QACV,aAAa,CAAC,SAAS,CAAC,KAAK,KAAK;QAClC,WAAW;QACX,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,EAC9C,CAAC;QACC,gDAAgD;QAChD,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACpD,IAAI,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;QACvB,CAAC;QACD,OAAO;YACH,IAAI,EAAE,SAAS;YACf,IAAI;SACP,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC5C,IAAI,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,KAAK,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACvG,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7D,CAAC;IAED,IAAI,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC;IACtE,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC7B,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;IACvB,CAAC;IACD,OAAO;QACH,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QAC/D,IAAI;KACP,CAAC;AACN,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import type { TypeName, VmConst } from '@mirascript/mirascript';
|
|
2
|
+
/** 转换选项 */
|
|
3
|
+
export interface Options {
|
|
4
|
+
/** 格式 */
|
|
5
|
+
readonly format: 'paren' | 'no-paren' | 'expr';
|
|
6
|
+
}
|
|
7
|
+
/** 转换结果 */
|
|
8
|
+
export interface Result {
|
|
9
|
+
/** 节点类型 */
|
|
10
|
+
readonly type?: TypeName;
|
|
11
|
+
/** 为字面量 */
|
|
12
|
+
readonly literal?: VmConst;
|
|
13
|
+
/** 转换后的代码 */
|
|
14
|
+
readonly code: string;
|
|
15
|
+
/** 转换后的代码 */
|
|
16
|
+
readonly as_boolean?: string;
|
|
17
|
+
/** 转换后的代码 */
|
|
18
|
+
readonly as_number?: string;
|
|
19
|
+
/** 转换后的代码 */
|
|
20
|
+
readonly as_string?: string;
|
|
21
|
+
}
|
|
22
|
+
/** 判断是否为转换结果 */
|
|
23
|
+
export declare function isResult(value: unknown): value is Result;
|
|
24
|
+
//# sourceMappingURL=interface.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../../src/migrator/interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAEhE,WAAW;AACX,MAAM,WAAW,OAAO;IACpB,SAAS;IACT,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;CAClD;AAED,WAAW;AACX,MAAM,WAAW,MAAM;IACnB,WAAW;IACX,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,WAAW;IACX,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,aAAa;IACb,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,aAAa;IACb,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,aAAa;IACb,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,aAAa;IACb,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,gBAAgB;AAChB,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAIxD"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"interface.js","sourceRoot":"","sources":["../../src/migrator/interface.ts"],"names":[],"mappings":"AAwBA,gBAAgB;AAChB,MAAM,UAAU,QAAQ,CAAC,KAAc;IACnC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,IAAI,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrD,MAAM,GAAG,GAAG,KAAe,CAAC;IAC5B,OAAO,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;AACxC,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import { type MathNode } from 'mathjs';
|
|
2
|
+
import type { State } from './state.js';
|
|
3
|
+
import type { Options, Result } from './interface.js';
|
|
4
|
+
/** 转换 AST */
|
|
5
|
+
export declare function migrateAtomic(state: State, node: MathNode): Result;
|
|
6
|
+
/** 转换 AST */
|
|
7
|
+
export declare function migrateParen(state: State, node: MathNode): Result;
|
|
8
|
+
/** 转换 AST */
|
|
9
|
+
export declare function migrateExpr(state: State, node: MathNode): Result;
|
|
10
|
+
/** 转换 AST */
|
|
11
|
+
export declare function migrateNode(state: State, node: MathNode, options: Options): Result;
|
|
12
|
+
//# sourceMappingURL=node.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"node.d.ts","sourceRoot":"","sources":["../../src/migrator/node.ts"],"names":[],"mappings":"AACA,OAAO,EACH,KAAK,QAAQ,EAYhB,MAAM,QAAQ,CAAC;AAChB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAStD,aAAa;AACb,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAElE;AACD,aAAa;AACb,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAEjE;AACD,aAAa;AACb,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAEhE;AAED,aAAa;AACb,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CA2FlF"}
|
|
@@ -0,0 +1,119 @@
|
|
|
1
|
+
import { serialize, serializePropName } from '@mirascript/mirascript/subtle';
|
|
2
|
+
import { isAccessorNode, isConstantNode, isArrayNode, isObjectNode, isConditionalNode, isFunctionNode, isOperatorNode, isParenthesisNode, isRelationalNode, isSymbolNode, } from 'mathjs';
|
|
3
|
+
import { unsupportedNode } from './utils.js';
|
|
4
|
+
import { migrateAccess } from './access.js';
|
|
5
|
+
import { migrateCall } from './call.js';
|
|
6
|
+
import { migrateOperator } from './operator.js';
|
|
7
|
+
import { migrateSymbol } from './symbol.js';
|
|
8
|
+
import { migrateCondition } from './condition.js';
|
|
9
|
+
/** 转换 AST */
|
|
10
|
+
export function migrateAtomic(state, node) {
|
|
11
|
+
return migrateNode(state, node, { format: 'no-paren' });
|
|
12
|
+
}
|
|
13
|
+
/** 转换 AST */
|
|
14
|
+
export function migrateParen(state, node) {
|
|
15
|
+
return migrateNode(state, node, { format: 'paren' });
|
|
16
|
+
}
|
|
17
|
+
/** 转换 AST */
|
|
18
|
+
export function migrateExpr(state, node) {
|
|
19
|
+
return migrateNode(state, node, { format: 'expr' });
|
|
20
|
+
}
|
|
21
|
+
/** 转换 AST */
|
|
22
|
+
export function migrateNode(state, node, options) {
|
|
23
|
+
if (isConstantNode(node)) {
|
|
24
|
+
const { value } = node;
|
|
25
|
+
if (value == null)
|
|
26
|
+
return { code: 'nil', literal: null, type: 'nil' };
|
|
27
|
+
return {
|
|
28
|
+
code: serialize(value),
|
|
29
|
+
literal: value,
|
|
30
|
+
type: typeof value,
|
|
31
|
+
};
|
|
32
|
+
}
|
|
33
|
+
if (isArrayNode(node)) {
|
|
34
|
+
const { items } = node;
|
|
35
|
+
const literals = [];
|
|
36
|
+
const code = [];
|
|
37
|
+
let literal = true;
|
|
38
|
+
for (const itemNode of items) {
|
|
39
|
+
const item = migrateAtomic(state, itemNode);
|
|
40
|
+
if (item.literal === undefined) {
|
|
41
|
+
literal = false;
|
|
42
|
+
}
|
|
43
|
+
else {
|
|
44
|
+
literals.push(item.literal);
|
|
45
|
+
}
|
|
46
|
+
code.push(item.code);
|
|
47
|
+
}
|
|
48
|
+
return {
|
|
49
|
+
type: 'array',
|
|
50
|
+
code: `[${code.join(', ')}]`,
|
|
51
|
+
literal: literal ? literals : undefined,
|
|
52
|
+
};
|
|
53
|
+
}
|
|
54
|
+
if (isObjectNode(node)) {
|
|
55
|
+
const { properties } = node;
|
|
56
|
+
const literals = {};
|
|
57
|
+
const code = [];
|
|
58
|
+
let literal = true;
|
|
59
|
+
for (const [key, itemNode] of Object.entries(properties)) {
|
|
60
|
+
const item = migrateAtomic(state, itemNode);
|
|
61
|
+
if (item.literal === undefined) {
|
|
62
|
+
literal = false;
|
|
63
|
+
}
|
|
64
|
+
else {
|
|
65
|
+
literals[key] = item.literal;
|
|
66
|
+
}
|
|
67
|
+
code.push(`${serializePropName(key)}: ${item.code}`);
|
|
68
|
+
}
|
|
69
|
+
return {
|
|
70
|
+
type: 'record',
|
|
71
|
+
code: `(${code.join(', ')})`,
|
|
72
|
+
literal: literal ? literals : undefined,
|
|
73
|
+
};
|
|
74
|
+
}
|
|
75
|
+
if (isSymbolNode(node)) {
|
|
76
|
+
return migrateSymbol(state, node, true);
|
|
77
|
+
}
|
|
78
|
+
if (isAccessorNode(node)) {
|
|
79
|
+
return migrateAccess(state, node);
|
|
80
|
+
}
|
|
81
|
+
if (isConditionalNode(node)) {
|
|
82
|
+
return migrateCondition(state, node, options);
|
|
83
|
+
}
|
|
84
|
+
if (isFunctionNode(node)) {
|
|
85
|
+
return migrateCall(state, node, options);
|
|
86
|
+
}
|
|
87
|
+
if (isOperatorNode(node)) {
|
|
88
|
+
return migrateOperator(state, node, options);
|
|
89
|
+
}
|
|
90
|
+
if (isParenthesisNode(node)) {
|
|
91
|
+
const { content } = node;
|
|
92
|
+
const ret = migrateAtomic(state, content);
|
|
93
|
+
if (options.format === 'no-paren')
|
|
94
|
+
return ret;
|
|
95
|
+
return { ...ret, code: `(${ret.code})` };
|
|
96
|
+
}
|
|
97
|
+
if (isRelationalNode(node)) {
|
|
98
|
+
const { conditionals, params } = node;
|
|
99
|
+
const exprs = [];
|
|
100
|
+
for (let i = 0; i < conditionals.length; i++) {
|
|
101
|
+
const fn = conditionals[i];
|
|
102
|
+
const l = params[i];
|
|
103
|
+
const r = params[i + 1];
|
|
104
|
+
exprs.push(migrateOperator(state, { fn, args: [l, r] }, options));
|
|
105
|
+
}
|
|
106
|
+
let code = exprs.join(' && ');
|
|
107
|
+
if (options.format !== 'no-paren')
|
|
108
|
+
code = `(${code})`;
|
|
109
|
+
return {
|
|
110
|
+
type: 'boolean',
|
|
111
|
+
code,
|
|
112
|
+
};
|
|
113
|
+
}
|
|
114
|
+
// if (isRangeNode(node)) {
|
|
115
|
+
// if (isIndexNode(node)) {
|
|
116
|
+
// if (isFunctionAssignmentNode(node)) {
|
|
117
|
+
return unsupportedNode(state, node);
|
|
118
|
+
}
|
|
119
|
+
//# sourceMappingURL=node.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"node.js","sourceRoot":"","sources":["../../src/migrator/node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAC7E,OAAO,EAEH,cAAc,EACd,cAAc,EACd,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAEhB,YAAY,GACf,MAAM,QAAQ,CAAC;AAIhB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,aAAa;AACb,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,IAAc;IACtD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;AAC5D,CAAC;AACD,aAAa;AACb,MAAM,UAAU,YAAY,CAAC,KAAY,EAAE,IAAc;IACrD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AACzD,CAAC;AACD,aAAa;AACb,MAAM,UAAU,WAAW,CAAC,KAAY,EAAE,IAAc;IACpD,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,aAAa;AACb,MAAM,UAAU,WAAW,CAAC,KAAY,EAAE,IAAc,EAAE,OAAgB;IACtE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACvB,IAAI,KAAK,IAAI,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtE,OAAO;YACH,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC;YACtB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO,KAAuB;SACvC,CAAC;IACN,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACvB,MAAM,QAAQ,GAAG,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,EAAE,CAAC;QAChB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC5C,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,GAAG,KAAK,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACJ,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO;YACH,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5B,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;SAC1C,CAAC;IACN,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC5B,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,EAAE,CAAC;QAChB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC5C,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,GAAG,KAAK,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACJ,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;YACjC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,OAAO;YACH,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5B,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;SAC1C,CAAC;IACN,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;QACzB,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,GAAG,CAAC;QAC9C,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC;IAC7C,CAAC;IACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAoB,CAAC;YAC9C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;QACtD,OAAO;YACH,IAAI,EAAE,SAAS;YACf,IAAI;SACP,CAAC;IACN,CAAC;IACD,2BAA2B;IAC3B,2BAA2B;IAC3B,wCAAwC;IACxC,OAAO,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACxC,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import { type OperatorNodeFn, type OperatorNode, type OperatorNodeMap } from 'mathjs';
|
|
2
|
+
import type { State } from './state.js';
|
|
3
|
+
import type { Options, Result } from './interface.js';
|
|
4
|
+
/** 转换 AST */
|
|
5
|
+
export declare function migrateOperator(state: State, node: Pick<OperatorNode<OperatorNodeMap[OperatorNodeFn], OperatorNodeFn>, 'fn' | 'args'>, options: Options): Result;
|
|
6
|
+
//# sourceMappingURL=operator.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"operator.d.ts","sourceRoot":"","sources":["../../src/migrator/operator.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,eAAe,EAMvB,MAAM,QAAQ,CAAC;AAEhB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAqItD,aAAa;AACb,wBAAgB,eAAe,CAC3B,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,EACxF,OAAO,EAAE,OAAO,GACjB,MAAM,CA4LR"}
|
|
@@ -0,0 +1,299 @@
|
|
|
1
|
+
import { isFunctionNode, isSymbolNode, isOperatorNode, isNode, } from 'mathjs';
|
|
2
|
+
import { symbolName, constantValue, equalText, scalar } from './utils.js';
|
|
3
|
+
import { migrateAtomic, migrateExpr } from './node.js';
|
|
4
|
+
import { toBoolean, toNumber } from './to-type.js';
|
|
5
|
+
import { migrateSymbol } from './symbol.js';
|
|
6
|
+
import { operations, serialize } from '@mirascript/mirascript/subtle';
|
|
7
|
+
const BINARY_MATH_OPERATORS = {
|
|
8
|
+
add: [
|
|
9
|
+
' + ',
|
|
10
|
+
(l, r) => ({
|
|
11
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : l.type && r.type ? 'number' : undefined,
|
|
12
|
+
code: `matrix.add(${l.code}, ${r.code})`,
|
|
13
|
+
}),
|
|
14
|
+
],
|
|
15
|
+
subtract: [
|
|
16
|
+
' - ',
|
|
17
|
+
(l, r) => ({
|
|
18
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : l.type && r.type ? 'number' : undefined,
|
|
19
|
+
code: `matrix.subtract(${l.code}, ${r.code})`,
|
|
20
|
+
}),
|
|
21
|
+
],
|
|
22
|
+
multiply: [
|
|
23
|
+
' * ',
|
|
24
|
+
(l, r) => ({
|
|
25
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : l.type && r.type ? 'number' : undefined,
|
|
26
|
+
code: `matrix.multiply(${l.code}, ${r.code})`,
|
|
27
|
+
}),
|
|
28
|
+
],
|
|
29
|
+
dotMultiply: [
|
|
30
|
+
' * ',
|
|
31
|
+
(l, r) => ({
|
|
32
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : l.type && r.type ? 'number' : undefined,
|
|
33
|
+
code: `matrix.entrywise_multiply(${l.code}, ${r.code})`,
|
|
34
|
+
}),
|
|
35
|
+
],
|
|
36
|
+
divide: [
|
|
37
|
+
' / ',
|
|
38
|
+
(l, r) => ({
|
|
39
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : l.type && r.type ? 'number' : undefined,
|
|
40
|
+
code: `matrix.multiply(${l.code}, matrix.invert(${r.code}))`,
|
|
41
|
+
}),
|
|
42
|
+
],
|
|
43
|
+
dotDivide: [
|
|
44
|
+
' / ',
|
|
45
|
+
(l, r) => ({
|
|
46
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : l.type && r.type ? 'number' : undefined,
|
|
47
|
+
code: `matrix.entrywise_divide(${l.code}, ${r.code})`,
|
|
48
|
+
}),
|
|
49
|
+
],
|
|
50
|
+
mod: [' % '],
|
|
51
|
+
pow: ['^', false],
|
|
52
|
+
dotPow: ['^'],
|
|
53
|
+
};
|
|
54
|
+
const MATH_FUNCTIONS = {
|
|
55
|
+
factorial: 'factorial',
|
|
56
|
+
bitAnd: 'b_and',
|
|
57
|
+
bitOr: 'b_or',
|
|
58
|
+
bitNot: 'b_not',
|
|
59
|
+
bitXor: 'b_xor',
|
|
60
|
+
leftShift: 'shl',
|
|
61
|
+
rightArithShift: 'sar',
|
|
62
|
+
rightLogShift: 'shr',
|
|
63
|
+
};
|
|
64
|
+
const BIT_OPS_TO_BOOL_OPS = {
|
|
65
|
+
bitAnd: '&&',
|
|
66
|
+
bitOr: '||',
|
|
67
|
+
bitXor: '!=',
|
|
68
|
+
};
|
|
69
|
+
const COMPARE_OPERATORS = {
|
|
70
|
+
smaller: '<',
|
|
71
|
+
smallerEq: '<=',
|
|
72
|
+
larger: '>',
|
|
73
|
+
largerEq: '>=',
|
|
74
|
+
};
|
|
75
|
+
/** 转换为 boolean */
|
|
76
|
+
function b(op, state, node) {
|
|
77
|
+
const re = migrateExpr(state, node);
|
|
78
|
+
return toBoolean(state, scalar(op, state, re)).code;
|
|
79
|
+
}
|
|
80
|
+
/** 二元操作 */
|
|
81
|
+
function binary(state, l, r, op, alt) {
|
|
82
|
+
if (l.type && r.type && l.type !== 'array' && r.type !== 'array') {
|
|
83
|
+
return op(l, r);
|
|
84
|
+
}
|
|
85
|
+
if (Array.isArray(l.literal) && l.literal.every((e) => !Array.isArray(e))) {
|
|
86
|
+
return {
|
|
87
|
+
type: 'array',
|
|
88
|
+
code: `${l.code}::map(fn { ${op({ code: 'it' }, r).code} })`,
|
|
89
|
+
};
|
|
90
|
+
}
|
|
91
|
+
if (Array.isArray(r.literal) && r.literal.every((e) => !Array.isArray(e))) {
|
|
92
|
+
return {
|
|
93
|
+
type: 'array',
|
|
94
|
+
code: `${r.code}::map(fn { ${op(l, { code: 'it' }).code} })`,
|
|
95
|
+
};
|
|
96
|
+
}
|
|
97
|
+
if (alt) {
|
|
98
|
+
return alt(l, r);
|
|
99
|
+
}
|
|
100
|
+
return {
|
|
101
|
+
type: l.type === 'array' || r.type === 'array' ? 'array' : undefined,
|
|
102
|
+
code: `matrix.entrywise(${l.code}, ${r.code}, fn (a, b) { ${op({ code: 'a' }, { code: 'b' }).code} })`,
|
|
103
|
+
};
|
|
104
|
+
}
|
|
105
|
+
/** 一元操作 */
|
|
106
|
+
function unary(state, v, op) {
|
|
107
|
+
if (v.type && v.type !== 'array') {
|
|
108
|
+
return op(v);
|
|
109
|
+
}
|
|
110
|
+
if (Array.isArray(v.literal) && v.literal.every((e) => !Array.isArray(e))) {
|
|
111
|
+
return {
|
|
112
|
+
type: 'array',
|
|
113
|
+
code: `${v.code}::map(fn { ${op({ code: 'it' }).code} })`,
|
|
114
|
+
};
|
|
115
|
+
}
|
|
116
|
+
return {
|
|
117
|
+
type: 'array',
|
|
118
|
+
code: `matrix.entrywise(${v.code}, nil, fn { ${op({ code: 'it' }).code} })`,
|
|
119
|
+
};
|
|
120
|
+
}
|
|
121
|
+
/** 转换 AST */
|
|
122
|
+
export function migrateOperator(state, node, options) {
|
|
123
|
+
const fn = node.fn;
|
|
124
|
+
const { args } = node;
|
|
125
|
+
const a0 = args[0];
|
|
126
|
+
const a1 = args[1];
|
|
127
|
+
const open = options.format === 'paren' ? '(' : '';
|
|
128
|
+
const close = options.format === 'paren' ? ')' : '';
|
|
129
|
+
switch (fn) {
|
|
130
|
+
case 'add':
|
|
131
|
+
case 'subtract':
|
|
132
|
+
case 'multiply':
|
|
133
|
+
case 'divide':
|
|
134
|
+
case 'mod':
|
|
135
|
+
case 'pow':
|
|
136
|
+
case 'dotMultiply':
|
|
137
|
+
case 'dotDivide':
|
|
138
|
+
case 'dotPow': {
|
|
139
|
+
const [op, alt] = BINARY_MATH_OPERATORS[fn];
|
|
140
|
+
return binary(state, migrateExpr(state, a0), migrateExpr(state, a1), (l, r) => ({
|
|
141
|
+
type: 'number',
|
|
142
|
+
code: `${l.code}${op}${r.code}`,
|
|
143
|
+
}), alt === false
|
|
144
|
+
? (l, r) => {
|
|
145
|
+
state.warn(`'${op.trim()}' 不支持矩阵,计算结果可能不一致`);
|
|
146
|
+
return { code: `${l.code} ^ ${r.code}` };
|
|
147
|
+
}
|
|
148
|
+
: alt);
|
|
149
|
+
}
|
|
150
|
+
case 'unaryMinus':
|
|
151
|
+
case 'unaryPlus': {
|
|
152
|
+
const op = fn === 'unaryMinus' ? '-' : '+';
|
|
153
|
+
const f = fn === 'unaryMinus' ? operations.$Neg : operations.$Pos;
|
|
154
|
+
const exp = migrateExpr(state, a0);
|
|
155
|
+
if (typeof exp.literal == 'number') {
|
|
156
|
+
const v = f(exp.literal);
|
|
157
|
+
return {
|
|
158
|
+
type: 'number',
|
|
159
|
+
literal: v,
|
|
160
|
+
code: serialize(v),
|
|
161
|
+
};
|
|
162
|
+
}
|
|
163
|
+
return unary(state, migrateExpr(state, a0), (v) => ({
|
|
164
|
+
type: 'number',
|
|
165
|
+
code: `${op}${v.code}`,
|
|
166
|
+
}));
|
|
167
|
+
}
|
|
168
|
+
case 'factorial':
|
|
169
|
+
case 'bitAnd':
|
|
170
|
+
case 'bitOr':
|
|
171
|
+
case 'bitXor':
|
|
172
|
+
case 'bitNot':
|
|
173
|
+
case 'leftShift':
|
|
174
|
+
case 'rightArithShift':
|
|
175
|
+
case 'rightLogShift': {
|
|
176
|
+
const f = MATH_FUNCTIONS[fn];
|
|
177
|
+
const codes = args.map((a) => {
|
|
178
|
+
const r = migrateAtomic(state, a);
|
|
179
|
+
return scalar(f, state, r);
|
|
180
|
+
});
|
|
181
|
+
if (codes.every((c) => c.type === 'boolean' || c.as_boolean) && fn in BIT_OPS_TO_BOOL_OPS) {
|
|
182
|
+
const boolOp = BIT_OPS_TO_BOOL_OPS[fn];
|
|
183
|
+
const code = codes.map((c) => toBoolean(state, c).code).join(` ${boolOp} `);
|
|
184
|
+
return {
|
|
185
|
+
type: 'number',
|
|
186
|
+
code: `to_number(${code})`,
|
|
187
|
+
as_boolean: `${open}${code}${close}`,
|
|
188
|
+
};
|
|
189
|
+
}
|
|
190
|
+
return {
|
|
191
|
+
type: 'number',
|
|
192
|
+
code: `${f}(${codes.map((c) => c.code).join(', ')})`,
|
|
193
|
+
};
|
|
194
|
+
}
|
|
195
|
+
case 'ctranspose': {
|
|
196
|
+
const p = migrateAtomic(state, a0);
|
|
197
|
+
state.loose();
|
|
198
|
+
return {
|
|
199
|
+
type: 'array',
|
|
200
|
+
code: `transpose(${p.code})`,
|
|
201
|
+
};
|
|
202
|
+
}
|
|
203
|
+
case 'and':
|
|
204
|
+
return {
|
|
205
|
+
type: 'boolean',
|
|
206
|
+
code: `${open}${b('&&', state, a0)} && ${b('&&', state, a1)}${close}`,
|
|
207
|
+
};
|
|
208
|
+
case 'or':
|
|
209
|
+
return {
|
|
210
|
+
type: 'boolean',
|
|
211
|
+
code: `${open}${b('||', state, a0)} || ${b('||', state, a1)}${close}`,
|
|
212
|
+
};
|
|
213
|
+
case 'xor': {
|
|
214
|
+
return {
|
|
215
|
+
type: 'boolean',
|
|
216
|
+
code: `${open}${b('!=', state, a0)} != ${b('!=', state, a1)}${close}`,
|
|
217
|
+
};
|
|
218
|
+
}
|
|
219
|
+
case 'not': {
|
|
220
|
+
if (isFunctionNode(a0) && symbolName(a0.fn) === 'equalText' && a0.args.length === 2) {
|
|
221
|
+
const p = equalText(state, '!=', a0.args[0], a0.args[1]);
|
|
222
|
+
return {
|
|
223
|
+
type: p.type,
|
|
224
|
+
code: `${open}${p.code}${close}`,
|
|
225
|
+
};
|
|
226
|
+
}
|
|
227
|
+
if (isOperatorNode(a0) && (a0.op === '==' || a0.op === '!=')) {
|
|
228
|
+
const c = a0.clone();
|
|
229
|
+
c.op = a0.op === '==' ? '!=' : '==';
|
|
230
|
+
return migrateOperator(state, c, {
|
|
231
|
+
...options,
|
|
232
|
+
format: options.format === 'no-paren' ? 'no-paren' : 'paren',
|
|
233
|
+
});
|
|
234
|
+
}
|
|
235
|
+
return {
|
|
236
|
+
type: 'boolean',
|
|
237
|
+
code: `${open}!${b('!', state, a0)}${close}`,
|
|
238
|
+
};
|
|
239
|
+
}
|
|
240
|
+
case 'equal':
|
|
241
|
+
case 'unequal': {
|
|
242
|
+
const op = fn === 'equal' ? '==' : '!=';
|
|
243
|
+
const c0 = constantValue(a0);
|
|
244
|
+
const c1 = constantValue(a1);
|
|
245
|
+
if (c0 === null || c1 === null) {
|
|
246
|
+
state.loose();
|
|
247
|
+
const p0 = c0 === null ? { code: `nil` } : scalar(op, state, migrateExpr(state, a0));
|
|
248
|
+
const p1 = c1 === null ? { code: `nil` } : scalar(op, state, migrateExpr(state, a1));
|
|
249
|
+
return {
|
|
250
|
+
type: 'boolean',
|
|
251
|
+
code: `${open}${p0.code} ${op} ${p1.code}${close}`,
|
|
252
|
+
};
|
|
253
|
+
}
|
|
254
|
+
// PI, E 与常量比较时,不进行转换
|
|
255
|
+
const preserveConst = typeof c0 == 'number' || typeof c1 == 'number';
|
|
256
|
+
const a = (a) => {
|
|
257
|
+
let r;
|
|
258
|
+
if (!isNode(a)) {
|
|
259
|
+
r = a;
|
|
260
|
+
}
|
|
261
|
+
else if (isSymbolNode(a)) {
|
|
262
|
+
r = migrateSymbol(state, a, !preserveConst);
|
|
263
|
+
}
|
|
264
|
+
else {
|
|
265
|
+
r = migrateExpr(state, a);
|
|
266
|
+
}
|
|
267
|
+
return r;
|
|
268
|
+
};
|
|
269
|
+
return binary(state, a(a0), a(a1), (l, r) => {
|
|
270
|
+
return {
|
|
271
|
+
type: 'boolean',
|
|
272
|
+
code: `${toNumber(state, l).code} ${op} ${toNumber(state, r).code}`,
|
|
273
|
+
};
|
|
274
|
+
});
|
|
275
|
+
}
|
|
276
|
+
case 'smaller':
|
|
277
|
+
case 'smallerEq':
|
|
278
|
+
case 'larger':
|
|
279
|
+
case 'largerEq': {
|
|
280
|
+
const op = COMPARE_OPERATORS[fn];
|
|
281
|
+
return {
|
|
282
|
+
type: 'boolean',
|
|
283
|
+
code: `${open}${scalar(op, state, migrateExpr(state, a0)).code} ${op} ${scalar(op, state, migrateExpr(state, a1)).code}${close}`,
|
|
284
|
+
};
|
|
285
|
+
}
|
|
286
|
+
default: {
|
|
287
|
+
state.err(`不支持的运算符: ${fn}`);
|
|
288
|
+
if (a1) {
|
|
289
|
+
return {
|
|
290
|
+
code: `${open}${migrateExpr(state, a0).code} /* ${fn} */ ${migrateExpr(state, a1).code}${close}`,
|
|
291
|
+
};
|
|
292
|
+
}
|
|
293
|
+
else {
|
|
294
|
+
return { code: `${open}${migrateExpr(state, a0).code} /* ${fn} */${close}` };
|
|
295
|
+
}
|
|
296
|
+
}
|
|
297
|
+
}
|
|
298
|
+
}
|
|
299
|
+
//# sourceMappingURL=operator.js.map
|