author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Fri, 03 Oct 2014 03:11:33 +0100 | |
changeset 379 | 451b5ae38b72 |
parent 377 | 6112a403a52d |
child 380 | 8fe3cb4e607f |
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 |
|
379 | 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. |
|
23 |
dec := ($0 to: $9) asParser ==> [ :token | token codePoint - $0 codePoint ]. |
|
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 |
|
31 |
||
32 |
"Modified: / 03-10-2014 / 02:54:06 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
0 | 33 |
! |
34 |
||
35 |
expressionParser |
|
379 | 36 |
"Simple demo of scripting an expression parser." |
37 |
||
38 |
| mul prim add dec | |
|
39 |
add := PPUnresolvedParser new. |
|
40 |
mul := PPUnresolvedParser new. |
|
41 |
prim := PPUnresolvedParser new. |
|
42 |
dec := ($0 to: $9) asParser. |
|
43 |
add def: (mul , $+ asParser , add) |
|
44 |
/ mul. |
|
45 |
mul def: (prim , $* asParser , mul) |
|
46 |
/ prim. |
|
47 |
prim def: ($( asParser , add , $) asParser) |
|
48 |
/ dec. |
|
49 |
^ add end |
|
50 |
||
51 |
"Modified: / 03-10-2014 / 02:54:42 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
0 | 52 |
! |
53 |
||
54 |
straightLineParser |
|
379 | 55 |
| goal stm stmList id char dec exp expList mulExp primExp nonzero num lower upper | |
56 |
goal := PPUnresolvedParser new. |
|
57 |
stmList := PPUnresolvedParser new. |
|
58 |
stm := PPUnresolvedParser new. |
|
59 |
exp := PPUnresolvedParser new. |
|
60 |
expList := PPUnresolvedParser new. |
|
61 |
mulExp := PPUnresolvedParser new. |
|
62 |
primExp := PPUnresolvedParser new. |
|
63 |
||
64 |
lower := ($a to: $z) asParser. |
|
65 |
upper := ($A to: $Z) asParser. |
|
66 |
char := lower / upper. |
|
67 |
nonzero := ($1 to: $9) asParser. |
|
68 |
dec := ($0 to: $9) asParser. |
|
69 |
id := char, ( char / dec ) star. |
|
70 |
num := $0 asParser / ( nonzero, dec star). |
|
0 | 71 |
|
379 | 72 |
goal def: stmList end. |
73 |
stmList def: stm , ( $; asParser, stm ) star. |
|
74 |
stm def: ( id, ':=' asParser, exp ) |
|
75 |
/ ( 'print' asParser, $( asParser, expList, $) asParser ). |
|
76 |
exp def: mulExp, ( ( $+ asParser / $- asParser ), mulExp ) star. |
|
77 |
expList def: exp, ( $, asParser, exp ) star. |
|
78 |
mulExp def: primExp, ( ( $* asParser / $/ asParser ), primExp ) star. |
|
79 |
primExp def: id |
|
80 |
/ num |
|
81 |
/ ( $( asParser, stmList, $, asParser, exp, $) asParser ). |
|
82 |
^ goal |
|
83 |
||
84 |
"Modified: / 03-10-2014 / 02:56:03 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
0 | 85 |
! ! |
86 |
||
87 |
!PPScriptingTest methodsFor:'tests'! |
|
88 |
||
89 |
testExpressionInterpreter |
|
20 | 90 |
self |
0 | 91 |
assert: self expressionInterpreter |
92 |
parse: '2*(3+4)' |
|
93 |
to: 14 |
|
94 |
! |
|
95 |
||
96 |
testExpressionParser |
|
97 |
self |
|
98 |
assert: self expressionParser |
|
99 |
parse: '2*(3+4)' |
|
100 |
to: #($2 $* ($( ($3 $+ $4) $))) |
|
101 |
! |
|
102 |
||
103 |
testSLassign |
|
20 | 104 |
|
0 | 105 |
self assert: self straightLineParser |
106 |
parse: 'abc:=1' |
|
107 |
to: #(#($a #($b $c) ':=' #(#(#($1 #()) #()) #())) #()) |
|
108 |
! |
|
109 |
||
110 |
testSLprint |
|
20 | 111 |
self |
0 | 112 |
assert: self straightLineParser |
113 |
parse: 'print(3,4)' |
|
114 |
to: #(('print' $( ((($3 ()) ()) () (($, ((($4 ()) ()) ())))) $)) ()) |
|
115 |
! ! |
|
116 |
||
117 |
!PPScriptingTest class methodsFor:'documentation'! |
|
118 |
||
20 | 119 |
version |
193 | 120 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPScriptingTest.st,v 1.4 2014-03-04 14:34:23 cg Exp $' |
20 | 121 |
! |
122 |
||
123 |
version_CVS |
|
193 | 124 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPScriptingTest.st,v 1.4 2014-03-04 14:34:23 cg Exp $' |
20 | 125 |
! |
126 |
||
0 | 127 |
version_SVN |
193 | 128 |
^ '$Id: PPScriptingTest.st,v 1.4 2014-03-04 14:34:23 cg Exp $' |
0 | 129 |
! ! |
193 | 130 |