Added static analysis of blocks when inlining. Allow inlining only when block is functional
...i.e., does not access any shared state (in instance or class variables). If the block does
a self-send, the sent method has to be (transitively) functional too.
To allow for self-sends in action blocks, copy (transitively) self-sent methods to target
parser. This is safe as these self-sent methods are guarnateed to be functional.
"{ Package: 'stx:goodies/petitparser/compiler' }"
"{ NameSpace: Smalltalk }"
PPCListNode subclass:#PPCTokenizingParserNode
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Nodes'
!
!PPCTokenizingParserNode methodsFor:'accessing'!
initialize
super initialize.
children := Array new: 3
!
parser
^ children at: 1
!
parser: node
children at: 1 put: node
!
prefix
^ #tokenizingParser
!
tokenizer
^ children at: 2
!
tokenizer: node
^ children at: 2 put: node
!
whitespace
^ children at: 3
!
whitespace: node
children at: 3 put: node
! !
!PPCTokenizingParserNode methodsFor:'visiting'!
accept: visitor
^ visitor visitTokenizingParserNode: self
! !