: Eiffel class interface</TITLE>
</HEAD>
<BODY BGCOLOR="#FFFFFF">
<PRE>
