OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Minor doc updates.

Browse Source 
From-SVN: r153596
This commit is contained in:
Arnaud Charlet 2009-10-27 15:07:19 +01:00
parent 27cdc66a63
commit 3d9d6c8e59
1 changed files with 6 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
gcc/ada/gnat_ugn.texi
View File

@ -20785,18 +20785,9 @@ Quiet mode. All the diagnostics about rule violations are placed in the
Short format of the report file (no version information, no list of applied
rules, no list of checked sources is included)
@cindex @option{^-s1^/COMPILER_STYLE^} (@command{gnatcheck})
@item ^-s1^/COMPILER_STYLE^
Include the compiler-style section in the report file
@cindex @option{^-s2^/BY_RULES^} (@command{gnatcheck})
@item ^-s2^/BY_RULES^
Include the section containing diagnostics ordered by rules in the report file
@cindex @option{^-s3^/BY_FILES_BY_RULES^} (@command{gnatcheck})
@item ^-s3^/BY_FILES_BY_RULES^
Include the section containing diagnostics ordered by files and then by rules
in the report file
@cindex @option{^--include-file=@var{file}^/INCLUDE_FILE=@var{file}^} (@command{gnatcheck})
@item ^--include-file^/INCLUDE_FILE^
Append the content of the specified text file to the report file
@cindex @option{^-t^/TIME^} (@command{gnatcheck})
@item ^-t^/TIME^
@ -21226,7 +21217,9 @@ This rule has no parameters.
@cindex @code{Anonymous_Subtypes} rule (for @command{gnatcheck})
@noindent
Flag all uses of anonymous subtypes. A use of an anonymous subtype is
Flag all uses of anonymous subtypes (except cases when subtype indication
is a part of a record component definition, and this subtype indication
depends on a discriminant). A use of an anonymous subtype is
any instance of a subtype indication with a constraint, other than one
that occurs immediately within a subtype declaration. Any use of a range
other than as a constraint used immediately within a subtype declaration