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.

Copyright © 2006-2016, Eric Bezault mailto:ericb@gobosoft.com http://www.gobosoft.com Last Updated: 28 December 2016