Ported PetitCompiler-(Tests).
Name: PetitCompiler-JanKurs.41
Author: JanKurs
Time: 25-10-2014, 03:30:28 AM
UUID: 105186d1-1187-4ca6-8d66-3d2d47def4d3
Repository: http://smalltalkhub.com/mc/JanKurs/PetitParser/main
Name: PetitCompiler-Tests-JanKurs.4
Author: JanKurs
Time: 25-10-2014, 03:30:58 AM
UUID: 3e798fad-d5f6-4881-a583-f0bbffe27869
Repository: http://smalltalkhub.com/mc/JanKurs/PetitParser/main
In addition, fixed some problems to make it compilable under Smalltalk/X:
* Fixed PPCTokenNode>>initialize - there's no children instvar, it's initialization removed.
* Fixed PPCContextMemento>>propertyAt:ifAbsent: - removed return-in-return, not compilable under Smalltalk/X (C issues)
* Fixed PPCContextMemento>>hash - there's no stream instvar, access to it removed.
* Fixed PPCAbstractCharacterNode>>compileWith:effect:id: - removed dot after method selector (stc does not like it)
"{ Package: 'stx:goodies/petitparser/compiler' }"
PPCListNode subclass:#PPCChoiceNode
instanceVariableNames:''
classVariableNames:''
poolDictionaries:''
category:'PetitCompiler-Nodes'
!
PPCChoiceNode comment:''
!
!PPCChoiceNode methodsFor:'as yet unclassified'!
acceptsEpsilon
^ self acceptsEpsilonOpenSet: IdentitySet new.
!
acceptsEpsilonOpenSet: set
set add: self.
^ self children anySatisfy: [:e | e acceptsEpsilonOpenSet: set ].
!
compileWith: compiler effect: effect id: id
| firsts guard |
compiler addVariable: 'element'.
firsts := (self firstSetSuchThat: [ :e | (e isKindOf: PPCTrimmingTokenNode) or: [ e isTerminal ] ]).
compiler startMethod: id.
compiler addVariable: 'element'.
"If we start with trimming token, we should invoke the whitespace parser"
(firsts allSatisfy: [ :e | e isKindOf: PPCTrimmingTokenNode ]) ifTrue: [
firsts anyOne compileWhitespace: compiler.
].
(1 to: children size) do: [ :idx | |child|
child := children at: idx.
(compiler guards and: [ (guard := PPCGuard on: child) makesSense ]) ifTrue: [
guard id: (compiler idFor: guard prefixed: #guard).
guard compileGuard: compiler.
compiler add: ' ifTrue: [ '.
compiler indent.
compiler add: 'self clearError.'.
compiler add: 'element := '.
compiler callOnLine: (child compileWith: compiler).
compiler add: 'error ifFalse: [ ^ element ].'.
compiler dedent.
compiler add: ' ].'.
] ifFalse: [
compiler add: 'self clearError.'.
compiler add: 'element := '.
compiler callOnLine: (child compileWith: compiler).
compiler add: 'error ifFalse: [ ^ element ].'.
]
].
compiler add: '^ self error: ''no choice suitable'''.
^ compiler stopMethod.
!
prefix
^ #ch
! !
!PPCChoiceNode methodsFor:'optimizing'!
optimize: params status: changeStatus
| retval |
retval := self.
retval := retval rewrite: params status: changeStatus.
retval := retval inline: params status: changeStatus.
^ retval
! !