[ 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