diff options
Diffstat (limited to 'gcc/ada/exp_ch7.ads')
| -rw-r--r-- | gcc/ada/exp_ch7.ads | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch7.ads b/gcc/ada/exp_ch7.ads index b12af836f63..ed654164d1e 100644 --- a/gcc/ada/exp_ch7.ads +++ b/gcc/ada/exp_ch7.ads @@ -118,9 +118,24 @@ package Exp_Ch7 is -- finalization master must be analyzed. Insertion_Node is the insertion -- point before which the master is to be inserted. + procedure Build_Invariant_Procedure_Body + (Typ : Entity_Id; + Partial_Invariant : Boolean := False); + -- Create the body of the procedure which verifies the invariants of type + -- Typ at runtime. Flag Partial_Invariant should be set when Typ denotes a + -- private type, otherwise it is assumed that Typ denotes the full view of + -- a private type. + + procedure Build_Invariant_Procedure_Declaration + (Typ : Entity_Id; + Partial_Invariant : Boolean := False); + -- Create the declaration of the procedure which verifies the invariants of + -- type Typ at runtime. Flag Partial_Invariant should be set when building + -- the invariant procedure for a private type. + procedure Build_Late_Proc (Typ : Entity_Id; Nam : Name_Id); - -- Build one controlling procedure when a late body overrides one of - -- the controlling operations. + -- Build one controlling procedure when a late body overrides one of the + -- controlling operations. procedure Build_Object_Declarations (Data : out Finalization_Exception_Data; |