path: root/doc/parsing.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 196
%%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 196
%%PageOrientation: Portrait
gsave
35 35 542 161 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6767 set_scale
0 0 translate 0 rotate
[ /CropBox [36 36 577 196] /PAGES pdfmark
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Pcoq
gsave 10 dict begin
441 180 27 18 ellipse_path
stroke
gsave 10 dict begin
441 175 moveto 33 -0.5 (Pcoq) alignedtext
end grestore
end grestore

%	Extend
gsave 10 dict begin
552 126 35 18 ellipse_path
stroke
gsave 10 dict begin
552 121 moveto 49 -0.5 (Extend) alignedtext
end grestore
end grestore

%	Pcoq -> Extend
newpath 463 169 moveto
478 161 500 151 517 143 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 516 141 moveto
526 139 lineto
518 145 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Ast
gsave 10 dict begin
655 72 27 18 ellipse_path
stroke
gsave 10 dict begin
655 67 moveto 23 -0.5 (Ast) alignedtext
end grestore
end grestore

%	Extend -> Ast
newpath 577 113 moveto
591 105 610 96 626 87 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 624 85 moveto
634 83 lineto
626 90 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Lexer
gsave 10 dict begin
655 126 31 18 ellipse_path
stroke
gsave 10 dict begin
655 121 moveto 40 -0.5 (Lexer) alignedtext
end grestore
end grestore

%	Extend -> Lexer
newpath 588 126 moveto
597 126 606 126 614 126 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 614 124 moveto
624 126 lineto
614 129 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Termast
gsave 10 dict begin
441 72 39 18 ellipse_path
stroke
gsave 10 dict begin
441 67 moveto 56 -0.5 (Termast) alignedtext
end grestore
end grestore

%	Termast -> Ast
newpath 480 72 moveto
520 72 581 72 620 72 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 618 70 moveto
628 72 lineto
618 75 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Coqast
gsave 10 dict begin
756 72 34 18 ellipse_path
stroke
gsave 10 dict begin
756 67 moveto 46 -0.5 (Coqast) alignedtext
end grestore
end grestore

%	Ast -> Coqast
newpath 682 72 moveto
691 72 702 72 712 72 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 712 70 moveto
722 72 lineto
712 75 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Search
gsave 10 dict begin
46 122 33 18 ellipse_path
stroke
gsave 10 dict begin
46 117 moveto 45 -0.5 (Search) alignedtext
end grestore
end grestore

%	Printer
gsave 10 dict begin
169 122 34 18 ellipse_path
stroke
gsave 10 dict begin
169 117 moveto 47 -0.5 (Printer) alignedtext
end grestore
end grestore

%	Search -> Printer
newpath 80 122 moveto
94 122 110 122 124 122 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 124 120 moveto
134 122 lineto
124 125 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

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

%	Printer -> Ppconstr
newpath 198 112 moveto
218 105 246 95 269 86 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 268 84 moveto
278 83 lineto
269 89 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Ppconstr -> Pcoq
newpath 340 84 moveto
351 89 362 95 366 99 curveto
388 117 382 132 402 153 curveto
406 157 409 160 413 163 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 414 161 moveto
421 168 lineto
411 165 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Ppconstr -> Termast
newpath 351 72 moveto
364 72 379 72 392 72 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 392 70 moveto
402 72 lineto
392 75 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Esyntax
gsave 10 dict begin
441 126 39 18 ellipse_path
stroke
gsave 10 dict begin
441 121 moveto 56 -0.5 (Esyntax) alignedtext
end grestore
end grestore

%	Ppconstr -> Esyntax
newpath 340 84 moveto
358 92 383 102 403 110 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 404 108 moveto
412 114 lineto
402 112 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Prettyp
gsave 10 dict begin
46 68 36 18 ellipse_path
stroke
gsave 10 dict begin
46 63 moveto 50 -0.5 (Prettyp) alignedtext
end grestore
end grestore

%	Prettyp -> Printer
newpath 73 80 moveto
91 88 115 98 134 106 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 134 103 moveto
142 110 lineto
132 108 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Printmod
gsave 10 dict begin
169 68 43 18 ellipse_path
stroke
gsave 10 dict begin
169 63 moveto 65 -0.5 (Printmod) alignedtext
end grestore
end grestore

%	Prettyp -> Printmod
newpath 82 68 moveto
93 68 104 68 115 68 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 115 66 moveto
125 68 lineto
115 71 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Pptactic
gsave 10 dict begin
46 188 38 18 ellipse_path
stroke
gsave 10 dict begin
46 183 moveto 54 -0.5 (Pptactic) alignedtext
end grestore
end grestore

%	Pptactic -> Printer
newpath 71 174 moveto
90 164 116 150 137 139 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 135 137 moveto
145 135 lineto
137 142 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Egrammar
gsave 10 dict begin
169 213 48 18 ellipse_path
stroke
gsave 10 dict begin
169 208 moveto 75 -0.5 (Egrammar) alignedtext
end grestore
end grestore

%	Pptactic -> Egrammar
newpath 81 195 moveto
92 197 104 200 116 202 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 117 200 moveto
126 204 lineto
116 204 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Egrammar -> Pcoq
newpath 217 216 moveto
257 217 316 216 366 207 curveto
374 205 392 199 407 193 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 407 190 moveto
417 189 lineto
409 195 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	Esyntax -> Extend
newpath 480 126 moveto
489 126 498 126 506 126 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 506 124 moveto
516 126 lineto
506 129 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_zsyntax
gsave 10 dict begin
310 18 49 18 ellipse_path
stroke
gsave 10 dict begin
310 13 moveto 76 -0.5 (G_zsyntax) alignedtext
end grestore
end grestore

%	G_zsyntax -> Pcoq
newpath 346 30 moveto
353 34 361 39 366 45 curveto
400 82 372 112 402 153 curveto
405 156 408 160 412 162 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 413 160 moveto
420 168 lineto
411 164 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_zsyntax -> Termast
newpath 343 31 moveto
361 39 385 48 404 56 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 404 53 moveto
412 60 lineto
402 58 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_zsyntax -> Esyntax
newpath 342 32 moveto
352 36 362 41 366 45 curveto
388 64 382 78 402 99 curveto
404 101 407 104 409 106 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 410 104 moveto
417 112 lineto
408 108 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_rsyntax
gsave 10 dict begin
310 180 48 18 ellipse_path
stroke
gsave 10 dict begin
310 175 moveto 74 -0.5 (G_rsyntax) alignedtext
end grestore
end grestore

%	G_rsyntax -> Pcoq
newpath 358 180 moveto
373 180 389 180 404 180 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 403 178 moveto
413 180 lineto
403 183 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_rsyntax -> Termast
newpath 342 166 moveto
352 162 362 157 366 153 curveto
388 134 382 119 402 99 curveto
404 96 407 94 409 92 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 407 90 moveto
417 86 lineto
411 94 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_rsyntax -> Esyntax
newpath 342 167 moveto
360 159 384 150 403 142 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 402 140 moveto
412 138 lineto
404 144 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_natsyntax
gsave 10 dict begin
310 126 56 18 ellipse_path
stroke
gsave 10 dict begin
310 121 moveto 90 -0.5 (G_natsyntax) alignedtext
end grestore
end grestore

%	G_natsyntax -> Pcoq
newpath 345 140 moveto
365 149 391 159 410 167 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 410 164 moveto
418 170 lineto
408 169 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_natsyntax -> Termast
newpath 345 112 moveto
363 104 385 95 403 87 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 402 85 moveto
412 84 lineto
403 90 lineto
closepath
fill
0.000 0.000 0.000 edgecolor

%	G_natsyntax -> Esyntax
newpath 366 126 moveto
375 126 384 126 392 126 curveto
stroke
0.000 0.000 0.000 edgecolor
newpath 392 124 moveto
402 126 lineto
392 129 lineto
closepath
fill
0.000 0.000 0.000 edgecolor
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF