<!-- Generated by SmallEiffel short html style hooks -->
<html>
<head>
<title>Eiffel class _THISCLASS</title>
</head>
<body>
<A HREF="index.html"><IMG SRC="/usr/doc/smalleiffel/html/up.jpeg" ALT="Up" ALIGN=bottom WIDTH="40" HEIGHT="40"></A> Top&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<A HREF="_PREVCLASS.html"><IMG SRC="/usr/doc/smalleiffel/html/prev.jpeg" ALT="Prev" ALIGN=bottom WIDTH="40" HEIGHT="40"></A> _PREVCLASS&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<A HREF="_NEXTCLASS.html"><IMG SRC="/usr/doc/smalleiffel/html/next.jpeg" ALT="Next" ALIGN=bottom WIDTH="40" HEIGHT="40"></A> _NEXTCLASS
 <BR><BR>                                                                             
  <HR>                    
<pre>
