[ library(lint) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# lint(+File)

Check the given source module file

File
  Name of the source file (atom or string)

## Description

Analyse a source file, do various heuristic checks on the code, and print warnings if appropriate. This is equivalent to

    	lint(File, [])

The analysed code can use pragmas of the form

        :- pragma(lint(Option:Value)).

to enable or disable individual checks. See lint/2 for a list of the options.

## See Also

lint / 2