Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17
Name: PetitCompiler-JanKurs.160
Author: JanKurs
Time: 17-08-2015, 09:52:26.291 AM
UUID: 3b4bfc98-8098-4951-af83-a59e2585b121
Name: PetitCompiler-Tests-JanKurs.112
Author: JanKurs
Time: 16-08-2015, 05:00:32.936 PM
UUID: 85613d47-08f3-406f-9823-9cdab451e805
Name: PetitCompiler-Extras-Tests-JanKurs.25
Author: JanKurs
Time: 16-08-2015, 05:00:10.328 PM
UUID: 09731810-51a1-4151-8d3a-56b636fbd1f7
Name: PetitCompiler-Benchmarks-JanKurs.17
Author: JanKurs
Time: 05-08-2015, 05:29:32.407 PM
UUID: e544b5f1-bcf8-470b-93a6-d2363e4dfc8a
"{ Package: 'stx:goodies/petitparser/compiler' }"
"{ NameSpace: Smalltalk }"
PEGFsaAbstractDeterminizator subclass:#PEGFsaChoiceDeterminizator
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-FSA'
!
!PEGFsaChoiceDeterminizator methodsFor:'as yet unclassified'!
determinize
super determinize.
fsa removeLowPriorityTransitions.
fsa removeUnreachableStates.
fsa removePriorities.
!
joinInfo: info with: anotherInfo into: newInfo
"Merging into the failure"
(info isFsaFailure and: [anotherInfo isFsaFailure not]) ifTrue: [
newInfo final: anotherInfo isFinal.
newInfo priority: anotherInfo priority.
newInfo failure: false.
^ self
].
(anotherInfo isFsaFailure and: [info isFsaFailure not]) ifTrue: [
newInfo final: info isFinal.
newInfo priority: (anotherInfo priority max: info priority).
newInfo failure: false.
^ self
].
(info hasEqualPriorityTo: anotherInfo) ifTrue: [
newInfo final: (info isFinal or: [ anotherInfo isFinal ]).
newInfo failure: (info isFsaFailure or: [anotherInfo isFailure]).
newInfo priority: info priority.
^ self
].
(info hasHigherPriorityThan: anotherInfo) ifTrue: [
newInfo priority: info priority.
newInfo failure: info isFsaFailure.
newInfo final: info isFinal.
^ self
].
newInfo priority: anotherInfo priority.
newInfo failure: anotherInfo isFsaFailure.
newInfo final: anotherInfo isFinal.
!
joinState: state with: anotherState
self assert: state isMultivalue not.
self assert: anotherState isMultivalue not.
^ super joinState: state with: anotherState
!
joinTransitions: state with: anotherState into: newState
self assert: newState isMultivalue not.
newState transitions addAll: (state transitions collect: #copy).
newState transitions addAll: (anotherState transitions collect: #copy).
newState mergeTransitions.
! !
!PEGFsaChoiceDeterminizator methodsFor:'joining'!
joinRetval: state with: anotherState into: newState
"Different retvals cannot merge their info"
self assert: (state hasDifferentRetvalThan: anotherState) not.
self assert: state retval == anotherState retval.
! !