blob: e18d3dd5791b6f8511c889ea0116aa0adf7b9d09 (
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
|
%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: Gros nain
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 238
%%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 238
gsave
35 35 541 203 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.7219 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font
% Multcase
gsave 10 dict begin
347 220 36 18 ellipse_path
stroke
gsave 10 dict begin
347 221 moveto (Multcase) 51 14.00 -0.50 alignedtext
end grestore
end grestore
% Evarutil
gsave 10 dict begin
460 220 33 18 ellipse_path
stroke
gsave 10 dict begin
460 221 moveto (Evarutil) 45 14.00 -0.50 alignedtext
end grestore
end grestore
% Multcase -> Evarutil
newpath 383 220 moveto
394 220 406 220 417 220 curveto
stroke
newpath 417 218 moveto
427 220 lineto
417 223 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pretype_errors
gsave 10 dict begin
588 261 51 18 ellipse_path
stroke
gsave 10 dict begin
588 262 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext
end grestore
end grestore
% Evarutil -> Pretype_errors
newpath 489 229 moveto
504 234 523 240 540 246 curveto
stroke
newpath 541 244 moveto
550 249 lineto
540 249 lineto
closepath
gsave 0 setgray stroke grestore fill
% Syntax_def
gsave 10 dict begin
588 207 42 18 ellipse_path
stroke
gsave 10 dict begin
588 208 moveto (Syntax_def) 63 14.00 -0.50 alignedtext
end grestore
end grestore
% Rawterm
gsave 10 dict begin
712 153 36 18 ellipse_path
stroke
gsave 10 dict begin
712 154 moveto (Rawterm) 51 14.00 -0.50 alignedtext
end grestore
end grestore
% Syntax_def -> Rawterm
newpath 618 194 moveto
635 186 658 176 676 168 curveto
stroke
newpath 675 166 moveto
685 165 lineto
676 171 lineto
closepath
gsave 0 setgray stroke grestore fill
% Recordops
gsave 10 dict begin
460 126 40 18 ellipse_path
stroke
gsave 10 dict begin
460 127 moveto (Recordops) 59 14.00 -0.50 alignedtext
end grestore
end grestore
% Classops
gsave 10 dict begin
588 45 35 18 ellipse_path
stroke
gsave 10 dict begin
588 46 moveto (Classops) 49 14.00 -0.50 alignedtext
end grestore
end grestore
% Recordops -> Classops
newpath 485 112 moveto
491 108 496 105 500 102 curveto
514 92 523 77 536 69 curveto
540 66 546 64 551 61 curveto
stroke
newpath 550 59 moveto
560 56 lineto
552 63 lineto
closepath
gsave 0 setgray stroke grestore fill
% Classops -> Rawterm
newpath 614 57 moveto
627 63 640 69 640 69 curveto
656 83 678 109 694 129 curveto
stroke
newpath 695 126 moveto
699 136 lineto
691 129 lineto
closepath
gsave 0 setgray stroke grestore fill
% Retyping
gsave 10 dict begin
712 72 36 18 ellipse_path
stroke
gsave 10 dict begin
712 73 moveto (Retyping) 51 14.00 -0.50 alignedtext
end grestore
end grestore
% Classops -> Retyping
newpath 620 52 moveto
635 55 653 59 669 63 curveto
stroke
newpath 670 61 moveto
679 65 lineto
669 65 lineto
closepath
gsave 0 setgray stroke grestore fill
% Tacred
gsave 10 dict begin
712 18 29 18 ellipse_path
stroke
gsave 10 dict begin
712 19 moveto (Tacred) 38 14.00 -0.50 alignedtext
end grestore
end grestore
% Classops -> Tacred
newpath 620 38 moveto
637 35 657 30 675 26 curveto
stroke
newpath 674 24 moveto
684 24 lineto
675 29 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pretyping
gsave 10 dict begin
38 126 37 18 ellipse_path
stroke
gsave 10 dict begin
38 127 moveto (Pretyping) 54 14.00 -0.50 alignedtext
end grestore
end grestore
% Cases
gsave 10 dict begin
139 126 27 18 ellipse_path
stroke
gsave 10 dict begin
139 127 moveto (Cases) 32 14.00 -0.50 alignedtext
end grestore
end grestore
% Pretyping -> Cases
newpath 76 126 moveto
85 126 94 126 102 126 curveto
stroke
newpath 102 124 moveto
112 126 lineto
102 129 lineto
closepath
gsave 0 setgray stroke grestore fill
% Coercion
gsave 10 dict begin
238 126 36 18 ellipse_path
stroke
gsave 10 dict begin
238 127 moveto (Coercion) 51 14.00 -0.50 alignedtext
end grestore
end grestore
% Cases -> Coercion
newpath 166 126 moveto
174 126 183 126 192 126 curveto
stroke
newpath 192 124 moveto
202 126 lineto
192 129 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pretype_errors -> Rawterm
newpath 623 248 moveto
629 244 636 241 640 237 curveto
656 223 678 197 694 177 curveto
stroke
newpath 691 177 moveto
699 170 lineto
695 180 lineto
closepath
gsave 0 setgray stroke grestore fill
% Pattern
gsave 10 dict begin
588 153 30 18 ellipse_path
stroke
gsave 10 dict begin
588 154 moveto (Pattern) 39 14.00 -0.50 alignedtext
end grestore
end grestore
% Pattern -> Rawterm
newpath 618 153 moveto
632 153 650 153 666 153 curveto
stroke
newpath 666 151 moveto
676 153 lineto
666 156 lineto
closepath
gsave 0 setgray stroke grestore fill
% Evarconv
gsave 10 dict begin
347 126 37 18 ellipse_path
stroke
gsave 10 dict begin
347 127 moveto (Evarconv) 53 14.00 -0.50 alignedtext
end grestore
end grestore
% Evarconv -> Evarutil
newpath 366 142 moveto
385 157 414 181 435 199 curveto
stroke
newpath 436 197 moveto
442 205 lineto
433 200 lineto
closepath
gsave 0 setgray stroke grestore fill
% Evarconv -> Recordops
newpath 384 126 moveto
392 126 401 126 410 126 curveto
stroke
newpath 410 124 moveto
420 126 lineto
410 129 lineto
closepath
gsave 0 setgray stroke grestore fill
% Typing
gsave 10 dict begin
460 72 30 18 ellipse_path
stroke
gsave 10 dict begin
460 73 moveto (Typing) 40 14.00 -0.50 alignedtext
end grestore
end grestore
% Evarconv -> Typing
newpath 373 113 moveto
389 105 411 95 428 87 curveto
stroke
newpath 426 85 moveto
436 83 lineto
428 90 lineto
closepath
gsave 0 setgray stroke grestore fill
% Detyping
gsave 10 dict begin
588 99 36 18 ellipse_path
stroke
gsave 10 dict begin
588 100 moveto (Detyping) 52 14.00 -0.50 alignedtext
end grestore
end grestore
% Detyping -> Rawterm
newpath 616 111 moveto
633 119 657 129 676 137 curveto
stroke
newpath 677 135 moveto
685 141 lineto
675 139 lineto
closepath
gsave 0 setgray stroke grestore fill
% Coercion -> Evarconv
newpath 274 126 moveto
282 126 291 126 300 126 curveto
stroke
newpath 300 124 moveto
310 126 lineto
300 129 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF
|