path: root/doc/toplevel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: Gros nain
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 260
%%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 260
gsave
35 35 541 225 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6353 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
687 234 46 18 ellipse_path
stroke
gsave 10 dict begin
687 235 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext
end grestore
end grestore

%	Command
gsave 10 dict begin
810 203 39 18 ellipse_path
stroke
gsave 10 dict begin
810 204 moveto (Command) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacinterp -> Command
newpath 726 224 moveto
739 221 753 218 766 214 curveto
stroke
newpath 765 212 moveto
775 212 lineto
766 217 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Himsg
gsave 10 dict begin
810 257 29 18 ellipse_path
stroke
gsave 10 dict begin
810 258 moveto (Himsg) 37 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacinterp -> Himsg
newpath 729 242 moveto
744 244 759 248 773 250 curveto
stroke
newpath 773 247 moveto
782 252 lineto
772 252 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Vernacentries
gsave 10 dict begin
534 126 49 18 ellipse_path
stroke
gsave 10 dict begin
534 127 moveto (Vernacentries) 77 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacentries -> Vernacinterp
newpath 554 143 moveto
578 162 616 193 640 210 curveto
643 212 647 215 652 217 curveto
stroke
newpath 650 213 moveto
658 220 lineto
648 218 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Discharge
gsave 10 dict begin
687 126 38 18 ellipse_path
stroke
gsave 10 dict begin
687 127 moveto (Discharge) 56 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacentries -> Discharge
newpath 583 126 moveto
601 126 621 126 639 126 curveto
stroke
newpath 638 124 moveto
648 126 lineto
638 129 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Metasyntax
gsave 10 dict begin
687 72 43 18 ellipse_path
stroke
gsave 10 dict begin
687 73 moveto (Metasyntax) 65 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacentries -> Metasyntax
newpath 569 113 moveto
592 106 622 96 645 87 curveto
stroke
newpath 644 85 moveto
654 84 lineto
645 90 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Mltop
gsave 10 dict begin
687 18 27 18 ellipse_path
stroke
gsave 10 dict begin
687 19 moveto (Mltop) 34 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacentries -> Mltop
newpath 554 109 moveto
578 90 616 59 640 42 curveto
645 39 651 35 658 32 curveto
stroke
newpath 654 31 moveto
664 29 lineto
656 36 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record
gsave 10 dict begin
687 180 30 18 ellipse_path
stroke
gsave 10 dict begin
687 181 moveto (Record) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacentries -> Record
newpath 569 139 moveto
594 147 628 159 653 168 curveto
stroke
newpath 653 165 moveto
661 171 lineto
651 170 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Class
gsave 10 dict begin
810 149 27 18 ellipse_path
stroke
gsave 10 dict begin
810 150 moveto (Class) 30 14.00 -0.50 alignedtext
end grestore
end grestore

%	Discharge -> Class
newpath 723 133 moveto
739 136 758 140 775 142 curveto
stroke
newpath 775 139 moveto
784 144 lineto
774 144 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Recordobj
gsave 10 dict begin
810 95 39 18 ellipse_path
stroke
gsave 10 dict begin
810 96 moveto (Recordobj) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Discharge -> Recordobj
newpath 721 117 moveto
735 114 751 110 766 106 curveto
stroke
newpath 765 104 moveto
775 104 lineto
766 109 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Command
newpath 716 185 moveto
730 187 748 191 763 194 curveto
stroke
newpath 764 192 moveto
773 196 lineto
763 196 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Himsg
newpath 710 192 moveto
722 198 734 204 734 204 curveto
747 212 758 224 770 233 curveto
773 235 778 238 783 240 curveto
stroke
newpath 782 236 moveto
789 244 lineto
779 241 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Class
newpath 715 173 moveto
733 169 756 163 776 158 curveto
stroke
newpath 775 156 moveto
785 156 lineto
776 161 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Vernac
gsave 10 dict begin
534 226 30 18 ellipse_path
stroke
gsave 10 dict begin
534 227 moveto (Vernac) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernac -> Vernacinterp
newpath 565 228 moveto
584 229 611 230 634 231 curveto
stroke
newpath 631 228 moveto
641 232 lineto
631 233 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Toplevel
gsave 10 dict begin
239 122 35 18 ellipse_path
stroke
gsave 10 dict begin
239 123 moveto (Toplevel) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Toplevel -> Mltop
newpath 271 115 moveto
353 96 570 45 654 26 curveto
stroke
newpath 651 24 moveto
661 24 lineto
652 29 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Protectedtoplevel
gsave 10 dict begin
369 253 59 18 ellipse_path
stroke
gsave 10 dict begin
369 254 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext
end grestore
end grestore

