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/tests' }"
"{ NameSpace: Smalltalk }"
TestCase subclass:#PPCTokenGuardTest
instanceVariableNames:'guard compiler node tokenNode'
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Tests-Guards'
!
!PPCTokenGuardTest methodsFor:'as yet unclassified'!
setUp
super setUp.
compiler := PPCMockCompiler new.
!
testMakesSense
tokenNode := PPCTokenNode new
child: 'foo' asParser asCompilerTree.
node := PPCPlusNode new
child: tokenNode;
yourself.
guard := PPCTokenGuard on: node.
self assert: guard makesSense.
!
testMakesSense2
node := PPCPlusNode new
child: ('foo' asParser asCompilerTree);
yourself.
guard := PPCTokenGuard on: node.
self assert: guard makesSense not.
! !