path: root/doc/pretyping.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: (jc) Jean-Christophe,,,,
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 199
%%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 576 199
gsave
35 35 541 164 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.8207 set_scale
0 0 translate 0 rotate
0.000 0.000 0.000 graphcolor
14.00 /Times-Roman set_font

%	Multcase
gsave 10 dict begin
257 72 36 18 ellipse_path
stroke
gsave 10 dict begin
257 73 moveto (Multcase) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil
gsave 10 dict begin
370 72 33 18 ellipse_path
stroke
gsave 10 dict begin
370 73 moveto (Evarutil) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Multcase -> Evarutil
newpath 293 72 moveto
304 72 316 72 327 72 curveto
stroke
newpath 327 70 moveto
337 72 lineto
327 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretype_errors
gsave 10 dict begin
498 45 51 18 ellipse_path
stroke
gsave 10 dict begin
498 46 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil -> Pretype_errors
newpath 401 65 moveto
414 63 429 59 443 56 curveto
stroke
newpath 443 54 moveto
453 54 lineto
444 58 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Syntax_def
gsave 10 dict begin
498 99 42 18 ellipse_path
stroke
gsave 10 dict begin
498 100 moveto (Syntax_def) 63 14.00 -0.50 alignedtext
end grestore
end grestore

%	Rawterm
gsave 10 dict begin
622 72 36 18 ellipse_path
stroke
gsave 10 dict begin
622 73 moveto (Rawterm) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Syntax_def -> Rawterm
newpath 536 91 moveto
550 88 565 84 579 81 curveto
stroke
newpath 579 79 moveto
589 79 lineto
580 83 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Recordops
gsave 10 dict begin
370 126 40 18 ellipse_path
stroke
gsave 10 dict begin
370 127 moveto (Recordops) 59 14.00 -0.50 alignedtext
end grestore
end grestore

%	Classops
gsave 10 dict begin
498 153 35 18 ellipse_path
stroke
gsave 10 dict begin
498 154 moveto (Classops) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Recordops -> Classops
newpath 406 134 moveto
422 137 440 141 456 144 curveto
stroke
newpath 456 141 moveto
465 146 lineto
455 146 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tacred
gsave 10 dict begin
622 153 29 18 ellipse_path
stroke
gsave 10 dict begin
622 154 moveto (Tacred) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Classops -> Tacred
newpath 533 153 moveto
549 153 567 153 583 153 curveto
stroke
newpath 582 151 moveto
592 153 lineto
582 156 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretyping
gsave 10 dict begin
38 72 37 18 ellipse_path
stroke
gsave 10 dict begin
38 73 moveto (Pretyping) 54 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cases
gsave 10 dict begin
148 99 27 18 ellipse_path
stroke
gsave 10 dict begin
148 100 moveto (Cases) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretyping -> Cases
newpath 72 80 moveto
85 83 101 87 114 91 curveto
stroke
newpath 114 88 moveto
123 93 lineto
113 93 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion
gsave 10 dict begin
148 45 36 18 ellipse_path
stroke
gsave 10 dict begin
148 46 moveto (Coercion) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretyping -> Coercion
newpath 72 64 moveto
83 62 95 59 106 56 curveto
stroke
newpath 105 54 moveto
115 53 lineto
106 59 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv
gsave 10 dict begin
257 126 37 18 ellipse_path
stroke
gsave 10 dict begin
257 127 moveto (Evarconv) 53 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cases -> Evarconv
newpath 174 105 moveto
186 108 201 112 214 116 curveto
stroke
newpath 215 114 moveto
224 118 lineto
214 118 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Retyping
gsave 10 dict begin
257 18 36 18 ellipse_path
stroke
gsave 10 dict begin
257 19 moveto (Retyping) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cases -> Retyping
newpath 167 86 moveto
174 82 180 78 184 75 curveto
197 64 208 52 220 42 curveto
222 40 225 38 228 36 curveto
stroke
newpath 224 35 moveto
234 32 lineto
227 40 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Evarconv
newpath 170 59 moveto
176 63 180 66 184 69 curveto
197 79 208 91 220 102 curveto
222 104 225 106 228 108 curveto
stroke
newpath 227 104 moveto
234 112 lineto
224 109 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Retyping
newpath 180 37 moveto
191 35 204 31 216 28 curveto
stroke
newpath 215 26 moveto
225 26 lineto
216 31 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretype_errors -> Rawterm
newpath 542 55 moveto
554 57 567 60 579 63 curveto
stroke
newpath 580 61 moveto
589 65 lineto
579 65 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Evarutil
newpath 283 113 moveto
299 105 320 95 337 88 curveto
stroke
newpath 335 86 moveto
345 84 lineto
337 91 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Recordops
newpath 294 126 moveto
302 126 311 126 320 126 curveto
stroke
newpath 320 124 moveto
330 126 lineto
320 129 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Typing
gsave 10 dict begin
370 180 30 18 ellipse_path
stroke
gsave 10 dict begin
370 181 moveto (Typing) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarconv -> Typing
newpath 283 139 moveto
299 147 321 157 338 165 curveto
stroke
newpath 338 162 moveto
346 169 lineto
336 167 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF