%!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 256 %%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 256 %%PageOrientation: Portrait gsave 35 35 541 221 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.6236 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 576 256] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Vernac gsave 10 dict begin 542 226 30 18 ellipse_path stroke gsave 10 dict begin 542 227 moveto (Vernac) 40 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp gsave 10 dict begin 695 234 46 18 ellipse_path stroke gsave 10 dict begin 695 235 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext end grestore end grestore % Vernac -> Vernacinterp newpath 573 228 moveto 592 229 619 230 642 231 curveto stroke newpath 639 228 moveto 649 232 lineto 639 233 lineto closepath gsave 0 setgray stroke grestore fill % Command gsave 10 dict begin 818 203 39 18 ellipse_path stroke gsave 10 dict begin 818 204 moveto (Command) 58 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Command newpath 734 224 moveto 747 221 761 218 774 214 curveto stroke newpath 773 212 moveto 783 212 lineto 774 217 lineto closepath gsave 0 setgray stroke grestore fill % Himsg gsave 10 dict begin 818 257 29 18 ellipse_path stroke gsave 10 dict begin 818 258 moveto (Himsg) 37 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Himsg newpath 737 242 moveto 752 244 767 248 781 250 curveto stroke newpath 781 247 moveto 790 252 lineto 780 252 lineto closepath gsave 0 setgray stroke grestore fill % Vernacentries gsave 10 dict begin 542 126 49 18 ellipse_path stroke gsave 10 dict begin 542 127 moveto (Vernacentries) 77 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Vernacinterp newpath 562 143 moveto 586 162 624 193 648 210 curveto 651 212 655 215 660 217 curveto stroke newpath 658 213 moveto 666 220 lineto 656 218 lineto closepath gsave 0 setgray stroke grestore fill % Discharge gsave 10 dict begin 695 126 38 18 ellipse_path stroke gsave 10 dict begin 695 127 moveto (Discharge) 56 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Discharge newpath 591 126 moveto 609 126 629 126 647 126 curveto stroke newpath 646 124 moveto 656 126 lineto 646 129 lineto closepath gsave 0 setgray stroke grestore fill % Metasyntax gsave 10 dict begin 695 72 43 18 ellipse_path stroke gsave 10 dict begin 695 73 moveto (Metasyntax) 65 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Metasyntax newpath 577 113 moveto 600 106 630 96 653 87 curveto stroke newpath 652 85 moveto 662 84 lineto 653 90 lineto closepath gsave 0 setgray stroke grestore fill % Mltop gsave 10 dict begin 695 18 27 18 ellipse_path stroke gsave 10 dict begin 695 19 moveto (Mltop) 34 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Mltop newpath 562 109 moveto 586 90 624 59 648 42 curveto 653 39 659 35 666 32 curveto stroke newpath 662 31 moveto 672 29 lineto 664 36 lineto closepath gsave 0 setgray stroke grestore fill % Record gsave 10 dict begin 695 180 30 18 ellipse_path stroke gsave 10 dict begin 695 181 moveto (Record) 40 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Record newpath 577 139 moveto 602 147 636 159 661 168 curveto stroke newpath 661 165 moveto 669 171 lineto 659 170 lineto closepath gsave 0 setgray stroke grestore fill % Class gsave 10 dict begin 818 149 27 18 ellipse_path stroke gsave 10 dict begin 818 150 moveto (Class) 30 14.00 -0.50 alignedtext end grestore end grestore % Discharge -> Class newpath 731 133 moveto 747 136 766 140 783 142 curveto stroke newpath 783 139 moveto 792 144 lineto 782 144 lineto closepath gsave 0 setgray stroke grestore fill % Recordobj gsave 10 dict begin 818 95 39 18 ellipse_path stroke gsave 10 dict begin 818 96 moveto (Recordobj) 58 14.00 -0.50 alignedtext end grestore end grestore % Discharge -> Recordobj newpath 729 117 moveto 743 114 759 110 774 106 curveto stroke newpath 773 104 moveto 783 104 lineto 774 109 lineto closepath gsave 0 setgray stroke grestore fill % Record -> Command newpath 724 185 moveto 738 187 756 191 771 194 curveto stroke newpath 772 192 moveto 781 196 lineto 771 196 lineto closepath gsave 0 setgray stroke grestore fill % Record -> Himsg newpath 718 192 moveto 730 198 742 204 742 204 curveto 755 212 766 224 778 233 curveto 781 235 786 238 791 240 curveto stroke newpath 790 236 moveto 797 244 lineto 787 241 lineto closepath gsave 0 setgray stroke grestore fill % Record -> Class newpath 723 173 moveto 741 169 764 163 784 158 curveto stroke newpath 783 156 moveto 793 156 lineto 784 161 lineto closepath gsave 0 setgray stroke grestore fill % Toplevel gsave 10 dict begin 247 122 35 18 ellipse_path stroke gsave 10 dict begin 247 123 moveto (Toplevel) 49 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Mltop newpath 279 115 moveto 361 96 578 45 662 26 curveto stroke newpath 659 24 moveto 669 24 lineto 660 29 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel gsave 10 dict begin 377 253 59 18 ellipse_path stroke gsave 10 dict begin 377 254 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Protectedtoplevel newpath 263 138 moveto 286 161 328 204 355 231 curveto stroke newpath 355 227 moveto 360 236 lineto 351 231 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel -> Vernac newpath 429 244 moveto 454 240 481 236 503 232 curveto stroke newpath 502 230 moveto 512 231 lineto 502 235 lineto closepath gsave 0 setgray stroke grestore fill % Errors gsave 10 dict begin 542 280 27 18 ellipse_path stroke gsave 10 dict begin 542 281 moveto (Errors) 34 14.00 -0.50 alignedtext end grestore end grestore % Protectedtoplevel -> Errors newpath 429 262 moveto 455 266 484 271 507 274 curveto stroke newpath 505 271 moveto 515 275 lineto 505 276 lineto closepath gsave 0 setgray stroke grestore fill % Line_oriented_parser gsave 10 dict begin 542 334 70 18 ellipse_path stroke gsave 10 dict begin 542 335 moveto (Line_oriented_parser) 119 14.00 -0.50 alignedtext end grestore end grestore % Protectedtoplevel -> Line_oriented_parser newpath 403 269 moveto 424 282 453 300 472 310 curveto 477 312 484 315 491 318 curveto stroke newpath 489 315 moveto 498 320 lineto 488 320 lineto closepath gsave 0 setgray stroke grestore fill % Errors -> Himsg newpath 569 278 moveto 619 274 725 265 781 260 curveto stroke newpath 779 258 moveto 789 259 lineto 779 263 lineto closepath gsave 0 setgray stroke grestore fill % Minicoq gsave 10 dict begin 42 230 34 18 ellipse_path stroke gsave 10 dict begin 42 231 moveto (Minicoq) 47 14.00 -0.50 alignedtext end grestore end grestore % Fhimsg gsave 10 dict begin 144 230 31 18 ellipse_path stroke gsave 10 dict begin 144 231 moveto (Fhimsg) 42 14.00 -0.50 alignedtext end grestore end grestore % Minicoq -> Fhimsg newpath 76 230 moveto 85 230 94 230 102 230 curveto stroke newpath 102 228 moveto 112 230 lineto 102 233 lineto closepath gsave 0 setgray stroke grestore fill % Coqtop gsave 10 dict begin 42 149 31 18 ellipse_path stroke gsave 10 dict begin 42 150 moveto (Coqtop) 41 14.00 -0.50 alignedtext end grestore end grestore % Coqinit gsave 10 dict begin 144 122 31 18 ellipse_path stroke gsave 10 dict begin 144 123 moveto (Coqinit) 42 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Coqinit newpath 70 141 moveto 81 138 94 135 106 132 curveto stroke newpath 105 130 moveto 115 129 lineto 106 135 lineto closepath gsave 0 setgray stroke grestore fill % Usage gsave 10 dict begin 144 176 27 18 ellipse_path stroke gsave 10 dict begin 144 177 moveto (Usage) 34 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Usage newpath 70 157 moveto 82 160 96 164 109 167 curveto stroke newpath 109 164 moveto 118 169 lineto 108 169 lineto closepath gsave 0 setgray stroke grestore fill % Coqinit -> Toplevel newpath 176 122 moveto 184 122 193 122 202 122 curveto stroke newpath 202 120 moveto 212 122 lineto 202 125 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF