path: root/doc/toplevel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001)
%%For: (herbelin) Hugo Herbelin
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 256
%%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

%%EndProlog
%%BeginSetup
14 default-font-family set_font
1 setmiterlimit
% /arrowlength 10 def
% /arrowwidth 5 def

% make sure pdfmark is harmless for PS-interpreters other than Distiller
/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
% make '<<' and '>>' safe on PS Level 1 devices
/languagelevel where {pop languagelevel}{1} ifelse
2 lt {
    userdict (<<) cvn ([) cvn load put
    userdict (>>) cvn ([) cvn load put
} if

%%EndResource
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 576 256
%%PageOrientation: Portrait
gsave
35 35 541 221 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6236 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 576 256] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

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

%	Vernacinterp
gsave 10 dict begin
695 234 46 18 ellipse_path
stroke
gsave 10 dict begin
695 235 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext
end grestore
end grestore

%	Vernac -> Vernacinterp
newpath 573 228 moveto
592 229 619 230 642 231 curveto
stroke
newpath 639 228 moveto
649 232 lineto
639 233 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacinterp -> Command
newpath 734 224 moveto
747 221 761 218 774 214 curveto
stroke
newpath 773 212 moveto
783 212 lineto
774 217 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacinterp -> Himsg
newpath 737 242 moveto
752 244 767 248 781 250 curveto
stroke
newpath 781 247 moveto
790 252 lineto
780 252 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Vernacinterp
newpath 562 143 moveto
586 162 624 193 648 210 curveto
651 212 655 215 660 217 curveto
stroke
newpath 658 213 moveto
666 220 lineto
656 218 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Discharge
newpath 591 126 moveto
609 126 629 126 647 126 curveto
stroke
newpath 646 124 moveto
656 126 lineto
646 129 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Metasyntax
newpath 577 113 moveto
600 106 630 96 653 87 curveto
stroke
newpath 652 85 moveto
662 84 lineto
653 90 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Mltop
newpath 562 109 moveto
586 90 624 59 648 42 curveto
653 39 659 35 666 32 curveto
stroke
newpath 662 31 moveto
672 29 lineto
664 36 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Record
newpath 577 139 moveto
602 147 636 159 661 168 curveto
stroke
newpath 661 165 moveto
669 171 lineto
659 170 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Discharge -> Class
newpath 731 133 moveto
747 136 766 140 783 142 curveto
stroke
newpath 783 139 moveto
792 144 lineto
782 144 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Discharge -> Recordobj
newpath 729 117 moveto
743 114 759 110 774 106 curveto
stroke
newpath 773 104 moveto
783 104 lineto
774 109 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Command
newpath 724 185 moveto
738 187 756 191 771 194 curveto
stroke
newpath 772 192 moveto
781 196 lineto
771 196 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Himsg
newpath 718 192 moveto
730 198 742 204 742 204 curveto
755 212 766 224 778 233 curveto
781 235 786 238 791 240 curveto
stroke
newpath 790 236 moveto
797 244 lineto
787 241 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Class
newpath 723 173 moveto
741 169 764 163 784 158 curveto
stroke
newpath 783 156 moveto
793 156 lineto
784 161 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Toplevel -> Mltop
newpath 279 115 moveto
361 96 578 45 662 26 curveto
stroke
newpath 659 24 moveto
669 24 lineto
660 29 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Toplevel -> Protectedtoplevel
newpath 263 138 moveto
286 161 328 204 355 231 curveto
stroke
newpath 355 227 moveto
360 236 lineto
351 231 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Protectedtoplevel -> Vernac
newpath 429 244 moveto
454 240 481 236 503 232 curveto
stroke
newpath 502 230 moveto
512 231 lineto
502 235 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Protectedtoplevel -> Errors
newpath 429 262 moveto
455 266 484 271 507 274 curveto
stroke
newpath 505 271 moveto
515 275 lineto
505 276 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Protectedtoplevel -> Line_oriented_parser
newpath 403 269 moveto
424 282 453 300 472 310 curveto
477 312 484 315 491 318 curveto
stroke
newpath 489 315 moveto
498 320 lineto
488 320 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Errors -> Himsg
newpath 569 278 moveto
619 274 725 265 781 260 curveto
stroke
newpath 779 258 moveto
789 259 lineto
779 263 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Minicoq -> Fhimsg
newpath 76 230 moveto
85 230 94 230 102 230 curveto
stroke
newpath 102 228 moveto
112 230 lineto
102 233 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Coqtop -> Coqinit
newpath 70 141 moveto
81 138 94 135 106 132 curveto
stroke
newpath 105 130 moveto
115 129 lineto
106 135 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Coqtop -> Usage
newpath 70 157 moveto
82 160 96 164 109 167 curveto
stroke
newpath 109 164 moveto
118 169 lineto
108 169 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coqinit -> Toplevel
newpath 176 122 moveto
184 122 193 122 202 122 curveto
stroke
newpath 202 120 moveto
212 122 lineto
202 125 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF