[ library(lint) | Reference Manual | Alphabetic Index ]
lint(+File, +Options)
Check the given source module file
- File
- Name of the source file (atom or string)
- Options
- A list of Option:Value structures
Description
Analyse a source file, do various heuristic checks on the code,
and print warnings if appropriate.
The possible options are:
- head_unify ('off' or 'on')
- warn if a clause with a cut contains aliasing in the head,
which may indicate non-steadfast code. Default: on.
- missing_else ('off' or 'on')
- warn if a conditions does not have an else case, since this
will fail and is more clearly written using a simple conjunction
or once/1. Default: on.
- naming_conventions ('off' or 'on')
- enable/disable naming conventions checks for variable names,
predicate names and module names. Default: on.
- singletons ('off' or 'on')
- enable/disable singleton variable checks. Default: on.
These option settings can be overridden via pragmas in the analysed
file. E.g. a pragma
:- pragma(lint(head_unify:off)).
will disable head_unify checking for the subsequent code, or until
another pragma enables it again.
See Also
lint / 1