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.

     1

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

     2

     3

"{ NameSpace: Smalltalk }"

     4

     5

Warning subclass:#PPCCompilationWarning

     6

	instanceVariableNames:''

     7

	classVariableNames:''

     8

	poolDictionaries:''

     9

	category:'PetitCompiler-Exceptions'

    10

!

    11