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

%	Pcoq
gsave 10 dict begin
591 251 27 18 ellipse_path
stroke
gsave 10 dict begin
591 252 moveto (Pcoq) 28 14.00 -0.50 alignedtext
end grestore
end grestore

%	Coqast
gsave 10 dict begin
684 251 30 18 ellipse_path
stroke
gsave 10 dict begin
684 252 moveto (Coqast) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pcoq -> Coqast
newpath 618 251 moveto
626 251 635 251 644 251 curveto
stroke
newpath 644 249 moveto
654 251 lineto
644 254 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Extend
gsave 10 dict begin
405 224 30 18 ellipse_path
stroke
gsave 10 dict begin
405 225 moveto (Extend) 39 14.00 -0.50 alignedtext
end grestore
end grestore

%	Ast
gsave 10 dict begin
501 251 27 18 ellipse_path
stroke
gsave 10 dict begin
501 252 moveto (Ast) 19 14.00 -0.50 alignedtext
end grestore
end grestore

%	Extend -> Ast
newpath 432 232 moveto
443 235 455 238 467 241 curveto
stroke
newpath 467 238 moveto
476 244 lineto
466 243 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Ast -> Pcoq
newpath 528 251 moveto
536 251 545 251 554 251 curveto
stroke
newpath 554 249 moveto
564 251 lineto
554 254 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Termast
gsave 10 dict begin
405 278 33 18 ellipse_path
stroke
gsave 10 dict begin
405 279 moveto (Termast) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Termast -> Ast
newpath 435 270 moveto
445 267 456 264 467 261 curveto
stroke
newpath 466 259 moveto
476 258 lineto
467 264 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Search
gsave 10 dict begin
39 305 29 18 ellipse_path
stroke
gsave 10 dict begin
39 306 moveto (Search) 37 14.00 -0.50 alignedtext
end grestore
end grestore

%	Astterm
gsave 10 dict begin
296 170 33 18 ellipse_path
stroke
gsave 10 dict begin
296 171 moveto (Astterm) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Search -> Astterm
newpath 61 293 moveto
65 289 69 285 70 281 curveto
90 199 63 103 106 32 curveto
126 0 190 10 220 32 curveto
252 57 237 111 256 146 curveto
258 149 260 151 263 153 curveto
stroke
newpath 264 151 moveto
272 157 lineto
262 155 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coqlib
gsave 10 dict begin
296 374 29 18 ellipse_path
stroke
gsave 10 dict begin
296 375 moveto (Coqlib) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Search -> Coqlib
newpath 53 321 moveto
67 336 88 357 106 362 curveto
146 372 215 375 257 374 curveto
stroke
newpath 256 372 moveto
266 374 lineto
256 377 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Printer
gsave 10 dict begin
163 278 29 18 ellipse_path
stroke
gsave 10 dict begin
163 279 moveto (Printer) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Search -> Printer
newpath 67 299 moveto
84 296 107 291 126 286 curveto
stroke
newpath 125 284 moveto
135 284 lineto
126 289 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Astterm -> Termast
newpath 321 182 moveto
327 186 333 190 336 194 curveto
352 211 358 235 372 254 curveto
374 256 376 258 378 260 curveto
stroke
newpath 377 256 moveto
384 264 lineto
374 261 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Printer -> Termast
newpath 193 278 moveto
235 278 314 278 362 278 curveto
stroke
newpath 362 276 moveto
372 278 lineto
362 281 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Esyntax
gsave 10 dict begin
296 224 33 18 ellipse_path
stroke
gsave 10 dict begin
296 225 moveto (Esyntax) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Printer -> Esyntax
newpath 188 268 moveto
208 259 237 247 260 238 curveto
stroke
newpath 259 236 moveto
269 235 lineto
260 241 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Esyntax -> Extend
newpath 329 224 moveto
340 224 353 224 365 224 curveto
stroke
newpath 365 222 moveto
375 224 lineto
365 227 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Prettyp
gsave 10 dict begin
39 251 30 18 ellipse_path
stroke
gsave 10 dict begin
39 252 moveto (Prettyp) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Prettyp -> Printer
newpath 68 257 moveto
85 260 107 265 126 270 curveto
stroke
newpath 126 267 moveto
135 272 lineto
125 272 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_zsyntax
gsave 10 dict begin
163 224 40 18 ellipse_path
stroke
gsave 10 dict begin
163 225 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_zsyntax -> Astterm
newpath 193 212 moveto
213 204 240 193 261 184 curveto
stroke
newpath 259 182 moveto
269 181 lineto
261 187 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_zsyntax -> Esyntax
newpath 203 224 moveto
219 224 237 224 254 224 curveto
stroke
newpath 253 222 moveto
263 224 lineto
253 227 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_string_syntax
gsave 10 dict begin
163 170 56 18 ellipse_path
stroke
gsave 10 dict begin
163 171 moveto (G_string_syntax) 92 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_string_syntax -> Astterm
newpath 220 170 moveto
232 170 243 170 254 170 curveto
stroke
newpath 253 168 moveto
263 170 lineto
253 173 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_string_syntax -> Esyntax
newpath 198 184 moveto
217 192 242 202 261 210 curveto
stroke
newpath 261 207 moveto
269 213 lineto
259 212 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_rsyntax
gsave 10 dict begin
163 116 39 18 ellipse_path
stroke
gsave 10 dict begin
163 117 moveto (G_rsyntax) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_rsyntax -> Astterm
newpath 193 128 moveto
213 136 240 147 261 156 curveto
stroke
newpath 261 153 moveto
269 159 lineto
259 158 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_rsyntax -> Esyntax
newpath 192 128 moveto
206 134 220 140 220 140 curveto
238 155 241 182 256 200 curveto
258 202 260 204 263 206 curveto
stroke
newpath 264 204 moveto
272 211 lineto
262 208 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_natsyntax
gsave 10 dict begin
163 332 45 18 ellipse_path
stroke
gsave 10 dict begin
163 333 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_natsyntax -> Termast
newpath 203 323 moveto
248 313 320 297 365 287 curveto
stroke
newpath 364 285 moveto
374 285 lineto
365 290 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_natsyntax -> Coqlib
newpath 199 343 moveto
218 349 242 357 261 363 curveto
stroke
newpath 261 360 moveto
270 366 lineto
260 365 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_natsyntax -> Esyntax
newpath 197 320 moveto
206 316 214 312 220 308 curveto
238 294 261 267 277 248 curveto
stroke
newpath 275 247 moveto
283 241 lineto
278 250 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_ascii_syntax
gsave 10 dict begin
163 62 53 18 ellipse_path
stroke
gsave 10 dict begin
163 63 moveto (G_ascii_syntax) 86 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_ascii_syntax -> Astterm
newpath 201 75 moveto
209 78 216 82 220 86 curveto
238 101 241 128 256 146 curveto
258 148 260 150 263 152 curveto
stroke
newpath 264 150 moveto
272 157 lineto
262 154 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_ascii_syntax -> Esyntax
newpath 203 74 moveto
210 77 216 80 220 86 curveto
243 119 237 165 256 200 curveto
258 203 260 205 263 207 curveto
stroke
newpath 264 205 moveto
272 211 lineto
262 209 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Egrammar
gsave 10 dict begin
296 116 40 18 ellipse_path
stroke
gsave 10 dict begin
296 117 moveto (Egrammar) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Egrammar -> Extend
newpath 320 131 moveto
329 136 336 140 336 140 curveto
351 155 372 181 388 201 curveto
stroke
newpath 389 198 moveto
393 208 lineto
385 201 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Lexer
gsave 10 dict begin
405 116 27 18 ellipse_path
stroke
gsave 10 dict begin
405 117 moveto (Lexer) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Egrammar -> Lexer
newpath 336 116 moveto
347 116 358 116 368 116 curveto
stroke
newpath 368 114 moveto
378 116 lineto
368 119 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF