author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Fri, 03 Oct 2014 02:33:08 +0100 | |
changeset 377 | 6112a403a52d |
parent 376 | a2656b27cace |
child 454 | a9cd5ea7cc36 |
permissions | -rw-r--r-- |
376
a2656b27cace
Added monticelloName to package definition to ease export to .mcz
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
375
diff
changeset
|
1 |
"{ Package: 'stx:goodies/petitparser/tests' }" |
0 | 2 |
|
3 |
PPCompositeParserTest subclass:#PPLambdaParserTest |
|
4 |
instanceVariableNames:'' |
|
5 |
classVariableNames:'' |
|
6 |
poolDictionaries:'' |
|
7 |
category:'PetitTests-Tests' |
|
8 |
! |
|
9 |
||
10 |
||
11 |
!PPLambdaParserTest methodsFor:'accessing'! |
|
12 |
||
13 |
parserClass |
|
14 |
^ PPLambdaParser |
|
15 |
! ! |
|
16 |
||
17 |
!PPLambdaParserTest methodsFor:'testing'! |
|
18 |
||
19 |
testAbstraction |
|
20 |
self assert: '\x.y' is: #('x' 'y'). |
|
21 |
self assert: '\x.\y.z' is: #('x' ('y' 'z')) |
|
22 |
! |
|
23 |
||
24 |
testApplication |
|
25 |
self assert: '(x x)' is: #('x' 'x'). |
|
26 |
self assert: '(x y)' is: #('x' 'y'). |
|
27 |
self assert: '((x y) z)' is: #(('x' 'y') 'z'). |
|
28 |
self assert: '(x (y z))' is: #('x' ('y' 'z')) |
|
29 |
! |
|
30 |
||
31 |
testVariable |
|
32 |
self assert: 'x' is: 'x'. |
|
33 |
self assert: 'xy' is: 'xy'. |
|
34 |
self assert: 'x12' is: 'x12' |
|
35 |
! ! |
|
36 |
||
37 |
!PPLambdaParserTest methodsFor:'testing-curch'! |
|
38 |
||
39 |
testAnd |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
40 |
self assert: self parserClass and equals: #('p' #('q' #(#('p' 'q') 'p'))) |
0 | 41 |
! |
42 |
||
43 |
testFalse |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
44 |
self assert: self parserClass false equals: #('x' #('y' 'y')) |
0 | 45 |
! |
46 |
||
47 |
testIfThenElse |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
48 |
self assert: self parserClass ifthenelse equals: #('p' 'p') |
0 | 49 |
! |
50 |
||
51 |
testNot |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
52 |
self assert: self parserClass not equals: #('p' #('a' #('b' #(#('p' 'b') 'a')))) |
0 | 53 |
! |
54 |
||
55 |
testOr |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
56 |
self assert: self parserClass or equals: #('p' #('q' #(#('p' 'p') 'q'))) |
0 | 57 |
! |
58 |
||
59 |
testTrue |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
60 |
self assert: self parserClass true equals: #('x' #('y' 'x')) |
0 | 61 |
! ! |
62 |
||
63 |
!PPLambdaParserTest methodsFor:'testing-utilities'! |
|
64 |
||
65 |
testParseOnError |
|
189 | 66 |
| beenHere | |
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
67 |
result := self parserClass parse: '\x.y' onError: [ self fail ]. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
68 |
self assert: result equals: #('x' 'y'). |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
69 |
beenHere := false. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
70 |
result := self parserClass parse: '\x.' onError: [ beenHere := true ]. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
71 |
self assert: beenHere. |
189 | 72 |
beenHere := false. |
73 |
result := self parserClass |
|
74 |
parse: '\x.' |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
75 |
onError: [ :fail | |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
76 |
beenHere := true. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
77 |
fail ]. |
189 | 78 |
self assert: beenHere. |
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
79 |
self assert: (result message includesSubstring: 'separator'). |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
80 |
self assert: (result message includesSubstring: 'expected'). |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
81 |
self assert: result position equals: 3. |
189 | 82 |
beenHere := false. |
83 |
result := self parserClass |
|
84 |
parse: '\x.' |
|
85 |
onError: [ :msg :pos | |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
86 |
self assert: (msg includesSubstring: 'separator'). |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
87 |
self assert: (msg includesSubstring: 'expected'). |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
88 |
self assert: pos equals: 3. |
189 | 89 |
beenHere := true ]. |
90 |
self assert: result. |
|
91 |
self assert: beenHere |
|
0 | 92 |
! |
93 |
||
94 |
testParseStartingAtOnError |
|
95 |
| beenHere | |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
96 |
result := self parserClass parse: 'x' startingAt: #variable onError: [ self fail ]. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
97 |
self assert: result equals: 'x'. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
98 |
beenHere := false. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
99 |
result := self parserClass parse: '\' startingAt: #variable onError: [ beenHere := true ]. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
100 |
self assert: beenHere. |
0 | 101 |
beenHere := false. |
102 |
result := self parserClass |
|
103 |
parse: '\' |
|
104 |
startingAt: #variable |
|
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
105 |
onError: [ :fail | |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
106 |
beenHere := true. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
107 |
fail ]. |
0 | 108 |
self assert: beenHere. |
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
109 |
self assert: result message equals: 'separator expected'. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
110 |
self assert: result position equals: 0. |
0 | 111 |
beenHere := false. |
112 |
result := self parserClass |
|
113 |
parse: '\' |
|
114 |
startingAt: #variable |
|
37 | 115 |
onError: [ :msg :pos | |
377
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
116 |
self assert: msg equals: 'separator expected'. |
6112a403a52d
Updated to latest version from Moose repository.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
376
diff
changeset
|
117 |
self assert: pos equals: 0. |
0 | 118 |
beenHere := true ]. |
119 |
self assert: beenHere |
|
120 |
! |
|
121 |
||
122 |
testProductionAt |
|
123 |
self assert: (parser productionAt: #foo) isNil. |
|
124 |
self assert: (parser productionAt: #foo ifAbsent: [ true ]). |
|
37 | 125 |
|
0 | 126 |
self assert: (parser productionAt: #start) notNil. |
127 |
self assert: (parser productionAt: #start ifAbsent: [ true ]) notNil. |
|
37 | 128 |
|
0 | 129 |
self assert: (parser productionAt: #variable) notNil. |
130 |
self assert: (parser productionAt: #variable ifAbsent: [ true ]) notNil |
|
131 |
! ! |
|
132 |
||
133 |
!PPLambdaParserTest class methodsFor:'documentation'! |
|
134 |
||
37 | 135 |
version |
189 | 136 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPLambdaParserTest.st,v 1.4 2014-03-04 14:34:18 cg Exp $' |
37 | 137 |
! |
138 |
||
139 |
version_CVS |
|
189 | 140 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPLambdaParserTest.st,v 1.4 2014-03-04 14:34:18 cg Exp $' |
37 | 141 |
! |
142 |
||
0 | 143 |
version_SVN |
189 | 144 |
^ '$Id: PPLambdaParserTest.st,v 1.4 2014-03-04 14:34:18 cg Exp $' |
0 | 145 |
! ! |
189 | 146 |