compiler/PEGFsaPredicateTransition.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 24 Aug 2015 15:34:14 +0100
changeset 524 f6f68d32de73
parent 515 b5316ef15274
permissions -rw-r--r--
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 }"

PEGFsaTransition subclass:#PEGFsaPredicateTransition
	instanceVariableNames:'predicate'
	classVariableNames:''
	poolDictionaries:''
	category:'PetitCompiler-FSA'
!

!PEGFsaPredicateTransition methodsFor:'accessing'!

predicate
    ^ predicate
!

predicate: anObject
    predicate := anObject
! !

!PEGFsaPredicateTransition methodsFor:'comparing'!

equals: anotherTransition
    (super equals: anotherTransition) ifFalse: [ ^ false ].
    (predicate asString = anotherTransition predicate asString) ifFalse: [ ^ false ].

    ^ true
! !

!PEGFsaPredicateTransition methodsFor:'gt'!

gtName
    | gtName |
    gtName := self predicate asString.
    priority < 0 ifTrue: [ gtName := gtName, ',', priority asString ].
    ^ gtName
! !

!PEGFsaPredicateTransition methodsFor:'set operations'!

intersection: transition
    | intersection |
    intersection := Array new: 255 withAll: false.
    ^ intersection
! !

!PEGFsaPredicateTransition methodsFor:'testing'!

accepts: character
    self assert: character isCharacter.
    ^ self acceptsCodePoint: character codePoint
!

acceptsCodePoint: codePoint
    self assert: codePoint isInteger.
    ^ predicate value: codePoint
!

isCharacterTransition
    ^ false
!

isEOF
    ^ false
!

isParser
    self halt: 'delete me!!'.
    ^ false
!

isPredicateTransition
    ^ true
!

overlapsWith: transition
    ^ false
! !