path: root/doc/toplevel.dep.ps

%!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