ltl-dsl.0.1.3.source-code.Ltl.interp 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
token literal names:
null
','
':'
'true'
'false'
'sink'
'deadlock'
'current'
'G'
'F'
'X'
'H'
'O'
'Y'
null
'U'
'W'
'R'
'S'
'T'
null
null
null
'=>'
null
null
null
'{'
'}'
'['
']'
'('
')'
null
'def'
'before'
'after'
'between'
'after_until'
'var'
'num'
'seq'
'without'
'count'
'end'
'up'
'down'
'to'
null
null
null

token symbolic names:
null
null
null
TRUE
FALSE
SINK
DEADLOCK
CURRENT
GLOBALLY
FINALLY
NEXT
HISTORICALLY
ONCE
YESTERDAY
UNARY_COMBINED
UNTIL
WEAKUNTIL
RELEASE
SINCE
TRIGGER
NOT
AND
OR
IMPLIES
PREDICATE
ACTION
ENABLED
LEFT_CURLY
RIGHT_CURLY
LEFT_BRACKET
RIGHT_BRACKET
LEFT_PAREN
RIGHT_PAREN
COMMENT
PATTERN_DEF
BEFORE_SCOPE
AFTER_SCOPE
BETWEEN_SCOPE
UNTIL_SCOPE
VAR
NUM_VAR
SEQ_VAR
SEQ_WITHOUT
LOOP_BEGIN
LOOP_END
UP
DOWN
TO
NUM
ID
WS

rule names:
start
start_pattern_def
body
argument
pattern_def
pattern_def_param
pattern_call
scope_call
var_def
var_assign
seq_def
seq_call
loop
loop_body
expr
atom


atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 52, 224, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 3, 2, 5, 2, 36, 10, 2, 3, 2, 3, 2, 3, 3, 7, 3, 41, 10, 3, 12, 3, 14, 3, 44, 11, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 7, 4, 52, 10, 4, 12, 4, 14, 4, 55, 11, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 5, 5, 67, 10, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 7, 6, 75, 10, 6, 12, 6, 14, 6, 78, 11, 6, 5, 6, 80, 10, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 5, 7, 93, 10, 7, 3, 8, 3, 8, 3, 8, 3, 8, 3, 8, 7, 8, 100, 10, 8, 12, 8, 14, 8, 103, 11, 8, 5, 8, 105, 10, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 5, 9, 116, 10, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 6, 12, 133, 10, 12, 13, 12, 14, 12, 134, 3, 12, 3, 12, 5, 12, 139, 10, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 5, 12, 146, 10, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 5, 14, 156, 10, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 15, 3, 15, 6, 15, 168, 10, 15, 13, 15, 14, 15, 169, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 5, 16, 190, 10, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 7, 16, 204, 10, 16, 12, 16, 14, 16, 207, 11, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 5, 17, 222, 10, 17, 3, 17, 2, 3, 30, 18, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 2, 8, 3, 2, 37, 40, 3, 2, 41, 43, 3, 2, 47, 48, 3, 2, 17, 21, 3, 2, 5, 6, 3, 2, 7, 9, 2, 251, 2, 35, 3, 2, 2, 2, 4, 42, 3, 2, 2, 2, 6, 53, 3, 2, 2, 2, 8, 66, 3, 2, 2, 2, 10, 68, 3, 2, 2, 2, 12, 92, 3, 2, 2, 2, 14, 94, 3, 2, 2, 2, 16, 108, 3, 2, 2, 2, 18, 119, 3, 2, 2, 2, 20, 124, 3, 2, 2, 2, 22, 145, 3, 2, 2, 2, 24, 147, 3, 2, 2, 2, 26, 152, 3, 2, 2, 2, 28, 167, 3, 2, 2, 2, 30, 189, 3, 2, 2, 2, 32, 221, 3, 2, 2, 2, 34, 36, 5, 6, 4, 2, 35, 34, 3, 2, 2, 2, 35, 36, 3, 2, 2, 2, 36, 37, 3, 2, 2, 2, 37, 38, 7, 2, 2, 3, 38, 3, 3, 2, 2, 2, 39, 41, 5, 10, 6, 2, 40, 39, 3, 2, 2, 2, 41, 44, 3, 2, 2, 2, 42, 40, 3, 2, 2, 2, 42, 43, 3, 2, 2, 2, 43, 45, 3, 2, 2, 2, 44, 42, 3, 2, 2, 2, 45, 46, 7, 2, 2, 3, 46, 5, 3, 2, 2, 2, 47, 52, 5, 10, 6, 2, 48, 52, 5, 18, 10, 2, 49, 52, 5, 20, 11, 2, 50, 52, 5, 26, 14, 2, 51, 47, 3, 2, 2, 2, 51, 48, 3, 2, 2, 2, 51, 49, 3, 2, 2, 2, 51, 50, 3, 2, 2, 2, 52, 55, 3, 2, 2, 2, 53, 51, 3, 2, 2, 2, 53, 54, 3, 2, 2, 2, 54, 56, 3, 2, 2, 2, 55, 53, 3, 2, 2, 2, 56, 57, 5, 30, 16, 2, 57, 7, 3, 2, 2, 2, 58, 67, 7, 51, 2, 2, 59, 67, 7, 50, 2, 2, 60, 67, 5, 22, 12, 2, 61, 62, 7, 33, 2, 2, 62, 63, 5, 8, 5, 2, 63, 64, 7, 34, 2, 2, 64, 67, 3, 2, 2, 2, 65, 67, 5, 30, 16, 2, 66, 58, 3, 2, 2, 2, 66, 59, 3, 2, 2, 2, 66, 60, 3, 2, 2, 2, 66, 61, 3, 2, 2, 2, 66, 65, 3, 2, 2, 2, 67, 9, 3, 2, 2, 2, 68, 69, 7, 36, 2, 2, 69, 70, 7, 51, 2, 2, 70, 79, 7, 33, 2, 2, 71, 76, 5, 12, 7, 2, 72, 73, 7, 3, 2, 2, 73, 75, 5, 12, 7, 2, 74, 72, 3, 2, 2, 2, 75, 78, 3, 2, 2, 2, 76, 74, 3, 2, 2, 2, 76, 77, 3, 2, 2, 2, 77, 80, 3, 2, 2, 2, 78, 76, 3, 2, 2, 2, 79, 71, 3, 2, 2, 2, 79, 80, 3, 2, 2, 2, 80, 81, 3, 2, 2, 2, 81, 82, 7, 34, 2, 2, 82, 83, 7, 4, 2, 2, 83, 84, 5, 6, 4, 2, 84, 11, 3, 2, 2, 2, 85, 93, 7, 51, 2, 2, 86, 87, 7, 51, 2, 2, 87, 88, 7, 4, 2, 2, 88, 93, 7, 42, 2, 2, 89, 90, 7, 51, 2, 2, 90, 91, 7, 4, 2, 2, 91, 93, 7, 43, 2, 2, 92, 85, 3, 2, 2, 2, 92, 86, 3, 2, 2, 2, 92, 89, 3, 2, 2, 2, 93, 13, 3, 2, 2, 2, 94, 95, 7, 51, 2, 2, 95, 104, 7, 33, 2, 2, 96, 101, 5, 8, 5, 2, 97, 98, 7, 3, 2, 2, 98, 100, 5, 8, 5, 2, 99, 97, 3, 2, 2, 2, 100, 103, 3, 2, 2, 2, 101, 99, 3, 2, 2, 2, 101, 102, 3, 2, 2, 2, 102, 105, 3, 2, 2, 2, 103, 101, 3, 2, 2, 2, 104, 96, 3, 2, 2, 2, 104, 105, 3, 2, 2, 2, 105, 106, 3, 2, 2, 2, 106, 107, 7, 34, 2, 2, 107, 15, 3, 2, 2, 2, 108, 109, 9, 2, 2, 2, 109, 110, 7, 33, 2, 2, 110, 111, 5, 8, 5, 2, 111, 112, 7, 3, 2, 2, 112, 115, 5, 8, 5, 2, 113, 114, 7, 3, 2, 2, 114, 116, 5, 8, 5, 2, 115, 113, 3, 2, 2, 2, 115, 116, 3, 2, 2, 2, 116, 117, 3, 2, 2, 2, 117, 118, 7, 34, 2, 2, 118, 17, 3, 2, 2, 2, 119, 120, 9, 3, 2, 2, 120, 121, 7, 51, 2, 2, 121, 122, 7, 4, 2, 2, 122, 123, 5, 8, 5, 2, 123, 19, 3, 2, 2, 2, 124, 125, 7, 51, 2, 2, 125, 126, 7, 4, 2, 2, 126, 127, 5, 8, 5, 2, 127, 21, 3, 2, 2, 2, 128, 129, 7, 33, 2, 2, 129, 132, 5, 8, 5, 2, 130, 131, 7, 3, 2, 2, 131, 133, 5, 8, 5, 2, 132, 130, 3, 2, 2, 2, 133, 134, 3, 2, 2, 2, 134, 132, 3, 2, 2, 2, 134, 135, 3, 2, 2, 2, 135, 138, 3, 2, 2, 2, 136, 137, 7, 44, 2, 2, 137, 139, 5, 8, 5, 2, 138, 136, 3, 2, 2, 2, 138, 139, 3, 2, 2, 2, 139, 140, 3, 2, 2, 2, 140, 141, 7, 34, 2, 2, 141, 146, 3, 2, 2, 2, 142, 143, 7, 51, 2, 2, 143, 144, 7, 44, 2, 2, 144, 146, 5, 8, 5, 2, 145, 128, 3, 2, 2, 2, 145, 142, 3, 2, 2, 2, 146, 23, 3, 2, 2, 2, 147, 148, 7, 43, 2, 2, 148, 149, 7, 33, 2, 2, 149, 150, 5, 8, 5, 2, 150, 151, 7, 34, 2, 2, 151, 25, 3, 2, 2, 2, 152, 155, 7, 45, 2, 2, 153, 154, 7, 51, 2, 2, 154, 156, 7, 4, 2, 2, 155, 153, 3, 2, 2, 2, 155, 156, 3, 2, 2, 2, 156, 157, 3, 2, 2, 2, 157, 158, 5, 8, 5, 2, 158, 159, 9, 4, 2, 2, 159, 160, 7, 49, 2, 2, 160, 161, 5, 8, 5, 2, 161, 162, 7, 4, 2, 2, 162, 163, 5, 28, 15, 2, 163, 164, 7, 46, 2, 2, 164, 27, 3, 2, 2, 2, 165, 168, 5, 18, 10, 2, 166, 168, 5, 20, 11, 2, 167, 165, 3, 2, 2, 2, 167, 166, 3, 2, 2, 2, 168, 169, 3, 2, 2, 2, 169, 167, 3, 2, 2, 2, 169, 170, 3, 2, 2, 2, 170, 29, 3, 2, 2, 2, 171, 172, 8, 16, 1, 2, 172, 173, 7, 22, 2, 2, 173, 190, 5, 30, 16, 15, 174, 175, 7, 10, 2, 2, 175, 190, 5, 30, 16, 14, 176, 177, 7, 11, 2, 2, 177, 190, 5, 30, 16, 13, 178, 179, 7, 12, 2, 2, 179, 190, 5, 30, 16, 12, 180, 181, 7, 13, 2, 2, 181, 190, 5, 30, 16, 11, 182, 183, 7, 14, 2, 2, 183, 190, 5, 30, 16, 10, 184, 185, 7, 15, 2, 2, 185, 190, 5, 30, 16, 9, 186, 187, 7, 16, 2, 2, 187, 190, 5, 30, 16, 8, 188, 190, 5, 32, 17, 2, 189, 171, 3, 2, 2, 2, 189, 174, 3, 2, 2, 2, 189, 176, 3, 2, 2, 2, 189, 178, 3, 2, 2, 2, 189, 180, 3, 2, 2, 2, 189, 182, 3, 2, 2, 2, 189, 184, 3, 2, 2, 2, 189, 186, 3, 2, 2, 2, 189, 188, 3, 2, 2, 2, 190, 205, 3, 2, 2, 2, 191, 192, 12, 7, 2, 2, 192, 193, 9, 5, 2, 2, 193, 204, 5, 30, 16, 8, 194, 195, 12, 6, 2, 2, 195, 196, 7, 23, 2, 2, 196, 204, 5, 30, 16, 7, 197, 198, 12, 5, 2, 2, 198, 199, 7, 24, 2, 2, 199, 204, 5, 30, 16, 6, 200, 201, 12, 4, 2, 2, 201, 202, 7, 25, 2, 2, 202, 204, 5, 30, 16, 5, 203, 191, 3, 2, 2, 2, 203, 194, 3, 2, 2, 2, 203, 197, 3, 2, 2, 2, 203, 200, 3, 2, 2, 2, 204, 207, 3, 2, 2, 2, 205, 203, 3, 2, 2, 2, 205, 206, 3, 2, 2, 2, 206, 31, 3, 2, 2, 2, 207, 205, 3, 2, 2, 2, 208, 222, 7, 51, 2, 2, 209, 222, 5, 14, 8, 2, 210, 222, 5, 16, 9, 2, 211, 222, 5, 24, 13, 2, 212, 222, 7, 26, 2, 2, 213, 222, 7, 27, 2, 2, 214, 222, 7, 28, 2, 2, 215, 216, 7, 33, 2, 2, 216, 217, 5, 30, 16, 2, 217, 218, 7, 34, 2, 2, 218, 222, 3, 2, 2, 2, 219, 222, 9, 6, 2, 2, 220, 222, 9, 7, 2, 2, 221, 208, 3, 2, 2, 2, 221, 209, 3, 2, 2, 2, 221, 210, 3, 2, 2, 2, 221, 211, 3, 2, 2, 2, 221, 212, 3, 2, 2, 2, 221, 213, 3, 2, 2, 2, 221, 214, 3, 2, 2, 2, 221, 215, 3, 2, 2, 2, 221, 219, 3, 2, 2, 2, 221, 220, 3, 2, 2, 2, 222, 33, 3, 2, 2, 2, 23, 35, 42, 51, 53, 66, 76, 79, 92, 101, 104, 115, 134, 138, 145, 155, 167, 169, 189, 203, 205, 221]