• Home
• org.jgrapht
• jgrapht-io
• 1.5.1
• source code
• DOT.interp

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.jgrapht.nio.dot.DOT.interp Maven / Gradle / Ivy

token literal names:
null
'{'
';'
'}'
'['
']'
','
'->'
'--'
':'
'='
null
null
null
null
null
null
null
null
null
null
null
null
null
null

token symbolic names:
null
null
null
null
null
null
null
null
null
null
null
STRICT
GRAPH
DIGRAPH
NODE
EDGE
SUBGRAPH
Numeral
String
Id
HtmlString
WS
COMMENT
LINE_COMMENT
PREPROC

rule names:
graph
compoundStatement
graphHeader
graphIdentifier
statement
identifierPairStatement
attributeStatement
attributesList
aList
edgeStatement
nodeStatement
nodeStatementNoAttributes
nodeIdentifier
port
subgraphStatement
identifierPair
identifier


atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 26, 136, 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, 4, 18, 9, 18, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 5, 3, 43, 10, 3, 7, 3, 45, 10, 3, 12, 3, 14, 3, 48, 11, 3, 3, 3, 3, 3, 3, 4, 5, 4, 53, 10, 4, 3, 4, 3, 4, 5, 4, 57, 10, 4, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 66, 10, 6, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 5, 9, 75, 10, 9, 3, 9, 6, 9, 78, 10, 9, 13, 9, 14, 9, 79, 3, 10, 3, 10, 5, 10, 84, 10, 10, 6, 10, 86, 10, 10, 13, 10, 14, 10, 87, 3, 11, 3, 11, 5, 11, 92, 10, 11, 3, 11, 3, 11, 3, 11, 5, 11, 97, 10, 11, 6, 11, 99, 10, 11, 13, 11, 14, 11, 100, 3, 11, 5, 11, 104, 10, 11, 3, 12, 3, 12, 5, 12, 108, 10, 12, 3, 13, 3, 13, 3, 14, 3, 14, 5, 14, 114, 10, 14, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 120, 10, 15, 3, 16, 3, 16, 5, 16, 124, 10, 16, 5, 16, 126, 10, 16, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 2, 2, 19, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 2, 7, 3, 2, 14, 15, 4, 2, 14, 14, 16, 17, 4, 2, 4, 4, 8, 8, 3, 2, 9, 10, 3, 2, 19, 22, 2, 139, 2, 36, 3, 2, 2, 2, 4, 39, 3, 2, 2, 2, 6, 52, 3, 2, 2, 2, 8, 58, 3, 2, 2, 2, 10, 65, 3, 2, 2, 2, 12, 67, 3, 2, 2, 2, 14, 69, 3, 2, 2, 2, 16, 77, 3, 2, 2, 2, 18, 85, 3, 2, 2, 2, 20, 91, 3, 2, 2, 2, 22, 105, 3, 2, 2, 2, 24, 109, 3, 2, 2, 2, 26, 111, 3, 2, 2, 2, 28, 115, 3, 2, 2, 2, 30, 125, 3, 2, 2, 2, 32, 129, 3, 2, 2, 2, 34, 133, 3, 2, 2, 2, 36, 37, 5, 6, 4, 2, 37, 38, 5, 4, 3, 2, 38, 3, 3, 2, 2, 2, 39, 46, 7, 3, 2, 2, 40, 42, 5, 10, 6, 2, 41, 43, 7, 4, 2, 2, 42, 41, 3, 2, 2, 2, 42, 43, 3, 2, 2, 2, 43, 45, 3, 2, 2, 2, 44, 40, 3, 2, 2, 2, 45, 48, 3, 2, 2, 2, 46, 44, 3, 2, 2, 2, 46, 47, 3, 2, 2, 2, 47, 49, 3, 2, 2, 2, 48, 46, 3, 2, 2, 2, 49, 50, 7, 5, 2, 2, 50, 5, 3, 2, 2, 2, 51, 53, 7, 13, 2, 2, 52, 51, 3, 2, 2, 2, 52, 53, 3, 2, 2, 2, 53, 54, 3, 2, 2, 2, 54, 56, 9, 2, 2, 2, 55, 57, 5, 8, 5, 2, 56, 55, 3, 2, 2, 2, 56, 57, 3, 2, 2, 2, 57, 7, 3, 2, 2, 2, 58, 59, 5, 34, 18, 2, 59, 9, 3, 2, 2, 2, 60, 66, 5, 22, 12, 2, 61, 66, 5, 20, 11, 2, 62, 66, 5, 14, 8, 2, 63, 66, 5, 12, 7, 2, 64, 66, 5, 30, 16, 2, 65, 60, 3, 2, 2, 2, 65, 61, 3, 2, 2, 2, 65, 62, 3, 2, 2, 2, 65, 63, 3, 2, 2, 2, 65, 64, 3, 2, 2, 2, 66, 11, 3, 2, 2, 2, 67, 68, 5, 32, 17, 2, 68, 13, 3, 2, 2, 2, 69, 70, 9, 3, 2, 2, 70, 71, 5, 16, 9, 2, 71, 15, 3, 2, 2, 2, 72, 74, 7, 6, 2, 2, 73, 75, 5, 18, 10, 2, 74, 73, 3, 2, 2, 2, 74, 75, 3, 2, 2, 2, 75, 76, 3, 2, 2, 2, 76, 78, 7, 7, 2, 2, 77, 72, 3, 2, 2, 2, 78, 79, 3, 2, 2, 2, 79, 77, 3, 2, 2, 2, 79, 80, 3, 2, 2, 2, 80, 17, 3, 2, 2, 2, 81, 83, 5, 32, 17, 2, 82, 84, 9, 4, 2, 2, 83, 82, 3, 2, 2, 2, 83, 84, 3, 2, 2, 2, 84, 86, 3, 2, 2, 2, 85, 81, 3, 2, 2, 2, 86, 87, 3, 2, 2, 2, 87, 85, 3, 2, 2, 2, 87, 88, 3, 2, 2, 2, 88, 19, 3, 2, 2, 2, 89, 92, 5, 24, 13, 2, 90, 92, 5, 30, 16, 2, 91, 89, 3, 2, 2, 2, 91, 90, 3, 2, 2, 2, 92, 98, 3, 2, 2, 2, 93, 96, 9, 5, 2, 2, 94, 97, 5, 24, 13, 2, 95, 97, 5, 30, 16, 2, 96, 94, 3, 2, 2, 2, 96, 95, 3, 2, 2, 2, 97, 99, 3, 2, 2, 2, 98, 93, 3, 2, 2, 2, 99, 100, 3, 2, 2, 2, 100, 98, 3, 2, 2, 2, 100, 101, 3, 2, 2, 2, 101, 103, 3, 2, 2, 2, 102, 104, 5, 16, 9, 2, 103, 102, 3, 2, 2, 2, 103, 104, 3, 2, 2, 2, 104, 21, 3, 2, 2, 2, 105, 107, 5, 26, 14, 2, 106, 108, 5, 16, 9, 2, 107, 106, 3, 2, 2, 2, 107, 108, 3, 2, 2, 2, 108, 23, 3, 2, 2, 2, 109, 110, 5, 26, 14, 2, 110, 25, 3, 2, 2, 2, 111, 113, 5, 34, 18, 2, 112, 114, 5, 28, 15, 2, 113, 112, 3, 2, 2, 2, 113, 114, 3, 2, 2, 2, 114, 27, 3, 2, 2, 2, 115, 116, 7, 11, 2, 2, 116, 119, 5, 34, 18, 2, 117, 118, 7, 11, 2, 2, 118, 120, 5, 34, 18, 2, 119, 117, 3, 2, 2, 2, 119, 120, 3, 2, 2, 2, 120, 29, 3, 2, 2, 2, 121, 123, 7, 18, 2, 2, 122, 124, 5, 34, 18, 2, 123, 122, 3, 2, 2, 2, 123, 124, 3, 2, 2, 2, 124, 126, 3, 2, 2, 2, 125, 121, 3, 2, 2, 2, 125, 126, 3, 2, 2, 2, 126, 127, 3, 2, 2, 2, 127, 128, 5, 4, 3, 2, 128, 31, 3, 2, 2, 2, 129, 130, 5, 34, 18, 2, 130, 131, 7, 12, 2, 2, 131, 132, 5, 34, 18, 2, 132, 33, 3, 2, 2, 2, 133, 134, 9, 6, 2, 2, 134, 35, 3, 2, 2, 2, 20, 42, 46, 52, 56, 65, 74, 79, 83, 87, 91, 96, 100, 103, 107, 113, 119, 123, 125]