Using gelint PreviousNext

Command-line options

The usual way to invoke gelint is as follows:

gelint ecf_filename
This will read the description of your Eiffel system in the ECF file ecf_filename, perform code analysis on the corresponding Eiffel classes and report any syntax or validity errors. Note that an Xace file can also be used in place of the ECF file. Your Eiffel system can be an Eiffel project or an Eiffel library. Here is the list of options that can be used with gelint:
-?
-h
--help
Print a summary of the command-line options of gelint and exit.
--flat
For each class, not only check the validity of the features declared in this class, but also of those inherited from its parent classes.
--noflatdbc
Do not check the validity of inherited pre- and postconditions when a feature is redeclared.
--catcall
Report possible CAT-call errors, based on the statically computed dynamic type sets of each variables in the Eiffel code.
--ecma
Strictly follow the ECMA Eiffel standard during code analysis.
--ise[=major[.minor[.revision[.build]]]]
Version of ISE Eiffel whose semantics should be used during code analysis.
--define=NAME[=VALUE][ NAME[=VALUE]]*
Define variables to be used when reading Xace files.
--thread=<thread_count>
Number of threads to be used to run gelint. (default: 1)
--silent
Run gelint in silent mode.
--verbose
Run gelint in verbose mode.
--benchmark
Should benchmark information be displayed?
--metrics
Should metrics information be displayed?
-V
--version
Print the version number of gelint and exit.


Copyright 2006-2017, Eric Bezault
mailto:ericb@gobosoft.com
http://www.gobosoft.com
Last Updated: 7 June 2017
HomeTocPreviousNext