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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
from unittest import TestCase, main
from lark import Token, Tree
class TestPatternMatching(TestCase):
token = Token('A', 'a')
def setUp(self):
pass
def test_matches_with_string(self):
match self.token:
case 'a':
pass
case _:
assert False
def test_matches_with_str_positional_arg(self):
match self.token:
case str('a'):
pass
case _:
assert False
def test_matches_with_token_positional_arg(self):
match self.token:
case Token('a'):
assert False
case Token('A'):
pass
case _:
assert False
def test_matches_with_token_kwarg_type(self):
match self.token:
case Token(type='A'):
pass
case _:
assert False
def test_matches_with_bad_token_type(self):
match self.token:
case Token(type='B'):
assert False
case _:
pass
def test_match_on_tree(self):
tree1 = Tree('a', [Tree(x, y) for x, y in zip('bcd', 'xyz')])
tree2 = Tree('a', [
Tree('b', [Token('T', 'x')]),
Tree('c', [Token('T', 'y')]),
Tree('d', [Tree('z', [Token('T', 'zz'), Tree('zzz', 'zzz')])]),
])
match tree1:
case Tree('X', []):
assert False
case Tree('a', []):
assert False
case Tree(_, 'b'):
assert False
case Tree('X', _):
assert False
tree = Tree('q', [Token('T', 'x')])
match tree:
case Tree('q', [Token('T', 'x')]):
pass
case _:
assert False
tr = Tree('a', [Tree('b', [Token('T', 'a')])])
match tr:
case Tree('a', [Tree('b', [Token('T', 'a')])]):
pass
case _:
assert False
# test nested trees
match tree2:
case Tree('a', [
Tree('b', [Token('T', 'x')]),
Tree('c', [Token('T', 'y')]),
Tree('d', [
Tree('z', [
Token('T', 'zz'),
Tree('zzz', 'zzz')
])
])
]):
pass
case _:
assert False
if __name__ == '__main__':
main()
|
