: Eiffel class interface</title>
</head>
<body>
<pre>
