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.
-
--silent
-
Run gelint in silent mode.
-
--verbose
-
Run gelint in verbose mode.
-
-V
-
--version
-
Print the version number of gelint and exit.