%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: (jc) Jean-Christophe,,,, %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 199 %%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 199 gsave 35 35 541 164 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.8207 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 257 72 36 18 ellipse_path stroke gsave 10 dict begin 257 73 moveto (Multcase) 51 14.00 -0.50 alignedtext end grestore end grestore % Evarutil gsave 10 dict begin 370 72 33 18 ellipse_path stroke gsave 10 dict begin 370 73 moveto (Evarutil) 45 14.00 -0.50 alignedtext end grestore end grestore % Multcase -> Evarutil newpath 293 72 moveto 304 72 316 72 327 72 curveto stroke newpath 327 70 moveto 337 72 lineto 327 75 lineto closepath gsave 0 setgray stroke grestore fill % Pretype_errors gsave 10 dict begin 498 45 51 18 ellipse_path stroke gsave 10 dict begin 498 46 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext end grestore end grestore % Evarutil -> Pretype_errors newpath 401 65 moveto 414 63 429 59 443 56 curveto stroke newpath 443 54 moveto 453 54 lineto 444 58 lineto closepath gsave 0 setgray stroke grestore fill % Syntax_def gsave 10 dict begin 498 99 42 18 ellipse_path stroke gsave 10 dict begin 498 100 moveto (Syntax_def) 63 14.00 -0.50 alignedtext end grestore end grestore % Rawterm gsave 10 dict begin 622 72 36 18 ellipse_path stroke gsave 10 dict begin 622 73 moveto (Rawterm) 51 14.00 -0.50 alignedtext end grestore end grestore % Syntax_def -> Rawterm newpath 536 91 moveto 550 88 565 84 579 81 curveto stroke newpath 579 79 moveto 589 79 lineto 580 83 lineto closepath gsave 0 setgray stroke grestore fill % Recordops gsave 10 dict begin 370 126 40 18 ellipse_path stroke gsave 10 dict begin 370 127 moveto (Recordops) 59 14.00 -0.50 alignedtext end grestore end grestore % Classops gsave 10 dict begin 498 153 35 18 ellipse_path stroke gsave 10 dict begin 498 154 moveto (Classops) 49 14.00 -0.50 alignedtext end grestore end grestore % Recordops -> Classops newpath 406 134 moveto 422 137 440 141 456 144 curveto stroke newpath 456 141 moveto 465 146 lineto 455 146 lineto closepath gsave 0 setgray stroke grestore fill % Tacred gsave 10 dict begin 622 153 29 18 ellipse_path stroke gsave 10 dict begin 622 154 moveto (Tacred) 38 14.00 -0.50 alignedtext end grestore end grestore % Classops -> Tacred newpath 533 153 moveto 549 153 567 153 583 153 curveto stroke newpath 582 151 moveto 592 153 lineto 582 156 lineto closepath gsave 0 setgray stroke grestore fill % Pretyping gsave 10 dict begin 38 72 37 18 ellipse_path stroke gsave 10 dict begin 38 73 moveto (Pretyping) 54 14.00 -0.50 alignedtext end grestore end grestore % Cases gsave 10 dict begin 148 99 27 18 ellipse_path stroke gsave 10 dict begin 148 100 moveto (Cases) 32 14.00 -0.50 alignedtext end grestore end grestore % Pretyping -> Cases newpath 72 80 moveto 85 83 101 87 114 91 curveto stroke newpath 114 88 moveto 123 93 lineto 113 93 lineto closepath gsave 0 setgray stroke grestore fill % Coercion gsave 10 dict begin 148 45 36 18 ellipse_path stroke gsave 10 dict begin 148 46 moveto (Coercion) 51 14.00 -0.50 alignedtext end grestore end grestore % Pretyping -> Coercion newpath 72 64 moveto 83 62 95 59 106 56 curveto stroke newpath 105 54 moveto 115 53 lineto 106 59 lineto closepath gsave 0 setgray stroke grestore fill % Evarconv gsave 10 dict begin 257 126 37 18 ellipse_path stroke gsave 10 dict begin 257 127 moveto (Evarconv) 53 14.00 -0.50 alignedtext end grestore end grestore % Cases -> Evarconv newpath 174 105 moveto 186 108 201 112 214 116 curveto stroke newpath 215 114 moveto 224 118 lineto 214 118 lineto closepath gsave 0 setgray stroke grestore fill % Retyping gsave 10 dict begin 257 18 36 18 ellipse_path stroke gsave 10 dict begin 257 19 moveto (Retyping) 51 14.00 -0.50 alignedtext end grestore end grestore % Cases -> Retyping newpath 167 86 moveto 174 82 180 78 184 75 curveto 197 64 208 52 220 42 curveto 222 40 225 38 228 36 curveto stroke newpath 224 35 moveto 234 32 lineto 227 40 lineto closepath gsave 0 setgray stroke grestore fill % Coercion -> Evarconv newpath 170 59 moveto 176 63 180 66 184 69 curveto 197 79 208 91 220 102 curveto 222 104 225 106 228 108 curveto stroke newpath 227 104 moveto 234 112 lineto 224 109 lineto closepath gsave 0 setgray stroke grestore fill % Coercion -> Retyping newpath 180 37 moveto 191 35 204 31 216 28 curveto stroke newpath 215 26 moveto 225 26 lineto 216 31 lineto closepath gsave 0 setgray stroke grestore fill % Pretype_errors -> Rawterm newpath 542 55 moveto 554 57 567 60 579 63 curveto stroke newpath 580 61 moveto 589 65 lineto 579 65 lineto closepath gsave 0 setgray stroke grestore fill % Evarconv -> Evarutil newpath 283 113 moveto 299 105 320 95 337 88 curveto stroke newpath 335 86 moveto 345 84 lineto 337 91 lineto closepath gsave 0 setgray stroke grestore fill % Evarconv -> Recordops newpath 294 126 moveto 302 126 311 126 320 126 curveto stroke newpath 320 124 moveto 330 126 lineto 320 129 lineto closepath gsave 0 setgray stroke grestore fill % Typing gsave 10 dict begin 370 180 30 18 ellipse_path stroke gsave 10 dict begin 370 181 moveto (Typing) 40 14.00 -0.50 alignedtext end grestore end grestore % Evarconv -> Typing newpath 283 139 moveto 299 147 321 157 338 165 curveto stroke newpath 338 162 moveto 346 169 lineto 336 167 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF