diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-01-27 11:58:53 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-01-27 11:58:53 +0000 |
| commit | a285064446011ef8b0e30a14b7b373f1af14b0ac (patch) | |
| tree | b8fac0ebde05707062d9e9cce1edd34c15d14561 /gcc/ada/gnat_rm.texi | |
| parent | 2620467d87840b3ff231f0150c10c3a7b9167460 (diff) | |
| download | gcc-a285064446011ef8b0e30a14b7b373f1af14b0ac.tar.gz | |
2010-01-27 Sergey Rybin <rybin@adacore.com>
* gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156279 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 46823f9ebad..abfb4ee0634 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -16454,7 +16454,7 @@ package_spec ::= package_identifier ::= @code{Naming} | @code{Builder} | @code{Compiler} | @code{Binder} | @code{Linker} | @code{Finder} | @code{Cross_Reference} | - @code{gnatls} | @code{IDE} | @code{Pretty_Printer} + @code{gnatls} | @code{IDE} | @code{Pretty_Printer} | @code{Check} @end smallexample @subsection Package Naming @@ -16775,6 +16775,25 @@ be called with the options specified by Default_Switches of its language, if defined. @end table +@subsection package Check + +@noindent +The attributes of package @code{Check} +specify the checking rule options to be used +when invoking the checking tool @command{gnatcheck}. +The following attributes apply to package @code{Check}: + +@table @code +@item Default_switches +This is an associative array attribute. Its +domain is a set of language names. Its range is a string list that +specifies options to be used when calling @command{gnatcheck} on a source +written in that language. The first string in the range should always be +@code{"-rules"} to specify that all the other options belong to the +@code{-rules} section of the parameters of @command{gnatcheck} call. + +@end table + @subsection package Pretty_Printer @noindent |