@cloudpss/expression 0.6.0-alpha.9 → 0.6.0

package/tests/definition.ts

@@ -1,42 +1,261 @@
+import { jest } from '@jest/globals';
 import * as def from '../dist/definitions.js';
+import { Expression } from '../dist/expression.js';
 
 describe('definitions', () => {
     it('should handle parameter', () => {
-        expect(def.Parameter()).toBeDefined();
-        expect(def.isParameter(def.Parameter())).toBe(true);
+        expect(def.isParameter(null)).toBe(false);
+        expect(def.isParameter(() => void 0)).toBe(false);
+        expect(def.isParameter({ key: '', name: '', description: '', type: 'real', value: 0 })).toBe(true);
+        expect(def.isParameter({ type: 'label' })).toBe(false);
+        expect(def.isParameter({ name: '', description: '', items: [] })).toBe(false);
     });
 
     it('should handle parameter group', () => {
-        expect(def.ParameterGroup()).toBeDefined();
-        expect(def.isParameterGroup(def.ParameterGroup())).toBe(true);
+        expect(def.isParameterGroup(null)).toBe(false);
+        expect(def.isParameterGroup(() => void 0)).toBe(false);
+        expect(def.isParameterGroup({ name: '', description: '', items: [] })).toBe(true);
+        expect(def.isParameterGroup({ items: [] })).toBe(false);
+        expect(def.isParameterGroup({ key: '', name: '', description: '', items: [] })).toBe(false);
     });
 
     it('should handle parameter decoration', () => {
-        expect(def.ParameterDecoration()).toBeDefined();
-        expect(def.isParameterDecoration(def.ParameterDecoration())).toBe(true);
+        expect(def.isParameterDecoration(null)).toBe(false);
+        expect(def.isParameterDecoration(() => void 0)).toBe(false);
+        expect(def.isParameterDecoration({ type: 'label' })).toBe(true);
+        expect(def.isParameterDecoration({ name: '', description: '', items: [] })).toBe(false);
+        expect(def.isParameterDecoration({ key: '', name: '', description: '', type: 'real', value: 0 })).toBe(false);
     });
 
     it('should handle parameter decoration group', () => {
-        expect(def.ParameterDecorationGroup()).toBeDefined();
-        expect(def.isParameterDecorationGroup(def.ParameterDecorationGroup())).toBe(true);
+        expect(def.isParameterDecorationGroup(null)).toBe(false);
+        expect(def.isParameterDecorationGroup(() => void 0)).toBe(false);
+        expect(def.isParameterDecorationGroup({ items: [] })).toBe(true);
+        expect(def.isParameterDecorationGroup({ name: '', description: '', items: [] })).toBe(false);
     });
 
     it('should handle variable', () => {
-        expect(def.Variable()).toBeDefined();
-        expect(def.isVariable(def.Variable())).toBe(true);
+        expect(def.isVariable(null)).toBe(false);
+        expect(def.isVariable(() => void 0)).toBe(false);
+        expect(def.isVariable({ key: '', value: 0 })).toBe(true);
+        expect(def.isVariable({ key: '', name: '', description: '', type: 'real', value: 0 })).toBe(false);
     });
 
     it('should handle choice', () => {
-        expect(def.Choice()).toBeDefined();
-        expect(def.isChoice(def.Choice())).toBe(true);
+        expect(def.isChoice(null)).toBe(false);
+        expect(def.isChoice(() => void 0)).toBe(false);
+        expect(def.isChoice({ name: '', description: '' })).toBe(true);
+        expect(def.isChoice({ key: null, name: '', description: '' })).toBe(true);
+        expect(def.isChoice({ key: '', name: '', description: '' })).toBe(true);
+    });
+
+    it('should handle constraint', () => {
+        expect(def.isConstraint(null)).toBe(false);
+        expect(def.isConstraint(() => void 0)).toBe(false);
+        expect(def.isConstraint({ name: '', description: '' })).toBe(false);
+        expect(def.isConstraint({ key: null, name: '', description: '' })).toBe(false);
+        expect(def.isConstraint({ key: '', name: '', description: '' })).toBe(false);
+        expect(def.isConstraint({ message: '' })).toBe(false);
+        expect(def.isConstraint({ condition: '' })).toBe(false);
+        expect(def.isConstraint({ message: '', condition: '' })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', level: 'error' })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', level: 'error', messageData: '' })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', messageData: {} })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', messageData: null })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', messageData: undefined })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', messageData: () => void 0 })).toBe(true);
+        expect(def.isConstraint({ message: '', condition: '', messageData: 1 })).toBe(false);
+    });
 
