%!PS-Adobe-2.0 %%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001) %%For: (herbelin) Hugo Herbelin %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 232 %%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 %%EndProlog %%BeginSetup 14 default-font-family set_font 1 setmiterlimit % /arrowlength 10 def % /arrowwidth 5 def % make sure pdfmark is harmless for PS-interpreters other than Distiller /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse % make '<<' and '>>' safe on PS Level 1 devices /languagelevel where {pop languagelevel}{1} ifelse 2 lt { userdict (<<) cvn ([) cvn load put userdict (>>) cvn ([) cvn load put } if %%EndResource %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 576 232 %%PageOrientation: Portrait gsave 35 35 541 197 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.7584 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 576 232] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Pcoq gsave 10 dict begin 581 103 27 18 ellipse_path stroke gsave 10 dict begin 581 104 moveto (Pcoq) 28 14.00 -0.50 alignedtext end grestore end grestore % Coqast gsave 10 dict begin 674 103 30 18 ellipse_path stroke gsave 10 dict begin 674 104 moveto (Coqast) 38 14.00 -0.50 alignedtext end grestore end grestore % Pcoq -> Coqast newpath 608 103 moveto 616 103 625 103 634 103 curveto stroke newpath 634 101 moveto 644 103 lineto 634 106 lineto closepath gsave 0 setgray stroke grestore fill % Extend gsave 10 dict begin 398 52 30 18 ellipse_path stroke gsave 10 dict begin 398 53 moveto (Extend) 39 14.00 -0.50 alignedtext end grestore end grestore % Ast gsave 10 dict begin 491 103 27 18 ellipse_path stroke gsave 10 dict begin 491 104 moveto (Ast) 19 14.00 -0.50 alignedtext end grestore end grestore % Extend -> Ast newpath 421 64 moveto 433 71 448 79 462 86 curveto stroke newpath 463 84 moveto 470 91 lineto 460 88 lineto closepath gsave 0 setgray stroke grestore fill % Ast -> Pcoq newpath 518 103 moveto 526 103 535 103 544 103 curveto stroke newpath 544 101 moveto 554 103 lineto 544 106 lineto closepath gsave 0 setgray stroke grestore fill % Termast gsave 10 dict begin 292 156 33 18 ellipse_path stroke gsave 10 dict begin 292 157 moveto (Termast) 45 14.00 -0.50 alignedtext end grestore end grestore % Termast -> Ast newpath 325 152 moveto 355 149 401 143 428 136 curveto 438 133 451 127 462 120 curveto stroke newpath 461 118 moveto 471 115 lineto 463 122 lineto closepath gsave 0 setgray stroke grestore fill % Search gsave 10 dict begin 48 198 29 18 ellipse_path stroke gsave 10 dict begin 48 199 moveto (Search) 37 14.00 -0.50 alignedtext end grestore end grestore % Astterm gsave 10 dict begin 170 94 33 18 ellipse_path stroke gsave 10 dict begin 170 95 moveto (Astterm) 45 14.00 -0.50 alignedtext end grestore end grestore % Search -> Astterm newpath 71 186 moveto 78 183 84 178 88 174 curveto 104 157 109 133 124 118 curveto 127 115 132 112 137 109 curveto stroke newpath 134 108 moveto 144 106 lineto 136 112 lineto closepath gsave 0 setgray stroke grestore fill % Coqlib gsave 10 dict begin 292 229 29 18 ellipse_path stroke gsave 10 dict begin 292 230 moveto (Coqlib) 38 14.00 -0.50 alignedtext end grestore end grestore % Search -> Coqlib newpath 70 210 moveto 87 218 109 229 124 232 curveto 159 239 217 235 255 233 curveto stroke newpath 253 231 moveto 263 232 lineto 253 236 lineto closepath gsave 0 setgray stroke grestore fill % Printer gsave 10 dict begin 170 148 29 18 ellipse_path stroke gsave 10 dict begin 170 149 moveto (Printer) 38 14.00 -0.50 alignedtext end grestore end grestore % Search -> Printer newpath 73 188 moveto 91 180 116 170 137 162 curveto stroke newpath 135 160 moveto 145 158 lineto 137 165 lineto closepath gsave 0 setgray stroke grestore fill % Astterm -> Termast newpath 194 106 moveto 213 116 239 129 260 139 curveto stroke newpath 260 136 moveto 268 143 lineto 258 141 lineto closepath gsave 0 setgray stroke grestore fill % Printer -> Termast newpath 200 150 moveto 215 151 233 152 249 153 curveto stroke newpath 249 151 moveto 259 154 lineto 249 155 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax gsave 10 dict begin 292 48 33 18 ellipse_path stroke gsave 10 dict begin 292 49 moveto (Esyntax) 45 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Esyntax newpath 194 137 moveto 203 133 211 128 216 124 curveto 232 109 238 86 252 72 curveto 254 70 256 68 259 66 curveto stroke newpath 258 64 moveto 268 61 lineto 260 68 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax -> Extend newpath 325 49 moveto 336 49 348 50 359 50 curveto stroke newpath 358 47 moveto 368 51 lineto 358 52 lineto closepath gsave 0 setgray stroke grestore fill % Prettyp gsave 10 dict begin 48 144 30 18 ellipse_path stroke gsave 10 dict begin 48 145 moveto (Prettyp) 40 14.00 -0.50 alignedtext end grestore end grestore % Prettyp -> Printer newpath 78 145 moveto 94 146 114 146 131 147 curveto stroke newpath 130 145 moveto 140 147 lineto 130 150 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax gsave 10 dict begin 48 86 40 18 ellipse_path stroke gsave 10 dict begin 48 87 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext end grestore end grestore % G_zsyntax -> Astterm newpath 88 89 moveto 101 90 115 91 128 91 curveto stroke newpath 127 88 moveto 137 92 lineto 127 93 lineto closepath gsave 0 setgray stroke grestore fill % G_zsyntax -> Esyntax newpath 80 75 moveto 95 71 112 66 124 64 curveto 159 58 214 54 251 51 curveto stroke newpath 249 49 moveto 259 50 lineto 249 54 lineto closepath gsave 0 setgray stroke grestore fill % G_rsyntax gsave 10 dict begin 48 25 39 18 ellipse_path stroke gsave 10 dict begin 48 26 moveto (G_rsyntax) 58 14.00 -0.50 alignedtext end grestore end grestore % G_rsyntax -> Astterm newpath 73 39 moveto 92 50 119 65 139 77 curveto stroke newpath 139 74 moveto 147 81 lineto 137 79 lineto closepath gsave 0 setgray stroke grestore fill % G_rsyntax -> Esyntax newpath 88 26 moveto 126 26 182 28 216 31 curveto 226 32 242 35 255 38 curveto stroke newpath 253 35 moveto 262 40 lineto 252 40 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax gsave 10 dict begin 170 202 45 18 ellipse_path stroke gsave 10 dict begin 170 203 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext end grestore end grestore % G_natsyntax -> Termast newpath 203 190 moveto 219 184 239 176 256 169 curveto stroke newpath 255 167 moveto 265 166 lineto 256 172 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax -> Coqlib newpath 210 211 moveto 225 214 241 218 255 221 curveto stroke newpath 255 218 moveto 264 223 lineto 254 223 lineto closepath gsave 0 setgray stroke grestore fill % G_natsyntax -> Esyntax newpath 201 189 moveto 207 186 213 183 216 178 curveto 236 146 234 104 252 72 curveto 252 72 256 70 261 66 curveto stroke newpath 260 64 moveto 270 61 lineto 262 68 lineto closepath gsave 0 setgray stroke grestore fill % Egrammar gsave 10 dict begin 292 102 40 18 ellipse_path stroke gsave 10 dict begin 292 103 moveto (Egrammar) 58 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Extend newpath 320 89 moveto 334 82 351 74 366 67 curveto stroke newpath 364 65 moveto 374 63 lineto 366 70 lineto closepath gsave 0 setgray stroke grestore fill % Lexer gsave 10 dict begin 398 106 27 18 ellipse_path stroke gsave 10 dict begin 398 107 moveto (Lexer) 32 14.00 -0.50 alignedtext end grestore end grestore % Egrammar -> Lexer newpath 332 104 moveto 342 104 352 105 361 105 curveto stroke newpath 361 103 moveto 371 105 lineto 361 108 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF