4
|
1 |
"{ Package: 'stx:goodies/petitparser' }"
|
0
|
2 |
|
|
3 |
PPAbstractParseTest subclass:#PPScriptingTest
|
|
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.
|
|
23 |
dec := ($0 ppMinus: $9) ==> [ :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
|
0
|
31 |
|
|
32 |
"Modified: / 19-12-2010 / 18:13:51 / Jan Kurs <kurs.jan@post.cz>"
|
|
33 |
!
|
|
34 |
|
|
35 |
expressionParser
|
20
|
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 ppMinus: $9).
|
|
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
|
0
|
50 |
|
|
51 |
"Modified: / 19-12-2010 / 18:14:18 / Jan Kurs <kurs.jan@post.cz>"
|
|
52 |
!
|
|
53 |
|
|
54 |
straightLineParser
|
20
|
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 ppMinus: $z.
|
|
65 |
upper := $A ppMinus: $Z.
|
|
66 |
char := lower / upper.
|
|
67 |
nonzero := $1 ppMinus: $9.
|
|
68 |
dec := $0 ppMinus: $9.
|
|
69 |
id := char, ( char / dec ) star.
|
|
70 |
num := $0 asParser / ( nonzero, dec star).
|
0
|
71 |
|
20
|
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
|
0
|
83 |
|
|
84 |
"Modified: / 19-12-2010 / 18:15:14 / Jan Kurs <kurs.jan@post.cz>"
|
|
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
|
|
120 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPScriptingTest.st,v 1.3 2012-05-04 22:00:57 vrany Exp $'
|
|
121 |
!
|
|
122 |
|
|
123 |
version_CVS
|
|
124 |
^ '$Header: /cvs/stx/stx/goodies/petitparser/PPScriptingTest.st,v 1.3 2012-05-04 22:00:57 vrany Exp $'
|
|
125 |
!
|
|
126 |
|
0
|
127 |
version_SVN
|
20
|
128 |
^ '§Id: PPScriptingTest.st 5 2010-12-19 17:38:27Z kursjan §'
|
0
|
129 |
! !
|