13.6 spxref — Cross Referencer

Synopsis

     % spxref [-R] [-v] [-c] [-i ifile] [-w wfile] [-x xfile] [-u ufile] fspec ...

Description

The main purpose is to find undefined predicates and unreachable code. To this end, it begins by looking for initializations, hooks and public directives to start tracing the reachable code from. If an entire application is being checked, it also traces from user:runtime_entry/1. If individual module-files are being checked, it also traces from their export lists.

Options

File arguments should be given as atoms or as -, denoting the standard output stream.

-R

Check an application, i.e. follow user:runtime_entry/1, as opposed to module declarations.

-c

Generate standard compiler style error messages.

-v

Verbose output. This echoes the names of the files being read.

-i ifile

An initialization file, which is loaded before processing begins.

-w wfile

Warning file. Warnings are written to the standard error stream by default.

-x xfile

Generate a cross-reference file. This is not generated by default.

-m mfile

Generate a file indicating which predicates are imported and which are exported for each file. This is not generated by default.

-u ufile

Generate a file listing all the undefined predicates. This is not generated by default.

See Also

The Cross-Referencer.