%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: (jacek) Jacek Chrzaszcz %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 217 %%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 577 217 gsave 35 35 542 182 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.8060 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 547 110 27 18 ellipse_path stroke gsave 10 dict begin 547 111 moveto (Pcoq) 28 14.00 -0.50 alignedtext end grestore end grestore % Coqast gsave 10 dict begin 640 110 30 18 ellipse_path stroke gsave 10 dict begin 640 111 moveto (Coqast) 38 14.00 -0.50 alignedtext end grestore end grestore % Pcoq -> Coqast newpath 574 110 moveto 582 110 591 110 600 110 curveto stroke newpath 600 108 moveto 610 110 lineto 600 113 lineto closepath gsave 0 setgray stroke grestore fill % Extend gsave 10 dict begin 364 110 30 18 ellipse_path stroke gsave 10 dict begin 364 111 moveto (Extend) 39 14.00 -0.50 alignedtext end grestore end grestore % Ast gsave 10 dict begin 457 110 27 18 ellipse_path stroke gsave 10 dict begin 457 111 moveto (Ast) 19 14.00 -0.50 alignedtext end grestore end grestore % Extend -> Ast newpath 394 110 moveto 402 110 411 110 420 110 curveto stroke newpath 420 108 moveto 430 110 lineto 420 113 lineto closepath gsave 0 setgray stroke grestore fill % Ast -> Pcoq newpath 484 110 moveto 492 110 501 110 510 110 curveto stroke newpath 510 108 moveto 520 110 lineto 510 113 lineto closepath gsave 0 setgray stroke grestore fill % Termast gsave 10 dict begin 258 44 33 18 ellipse_path stroke gsave 10 dict begin 258 45 moveto (Termast) 45 14.00 -0.50 alignedtext end grestore end grestore % Termast -> Ast newpath 285 34 moveto 317 23 369 9 394 26 curveto 411 38 430 65 442 85 curveto stroke newpath 444 83 moveto 447 93 lineto 440 86 lineto closepath gsave 0 setgray stroke grestore fill % Pattern gsave 10 dict begin 364 56 30 18 ellipse_path stroke gsave 10 dict begin 364 57 moveto (Pattern) 39 14.00 -0.50 alignedtext end grestore end grestore % Termast -> Pattern newpath 290 48 moveto 301 49 313 50 325 52 curveto stroke newpath 324 49 moveto 334 53 lineto 324 54 lineto closepath gsave 0 setgray stroke grestore fill % Printer gsave 10 dict begin 136 44 29 18 ellipse_path stroke gsave 10 dict begin 136 45 moveto (Printer) 38 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Termast newpath 166 44 moveto 181 44 199 44 215 44 curveto stroke newpath 215 42 moveto 225 44 lineto 215 47 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax gsave 10 dict begin 258 98 33 18 ellipse_path stroke gsave 10 dict begin 258 99 moveto (Esyntax) 45 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Esyntax newpath 160 55 moveto 178 63 204 74 224 83 curveto stroke newpath 224 80 moveto 232 87 lineto 222 85 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax -> Extend newpath 290 102 moveto 301 103 313 104 325 106 curveto stroke newpath 324 103 moveto 334 107 lineto 324 108 lineto closepath gsave 0 setgray stroke grestore fill % Pretty gsave 10 dict begin 27 44 27 18 ellipse_path stroke gsave 10 dict begin 27 45 moveto (Pretty) 33 14.00 -0.50 alignedtext end grestore end grestore % Pretty -> Printer newpath 54 44 moveto 67 44 82 44 96 44 curveto stroke newpath 96 42 moveto 106 44 lineto 96 47 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax gsave 10 dict begin 136 152 40 18 ellipse_path stroke gsave 10 dict begin 136 153 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext end grestore end grestore % G_zsyntax -> Esyntax newpath 165 139 moveto 182 131 206 121 224 113 curveto stroke newpath 222 111 moveto 232 109 lineto 224 116 lineto closepath gsave 0 setgray stroke grestore fill % Astterm gsave 10 dict begin 258 152 33 18 ellipse_path stroke gsave 10 dict begin 258 153 moveto (Astterm) 45 14.00 -0.50 alignedtext end grestore end grestore % G_zsyntax -> Astterm newpath 176 152 moveto 189 152 203 152 215 152 curveto stroke newpath 215 150 moveto 225 152 lineto 215 155 lineto closepath gsave 0 setgray stroke grestore fill % Astterm -> Ast newpath 291 150 moveto 322 149 367 146 394 140 curveto 394 140 411 132 427 124 curveto stroke newpath 425 122 moveto 435 120 lineto 427 127 lineto closepath gsave 0 setgray stroke grestore fill % Astterm -> Pattern newpath 282 139 moveto 288 136 294 132 298 128 curveto 313 114 321 94 334 80 curveto 334 80 336 79 339 77 curveto stroke newpath 337 76 moveto 346 71 lineto 340 79 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax gsave 10 dict begin 136 98 45 18 ellipse_path stroke gsave 10 dict begin 136 99 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext end grestore end grestore % G_natsyntax -> Esyntax newpath 182 98 moveto 193 98 205 98 216 98 curveto stroke newpath 215 96 moveto 225 98 lineto 215 101 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax -> Astterm newpath 166 111 moveto 184 119 206 129 224 137 curveto stroke newpath 224 134 moveto 233 140 lineto 223 139 lineto closepath gsave 0 setgray stroke grestore fill % Egrammar gsave 10 dict begin 258 206 40 18 ellipse_path stroke gsave 10 dict begin 258 207 moveto (Egrammar) 58 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Extend newpath 284 192 moveto 289 189 295 185 298 182 curveto 312 170 330 149 344 133 curveto stroke newpath 342 132 moveto 350 126 lineto 345 135 lineto closepath gsave 0 setgray stroke grestore fill % Lexer gsave 10 dict begin 364 206 27 18 ellipse_path stroke gsave 10 dict begin 364 207 moveto (Lexer) 32 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Lexer newpath 298 206 moveto 308 206 318 206 327 206 curveto stroke newpath 327 204 moveto 337 206 lineto 327 209 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF