compiler/PPTokenizingCompiledParser.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 17 Aug 2015 23:11:56 +0100
changeset 518 a6d8b93441b0
parent 515 b5316ef15274
child 524 f6f68d32de73
permissions -rw-r--r--
Portability fixes * do not use Object>>asString. Not all Smalltalks implement it. * do not use Object>>name. Not all Smalltalks implement it. * do not use Dictionary keysAndValuesRemove:. Not all Smalltalks implement it. * do not use Class>>methods The semantics is different among Smalltalks. Use `Class methodDictionary values` instead. * do not modify dictionary in #at:ifAbsentPut: block!

"{ Package: 'stx:goodies/petitparser/compiler' }"

"{ NameSpace: Smalltalk }"

PPCompiledParser subclass:#PPTokenizingCompiledParser
	instanceVariableNames:'currentTokenValue currentTokenType scanner'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Parsers'
!

!PPTokenizingCompiledParser class methodsFor:'as yet unclassified'!

acceptsLoggingOfCompilation
    ^ self == PPTokenizingCompiledParser
! !

!PPTokenizingCompiledParser methodsFor:'initialization'!

initialize
    super initialize.
    
! !

!PPTokenizingCompiledParser methodsFor:'tokenizing'!

consume: tokenType
    self halt: 'deprecated'.
    (self perform: tokenType) ifTrue: [ 
        currentTokenType := nil.
        ^ currentTokenValue.
    ].	
    "self error: 'expected: ', tokenType storeString, ' got ', currentTokenType storeString."
    self error.
!

consumeWhitespace
    "self shouldBeImplemented "
!

currentTokenType
    currentTokenType isNil ifTrue: [ self nextToken ].
    ^ currentTokenType
!

currentTokenTypeIs: tokenType
    "if the type is read"
    self halt: 'deprecated'.
    currentTokenType isNil ifFalse: [ ^ currentTokenType = tokenType ].
    
    "if not, try to read the token"
    ^ self perform: tokenType.
!

currentTokenValue
    currentTokenType isNil ifTrue: [ self nextToken ].
    ^ currentTokenType
!

nextToken
    self shouldBeImplemented 
!

parseOn: aPPContext
    | retval |

    context := aPPContext.
    context compiledParser: self.
    failure := PPFailure new message: nil; context: context; position: -1.
    context noteFailure: failure.
    error := false.
    currentTokenType := nil.
    scanner := (self class classVarNamed: #scannerClass) new.
    scanner stream: aPPContext.


    self consumeWhitespace.
    retval := self perform: startSymbol.
"	self consumeWhitespace."

    (retval isPetitFailure) ifTrue: [ aPPContext noteFailure: failure ].
    error ifTrue: [ aPPContext noteFailure: failure. retval := failure ].
    
"	aPPContext position: context position."
    ^ retval
! !