path: root/doc/toplevel.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version 1.7.16 (Wed Feb  6 02:14:52 MST 2002)
%%For: (filliatr) Jean-Christophe Filliatre
%%Title: G
%%Pages: (atend)
%%BoundingBox: 35 35 577 180
%%EndComments
save
%%BeginProlog
/DotDict 200 dict def
DotDict begin

/setupLatin1 {
mark
/EncodingVector 256 array def
 EncodingVector 0

ISOLatin1Encoding 0 255 getinterval putinterval

EncodingVector
  dup 306 /AE
  dup 301 /Aacute
  dup 302 /Acircumflex
  dup 304 /Adieresis
  dup 300 /Agrave
  dup 305 /Aring
  dup 303 /Atilde
  dup 307 /Ccedilla
  dup 311 /Eacute
  dup 312 /Ecircumflex
  dup 313 /Edieresis
  dup 310 /Egrave
  dup 315 /Iacute
  dup 316 /Icircumflex
  dup 317 /Idieresis
  dup 314 /Igrave
  dup 334 /Udieresis
  dup 335 /Yacute
  dup 376 /thorn
  dup 337 /germandbls
  dup 341 /aacute
  dup 342 /acircumflex
  dup 344 /adieresis
  dup 346 /ae
  dup 340 /agrave
  dup 345 /aring
  dup 347 /ccedilla
  dup 351 /eacute
  dup 352 /ecircumflex
  dup 353 /edieresis
  dup 350 /egrave
  dup 355 /iacute
  dup 356 /icircumflex
  dup 357 /idieresis
  dup 354 /igrave
  dup 360 /dcroat
  dup 361 /ntilde
  dup 363 /oacute
  dup 364 /ocircumflex
  dup 366 /odieresis
  dup 362 /ograve
  dup 365 /otilde
  dup 370 /oslash
  dup 372 /uacute
  dup 373 /ucircumflex
  dup 374 /udieresis
  dup 371 /ugrave
  dup 375 /yacute
  dup 377 /ydieresis  

% Set up ISO Latin 1 character encoding
/starnetISO {
        dup dup findfont dup length dict begin
        { 1 index /FID ne { def }{ pop pop } ifelse
        } forall
        /Encoding EncodingVector def
        currentdict end definefont
} def
/Times-Roman starnetISO def
/Times-Italic starnetISO def
/Times-Bold starnetISO def
/Times-BoldItalic starnetISO def
/Helvetica starnetISO def
/Helvetica-Oblique starnetISO def
/Helvetica-Bold starnetISO def
/Helvetica-BoldOblique starnetISO def
/Courier starnetISO def
/Courier-Oblique starnetISO def
/Courier-Bold starnetISO def
/Courier-BoldOblique starnetISO def
cleartomark
} bind def

%%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
/alignedtext {			% width adj text
	/text exch def
	/adj exch def
	/width exch def
	gsave
		width 0 gt {
			text stringwidth pop adj mul 0 rmoveto
		} if
		[] 0 setdash
		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
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

%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 577 180
%%PageOrientation: Portrait
gsave
35 35 542 145 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.4180 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 577 180] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Vernacinterp
gsave 10 dict begin
947 135 56 18 ellipse_path
stroke
gsave 10 dict begin
947 130 moveto 91 -0.5 (Vernacinterp) alignedtext
end grestore
end grestore

%	Himsg
gsave 10 dict begin
1092 60 33 18 ellipse_path
stroke
gsave 10 dict begin
1092 55 moveto 45 -0.5 (Himsg) alignedtext
end grestore
end grestore

%	Vernacinterp -> Himsg
newpath 979 120 moveto
991 114 1003 109 1004 108 curveto
1015 103 1042 88 1063 76 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1059 75 moveto
1069 73 lineto
1061 80 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Vernacexpr
gsave 10 dict begin
1232 179 51 18 ellipse_path
stroke
gsave 10 dict begin
1232 174 moveto 81 -0.5 (Vernacexpr) alignedtext
end grestore
end grestore

