blob: 5ee8ccaa0186db1d41fea6c6bb610cca788ecaaa (
plain)
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
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
|
%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: Gros nain
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 225
%%EndComments
%%BeginProlog
save
/DotDict 200 dict def
DotDict begin
%%BeginResource: procset
/coord-font-family /Times-Roman def
/default-font-family /Times-Roman def
/coordfont coord-font-family findfont 8 scalefont def
/InvScaleFactor 1.0 def
/set_scale {
dup 1 exch div /InvScaleFactor exch def
dup scale
} bind def
% styles
/solid { } bind def
/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
/bold { 2 setlinewidth } bind def
/filled { } bind def
/unfilled { } bind def
/rounded { } bind def
/diagonals { } bind def
% hooks for setting color
/nodecolor { sethsbcolor } bind def
/edgecolor { sethsbcolor } bind def
/graphcolor { sethsbcolor } bind def
/nopcolor {pop pop pop} bind def
/beginpage { % i j npages
/npages exch def
/j exch def
/i exch def
/str 10 string def
npages 1 gt {
gsave
coordfont setfont
0 0 moveto
(() show i str cvs show (,) show j str cvs show ()) show
grestore
} if
} bind def
/set_font {
findfont exch
scalefont setfont
} def
% draw aligned label in bounding box aligned to current point
% alignfactor tells what fraction to place on the left.
% -.5 is centered.
/alignedtext { % text labelwidth fontsz alignfactor
/alignfactor exch def
/fontsz exch def
/width exch def
/text exch def
gsave
% even if node or edge is dashed, don't paint text with dashes
[] 0 setdash
currentpoint newpath moveto
text stringwidth pop
alignfactor mul fontsz -.3 mul rmoveto
text show
grestore
} def
/boxprim { % xcorner ycorner xsize ysize
4 2 roll
moveto
2 copy
exch 0 rlineto
0 exch rlineto
pop neg 0 rlineto
closepath
} bind def
/ellipse_path {
/ry exch def
/rx exch def
/y exch def
/x exch def
matrix currentmatrix
newpath
x y translate
rx ry scale
0 0 1 0 360 arc
setmatrix
} bind def
/endpage { showpage } bind def
/layercolorseq
[ % layer color sequence - darkest to lightest
[0 0 0]
[.2 .8 .8]
[.4 .8 .8]
[.6 .8 .8]
[.8 .8 .8]
]
def
/setlayer {/maxlayer exch def /curlayer exch def
layercolorseq curlayer get
aload pop sethsbcolor
/nodecolor {nopcolor} def
/edgecolor {nopcolor} def
/graphcolor {nopcolor} def
} bind def
/onlayer { curlayer ne {invis} if } def
/onlayers {
/myupper exch def
/mylower exch def
curlayer mylower lt
curlayer myupper gt
or
{invis} if
} def
/curlayer 0 def
%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
% /arrowlength 10 def
% /arrowwidth 5 def
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 576 225
gsave
35 35 541 190 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.7050 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font
% Pcoq
gsave 10 dict begin
643 141 27 18 ellipse_path
stroke
gsave 10 dict begin
643 142 moveto (Pcoq) 28 14.00 -0.50 alignedtext
end grestore
end grestore
% Coqast
gsave 10 dict begin
736 141 30 18 ellipse_path
stroke
gsave 10 dict begin
736 142 moveto (Coqast) 38 14.00 -0.50 alignedtext
end grestore
end grestore
% Pcoq -> Coqast
newpath 670 141 moveto
678 141 687 141 696 141 curveto
stroke
newpath 696 139 moveto
706 141 lineto
696 144 lineto
closepath
gsave 0 setgray stroke grestore fill
% Extend
gsave 10 dict begin
460 141 30 18 ellipse_path
stroke
gsave 10 dict begin
460 142 moveto (Extend) 39 14.00 -0.50 alignedtext
end grestore
end grestore
% Ast
gsave 10 dict begin
553 141 27 18 ellipse_path
stroke
gsave 10 dict begin
553 142 moveto (Ast) 19 14.00 -0.50 alignedtext
end grestore
end grestore
% Extend -> Ast
newpath 490 141 moveto
498 141 507 141 516 141 curveto
stroke
newpath 516 139 moveto
526 141 lineto
516 144 lineto
closepath
gsave 0 setgray stroke grestore fill
% Ast -> Pcoq
newpath 580 141 moveto
588 141 597 141 606 141 curveto
stroke
newpath 606 139 moveto
616 141 lineto
606 144 lineto
closepath
gsave 0 setgray stroke grestore fill
% Termast
gsave 10 dict begin
354 195 33 18 ellipse_path
stroke
gsave 10 dict begin
354 196 moveto (Termast) 45 14.00 -0.50 alignedtext
end grestore
end grestore
% Termast -> Ast
newpath 386 190 moveto
417 186 463 178 490 171 curveto
490 171 507 163 523 155 curveto
stroke
newpath 521 153 moveto
531 151 lineto
523 158 lineto
closepath
gsave 0 setgray stroke grestore fill
% Search
gsave 10 dict begin
30 60 29 18 ellipse_path
stroke
gsave 10 dict begin
30 61 moveto (Search) 37 14.00 -0.50 alignedtext
end grestore
end grestore
% Astterm
gsave 10 dict begin
354 33 33 18 ellipse_path
stroke
gsave 10 dict begin
354 34 moveto (Astterm) 45 14.00 -0.50 alignedtext
end grestore
end grestore
% Search -> Astterm
newpath 57 53 moveto
92 45 151 31 186 26 curveto
217 22 248 25 278 26 curveto
288 27 301 28 314 29 curveto
stroke
newpath 311 26 moveto
321 30 lineto
311 31 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pretty
gsave 10 dict begin
123 110 27 18 ellipse_path
stroke
gsave 10 dict begin
123 111 moveto (Pretty) 33 14.00 -0.50 alignedtext
end grestore
end grestore
% Search -> Pretty
newpath 53 72 moveto
65 79 80 87 94 94 curveto
stroke
newpath 95 92 moveto
102 99 lineto
92 96 lineto
closepath
gsave 0 setgray stroke grestore fill
% Astterm -> Ast
newpath 387 35 moveto
418 38 465 44 490 57 curveto
509 67 527 95 540 116 curveto
stroke
newpath 542 114 moveto
544 124 lineto
537 116 lineto
closepath
gsave 0 setgray stroke grestore fill
% Printer
gsave 10 dict begin
232 164 29 18 ellipse_path
stroke
gsave 10 dict begin
232 165 moveto (Printer) 38 14.00 -0.50 alignedtext
end grestore
end grestore
% Pretty -> Printer
newpath 145 121 moveto
161 129 183 139 201 149 curveto
stroke
newpath 201 146 moveto
209 153 lineto
199 151 lineto
closepath
gsave 0 setgray stroke grestore fill
% Printer -> Termast
newpath 259 171 moveto
275 175 296 180 315 185 curveto
stroke
newpath 315 182 moveto
324 187 lineto
314 187 lineto
closepath
gsave 0 setgray stroke grestore fill
% Esyntax
gsave 10 dict begin
354 141 33 18 ellipse_path
stroke
gsave 10 dict begin
354 142 moveto (Esyntax) 45 14.00 -0.50 alignedtext
end grestore
end grestore
% Printer -> Esyntax
newpath 260 159 moveto
276 156 296 152 313 149 curveto
stroke
newpath 313 147 moveto
323 147 lineto
314 151 lineto
closepath
gsave 0 setgray stroke grestore fill
% Esyntax -> Extend
newpath 387 141 moveto
398 141 410 141 421 141 curveto
stroke
newpath 420 139 moveto
430 141 lineto
420 144 lineto
closepath
gsave 0 setgray stroke grestore fill
% G_zsyntax
gsave 10 dict begin
232 110 40 18 ellipse_path
stroke
gsave 10 dict begin
232 111 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext
end grestore
end grestore
% G_zsyntax -> Astterm
newpath 259 97 moveto
266 93 273 89 278 86 curveto
291 77 302 65 314 57 curveto
317 55 319 54 322 52 curveto
stroke
newpath 321 49 moveto
331 46 lineto
324 54 lineto
closepath
gsave 0 setgray stroke grestore fill
% G_zsyntax -> Esyntax
newpath 267 119 moveto
282 123 300 127 315 131 curveto
stroke
newpath 315 128 moveto
324 133 lineto
314 133 lineto
closepath
gsave 0 setgray stroke grestore fill
% G_rsyntax
gsave 10 dict begin
232 56 39 18 ellipse_path
stroke
gsave 10 dict begin
232 57 moveto (G_rsyntax) 58 14.00 -0.50 alignedtext
end grestore
end grestore
% G_rsyntax -> Astterm
newpath 269 49 moveto
283 47 299 43 313 41 curveto
stroke
newpath 313 39 moveto
323 39 lineto
314 43 lineto
closepath
gsave 0 setgray stroke grestore fill
% G_rsyntax -> Esyntax
newpath 260 69 moveto
267 72 274 76 278 80 curveto
292 90 301 106 314 117 curveto
317 119 319 120 322 122 curveto
stroke
newpath 324 120 moveto
331 128 lineto
321 125 lineto
closepath
gsave 0 setgray stroke grestore fill
% G_natsyntax
gsave 10 dict begin
232 218 45 18 ellipse_path
stroke
gsave 10 dict begin
232 219 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext
end grestore
end grestore
% G_natsyntax -> Termast
newpath 273 210 moveto
286 208 301 205 314 203 curveto
stroke
newpath 313 201 moveto
323 201 lineto
314 206 lineto
closepath
gsave 0 setgray stroke grestore fill
% G_natsyntax -> Esyntax
newpath 261 204 moveto
267 200 274 197 278 194 curveto
291 185 302 173 314 165 curveto
314 165 318 163 323 159 curveto
stroke
newpath 322 157 moveto
332 154 lineto
324 161 lineto
closepath
gsave 0 setgray stroke grestore fill
% Stdlib
gsave 10 dict begin
354 249 27 18 ellipse_path
stroke
gsave 10 dict begin
354 250 moveto (Stdlib) 33 14.00 -0.50 alignedtext
end grestore
end grestore
% G_natsyntax -> Stdlib
newpath 271 228 moveto
287 232 305 236 320 240 curveto
stroke
newpath 320 237 moveto
329 243 lineto
319 242 lineto
closepath
gsave 0 setgray stroke grestore fill
% Egrammar
gsave 10 dict begin
354 87 40 18 ellipse_path
stroke
gsave 10 dict begin
354 88 moveto (Egrammar) 58 14.00 -0.50 alignedtext
end grestore
end grestore
% Egrammar -> Extend
newpath 381 101 moveto
395 109 413 118 429 125 curveto
stroke
newpath 429 122 moveto
437 129 lineto
427 127 lineto
closepath
gsave 0 setgray stroke grestore fill
% Lexer
gsave 10 dict begin
460 87 27 18 ellipse_path
stroke
gsave 10 dict begin
460 88 moveto (Lexer) 32 14.00 -0.50 alignedtext
end grestore
end grestore
% Egrammar -> Lexer
newpath 394 87 moveto
404 87 414 87 423 87 curveto
stroke
newpath 423 85 moveto
433 87 lineto
423 90 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF
|