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:#PEGFsaDeterminizationTest
instanceVariableNames:'fsa a b c result d interpreter e'
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Tests-FSA'
!
!PEGFsaDeterminizationTest methodsFor:'as yet unclassified'!
assert: anFsa fail: input
| stream |
stream := input asPetitStream.
result := interpreter interpret: anFsa on: stream.
self assert: result isEmpty.
^ result
!
assert: anFsa parse: input retval: name
^ self assert: anFsa parse: input retval: name end: input size
!
assert: anFsa parse: input retval: name end: end
| stream |
stream := input asPetitStream.
result := interpreter interpret: anFsa on: stream.
self assert: result isEmpty not.
self assert: ((result at: name) = end) description: 'wrong position'.
^ result
!
assertFail: name
self assert: (result includesKey: name) not
!
assertPass: name
self assert: (result includesKey: name)
!
setUp
a := PEGFsaState new name: #a; retval: #a; yourself.
b := PEGFsaState new name: #b; retval: #b; yourself.
c := PEGFsaState new name: #c; retval: #c; yourself.
d := PEGFsaState new name: #d; retval: #d; yourself.
e := PEGFsaState new name: #e; retval: #e; yourself.
fsa := PEGFsa new.
interpreter := PEGFsaInterpret new
yourself.
!
testAAplusA
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa addState: e.
fsa startState: a.
fsa finalState: e.
fsa addTransitionFrom: a to: b on: $a.
fsa addTransitionFrom: b to: c on: $a.
fsa addTransitionFrom: c to: a.
fsa addTransitionFrom: c to: d priority: -1.
fsa addTransitionFrom: d to: e on: $a.
c priority: 0.
fsa determinize.
" self assert: fsa states size = 3."
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa fail: 'a'.
self assert: fsa fail: 'aa'.
self assert: fsa fail: 'aaaa'.
self assert: fsa parse: 'aaa' retval: #e.
self assert: fsa parse: 'aaaaa' retval: #e.
self assert: fsa parse: 'aaaaaaa' retval: #e.
!
testAB
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa startState: a.
fsa finalState: d.
fsa addTransitionFrom: a to: b on: $a.
fsa addTransitionFrom: c to: d on: $b.
fsa addTransitionFrom: b to: c priority: -1.
fsa determinize.
self assert: fsa states size = 3.
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa parse: 'ab' retval: #d.
self assert: fsa parse: 'abc' retval: #d end: 2.
self assert: fsa fail: 'ac'.
!
testAPlusA
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa startState: a.
fsa finalState: d.
fsa addTransitionFrom: a to: b on: $a.
fsa addTransitionFrom: b to: a.
fsa addTransitionFrom: b to: c priority: -1.
fsa addTransitionFrom: c to: d on: $a.
b priority: 0.
fsa determinize.
" self assert: fsa states size = 2."
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa fail: 'a'.
self assert: fsa fail: 'aa'.
self assert: fsa fail: 'b'.
!
testAPlusB
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa startState: a.
fsa finalState: d.
fsa addTransitionFrom: a to: b on: $a.
fsa addTransitionFrom: b to: a.
fsa addTransitionFrom: b to: c priority: -1.
fsa addTransitionFrom: c to: d on: $b.
fsa determinize.
self assert: fsa states size = 3.
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa parse: 'ab' retval: #d.
self assert: fsa parse: 'aaaab' retval: #d.
self assert: fsa parse: 'aaaabc' retval: #d end: 5.
self assert: fsa fail: 'b'.
!
testAorA
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa addState: e.
fsa startState: a.
fsa finalState: c.
fsa finalState: e.
fsa addTransitionFrom: a to: b.
fsa addTransitionFrom: a to: d.
fsa addTransitionFrom: b to: c on: $a.
fsa addTransitionFrom: d to: e on: $a.
c priority: 0.
e priority: 0.
fsa determinize.
self assert: fsa states size = 2.
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa parse: 'a' retval: #c.
self assert: fsa parse: 'a' retval: #e.
self assert: (a transitions allSatisfy: [:t | t priority = 0]).
self assert: fsa fail: 'b'.
!
testApriorityOrA
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa addState: e.
fsa startState: a.
fsa finalState: c.
fsa finalState: e.
c priority: 0.
e priority: 0.
fsa addTransitionFrom: a to: b priority: -1.
fsa addTransitionFrom: a to: d.
fsa addTransitionFrom: b to: c on: $a.
fsa addTransitionFrom: d to: e on: $a.
fsa determinize.
self assert: fsa states size = 2.
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa parse: 'a' retval: #e.
self assertFail: #c.
self assert: fsa fail: 'b'.
!
testApriorityOrA2
fsa addState: a.
fsa addState: b.
fsa addState: c.
fsa addState: d.
fsa addState: e.
fsa startState: a.
fsa finalState: c.
fsa finalState: e.
c priority: 0.
e priority: 0.
fsa addTransitionFrom: a to: b.
fsa addTransitionFrom: a to: d priority: -1.
fsa addTransitionFrom: b to: c on: $a.
fsa addTransitionFrom: d to: e on: $a.
fsa determinize.
self assert: fsa states size = 2.
self assert: fsa isDeterministic.
self assert: fsa isWithoutEpsilons.
self assert: fsa parse: 'a' retval: #c.
self assertFail: #e.
self assert: fsa fail: 'b'.
! !