author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Tue, 05 May 2015 16:25:23 +0200 | |
changeset 451 | 989570319d14 |
parent 389 | 009c2e13973c |
child 454 | a9cd5ea7cc36 |
permissions | -rw-r--r-- |
387
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1 |
"{ Package: 'stx:goodies/petitparser/islands/tests' }" |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
2 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
3 |
TestCase subclass:#FirstFollowNextTests |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
4 |
instanceVariableNames:'' |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
5 |
classVariableNames:'' |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
6 |
poolDictionaries:'' |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
7 |
category:'PetitIslands-Tests' |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
8 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
9 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
10 |
!FirstFollowNextTests methodsFor:'support'! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
11 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
12 |
assert: set allMatches: string |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
13 |
self assert: (set allSatisfy: [:e | e end matches: string]) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
14 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
15 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
16 |
assert: set allSatisfy: aBlock |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
17 |
self assert: (set allSatisfy: aBlock) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
18 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
19 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
20 |
assert: set anyMatches: string |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
21 |
self assert: (set anySatisfy: [:e | e end matches: string]) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
22 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
23 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
24 |
assert: set anySatisfy: aBlock |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
25 |
self assert: (set anySatisfy: aBlock) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
26 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
27 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
28 |
assert: set noneMatches: string |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
29 |
self assert: (set noneSatisfy: [:e | e end matches: string]) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
30 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
31 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
32 |
assert: set noneSatisfy: aBlock |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
33 |
self assert: (set noneSatisfy: aBlock) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
34 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
35 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
36 |
assert: set size: anInteger |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
37 |
self assert: (set size = anInteger ) |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
38 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
39 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
40 |
first: aParser |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
41 |
^ aParser firstSet |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
42 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
43 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
44 |
first: aParser terminalPredicate: predicate |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
45 |
^ aParser firstSetPredicate: predicate |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
46 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
47 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
48 |
follow: aParser in: rootParser |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
49 |
^ rootParser followSets at: aParser |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
50 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
51 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
52 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
53 |
identifier |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
54 |
^ ((#letter asParser / $# asParser), (#letter asParser / #digit asParser) star) flatten |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
55 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
56 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
57 |
next: aParser in: rootParser |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
58 |
^ rootParser nextSets at: aParser |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
59 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
60 |
! ! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
61 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
62 |
!FirstFollowNextTests methodsFor:'test first'! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
63 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
64 |
testFirst1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
65 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
66 |
p := nil asParser / 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
67 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
68 |
self assert: (self first: p) anyMatches: ''. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
69 |
self assert: (self first: p) anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
70 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
71 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
72 |
testFirst2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
73 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
74 |
p := 'a' asParser optional, 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
75 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
76 |
self assert: (self first: p) anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
77 |
self assert: (self first: p) anyMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
78 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
79 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
80 |
testFirst3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
81 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
82 |
p := ('a' asParser optional, 'b' asParser asParser optional), 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
83 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
84 |
self assert: (self first: p) anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
85 |
self assert: (self first: p) anyMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
86 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
87 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
88 |
testFirst4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
89 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
90 |
p := ('a' asParser plus) optional, 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
91 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
92 |
self assert: (self first: p) anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
93 |
self assert: (self first: p) anyMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
94 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
95 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
96 |
testFirstChoice1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
97 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
98 |
p := nil asParser / '' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
99 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
100 |
self assert: (self first: p) anySatisfy: [:e | e matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
101 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
102 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
103 |
testFirstChoice2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
104 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
105 |
p := 'a' asParser / nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
106 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
107 |
first := (self first: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
108 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
109 |
self assert: first anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
110 |
self assert: first anySatisfy: [:e | e matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
111 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
112 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
113 |
testFirstChoice3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
114 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
115 |
p := 'a' asParser / nil asParser / 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
116 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
117 |
first := (self first: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
118 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
119 |
self assert: first anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
120 |
self assert: first anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
121 |
self assert: first anySatisfy: [:e | e matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
122 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
123 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
124 |
testFirstComplex1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
125 |
| p first root | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
126 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
127 |
p := 'a' asParser / nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
128 |
root := p, 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
129 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
130 |
first := (self first: root). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
131 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
132 |
self assert: first size: 2. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
133 |
self assert: first anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
134 |
self assert: first anySatisfy: [:e | e matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
135 |
self assert: first noneSatisfy: [:e | e matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
136 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
137 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
138 |
testFirstComplex2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
139 |
| p first root | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
140 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
141 |
p := 'a' asParser / nil asParser / 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
142 |
root := p, 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
143 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
144 |
first := (self first: root). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
145 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
146 |
self assert: first size: 3. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
147 |
self assert: first anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
148 |
self assert: first anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
149 |
self assert: first anySatisfy: [:e | e matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
150 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
151 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
152 |
testFirstComplex3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
153 |
| p first root | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
154 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
155 |
p := 'a' asParser / nil asParser / 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
156 |
root := p, 'c' asParser not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
157 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
158 |
first := (self first: root). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
159 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
160 |
self assert: first anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
161 |
self assert: first anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
162 |
self assert: first anySatisfy: [:e | e matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
163 |
self assert: first noneSatisfy: [:e | e end matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
164 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
165 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
166 |
testFirstComplex4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
167 |
| p first root | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
168 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
169 |
p := 'a' asParser / nil asParser / 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
170 |
root := (p, 'c' asParser not) wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
171 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
172 |
first := (self first: root). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
173 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
174 |
self assert: first anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
175 |
self assert: first anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
176 |
self assert: first anySatisfy: [:e | e matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
177 |
self assert: first noneSatisfy: [:e | e end matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
178 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
179 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
180 |
testFirstNegate1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
181 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
182 |
p := 'a' asParser negate, 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
183 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
184 |
self assert: (p parse: 'bb') isPetitFailure not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
185 |
self assert: (p parse: 'cb') isPetitFailure not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
186 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
187 |
self assert: (self first: p) noneSatisfy: [:each | each matches: 'a' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
188 |
self assert: (self first: p) anySatisfy: [:each | each matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
189 |
self assert: (self first: p) anySatisfy: [:each | each matches: 'c' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
190 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
191 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
192 |
testFirstNot |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
193 |
| p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
194 |
p := 'a' asParser not, 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
195 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
196 |
self assert: (p parse: 'b') isPetitFailure not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
197 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
198 |
self assert: (self first: p) noneSatisfy: [:each | each matches: 'a' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
199 |
self assert: (self first: p) anySatisfy: [:each | each matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
200 |
self assert: (self first: p) anySatisfy: [:each | each matches: 'c' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
201 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
202 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
203 |
testFirstOptional |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
204 |
| p first result | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
205 |
p := 'a' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
206 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
207 |
result := (self first: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
208 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
209 |
self assert: result anySatisfy: [:e | e matches: '' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
210 |
self assert: result anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
211 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
212 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
213 |
testFirstRepeat1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
214 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
215 |
p := ('a' asParser / nil asParser) plus. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
216 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
217 |
first := self first: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
218 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
219 |
self assert: first anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
220 |
self assert: first anyMatches: ''. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
221 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
222 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
223 |
testFirstSequence1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
224 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
225 |
p := 'a' asParser, 'b' asParser . |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
226 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
227 |
first := self first: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
228 |
self assert: first size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
229 |
self assert: first allMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
230 |
self assert: first noneMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
231 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
232 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
233 |
testFirstSequence2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
234 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
235 |
p := nil asParser, 'a' asParser, 'b' asParser . |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
236 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
237 |
first := self first: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
238 |
self assert: first size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
239 |
self assert: first allMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
240 |
self assert: first noneMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
241 |
self assert: first noneMatches: ''. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
242 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
243 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
244 |
testFirstSequence3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
245 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
246 |
p := nil asParser, nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
247 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
248 |
self assert: (self first: p) anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
249 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
250 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
251 |
testFirstSequence4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
252 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
253 |
p := ((nil asParser / 'a' asParser) plus), 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
254 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
255 |
first := self first: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
256 |
self assert: first anyMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
257 |
self assert: first anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
258 |
self assert: first noneMatches: ''. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
259 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
260 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
261 |
testFirstSequence5 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
262 |
| p first | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
263 |
p := ((nil asParser / 'a' asParser) star), 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
264 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
265 |
first := self first: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
266 |
self assert: first anyMatches: 'b'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
267 |
self assert: first anyMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
268 |
self assert: first noneMatches: ''. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
269 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
270 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
271 |
testFirstTerminal2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
272 |
| p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
273 |
p := 'a' asParser not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
274 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
275 |
self assert: (self first: p) noneMatches: 'a'. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
276 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
277 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
278 |
testFirstTerminal3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
279 |
| p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
280 |
p := 'a' asParser and. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
281 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
282 |
self assert: (self first: p) anyMatches: 'a' |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
283 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
284 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
285 |
testFirstTerminal4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
286 |
| p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
287 |
p := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
288 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
289 |
self assert: (self first: p) anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
290 |
! ! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
291 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
292 |
!FirstFollowNextTests methodsFor:'test follow'! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
293 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
294 |
testFollowNot1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
295 |
| p followSet terminal | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
296 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
297 |
terminal := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
298 |
p := terminal, 'b' asParser not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
299 |
followSet := self follow: terminal in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
300 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
301 |
self assert: followSet anySatisfy: [:e | e matches: 'c' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
302 |
self assert: followSet anySatisfy: [:e | (e matches: 'b') not ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
303 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
304 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
305 |
testFollowSet1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
306 |
| result p root followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
307 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
308 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
309 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
310 |
root := (p star, 'b' asParser). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
311 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
312 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
313 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
314 |
self assert: followSet anySatisfy: [:e | e literal = 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
315 |
self assert: followSet anySatisfy: [:e | e literal = 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
316 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
317 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
318 |
testFollowSet10 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
319 |
| island1 followSet p root island2 block | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
320 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
321 |
island1 := ('class' asParser, self identifier) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
322 |
island2 := ('extends' asParser, self identifier) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
323 |
block := '{}' asParser island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
324 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
325 |
root := (island1, island2 optional, block) star. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
326 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
327 |
followSet := self follow: block in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
328 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
329 |
self assert: followSet anySatisfy: [:e | e end matches: 'class']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
330 |
self assert: followSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
331 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
332 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
333 |
testFollowSet11 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
334 |
| island1 followSet p root island2 block | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
335 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
336 |
island1 := ('class' asParser, self identifier) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
337 |
island2 := ('extends' asParser, self identifier) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
338 |
block := '{}' asParser island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
339 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
340 |
root := (island1, island2 optional, block) plus. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
341 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
342 |
followSet := self follow: block in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
343 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
344 |
self assert: followSet anySatisfy: [:e | e end matches: 'class']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
345 |
self assert: followSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
346 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
347 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
348 |
testFollowSet12 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
349 |
| parser followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
350 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
351 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
352 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
353 |
parser := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
354 |
followSet := self follow: parser in: parser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
355 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
356 |
self assert: followSet anySatisfy: [:e | e end matches: '' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
357 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
358 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
359 |
testFollowSet13 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
360 |
| parser followSet a b c | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
361 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
362 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
363 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
364 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
365 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
366 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
367 |
parser := a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
368 |
followSet := self follow: c in: parser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
369 |
self assert: followSet anySatisfy: [:e | e end matches: '' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
370 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
371 |
followSet := self follow: b in: parser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
372 |
self assert: followSet anySatisfy: [:e | e end matches: 'c' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
373 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
374 |
followSet := self follow: a in: parser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
375 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
376 |
self assert: followSet anySatisfy: [:e | e end matches: 'c' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
377 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
378 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
379 |
testFollowSet14 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
380 |
| parser followSet a b c | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
381 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
382 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
383 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
384 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
385 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
386 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
387 |
parser := a plus, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
388 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
389 |
followSet := self follow: a in: parser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
390 |
self assert: followSet anySatisfy: [:e | e end matches: 'a' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
391 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
392 |
self assert: followSet anySatisfy: [:e | e end matches: 'c' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
393 |
self assert: followSet noneSatisfy: [:e | e end matches: '' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
394 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
395 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
396 |
testFollowSet2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
397 |
| result p follow root followSets followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
398 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
399 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
400 |
follow := 'b' asParser, 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
401 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
402 |
root := (p, follow). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
403 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
404 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
405 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
406 |
self assert: followSet size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
407 |
self assert: followSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
408 |
self assert: followSet noneSatisfy: [:e | e matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
409 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
410 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
411 |
testFollowSet3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
412 |
| result p follow root followSets followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
413 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
414 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
415 |
follow := ('b' asParser, 'c' asParser) / ('d' asParser). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
416 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
417 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
418 |
root := (p, follow). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
419 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
420 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
421 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
422 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
423 |
self assert: followSet anySatisfy: [:e | e end matches: 'd' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
424 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
425 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
426 |
testFollowSet4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
427 |
| result p follow root followSets followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
428 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
429 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
430 |
follow := ('b' asParser, 'c' asParser). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
431 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
432 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
433 |
root := (p star, follow). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
434 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
435 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
436 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
437 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
438 |
self assert: followSet anySatisfy: [:e | e end matches: 'a' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
439 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
440 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
441 |
testFollowSet5 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
442 |
| result p root followSets followSet follow1 follow2 | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
443 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
444 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
445 |
follow1 := ('b' asParser, 'c' asParser) / nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
446 |
follow2 := 'd' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
447 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
448 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
449 |
root := (p, follow1, follow2). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
450 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
451 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
452 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
453 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
454 |
self assert: followSet anySatisfy: [:e | e end matches: 'd' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
455 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
456 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
457 |
testFollowSet6 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
458 |
| result p root followSets followSet follow follow1 follow2 | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
459 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
460 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
461 |
follow1 := ('b' asParser, 'c' asParser) / nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
462 |
follow2 := 'd' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
463 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
464 |
follow := (follow1, follow2). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
465 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
466 |
root := (p, follow). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
467 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
468 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
469 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
470 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
471 |
self assert: followSet anySatisfy: [:e | e end matches: 'd' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
472 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
473 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
474 |
testFollowSet7 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
475 |
| result p root followSets followSet r1 r2 follow1 follow2 | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
476 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
477 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
478 |
follow1 := ('b' asParser, 'c' asParser) / nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
479 |
follow2 := 'd' asParser / nil asParser . |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
480 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
481 |
r1 := (p, follow1). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
482 |
r2 := (r1, follow2). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
483 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
484 |
root := r2. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
485 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
486 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
487 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
488 |
self assert: followSet anySatisfy: [:e | e end matches: 'b' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
489 |
self assert: followSet anySatisfy: [:e | e end matches: 'd' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
490 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
491 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
492 |
testFollowSet8 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
493 |
| result p root followSets followSet follow | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
494 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
495 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
496 |
follow := PPInputEnds new. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
497 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
498 |
root := p, follow. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
499 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
500 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
501 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
502 |
self assert: followSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
503 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
504 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
505 |
testFollowSet9 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
506 |
| island1 followSet p root island2 block | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
507 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
508 |
island1 := ('class' asParser, self identifier) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
509 |
island2 := (':' asParser, self identifier) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
510 |
block := '{' asParser, '}' asParser island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
511 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
512 |
root := (island1, island2 optional, block) island. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
513 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
514 |
followSet := self follow: island1 in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
515 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
516 |
self assert: followSet anySatisfy: [:e | e end matches: '{']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
517 |
self assert: followSet anySatisfy: [:e | e end matches: ':']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
518 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
519 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
520 |
testFollowSetChoice1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
521 |
| result p root followSets followSet follow | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
522 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
523 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
524 |
follow := 'b' asParser / 'c' asParser . |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
525 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
526 |
root := p, follow. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
527 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
528 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
529 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
530 |
self assert: followSet anySatisfy: [:e | (e parse: 'b') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
531 |
self assert: followSet anySatisfy: [:e | (e parse: 'c') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
532 |
self assert: followSet noneSatisfy: [:e | (e parse: 'a') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
533 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
534 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
535 |
testFollowSetChoice2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
536 |
| result p root followSet follow b c | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
537 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
538 |
follow := 'a' asParser / 'd' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
539 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
540 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
541 |
p := b / c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
542 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
543 |
root := p, follow. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
544 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
545 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
546 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
547 |
self assert: followSet anySatisfy: [:e | (e parse: 'a') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
548 |
self assert: followSet anySatisfy: [:e | (e parse: 'd') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
549 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
550 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
551 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
552 |
self assert: followSet anySatisfy: [:e | (e parse: 'a') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
553 |
self assert: followSet noneSatisfy: [:e | (e parse: 'c') isPetitFailure not]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
554 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
555 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
556 |
testFollowSetOptional1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
557 |
| result p root followSets followSet follow follow1 follow2 | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
558 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
559 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
560 |
follow1 := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
561 |
follow2 := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
562 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
563 |
root := p, follow1, follow2. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
564 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
565 |
followSet := self follow: p in: root. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
566 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
567 |
self assert: followSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
568 |
self assert: followSet anySatisfy: [:e | e end matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
569 |
self assert: followSet noneSatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
570 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
571 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
572 |
testFollowSetRepeat1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
573 |
| p followSet terminal | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
574 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
575 |
terminal := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
576 |
p := terminal plus. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
577 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
578 |
followSet := self follow: terminal in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
579 |
self assert: followSet anySatisfy: [:e | e end matches: 'a' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
580 |
self assert: followSet anySatisfy: [:e | e end matches: '' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
581 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
582 |
followSet := self follow: p in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
583 |
self assert: followSet anySatisfy: [:e | e end matches: '' ]. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
584 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
585 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
586 |
testFollowSetStar1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
587 |
| a b p followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
588 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
589 |
a := 'a' asParser star. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
590 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
591 |
p := a, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
592 |
followSet := self follow: a in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
593 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
594 |
self assert: followSet size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
595 |
self assert: followSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
596 |
self assert: followSet noneSatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
597 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
598 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
599 |
testFollowSetStar3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
600 |
| a b p followSet n | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
601 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
602 |
a := 'a' asParser star. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
603 |
p := a. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
604 |
followSet := self follow: a in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
605 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
606 |
self assert: followSet noneSatisfy: [:e | e end matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
607 |
self assert: followSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
608 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
609 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
610 |
testFollowSetStar4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
611 |
| a b p followSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
612 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
613 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
614 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
615 |
p := a star, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
616 |
followSet := self follow: a in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
617 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
618 |
self assert: followSet size: 2. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
619 |
self assert: followSet anySatisfy: [:e | e end matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
620 |
self assert: followSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
621 |
self assert: followSet noneSatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
622 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
623 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
624 |
testFollowSetStar5 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
625 |
| a b p followSet n | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
626 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
627 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
628 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
629 |
n := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
630 |
p := a star, (b / n). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
631 |
followSet := self follow: a in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
632 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
633 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
634 |
self assert: followSet anySatisfy: [:e | e end matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
635 |
self assert: followSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
636 |
self assert: followSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
637 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
638 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
639 |
testFollowSetStar6 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
640 |
| a b p followSet n | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
641 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
642 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
643 |
p := a star. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
644 |
followSet := self follow: a in: p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
645 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
646 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
647 |
self assert: followSet anySatisfy: [:e | e end matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
648 |
self assert: followSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
649 |
! ! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
650 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
651 |
!FirstFollowNextTests methodsFor:'test isNullable'! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
652 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
653 |
testIsNullable01 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
654 |
self assert: 'a' asParser acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
655 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
656 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
657 |
testIsNullable02 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
658 |
self assert: 'a' asParser wrapped acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
659 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
660 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
661 |
testIsNullable03 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
662 |
self assert: nil asParser acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
663 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
664 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
665 |
testIsNullable04 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
666 |
self assert: nil asParser wrapped acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
667 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
668 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
669 |
testIsNullable05 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
670 |
self assert: 'a' asParser not acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
671 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
672 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
673 |
testIsNullable06 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
674 |
self assert: 'a' asParser and acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
675 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
676 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
677 |
testIsNullable07 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
678 |
self assert: 'a' asParser wrapped not acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
679 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
680 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
681 |
testIsNullable08 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
682 |
self assert: 'a' asParser wrapped and acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
683 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
684 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
685 |
testIsNullable09 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
686 |
self assert: 'a' asParser optional acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
687 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
688 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
689 |
testIsNullable10 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
690 |
self assert: 'a' asParser wrapped optional acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
691 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
692 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
693 |
testIsNullable11 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
694 |
self assert: 'a' asParser wrapped not optional acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
695 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
696 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
697 |
testIsNullable12 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
698 |
self assert: 'a' asParser optional wrapped acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
699 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
700 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
701 |
testIsNullableChoice1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
702 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
703 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
704 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
705 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
706 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
707 |
p := a / b / c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
708 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
709 |
self assert: p acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
710 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
711 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
712 |
testIsNullableChoice2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
713 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
714 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
715 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
716 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
717 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
718 |
p := a / b / c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
719 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
720 |
self assert: p acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
721 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
722 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
723 |
testIsNullableChoice3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
724 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
725 |
a := 'a' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
726 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
727 |
c := 'c' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
728 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
729 |
p := a / b / c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
730 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
731 |
self assert: p acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
732 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
733 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
734 |
testIsNullableChoice4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
735 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
736 |
a := 'a' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
737 |
b := 'b' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
738 |
c := 'c' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
739 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
740 |
p := a / b / c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
741 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
742 |
self assert: p acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
743 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
744 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
745 |
testIsNullableCycle1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
746 |
| a p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
747 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
748 |
p := PPDelegateParser new. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
749 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
750 |
p setParser: a / p. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
751 |
self assert: p acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
752 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
753 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
754 |
testIsNullableCycle2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
755 |
| a p e | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
756 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
757 |
e := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
758 |
p := PPDelegateParser new. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
759 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
760 |
p setParser: (a, p) / e. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
761 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
762 |
self assert: p acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
763 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
764 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
765 |
testIsNullableCycle3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
766 |
| a p e | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
767 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
768 |
e := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
769 |
p := PPDelegateParser new. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
770 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
771 |
p setParser: (a, p), e. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
772 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
773 |
self assert: p acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
774 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
775 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
776 |
testIsNullableSeq1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
777 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
778 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
779 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
780 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
781 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
782 |
p := a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
783 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
784 |
self assert: p acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
785 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
786 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
787 |
testIsNullableSeq2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
788 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
789 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
790 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
791 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
792 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
793 |
p := a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
794 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
795 |
self assert: p acceptsEpsilon not. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
796 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
797 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
798 |
testIsNullableSeq3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
799 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
800 |
a := 'a' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
801 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
802 |
c := 'c' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
803 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
804 |
p := a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
805 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
806 |
self assert: p acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
807 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
808 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
809 |
testIsNullableSeq4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
810 |
| a b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
811 |
a := 'a' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
812 |
b := 'b' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
813 |
c := 'c' asParser wrapped optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
814 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
815 |
p := a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
816 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
817 |
self assert: p acceptsEpsilon. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
818 |
! ! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
819 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
820 |
!FirstFollowNextTests methodsFor:'test next'! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
821 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
822 |
testNext1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
823 |
| p nextSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
824 |
p := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
825 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
826 |
nextSet := (self next: p in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
827 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
828 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
829 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
830 |
testNext2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
831 |
| p nextSet a b | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
832 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
833 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
834 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
835 |
p := a, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
836 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
837 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
838 |
self assert: nextSet size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
839 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
840 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
841 |
nextSet := (self next: b in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
842 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
843 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
844 |
nextSet := (self next: p in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
845 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
846 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
847 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
848 |
testNext3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
849 |
| p nextSet a b | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
850 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
851 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
852 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
853 |
p := a / b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
854 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
855 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
856 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
857 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
858 |
nextSet := (self next: b in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
859 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
860 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
861 |
nextSet := (self next: p in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
862 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
863 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
864 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
865 |
testNext4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
866 |
| p nextSet a b n | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
867 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
868 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
869 |
n := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
870 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
871 |
p := a, n, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
872 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
873 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
874 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
875 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
876 |
nextSet := (self next: n in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
877 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
878 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
879 |
nextSet := (self next: b in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
880 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
881 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
882 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
883 |
testNext5 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
884 |
| p nextSet a b n a1 a2 | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
885 |
a1 := 'a1' asParser wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
886 |
a2 := 'a2' asParser wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
887 |
a := (a1 asParser, a2 asParser) wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
888 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
889 |
n := 'n' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
890 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
891 |
p := a, n, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
892 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
893 |
nextSet := (self next: a1 in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
894 |
self assert: nextSet anySatisfy: [:e | e end matches: 'a2']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
895 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
896 |
nextSet := (self next: a2 in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
897 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
898 |
"Might be test to match nb -- not sure, what is better" |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
899 |
self assert: nextSet anySatisfy: [:e | e end matches: 'n']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
900 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
901 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
902 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
903 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
904 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
905 |
"Might be test to match nb -- not sure, what is better" |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
906 |
self assert: nextSet anySatisfy: [:e | e end matches: 'n']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
907 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
908 |
nextSet := (self next: n in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
909 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
910 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
911 |
nextSet := (self next: b in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
912 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
913 |
self assert: nextSet noneSatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
914 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
915 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
916 |
testNext6 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
917 |
| p nextSet a b n a1 a2 | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
918 |
a1 := 'a1' asParser wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
919 |
a2 := 'a2' asParser wrapped / nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
920 |
a := (a1 asParser, a2 asParser) wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
921 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
922 |
n := 'nil' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
923 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
924 |
p := a, n, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
925 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
926 |
nextSet := (self next: a1 in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
927 |
self assert: nextSet anySatisfy: [:e | e matches: 'a2']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
928 |
self assert: nextSet anySatisfy: [:e | e matches: 'nilb']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
929 |
self assert: nextSet anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
930 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
931 |
nextSet := (self next: a2 in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
932 |
self assert: nextSet anySatisfy: [:e | e matches: 'nilb']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
933 |
self assert: nextSet anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
934 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
935 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
936 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
937 |
self assert: nextSet anySatisfy: [:e | e matches: 'nilb']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
938 |
self assert: nextSet anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
939 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
940 |
nextSet := (self next: n in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
941 |
self assert: nextSet anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
942 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
943 |
nextSet := (self next: b in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
944 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
945 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
946 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
947 |
testNext7 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
948 |
| p nextSet a b n c | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
949 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
950 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
951 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
952 |
n := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
953 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
954 |
p := a, b, a, n, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
955 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
956 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
957 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
958 |
self assert: nextSet anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
959 |
self assert: nextSet anySatisfy: [:e | e matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
960 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
961 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
962 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
963 |
testNext8 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
964 |
| p nextSet a b n c | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
965 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
966 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
967 |
c := 'c' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
968 |
n := nil asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
969 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
970 |
p := a, n, a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
971 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
972 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
973 |
self assert: nextSet anySatisfy: [:e | e matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
974 |
self assert: nextSet anySatisfy: [:e | e matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
975 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
976 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
977 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
978 |
testNext9 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
979 |
| a nextSet | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
980 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
981 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
982 |
nextSet := (self next: a in: a). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
983 |
self assert: nextSet anySatisfy: [:e | e end matches: '']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
984 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
985 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
986 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
987 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
988 |
testNextDelegate1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
989 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
990 |
| a nextSet b c p | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
991 |
a := 'a' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
992 |
b := 'b' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
993 |
c := 'c' asParser optional wrapped. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
994 |
p := a, b, c. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
995 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
996 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
997 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
998 |
self assert: nextSet anySatisfy: [:e | e end matches: 'c']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
999 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1000 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1001 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1002 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1003 |
testNextRepeat1 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1004 |
| p nextSet a b n c | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1005 |
a := 'a' asParser star. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1006 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1007 |
nextSet := (self next: a in: a). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1008 |
self assert: nextSet size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1009 |
self assert: nextSet anySatisfy: [:e | e end matches: ''] |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1010 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1011 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1012 |
testNextRepeat2 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1013 |
| p nextSet a b astar | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1014 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1015 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1016 |
astar := a star. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1017 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1018 |
p := astar, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1019 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1020 |
nextSet := (self next: astar in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1021 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1022 |
self assert: nextSet size: 1. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1023 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1024 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1025 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1026 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1027 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1028 |
testNextRepeat3 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1029 |
| p nextSet a b astar | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1030 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1031 |
b := 'b' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1032 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1033 |
p := a star, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1034 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1035 |
nextSet := (self next: a in: p). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1036 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1037 |
self assert: nextSet size: 2. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1038 |
self assert: nextSet anySatisfy: [:e | e end matches: 'b']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1039 |
self assert: nextSet anySatisfy: [:e | e end matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1040 |
! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1041 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1042 |
testNextRepeat4 |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1043 |
| a nextSet b p root | |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1044 |
a := 'a' asParser. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1045 |
b := 'b' asParser optional. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1046 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1047 |
p := a, b. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1048 |
root := p plus. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1049 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1050 |
nextSet := (self next: a in: root). |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1051 |
self assert: nextSet anySatisfy: [:e | e end matches: 'a']. |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1052 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1053 |
|
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1054 |
! ! |
e2b2ccaa4de6
Commited a island parser support (MC package PetitIslands)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1055 |