mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 23:31:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

gnat_ugn.texi: Add description for the new gnatcheck rule - Separate_Numeric_Error_Handlers.

Browse Source 
2008-05-26  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi: Add description for the new gnatcheck rule -
	Separate_Numeric_Error_Handlers.

From-SVN: r135905
This commit is contained in:
Sergey Rybin 2008-05-26 11:41:12 +02:00 committed by Arnaud Charlet
parent b98bd80dcf
commit 0390e4718d
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/ada/gnat_ugn.texi
View File

@ -20513,6 +20513,7 @@ used as a parameter of the @option{+R} or @option{-R} options.
* Predefined_Numeric_Types::
* Raising_External_Exceptions::
* Raising_Predefined_Exceptions::
* Separate_Numeric_Error_Handlers::
@ignore
* Recursion::
* Side_Effect_Functions::
@ -21707,6 +21708,18 @@ Flag each @code{raise} statement that raises a predefined exception
This rule has no parameters.
@node Separate_Numeric_Error_Handlers
@subsection @code{Separate_Numeric_Error_Handlers}
@cindex @code{Separate_Numeric_Error_Handlers} rule (for @command{gnatcheck})
@noindent
Flags each exception handler that contains a choice for
the predefined @code{Constraint_Error} exception, but does not contain
the choice for the predefined @code{Numeric_Error} exception, or
that contains the choice for @code{Numeric_Error}, but does not contain the
choice for @code{Constraint_Error}.
This rule has no parameters.
@ignore
@node Recursion