574
|
1 |
"{ Package: 'stx:goodies/petitparser/tests' }"
|
|
2 |
|
|
3 |
"{ NameSpace: Smalltalk }"
|
|
4 |
|
|
5 |
PPAbstractParserTest subclass:#PPScriptingTest
|
|
6 |
instanceVariableNames:''
|
|
7 |
classVariableNames:''
|
|
8 |
poolDictionaries:''
|
|
9 |
category:'PetitTests-Tests'
|
|
10 |
!
|
|
11 |
|
|
12 |
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'
|
|
13 |
!
|
|
14 |
|
|
15 |
|
|
16 |
!PPScriptingTest methodsFor:'examples'!
|
|
17 |
|
|
18 |
expressionInterpreter
|
|
19 |
"Same as #expressionInterpreter but with semantic actions."
|
|
20 |
|
|
21 |
| mul prim add dec |
|
|
22 |
add := PPUnresolvedParser new.
|
|
23 |
mul := PPUnresolvedParser new.
|
|
24 |
prim := PPUnresolvedParser new.
|
|
25 |
dec := ($0 to: $9) asParser ==> [ :token | token codePoint - $0 codePoint ].
|
|
26 |
add def: ((mul , $+ asParser , add) ==> [ :nodes | (nodes at: 1) + (nodes at: 3) ])
|
|
27 |
/ mul.
|
|
28 |
mul def: ((prim , $* asParser , mul) ==> [ :nodes | (nodes at: 1) * (nodes at: 3) ])
|
|
29 |
/ prim.
|
|
30 |
prim def: (($( asParser , add , $) asParser) ==> [ :nodes | nodes at: 2 ])
|
|
31 |
/ dec.
|
|
32 |
^ add end
|
|
33 |
!
|
|
34 |
|
|
35 |
expressionParser
|
|
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 |
|
|
52 |
straightLineParser
|
|
53 |
| goal stm stmList id char dec exp expList mulExp primExp nonzero num lower upper |
|
|
54 |
goal := PPUnresolvedParser new.
|
|
55 |
stmList := PPUnresolvedParser new.
|
|
56 |
stm := PPUnresolvedParser new.
|
|
57 |
exp := PPUnresolvedParser new.
|
|
58 |
expList := PPUnresolvedParser new.
|
|
59 |
mulExp := PPUnresolvedParser new.
|
|
60 |
primExp := PPUnresolvedParser new.
|
|
61 |
|
|
62 |
lower := ($a to: $z) asParser.
|
|
63 |
upper := ($A to: $Z) asParser.
|
|
64 |
char := lower / upper.
|
|
65 |
nonzero := ($1 to: $9) asParser.
|
|
66 |
dec := ($0 to: $9) asParser.
|
|
67 |
id := char, ( char / dec ) star.
|
|
68 |
num := $0 asParser / ( nonzero, dec star).
|
|
69 |
|
|
70 |
goal def: stmList end.
|
|
71 |
stmList def: stm , ( $; asParser, stm ) star.
|
|
72 |
stm def: ( id, ':=' asParser, exp )
|
|
73 |
/ ( 'print' asParser, $( asParser, expList, $) asParser ).
|
|
74 |
exp def: mulExp, ( ( $+ asParser / $- asParser ), mulExp ) star.
|
|
75 |
expList def: exp, ( $, asParser, exp ) star.
|
|
76 |
mulExp def: primExp, ( ( $* asParser / $/ asParser ), primExp ) star.
|
|
77 |
primExp def: id
|
|
78 |
/ num
|
|
79 |
/ ( $( asParser, stmList, $, asParser, exp, $) asParser ).
|
|
80 |
^ goal
|
|
81 |
! !
|
|
82 |
|
|
83 |
!PPScriptingTest methodsFor:'tests'!
|
|
84 |
|
|
85 |
testExpressionInterpreter
|
|
86 |
self
|
|
87 |
assert: self expressionInterpreter
|
|
88 |
parse: '2*(3+4)'
|
|
89 |
to: 14
|
|
90 |
!
|
|
91 |
|
|
92 |
testExpressionParser
|
|
93 |
self
|
|
94 |
assert: self expressionParser
|
|
95 |
parse: '2*(3+4)'
|
|
96 |
to: #($2 $* ($( ($3 $+ $4) $)))
|
|
97 |
!
|
|
98 |
|
|
99 |
testSLassign
|
|
100 |
|
|
101 |
self assert: self straightLineParser
|
|
102 |
parse: 'abc:=1'
|
|
103 |
to: #(#($a #($b $c) ':=' #(#(#($1 #()) #()) #())) #())
|
|
104 |
!
|
|
105 |
|
|
106 |
testSLprint
|
|
107 |
self
|
|
108 |
assert: self straightLineParser
|
|
109 |
parse: 'print(3,4)'
|
|
110 |
to: #(('print' $( ((($3 ()) ()) () (($, ((($4 ()) ()) ())))) $)) ())
|
|
111 |
! !
|
|
112 |
|
|
113 |
!PPScriptingTest class methodsFor:'documentation'!
|
|
114 |
|
|
115 |
version
|
|
116 |
^ '$Header$'
|
|
117 |
!
|
|
118 |
|
|
119 |
version_CVS
|
|
120 |
^ '$Header$'
|
|
121 |
! !
|
|
122 |
|