audit-library-or-files library files flags

Invoke aa-audit on a list of files, the files listed in a list-file, a library, or a family of libraries. Exactly one of these four parameters may be non-empty. (The exception to this rule is if the Vendor is "objectada_v7", then all four may be empty)

If either library or family is specified, a vendor must also be specified so that the appropriate library structure can be interpreted. The supported vendors are:

• Alsys
• Aonix
• Decada
• Gnat
• Greenhills
• Greenhills95
• Tartan
• Vads

Family is only supported for the Alsys vendor option.

Suffix control is only supported by two vendors, Alsys and Vads. If suffix is specified, only files with the given suffixes are considered. For Alsys, the default is {.ada,.ads,.adb}, and for Vads, the default is .a.

Ada-Audit maintains a cached version of the STYLE relation for each file. Editing a file makes the cache stale. The default behavior of aa-audit is to first update each stale cache file and then view the combined STYLE relation. This default behavior can be changed by the flags listed below.

Flags for aa-audit include the following:

• -update_only Do not view the relation after updating it.

• -view_only Do not update the relation before viewing it.