analyzer/PPReplaceRule.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Tue, 16 Jun 2015 06:45:26 +0100
changeset 489 0ca7a70db0f5
parent 376 a2656b27cace
permissions -rw-r--r--
Fix in codegen for inlined sequence nodes. For inlined sequence nodes, generate nested ifs rather than sequential code which does not work when inlined. The reason is that #codeReturn: in inline generates instvar assignment, not method return, so in sequential code the next child of a sequence will be probed even if previous failed. If that happends, the whole sequence fail and therefore we must generate nested ifs to correctly handle this w.r.t. inlining.

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

PPRule subclass:#PPReplaceRule
	instanceVariableNames:'verificationBlock'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitAnalyzer-Core'
!


!PPReplaceRule methodsFor:'initialization'!

initialize
	super initialize.
	verificationBlock := [ :parser | true ]
!

setVerificationBlock: aBlock
	verificationBlock := aBlock
! !

!PPReplaceRule methodsFor:'matching'!

canMatch: aParser 
	^ verificationBlock cull: aParser
! !

!PPReplaceRule class methodsFor:'documentation'!

version
    ^ '$Header: /cvs/stx/stx/goodies/petitparser/analyzer/PPReplaceRule.st,v 1.2 2014-03-04 20:27:53 cg Exp $'
!

version_CVS
    ^ '$Header: /cvs/stx/stx/goodies/petitparser/analyzer/PPReplaceRule.st,v 1.2 2014-03-04 20:27:53 cg Exp $'
!

version_HG

    ^ '$Changeset: <not expanded> $'
! !