-        expect(def.Choice('x').key).toBe('x');
-        expect(def.isChoice(def.Choice('x'))).toBe(true);
+    it('should generate track id', () => {
+        const mockRandom = jest
+            .spyOn(Math, 'random')
+            .mockReturnValueOnce(0)
+            .mockReturnValueOnce(1 - 2 ** -53);
+        const id1 = def.generateTrackId();
+        const id2 = def.generateTrackId();
+        mockRandom.mockRestore();
+        expect(id1).toBe(1);
+        expect(id2).toBe(0x7fff_ffff);
+    });
 
-        expect(def.Choice(0).key).toBe(0);
-        expect(def.isChoice(def.Choice(0))).toBe(true);
+    it('should convert argument value', () => {
+        // @ts-expect-error 未知类型
+        expect(def.toArgumentValue(undefined, { type: 'xxx', key: '', name: '', description: '', value: 1 })).toBe(
+            null,
+        );
+        expect(def.toArgumentValue(undefined, { type: 'real', key: '', name: '', description: '', value: 1 })).toBe(
+            null,
+        );
+        expect(def.toArgumentValue(null, { type: 'real', key: '', name: '', description: '', value: 1 })).toBe(null);
+        expect(def.toArgumentValue('12', { type: 'real', key: '', name: '', description: '', value: 1 })).toBe(12);
+        expect(def.toArgumentValue(null, { type: 'text', key: '', name: '', description: '', value: '1' })).toBe('');
+        expect(def.toArgumentValue(12, { type: 'text', key: '', name: '', description: '', value: '1' })).toBe('12');
+        expect(
+            def.toArgumentValue(null, { type: 'grouped', key: '', name: '', description: '', value: {}, items: [] }),
+        ).toBe(null);
 
-        expect(def.Choice(false).key).toBe(false);
-        expect(def.isChoice(def.Choice(false))).toBe(true);
+        expect(
+            def.toArgumentValue(null, { type: 'choice', key: '', name: '', description: '', value: 1, choices: [] }),
+        ).toBe(null);
+        expect(
+            def.toArgumentValue(null, {
+                type: 'choice',
+                key: '',
+                name: '',
+                description: '',
+                value: 1,
+                choices: [{ key: '0', name: '', description: '' }],
+            }),
+        ).toBe('');
+        expect(
+            def.toArgumentValue(null, {
+                type: 'choice',
+                key: '',
+                name: '',
+                description: '',
+                value: 1,
+                choices: [
+                    { key: '0', name: '', description: '' },
+                    { key: 1, name: '', description: '' },
+                ],
+            }),
+        ).toBe('');
+        expect(def.toArgumentValue(null, { type: 'logical', key: '', name: '', description: '', value: 1 })).toBe(null);
+        expect(def.toArgumentValue('0', { type: 'logical', key: '', name: '', description: '', value: 1 })).toBe(0);
+        expect(
+            def.toArgumentValue(null, {
+                type: 'logical',
+                key: '',
+                name: '',
+                description: '',
+                value: false,
+                choices: [
+                    { key: 0, name: '', description: '' },
+                    { key: 1, name: '', description: '' },
+                ],
+            }),
+        ).toBe(null);
+        expect(
+            def.toArgumentValue(null, {
+                type: 'logical',
+                key: '',
+                name: '',
+                description: '',
+                value: true,
+            }),
+        ).toBe(null);
+        expect(
+            def.toArgumentValue(null, {
+                type: 'logical',
+                key: '',
+                name: '',
+                description: '',
+                value: 'true',
+            }),
+        ).toBe('');
+        expect(
+            def.toArgumentValue(null, {
+                type: 'logical',
+                key: '',
+                name: '',
+                description: '',
+                value: 'true',
+                choices: [
+                    { key: '0', name: '', description: '' },
+                    { key: '1', name: '', description: '' },
+                ],
+            }),
+        ).toBe('');
+        expect(
+            def.toArgumentValue(null, {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: [],
+            }),
+        ).toStrictEqual([]);
+        expect(
+            def.toArgumentValue(1, {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: [],
+            }),
+        ).toStrictEqual([1]);
+        expect(
+            def.toArgumentValue('', {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: [],
+            }),
+        ).toStrictEqual(null);
+        expect(
+            def.toArgumentValue('', {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: Expression(''),
+            }),
+        ).toStrictEqual(null);
+        expect(
+            def.toArgumentValue(['', '1', '  2 '], {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: [],
+            }),
+        ).toStrictEqual(null);
+        expect(
+            def.toArgumentValue(['0', '1', '  2 '], {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: [],
+            }),
+        ).toStrictEqual([0, 1, 2]);
+        expect(
+            def.toArgumentValue(['0', '1', '  2 '], {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [],
+                choices: [],
+            }),
+        ).toStrictEqual([0, 1, 2]);
+        expect(
+            def.toArgumentValue([1, 2], {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: ['1'],
+                choices: [],
+            }),
+        ).toStrictEqual(['1', '2']);
+        expect(
+            def.toArgumentValue(['', '1', '  2 '], {
+                type: 'multiSelect',
+                key: '',
+                name: '',
+                description: '',
+                value: [1],
+                choices: Expression(''),
+            }),
+        ).toStrictEqual(null);
     });
 });

