Merged with PetitCompiler-JanKurs.20150510144201, PetitCompiler-Tests-JanKurs.20150510144201, PetitCompiler-Extras-Tests-JanKurs.20150510144201, PetitCompiler-Benchmarks-JanKurs.20150510144201
Name: PetitCompiler-JanKurs.20150510144201
Author: JanKurs
Time: 10-05-2015, 04:42:29.192 PM
UUID: 58a4786b-1182-4904-8b44-a13d3918f244
Name: PetitCompiler-Tests-JanKurs.20150510144201
Author: JanKurs
Time: 10-05-2015, 04:32:12.870 PM
UUID: 2a8fd41a-331b-4dcf-a7a3-752a50ce86e7
Name: PetitCompiler-Extras-Tests-JanKurs.20150510144201
Author: JanKurs
Time: 10-05-2015, 04:59:25.308 PM
UUID: ef43bd1a-be60-4e88-b749-8b635622c969
Name: PetitCompiler-Benchmarks-JanKurs.20150510144201
Author: JanKurs
Time: 10-05-2015, 05:04:54.561 PM
UUID: d8e764fd-016b-46e2-9fc1-17c38c18f0e5
"{ Package: 'stx:goodies/petitparser/compiler' }"
"{ NameSpace: Smalltalk }"
PPCRewritingVisitor subclass:#PPCLL1Visitor
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Visitors'
!
!PPCLL1Visitor methodsFor:'as yet unclassified'!
isDeterministicChoice: node
| firsts |
firsts := OrderedCollection new.
node children do: [ :child |
(self startsWithToken: child) ifFalse: [ ^ false ].
firsts addAll: child firstSetWithTokens.
].
(firsts asIdentitySet size = firsts size) ifFalse: [ ^ false ].
firsts do:[:e1 |
firsts do:[:e2 |
e1 == e2 ifFalse: [
(e1 overlapsWith: e2) ifTrue: [ ^ false ] ].
].
].
^ true
"Modified: / 10-05-2015 / 07:27:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
startsWithToken: node
| firstSet terminal total |
total := 0.
firstSet := node firstSetWithTokens.
terminal := (firstSet detect: [ :e | e isTerminal ] ifNone: [ nil ]).
terminal isNil ifFalse: [ ^ false ].
^ true
!
visitChoiceNode: node
super visitChoiceNode: node.
(self isDeterministicChoice: node) ifTrue: [
self change.
^ PPCDeterministicChoiceNode new
children: node children;
name: node name;
firstFollowCache: node firstFollowCache;
yourself
].
^ node
! !