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. Your Eiffel system can be an Eiffel project or an Eiffel library.

For simple programs, one can just provide the Eiffel file containing the root class:

gec eiffel_filename

This will perform the code analysis on all classes reachable from that class, starting from its first creation procedure as root creation procedure.

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.

--target=<target_name>

Name of target to be used in ECF file. (default: last target in ECF file)

--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.

--setting=name=value

Override settings defined in ECF file. This option can be used several times to override several settings.

--capability=name=value

Override capability usage defined in ECF file. This option can be used several times to override several capabilities.

--variable=NAME=VALUE

Override variables defined in ECF file. This option can be used several times to override several variables.

--thread=<thread_count>

Number of threads to be used to run gelint. Negative numbers -N mean "number of CPUs - N". (default: -3, aka "max (number of CPUs -3, 1)")

--silent

Run gelint in silent mode.

--verbose

Run gelint in verbose mode.

--no-benchmark

Should no benchmark information be displayed? (default: display non-nested benchmark information)

--nested-benchmark

Should nested benchmark information be displayed?

--metrics

Should metrics information be displayed?

-V

--version

Print the version number of gelint and exit.

Environment variables

It is possible to override some of the command-line options above, or the default values for these options, using environment variables.

$GOBO_CLI_SETTING

Override settings as if they were specified with the command-line option --setting, or override their values if they are also specified with the command-line option. Several settings can be specified in this environment variable, separated by a comma or a space.

$GOBO_DEFAULT_SETTING

Override the default value for a given setting when the command-line option --setting or the environment variable $GOBO_CLI_SETTING did not set it. Several settings can be specified in this environment variable, separated by a comma or a space.

$GOBO_CLI_CAPABILITY

Override capabilities as if they were specified with the command-line option --capability, or override their values if they are also specified with the command-line option. Several capabilities can be specified in this environment variable, separated by a comma or a space.

$GOBO_DEFAULT_CAPABILITY

Override the default value for a given capability when the command-line option --capability or the environment variable $GOBO_CLI_CAPABILITY did not set it. Several capabilities can be specified in this environment variable, separated by a comma or a space.

$GOBO_CLI_THREAD

Override the command-line option --thread.

$GOBO_DEFAULT_THREAD

Override the default value when the command-line option --thread has not been specified and the environment variable $GOBO_CLI_THREAD has not been set.