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 }"
PPCCharacterNode subclass:#PPCNotCharacterNode
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Nodes'
!
!PPCNotCharacterNode methodsFor:'accessing'!
prefix
^ #notChar
! !
!PPCNotCharacterNode methodsFor:'as yet unclassified'!
accept: visitor
^ visitor visitNotCharacterNode: self
!
firstCharSet
^ PPCharSetPredicate on: [:e | (e = character) not ]
!
recognizedSentencesPrim
| retval |
retval := OrderedCollection new.
"TODO JK: Works only for ASCII :("
1 to: 255 do: [ :i |
(character = (Character codePoint: i)) ifFalse: [
retval add: (Character codePoint: i) asString
]
].
^ retval
! !