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

