path: root/doc/toplevel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: (jacek) Jacek Chrzaszcz
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 240
%%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 240
gsave
35 35 542 205 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6683 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

%	Command
gsave 10 dict begin
768 96 39 18 ellipse_path
stroke
gsave 10 dict begin
768 97 moveto (Command) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacinterp -> Command
newpath 675 166 moveto
681 163 688 159 692 156 curveto
706 147 725 131 742 118 curveto
stroke
newpath 740 117 moveto
749 112 lineto
743 120 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Himsg
gsave 10 dict begin
768 204 29 18 ellipse_path
stroke
gsave 10 dict begin
768 205 moveto (Himsg) 37 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacinterp -> Himsg
newpath 687 188 moveto
701 190 717 194 731 197 curveto
stroke
newpath 731 194 moveto
740 199 lineto
730 199 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Vernacentries
gsave 10 dict begin
513 97 49 18 ellipse_path
stroke
gsave 10 dict begin
513 98 moveto (Vernacentries) 77 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernacentries -> Vernacinterp
newpath 536 113 moveto
554 127 581 145 598 156 curveto
601 158 603 159 607 161 curveto
stroke
newpath 608 159 moveto
616 166 lineto
606 163 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 555 106 moveto
570 109 586 113 601 116 curveto
stroke
newpath 601 113 moveto
610 118 lineto
600 118 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Metasyntax
newpath 557 89 moveto
570 87 583 84 596 81 curveto
stroke
newpath 596 79 moveto
606 79 lineto
597 83 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

%	Vernacentries -> Record
newpath 537 81 moveto
556 69 582 52 598 42 curveto
602 39 609 36 615 33 curveto
stroke
newpath 611 32 moveto
621 30 lineto
613 37 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Command
newpath 669 29 moveto
677 34 686 38 692 42 curveto
706 51 724 63 739 75 curveto
stroke
newpath 741 73 moveto
747 81 lineto
738 77 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Vernac
gsave 10 dict begin
513 178 30 18 ellipse_path
stroke
gsave 10 dict begin
513 179 moveto (Vernac) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernac -> Vernacinterp
newpath 544 178 moveto
557 178 573 179 588 179 curveto
stroke
newpath 588 177 moveto
598 179 lineto
588 182 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Toplevel -> Mltop
newpath 271 239 moveto
290 243 314 248 334 252 curveto
stroke
newpath 334 249 moveto
343 254 lineto
333 254 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Toplevel -> Protectedtoplevel
newpath 271 225 moveto
283 223 297 220 310 217 curveto
stroke
newpath 310 215 moveto
320 215 lineto
311 219 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Protectedtoplevel -> Vernac
newpath 419 196 moveto
438 193 458 188 475 185 curveto
stroke
newpath 474 183 moveto
484 184 lineto
474 188 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Errors
gsave 10 dict begin
513 232 27 18 ellipse_path
stroke
gsave 10 dict begin
513 233 moveto (Errors) 34 14.00 -0.50 alignedtext
end grestore
end grestore

%	Protectedtoplevel -> Errors
newpath 419 214 moveto
439 217 460 222 478 225 curveto
stroke
newpath 477 222 moveto
486 227 lineto
476 227 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Errors -> Himsg
newpath 540 229 moveto
587 224 681 214 732 208 curveto
stroke
newpath 729 206 moveto
739 207 lineto
729 211 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Minicoq -> Fhimsg
newpath 68 286 moveto
77 286 86 286 94 286 curveto
stroke
newpath 94 284 moveto
104 286 lineto
94 289 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Coqtop -> Coqinit
newpath 62 213 moveto
73 216 86 219 98 222 curveto
stroke
newpath 98 219 moveto
107 225 lineto
97 224 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Coqtop -> Usage
newpath 62 197 moveto
74 194 88 190 101 187 curveto
stroke
newpath 100 185 moveto
110 185 lineto
101 190 lineto
closepath
gsave 0 setgray stroke grestore fill

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