%	Vernacinterp -> Vernacexpr
newpath 1002 139 moveto
1056 143 1131 149 1144 152 curveto
1159 154 1173 159 1187 163 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1187 160 moveto
1196 166 lineto
1186 165 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Vernacentries
gsave 10 dict begin
795 158 58 18 ellipse_path
stroke
gsave 10 dict begin
795 153 moveto 95 -0.5 (Vernacentries) alignedtext
end grestore
end grestore

%	Vernacentries -> Vernacinterp
newpath 848 150 moveto
860 148 873 146 886 144 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 886 142 moveto
896 143 lineto
886 146 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Discharge
gsave 10 dict begin
947 287 45 18 ellipse_path
stroke
gsave 10 dict begin
947 282 moveto 68 -0.5 (Discharge) alignedtext
end grestore
end grestore

%	Vernacentries -> Discharge
newpath 809 176 moveto
826 197 857 233 890 258 curveto
895 262 902 266 908 269 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 909 267 moveto
917 273 lineto
907 271 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Metasyntax
gsave 10 dict begin
1092 179 51 18 ellipse_path
stroke
gsave 10 dict begin
1092 174 moveto 81 -0.5 (Metasyntax) alignedtext
end grestore
end grestore

%	Vernacentries -> Metasyntax
newpath 852 162 moveto
903 166 978 171 1030 174 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1031 172 moveto
1041 175 lineto
1031 177 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Mltop
gsave 10 dict begin
947 81 32 18 ellipse_path
stroke
gsave 10 dict begin
947 76 moveto 42 -0.5 (Mltop) alignedtext
end grestore
end grestore

%	Vernacentries -> Mltop
newpath 825 142 moveto
848 130 878 114 890 108 curveto
895 106 905 101 915 96 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 912 95 moveto
922 93 lineto
914 99 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Record
gsave 10 dict begin
947 231 35 18 ellipse_path
stroke
gsave 10 dict begin
947 226 moveto 49 -0.5 (Record) alignedtext
end grestore
end grestore

%	Vernacentries -> Record
newpath 827 173 moveto
851 186 886 202 913 214 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 913 211 moveto
921 218 lineto
911 216 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Class
gsave 10 dict begin
1232 283 28 18 ellipse_path
stroke
gsave 10 dict begin
1232 278 moveto 34 -0.5 (Class) alignedtext
end grestore
end grestore

%	Discharge -> Class
newpath 983 298 moveto
1004 305 1029 312 1040 314 curveto
1086 320 1099 321 1144 314 curveto
1155 312 1179 304 1198 296 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1198 293 moveto
1208 292 lineto
1200 298 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Recordobj
gsave 10 dict begin
1092 287 47 18 ellipse_path
stroke
gsave 10 dict begin
1092 282 moveto 72 -0.5 (Recordobj) alignedtext
end grestore
end grestore

%	Discharge -> Recordobj
newpath 992 287 moveto
1006 287 1021 287 1035 287 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1035 285 moveto
1045 287 lineto
1035 290 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Metasyntax -> Vernacexpr
newpath 1144 179 moveto
1153 179 1161 179 1170 179 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1170 177 moveto
1180 179 lineto
1170 182 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Command
gsave 10 dict begin
1092 233 47 18 ellipse_path
stroke
gsave 10 dict begin
1092 228 moveto 73 -0.5 (Command) alignedtext
end grestore
end grestore

%	Record -> Command
newpath 983 231 moveto
999 231 1017 232 1034 232 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1034 230 moveto
1044 232 lineto
1034 235 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Vernac
gsave 10 dict begin
614 145 36 18 ellipse_path
stroke
gsave 10 dict begin
614 140 moveto 50 -0.5 (Vernac) alignedtext
end grestore
end grestore

%	Vernac -> Vernacentries
newpath 650 148 moveto
672 149 701 151 728 153 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 728 151 moveto
738 154 lineto
728 155 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Toplevel
gsave 10 dict begin
275 72 40 18 ellipse_path
stroke
gsave 10 dict begin
275 67 moveto 59 -0.5 (Toplevel) alignedtext
end grestore
end grestore

%	Protectedtoplevel
gsave 10 dict begin
422 72 69 18 ellipse_path
stroke
gsave 10 dict begin
422 67 moveto 117 -0.5 (Protectedtoplevel) alignedtext
end grestore
end grestore

%	Toplevel -> Protectedtoplevel
newpath 316 72 moveto
324 72 333 72 342 72 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 342 70 moveto
352 72 lineto
342 75 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Protectedtoplevel -> Vernac
newpath 461 87 moveto
496 100 545 118 578 131 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 577 128 moveto
585 134 lineto
575 132 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Cerrors
gsave 10 dict begin
795 42 36 18 ellipse_path
stroke
gsave 10 dict begin
795 37 moveto 51 -0.5 (Cerrors) alignedtext
end grestore
end grestore

%	Protectedtoplevel -> Cerrors
newpath 490 68 moveto
547 65 629 60 700 53 curveto
717 52 735 50 751 48 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 750 46 moveto
760 47 lineto
750 51 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Line_oriented_parser
gsave 10 dict begin
614 26 85 18 ellipse_path
stroke
gsave 10 dict begin
614 21 moveto 149 -0.5 (Line_oriented_parser) alignedtext
end grestore
end grestore

%	Protectedtoplevel -> Line_oriented_parser
newpath 473 60 moveto
496 55 524 48 548 42 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 547 40 moveto
557 40 lineto
548 45 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Command -> Vernacexpr
newpath 1126 220 moveto
1144 213 1168 204 1188 196 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1187 194 moveto
1197 192 lineto
1189 198 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Command -> Class
newpath 1127 245 moveto
1149 253 1177 263 1199 271 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1199 268 moveto
1207 274 lineto
1197 273 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Cerrors -> Himsg
newpath 832 44 moveto
882 47 972 53 1004 54 curveto
1019 55 1035 56 1049 57 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 1049 55 moveto
1059 58 lineto
1049 59 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Minicoq
gsave 10 dict begin
48 126 39 18 ellipse_path
stroke
gsave 10 dict begin
48 121 moveto 57 -0.5 (Minicoq) alignedtext
end grestore
end grestore

%	Fhimsg
gsave 10 dict begin
161 126 36 18 ellipse_path
stroke
gsave 10 dict begin
161 121 moveto 51 -0.5 (Fhimsg) alignedtext
end grestore
end grestore

%	Minicoq -> Fhimsg
newpath 88 126 moveto
97 126 106 126 114 126 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 114 124 moveto
124 126 lineto
114 129 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Coqtop
gsave 10 dict begin
48 45 36 18 ellipse_path
stroke
gsave 10 dict begin
48 40 moveto 50 -0.5 (Coqtop) alignedtext
end grestore
end grestore

%	Coqinit
gsave 10 dict begin
161 72 36 18 ellipse_path
stroke
gsave 10 dict begin
161 67 moveto 50 -0.5 (Coqinit) alignedtext
end grestore
end grestore

%	Coqtop -> Coqinit
newpath 81 53 moveto
93 56 106 59 118 62 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 119 60 moveto
128 64 lineto
118 64 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Usage
gsave 10 dict begin
161 18 32 18 ellipse_path
stroke
gsave 10 dict begin
161 13 moveto 42 -0.5 (Usage) alignedtext
end grestore
end grestore

%	Coqtop -> Usage
newpath 81 37 moveto
94 34 109 31 122 27 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 121 25 moveto
131 25 lineto
122 30 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Coqinit -> Toplevel
newpath 197 72 moveto
206 72 215 72 224 72 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 224 70 moveto
234 72 lineto
224 75 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF