-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathacl_parser.dot
206 lines (206 loc) · 6.28 KB
/
acl_parser.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
digraph ACLParser {
rankdir=LR;
node [ shape = point ];
ENTRY;
en_5;
en_21;
en_13;
eof_1;
eof_2;
eof_3;
eof_4;
eof_7;
eof_8;
eof_9;
eof_10;
eof_11;
eof_12;
eof_14;
eof_15;
eof_16;
eof_17;
eof_18;
eof_19;
eof_22;
eof_23;
eof_24;
eof_25;
eof_26;
eof_27;
eof_28;
eof_29;
eof_30;
eof_31;
eof_32;
node [ shape = circle, height = 0.2 ];
node [ fixedsize = true, height = 0.65, shape = doublecircle ];
13;
14;
15;
16;
17;
18;
19;
20;
21;
22;
23;
24;
25;
26;
27;
28;
29;
30;
31;
32;
node [ shape = circle ];
1 -> 1 [ label = "10 / 332:25" ];
1 -> 13 [ label = "34 / last18, initts" ];
1 -> 2 [ label = "92" ];
1 -> 1 [ label = "DEF" ];
2 -> 1 [ label = "10 / 332:25" ];
2 -> 1 [ label = "DEF" ];
3 -> 3 [ label = "10 / 332:25" ];
3 -> 13 [ label = "39 / last18, initts" ];
3 -> 4 [ label = "92" ];
3 -> 3 [ label = "DEF" ];
4 -> 3 [ label = "10 / 332:25" ];
4 -> 3 [ label = "DEF" ];
5 -> 5 [ label = "10 / 332:25, initts" ];
5 -> 6 [ label = "42" ];
5 -> 5 [ label = "DEF / initts" ];
6 -> 5 [ label = "10 / 332:25, initts" ];
6 -> 6 [ label = "42" ];
6 -> 20 [ label = "47 / 355:48" ];
6 -> 5 [ label = "DEF / initts" ];
7 -> 7 [ label = "10 / 332:25" ];
7 -> 21 [ label = "34 / last2, initts" ];
7 -> 8 [ label = "92" ];
7 -> 7 [ label = "DEF" ];
8 -> 7 [ label = "10 / 332:25" ];
8 -> 7 [ label = "DEF" ];
9 -> 9 [ label = "10 / 332:25" ];
9 -> 21 [ label = "39 / last2, initts" ];
9 -> 10 [ label = "92" ];
9 -> 9 [ label = "DEF" ];
10 -> 9 [ label = "10 / 332:25" ];
10 -> 9 [ label = "DEF" ];
11 -> 27 [ label = "48..57" ];
11 -> 21 [ label = "DEF / lag3, initts" ];
12 -> 31 [ label = "48..57, 65..70, 97..102" ];
12 -> 21 [ label = "DEF / lag3, initts" ];
13 -> 13 [ label = "10 / ts, 332:25, last26, initts" ];
13 -> 14 [ label = "33, 65..90, 95, 97..122 / ts" ];
13 -> 15 [ label = "34 / ts, te" ];
13 -> 16 [ label = "35 / ts" ];
13 -> 13 [ label = "36..38, 40..43, 48..57, 60, 62..64, 92, 94, 96, 124, 126 / ts, last29, initts" ];
13 -> 17 [ label = "39 / ts, te" ];
13 -> 13 [ label = "44, 46 / ts, last27, initts" ];
13 -> 18 [ label = "45 / ts" ];
13 -> 19 [ label = "47 / ts" ];
13 -> 13 [ label = "58, 61 / ts, last19, initts" ];
13 -> 13 [ label = "59 / ts, last28, initts" ];
13 -> 13 [ label = "91 / ts, last22, initts" ];
13 -> 13 [ label = "93 / ts, last23, initts" ];
13 -> 13 [ label = "123 / ts, last20, initts" ];
13 -> 13 [ label = "125 / ts, last21, initts" ];
13 -> 13 [ label = "DEF / ts, last26, initts" ];
14 -> 14 [ label = "48..57, 65..90, 95, 97..122" ];
14 -> 13 [ label = "DEF / next17, initts" ];
15 -> 1 [ label = "10 / 332:25" ];
15 -> 13 [ label = "34 / last18, initts" ];
15 -> 2 [ label = "92" ];
15 -> 1 [ label = "DEF" ];
16 -> 13 [ label = "10 / next25, initts" ];
16 -> 16 [ label = "DEF" ];
17 -> 3 [ label = "10 / 332:25" ];
17 -> 13 [ label = "39 / last18, initts" ];
17 -> 4 [ label = "92" ];
17 -> 3 [ label = "DEF" ];
18 -> 16 [ label = "45" ];
18 -> 13 [ label = "DEF / next29, initts" ];
19 -> 13 [ label = "42 / last24, initts" ];
19 -> 16 [ label = "47" ];
19 -> 13 [ label = "DEF / next29, initts" ];
21 -> 21 [ label = "10 / ts, 332:25, last7, initts" ];
21 -> 21 [ label = "33, 36..38, 40..42, 46, 58, 60..64, 92, 94, 96, 124, 126 / ts, last16, initts" ];
21 -> 22 [ label = "34 / ts, te" ];
21 -> 23 [ label = "35 / ts" ];
21 -> 24 [ label = "39 / ts, te" ];
21 -> 25 [ label = "43 / ts" ];
21 -> 21 [ label = "44 / ts, last14, initts" ];
21 -> 28 [ label = "45 / ts" ];
21 -> 29 [ label = "47 / ts" ];
21 -> 30 [ label = "48 / ts, te" ];
21 -> 26 [ label = "49..57 / ts, te" ];
21 -> 21 [ label = "59 / ts, last6, initts" ];
21 -> 32 [ label = "65..90, 95, 97..122 / ts" ];
21 -> 21 [ label = "91 / ts, last10, initts" ];
21 -> 21 [ label = "93 / ts, last11, initts" ];
21 -> 21 [ label = "123 / ts, last8, initts" ];
21 -> 21 [ label = "125 / ts, last9, initts" ];
21 -> 21 [ label = "DEF / ts, last15, initts" ];
22 -> 7 [ label = "10 / 332:25" ];
22 -> 21 [ label = "34 / last2, initts" ];
22 -> 8 [ label = "92" ];
22 -> 7 [ label = "DEF" ];
23 -> 21 [ label = "10 / next13, initts" ];
23 -> 23 [ label = "DEF" ];
24 -> 9 [ label = "10 / 332:25" ];
24 -> 21 [ label = "39 / last2, initts" ];
24 -> 10 [ label = "92" ];
24 -> 9 [ label = "DEF" ];
25 -> 26 [ label = "48..57 / te" ];
25 -> 21 [ label = "DEF / next16, initts" ];
26 -> 11 [ label = "46" ];
26 -> 26 [ label = "48..57 / te" ];
26 -> 21 [ label = "DEF / next3, initts" ];
27 -> 27 [ label = "48..57" ];
27 -> 21 [ label = "DEF / next4, initts" ];
28 -> 23 [ label = "45" ];
28 -> 26 [ label = "48..57 / te" ];
28 -> 21 [ label = "DEF / next16, initts" ];
29 -> 21 [ label = "42 / last12, initts" ];
29 -> 23 [ label = "47" ];
29 -> 21 [ label = "DEF / next16, initts" ];
30 -> 11 [ label = "46" ];
30 -> 26 [ label = "48..57 / te" ];
30 -> 12 [ label = "120" ];
30 -> 21 [ label = "DEF / next3, initts" ];
31 -> 31 [ label = "48..57, 65..70, 97..102" ];
31 -> 21 [ label = "DEF / next5, initts" ];
32 -> 32 [ label = "48..57, 65..90, 95, 97..122" ];
32 -> 21 [ label = "DEF / next1, initts" ];
ENTRY -> 13 [ label = "IN" ];
en_5 -> 5 [ label = "c_comment" ];
en_21 -> 21 [ label = "value_mode" ];
en_13 -> 13 [ label = "main" ];
1 -> eof_1 [ label = "EOF / lag29" ];
2 -> eof_2 [ label = "EOF / lag29" ];
3 -> eof_3 [ label = "EOF / lag29" ];
4 -> eof_4 [ label = "EOF / lag29" ];
7 -> eof_7 [ label = "EOF / lag16" ];
8 -> eof_8 [ label = "EOF / lag16" ];
9 -> eof_9 [ label = "EOF / lag16" ];
10 -> eof_10 [ label = "EOF / lag16" ];
11 -> eof_11 [ label = "EOF / lag3" ];
12 -> eof_12 [ label = "EOF / lag3" ];
14 -> eof_14 [ label = "EOF / next17" ];
15 -> eof_15 [ label = "EOF / next29" ];
16 -> eof_16 [ label = "EOF / next25" ];
17 -> eof_17 [ label = "EOF / next29" ];
18 -> eof_18 [ label = "EOF / next29" ];
19 -> eof_19 [ label = "EOF / next29" ];
22 -> eof_22 [ label = "EOF / next16" ];
23 -> eof_23 [ label = "EOF / next13" ];
24 -> eof_24 [ label = "EOF / next16" ];
25 -> eof_25 [ label = "EOF / next16" ];
26 -> eof_26 [ label = "EOF / next3" ];
27 -> eof_27 [ label = "EOF / next4" ];
28 -> eof_28 [ label = "EOF / next16" ];
29 -> eof_29 [ label = "EOF / next16" ];
30 -> eof_30 [ label = "EOF / next3" ];
31 -> eof_31 [ label = "EOF / next5" ];
32 -> eof_32 [ label = "EOF / next1" ];
}