ltl-dsl.0.1.3.source-code.Ltl.tokens Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ltl-dsl Show documentation

Parser for a LTL Pattern DSL

There is a newer version: 0.2.2

T__0=1
T__1=2
TRUE=3
FALSE=4
SINK=5
DEADLOCK=6
CURRENT=7
GLOBALLY=8
FINALLY=9
NEXT=10
HISTORICALLY=11
ONCE=12
YESTERDAY=13
UNARY_COMBINED=14
UNTIL=15
WEAKUNTIL=16
RELEASE=17
SINCE=18
TRIGGER=19
NOT=20
AND=21
OR=22
IMPLIES=23
PREDICATE=24
ACTION=25
ENABLED=26
LEFT_CURLY=27
RIGHT_CURLY=28
LEFT_BRACKET=29
RIGHT_BRACKET=30
LEFT_PAREN=31
RIGHT_PAREN=32
COMMENT=33
PATTERN_DEF=34
BEFORE_SCOPE=35
AFTER_SCOPE=36
BETWEEN_SCOPE=37
UNTIL_SCOPE=38
VAR=39
NUM_VAR=40
SEQ_VAR=41
SEQ_WITHOUT=42
LOOP_BEGIN=43
LOOP_END=44
UP=45
DOWN=46
TO=47
NUM=48
ID=49
WS=50
','=1
':'=2
'true'=3
'false'=4
'sink'=5
'deadlock'=6
'current'=7
'G'=8
'F'=9
'X'=10
'H'=11
'O'=12
'Y'=13
'U'=15
'W'=16
'R'=17
'S'=18
'T'=19
'=>'=23
'{'=27
'}'=28
'['=29
']'=30
'('=31
')'=32
'def'=34
'before'=35
'after'=36
'between'=37
'after_until'=38
'var'=39
'num'=40
'seq'=41
'without'=42
'count'=43
'end'=44
'up'=45
'down'=46
'to'=47