15. Glossary
- Analyzer package
The Analyzer package is a project package used to configure GNAT SAS settings. See Analyzer package attributes for a complete description of available attributes.
- gnatsas directory
The directory used to store GNAT SAS intermediate files and artifacts. It is named
gnatsas
and generated at:[<object_dir>/][<subdirs>/]gnatsas
, where<object_dir>
refers to the object directory and<subdirs>
refers to subdirs.- object directory
The directory specified through the
Object_Dir
attribute of the project file. The project directory is used if not specified.- output directory
The directory used to store GNAT SAS results for this project. By default, the output directory is generated under the gnatsas directory as
gnatsas/<project>.outputs
. Use theOutput_Dir
attribute of the Analyzer package to change the location.- review file
User reviews are stored in a Static Analysis Reviews (SAR) file, or simply review file, generated in the output directory as
<output_dir>/<prj>.sar
by default. Use theReview_File
attribute of the Analyzer package to change the location.- subdirs
The optional relative path from the object directory (if specified, project directory otherwise) to the gnatsas directory where results and intermediate files will be output:
[<object_dir>/][<subdirs>/]gnatsas
. Use theSubdirs
attribute of the Analyzer package to specify its value.