compiler/PEGFsaPredicateTransition.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 17 Aug 2015 12:13:16 +0100
changeset 515 b5316ef15274
child 524 f6f68d32de73
permissions -rw-r--r--
Updated to PetitCompiler-JanKurs.160, PetitCompiler-Tests-JanKurs.112, PetitCompiler-Extras-Tests-JanKurs.25, PetitCompiler-Benchmarks-JanKurs.17 Name: PetitCompiler-JanKurs.160 Author: JanKurs Time: 17-08-2015, 09:52:26.291 AM UUID: 3b4bfc98-8098-4951-af83-a59e2585b121 Name: PetitCompiler-Tests-JanKurs.112 Author: JanKurs Time: 16-08-2015, 05:00:32.936 PM UUID: 85613d47-08f3-406f-9823-9cdab451e805 Name: PetitCompiler-Extras-Tests-JanKurs.25 Author: JanKurs Time: 16-08-2015, 05:00:10.328 PM UUID: 09731810-51a1-4151-8d3a-56b636fbd1f7 Name: PetitCompiler-Benchmarks-JanKurs.17 Author: JanKurs Time: 05-08-2015, 05:29:32.407 PM UUID: e544b5f1-bcf8-470b-93a6-d2363e4dfc8a

"{ 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
!

isPredicateTransition
    ^ true
!

overlapsWith: transition
    ^ false
! !