package/tests/eval-complex.ts

@@ -1,5 +1,5 @@
 import { VmExtern } from '@mirascript/mirascript';
-import { Evaluator, Expression, Scope } from '../dist/index.js';
+import { Evaluator, Expression, isExpression, Scope } from '../dist/index.js';
 
 const e = new Evaluator();
 
@@ -44,24 +44,23 @@ describe('Evaluator should work correctly', () => {
         const result = e.evaluate(Expression('a.0'), s);
         expect(result).toBe(36);
     });
-    it('should eval deep with extern', () => {
+    it('should not eval deep with extern', () => {
         const s = new Scope(
             {
-                a: new VmExtern([Expression('b.0 + d.0')]),
-                b: new VmExtern([Expression('c.0 + d.0')]),
-                c: new VmExtern([12]),
-                d: new VmExtern([Expression('c.0')]),
+                a: new VmExtern([Expression('1')]),
             },
             false,
         );
-        const result = e.evaluate(Expression('a.0'), s);
-        expect(result).toBe(36);
+        const result = e.evaluate<VmExtern>(Expression('a.0'), s);
+        expect(result?.value).toStrictEqual(Expression('1'));
     });
     it('should eval deep with compiled expression', () => {
+        const b = e.compile(Expression('c+d'));
+        expect(isExpression(b)).toBe(true);
         const s = new Scope(
             {
                 a: Expression('b+d'),
-                b: e.compile(Expression('c+d')),
+                b: b,
                 c: 12,
                 d: Expression('c'),
             },
@@ -70,6 +69,62 @@ describe('Evaluator should work correctly', () => {
         const result = e.evaluate(Expression('a'), s);
         expect(result).toBe(36);
     });
+    it('should eval deep with object and array', () => {
+        const s = new Scope(
+            {
+                arr: [1, 2, Expression('arr.0 + obj.x'), Expression('arr.2 + obj.y')],
+                obj: { x: 3, y: Expression('arr.1 + obj.x') },
+                arr_copy: Expression('[..arr]'),
+            },
+            false,
+        );
+        const result = e.evaluate<{
+            arr: number[];
+            obj: Record<string, number>;
+        }>(Expression('(arr: [..arr], obj: (..obj))'), s)!;
+        expect(result).toStrictEqual({ arr: [1, 2, 4, 9], obj: { x: 3, y: 5 } });
+        expect(result).not.toBeProxy();
+        expect(result.arr).not.toBeProxy();
+        expect(result.obj).not.toBeProxy();
+        const copy = e.evaluate<number[]>(Expression('[..arr_copy]'), s);
+        expect(copy).toStrictEqual([1, 2, 4, 9]);
+        expect(copy).not.toBeProxy();
+    });
+    it('should eval with arr expr', () => {
+        const s = new Scope(
+            {
+                arr: Expression('[a0, 2, 3..5]'),
+                a0: Expression('0.4 + 0.6'),
+                start: Expression('0'),
+                end: Expression('start + 2'),
+            },
+            false,
+        );
+        const result = e.evaluate<number[]>(Expression('arr'), s);
+        expect(result).toStrictEqual([1, 2, 3, 4, 5]);
+        expect(result).not.toBeProxy();
+        const slice = e.evaluate<number[]>(Expression('arr[start..end]'), s);
+        expect(slice).toStrictEqual([1, 2, 3]);
+        expect(slice).not.toBeProxy();
+        const field = e.evaluate<number>(Expression('arr.0'), s);
+        expect(field).toBe(1);
+    });
+    it('should eval with obj expr', () => {
+        const s = new Scope(
+            {
+                o0: Expression('"s$(arr)"'),
+                arr: Expression('[1, 2, 3..5]'),
+                obj: Expression('(x: o0, y: 2 + arr.0, z: arr[1..arr.1 + 2])'),
+            },
+            false,
+        );
+        const result = e.evaluate<{ x: string; y: number; z: number[] }>(Expression('obj'), s)!;
+        expect(result).toStrictEqual({ x: 's1, 2, 3, 4, 5', y: 3, z: [2, 3, 4, 5] });
+        expect(result).not.toBeProxy();
+        expect(result.z).not.toBeProxy();
+        const field = e.evaluate<string>(Expression('obj.x'), s);
+        expect(field).toStrictEqual('s1, 2, 3, 4, 5');
+    });
     it('should eval complex', () => {
         const s = new Scope(
             {
@@ -105,7 +160,7 @@ describe('Evaluator should work correctly', () => {
         const result = e.evaluate(Expression('a + a + a + a + a + a + a + a + a + a'), s);
         expect(result).toBe(10);
     });
-    it('should report loop', () => {
+    it('should report loop by scope', () => {
         const s = new Scope(
             {
                 a: Expression('b'),
@@ -114,6 +169,17 @@ describe('Evaluator should work correctly', () => {
             },
             true,
         );
+        expect(() => e.evaluate(Expression('a'), s)).toThrow(/Execution recursion exceeds limit/);
+    });
+    it('should report loop by mirascript', () => {
+        const s = new Scope(
+            {
+                a: Expression('fn x{b}x()'),
+                b: Expression('fn x{c}x()'),
+                c: Expression('fn x{a}x()'),
+            },
+            true,
+        );
         expect(() => e.evaluate(Expression('a'), s)).toThrow(/Maximum call depth exceeded/);
     });
 
@@ -132,7 +198,7 @@ describe('Evaluator should work correctly', () => {
             a: new ArrayBuffer(0),
             v: new DataView(new ArrayBuffer(0)),
             test() {
-                expect(this).toBeProxy();
+                expect(this).not.toBeProxy();
                 expect(this.d).not.toBeProxy();
                 expect(this.r).not.toBeProxy();
                 // eslint-disable-next-line @typescript-eslint/unbound-method
@@ -144,7 +210,7 @@ describe('Evaluator should work correctly', () => {
             },
         });
         const s = new Scope({ o }, true);
-        expect(e.evaluate(Expression('o.test()'), s)).toBe(3);
-        expect(e.evaluate(Expression('o.z'), s)).toBe(3);
+        expect(e.evaluate<VmExtern>(Expression('o.test()'), s)?.value).toStrictEqual(Expression('o.y+o.x.p'));
+        expect(e.evaluate<VmExtern>(Expression('o.z'), s)?.value).toStrictEqual(Expression('o.y+o.x.p'));
     });
 });

package/tests/eval.ts

@@ -1,9 +1,17 @@
-import { Evaluator, Expression, Scope } from '../dist/index.js';
+import { Evaluator, Expression, Scope, VmFunction } from '../dist/index.js';
 
-const e = new Evaluator();
+const e = new Evaluator({
+    logger: {
+        warn: () => void 0,
+        error: () => void 0,
+        info: () => void 0,
+        debug: () => void 0,
+    },
+});
 const s = new Scope({}, false);
+const st = new Scope(null, true);
 
-describe('Evaluator should work correctly', () => {
+describe('Evaluator.evaluate should work correctly', () => {
     it('should eval const', () => {
         const result = e.evaluate(Expression('12'), s);
         expect(result).toBe(12);
@@ -16,11 +24,39 @@ describe('Evaluator should work correctly', () => {
 
     it('should eval error', () => {
         const result = e.evaluate(Expression('exp+++'), s);
-        expect(result).toBe(undefined);
+        expect(result).toBe(null);
+    });
+
+    it('should eval null', () => {
+        const result = e.evaluate(null, s);
+        expect(result).toBe(null);
+    });
+    it('should eval undefined', () => {
+        const result = e.evaluate(undefined, s);
+        expect(result).toBe(null);
+    });
+    it('should eval value', () => {
+        {
+            const result = e.evaluate(1, s);
+            expect(result).toBe(1);
+        }
+        {
+            const result = e.evaluate('', s);
+            expect(result).toBe('');
+        }
+        {
+            const result = e.evaluate(false, s);
+            expect(result).toBe(false);
+        }
+    });
+    it('should eval vm function', () => {
+        const f = VmFunction(() => 1);
+        const result = e.evaluate(f, s);
+        expect(result).toBe(f);
     });
 });
 
-describe('Evaluator should convert result', () => {
+describe('Evaluator.evaluate should convert result', () => {
     it('should eval const', () => {
         const result = e.evaluate(Expression('12', 'string'), s);
         expect(result).toBe('12');
@@ -31,12 +67,23 @@ describe('Evaluator should convert result', () => {
         expect(result).toBe(Math.exp(2).toString());
     });
 
-    it('should not convert when error', () => {
-        // syntax error
-        const result = e.evaluate(Expression('exp+++', 's'), s, 1);
-        expect(result).toBe(1);
-        // runtime error
-        const result2 = e.evaluate(Expression('x() + 1', 's'), s, 1);
-        expect(result2).toBe(1);
+    it('should not convert defaults', () => {
+        {
+            const result = e.evaluate(Expression('nil', 's'), s, 1);
+            expect(result).toBe(1);
+        }
+        {
+            // syntax error
+            expect(() => e.evaluate(Expression('exp+++', 's'), undefined, 1)).toThrow();
+        }
+        {
+            // syntax error cached
+            expect(() => e.evaluate(Expression('exp+++', 's'), st)).toThrow();
+        }
+        {
+            // runtime error
+            const result = e.evaluate(Expression('x() + 1', 's'), s, 1);
+            expect(result).toBe(1);
+        }
     });
 });

package/tests/import.ts

@@ -1,9 +1,23 @@
 import { VmFunction } from '@mirascript/mirascript';
 import { Evaluator, Expression, Scope } from '../dist/index.js';
-import { lib } from '@mirascript/mirascript/subtle';
+import { convert, lib } from '@mirascript/mirascript/subtle';
 
-const e = new Evaluator();
-const e2 = new Evaluator();
+const e = new Evaluator({
+    logger: {
+        warn: () => void 0,
+        error: () => void 0,
+        info: () => void 0,
+        debug: () => void 0,
+    },
+});
+const e2 = new Evaluator({
+    logger: {
+        warn: () => void 0,
+        error: () => void 0,
+        info: () => void 0,
+        debug: () => void 0,
+    },
+});
 const s = new Scope(undefined, false);
 
 describe('Import should work correctly', () => {
@@ -11,21 +25,21 @@ describe('Import should work correctly', () => {
         e.import({ add: (x: number, y: number) => x + y });
         expect(e.evaluate(Expression('add(1,2)'), s)).toBe(3);
         expect(e.evaluate(Expression('add::type()'), s)).toBe('extern');
-        expect(e2.evaluate(Expression('add(1,2)'), s)).toBe(undefined);
-        expect(e2.evaluate(Expression('add::type()'), s)).toBe('nil');
+        expect(e2.evaluate(Expression('add(1,2)'), s)).toBe(null);
+        expect(e2.evaluate(Expression('add::type()'), s)).toBe(null);
     });
 
     it('can remove modules', () => {
         e.import({ add: (x: number, y: number) => x + y });
         expect(e.evaluate(Expression('add(1,2)'), s)).toBe(3);
         e.import({ add: undefined });
-        expect(e.evaluate(Expression('add(1,2)'), s)).toBe(undefined);
+        expect(e.evaluate(Expression('add(1,2)'), s)).toBe(null);
     });
 
     it('can replace modules', () => {
         e.import({ add: (x: number, y: number) => x + y });
         expect(e.evaluate(Expression('add::type()'), s)).toBe('extern');
-        e.import({ add: VmFunction((x, y) => lib.to_number(x) + lib.to_number(y)) });
+        e.import({ add: VmFunction((x, y) => convert.toNumber(x, 0) + convert.toNumber(y, 0)) });
         expect(e.evaluate(Expression('add::type()'), s)).toBe('function');
     });
 });

package/tests/main.ts

@@ -0,0 +1,58 @@
+import { Evaluator } from '../dist/main.js';
+
+describe('Evaluator', () => {
+    it('should have logger', () => {
+        expect(new Evaluator().logger).toBeTruthy();
+        expect(new Evaluator(null).logger).toBeTruthy();
+        expect(new Evaluator({}).logger).toBeTruthy();
+    });
+
+    describe('can evaluate choices', () => {
+        const e = new Evaluator();
+
+        it('on logical type', () => {
+            const c0 = e.evaluateChoices({ type: 'logical', value: null as never }, null);
+            expect(c0.length).toBe(2);
+            expect(c0[0].key).toBe(false);
+            expect(c0[1].key).toBe(true);
+
+            const c1 = e.evaluateChoices(
+                {
+                    type: 'logical',
+                    // @ts-expect-error Incomplete choice definition
+                    choices: [{}, { key: true, name: 'Yes' }],
+                    value: null as never,
+                },
+                null,
+            );
+            expect(c1.length).toBe(2);
+            expect(c1[0].key).toBe(false);
+            expect(c1[1].key).toBe(true);
+            expect(c1[0].name).toBe('');
+            expect(c1[1].name).toBe('Yes');
+
+            const c2 = e.evaluateChoices(
+                {
+                    type: 'logical',
+                    // @ts-expect-error Incomplete choice definition
+                    choices: [{ key: 0 }, { key: '1' }, { key: 2 }],
+                    value: null as never,
+                },
+                null,
+            );
+            expect(c2.length).toBe(2);
+            expect(c2[0].key).toBe(0);
+            expect(c2[1].key).toBe(1);
+
+            const c3 = e.evaluateChoices({ type: 'logical', choices: [], value: 0 }, null);
+            expect(c3.length).toBe(2);
+            expect(c3[0].key).toBe(0);
+            expect(c3[1].key).toBe(1);
+
+            const c4 = e.evaluateChoices({ type: 'logical', value: 'x' }, null);
+            expect(c4.length).toBe(2);
+            expect(c4[0].key).toBe('0');
+            expect(c4[1].key).toBe('1');
+        });
+    });
+});