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 126 30 18 ellipse_path
stroke
gsave 10 dict begin
542 127 moveto (Vernac) 40 14.00 -0.50 alignedtext
end grestore
end grestore

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

%	Vernac -> Vernacinterp
newpath 573 124 moveto
592 123 619 122 642 121 curveto
stroke
newpath 639 119 moveto
649 120 lineto
639 124 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacinterp -> Command
newpath 732 129 moveto
746 133 761 138 776 142 curveto
stroke
newpath 776 139 moveto
785 145 lineto
775 144 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacinterp -> Himsg
newpath 731 106 moveto
748 101 768 94 784 89 curveto
stroke
newpath 782 87 moveto
792 86 lineto
784 92 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Vernacinterp
newpath 562 209 moveto
586 190 624 159 648 142 curveto
651 140 655 137 660 135 curveto
stroke
newpath 656 134 moveto
666 132 lineto
658 139 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Discharge
newpath 577 239 moveto
601 247 631 257 656 266 curveto
stroke
newpath 656 263 moveto
664 269 lineto
654 268 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Metasyntax
newpath 591 226 moveto
608 226 626 226 642 226 curveto
stroke
newpath 642 224 moveto
652 226 lineto
642 229 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Mltop
newpath 562 243 moveto
586 262 624 293 648 310 curveto
653 313 659 317 666 320 curveto
stroke
newpath 664 316 moveto
672 323 lineto
662 321 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Vernacentries -> Record
newpath 577 213 moveto
602 205 636 193 661 184 curveto
stroke
newpath 659 182 moveto
669 181 lineto
661 187 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Discharge -> Class
newpath 722 267 moveto
741 257 768 245 788 235 curveto
stroke
newpath 786 233 moveto
796 231 lineto
788 238 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Discharge -> Recordobj
newpath 734 280 moveto
745 280 757 280 768 280 curveto
stroke
newpath 768 278 moveto
778 280 lineto
768 283 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Command
newpath 725 168 moveto
738 166 755 164 770 162 curveto
stroke
newpath 770 160 moveto
780 160 lineto
771 164 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Record -> Class
newpath 720 182 moveto
739 189 765 199 786 207 curveto
stroke
newpath 786 204 moveto
794 211 lineto
784 209 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Toplevel -> Mltop
newpath 277 208 moveto
359 233 579 299 663 324 curveto
stroke
newpath 661 321 moveto
670 326 lineto
660 326 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Toplevel -> Protectedtoplevel
newpath 266 184 moveto
288 168 322 141 347 122 curveto
stroke
newpath 346 120 moveto
355 116 lineto
349 124 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Protectedtoplevel -> Vernac
newpath 429 108 moveto
454 112 481 116 503 120 curveto
stroke
newpath 502 117 moveto
512 121 lineto
502 122 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Cerrors
gsave 10 dict begin
542 72 31 18 ellipse_path
stroke
gsave 10 dict begin
542 73 moveto (Cerrors) 41 14.00 -0.50 alignedtext
end grestore
end grestore

%	Protectedtoplevel -> Cerrors
newpath 429 90 moveto
454 86 481 82 503 78 curveto
stroke
newpath 502 76 moveto
512 77 lineto
502 81 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Protectedtoplevel -> Line_oriented_parser
newpath 403 83 moveto
424 70 453 52 472 42 curveto
477 40 484 37 491 34 curveto
stroke
newpath 488 32 moveto
498 32 lineto
489 37 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Cerrors -> Himsg
newpath 573 73 moveto
625 74 726 76 782 77 curveto
stroke
newpath 779 75 moveto
789 77 lineto
779 80 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Minicoq -> Fhimsg
newpath 76 253 moveto
85 253 94 253 102 253 curveto
stroke
newpath 102 251 moveto
112 253 lineto
102 256 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

%	Coqtop -> Coqinit
newpath 70 180 moveto
81 183 94 186 106 189 curveto
stroke
newpath 106 186 moveto
115 192 lineto
105 191 lineto
closepath
gsave 0 setgray stroke grestore fill

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

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

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