diff options
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 1acdab16d48..c544cfe6064 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2010, 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- -- @@ -134,10 +134,10 @@ package Checks is (N : Node_Id; Typ : Entity_Id; No_Sliding : Boolean := False); - -- Top-level procedure, calls all the others depending on the class of Typ. - -- Checks that expression N satisfies the constraint of type Typ. - -- No_Sliding is only relevant for constrained array types, if set to True, - -- it checks that indexes are in range. + -- Top-level procedure, calls all the others depending on the class of + -- Typ. Checks that expression N satisfies the constraint of type Typ. + -- No_Sliding is only relevant for constrained array types, if set to + -- True, it checks that indexes are in range. procedure Apply_Discriminant_Check (N : Node_Id; @@ -153,6 +153,11 @@ package Checks is -- formals, the check is peformed only if the corresponding actual is -- constrained, i.e., whether Lhs'Constrained is True. + procedure Apply_Predicate_Check (N : Node_Id; Typ : Entity_Id); + -- N is an expression to which a predicate check may need to be applied + -- for Typ, if Typ has a predicate function. The check is applied only + -- if the type of N does not match Typ. + function Build_Discriminant_Checks (N : Node_Id; T_Typ : Entity_Id) |