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 }"
PPCNode subclass:#PPCAbstractLiteralNode
instanceVariableNames:'literal'
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Nodes'
!
!PPCAbstractLiteralNode methodsFor:'accessing'!
literal
^ literal
!
literal: anObject
literal := anObject
!
prefix
^ #lit
! !
!PPCAbstractLiteralNode methodsFor:'analysis'!
acceptsEpsilon
^ literal size = 0
!
firstCharSet
| letter |
letter := literal first.
^ PPCharSetPredicate on: [:e | e = letter ]
! !
!PPCAbstractLiteralNode methodsFor:'comparison'!
= anotherNode
super = anotherNode ifFalse: [ ^ false ].
^ literal = anotherNode literal.
!
hash
^ super hash bitXor: literal hash
! !
!PPCAbstractLiteralNode methodsFor:'compiling'!
encodeQuotes: string
| x s |
s := WriteStream on: ''.
1 to: string size do: [ :i|
s nextPut: (x := string at: i).
x = $' ifTrue: [ s nextPut: x ].
].
^ s contents
! !