UNPKG

peasy

Version:

an easy but powerful parser

github.com/chaosim/peasy

chaosim/peasy

73 lines (48 loc) • 2.46 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
{vari, cons, uobject, uarray, Trail, Parser} = require '../logicpeasy' describe 'logicparser', -> orp = unify = null beforeEach -> parser = new Parser parser.trail = new Trail unify = (x, y) -> parser.unify(x,y) orp = (items...) -> parser.orp(items...)() it "should unify 1 1", -> expect( unify(1, 1)).toBe true it "should unify 1 2", -> expect( unify(1, 2)).toBe false it "should unify logicvar", -> expect( unify(vari(), 1)).toBe true it "should sequential unify logicvar", -> expect( ($a=vari()) and unify($a, 1) and unify($a, 2)).toBe false it "should unify logicvar with backtracking", -> expect( ($a = vari()) and orp((-> unify($a, 1) and unify($a, 2)), -> unify($a, 2))).toBe true it "should unify cons 1", -> expect( unify(cons(1, null), cons(1, null))).toBe true it "should unify cons 2", -> expect( unify(cons(vari(), null), cons(1, null))).toBe true it "should unify cons 3", -> expect( ($a = vari()) and unify(cons($a, null), cons(1, null)) and unify($a, 2)).toBe false it "should unify cons 4", -> expect( ($a = vari()) and orp((-> unify(cons($a, null), cons(1, null)) and unify($a, 2)), -> unify($a, 2))).toBe true it "should unify uobject 1", -> expect( unify(uobject({a: 1}), {a:1})).toBe true it "should unify uobject 2", -> expect( unify(uobject({a: 1}), {a:2})).toBe false it "should unify uobject 3", -> expect( unify(uobject({a: vari()}), {a:1})).toBe true it "should unify uobject 4", -> expect( ($a = vari()) and unify(uobject({a: $a}), {a:1}) and unify($a, 2)).toBe false it "should unify uobject 5", -> expect( ($a = vari()) and orp((-> unify(uobject({a: $a}), {a:1}) and unify($a, 2)), -> unify($a, 2))).toBe true it "should unify array, uarray 1", -> expect( unify([], [])).toBe false it "should unify array, uarray 2", -> expect( unify(uarray([]), [])).toBe true it "should unify array, uarray 3", -> expect( unify(uarray([vari()]), [])).toBe false it "should unify array, uarray 4", -> expect( unify(uarray([vari()]), [1])).toBe true it "should unify array, uarray 5", -> expect( ($a = vari()) and unify(uarray([$a]), [1]) and unify($a, 2)).toBe false it "should unify array, uarray 6", -> expect( ($a = vari()) and orp((-> unify(uarray([$a]), [1]) and unify($a, 2)), -> unify($a, 2))).toBe true