compiler/PPCStarMessagePredicateNode.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Wed, 20 May 2015 16:47:52 +0100
changeset 463 d4014e0a47a0
parent 452 9f4558b3be66
child 464 f6d77fee9811
permissions -rw-r--r--
Small improvement in inlining: inline child of an action node.

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

"{ NameSpace: Smalltalk }"

PPCStarNode subclass:#PPCStarMessagePredicateNode
	instanceVariableNames:'message'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Nodes'
!

!PPCStarMessagePredicateNode methodsFor:'accessing'!

children
    ^ #()
!

firstCharSet
    ^ PPCharSetPredicate on: [:char | char perform: message ] 	
!

message
    
    ^ message
!

message: anObject
    
    message := anObject
!

prefix
    ^ #starPredicate
! !

!PPCStarMessagePredicateNode methodsFor:'analysis'!

firstSets: aFirstDictionary into: aSet suchThat: aBlock
    "
        First and follow should be performed on the non-specialized tree, i.e. on a tree
        with star -> messageNode. Not on myself.
        
        The reason for that is, that:
        - I am terminal
        - I am nullable
        
        This means, I look like epsilon node for the first follow analysis. And epsilons 
        are ignored in sequences, thus sequence of StarMessagePredicate, Literal
        leads to { Literal } as firstSet and not expected { MessagePredicate, Literal }
    "
    ^ self error: 'Cannot perform first/follow analysis on myself, sorry for that :('
! !

!PPCStarMessagePredicateNode methodsFor:'comparing'!

= anotherNode
    super = anotherNode ifFalse: [ ^ false ].
    ^ message = anotherNode message.
!

hash
    ^ super hash bitXor: message hash
! !

!PPCStarMessagePredicateNode methodsFor:'visiting'!

accept: visitor
    ^ visitor visitStarMessagePredicateNode: self
! !