diff options
Diffstat (limited to 'gcc/ada/validsw.ads')
| -rw-r--r-- | gcc/ada/validsw.ads | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/validsw.ads b/gcc/ada/validsw.ads index a2d0a18..1038b36 100644 --- a/gcc/ada/validsw.ads +++ b/gcc/ada/validsw.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2001-2005, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2006, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -47,6 +47,12 @@ package Validsw is -- pragma, then the right side of assignments and also initializing -- expressions in object declarations are checked for validity. + Validity_Check_Components : Boolean := False; + -- Controls validity checking for assignment to elementary components of + -- records. If this switch is set true using -gnatVe, or an 'e' in the + -- argument of Validity_Checks pragma, then the right hand of an assignment + -- to such a component is checked for validity. + Validity_Check_Default : Boolean := True; -- Controls default (reference manual) validity checking. If this switch is -- set to True using -gnatVd or a 'd' in the argument of a Validity_ Checks |