%	Toplevel -> Protectedtoplevel
newpath 255 138 moveto
278 161 320 204 347 231 curveto
stroke
newpath 347 227 moveto
352 236 lineto
343 231 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Protectedtoplevel -> Vernac
newpath 421 244 moveto
446 240 473 236 495 232 curveto
stroke
newpath 494 230 moveto
504 231 lineto
494 235 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Errors
gsave 10 dict begin
534 280 27 18 ellipse_path
stroke
gsave 10 dict begin
534 281 moveto (Errors) 34 14.00 -0.50 alignedtext
end grestore
end grestore

%	Protectedtoplevel -> Errors
newpath 421 262 moveto
447 266 476 271 499 274 curveto
stroke
newpath 497 271 moveto
507 275 lineto
497 276 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Line_oriented_parser
gsave 10 dict begin
534 334 70 18 ellipse_path
stroke
gsave 10 dict begin
534 335 moveto (Line_oriented_parser) 119 14.00 -0.50 alignedtext
end grestore
end grestore

%	Protectedtoplevel -> Line_oriented_parser
newpath 395 269 moveto
416 282 445 300 464 310 curveto
469 312 476 315 483 318 curveto
stroke
newpath 481 315 moveto
490 320 lineto
480 320 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Errors -> Himsg
newpath 561 278 moveto
611 274 717 265 773 260 curveto
stroke
newpath 771 258 moveto
781 259 lineto
771 263 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Minicoq
gsave 10 dict begin
34 230 34 18 ellipse_path
stroke
gsave 10 dict begin
34 231 moveto (Minicoq) 47 14.00 -0.50 alignedtext
end grestore
end grestore

%	Fhimsg
gsave 10 dict begin
136 230 31 18 ellipse_path
stroke
gsave 10 dict begin
136 231 moveto (Fhimsg) 42 14.00 -0.50 alignedtext
end grestore
end grestore

%	Minicoq -> Fhimsg
newpath 68 230 moveto
77 230 86 230 94 230 curveto
stroke
newpath 94 228 moveto
104 230 lineto
94 233 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coqtop
gsave 10 dict begin
34 149 31 18 ellipse_path
stroke
gsave 10 dict begin
34 150 moveto (Coqtop) 41 14.00 -0.50 alignedtext
end grestore
end grestore

%	Coqinit
gsave 10 dict begin
136 122 31 18 ellipse_path
stroke
gsave 10 dict begin
136 123 moveto (Coqinit) 42 14.00 -0.50 alignedtext
end grestore
end grestore

%	Coqtop -> Coqinit
newpath 62 141 moveto
73 138 86 135 98 132 curveto
stroke
newpath 97 130 moveto
107 129 lineto
98 135 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Usage
gsave 10 dict begin
136 176 27 18 ellipse_path
stroke
gsave 10 dict begin
136 177 moveto (Usage) 34 14.00 -0.50 alignedtext
end grestore
end grestore

%	Coqtop -> Usage
newpath 62 157 moveto
74 160 88 164 101 167 curveto
stroke
newpath 101 164 moveto
110 169 lineto
100 169 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coqinit -> Toplevel
newpath 168 122 moveto
176 122 185 122 194 122 curveto
stroke
newpath 194 120 moveto
204 122 lineto
194 125 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF