diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-01-20 13:50:15 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 14:50:15 +0100 |
| commit | dc72675740ac7e955a2ae13855da45f7818686ae (patch) | |
| tree | 00eb459a45c4eeae5ec4e623607630628e07a750 /gcc/ada/sem_aux.ads | |
| parent | 3a5de596b6eba17526176085ef7162bab6e88591 (diff) | |
| download | gcc-dc72675740ac7e955a2ae13855da45f7818686ae.zip gcc-dc72675740ac7e955a2ae13855da45f7818686ae.tar.gz gcc-dc72675740ac7e955a2ae13855da45f7818686ae.tar.bz2 | |
einfo.adb (Non_Limited_View): Applies to abstract states.
2014-01-20 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Non_Limited_View): Applies to abstract states.
(Set_From_Limited_With): Applies to abstract states.
(Set_Non_Limited_View): Applies to abstract states.
(Write_Field17): Output the non-limited view of an abstract state.
* einfo.ads: Update the comment on usage and occurrences in
nodes for attributes From_Limited_With and Non_Limited_View.
* sem_aux.adb (Available_View): This routine can now handle
abstract states.
* sem_aux.ads (Available_View): This routine can now handle
abstract states. Update the comment on usage.
* sem_ch8.adb (Find_Expanded_Name): Handle abstract views
of states and variables.
(In_Pragmas_Depends_Or_Global): New routine.
* sem_ch10.adb (Build_Limited_Views): Implement
abstract (limited) views of variables and states.
(Build_Shadow_Entity): This routine is now a procedure. Add
formal parameter Shadow. Update the comment on usage. Add
context-specific decoration for states and variables.
(Decorate_State): New routine. (Decorate_Variable): New routine.
(Find_And_Process_States): New routine.
(Process_Declarations): Renamed to Process_Declarations_And_States.
(Process_Declarations_And_States): Add formal parameters
Pack and Create_Abstract_Views. Update the comment on usage.
(Process_States): New routine.
* sem_prag.adb (Check_Dependency_Clause): Handle abstract
views of states and variables. Match the abstract view of a state
against its corresponding non-abstract view.
(Is_Matching_Input):
Handle abstract views of states and variables. Match the abstract
view of a state against its corresponding non-abstract view.
(Process_Global_Item): Handle abstract views of states and
variables.
From-SVN: r206808
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 49d75ac..5d500a3 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -90,12 +90,10 @@ package Sem_Aux is -- subtype then it returns the subtype or type from which the subtype was -- obtained, otherwise it returns Empty. - function Available_View (Typ : Entity_Id) return Entity_Id; - -- Typ is typically a type that has the With_Type flag set. Returns the - -- non-limited view of the type, if available, otherwise the type itself. - -- For class-wide types, there is no direct link in the tree, so we have - -- to retrieve the class-wide type of the non-limited view of the Etype. - -- Returns the argument unchanged if it is not one of these cases. + function Available_View (Ent : Entity_Id) return Entity_Id; + -- Ent denotes an abstract state or a type that may come from a limited + -- with clause. Return the non-limited view of Ent if there is one or Ent + -- if this is not the case. function Constant_Value (Ent : Entity_Id) return Node_Id; -- Ent is a variable, constant, named integer, or named real entity. This |