Gobo Eiffel Lint |

Gobo Eiffel Lint, or gelint for short, is a companion tool of gec. It's a lint-like tool for Eiffel. In addition to reporting errors found by compilers, it also goes further and tries to report suspicious language usage such as code that may lead to CAT-calls at run-time by performing system-level static analysis of the code. Contrary to some Eiffel compilers, gelint will report as many errors as possible in one go, both in live and dead Eiffel code.

This documentation of gelint is structured as follows:

> Using gelint
>   Command-line options, Ace files.
> Code Analysis Technology
>   Code analysis techniques used in gelint.
> Limitations
>   Limitations, bugs and other deficiencies.
> See Also
>   Bibliographical references, related resources and acknowledgments.
> Downloading Instructions
>   License agreement and downloading instructions.