%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: (jc) Jean-Christophe,,,, %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 218 %%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 218 gsave 35 35 541 183 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.5947 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Vernacinterp gsave 10 dict begin 645 180 46 18 ellipse_path stroke gsave 10 dict begin 645 181 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext end grestore end grestore % Himsg gsave 10 dict begin 757 205 29 18 ellipse_path stroke gsave 10 dict begin 757 206 moveto (Himsg) 37 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Himsg newpath 685 189 moveto 697 191 709 194 721 197 curveto stroke newpath 721 194 moveto 730 199 lineto 720 199 lineto closepath gsave 0 setgray stroke grestore fill % Vernacentries gsave 10 dict begin 513 126 49 18 ellipse_path stroke gsave 10 dict begin 513 127 moveto (Vernacentries) 77 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Vernacinterp newpath 546 139 moveto 563 146 586 155 604 163 curveto stroke newpath 605 161 moveto 613 167 lineto 603 165 lineto closepath gsave 0 setgray stroke grestore fill % Command gsave 10 dict begin 645 72 39 18 ellipse_path stroke gsave 10 dict begin 645 73 moveto (Command) 58 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Command newpath 546 113 moveto 564 105 588 96 607 88 curveto stroke newpath 606 86 moveto 616 84 lineto 608 90 lineto closepath gsave 0 setgray stroke grestore fill % Discharge gsave 10 dict begin 645 126 38 18 ellipse_path stroke gsave 10 dict begin 645 127 moveto (Discharge) 56 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Discharge newpath 562 126 moveto 574 126 585 126 596 126 curveto stroke newpath 596 124 moveto 606 126 lineto 596 129 lineto closepath gsave 0 setgray stroke grestore fill % Class gsave 10 dict begin 757 97 27 18 ellipse_path stroke gsave 10 dict begin 757 98 moveto (Class) 30 14.00 -0.50 alignedtext end grestore end grestore % Discharge -> Class newpath 679 117 moveto 693 114 709 110 723 106 curveto stroke newpath 722 104 moveto 732 104 lineto 723 109 lineto closepath gsave 0 setgray stroke grestore fill % Vernac gsave 10 dict begin 513 180 30 18 ellipse_path stroke gsave 10 dict begin 513 181 moveto (Vernac) 40 14.00 -0.50 alignedtext end grestore end grestore % Vernac -> Vernacinterp newpath 544 180 moveto 557 180 573 180 588 180 curveto stroke newpath 588 178 moveto 598 180 lineto 588 183 lineto closepath gsave 0 setgray stroke grestore fill % Toplevel gsave 10 dict begin 239 234 35 18 ellipse_path stroke gsave 10 dict begin 239 235 moveto (Toplevel) 49 14.00 -0.50 alignedtext end grestore end grestore % Mltop gsave 10 dict begin 369 261 27 18 ellipse_path stroke gsave 10 dict begin 369 262 moveto (Mltop) 34 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Mltop newpath 271 241 moveto 290 245 314 250 334 254 curveto stroke newpath 334 251 moveto 343 256 lineto 333 256 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel gsave 10 dict begin 369 207 59 18 ellipse_path stroke gsave 10 dict begin 369 208 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Protectedtoplevel newpath 271 227 moveto 283 225 297 222 310 219 curveto stroke newpath 310 217 moveto 320 217 lineto 311 221 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel -> Vernac newpath 419 198 moveto 438 195 458 190 475 187 curveto stroke newpath 474 185 moveto 484 186 lineto 474 190 lineto closepath gsave 0 setgray stroke grestore fill % Errors gsave 10 dict begin 513 234 27 18 ellipse_path stroke gsave 10 dict begin 513 235 moveto (Errors) 34 14.00 -0.50 alignedtext end grestore end grestore % Protectedtoplevel -> Errors newpath 419 216 moveto 439 219 460 224 478 227 curveto stroke newpath 477 224 moveto 486 229 lineto 476 229 lineto closepath gsave 0 setgray stroke grestore fill % Record gsave 10 dict begin 645 18 30 18 ellipse_path stroke gsave 10 dict begin 645 19 moveto (Record) 40 14.00 -0.50 alignedtext end grestore end grestore % Record -> Class newpath 670 29 moveto 678 33 686 38 692 42 curveto 704 50 721 65 734 76 curveto stroke newpath 735 74 moveto 741 82 lineto 732 77 lineto closepath gsave 0 setgray stroke grestore fill % Metasyntax gsave 10 dict begin 865 97 43 18 ellipse_path stroke gsave 10 dict begin 865 98 moveto (Metasyntax) 65 14.00 -0.50 alignedtext end grestore end grestore % Class -> Metasyntax newpath 784 97 moveto 792 97 802 97 812 97 curveto stroke newpath 812 95 moveto 822 97 lineto 812 100 lineto closepath gsave 0 setgray stroke grestore fill % Errors -> Himsg newpath 541 231 moveto 584 225 669 215 718 209 curveto stroke newpath 718 207 moveto 728 208 lineto 718 211 lineto closepath gsave 0 setgray stroke grestore fill % Minicoq gsave 10 dict begin 34 288 34 18 ellipse_path stroke gsave 10 dict begin 34 289 moveto (Minicoq) 47 14.00 -0.50 alignedtext end grestore end grestore % Fhimsg gsave 10 dict begin 136 288 31 18 ellipse_path stroke gsave 10 dict begin 136 289 moveto (Fhimsg) 42 14.00 -0.50 alignedtext end grestore end grestore % Minicoq -> Fhimsg newpath 68 288 moveto 77 288 86 288 94 288 curveto stroke newpath 94 286 moveto 104 288 lineto 94 291 lineto closepath gsave 0 setgray stroke grestore fill % Coqtop gsave 10 dict begin 34 207 31 18 ellipse_path stroke gsave 10 dict begin 34 208 moveto (Coqtop) 41 14.00 -0.50 alignedtext end grestore end grestore % Coqinit gsave 10 dict begin 136 234 31 18 ellipse_path stroke gsave 10 dict begin 136 235 moveto (Coqinit) 42 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Coqinit newpath 62 215 moveto 73 218 86 221 98 224 curveto stroke newpath 98 221 moveto 107 227 lineto 97 226 lineto closepath gsave 0 setgray stroke grestore fill % Usage gsave 10 dict begin 136 180 27 18 ellipse_path stroke gsave 10 dict begin 136 181 moveto (Usage) 34 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Usage newpath 62 199 moveto 74 196 88 192 101 189 curveto stroke newpath 100 187 moveto 110 187 lineto 101 192 lineto closepath gsave 0 setgray stroke grestore fill % Coqinit -> Toplevel newpath 168 234 moveto 176 234 185 234 194 234 curveto stroke newpath 194 232 moveto 204 234 lineto 194 237 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF