path: root/doc/pretyping.dep.ps

%!PS-Adobe-2.0
%%Creator: dot version uwin98 (01-26-98)
%%For: Gros nain
%%Title: G
%%Pages: (atend)
%%BoundingBox: 36 36 576 216
%%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 216
gsave
35 35 541 181 boxprim clip newpath
36 36 translate
0 0 1 beginpage
0.6444 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
347 220 36 18 ellipse_path
stroke
gsave 10 dict begin
347 221 moveto (Multcase) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil
gsave 10 dict begin
460 220 33 18 ellipse_path
stroke
gsave 10 dict begin
460 221 moveto (Evarutil) 45 14.00 -0.50 alignedtext
end grestore
end grestore

%	Multcase -> Evarutil
newpath 383 220 moveto
394 220 406 220 417 220 curveto
stroke
newpath 417 218 moveto
427 220 lineto
417 223 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretype_errors
gsave 10 dict begin
588 261 51 18 ellipse_path
stroke
gsave 10 dict begin
588 262 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarutil -> Pretype_errors
newpath 489 229 moveto
504 234 523 240 540 246 curveto
stroke
newpath 541 244 moveto
550 249 lineto
540 249 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Tacred
gsave 10 dict begin
712 72 29 18 ellipse_path
stroke
gsave 10 dict begin
712 73 moveto (Tacred) 38 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cbv
gsave 10 dict begin
811 72 27 18 ellipse_path
stroke
gsave 10 dict begin
811 73 moveto (Cbv) 23 14.00 -0.50 alignedtext
end grestore
end grestore

%	Tacred -> Cbv
newpath 742 72 moveto
752 72 764 72 774 72 curveto
stroke
newpath 774 70 moveto
784 72 lineto
774 75 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Syntax_def
gsave 10 dict begin
588 207 42 18 ellipse_path
stroke
gsave 10 dict begin
588 208 moveto (Syntax_def) 63 14.00 -0.50 alignedtext
end grestore
end grestore

%	Rawterm
gsave 10 dict begin
712 153 36 18 ellipse_path
stroke
gsave 10 dict begin
712 154 moveto (Rawterm) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Syntax_def -> Rawterm
newpath 618 194 moveto
635 186 658 176 676 168 curveto
stroke
newpath 675 166 moveto
685 165 lineto
676 171 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Classops
gsave 10 dict begin
588 45 35 18 ellipse_path
stroke
gsave 10 dict begin
588 46 moveto (Classops) 49 14.00 -0.50 alignedtext
end grestore
end grestore

%	Recordops -> Classops
newpath 485 112 moveto
491 108 496 105 500 102 curveto
514 93 523 78 536 69 curveto
541 66 548 63 555 60 curveto
stroke
newpath 551 59 moveto
561 57 lineto
553 64 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Classops -> Tacred
newpath 620 52 moveto
637 55 657 60 675 64 curveto
stroke
newpath 675 61 moveto
684 66 lineto
674 66 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Classops -> Rawterm
newpath 616 56 moveto
625 60 635 64 640 69 curveto
656 83 678 109 694 129 curveto
stroke
newpath 695 126 moveto
699 136 lineto
691 129 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Classops -> Retyping
newpath 620 38 moveto
635 35 653 31 669 27 curveto
stroke
newpath 669 25 moveto
679 25 lineto
670 29 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Cases
gsave 10 dict begin
139 126 27 18 ellipse_path
stroke
gsave 10 dict begin
139 127 moveto (Cases) 32 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pretyping -> Cases
newpath 76 126 moveto
85 126 94 126 102 126 curveto
stroke
newpath 102 124 moveto
112 126 lineto
102 129 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion
gsave 10 dict begin
238 126 36 18 ellipse_path
stroke
gsave 10 dict begin
238 127 moveto (Coercion) 51 14.00 -0.50 alignedtext
end grestore
end grestore

%	Cases -> Coercion
newpath 166 126 moveto
174 126 183 126 192 126 curveto
stroke
newpath 192 124 moveto
202 126 lineto
192 129 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pretype_errors -> Rawterm
newpath 623 248 moveto
629 244 636 241 640 237 curveto
656 223 678 197 694 177 curveto
stroke
newpath 691 177 moveto
699 170 lineto
695 180 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Pattern
gsave 10 dict begin
588 153 30 18 ellipse_path
stroke
gsave 10 dict begin
588 154 moveto (Pattern) 39 14.00 -0.50 alignedtext
end grestore
end grestore

%	Pattern -> Rawterm
newpath 618 153 moveto
632 153 650 153 666 153 curveto
stroke
newpath 666 151 moveto
676 153 lineto
666 156 lineto
closepath
gsave 0 setgray stroke grestore fill

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

%	Evarconv -> Evarutil
newpath 366 142 moveto
385 157 414 181 435 199 curveto
stroke
newpath 436 197 moveto
442 205 lineto
433 200 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Evarconv -> Recordops
newpath 384 126 moveto
392 126 401 126 410 126 curveto
stroke
newpath 410 124 moveto
420 126 lineto
410 129 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Typing
gsave 10 dict begin
460 72 30 18 ellipse_path
stroke
gsave 10 dict begin
460 73 moveto (Typing) 40 14.00 -0.50 alignedtext
end grestore
end grestore

%	Evarconv -> Typing
newpath 373 113 moveto
389 105 411 95 428 87 curveto
stroke
newpath 426 85 moveto
436 83 lineto
428 90 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Detyping
gsave 10 dict begin
588 99 36 18 ellipse_path
stroke
gsave 10 dict begin
588 100 moveto (Detyping) 52 14.00 -0.50 alignedtext
end grestore
end grestore

%	Detyping -> Rawterm
newpath 616 111 moveto
633 119 657 129 676 137 curveto
stroke
newpath 677 135 moveto
685 141 lineto
675 139 lineto
closepath
gsave 0 setgray stroke grestore fill

%	Coercion -> Evarconv
newpath 274 126 moveto
282 126 291 126 300 126 curveto
stroke
newpath 300 124 moveto
310 126 lineto
300 129 lineto
closepath
gsave 0 setgray stroke grestore fill
endpage
grestore
%%PageTrailer
%%EndPage: 1
%%Trailer
%%Pages: 1
end
restore
%%EOF