Merged in PetitCompiler-JanVrany.170, PetitCompiler-Tests-JanKurs.116, PetitCompiler-Extras-Tests-JanKurs.29, PetitCompiler-Benchmarks-JanKurs.19
Name: PetitCompiler-JanVrany.170
Author: JanVrany
Time: 24-08-2015, 03:19:51.340 PM
UUID: c20a744f-3b41-4aaa-bb8a-71ce74a2a952
Name: PetitCompiler-Tests-JanKurs.116
Author: JanKurs
Time: 24-08-2015, 11:37:54.332 AM
UUID: 549e0927-358a-4a1b-8270-050ccfcb4217
Name: PetitCompiler-Extras-Tests-JanKurs.29
Author: JanKurs
Time: 24-08-2015, 11:36:52.503 AM
UUID: ea1dbb67-f884-4237-8f34-adb0677c0954
Name: PetitCompiler-Benchmarks-JanKurs.19
Author: JanKurs
Time: 24-08-2015, 11:48:47.045 AM
UUID: 1c342fdb-8ddd-4104-9c47-a8f589c51694
"{ Package: 'stx:goodies/petitparser/compiler' }"
"{ NameSpace: Smalltalk }"
PEGFsaAbstractDeterminizator subclass:#PEGFsaSequenceDeterminizator
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-FSA'
!
!PEGFsaSequenceDeterminizator methodsFor:'determinization'!
determinize
super determinize.
self markFailures.
fsa removePriorities.
!
markFailures
fsa finalStates do: [ :fs |
| priority |
priority := fs priority.
fs reachableStates do: [ :rs |
(rs hasPriority and: [ (rs priority > fs priority) and: [ rs isFinal not ] ]) ifTrue: [
rs failure: true.
rs final: true.
]
]
]
! !
!PEGFsaSequenceDeterminizator methodsFor:'joining'!
joinInfo: info with: anotherInfo into: newInfo
(info hasEqualPriorityTo: anotherInfo) ifTrue: [
newInfo final: (info isFinal or: [ anotherInfo isFinal ]).
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.
!
joinRetval: state with: anotherState into: newState
"Different retvals cannot merge their info"
self assert: (state hasDifferentRetvalThan: anotherState) not.
self assert: state retval == anotherState retval.
newState retval: state retval.
!
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 hasPriority ifFalse: [
newState transitions addAll: (state transitions collect: #copy).
newState transitions addAll: (anotherState transitions collect: #copy).
^ self
].
self assert: newState hasPriority.
"This is a part when low priority branches are cut-out"
(state priority == newState priority) ifTrue: [
newState transitions addAll: (state transitions collect: #copy).
] ifFalse: [
newState transitions addAll: (state transitions select: [ :t | t priority > newState priority ] thenCollect: #copy)
].
(anotherState priority == newState priority) ifTrue: [
newState transitions addAll: (anotherState transitions collect: #copy).
] ifFalse: [
newState transitions addAll: (anotherState transitions select: [ :t | t priority > newState priority ] thenCollect: #copy)
].
newState mergeTransitions.
! !