<?xml version="1.0" encoding="ISO-8859-1"?><html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 <head>
  <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
  <title>See Also</title>
 </head>
 <body bgcolor="#FFFFFF">
  <table border="0" width="100%">
   <tr>
    <td><font size="6"><strong>See Also</strong></font></td>
    <td align="right"><a href="limitations.html"><img src="image/previous.gif" alt="Previous" border="0" /></a><a href="index.html"><img src="image/next.gif" alt="Next" border="0" /></a></td>
   </tr>
  </table>
  <hr size="1" />
  <div>
   <h2>Related Resources</h2>
   
   <p>
    Apart from using Eiffel compilers, there is no real equivalent of 
    <i>gelint</i>.
    
   </p>
   
   
   <p>
    <a href="http://www.eiffel.com">ISE</a>'s 
    <a href="https://www.eiffel.org/doc/eiffelstudio/Eiffel%20Inspector">Eiffel Inspector</a>
    goes beyond the scope of <i>gelint</i> and
    detects suspicious code usages in otherwise valid Eiffel code.
    
   </p>
   
   
   <p>
    The definitions of the Eiffel validity rules reported by
    <i>gelint</i> can be found in the
    <a href="http://www.ecma-international.org/publications/standards/Ecma-367.htm">ECMA Eiffel standard</a>.
    It is also available as an 
    <a href="https://www.iso.org/standard/42924.html">ISO standard</a>.
    
   </p>
   
  </div>
  <hr size="1" />
  <table border="0" width="100%">
   <tr>
    <td>
     <address><font size="2"><b>Copyright © 2006-2017, Eric Bezault</b><br /><b>mailto:</b><a href="mailto:ericb@gobosoft.com">ericb@gobosoft.com</a><br /><b>http://</b><a href="http://www.gobosoft.com">www.gobosoft.com</a><br /><b>Last Updated: </b>2 April 2017</font></address>
    </td>
    <td align="right" valign="top"><a href="http://www.gobosoft.com"><img src="image/home.gif" alt="Home" border="0" /></a><a href="index.html"><img src="image/toc.gif" alt="Toc" border="0" /></a><a href="limitations.html"><img src="image/previous.gif" alt="Previous" border="0" /></a><a href="index.html"><img src="image/next.gif" alt="Next" border="0" /></a></td>
   </tr>
  </table>
 </body>
</html>