|
1 "{ Package: 'stx:goodies/petitparser/compiler' }" |
|
2 |
|
3 "{ NameSpace: Smalltalk }" |
|
4 |
|
5 Object subclass:#PPCNodeVisitor |
|
6 instanceVariableNames:'openSet closeSet cache arguments' |
|
7 classVariableNames:'' |
|
8 poolDictionaries:'' |
|
9 category:'PetitCompiler-Visitors' |
|
10 ! |
|
11 |
|
12 !PPCNodeVisitor class methodsFor:'instance creation'! |
|
13 |
|
14 new |
|
15 ^ self basicNew initialize |
|
16 ! ! |
|
17 |
|
18 !PPCNodeVisitor methodsFor:'accessing'! |
|
19 |
|
20 arguments: args |
|
21 arguments := args |
|
22 ! ! |
|
23 |
|
24 !PPCNodeVisitor methodsFor:'hooks'! |
|
25 |
|
26 afterAccept: node retval: retval |
|
27 "nothing to do" |
|
28 ^ retval |
|
29 ! |
|
30 |
|
31 beforeAccept: node |
|
32 "nothing to do" |
|
33 ! |
|
34 |
|
35 closedDetected: node |
|
36 ^ #closed |
|
37 ! |
|
38 |
|
39 openDetected: node |
|
40 ^ #open |
|
41 ! ! |
|
42 |
|
43 !PPCNodeVisitor methodsFor:'initialization'! |
|
44 |
|
45 initialize |
|
46 super initialize. |
|
47 openSet := IdentitySet new. |
|
48 closeSet := IdentitySet new. |
|
49 cache := IdentityDictionary new. |
|
50 ! ! |
|
51 |
|
52 !PPCNodeVisitor methodsFor:'traversing'! |
|
53 |
|
54 close: node |
|
55 self assert: (self isOpen: node) description: 'should be opened first!!'. |
|
56 |
|
57 openSet remove: node. |
|
58 closeSet add: node |
|
59 ! |
|
60 |
|
61 isClosed: child |
|
62 ^ closeSet includes: child |
|
63 ! |
|
64 |
|
65 isOpen: child |
|
66 ^ openSet includes: child |
|
67 ! |
|
68 |
|
69 open: node |
|
70 self assert: (self isOpen: node) not description: 'already opened!!'. |
|
71 openSet add: node |
|
72 ! |
|
73 |
|
74 visit: node |
|
75 | retval | |
|
76 (self isOpen: node) ifTrue: [ |
|
77 ^ self openDetected: node |
|
78 ]. |
|
79 |
|
80 (self isCached: node) ifTrue: [ |
|
81 ^ self cachedDetected: node. |
|
82 ]. |
|
83 |
|
84 (self isClosed: node) ifTrue: [ |
|
85 self closedDetected: node |
|
86 ]. |
|
87 |
|
88 self open: node. |
|
89 self beforeAccept: node. |
|
90 retval := node accept: self. |
|
91 retval := self afterAccept: node retval: retval. |
|
92 self close: node. |
|
93 self cache: node value: retval. |
|
94 |
|
95 ^ retval |
|
96 ! |
|
97 |
|
98 visitChildren: node |
|
99 node children do: [ :child | |
|
100 self visit: child |
|
101 ] |
|
102 ! ! |
|
103 |
|
104 !PPCNodeVisitor methodsFor:'traversing - caching'! |
|
105 |
|
106 cache: node value: retval |
|
107 self assert: (cache includesKey: node) not. |
|
108 cache at: node put: retval |
|
109 ! |
|
110 |
|
111 cachedDetected: node |
|
112 ^ self cachedValue: node |
|
113 ! |
|
114 |
|
115 cachedValue: node |
|
116 ^ cache at: node |
|
117 ! |
|
118 |
|
119 isCached: node |
|
120 ^ cache includesKey: node |
|
121 ! ! |
|
122 |
|
123 !PPCNodeVisitor methodsFor:'visiting'! |
|
124 |
|
125 visitActionNode: node |
|
126 ^ self visitNode: node |
|
127 ! |
|
128 |
|
129 visitAndNode: node |
|
130 ^ self visitNode: node |
|
131 ! |
|
132 |
|
133 visitAnyNode: node |
|
134 ^ self visitNode: node |
|
135 ! |
|
136 |
|
137 visitCharSetPredicateNode: node |
|
138 ^ self visitNode: node |
|
139 ! |
|
140 |
|
141 visitCharacterNode: node |
|
142 ^ self visitNode: node |
|
143 ! |
|
144 |
|
145 visitChoiceNode: node |
|
146 ^ self visitNode: node |
|
147 ! |
|
148 |
|
149 visitEndOfFileNode: node |
|
150 ^ self visitNode: node |
|
151 ! |
|
152 |
|
153 visitForwardNode: node |
|
154 ^ self visitNode: node |
|
155 ! |
|
156 |
|
157 visitInlineAnyNode: node |
|
158 ^ self visitNode: node |
|
159 ! |
|
160 |
|
161 visitInlineCharSetPredicateNode: node |
|
162 ^ self visitNode: node |
|
163 ! |
|
164 |
|
165 visitInlineCharacterNode: node |
|
166 ^ self visitNode: node |
|
167 ! |
|
168 |
|
169 visitInlineLiteralNode: node |
|
170 ^ self visitNode: node |
|
171 ! |
|
172 |
|
173 visitInlineMessagePredicateNode: node |
|
174 ^ self visitNode: node |
|
175 ! |
|
176 |
|
177 visitInlineNilNode: node |
|
178 ^ self visitNode: node |
|
179 ! |
|
180 |
|
181 visitInlineNotCharSetPredicateNode: node |
|
182 ^ self visitNode: node |
|
183 ! |
|
184 |
|
185 visitInlineNotLiteralNode: node |
|
186 ^ self visitNode: node |
|
187 ! |
|
188 |
|
189 visitInlineNotMessagePredicateNode: node |
|
190 ^ self visitNode: node |
|
191 ! |
|
192 |
|
193 visitInlinePluggableNode: node |
|
194 ^ self visitNode: node |
|
195 ! |
|
196 |
|
197 visitInlineTokenStarMessagePredicateNode: node |
|
198 ^ self visitNode: node |
|
199 ! |
|
200 |
|
201 visitInlineTokenStarSeparatorNode: node |
|
202 ^ self visitNode: node |
|
203 ! |
|
204 |
|
205 visitLLChoiceNode: node |
|
206 ^ self visitNode: node |
|
207 ! |
|
208 |
|
209 visitLiteralNode: node |
|
210 "default implementation" |
|
211 ^ self visitNode: node. |
|
212 ! |
|
213 |
|
214 visitMessagePredicateNode: node |
|
215 ^ self visitNode: node |
|
216 ! |
|
217 |
|
218 visitNilNode: node |
|
219 ^ self visitNode: node |
|
220 ! |
|
221 |
|
222 visitNode: node |
|
223 self visitChildren: node. |
|
224 ^ node |
|
225 ! |
|
226 |
|
227 visitNotCharSetPredicateNode: node |
|
228 ^ self visitNode: node |
|
229 ! |
|
230 |
|
231 visitNotLiteralNode: node |
|
232 ^ self visitNode: node |
|
233 ! |
|
234 |
|
235 visitNotMessagePredicateNode: node |
|
236 ^ self visitNode: node |
|
237 ! |
|
238 |
|
239 visitNotNode: node |
|
240 ^ self visitNode: node |
|
241 ! |
|
242 |
|
243 visitOptionalNode: node |
|
244 ^ self visitNode: node |
|
245 ! |
|
246 |
|
247 visitPluggableNode: node |
|
248 ^ self visitNode: node |
|
249 ! |
|
250 |
|
251 visitPlusNode: node |
|
252 ^ self visitNode: node |
|
253 ! |
|
254 |
|
255 visitPredicateNode: node |
|
256 ^ self visitNode: node |
|
257 ! |
|
258 |
|
259 visitSequenceNode: node |
|
260 ^ self visitNode: node |
|
261 ! |
|
262 |
|
263 visitStarAnyNode: node |
|
264 ^ self visitNode: node |
|
265 ! |
|
266 |
|
267 visitStarCharSetPredicateNode: node |
|
268 ^ self visitNode: node |
|
269 ! |
|
270 |
|
271 visitStarMessagePredicateNode: node |
|
272 ^ self visitNode: node |
|
273 ! |
|
274 |
|
275 visitStarNode: node |
|
276 ^ self visitNode: node |
|
277 ! |
|
278 |
|
279 visitSymbolActionNode: node |
|
280 ^ self visitNode: node |
|
281 ! |
|
282 |
|
283 visitTokenActionNode: node |
|
284 ^ self visitNode: node |
|
285 ! |
|
286 |
|
287 visitTokenConsumeNode: node |
|
288 ^ self visitNode: node |
|
289 ! |
|
290 |
|
291 visitTokenNode: node |
|
292 ^ self visitNode: node |
|
293 ! |
|
294 |
|
295 visitTokenSequenceNode: node |
|
296 ^ self visitNode: node |
|
297 ! |
|
298 |
|
299 visitTokenStarMessagePredicateNode: node |
|
300 ^ self visitNode: node |
|
301 ! |
|
302 |
|
303 visitTokenStarSeparatorNode: node |
|
304 ^ self visitNode: node |
|
305 ! |
|
306 |
|
307 visitTrimNode: node |
|
308 ^ self visitNode: node |
|
309 ! |
|
310 |
|
311 visitTrimmingTokenNode: node |
|
312 ^ self visitNode: node |
|
313 ! |
|
314 |
|
315 visitUnknownNode: node |
|
316 ^ self visitNode: node |
|
317 ! ! |
|
318 |