compiler/PPCRecognizerComponentVisitor.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Tue, 24 Nov 2015 19:37:14 +0100
changeset 553 d83cb4945d5e
parent 515 b5316ef15274
permissions -rw-r--r--
Oops, forgot to export PETITCOMPILER_DATA_DIRECTORY variable ...so Smalltalk code could not read it. Also fixed test for "include" scripts so they are not downloaded again when already downloaded.

"{ Package: 'stx:goodies/petitparser/compiler' }"

"{ NameSpace: Smalltalk }"

PPCRewritingVisitor subclass:#PPCRecognizerComponentVisitor
	instanceVariableNames:'forbiddenNodes'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Visitors'
!

!PPCRecognizerComponentVisitor methodsFor:'accessing'!

forbiddenNodes: nodeSet
    forbiddenNodes := nodeSet.
! !

!PPCRecognizerComponentVisitor methodsFor:'initialization'!

initialize
    super initialize.
    forbiddenNodes := IdentitySet new.
! !

!PPCRecognizerComponentVisitor methodsFor:'traversing'!

beforeAccept: node
    self assert: (forbiddenNodes includes: node) not description: 'Does not look like a token' 
! !

!PPCRecognizerComponentVisitor methodsFor:'visiting'!

visitActionNode: node
    self visitChildren: node.

    self change.
    ^ node child
!

visitSequenceNode: node
    self visitChildren: node.
    self change.
    ^ PPCRecognizingSequenceNode new
        children: node children;
        name: node name;
        properties: node properties;
        yourself	
!

visitStarMessagePredicateNode: node
    self visitChildren: node.
    
    (node message = #isSeparator) ifTrue: [ 
        self change.
        ^ PPCTokenStarSeparatorNode new
            name: node name;
            child: node child;
            message: node message;
            yourself.
    ].
    
    self change.
    ^ PPCTokenStarMessagePredicateNode new
        name: node name;
        message: node message;
        child: node child;
        yourself
!

visitSymbolActionNode: node
    self visitChildren: node.
    
    self change.
    ^ node child
!

visitTokenNode: node
    self visitChildren: node.
    self change.
    ^ node child
! !