diff options
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 37 |
1 files changed, 14 insertions, 23 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index ebcd861dbe5..5a37de89ab4 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2002 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2003 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- -- @@ -63,11 +63,13 @@ package Sem_Ch3 is -- Called to analyze a list of declarations (in what context ???). Also -- performs necessary freezing actions (more description needed ???) - procedure Analyze_Default_Expression (N : Node_Id; T : Entity_Id); - -- Default expressions do not freeze their components, and must be - -- analyzed and resolved accordingly, by calling the - -- Pre_Analyze_And_Resolve routine and setting the global - -- In_Default_Expression flag. + procedure Analyze_Per_Use_Expression (N : Node_Id; T : Entity_Id); + -- Default and per object expressions do not freeze their components, + -- and must be analyzed and resolved accordingly. The analysis is + -- done by calling the Pre_Analyze_And_Resolve routine and setting + -- the global In_Default_Expression flag. See the documentation section + -- entitled "Handling of Default and Per-Object Expressions" in sem.ads + -- for details. N is the expression to be analyzed, T is the expected type. procedure Array_Type_Declaration (T : in out Entity_Id; Def : Node_Id); -- Process an array type declaration. If the array is constrained, we @@ -121,15 +123,6 @@ package Sem_Ch3 is -- the instance. For tagged types, the derived subprograms are aliased to -- those of the actual, not those of the ancestor. - function Expand_To_Girder_Constraint - (Typ : Entity_Id; - Constraint : Elist_Id) - return Elist_Id; - -- Given a Constraint (ie a list of expressions) on the discriminants of - -- Typ, expand it into a constraint on the girder discriminants and - -- return the new list of expressions constraining the girder - -- discriminants. - function Find_Type_Name (N : Node_Id) return Entity_Id; -- Enter the identifier in a type definition, or find the entity already -- declared, in the case of the full declaration of an incomplete or @@ -173,7 +166,7 @@ package Sem_Ch3 is procedure Process_Full_View (N : Node_Id; Full_T, Priv_T : Entity_Id); -- Process some semantic actions when the full view of a private type is -- encountered and analyzed. The first action is to create the full views - -- of the dependent private subtypes. The second action is to recopy the + -- of the dependant private subtypes. The second action is to recopy the -- primitive operations of the private view (in the tagged case). -- N is the N_Full_Type_Declaration node. @@ -209,9 +202,12 @@ package Sem_Ch3 is -- will be inserted. The Related_Id and Suffix parameters are used to -- build the associated Implicit type name. - procedure Process_Discriminants (N : Node_Id); + procedure Process_Discriminants + (N : Node_Id; + Prev : Entity_Id := Empty); -- Process the discriminants contained in an N_Full_Type_Declaration or - -- N_Incomplete_Type_Decl node N. + -- N_Incomplete_Type_Decl node N. If the declaration is a completion, + -- Prev is entity on the partial view, on which references are posted. procedure Set_Completion_Referenced (E : Entity_Id); -- If E is the completion of a private or incomplete type declaration, @@ -219,9 +215,4 @@ package Sem_Ch3 is -- as referenced. Warnings on unused entities, if needed, go on the -- partial view. - procedure Set_Girder_Constraint_From_Discriminant_Constraint - (E : Entity_Id); - -- E is some record type. This routine computes E's Girder_Constraint - -- from its Discriminant_Constraint. - end Sem_Ch3; |