author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Fri, 03 Oct 2014 01:59:10 +0100 | |
changeset 376 | a2656b27cace |
parent 375 | e2b2f08d054e |
child 377 | 6112a403a52d |
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 |
|
193 | 3 |
PPAbstractParserTest subclass:#PPScriptingTest |
0 | 4 |
instanceVariableNames:'' |
5 |
classVariableNames:'' |
|
6 |
poolDictionaries:'' |
|
7 |
category:'PetitTests-Tests' |
|
8 |
! |
|
9 |
||
20 | 10 |
PPScriptingTest comment:'These are some simple demo-scripts of parser combinators for the compiler construction course. http://www.iam.unibe.ch/~scg/Teaching/CC/index.html' |
0 | 11 |
! |
12 |
||
13 |
||
14 |
!PPScriptingTest methodsFor:'examples'! |
|
15 |
||
16 |
expressionInterpreter |
|
20 | 17 |
"Same as #expressionInterpreter but with semantic actions." |
18 |
||
19 |
| mul prim add dec | |
|
20 |
add := PPUnresolvedParser new. |
|
21 |
mul := PPUnresolvedParser new. |
|
22 |
prim := PPUnresolvedParser new. |
|
193 | 23 |
dec := ($0 to: $9) asParser ==> [ :token | token codePoint - $0 codePoint ]. |
20 | 24 |
add def: ((mul , $+ asParser , add) ==> [ :nodes | (nodes at: 1) + (nodes at: 3) ]) |
25 |
/ mul. |
|
26 |
mul def: ((prim , $* asParser , mul) ==> [ :nodes | (nodes at: 1) * (nodes at: 3) ]) |
|
27 |
/ prim. |
|
28 |
prim def: (($( asParser , add , $) asParser) ==> [ :nodes | nodes at: 2 ]) |
|
29 |
/ dec. |
|
30 |
^ add end |
|
0 | 31 |
! |
32 |
||
33 |
expressionParser |
|
20 | 34 |
"Simple demo of scripting an expression parser." |
35 |
||
36 |
| mul prim add dec | |
|
37 |
add := PPUnresolvedParser new. |
|
38 |
mul := PPUnresolvedParser new. |
|
39 |
prim := PPUnresolvedParser new. |
|
193 | 40 |
dec := ($0 to: $9) asParser. |
20 | 41 |
add def: (mul , $+ asParser , add) |
42 |
/ mul. |
|
43 |
mul def: (prim , $* asParser , mul) |
|
44 |
/ prim. |
|
45 |
prim def: ($( asParser , add , $) asParser) |
|
46 |
/ dec. |
|
47 |
^ add end |
|
0 | 48 |
! |
49 |
||
50 |
straightLineParser |
|
20 | 51 |
| goal stm stmList id char dec exp expList mulExp primExp nonzero num lower upper | |
52 |
goal := PPUnresolvedParser new. |
|
53 |
stmList := PPUnresolvedParser new. |
|
54 |
stm := PPUnresolvedParser new. |
|
55 |
exp := PPUnresolvedParser new. |
|
56 |
expList := PPUnresolvedParser new. |
|
57 |
mulExp := PPUnresolvedParser new. |
|
58 |
primExp := PPUnresolvedParser new. |
|
59 |
||
193 | 60 |
lower := ($a to: $z) asParser. |
61 |
upper := ($A to: $Z) asParser. |
|
20 | 62 |
char := lower / upper. |
193 | 63 |
nonzero := ($1 to: $9) asParser. |
64 |
dec := ($0 to: $9) asParser. |
|
20 | 65 |
id := char, ( char / dec ) star. |
66 |
num := $0 asParser / ( nonzero, dec star). |
|
0 | 67 |
|
20 | 68 |
goal def: stmList end. |
69 |
stmList def: stm , ( $; asParser, stm ) star. |
|
70 |
stm def: ( id, ':=' asParser, exp ) |
|
71 |
/ ( 'print' asParser, $( asParser, expList, $) asParser ). |
|
72 |
exp def: mulExp, ( ( $+ asParser / $- asParser ), mulExp ) star. |
|
73 |
expList def: exp, ( $, asParser, exp ) star. |
|
74 |
mulExp def: primExp, ( ( $* asParser / $/ asParser ), primExp ) star. |
|
75 |
primExp def: id |
|
76 |
/ num |
|
77 |
/ ( $( asParser, stmList, $, asParser, exp, $) asParser ). |
|
78 |
^ goal |
|
0 | 79 |
! ! |
80 |
||
81 |
!PPScriptingTest methodsFor:'tests'! |
|
82 |
||
83 |
testExpressionInterpreter |
|
20 | 84 |
self |
0 | 85 |
assert: self expressionInterpreter |
86 |
parse: '2*(3+4)' |
|
87 |
to: 14 |
|
88 |
! |
|
89 |
||
90 |
testExpressionParser |
|
91 |
self |
|
92 |
assert: self expressionParser |
|
93 |
parse: '2*(3+4)' |
|
94 |
to: #($2 $* ($( ($3 $+ $4) $))) |
|
95 |
! |
|
96 |
||
97 |
testSLassign |
|
20 | 98 |
|
0 | 99 |
self assert: self straightLineParser |
100 |
parse: 'abc:=1' |
|
101 |
to: #(#($a #($b $c) ':=' #(#(#($1 #()) #()) #())) #()) |
|
102 |
! |
|
103 |
||
104 |
testSLprint |
|
20 | 105 |
self |
0 | 106 |
assert: self straightLineParser |
107 |
parse: 'print(3,4)' |
|
108 |
to: #(('print' $( ((($3 ()) ()) () (($, ((($4 ()) ()) ())))) $)) ()) |
|
109 |
! ! |
|
110 |
||
111 |
!PPScriptingTest class methodsFor:'documentation'! |
|
112 |
||
20 | 113 |
version |
193 | 114 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPScriptingTest.st,v 1.4 2014-03-04 14:34:23 cg Exp $' |
20 | 115 |
! |
116 |
||
117 |
version_CVS |
|
193 | 118 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPScriptingTest.st,v 1.4 2014-03-04 14:34:23 cg Exp $' |
20 | 119 |
! |
120 |
||
0 | 121 |
version_SVN |
193 | 122 |
^ '$Id: PPScriptingTest.st,v 1.4 2014-03-04 14:34:23 cg Exp $' |
0 | 123 |
! ! |
193 | 124 |