path: root/doc/parsing.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: (jacek) Jacek Chrzaszcz
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 577 217
%%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

%%EndResource
%%EndProlog
%%BeginSetup
14 default-font-family set_font
% /arrowlength 10 def
% /arrowwidth 5 def
%%EndSetup
%%Page: 1 1
%%PageBoundingBox: 36 36 577 217
gsave
35 35 542 182 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.8060 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Pcoq
gsave 10 dict begin
547 110 27 18 ellipse_path
stroke
gsave 10 dict begin
547 111 moveto (Pcoq) 28 14.00 -0.50 alignedtext
end grestore
end grestore

%	Coqast
gsave 10 dict begin
640 110 30 18 ellipse_path
stroke
gsave 10 dict begin
640 111 moveto (Coqast) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pcoq -> Coqast
newpath 574 110 moveto
582 110 591 110 600 110 curveto
stroke
newpath 600 108 moveto
610 110 lineto
600 113 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Extend
gsave 10 dict begin
364 110 30 18 ellipse_path
stroke
gsave 10 dict begin
364 111 moveto (Extend) 39 14.00 -0.50 alignedtext
end grestore
end grestore

%	Ast
gsave 10 dict begin
457 110 27 18 ellipse_path
stroke
gsave 10 dict begin
457 111 moveto (Ast) 19 14.00 -0.50 alignedtext
end grestore
end grestore

%	Extend -> Ast
newpath 394 110 moveto
402 110 411 110 420 110 curveto
stroke
newpath 420 108 moveto
430 110 lineto
420 113 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Ast -> Pcoq
newpath 484 110 moveto
492 110 501 110 510 110 curveto
stroke
newpath 510 108 moveto
520 110 lineto
510 113 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Termast -> Ast
newpath 285 34 moveto
317 23 369 9 394 26 curveto
411 38 430 65 442 85 curveto
stroke
newpath 444 83 moveto
447 93 lineto
440 86 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pattern
gsave 10 dict begin
364 56 30 18 ellipse_path
stroke
gsave 10 dict begin
364 57 moveto (Pattern) 39 14.00 -0.50 alignedtext
end grestore
end grestore

%	Termast -> Pattern
newpath 290 48 moveto
301 49 313 50 325 52 curveto
stroke
newpath 324 49 moveto
334 53 lineto
324 54 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Printer
gsave 10 dict begin
136 44 29 18 ellipse_path
stroke
gsave 10 dict begin
136 45 moveto (Printer) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Printer -> Termast
newpath 166 44 moveto
181 44 199 44 215 44 curveto
stroke
newpath 215 42 moveto
225 44 lineto
215 47 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Esyntax
gsave 10 dict begin
258 98 33 18 ellipse_path
stroke
gsave 10 dict begin
258 99 moveto (Esyntax) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Printer -> Esyntax
newpath 160 55 moveto
178 63 204 74 224 83 curveto
stroke
newpath 224 80 moveto
232 87 lineto
222 85 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Esyntax -> Extend
newpath 290 102 moveto
301 103 313 104 325 106 curveto
stroke
newpath 324 103 moveto
334 107 lineto
324 108 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretty
gsave 10 dict begin
27 44 27 18 ellipse_path
stroke
gsave 10 dict begin
27 45 moveto (Pretty) 33 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretty -> Printer
newpath 54 44 moveto
67 44 82 44 96 44 curveto
stroke
newpath 96 42 moveto
106 44 lineto
96 47 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_zsyntax
gsave 10 dict begin
136 152 40 18 ellipse_path
stroke
gsave 10 dict begin
136 153 moveto (G_zsyntax) 59 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_zsyntax -> Esyntax
newpath 165 139 moveto
182 131 206 121 224 113 curveto
stroke
newpath 222 111 moveto
232 109 lineto
224 116 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Astterm
gsave 10 dict begin
258 152 33 18 ellipse_path
stroke
gsave 10 dict begin
258 153 moveto (Astterm) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_zsyntax -> Astterm
newpath 176 152 moveto
189 152 203 152 215 152 curveto
stroke
newpath 215 150 moveto
225 152 lineto
215 155 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Astterm -> Ast
newpath 291 150 moveto
322 149 367 146 394 140 curveto
394 140 411 132 427 124 curveto
stroke
newpath 425 122 moveto
435 120 lineto
427 127 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Astterm -> Pattern
newpath 282 139 moveto
288 136 294 132 298 128 curveto
313 114 321 94 334 80 curveto
334 80 336 79 339 77 curveto
stroke
newpath 337 76 moveto
346 71 lineto
340 79 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_natsyntax
gsave 10 dict begin
136 98 45 18 ellipse_path
stroke
gsave 10 dict begin
136 99 moveto (G_natsyntax) 70 14.00 -0.50 alignedtext
end grestore
end grestore

%	G_natsyntax -> Esyntax
newpath 182 98 moveto
193 98 205 98 216 98 curveto
stroke
newpath 215 96 moveto
225 98 lineto
215 101 lineto
closepath
gsave 0 setgray stroke grestore fill

%	G_natsyntax -> Astterm
newpath 166 111 moveto
184 119 206 129 224 137 curveto
stroke
newpath 224 134 moveto
233 140 lineto
223 139 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Egrammar
gsave 10 dict begin
258 206 40 18 ellipse_path
stroke
gsave 10 dict begin
258 207 moveto (Egrammar) 58 14.00 -0.50 alignedtext
end grestore
end grestore

%	Egrammar -> Extend
newpath 284 192 moveto
289 189 295 185 298 182 curveto
312 170 330 149 344 133 curveto
stroke
newpath 342 132 moveto
350 126 lineto
345 135 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Lexer
gsave 10 dict begin
364 206 27 18 ellipse_path
stroke
gsave 10 dict begin
364 207 moveto (Lexer) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Egrammar -> Lexer
newpath 298 206 moveto
308 206 318 206 327 206 curveto
stroke
newpath 327 204 moveto
337 206 lineto
327 209 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF