"{ Package: 'stx:goodies/petitparser/compiler' }"
"{ NameSpace: Smalltalk }"
Object subclass:#PPCNodeVisitor
instanceVariableNames:'openSet closeSet cache arguments'
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Visitors'
!
!PPCNodeVisitor class methodsFor:'instance creation'!
new
^ self basicNew initialize
! !
!PPCNodeVisitor methodsFor:'accessing'!
arguments: args
arguments := args
! !
!PPCNodeVisitor methodsFor:'hooks'!
afterAccept: node retval: retval
"nothing to do"
^ retval
!
beforeAccept: node
"nothing to do"
!
closedDetected: node
^ #closed
!
openDetected: node
^ #open
! !
!PPCNodeVisitor methodsFor:'initialization'!
initialize
super initialize.
openSet := IdentitySet new.
closeSet := IdentitySet new.
cache := IdentityDictionary new.
! !
!PPCNodeVisitor methodsFor:'traversing'!
close: node
self assert: (self isOpen: node) description: 'should be opened first!!'.
openSet remove: node.
closeSet add: node
!
isClosed: child
^ closeSet includes: child
!
isOpen: child
^ openSet includes: child
!
open: node
self assert: (self isOpen: node) not description: 'already opened!!'.
openSet add: node
!
visit: node
| retval |
(self isOpen: node) ifTrue: [
^ self openDetected: node
].
(self isCached: node) ifTrue: [
^ self cachedDetected: node.
].
(self isClosed: node) ifTrue: [
self closedDetected: node
].
self open: node.
self beforeAccept: node.
retval := node accept: self.
retval := self afterAccept: node retval: retval.
self close: node.
self cache: node value: retval.
^ retval
!
visitChildren: node
node children do: [ :child |
self visit: child
]
! !
!PPCNodeVisitor methodsFor:'traversing - caching'!
cache: node value: retval
self assert: (cache includesKey: node) not.
cache at: node put: retval
!
cachedDetected: node
^ self cachedValue: node
!
cachedValue: node
^ cache at: node
!
isCached: node
^ cache includesKey: node
! !
!PPCNodeVisitor methodsFor:'visiting'!
visitActionNode: node
^ self visitNode: node
!
visitAndNode: node
^ self visitNode: node
!
visitAnyNode: node
^ self visitNode: node
!
visitCharSetPredicateNode: node
^ self visitNode: node
!
visitCharacterNode: node
^ self visitNode: node
!
visitChoiceNode: node
^ self visitNode: node
!
visitEndOfFileNode: node
^ self visitNode: node
!
visitForwardNode: node
^ self visitNode: node
!
visitInlineAnyNode: node
^ self visitNode: node
!
visitInlineCharSetPredicateNode: node
^ self visitNode: node
!
visitInlineCharacterNode: node
^ self visitNode: node
!
visitInlineLiteralNode: node
^ self visitNode: node
!
visitInlineMessagePredicateNode: node
^ self visitNode: node
!
visitInlineNilNode: node
^ self visitNode: node
!
visitInlineNotCharSetPredicateNode: node
^ self visitNode: node
!
visitInlineNotLiteralNode: node
^ self visitNode: node
!
visitInlineNotMessagePredicateNode: node
^ self visitNode: node
!
visitInlinePluggableNode: node
^ self visitNode: node
!
visitInlineTokenStarMessagePredicateNode: node
^ self visitNode: node
!
visitInlineTokenStarSeparatorNode: node
^ self visitNode: node
!
visitLLChoiceNode: node
^ self visitNode: node
!
visitLiteralNode: node
"default implementation"
^ self visitNode: node.
!
visitMessagePredicateNode: node
^ self visitNode: node
!
visitNilNode: node
^ self visitNode: node
!
visitNode: node
self visitChildren: node.
^ node
!
visitNotCharSetPredicateNode: node
^ self visitNode: node
!
visitNotLiteralNode: node
^ self visitNode: node
!
visitNotMessagePredicateNode: node
^ self visitNode: node
!
visitNotNode: node
^ self visitNode: node
!
visitOptionalNode: node
^ self visitNode: node
!
visitPluggableNode: node
^ self visitNode: node
!
visitPlusNode: node
^ self visitNode: node
!
visitPredicateNode: node
^ self visitNode: node
!
visitSequenceNode: node
^ self visitNode: node
!
visitStarAnyNode: node
^ self visitNode: node
!
visitStarCharSetPredicateNode: node
^ self visitNode: node
!
visitStarMessagePredicateNode: node
^ self visitNode: node
!
visitStarNode: node
^ self visitNode: node
!
visitSymbolActionNode: node
^ self visitNode: node
!
visitTokenActionNode: node
^ self visitNode: node
!
visitTokenConsumeNode: node
^ self visitNode: node
!
visitTokenNode: node
^ self visitNode: node
!
visitTokenSequenceNode: node
^ self visitNode: node
!
visitTokenStarMessagePredicateNode: node
^ self visitNode: node
!
visitTokenStarSeparatorNode: node
^ self visitNode: node
!
visitTrimNode: node
^ self visitNode: node
!
visitTrimmingTokenNode: node
^ self visitNode: node
!
visitUnknownNode: node
^ self visitNode: node
! !