View Javadoc

1   /* Generated By:JJTree&JavaCC: Do not edit this line. DOTParserConstants.java */
2   package org.glassbox.dotparser;
3   
4   public interface DOTParserConstants {
5   
6     int EOF = 0;
7     int SINGLE_LINE_COMMENT = 8;
8     int MULTI_LINE_COMMENT = 9;
9     int DIGRAPH = 11;
10    int EDGE = 12;
11    int GRAPH = 13;
12    int NODE = 14;
13    int STRICT = 15;
14    int SUBGRAPH = 16;
15    int EQ = 17;
16    int LBRACE = 18;
17    int RBRACE = 19;
18    int EDGE_UNDIRECTED = 20;
19    int EDGE_DIRECTED = 21;
20    int LBRACKET = 22;
21    int RBRACKET = 23;
22    int COMMA = 24;
23    int SEMICOLON = 25;
24    int COLON = 26;
25    int ORIENTATION = 27;
26    int ID = 28;
27    int HTML = 29;
28    int $HtmlString = 30;
29    int $BaseChar = 31;
30    int $Ideographic = 32;
31    int CombiningChar = 33;
32    int $Digit = 34;
33    int Extender = 35;
34    int $EscapedCharacter = 36;
35    int $NotWhitespaceNotQuoteNotEscape = 37;
36    int $Letter = 38;
37    int $Number = 39;
38    int $UnquotedString = 40;
39    int $QuotedString = 41;
40  
41    int DEFAULT = 0;
42    int IN_SINGLE_LINE_COMMENT = 1;
43    int IN_MULTI_LINE_COMMENT = 2;
44  
45    String[] tokenImage = {
46      "<EOF>",
47      "\" \"",
48      "\"//t\"",
49      "\"//n\"",
50      "\"//r\"",
51      "\"//f\"",
52      "\"//\"",
53      "\"/*\"",
54      "<SINGLE_LINE_COMMENT>",
55      "\"*/\"",
56      "<token of kind 10>",
57      "\"digraph\"",
58      "\"edge\"",
59      "\"graph\"",
60      "\"node\"",
61      "\"strict\"",
62      "\"subgraph\"",
63      "\"=\"",
64      "\"{\"",
65      "\"}\"",
66      "\"--\"",
67      "\"->\"",
68      "\"[\"",
69      "\"]\"",
70      "\",\"",
71      "\";\"",
72      "\":\"",
73      "<ORIENTATION>",
74      "<ID>",
75      "<HTML>",
76      "<$HtmlString>",
77      "<$BaseChar>",
78      "<$Ideographic>",
79      "<CombiningChar>",
80      "<$Digit>",
81      "<Extender>",
82      "<$EscapedCharacter>",
83      "<$NotWhitespaceNotQuoteNotEscape>",
84      "<$Letter>",
85      "<$Number>",
86      "<$UnquotedString>",
87      "<$QuotedString>",
88    };
89  
90  }