%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: Gros nain %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 577 190 %%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 190 gsave 35 35 542 155 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.6150 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 715 95 46 18 ellipse_path stroke gsave 10 dict begin 715 96 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext end grestore end grestore % Command gsave 10 dict begin 838 124 39 18 ellipse_path stroke gsave 10 dict begin 838 125 moveto (Command) 58 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Command newpath 755 104 moveto 767 107 781 110 794 114 curveto stroke newpath 794 111 moveto 803 116 lineto 793 116 lineto closepath gsave 0 setgray stroke grestore fill % Himsg gsave 10 dict begin 838 70 29 18 ellipse_path stroke gsave 10 dict begin 838 71 moveto (Himsg) 37 14.00 -0.50 alignedtext end grestore end grestore % Vernacinterp -> Himsg newpath 756 87 moveto 771 84 787 80 801 78 curveto stroke newpath 800 76 moveto 810 76 lineto 801 81 lineto closepath gsave 0 setgray stroke grestore fill % Vernacentries gsave 10 dict begin 253 126 49 18 ellipse_path stroke gsave 10 dict begin 253 127 moveto (Vernacentries) 77 14.00 -0.50 alignedtext end grestore end grestore % Metasyntax gsave 10 dict begin 397 126 43 18 ellipse_path stroke gsave 10 dict begin 397 127 moveto (Metasyntax) 65 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Metasyntax newpath 302 126 moveto 316 126 331 126 344 126 curveto stroke newpath 344 124 moveto 354 126 lineto 344 129 lineto closepath gsave 0 setgray stroke grestore fill % Mltop gsave 10 dict begin 397 72 27 18 ellipse_path stroke gsave 10 dict begin 397 73 moveto (Mltop) 34 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Mltop newpath 287 113 moveto 311 104 342 93 365 84 curveto stroke newpath 363 82 moveto 373 81 lineto 365 87 lineto closepath gsave 0 setgray stroke grestore fill % Record gsave 10 dict begin 715 149 30 18 ellipse_path stroke gsave 10 dict begin 715 150 moveto (Record) 40 14.00 -0.50 alignedtext end grestore end grestore % Vernacentries -> Record newpath 289 139 moveto 312 147 338 156 338 156 curveto 433 163 598 156 675 152 curveto stroke newpath 675 150 moveto 685 151 lineto 675 154 lineto closepath gsave 0 setgray stroke grestore fill % Vernac gsave 10 dict begin 562 126 30 18 ellipse_path stroke gsave 10 dict begin 562 127 moveto (Vernac) 40 14.00 -0.50 alignedtext end grestore end grestore % Metasyntax -> Vernac newpath 440 126 moveto 466 126 498 126 522 126 curveto stroke newpath 521 124 moveto 531 126 lineto 521 129 lineto closepath gsave 0 setgray stroke grestore fill % Record -> Command newpath 744 143 moveto 758 141 776 137 792 133 curveto stroke newpath 792 131 moveto 802 131 lineto 793 135 lineto closepath gsave 0 setgray stroke grestore fill % Record -> Himsg newpath 739 138 moveto 747 133 756 129 762 125 curveto 776 116 786 103 798 94 curveto 801 92 804 90 807 88 curveto stroke newpath 806 85 moveto 816 82 lineto 809 90 lineto closepath gsave 0 setgray stroke grestore fill % Class gsave 10 dict begin 838 178 27 18 ellipse_path stroke gsave 10 dict begin 838 179 moveto (Class) 30 14.00 -0.50 alignedtext end grestore end grestore % Record -> Class newpath 744 156 moveto 762 160 784 165 803 170 curveto stroke newpath 803 167 moveto 812 172 lineto 802 172 lineto closepath gsave 0 setgray stroke grestore fill % Vernac -> Vernacinterp newpath 591 120 moveto 612 116 640 110 665 105 curveto stroke newpath 664 103 moveto 674 103 lineto 665 108 lineto closepath gsave 0 setgray stroke grestore fill % Discharge gsave 10 dict begin 715 203 38 18 ellipse_path stroke gsave 10 dict begin 715 204 moveto (Discharge) 56 14.00 -0.50 alignedtext end grestore end grestore % Vernac -> Discharge newpath 585 138 moveto 611 151 654 172 683 187 curveto stroke newpath 681 183 moveto 689 190 lineto 679 188 lineto closepath gsave 0 setgray stroke grestore fill % Discharge -> Class newpath 751 196 moveto 767 193 786 189 803 185 curveto stroke newpath 802 183 moveto 812 183 lineto 803 188 lineto closepath gsave 0 setgray stroke grestore fill % Recordobj gsave 10 dict begin 838 232 39 18 ellipse_path stroke gsave 10 dict begin 838 233 moveto (Recordobj) 58 14.00 -0.50 alignedtext end grestore end grestore % Discharge -> Recordobj newpath 750 211 moveto 763 214 779 218 793 222 curveto stroke newpath 793 219 moveto 802 224 lineto 792 224 lineto closepath gsave 0 setgray stroke grestore fill % Toplevel gsave 10 dict begin 253 45 35 18 ellipse_path stroke gsave 10 dict begin 253 46 moveto (Toplevel) 49 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Mltop newpath 286 51 moveto 309 55 339 61 361 65 curveto stroke newpath 361 62 moveto 370 67 lineto 360 67 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel gsave 10 dict begin 397 18 59 18 ellipse_path stroke gsave 10 dict begin 397 19 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext end grestore end grestore % Toplevel -> Protectedtoplevel newpath 286 39 moveto 301 36 320 33 337 30 curveto stroke newpath 337 28 moveto 347 28 lineto 338 32 lineto closepath gsave 0 setgray stroke grestore fill % Protectedtoplevel -> Vernac newpath 435 32 moveto 443 34 450 37 456 42 curveto 474 58 474 88 492 102 curveto 500 107 512 112 523 116 curveto stroke newpath 524 114 moveto 533 119 lineto 523 119 lineto closepath gsave 0 setgray stroke grestore fill % Errors gsave 10 dict begin 562 18 27 18 ellipse_path stroke gsave 10 dict begin 562 19 moveto (Errors) 34 14.00 -0.50 alignedtext end grestore end grestore % Protectedtoplevel -> Errors newpath 456 18 moveto 479 18 505 18 525 18 curveto stroke newpath 524 16 moveto 534 18 lineto 524 21 lineto closepath gsave 0 setgray stroke grestore fill % Line_oriented_parser gsave 10 dict begin 562 72 70 18 ellipse_path stroke gsave 10 dict begin 562 73 moveto (Line_oriented_parser) 119 14.00 -0.50 alignedtext end grestore end grestore % Protectedtoplevel -> Line_oriented_parser newpath 437 31 moveto 459 38 486 47 510 55 curveto stroke newpath 510 52 moveto 519 58 lineto 509 57 lineto closepath gsave 0 setgray stroke grestore fill % Errors -> Himsg newpath 588 23 moveto 639 33 747 53 803 64 curveto stroke newpath 800 61 moveto 810 65 lineto 800 66 lineto closepath gsave 0 setgray stroke grestore fill % Minicoq gsave 10 dict begin 34 153 34 18 ellipse_path stroke gsave 10 dict begin 34 154 moveto (Minicoq) 47 14.00 -0.50 alignedtext end grestore end grestore % Fhimsg gsave 10 dict begin 136 153 31 18 ellipse_path stroke gsave 10 dict begin 136 154 moveto (Fhimsg) 42 14.00 -0.50 alignedtext end grestore end grestore % Minicoq -> Fhimsg newpath 68 153 moveto 77 153 86 153 94 153 curveto stroke newpath 94 151 moveto 104 153 lineto 94 156 lineto closepath gsave 0 setgray stroke grestore fill % Coqtop gsave 10 dict begin 34 72 31 18 ellipse_path stroke gsave 10 dict begin 34 73 moveto (Coqtop) 41 14.00 -0.50 alignedtext end grestore end grestore % Coqinit gsave 10 dict begin 136 45 31 18 ellipse_path stroke gsave 10 dict begin 136 46 moveto (Coqinit) 42 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Coqinit newpath 62 64 moveto 73 61 86 58 98 55 curveto stroke newpath 97 53 moveto 107 52 lineto 98 58 lineto closepath gsave 0 setgray stroke grestore fill % Usage gsave 10 dict begin 136 99 27 18 ellipse_path stroke gsave 10 dict begin 136 100 moveto (Usage) 34 14.00 -0.50 alignedtext end grestore end grestore % Coqtop -> Usage newpath 62 80 moveto 74 83 88 87 101 90 curveto stroke newpath 101 87 moveto 110 92 lineto 100 92 lineto closepath gsave 0 setgray stroke grestore fill % Coqinit -> Toplevel newpath 168 45 moveto 180 45 195 45 208 45 curveto stroke newpath 208 43 moveto 218 45 lineto 208 48 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF