To include a new analysis, add a clause for analyze/2 (and for analysis/1).
As an alternative, you can add clauses for the multifile predicates analysis/4 and analysis/1, directly in your own sources.
See the file examples/Extending/myanalyzer.pl in the source directory for an example of this.
Returns on backtracking all available analyses.
Analyzes the current module with Analysis. If the intermod flag is not off, this predicate may call module/1.
ctcheck_sum(ok). ctcheck_sum(warning). ctcheck_sum(error).
Checks assertions w.r.t. analysis information. Upon success S is bound to: ok (the compile-time checking process has generated no error nor warning), warning (compile-time checking has not generated any error, but there has been at least one warning) or error (at least one error has been produced).
Checks assertions w.r.t. analysis information.
Cleans all analysis info but keep the program as wether it would be just read.
Mode for querying the current flag value.
Mode for setting the current flag to a single value.
Mode for setting the current flag to several values.
Performs Analysis on program Clauses.
Analysis is a valid analysis identifier.