diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 13:50:15 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 13:50:15 +0000 |
| commit | da1724ffa87416efc680f9ac589a889b1a3bb7e6 (patch) | |
| tree | 00eb459a45c4eeae5ec4e623607630628e07a750 /gcc/ada/einfo.ads | |
| parent | c7c3e90b8f7c38decd6270a2b8859eb0f2552afc (diff) | |
| download | gcc-da1724ffa87416efc680f9ac589a889b1a3bb7e6.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206808 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 0eaf13b43f1..ba6adc636ce 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -1316,10 +1316,11 @@ package Einfo is -- Freeze for further details. -- From_Limited_With (Flag159) --- Defined in package and type entities. Set to True when the related --- entity is generated by the expansion of a limited with clause. Such --- an entity is said to be a "shadow" - it acts as the incomplete view --- of a type by inheriting relevant attributes from the said type. +-- Defined in abtract states, package and type entities. Set to True when +-- the related entity is generated by the expansion of a limited with +-- clause. Such an entity is said to be a "shadow" - it acts as the +-- abstract view of a state or variable or as the incomplete view of a +-- type by inheriting relevant attributes from the said entity. -- Full_View (Node11) -- Defined in all type and subtype entities and in deferred constants. @@ -3262,9 +3263,9 @@ package Einfo is -- types if the modulus value is other than a power of 2. -- Non_Limited_View (Node17) --- Defined in incomplete types that are the shadow entities created --- when analyzing a limited_with_clause (Ada 2005: AI-50217). Points to --- the defining entity in the original declaration. +-- Defined in abstract states and incomplete types that act as shadow +-- entities created when analysing a limited with clause (Ada 2005: +-- AI-50217). Points to the defining entity of the original declaration. -- Nonzero_Is_True (Flag162) [base type only] -- Defined in enumeration types. Set if any non-zero value is to be @@ -5120,6 +5121,8 @@ package Einfo is -- Refinement_Constituents (Elist8) -- Refined_State (Node10) -- Body_References (Elist16) + -- Non_Limited_View (Node17) + -- From_Limited_With (Flag159) -- Has_Body_References (Flag264) -- Has_Visible_Refinement (Flag263) -- Has_Non_Null_Refinement (synth) |