compiler/FooScanner.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Fri, 24 Jul 2015 15:06:54 +0100
changeset 502 1e45d3c96ec5
child 515 b5316ef15274
permissions -rw-r--r--
Updated to PetitCompiler-JanVrany.135, PetitCompiler-Tests-JanKurs.93, PetitCompiler-Extras-Tests-JanVrany.16, PetitCompiler-Benchmarks-JanKurs.12 Name: PetitCompiler-JanVrany.135 Author: JanVrany Time: 22-07-2015, 06:53:29.127 PM UUID: 890178b5-275d-46af-a2ad-1738998f07cb Ancestors: PetitCompiler-JanVrany.134 Name: PetitCompiler-Tests-JanKurs.93 Author: JanKurs Time: 20-07-2015, 11:30:10.283 PM UUID: 6473e671-ad70-42ca-b6c3-654b78edc531 Ancestors: PetitCompiler-Tests-JanKurs.92 Name: PetitCompiler-Extras-Tests-JanVrany.16 Author: JanVrany Time: 22-07-2015, 05:18:22.387 PM UUID: 8f6f9129-dbba-49b1-9402-038470742f98 Ancestors: PetitCompiler-Extras-Tests-JanKurs.15 Name: PetitCompiler-Benchmarks-JanKurs.12 Author: JanKurs Time: 06-07-2015, 02:10:06.901 PM UUID: cb24f1ac-46a4-494d-9780-64576f0f0dba Ancestors: PetitCompiler-Benchmarks-JanKurs.11, PetitCompiler-Benchmarks-JanVrany.e29bd90f388e.20150619081300

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

"{ NameSpace: Smalltalk }"

PPCScanner subclass:#FooScanner
	instanceVariableNames:''
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-Scanner'
!

!FooScanner methodsFor:'as yet unclassified'!

nextTokenA
    "a"
    self step.
    self peek == $a ifFalse: [ ^ self return ].

    self recordMatch: #a.

    ^ self return
!

nextTokenAAorA
    "aa / a"
    self step.
    (self peek == $a) ifFalse: [ ^ self return ].
    self recordMatch: #a priority: -1.	

    self step.
    (self peek == $a) ifFalse: [ ^ self return ].
    self recordMatch: #aa priority: 0.	

    ^ self return.
!

nextTokenAAplusA
    "(aa)+a"
    self step.
    self peek == $a ifFalse: [ ^ self return ].

    self step.
    self peek == $a ifFalse: [ ^ self return. ].

    [ 
        self step.
        self peek == $a ifFalse: [ ^ self returnPriority: 0 ].
        self recordMatch: #AAplusA priority: -1.

        self step.
        self peek == $a.
    ] whileTrue.

    ^ self returnPriority: -1
!

nextTokenAAstarA
    "(aa)*a"
    self step.
    self peek == $a ifFalse: [ ^ self return ].

    [ 
        self recordMatch: #AAstarA priority: -1.

        self step.
        self peek == $a ifFalse: [ ^ self returnPriority: -1 ].
        self step.
        
        self peek == $a	
    ] whileTrue.
    
    ^ self returnPriority: 0
!

nextTokenAB
    "ab"
    self step.
    self peek == $a ifFalse: [ ^ self return ].
    
    self step.
    self peek == $b ifFalse: [ ^ self return ].
    self recordMatch: #b.
    
    ^ self return.
!

nextTokenABorBC
    "a"
    self step.
    (self peek == $a) ifTrue: [ 

        self step.
        self peek == $b ifFalse: [ ^ self return ].
        self recordMatch: #ab.

        ^ self return	
    ].

    (self peek == $b) ifTrue: [ 
        self step.
        self peek == $c ifFalse: [ ^ self return ].
        self recordMatch: #bc.	

        ^ self return
    ].

    ^ self return
!

nextTokenABstarA
    "(ab)*a"
    self step.
    self peek == $a ifFalse: [ ^ self return ].

    [ 
        self recordMatch: #ABstarA priority: -1.
        
        self step.
        self peek == $b ifFalse: [ ^ self returnPriority: -1 ].
    
        self step.
        self peek == $a.
    ] whileTrue.

    ^ self returnPriority: 0
!

nextTokenA_Bstar_A
    "ab"
    self step.
    self peek == $a ifFalse: [ ^ self return ].

    [
        self step.
        self peek == $b.
    ] whileTrue.


    self peek == $a ifFalse: [ ^ self return ].
    self recordMatch: #A_Bstar_A.

    ^ self return.
!

nextTokenAorAA
    "aa / a"
    self step.
    (self peek == $a) ifTrue: [ 
        self recordMatch: #a priority: 0.	
        ^ self return
    ].

    self step.
    (self peek == $a) ifTrue: [ 
        self recordMatch: #aa priority: -1.	
        ^ self return
    ].
!

nextTokenAorB
    "a"
    self step.
    (self peek == $a) ifTrue: [ 
        self recordMatch: #a.	
        ^ self return
    ].
    (self peek == $b) ifTrue: [ 
        self recordMatch: #b.	
        ^ self return
    ].

    ^ self return
!

nextTokenAstarA
    "a*a"
    [
        self step.
        self peek == $a.
    ] whileTrue.

    self peek == $a ifFalse: [ ^ self return ].
    self recordMatch: #AstarA.
    ^ self return
!

nextTokenAstarB
    "a*b"
    [ 
        self step.
        self peek == $a.
    ] whileTrue.

    self peek == $b ifFalse: [ ^ self return ].
    self recordMatch: #AstarB.
    ^ self return
!

nextTokenAuorA
    "a | a"
    self step.
    (self peek == $a) ifTrue: [ 
        self recordMatch: #a1.	
        self recordMatch: #a2.
        ^ self return	
    ].

    ^ self return	
! !