-- Homonym Node4
-- First_Rep_Item Node6
-- Freeze_Node Node7
+ -- Obsolescent_Warning Node24
- -- The usage of each field (and the entity kinds to which it applies)
+ -- The usage of other fields (and the entity kinds to which it applies)
-- depends on the particular field (see Einfo spec for details).
-- Associated_Node_For_Itype Node8
-- Hiding_Loop_Variable Node8
-- Mechanism Uint8 (but returns Mechanism_Type)
-- Normalized_First_Bit Uint8
+ -- Return_Applies_To Node8
-- Class_Wide_Type Node9
-- Current_Value Node9
-- Directly_Designated_Type Node20
-- Discriminant_Checking_Func Node20
-- Discriminant_Default_Value Node20
+ -- Last_Assignment Node20
-- Last_Entity Node20
-- Register_Exception_Call Node20
-- Scalar_Range Node20
-- Privals_Chain Elist23
-- Protected_Operation Node23
- -- DT_Offset_To_Top_Func Node24
- -- Obsolescent_Warning Node24
- -- Task_Body_Procedure Node24
- -- Abstract_Interfaces Elist24
-
-- Abstract_Interface_Alias Node25
+ -- Abstract_Interfaces Elist25
-- Current_Use_Clause Node25
+ -- DT_Offset_To_Top_Func Node25
+ -- Task_Body_Procedure Node25
-- Overridden_Operation Node26
-- Package_Instantiation Node26
-- Wrapped_Entity Node27
+ -- Extra_Formals Node28
+
---------------------------------------------
-- Usage of Flags in Defining Entity Nodes --
---------------------------------------------
-- Has_Xref_Entry Flag182
-- Must_Be_On_Byte_Boundary Flag183
-- Has_Stream_Size_Clause Flag184
- -- Is_Ada_2005 Flag185
+ -- Is_Ada_2005_Only Flag185
-- Is_Interface Flag186
-- Has_Constrained_Partial_View Flag187
-- Has_Persistent_BSS Flag188
-- Itype_Printed Flag202
-- Has_Pragma_Pure Flag203
-- Is_Known_Null Flag204
+ -- Low_Bound_Known Flag205
+ -- Is_Visible_Formal Flag206
+ -- Known_To_Have_Preelab_Init Flag207
+ -- Must_Have_Preelab_Init Flag208
+ -- Is_Return_Object Flag209
+ -- Elaborate_Body_Desirable Flag210
+
+ -- Has_Static_Discriminants Flag211
- -- (unused) Flag205
- -- (unused) Flag206
- -- (unused) Flag207
- -- (unused) Flag208
- -- (unused) Flag209
- -- (unused) Flag210
- -- (unused) Flag211
-- (unused) Flag212
-- (unused) Flag213
-- (unused) Flag214
or else Ekind (Id) = E_Record_Type_With_Private
or else Ekind (Id) = E_Record_Subtype_With_Private
or else Ekind (Id) = E_Class_Wide_Type);
- return Elist24 (Id);
+ return Elist25 (Id);
end Abstract_Interfaces;
function Abstract_Interface_Alias (Id : E) return E is
function DT_Offset_To_Top_Func (Id : E) return E is
begin
pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
- return Node24 (Id);
+ return Node25 (Id);
end DT_Offset_To_Top_Func;
function DT_Position (Id : E) return U is
return Node16 (Id);
end DTC_Entity;
+ function Elaborate_Body_Desirable (Id : E) return B is
+ begin
+ pragma Assert (Ekind (Id) = E_Package);
+ return Flag210 (Id);
+ end Elaborate_Body_Desirable;
+
function Elaboration_Entity (Id : E) return E is
begin
pragma Assert
return Node15 (Id);
end Extra_Formal;
+ function Extra_Formals (Id : E) return E is
+ begin
+ pragma Assert
+ (Is_Overloadable (Id)
+ or else Ekind (Id) = E_Entry_Family
+ or else Ekind (Id) = E_Subprogram_Body
+ or else Ekind (Id) = E_Subprogram_Type);
+ return Node28 (Id);
+ end Extra_Formals;
+
function Finalization_Chain_Entity (Id : E) return E is
begin
return Node19 (Id);
begin
pragma Assert (Ekind (Id) = E_Package
or else Ekind (Id) = E_Generic_Package
- or else Ekind (Id) = E_Protected_Type
- or else Ekind (Id) = E_Protected_Subtype
- or else Ekind (Id) = E_Task_Type
- or else Ekind (Id) = E_Task_Subtype);
+ or else Ekind (Id) in Concurrent_Kind);
return Node16 (Id);
end First_Private_Entity;
return Flag193 (Id);
end Has_Specified_Stream_Write;
+ function Has_Static_Discriminants (Id : E) return B is
+ begin
+ pragma Assert (Is_Type (Id));
+ return Flag211 (Id);
+ end Has_Static_Discriminants;
+
function Has_Storage_Size_Clause (Id : E) return B is
begin
pragma Assert (Is_Access_Type (Id) or else Is_Task_Type (Id));
return Flag69 (Id);
end Is_Access_Constant;
- function Is_Ada_2005 (Id : E) return B is
+ function Is_Ada_2005_Only (Id : E) return B is
begin
return Flag185 (Id);
- end Is_Ada_2005;
+ end Is_Ada_2005_Only;
function Is_Aliased (Id : E) return B is
begin
return Flag112 (Id);
end Is_Renaming_Of_Object;
+ function Is_Return_Object (Id : E) return B is
+ begin
+ return Flag209 (Id);
+ end Is_Return_Object;
+
function Is_Shared_Passive (Id : E) return B is
begin
return Flag60 (Id);
return Flag116 (Id);
end Is_Visible_Child_Unit;
+ function Is_Visible_Formal (Id : E) return B is
+ begin
+ return Flag206 (Id);
+ end Is_Visible_Formal;
+
function Is_VMS_Exception (Id : E) return B is
begin
return Flag133 (Id);
return Flag34 (Id);
end Kill_Tag_Checks;
+ function Known_To_Have_Preelab_Init (Id : E) return B is
+ begin
+ pragma Assert (Is_Type (Id));
+ return Flag207 (Id);
+ end Known_To_Have_Preelab_Init;
+
+ function Last_Assignment (Id : E) return N is
+ begin
+ pragma Assert (Ekind (Id) = E_Variable);
+ return Node20 (Id);
+ end Last_Assignment;
+
function Last_Entity (Id : E) return E is
begin
return Node20 (Id);
return Node16 (Id);
end Lit_Strings;
+ function Low_Bound_Known (Id : E) return B is
+ begin
+ return Flag205 (Id);
+ end Low_Bound_Known;
+
function Machine_Radix_10 (Id : E) return B is
begin
pragma Assert (Is_Decimal_Fixed_Point_Type (Id));
return Flag183 (Id);
end Must_Be_On_Byte_Boundary;
+ function Must_Have_Preelab_Init (Id : E) return B is
+ begin
+ pragma Assert (Is_Type (Id));
+ return Flag208 (Id);
+ end Must_Have_Preelab_Init;
+
function Needs_Debug_Info (Id : E) return B is
begin
return Flag147 (Id);
function Non_Limited_View (Id : E) return E is
begin
pragma Assert (False
- or else Ekind (Id) = E_Incomplete_Type);
+ or else Ekind (Id) in Incomplete_Kind);
return Node17 (Id);
end Non_Limited_View;
function Obsolescent_Warning (Id : E) return N is
begin
- pragma Assert
- (Is_Subprogram (Id) or else Is_Package_Or_Generic_Package (Id));
return Node24 (Id);
end Obsolescent_Warning;
return Flag54 (Id);
end Return_Present;
+ function Return_Applies_To (Id : E) return N is
+ begin
+ return Node8 (Id);
+ end Return_Applies_To;
+
function Returns_By_Ref (Id : E) return B is
begin
return Flag90 (Id);
function Task_Body_Procedure (Id : E) return N is
begin
- pragma Assert (Ekind (Id) = E_Task_Type
- or else Ekind (Id) = E_Task_Subtype);
- return Node24 (Id);
+ pragma Assert (Ekind (Id) in Task_Kind);
+ return Node25 (Id);
end Task_Body_Procedure;
function Treat_As_Volatile (Id : E) return B is
return Ekind (Id) in Formal_Kind;
end Is_Formal;
+ function Is_Formal_Object (Id : E) return B is
+ begin
+ return Ekind (Id) in Formal_Object_Kind;
+ end Is_Formal_Object;
+
function Is_Generic_Subprogram (Id : E) return B is
begin
return Ekind (Id) in Generic_Subprogram_Kind;
Incomplete_Or_Private_Kind;
end Is_Incomplete_Or_Private_Type;
+ function Is_Incomplete_Type (Id : E) return B is
+ begin
+ return Ekind (Id) in
+ Incomplete_Kind;
+ end Is_Incomplete_Type;
+
function Is_Integer_Type (Id : E) return B is
begin
return Ekind (Id) in Integer_Kind;
or else Ekind (Id) = E_Record_Type_With_Private
or else Ekind (Id) = E_Record_Subtype_With_Private
or else Ekind (Id) = E_Class_Wide_Type);
- Set_Elist24 (Id, V);
+ Set_Elist25 (Id, V);
end Set_Abstract_Interfaces;
procedure Set_Abstract_Interface_Alias (Id : E; V : E) is
begin
pragma Assert
- (Ekind (Id) = E_Procedure or Ekind (Id) = E_Function);
+ (Is_Hidden (Id)
+ and then
+ (Ekind (Id) = E_Procedure or else Ekind (Id) = E_Function));
Set_Node25 (Id, V);
end Set_Abstract_Interface_Alias;
procedure Set_DT_Offset_To_Top_Func (Id : E; V : E) is
begin
pragma Assert (Ekind (Id) = E_Component and then Is_Tag (Id));
- Set_Node24 (Id, V);
+ Set_Node25 (Id, V);
end Set_DT_Offset_To_Top_Func;
procedure Set_DT_Position (Id : E; V : U) is
Set_Node16 (Id, V);
end Set_DTC_Entity;
+ procedure Set_Elaborate_Body_Desirable (Id : E; V : B := True) is
+ begin
+ pragma Assert (Ekind (Id) = E_Package);
+ Set_Flag210 (Id, V);
+ end Set_Elaborate_Body_Desirable;
+
procedure Set_Elaboration_Entity (Id : E; V : E) is
begin
pragma Assert
Set_Node15 (Id, V);
end Set_Extra_Formal;
+ procedure Set_Extra_Formals (Id : E; V : E) is
+ begin
+ pragma Assert
+ (Is_Overloadable (Id)
+ or else Ekind (Id) = E_Entry_Family
+ or else Ekind (Id) = E_Subprogram_Body
+ or else Ekind (Id) = E_Subprogram_Type);
+ Set_Node28 (Id, V);
+ end Set_Extra_Formals;
+
procedure Set_Finalization_Chain_Entity (Id : E; V : E) is
begin
Set_Node19 (Id, V);
begin
pragma Assert (Ekind (Id) = E_Package
or else Ekind (Id) = E_Generic_Package
- or else Ekind (Id) = E_Protected_Type
- or else Ekind (Id) = E_Protected_Subtype
- or else Ekind (Id) = E_Task_Type
- or else Ekind (Id) = E_Task_Subtype);
+ or else Ekind (Id) in Concurrent_Kind);
Set_Node16 (Id, V);
end Set_First_Private_Entity;
procedure Set_Has_Completion_In_Body (Id : E; V : B := True) is
begin
- pragma Assert (Ekind (Id) = E_Incomplete_Type);
+ pragma Assert (Is_Type (Id));
Set_Flag71 (Id, V);
end Set_Has_Completion_In_Body;
Set_Flag193 (Id, V);
end Set_Has_Specified_Stream_Write;
+ procedure Set_Has_Static_Discriminants (Id : E; V : B := True) is
+ begin
+ Set_Flag211 (Id, V);
+ end Set_Has_Static_Discriminants;
+
procedure Set_Has_Storage_Size_Clause (Id : E; V : B := True) is
begin
pragma Assert (Is_Access_Type (Id) or else Is_Task_Type (Id));
Set_Flag69 (Id, V);
end Set_Is_Access_Constant;
- procedure Set_Is_Ada_2005 (Id : E; V : B := True) is
+ procedure Set_Is_Ada_2005_Only (Id : E; V : B := True) is
begin
Set_Flag185 (Id, V);
- end Set_Is_Ada_2005;
+ end Set_Is_Ada_2005_Only;
procedure Set_Is_Aliased (Id : E; V : B := True) is
begin
Set_Flag112 (Id, V);
end Set_Is_Renaming_Of_Object;
+ procedure Set_Is_Return_Object (Id : E; V : B := True) is
+ begin
+ Set_Flag209 (Id, V);
+ end Set_Is_Return_Object;
+
procedure Set_Is_Shared_Passive (Id : E; V : B := True) is
begin
Set_Flag60 (Id, V);
Set_Flag116 (Id, V);
end Set_Is_Visible_Child_Unit;
+ procedure Set_Is_Visible_Formal (Id : E; V : B := True) is
+ begin
+ Set_Flag206 (Id, V);
+ end Set_Is_Visible_Formal;
+
procedure Set_Is_VMS_Exception (Id : E; V : B := True) is
begin
pragma Assert (Ekind (Id) = E_Exception);
Set_Flag34 (Id, V);
end Set_Kill_Tag_Checks;
+ procedure Set_Known_To_Have_Preelab_Init (Id : E; V : B := True) is
+ begin
+ pragma Assert (Is_Type (Id));
+ Set_Flag207 (Id, V);
+ end Set_Known_To_Have_Preelab_Init;
+
+ procedure Set_Last_Assignment (Id : E; V : N) is
+ begin
+ pragma Assert (Ekind (Id) = E_Variable);
+ Set_Node20 (Id, V);
+ end Set_Last_Assignment;
+
procedure Set_Last_Entity (Id : E; V : E) is
begin
Set_Node20 (Id, V);
Set_Node16 (Id, V);
end Set_Lit_Strings;
+ procedure Set_Low_Bound_Known (Id : E; V : B := True) is
+ begin
+ pragma Assert (Is_Formal (Id));
+ Set_Flag205 (Id, V);
+ end Set_Low_Bound_Known;
+
procedure Set_Machine_Radix_10 (Id : E; V : B := True) is
begin
pragma Assert (Is_Decimal_Fixed_Point_Type (Id));
Set_Flag183 (Id, V);
end Set_Must_Be_On_Byte_Boundary;
+ procedure Set_Must_Have_Preelab_Init (Id : E; V : B := True) is
+ begin
+ pragma Assert (Is_Type (Id));
+ Set_Flag208 (Id, V);
+ end Set_Must_Have_Preelab_Init;
+
procedure Set_Needs_Debug_Info (Id : E; V : B := True) is
begin
Set_Flag147 (Id, V);
end Set_Non_Binary_Modulus;
procedure Set_Non_Limited_View (Id : E; V : E) is
- pragma Assert (False
- or else Ekind (Id) = E_Incomplete_Type);
begin
+ pragma Assert (False
+ or else Ekind (Id) in Incomplete_Kind);
Set_Node17 (Id, V);
end Set_Non_Limited_View;
procedure Set_Obsolescent_Warning (Id : E; V : N) is
begin
- pragma Assert
- (Is_Subprogram (Id) or else Is_Package_Or_Generic_Package (Id));
Set_Node24 (Id, V);
end Set_Obsolescent_Warning;
Set_Flag54 (Id, V);
end Set_Return_Present;
+ procedure Set_Return_Applies_To (Id : E; V : N) is
+ begin
+ Set_Node8 (Id, V);
+ end Set_Return_Applies_To;
+
procedure Set_Returns_By_Ref (Id : E; V : B := True) is
begin
Set_Flag90 (Id, V);
procedure Set_Task_Body_Procedure (Id : E; V : N) is
begin
- pragma Assert (Ekind (Id) = E_Task_Type
- or else Ekind (Id) = E_Task_Subtype);
- Set_Node24 (Id, V);
+ pragma Assert (Ekind (Id) in Task_Kind);
+ Set_Node25 (Id, V);
end Set_Task_Body_Procedure;
procedure Set_Treat_As_Volatile (Id : E; V : B := True) is
end if;
end First_Formal;
+ ------------------------------
+ -- First_Formal_With_Extras --
+ ------------------------------
+
+ function First_Formal_With_Extras (Id : E) return E is
+ Formal : E;
+
+ begin
+ pragma Assert
+ (Is_Overloadable (Id)
+ or else Ekind (Id) = E_Entry_Family
+ or else Ekind (Id) = E_Subprogram_Body
+ or else Ekind (Id) = E_Subprogram_Type);
+
+ if Ekind (Id) = E_Enumeration_Literal then
+ return Empty;
+
+ else
+ Formal := First_Entity (Id);
+
+ if Present (Formal) and then Is_Formal (Formal) then
+ return Formal;
+ else
+ return Extra_Formals (Id); -- Empty if no extra formals
+ end if;
+ end if;
+ end First_Formal_With_Extras;
+
-------------------------------
-- First_Stored_Discriminant --
-------------------------------
Par : Node_Id;
begin
- if Base_Type (Id) /= Root_Type (Id)
+ if Is_Type (Id)
+ and then Base_Type (Id) /= Root_Type (Id)
and then not Is_Generic_Type (Id)
and then not Is_Class_Wide_Type (Id)
then
or else
Ekind (Id) = E_Entry
or else
- Ekind (Id) = E_Entry_Family;
+ Ekind (Id) = E_Entry_Family
+ or else
+ Ekind (Id) = E_Return_Statement;
end Is_Dynamic_Scope;
--------------------
and then Is_Protected_Type (Corresponding_Concurrent_Type (Id));
end Is_Protected_Record_Type;
- ---------------------------------
- -- Is_Return_By_Reference_Type --
- ---------------------------------
-
- -- Note: this predicate has disappeared from Ada 2005: see AI-318-2
+ --------------------------------
+ -- Is_Inherently_Limited_Type --
+ --------------------------------
- function Is_Return_By_Reference_Type (Id : E) return B is
+ function Is_Inherently_Limited_Type (Id : E) return B is
Btype : constant Entity_Id := Base_Type (Id);
begin
if No (Utyp) then
return False;
else
- return Is_Return_By_Reference_Type (Utyp);
+ return Is_Inherently_Limited_Type (Utyp);
end if;
end;
or else Is_Task_Interface (Btype);
elsif Is_Class_Wide_Type (Btype) then
- return Is_Return_By_Reference_Type (Root_Type (Btype));
+ return Is_Inherently_Limited_Type (Root_Type (Btype));
else
declare
begin
C := First_Component (Btype);
while Present (C) loop
- if Is_Return_By_Reference_Type (Etype (C)) then
+ if Is_Inherently_Limited_Type (Etype (C)) then
return True;
end if;
end if;
elsif Is_Array_Type (Btype) then
- return Is_Return_By_Reference_Type (Component_Type (Btype));
+ return Is_Inherently_Limited_Type (Component_Type (Btype));
else
return False;
end if;
- end Is_Return_By_Reference_Type;
+ end Is_Inherently_Limited_Type;
--------------------
-- Is_String_Type --
---------------------
function Type_High_Bound (Id : E) return Node_Id is
+ Rng : constant Node_Id := Scalar_Range (Id);
begin
- if Nkind (Scalar_Range (Id)) = N_Subtype_Indication then
- return High_Bound (Range_Expression (Constraint (Scalar_Range (Id))));
+ if Nkind (Rng) = N_Subtype_Indication then
+ return High_Bound (Range_Expression (Constraint (Rng)));
else
- return High_Bound (Scalar_Range (Id));
+ return High_Bound (Rng);
end if;
end Type_High_Bound;
--------------------
function Type_Low_Bound (Id : E) return Node_Id is
+ Rng : constant Node_Id := Scalar_Range (Id);
begin
- if Nkind (Scalar_Range (Id)) = N_Subtype_Indication then
- return Low_Bound (Range_Expression (Constraint (Scalar_Range (Id))));
+ if Nkind (Rng) = N_Subtype_Indication then
+ return Low_Bound (Range_Expression (Constraint (Rng)));
else
- return Low_Bound (Scalar_Range (Id));
+ return Low_Bound (Rng);
end if;
end Type_Low_Bound;
W ("Depends_On_Private", Flag14 (Id));
W ("Discard_Names", Flag88 (Id));
W ("Elaboration_Entity_Required", Flag174 (Id));
+ W ("Elaborate_Body_Desirable", Flag210 (Id));
W ("Entry_Accepted", Flag152 (Id));
W ("Finalize_Storage_Only", Flag158 (Id));
W ("From_With_Type", Flag159 (Id));
W ("Has_Specified_Stream_Output", Flag191 (Id));
W ("Has_Specified_Stream_Read", Flag192 (Id));
W ("Has_Specified_Stream_Write", Flag193 (Id));
+ W ("Has_Static_Discriminants", Flag211 (Id));
W ("Has_Storage_Size_Clause", Flag23 (Id));
W ("Has_Stream_Size_Clause", Flag184 (Id));
W ("Has_Subprogram_Descriptor", Flag93 (Id));
W ("Is_Abstract", Flag19 (Id));
W ("Is_Local_Anonymous_Access", Flag194 (Id));
W ("Is_Access_Constant", Flag69 (Id));
- W ("Is_Ada_2005", Flag185 (Id));
+ W ("Is_Ada_2005_Only", Flag185 (Id));
W ("Is_Aliased", Flag15 (Id));
W ("Is_Asynchronous", Flag81 (Id));
W ("Is_Atomic", Flag85 (Id));
W ("Is_Remote_Call_Interface", Flag62 (Id));
W ("Is_Remote_Types", Flag61 (Id));
W ("Is_Renaming_Of_Object", Flag112 (Id));
+ W ("Is_Return_Object", Flag209 (Id));
W ("Is_Shared_Passive", Flag60 (Id));
W ("Is_Synchronized_Interface", Flag199 (Id));
W ("Is_Statically_Allocated", Flag28 (Id));
W ("Is_VMS_Exception", Flag133 (Id));
W ("Is_Valued_Procedure", Flag127 (Id));
W ("Is_Visible_Child_Unit", Flag116 (Id));
+ W ("Is_Visible_Formal", Flag206 (Id));
W ("Is_Volatile", Flag16 (Id));
W ("Itype_Printed", Flag202 (Id));
W ("Kill_Elaboration_Checks", Flag32 (Id));
W ("Kill_Range_Checks", Flag33 (Id));
W ("Kill_Tag_Checks", Flag34 (Id));
+ W ("Known_To_Have_Preelab_Init", Flag207 (Id));
+ W ("Low_Bound_Known", Flag205 (Id));
W ("Machine_Radix_10", Flag84 (Id));
W ("Materialize_Entity", Flag168 (Id));
W ("Must_Be_On_Byte_Boundary", Flag183 (Id));
+ W ("Must_Have_Preelab_Init", Flag208 (Id));
W ("Needs_Debug_Info", Flag147 (Id));
W ("Needs_No_Actuals", Flag22 (Id));
W ("Never_Set_In_Source", Flag115 (Id));
procedure Write_Kind (Id : Entity_Id);
-- Write Ekind field of entity
+ ---------------------
+ -- Write_Attribute --
+ ---------------------
+
procedure Write_Attribute (Which : String; Nam : E) is
begin
Write_Str (Prefix);
Write_Str (" ");
end Write_Attribute;
+ ----------------
+ -- Write_Kind --
+ ----------------
+
procedure Write_Kind (Id : Entity_Id) is
K : constant String := Entity_Kind'Image (Ekind (Id));
procedure Write_Field6_Name (Id : Entity_Id) is
pragma Warnings (Off, Id);
-
begin
Write_Str ("First_Rep_Item");
end Write_Field6_Name;
procedure Write_Field7_Name (Id : Entity_Id) is
pragma Warnings (Off, Id);
-
begin
Write_Str ("Freeze_Node");
end Write_Field7_Name;
when E_Package =>
Write_Str ("Dependent_Instances");
+ when E_Return_Statement =>
+ Write_Str ("Return_Applies_To");
+
when E_Variable =>
Write_Str ("Hiding_Loop_Variable");
E_Procedure |
E_Record_Type |
E_Record_Subtype |
+ E_Return_Statement |
E_Subprogram_Body |
E_Subprogram_Type =>
Write_Str ("First_Entity");
Write_Str ("Modulus");
when Formal_Kind |
- E_Constant |
- E_Generic_In_Out_Parameter |
- E_Variable =>
+ E_Constant |
+ E_Generic_In_Out_Parameter |
+ E_Variable =>
Write_Str ("Actual_Subtype");
when E_Incomplete_Type =>
- Write_Str ("Non-limited view");
+ Write_Str ("Non_Limited_View");
+
+ when E_Incomplete_Subtype =>
+ if From_With_Type (Id) then
+ Write_Str ("Non_Limited_View");
+ end if;
when others =>
Write_Str ("Field17??");
E_Procedure |
E_Record_Type |
E_Record_Subtype |
+ E_Return_Statement |
E_Subprogram_Body |
E_Subprogram_Type =>
when E_Exception =>
Write_Str ("Register_Exception_Call");
+ when E_Variable =>
+ Write_Str ("Last_Assignment");
+
when others =>
Write_Str ("Field20??");
end case;
E_Generic_Procedure |
E_Procedure |
E_Protected_Type |
+ E_Return_Statement |
E_Subprogram_Body |
E_Task_Type =>
Write_Str ("Scope_Depth_Value");
------------------------
procedure Write_Field24_Name (Id : Entity_Id) is
+ pragma Warnings (Off, Id);
begin
- case Ekind (Id) is
- when E_Record_Type |
- E_Record_Subtype |
- E_Record_Type_With_Private |
- E_Record_Subtype_With_Private =>
- Write_Str ("Abstract_Interfaces");
-
- when E_Component =>
- Write_Str ("DT_Offset_To_Top_Func");
-
- when Subprogram_Kind |
- E_Package |
- E_Generic_Package =>
- Write_Str ("Obsolescent_Warning");
-
- when Task_Kind =>
- Write_Str ("Task_Body_Procedure");
-
- when others =>
- Write_Str ("Field24??");
- end case;
+ Write_Str ("Obsolescent_Warning");
end Write_Field24_Name;
------------------------
procedure Write_Field25_Name (Id : Entity_Id) is
begin
case Ekind (Id) is
+ when E_Component =>
+ Write_Str ("DT_Offset_To_Top_Func");
+
when E_Procedure |
E_Function =>
Write_Str ("Abstract_Interface_Alias");
when E_Package =>
Write_Str ("Current_Use_Clause");
+ when E_Record_Type |
+ E_Record_Subtype |
+ E_Record_Type_With_Private |
+ E_Record_Subtype_With_Private =>
+ Write_Str ("Abstract_Interfaces");
+
+ when Task_Kind =>
+ Write_Str ("Task_Body_Procedure");
+
when others =>
Write_Str ("Field25??");
end case;
end case;
end Write_Field27_Name;
+ ------------------------
+ -- Write_Field28_Name --
+ ------------------------
+
+ procedure Write_Field28_Name (Id : Entity_Id) is
+ begin
+ case Ekind (Id) is
+ when E_Procedure | E_Function | E_Entry =>
+ Write_Str ("Extra_Formals");
+
+ when others =>
+ Write_Str ("Field28??");
+ end case;
+ end Write_Field28_Name;
+
-------------------------
-- Iterator Procedures --
-------------------------
--------------------------------
-- XEINFO is a utility program which automatically produces a C header file,
--- a-xeinfo.h from the spec and body of package Einfo. It reads the input
--- files einfo.ads and einfo.adb and produces the output file a-xeinfo.h.
+-- einfo.h from the spec and body of package Einfo. It reads the input
+-- files einfo.ads and einfo.adb and produces the output file einfo.h.
+-- XEINFO is run automatically by the build scripts when you do a full
+-- bootstrap.
-- In order for this utility program to operate correctly, the form of the
-- einfo.ads and einfo.adb files must meet certain requirements and be laid
-- XEINFO reads and processes the function specs and the pragma Inlines. For
-- functions that are declared as inlined, XEINFO reads the corresponding body
--- from xeinfo.adb, and processes it into C code. This results in some strict
+-- from einfo.adb, and processes it into C code. This results in some strict
-- restrictions on which functions can be inlined:
-- The function spec must be on a single line
-- and if assertions are enabled, an attempt to set the attribute on a
-- subtype will raise an assert error.
--- Abstract_Interfaces (Elist24)
+-- Abstract_Interfaces (Elist25)
-- Present in record types and subtypes. List of abstract interfaces
-- implemented by a tagged type that are not already implemented by the
-- ancestors (Ada 2005: AI-251).
-- Abstract_Interface_Alias (Node25)
-- Present in subprograms that cover a primitive operation of an abstract
--- interface type. Points to its associated interface subprogram. It is
--- used to register the subprogram in secondary dispatch table of the
--- interface (Ada 2005: AI-251).
+-- interface type. Can be set only if the Is_Hidden flag is also set,
+-- since such entities are always hidden. Points to its associated
+-- interface subprogram. It is used to register the subprogram in
+-- secondary dispatch table of the interface (Ada 2005: AI-251).
-- Accept_Address (Elist21)
-- Present in entries. If an accept has a statement sequence, then an
-- make sure that the address can be meaningfully taken.
-- Alias (Node18)
--- Present in overloaded entities (literals, subprograms, entries).
--- Points to parent subprogram of a derived subprogram. Also used for
--- a subprogram renaming, where it points to the renamed subprogram.
--- Always empty for entries.
+-- Present in overloaded entities (literals, subprograms, entries) and
+-- subprograms that cover a primitive operation of an abstract interface
+-- (that is, subprograms with the Abstract_Interface_Alias attribute).
+-- In case of overloaded entities it points to the parent subprogram of
+-- a derived subprogram. In case of abstract interface subprograms it
+-- points to the subprogram that covers the abstract interface primitive.
+-- Also used for a subprogram renaming, where it points to the renamed
+-- subprogram. Always empty for entries.
-- Alignment (Uint14)
-- Present in entities for types and also in constants, variables,
-- (see Exp_Ch9). This type is used to represent values of the task type.
-- Corresponding_Remote_Type (Node22)
--- Present in record types that describe the fat pointer structure for
--- Remote_Access_To_Subrogram types. References the original access type.
+-- Present in record types that describe the fat pointer structure for
+-- Remote_Access_To_Subrogram types. References the original access type.
-- CR_Discriminant (Node23)
--- Present in discriminants of concurrent types. Denotes the homologous
--- discriminant of the corresponding record type. The CR_Discriminant is
--- created at the same time as the discriminal, and used to replace
--- occurrences of the discriminant within the type declaration.
+-- Present in discriminants of concurrent types. Denotes the homologous
+-- discriminant of the corresponding record type. The CR_Discriminant is
+-- created at the same time as the discriminal, and used to replace
+-- occurrences of the discriminant within the type declaration.
-- Current_Use_Clause (Node25)
--- Present in packages. Indicates the use clause currently in scope
--- that makes the package use_visible. Used to detect redundant use
--- clauses for the same package.
+-- Present in packages. Indicates the use clause currently in scope
+-- that makes the package use_visible. Used to detect redundant use
+-- clauses for the same package.
-- Current_Value (Node9)
--- Present in E_Variable, E_Out_Parameter and E_In_Out_Parameter
--- entities. Set non-Empty if the (constant) current value of the
--- variable is known. This value is valid only for references from
--- the same sequential scope as the entity. The sequential scope
--- of an entity includes the immediate scope and any contained
--- scopes that are package specs, package bodies, or blocks (at
--- any nesting level). For convenience in coding, this field is
--- also present in other object entities (E_Loop_Parameter and
--- E_In_Parameter and E_Constant), but is not used to hold a
--- constant value, since value tracking is not needed in this case.
+-- Present in all object entities. Set in E_Variable, E_Constant, formal
+-- parameters and E_Loop_Parameter entities if we have trackable current
+-- values. Set non-Empty if the (constant) current value of the variable
+-- is known, This value is valid only for references from the same
+-- sequential scope as the entity. The sequential scope of an entity
+-- includes the immediate scope and any contained scopes that are package
+-- specs, package bodies, blocks (at any nesting level) or statement
+-- sequences in IF or loop statements.
--
--- Another related use of this field is to record information
--- about the value obtained from an IF statement condition.
--- If the IF/ELSIF condition has the form "[NOT] OBJ RELOP VAL",
--- where OBJ is a reference to an entity with a Current_Value field,
--- RELOP is one of the six relational operators, and VAL is a compile-
--- time known value, then the Current_Value field if OBJ is set to
--- point to the N_If_Statement or N_Elsif_Part node of the relevant
--- construct. For more details on this usage, see the procedure
--- Exp_Util.Get_Current_Value_Condition.
+-- Another related use of this field is to record information about the
+-- value obtained from an IF or WHILE statement condition. If the IF or
+-- ELSIF or WHILE condition has the form "NOT {,NOT] OBJ RELOP VAL ",
+-- or OBJ [AND [THEN]] expr, where OBJ refers to an entity with a
+-- Current_Value field, RELOP is one of the six relational operators, and
+-- VAL is a compile-time known value then the Current_Value field of OBJ
+-- points to the N_If_Statement, N_Elsif_Part, or N_Iteration_Scheme node
+-- of the relevant construct, and the Condition field of this can be
+-- consulted to give information about the value of OBJ. For more details
+-- on this usage, see the procedure Exp_Util.Get_Current_Value_Condition.
-- Debug_Info_Off (Flag166)
-- Present in all entities. Set if a pragma Suppress_Debug_Info applies
-- Present in E_Component entities. Only used for component marked
-- Is_Tag. Store the number of entries in the Vtable (or Dispatch Table)
--- DT_Offset_To_Top_Func (Node24)
+-- DT_Offset_To_Top_Func (Node25)
-- Present in E_Component entities. Only used for component marked
-- Is_Tag. If present it stores the Offset_To_Top function used to
-- provide this value in tagged types whose ancestor has discriminants.
-- Present in all entities. Contains a value of the enumeration type
-- Entity_Kind declared in a subsequent section in this spec.
+-- Elaborate_Body_Desirable (Flag210)
+-- Present in package entities. Set if the elaboration circuitry detects
+-- a case where there is a package body that modifies one or more visible
+-- entities in the package spec and there is no explicit Elaborate_Body
+-- pragma for the package. This information is passed on to the binder,
+-- which attempts, but does not promise, to elaborate the body as close
+-- to the spec as possible.
+
-- Elaboration_Entity (Node13)
-- Present in generic and non-generic package and subprogram
-- entities. This is a boolean entity associated with the unit that
-- is no need to set the flag.
-- Enclosing_Dynamic_Scope (synthesized)
--- Appliesa to all entities. Returns the closest dynamic scope in which
--- the entity is declared or Standard_Standard for library-level entities
+-- Applies to all entities. Returns the closest dynamic scope in which
+-- the entity is declared or Standard_Standard for library-level entities
-- Enclosing_Scope (Node18)
-- Present in labels. Denotes the innermost enclosing construct that
-- one, with Empty indicating the end of the list of extra
-- formals.
+-- Extra_Formals (Node28)
+-- Applies to subprograms and subprogram types, and also in entries
+-- and entry families. Returns first extra formal of the subprogram
+-- or entry. Returns Empty if there are no extra formals.
+
-- Extra_Accessibility (Node13)
-- Present in formal parameters in the non-generic case if
-- expansion is active. Normally Empty, but if a parameter is
-- a subprogram type (the designated type of an Access_To_Subprogram
-- definition) or in an entry.
+-- First_Formal_With_Extras (synthesized)
+-- Applies to subprograms and subprogram types, and also in entries
+-- and entry families. Returns first formal of the subprogram or entry.
+-- Returns Empty if there are no formals. The list returned includes
+-- all the extra formals (see description of Extra_Formals field).
+
-- First_Index (Node17)
-- Present in array types and subtypes and in string types and subtypes.
-- By introducing implicit subtypes for the index constraints, we have
-- completion has been encountered and analyzed.
-- Has_Completion_In_Body (Flag71)
--- Present in "Taft amendment types" that is to say incomplete types
--- whose full declaration appears in the package body.
+-- Present in all entities for types and subtypes. Set only in "Taft
+-- amendment types" (incomplete types whose full declaration appears in
+-- the package body).
-- Has_Complex_Representation (Flag140) [implementation base type only]
-- Present in all type entities. Set only for a record base type to
-- entity has no references, but a warning should be given if it is
-- in fact referenced.
+-- Known_To_Have_Preelab_Init (Flag207)
+-- Present in all type and subtype entities. If set, then the type is
+-- known to have preelaborable initialization. In the case of a partial
+-- view of a private type, it is only possible for this tobe set if a
+-- pragma Preelaborable_Initialization is given for the type. For other
+-- types, it is never set if the type does not have preelaborable
+-- initialization, it may or may not be set if the type does have
+-- preelaborable initialization.
+
-- Has_Primitive_Operations (Flag120) [base type only]
-- Present in all type entities. Set if at least one primitive operation
-- is defined for the type.
-- attribute definition clause. When such a clause occurs, a TSS is set
-- on the underlying full view; the flags are used to track visibility of
-- the attribute definition clause for partial or incomplete views.
-
+--
+-- Has_Static_Discriminants (Flag211)
+-- Present in record subtypes constrained by discriminant values. Set if
+-- all the discriminant values have static values, meaning that in the
+-- case of a variant record, the component list can be trimmed down to
+-- include only the components corresponding to these discriminants.
+--
-- Has_Storage_Size_Clause (Flag23) [implementation base type only]
-- Present in task types and access types. It is set if a Storage_Size
-- clause is present for the type. Used to prevent multiple clauses for
-- Implementation_Base_Type (synthesized)
-- Applies to all types. Similar to Base_Type, but never returns a
--- private type when applied to a non-private type. Instead in this
--- case, it always returns the Underlying_Type of the base type, so that
--- we still have a concrete type. Note: it is allowed to apply
--- Implementation_Base_Type to other than a type, in which case it
--- simply returns the entity unchanged.
+-- private type when applied to a non-private type. Instead in this case,
+-- it always returns the Underlying_Type of the base type, so that we
+-- still have a concrete type. Note: it is allowed to apply
+-- Implementation_Base_Type to other than a type, in which case it simply
+-- returns the entity unchanged.
-- In_Package_Body (Flag48)
-- Set on the entity that denotes the package (the defining occurrence
-- body. Reset on completion of analysis/expansion.
-- In_Private_Part (Flag45)
--- Present in package entities. Flag is set to indicate that the
--- private part is being analyzed. The flag is reset at the end of the
--- package declaration.
+-- Present in all entities. Can be set only in package entities and
+-- objects. For package entities, this flag is set to indicate that the
+-- private part of the package is being analyzed. The flag is reset at
+-- the end of the package declaration. For objects it indicates that the
+-- declaration of the object occurs in the private part of a package.
-- Inner_Instances (Elist23)
--- Present in generic units. Contains element list of units that are
--- instantiated within the given generic. Used to diagnose circular
--- instantiations.
+-- Present in generic units. Contains element list of units that are
+-- instantiated within the given generic. Used to diagnose circular
+-- instantiations.
-- Interface_Name (Node21)
-- Present in exceptions, functions, procedures, variables, constants,
-- Is_Access_Type (synthesized)
-- Applies to all entities, true for access types and subtypes
--- Is_Ada_2005 (Flag185)
+-- Is_Ada_2005_Only (Flag185)
-- Applies to all entities, true if a valid pragma Ada_05 applies to the
--- entity, indicating that the entity is Ada 2005 only.
+-- entity which specifically names the entity, indicating that the entity
+-- is Ada 2005 only. Note that this flag is not set if the entity is part
+-- of a unit compiled with the normal no-argument form of pragma Ada_05.
-- Is_Aliased (Flag15)
-- Present in objects whose declarations carry the keyword aliased,
-- types and subtypes.
-- Is_Derived_Type (synthesized)
--- Applies to all type entities. Determine if given entity is a
--- derived type
+-- Applies to all entities. Determine if given entity is a derived type.
+-- Always false if argument is not a type.
-- Is_Discrete_Type (synthesized)
-- Applies to all entities, true for all discrete types and subtypes
-- Is_Dynamic_Scope (synthesized)
-- Applies to all Entities. Returns True if the entity is a dynamic
--- scope (i.e. a block, a subprogram a task_type or an entry).
+-- scope (i.e. a block, subprogram, task_type, entry
+-- or extended return statement).
-- Is_Elementary_Type (synthesized)
-- Applies to all entities, true for all elementary types and
-- Is_Formal (synthesized)
-- Applies to all entities, true for IN, IN OUT and OUT parameters
+-- Is_Formal_Object (synthesized)
+-- Applies to all entities, true for generic IN and IN OUT parameters
+
-- Is_Formal_Subprogram (Flag111)
-- Defined on all entities, true for generic formal subprograms.
-- Is_Generic_Instance (Flag130)
-- Present in all entities. Set to indicate that the entity is an
--- instance of a generic unit.
+-- instance of a generic unit, or a formal package (which is an instance
+-- of the template).
-- Is_Generic_Subprogram (synthesized)
-- Applies to all entities. Yields True for a generic subprogram
-- Is_Incomplete_Or_Private_Type (synthesized)
-- Applies to all entities, true for private and incomplete types
+-- Is_Incomplete_Type (synthesized)
+-- Applies to all entities, true for incomplete types and subtypes
+
-- Is_Indefinite_Subtype (synthesized)
-- Applies to all entities for types and subtypes. Determines if given
-- entity is an unconstrained array type or subtype, a discriminated
-- including generic formal parameters.
-- Is_Obsolescent (Flag153)
--- Present in all entities. Set only for packages and subprograms to
--- which a valid pragma Obsolescent applies.
+-- Present in all entities. Set for any entity for which a valid pragma
+-- Obsolescent applies.
-- Is_Optional_Parameter (Flag134)
-- Present in parameter entities. Set if the parameter is specified as
-- renaming is handled by the front end, by macro substitution of
-- a copy of the (evaluated) name tree whereever the variable is used.
--- Is_Return_By_Reference_Type (synthesized)
--- Applies to all type entities. True if the type is required to
--- be returned by reference, as defined in 6.5(11-16).
+-- Is_Inherently_Limited_Type (synthesized)
+-- Applies to all type entities. True if the type is "inherently"
+-- limited (i.e. cannot become nonlimited). From the Ada 2005
+-- RM-7.5(8.1/2), "a type with a part that is of a task, protected, or
+-- explicitly limited record type". These are the types that are defined
+-- as return-by-reference types in Ada 95 (see RM95-6.5(11-16)). In Ada
+-- 2005, these are the types that require build-in-place for function
+-- calls. Note that build-in-place is allowed for other types, too.
+
+-- Is_Return_Object (Flag209)
+-- Applies to all object entities. True if the object is the return
+-- object of an extended_return_statement; False otherwise.
-- Is_Scalar_Type (synthesized)
-- Applies to all entities, true for scalar types and subtypes
-- a separate flag must be used to indicate whether the names are
-- visible by selected notation, or not.
+-- Is_Visible_Formal (Flag206)
+-- Present in all entities. Set for instances of the formals of a formal
+-- package. Indicates that the entity must be made visible in the body
+-- of the instance, to reproduce the visibility of the generic. This
+-- simplifies visibility settings in instance bodies.
+-- ??? confusion in abovecomments between being present and being set
+
-- Is_VMS_Exception (Flag133)
-- Present in all entities. Set only for exception entities where the
-- exception was specified in an Import_Exception or Export_Exception
-- subsequent pragma Unsuppress.
-- Kill_Range_Checks (Flag33)
--- Present in all entities. Set by the expander to kill elaboration
--- checks which are known not to be needed. Equivalent in effect to
--- the use of pragma Supress (Range_Checks) for that entity except
--- that the result is permanent and cannot be undone by a subsequent
--- pragma Unsuppress.
+-- Present in all entities. Equivalent in effect to the use of pragma
+-- Supress (Range_Checks) for that entity except that the result is
+-- permanent and cannot be undone by a subsequent pragma Unsuppress.
+-- This is currently only used in one odd situation in Sem_Ch3 for
+-- record types, and it would be good to get rid of it???
-- Kill_Tag_Checks (Flag34)
-- Present in all entities. Set by the expander to kill elaboration
-- that the result is permanent and cannot be undone by a subsequent
-- pragma Unsuppress.
+-- Last_Assignment (Node20)
+-- Present in entities for variables. Set for a local variable to point
+-- to the left side of an assignment statement assigning a value to the
+-- variable. Cleared if the value of the variable is referenced. Used to
+-- warn about dubious assignment statements whose value is not used.
+
-- Last_Entity (Node20)
-- Present in all entities which act as scopes to which a list of
-- associated entities is attached (blocks, class subtypes and types,
-- the nature and use of this entity for implementing the Image and
-- Value attributes for the enumeration type in question.
+-- Low_Bound_Known (Flag205)
+-- Present in all entities. Currently this can only be set True for
+-- formal parameter entries of a standard unconstrained one-dimensional
+-- array or string type, where the lower bound of the index type is zero
+-- or one. Indicates that the low bound is known to be equal to the lower
+-- bound of the index type (e.g. 1 for String, since the index type is
+-- Positive). This flag can only be set by a pragma Assert which
+-- specifies this. If this flag is set, warnings about assuming the index
+-- low bound to be zero or one are suppressed.
+
-- Machine_Radix_10 (Flag84)
-- Present in decimal types and subtypes, set if the Machine_Radix
-- is 10, as the result of the specification of a machine radix
-- flag is set only for packed arrays longer than 64 bits where
-- the component size is not a power of 2.
+-- Must_Have_Preelab_Init (Flag208)
+-- Present in entities for types and subtypes. Set in the full type of a
+-- private type or subtype if a pragma Has_Preelaborable_Initialization
+-- is present for the private type. Used to check that the full type has
+-- preelaborable initialization at freeze time (this has to be deferred
+-- to the freeze point because of the rule about overriding Initialize).
+
-- Needs_Debug_Info (Flag147)
-- Present in all entities. Set if the entity requires debugging
-- information to be generated. This is true of all entities that
-- formals as a value of type Pos.
-- Obsolescent_Warning (Node24)
--- Present in package and subprogram entities. Set non-empty only if the
--- pragma Obsolescent had a string argument, in which case it records the
--- contents of the corresponding string literal node.
+-- Present in all entities. Set non-empty only if a pragma Obsolescent
+-- applying to the entity had a string argument, in which case it records
+-- the contents of the corresponding string literal node. This field is
+-- only accessed if the flag Is_Obsolescent is set.
-- Original_Access_Type (Node21)
-- Present in access to subprogram types. Anonymous access to protected
-- entities (for convenience in setting it), but is only tested
-- for the function case.
+-- Return_Applies_To (Node8)
+-- Present in E_Return_Statement. Points to the entity representing
+-- the construct to which the return statement applies, as defined in
+-- RM-6.5(4/2). Note that a (simple) return statement within an
+-- extended_return_statement applies to the extended_return_statement,
+-- even though it causes the whole function to return.
+
-- Returns_By_Ref (Flag90)
-- Present in function entities, to indicate that the function
-- returns the result by reference, either because its return type is a
-- or a copy of the low bound of the index base type if not.
-- Suppress_Elaboration_Warnings (Flag148)
--- Present in all entities, relevant only for subprogram entities. If
--- this flag is set then Sem_Elab will not generate elaboration warnings
--- for the subprogram. Suppression of such warnings is automatic for
--- subprograms for which elaboration checks are suppressed (without the
--- need to set this flag), but the flag is also set for various internal
--- entities (such as init procs) which are known not to generate any
--- possible access before elaboration. (we need a clear description of
--- how this flag differs in effect from Elaboration_Checks_Suppressed???)
+-- Present in all entities, relevant only for subprogram entities and
+-- for variables. If this flag is set then Sem_Elab will not generate
+-- elaboration warnings for the subprogram or variable. Suppression of
+-- such warnings is automatic for subprograms for which elaboration
+-- checks are suppressed (without the need to set this flag), but the
+-- flag is also set for various internal entities (such as init procs)
+-- which are known not to generate any possible access before
+-- elaboration, and it is set on variables when a warning is given to
+-- avoid multiple elaboration warnings for the same variable.
-- Suppress_Init_Proc (Flag105) [base type only]
-- Present in all type entities. Set to suppress the generation of
-- Present in all entities. Suppresses any style checks specifically
-- associated with the given entity if set.
--- Task_Body_Procedure (Node24)
+-- Task_Body_Procedure (Node25)
-- Present in task types and subtypes. Points to the entity for
-- the task body procedure (as further described in Exp_Ch9, task
-- bodies are expanded into procedures). A convenient function to
-- retrieve this field is Sem_Util.Get_Task_Body_Procedure.
+-- The last sentence is odd ??? Why not have Task_Body_Procedure
+-- go to the Underlying_Type of the Root_Type???
-- Treat_As_Volatile (Flag41)
-- Present in all type entities, and also in constants, components and
-- end should test Treat_As_Volatile rather than Is_Volatile.
-- Type_High_Bound (synthesized)
--- Applies to scalar types. Returns the tree node (Node_Id) that
--- contains the high bound of a scalar type. The returned value is a
--- literal for a base type, but may be an expression in the case of a
--- scalar type with dynamic bounds. Note that in the case of a fixed
--- point type, the high bound is in units of small, and is an integer.
+-- Applies to scalar types. Returns the tree node (Node_Id) that contains
+-- the high bound of a scalar type. The returned value is literal for a
+-- base type, but may be an expression in the case of scalar type with
+-- dynamic bounds. Note that in the case of a fixed point type, the high
+-- bound is in units of small, and is an integer.
-- Type_Low_Bound (synthesized)
--- Applies to scalar types. Returns the tree node (Node_Id) that
--- contains the low bound of a scalar type. The returned value is a
--- literal for a base type, but may be an expression in the case of a
--- scalar type with dynamic bounds. Note that in the case of a fixed
--- point type, the low bound is in units of small, and is an integer.
+-- Applies to scalar types. Returns the tree node (Node_Id) that contains
+-- the low bound of a scalar type. The returned value is literal for a
+-- base type, but may be an expression in the case of scalar type with
+-- dynamic bounds. Note that in the case of a fixed point type, the low
+-- bound is in units of small, and is an integer.
-- Underlying_Full_View (Node19)
-- Present in private subtypes that are the completion of other private
--- types, or in private types that are derived from private subtypes.
--- If the full view of a private type T is derived from another
--- private type with discriminants Td, the full view of T is also
--- private, and there is no way to attach to it a further full view that
--- would convey the structure of T to the back end. The Underlying_Full_
--- View is an attribute of the full view that is a subtype of Td with
--- the same constraint as the declaration for T. The declaration for this
--- subtype is built at the point of the declaration of T, either as a
--- completion, or as a subtype declaration where the base type is private
--- and has a private completion. If Td is already constrained, then its
--- full view can serve directly as the full view of T.
+-- types, or in private types that are derived from private subtypes. If
+-- the full view of a private type T is derived from another private type
+-- with discriminants Td, the full view of T is also private, and there
+-- is no way to attach to it a further full view that would convey the
+-- structure of T to the back end. The Underlying_Full_ View is an
+-- attribute of the full view that is a subtype of Td with the same
+-- constraint as the declaration for T. The declaration for this subtype
+-- is built at the point of the declaration of T, either as completion,
+-- or as a subtype declaration where the base type is private and has a
+-- private completion. If Td is already constrained, then its full view
+-- can serve directly as the full view of T.
-- Underlying_Type (synthesized)
--- Applies to all entities. This is the identity function except in
--- the case where it is applied to an incomplete or private type,
--- in which case it is the underlying type of the type declared by
--- the completion, or Empty if the completion has not yet been
--- encountered and analyzed.
+-- Applies to all entities. This is the identity function except in the
+-- case where it is applied to an incomplete or private type, in which
+-- case it is the underlying type of the type declared by the completion,
+-- or Empty if the completion has not yet been encountered and analyzed.
--
--- Note: the reason this attribute applies to all entities, and not
--- just types, is to legitimize code where Underlying_Type is applied
--- to an entity which may or may not be a type, with the intent that
--- if it is a type, its underlying type is taken.
+-- Note: the reason this attribute applies to all entities, and not just
+-- types, is to legitimize code where Underlying_Type is applied to an
+-- entity which may or may not be a type, with the intent that if it is a
+-- type, its underlying type is taken.
-- Unset_Reference (Node16)
--- Present in variables and out parameters. This is normally Empty.
--- It is set to point to an identifier that represents a reference
--- to the entity before any value has been set. Only the first such
--- reference is identified. This field is used to generate a warning
--- message if necessary (see Sem_Warn.Check_Unset_Reference).
+-- Present in variables and out parameters. This is normally Empty. It
+-- is set to point to an identifier that represents a reference to the
+-- entity before any value has been set. Only the first such reference
+-- is identified. This field is used to generate a warning message if
+-- necessary (see Sem_Warn.Check_Unset_Reference).
-- Uses_Sec_Stack (Flag95)
-- Present in scope entities (blocks,functions, procedures, tasks,
-- attribute when the limited-view is installed (Ada 2005: AI-217).
-- Wrapped_Entity (Node27)
--- Present in an E_Procedure classified as a Is_Primitive_Wrapper. Set
+-- Present in an E_Procedure classified as an Is_Primitive_Wrapper. Set
-- to the entity that is being wrapped.
------------------
E_Incomplete_Type,
-- An incomplete type, created by an incomplete type declaration
+ E_Incomplete_Subtype,
+ -- An incomplete subtype, created by a subtype declaration where the
+ -- subtype mark denotes an incomplete type.
+
E_Task_Type,
-- A task type, created by a task type declaration. An entity with this
-- Ekind is also created to describe the anonymous type of a task that
-- A loop identifier, created by an explicit or implicit label on a
-- loop statement.
+ E_Return_Statement,
+ -- A dummy entity created for each return statement. Used to hold
+ -- information about the return statement (what it applies to) and in
+ -- rules checking. For example, a simple_return_statement that applies
+ -- to an extended_return_statement cannot have an expression; this
+ -- requires putting the E_Return_Statement entity for the
+ -- extended_return_statement on the scope stack.
+
E_Package,
-- A package, created by a package declaration
-- Subtype Declarations --
--------------------------
- -- The above entities are arranged so that they can be conveniently
- -- grouped into subtype ranges. Note that for each of the xxx_Kind
- -- ranges defined below, there is a corresponding Is_xxx.. predicate
- -- which is to be used in preference to direct range tests using the
- -- subtype name. However, the subtype names are available for direct
+ -- The above entities are arranged so that they can be conveniently grouped
+ -- into subtype ranges. Note that for each of the xxx_Kind ranges defined
+ -- below, there is a corresponding Is_xxx (or for types, Is_xxx_Type)
+ -- predicate which is to be used in preference to direct range tests using
+ -- the subtype name. However, the subtype names are available for direct
-- use, e.g. as choices in case statements.
subtype Access_Kind is Entity_Kind range
-- E_Limited_Private_Type
-- E_Limited_Private_Subtype
-- E_Incomplete_Type
+ -- E_Incomplete_Subtype
-- E_Task_Type
-- E_Task_Subtype,
-- E_Protected_Type,
subtype Formal_Kind is Entity_Kind range
E_In_Parameter ..
-- E_Out_Parameter
- E_In_Out_Parameter;
+ E_In_Out_Parameter;
+
+ subtype Formal_Object_Kind is Entity_Kind range
+ E_Generic_In_Out_Parameter ..
+ E_Generic_In_Parameter;
subtype Generic_Subprogram_Kind is Entity_Kind range
E_Generic_Function ..
-- E_Generic_Procedure
E_Generic_Package;
+ subtype Incomplete_Kind is Entity_Kind range
+ E_Incomplete_Type ..
+ E_Incomplete_Subtype;
+
subtype Incomplete_Or_Private_Kind is Entity_Kind range
E_Record_Type_With_Private ..
-- E_Record_Subtype_With_Private
-- E_Private_Subtype
-- E_Limited_Private_Type
-- E_Limited_Private_Subtype
- E_Incomplete_Type;
+ -- E_Incomplete_Type
+ E_Incomplete_Subtype;
subtype Integer_Kind is Entity_Kind range
E_Signed_Integer_Type ..
-- E_Limited_Private_Type
-- E_Limited_Private_Subtype
-- E_Incomplete_Type
+ -- E_Incomplete_Subtype
-- E_Task_Type
-- E_Task_Subtype
-- E_Protected_Type
-- Etype (Node5)
-- First_Rep_Item (Node6)
-- Freeze_Node (Node7)
+ -- Obsolescent_Warning (Node24)
-- Address_Taken (Flag104)
-- Can_Never_Be_Null (Flag38)
-- Has_Qualified_Name (Flag161)
-- Has_Unknown_Discriminants (Flag72)
-- Has_Xref_Entry (Flag182)
- -- Is_Ada_2005 (Flag185)
+ -- Is_Ada_2005_Only (Flag185)
-- Is_Bit_Packed_Array (Flag122) (base type only)
-- Is_Child_Unit (Flag73)
-- Is_Compilation_Unit (Flag149)
-- Is_Shared_Passive (Flag60)
-- Is_Statically_Allocated (Flag28)
-- Is_Unchecked_Union (Flag117)
+ -- Is_Visible_Formal (Flag206)
-- Is_VMS_Exception (Flag133)
-- Kill_Elaboration_Checks (Flag32)
-- Kill_Range_Checks (Flag33)
-- Kill_Tag_Checks (Flag34)
+ -- Low_Bound_Known (Flag205)
-- Materialize_Entity (Flag168)
-- Needs_Debug_Info (Flag147)
-- No_Return (Flag113)
-- Declaration_Node (synth)
-- Enclosing_Dynamic_Scope (synth)
-- Has_Foreign_Convention (synth)
+ -- Is_Derived_Type (synth)
-- Is_Dynamic_Scope (synth)
-- Is_Limited_Type (synth)
-- Underlying_Type (synth)
-- Has_Aliased_Components (Flag135) (base type only)
-- Has_Alignment_Clause (Flag46)
-- Has_Atomic_Components (Flag86) (base type only)
+ -- Has_Completion_In_Body (Flag71)
-- Has_Complex_Representation (Flag140) (base type only)
-- Has_Constrained_Partial_View (Flag187)
-- Has_Discriminants (Flag5)
-- Is_Unsigned_Type (Flag144)
-- Is_Volatile (Flag16)
-- Itype_Printed (Flag202) (itypes only)
+ -- Known_To_Have_Preelab_Init (Flag207)
-- Must_Be_On_Byte_Boundary (Flag183)
+ -- Must_Have_Preelab_Init (Flag208)
-- Size_Depends_On_Discriminant (Flag177)
-- Size_Known_At_Compile_Time (Flag92)
-- Strict_Alignment (Flag145) (base type only)
-- Implementation_Base_Type (synth)
-- Is_By_Copy_Type (synth)
-- Is_By_Reference_Type (synth)
- -- Is_Return_By_Reference_Type (synth)
+ -- Is_Inherently_Limited_Type (synth)
-- Root_Type (synth)
-- Size_Clause (synth)
-- Interface_Name (Node21) (JGNAT usage only)
-- Original_Record_Component (Node22)
-- Protected_Operation (Node23)
- -- DT_Offset_To_Top_Func (Node24)
+ -- DT_Offset_To_Top_Func (Node25)
-- Has_Biased_Representation (Flag139)
-- Has_Per_Object_Constraint (Flag154)
-- Is_Atomic (Flag85)
-- Is_Tag (Flag78)
-- Is_Volatile (Flag16)
-- Treat_As_Volatile (Flag41)
+ -- Is_Return_Object (Flag209)
-- Is_Protected_Private (synth)
-- Next_Component (synth)
-- Next_Tag_Component (synth)
-- Actual_Subtype (Node17)
-- Renamed_Object (Node18)
-- Size_Check_Code (Node19) (constants only)
+ -- In_Private_Part (Flag45)
-- Interface_Name (Node21)
-- Has_Alignment_Clause (Flag46)
-- Has_Atomic_Components (Flag86)
-- Is_Volatile (Flag16)
-- Never_Set_In_Source (Flag115)
-- Treat_As_Volatile (Flag41)
+ -- Is_Return_Object (Flag209)
-- Address_Clause (synth)
-- Alignment_Clause (synth)
-- Constant_Value (synth)
-- Interface_Name (Node21) (JGNAT usage only)
-- Original_Record_Component (Node22)
-- CR_Discriminant (Node23)
+ -- Is_Return_Object (Flag209)
-- Next_Discriminant (synth)
-- Next_Stored_Discriminant (synth)
-- Uses_Sec_Stack (Flag95)
-- Address_Clause (synth)
-- First_Formal (synth)
+ -- First_Formal_With_Extras (synth)
-- Entry_Index_Type (synth)
-- Number_Formals (synth)
-- Scope_Depth (synth)
-- Generic_Renamings (Elist23) (for an instance)
-- Inner_Instances (Elist23) (for a generic function)
-- Privals_Chain (Elist23) (for a protected function)
- -- Obsolescent_Warning (Node24)
-- Abstract_Interface_Alias (Node25)
-- Overridden_Operation (Node26)
+ -- Extra_Formals (Node28)
-- Body_Needed_For_SAL (Flag40)
-- Elaboration_Entity_Required (Flag174)
-- Function_Returns_With_DSP (Flag169)
-- Uses_Sec_Stack (Flag95)
-- Address_Clause (synth)
-- First_Formal (synth)
+ -- First_Formal_With_Extras (synth)
-- Number_Formals (synth)
-- Scope_Depth (synth)
-- Protected_Formal (Node22)
-- Is_Controlling_Formal (Flag97)
-- Is_Entry_Formal (Flag52)
+ -- Is_Return_Object (Flag209)
-- Parameter_Mode (synth)
-- E_Incomplete_Type
+ -- E_Incomplete_Subtype
-- Non_Limited_View (Node17)
-- Private_Dependents (Elist18)
-- Discriminant_Constraint (Elist21)
-- E_In_Out_Parameter
-- E_Out_Parameter
-- Mechanism (Uint8) (returns Mechanism_Type)
- -- Current_Value (Node9) (always Empty for IN case)
+ -- Current_Value (Node9)
-- Discriminal_Link (Node10) (discriminals only)
-- Entry_Component (Node11)
-- Esize (Uint12)
-- Is_Controlling_Formal (Flag97)
-- Is_Entry_Formal (Flag52)
-- Is_Optional_Parameter (Flag134)
+ -- Low_Bound_Known (Flag205)
-- Never_Set_In_Source (Flag115)
+ -- Is_Return_Object (Flag209)
-- Parameter_Mode (synth)
-- E_Label
-- Private_View (Node22)
-- Stored_Constraint (Elist23)
-- Has_Completion (Flag26)
- -- Has_Completion_In_Body (Flag71)
-- First_Discriminant (synth)
-- First_Stored_Discriminant (synth)
-- (plus type attributes)
-- Generic_Renamings (Elist23) (for an instance)
-- Inner_Instances (Elist23) (generic case only)
-- Limited_View (Node23) (non-generic, not instance)
- -- Obsolescent_Warning (Node24)
-- Current_Use_Clause (Node25)
-- Package_Instantiation (Node26)
-- Delay_Subprogram_Descriptors (Flag50)
-- Body_Needed_For_SAL (Flag40)
-- Discard_Names (Flag88)
-- Elaboration_Entity_Required (Flag174)
+ -- Elaborate_Body_Desirable (Flag210) (non-generic case only)
-- From_With_Type (Flag159)
-- Has_All_Calls_Remote (Flag79)
-- Has_Completion (Flag26)
-- Private_View (Node22)
-- Stored_Constraint (Elist23)
-- Has_Completion (Flag26)
- -- Has_Completion_In_Body (Flag71)
-- Is_Controlled (Flag42) (base type only)
-- Is_For_Access_Subtype (Flag118) (subtype only)
-- First_Discriminant (synth)
-- Generic_Renamings (Elist23) (for an instance)
-- Inner_Instances (Elist23) (for a generic procedure)
-- Privals_Chain (Elist23) (for a protected procedure)
- -- Obsolescent_Warning (Node24)
-- Abstract_Interface_Alias (Node25)
-- Overridden_Operation (Node26)
-- Wrapped_Entity (Node27) (non-generic case only)
+ -- Extra_Formals (Node28)
-- Body_Needed_For_SAL (Flag40)
-- Elaboration_Entity_Required (Flag174)
-- Function_Returns_With_DSP (Flag169) (always False for procedure)
-- Sec_Stack_Needed_For_Return (Flag167)
-- Address_Clause (synth)
-- First_Formal (synth)
+ -- First_Formal_With_Extras (synth)
-- Number_Formals (synth)
-- E_Protected_Body
-- Discriminant_Constraint (Elist21)
-- Corresponding_Remote_Type (Node22)
-- Stored_Constraint (Elist23)
- -- Abstract_Interfaces (Elist24)
+ -- Abstract_Interfaces (Elist25)
-- Component_Alignment (special) (base type only)
-- C_Pass_By_Copy (Flag125) (base type only)
-- Has_External_Tag_Rep_Clause (Flag110)
-- Has_Record_Rep_Clause (Flag65) (base type only)
+ -- Has_Static_Discriminants (Flag211) (subtype only)
-- Is_Class_Wide_Equivalent_Type (Flag35)
-- Is_Concurrent_Record_Type (Flag20)
-- Is_Constrained (Flag12)
-- Discriminant_Constraint (Elist21)
-- Private_View (Node22)
-- Stored_Constraint (Elist23)
- -- Abstract_Interfaces (Elist24)
+ -- Abstract_Interfaces (Elist25)
-- Has_Completion (Flag26)
- -- Has_Completion_In_Body (Flag71)
-- Has_Record_Rep_Clause (Flag65) (base type only)
-- Has_External_Tag_Rep_Clause (Flag110)
-- Is_Concurrent_Record_Type (Flag20)
-- First_Tag_Component (synth)
-- (plus type attributes)
+ -- E_Return_Statement
+ -- Return_Applies_To (Node8)
+
-- E_Signed_Integer_Type
-- E_Signed_Integer_Subtype
-- Scalar_Range (Node20)
-- E_Subprogram_Type
-- Directly_Designated_Type (Node20)
-- First_Formal (synth)
+ -- First_Formal_With_Extras (synth)
-- Number_Formals (synth)
-- Function_Returns_With_DSP (Flag169)
-- (plus type attributes)
-- Scope_Depth_Value (Uint22)
-- Scope_Depth (synth)
-- Stored_Constraint (Elist23)
- -- Task_Body_Procedure (Node24)
+ -- Task_Body_Procedure (Node25)
-- Delay_Cleanups (Flag114)
-- Has_Master_Entity (Flag21)
-- Has_Storage_Size_Clause (Flag23) (base type only)
-- Actual_Subtype (Node17)
-- Renamed_Object (Node18)
-- Size_Check_Code (Node19)
+ -- Last_Assignment (Node20)
-- Interface_Name (Node21)
-- Shared_Var_Assign_Proc (Node22)
-- Extra_Constrained (Node23)
-- Has_Biased_Representation (Flag139)
-- Has_Size_Clause (Flag29)
-- Has_Volatile_Components (Flag87)
+ -- In_Private_Part (Flag45)
-- Is_Atomic (Flag85)
-- Is_Eliminated (Flag124)
-- Is_Shared_Passive (Flag60)
-- Is_Volatile (Flag16)
-- Never_Set_In_Source (Flag115)
-- Treat_As_Volatile (Flag41)
+ -- Is_Return_Object (Flag209)
-- Address_Clause (synth)
-- Alignment_Clause (synth)
-- Constant_Value (synth)
function Discriminant_Constraint (Id : E) return L;
function Discriminant_Default_Value (Id : E) return N;
function Discriminant_Number (Id : E) return U;
+ function Elaborate_Body_Desirable (Id : E) return B;
function Elaboration_Entity (Id : E) return E;
function Elaboration_Entity_Required (Id : E) return B;
function Enclosing_Scope (Id : E) return E;
function Extra_Accessibility (Id : E) return E;
function Extra_Constrained (Id : E) return E;
function Extra_Formal (Id : E) return E;
+ function Extra_Formals (Id : E) return E;
function Finalization_Chain_Entity (Id : E) return E;
function Finalize_Storage_Only (Id : E) return B;
function First_Entity (Id : E) return E;
function Has_Specified_Stream_Output (Id : E) return B;
function Has_Specified_Stream_Read (Id : E) return B;
function Has_Specified_Stream_Write (Id : E) return B;
+ function Has_Static_Discriminants (Id : E) return B;
function Has_Storage_Size_Clause (Id : E) return B;
function Has_Stream_Size_Clause (Id : E) return B;
function Has_Subprogram_Descriptor (Id : E) return B;
function Is_Abstract (Id : E) return B;
function Is_Local_Anonymous_Access (Id : E) return B;
function Is_Access_Constant (Id : E) return B;
- function Is_Ada_2005 (Id : E) return B;
+ function Is_Ada_2005_Only (Id : E) return B;
function Is_Aliased (Id : E) return B;
function Is_Asynchronous (Id : E) return B;
function Is_Atomic (Id : E) return B;
function Is_Remote_Call_Interface (Id : E) return B;
function Is_Remote_Types (Id : E) return B;
function Is_Renaming_Of_Object (Id : E) return B;
+ function Is_Return_Object (Id : E) return B;
function Is_Shared_Passive (Id : E) return B;
function Is_Statically_Allocated (Id : E) return B;
function Is_Synchronized_Interface (Id : E) return B;
function Is_VMS_Exception (Id : E) return B;
function Is_Valued_Procedure (Id : E) return B;
function Is_Visible_Child_Unit (Id : E) return B;
+ function Is_Visible_Formal (Id : E) return B;
function Is_Volatile (Id : E) return B;
function Itype_Printed (Id : E) return B;
function Kill_Elaboration_Checks (Id : E) return B;
function Kill_Range_Checks (Id : E) return B;
function Kill_Tag_Checks (Id : E) return B;
+ function Known_To_Have_Preelab_Init (Id : E) return B;
+ function Last_Assignment (Id : E) return N;
function Last_Entity (Id : E) return E;
function Limited_View (Id : E) return E;
function Lit_Indexes (Id : E) return E;
function Lit_Strings (Id : E) return E;
+ function Low_Bound_Known (Id : E) return B;
function Machine_Radix_10 (Id : E) return B;
function Master_Id (Id : E) return E;
function Materialize_Entity (Id : E) return B;
function Mechanism (Id : E) return M;
function Modulus (Id : E) return U;
function Must_Be_On_Byte_Boundary (Id : E) return B;
+ function Must_Have_Preelab_Init (Id : E) return B;
function Needs_Debug_Info (Id : E) return B;
function Needs_No_Actuals (Id : E) return B;
function Never_Set_In_Source (Id : E) return B;
function Renamed_Object (Id : E) return N;
function Renaming_Map (Id : E) return U;
function Return_Present (Id : E) return B;
+ function Return_Applies_To (Id : E) return N;
function Returns_By_Ref (Id : E) return B;
function Reverse_Bit_Order (Id : E) return B;
function Scalar_Range (Id : E) return N;
function Is_Fixed_Point_Type (Id : E) return B;
function Is_Floating_Point_Type (Id : E) return B;
function Is_Formal (Id : E) return B;
+ function Is_Formal_Object (Id : E) return B;
function Is_Formal_Subprogram (Id : E) return B;
function Is_Generic_Actual_Type (Id : E) return B;
function Is_Generic_Unit (Id : E) return B;
function Is_Generic_Type (Id : E) return B;
function Is_Generic_Subprogram (Id : E) return B;
function Is_Incomplete_Or_Private_Type (Id : E) return B;
+ function Is_Incomplete_Type (Id : E) return B;
function Is_Integer_Type (Id : E) return B;
function Is_Limited_Record (Id : E) return B;
function Is_Modular_Integer_Type (Id : E) return B;
function First_Component (Id : E) return E;
function First_Discriminant (Id : E) return E;
function First_Formal (Id : E) return E;
+ function First_Formal_With_Extras (Id : E) return E;
function First_Stored_Discriminant (Id : E) return E;
function First_Subtype (Id : E) return E;
function Has_Attach_Handler (Id : E) return B;
function Is_Package_Or_Generic_Package (Id : E) return B;
function Is_Protected_Private (Id : E) return B;
function Is_Protected_Record_Type (Id : E) return B;
- function Is_Return_By_Reference_Type (Id : E) return B;
+ function Is_Inherently_Limited_Type (Id : E) return B;
function Is_String_Type (Id : E) return B;
function Is_Task_Record_Type (Id : E) return B;
function Is_Wrapper_Package (Id : E) return B;
procedure Set_Discriminant_Constraint (Id : E; V : L);
procedure Set_Discriminant_Default_Value (Id : E; V : N);
procedure Set_Discriminant_Number (Id : E; V : U);
+ procedure Set_Elaborate_Body_Desirable (Id : E; V : B := True);
procedure Set_Elaboration_Entity (Id : E; V : E);
procedure Set_Elaboration_Entity_Required (Id : E; V : B := True);
procedure Set_Enclosing_Scope (Id : E; V : E);
procedure Set_Extra_Accessibility (Id : E; V : E);
procedure Set_Extra_Constrained (Id : E; V : E);
procedure Set_Extra_Formal (Id : E; V : E);
+ procedure Set_Extra_Formals (Id : E; V : E);
procedure Set_Finalization_Chain_Entity (Id : E; V : E);
procedure Set_Finalize_Storage_Only (Id : E; V : B := True);
procedure Set_First_Entity (Id : E; V : E);
procedure Set_Has_Specified_Stream_Output (Id : E; V : B := True);
procedure Set_Has_Specified_Stream_Read (Id : E; V : B := True);
procedure Set_Has_Specified_Stream_Write (Id : E; V : B := True);
+ procedure Set_Has_Static_Discriminants (Id : E; V : B := True);
procedure Set_Has_Storage_Size_Clause (Id : E; V : B := True);
procedure Set_Has_Stream_Size_Clause (Id : E; V : B := True);
procedure Set_Has_Subprogram_Descriptor (Id : E; V : B := True);
procedure Set_Is_Abstract (Id : E; V : B := True);
procedure Set_Is_Local_Anonymous_Access (Id : E; V : B := True);
procedure Set_Is_Access_Constant (Id : E; V : B := True);
- procedure Set_Is_Ada_2005 (Id : E; V : B := True);
+ procedure Set_Is_Ada_2005_Only (Id : E; V : B := True);
procedure Set_Is_Aliased (Id : E; V : B := True);
procedure Set_Is_Asynchronous (Id : E; V : B := True);
procedure Set_Is_Atomic (Id : E; V : B := True);
procedure Set_Is_Remote_Call_Interface (Id : E; V : B := True);
procedure Set_Is_Remote_Types (Id : E; V : B := True);
procedure Set_Is_Renaming_Of_Object (Id : E; V : B := True);
+ procedure Set_Is_Return_Object (Id : E; V : B := True);
procedure Set_Is_Shared_Passive (Id : E; V : B := True);
procedure Set_Is_Statically_Allocated (Id : E; V : B := True);
procedure Set_Is_Synchronized_Interface (Id : E; V : B := True);
procedure Set_Is_VMS_Exception (Id : E; V : B := True);
procedure Set_Is_Valued_Procedure (Id : E; V : B := True);
procedure Set_Is_Visible_Child_Unit (Id : E; V : B := True);
+ procedure Set_Is_Visible_Formal (Id : E; V : B := True);
procedure Set_Is_Volatile (Id : E; V : B := True);
procedure Set_Itype_Printed (Id : E; V : B := True);
procedure Set_Kill_Elaboration_Checks (Id : E; V : B := True);
procedure Set_Kill_Range_Checks (Id : E; V : B := True);
procedure Set_Kill_Tag_Checks (Id : E; V : B := True);
+ procedure Set_Known_To_Have_Preelab_Init (Id : E; V : B := True);
+ procedure Set_Last_Assignment (Id : E; V : N);
procedure Set_Last_Entity (Id : E; V : E);
procedure Set_Limited_View (Id : E; V : E);
procedure Set_Lit_Indexes (Id : E; V : E);
procedure Set_Lit_Strings (Id : E; V : E);
+ procedure Set_Low_Bound_Known (Id : E; V : B := True);
procedure Set_Machine_Radix_10 (Id : E; V : B := True);
procedure Set_Master_Id (Id : E; V : E);
procedure Set_Materialize_Entity (Id : E; V : B := True);
procedure Set_Mechanism (Id : E; V : M);
procedure Set_Modulus (Id : E; V : U);
procedure Set_Must_Be_On_Byte_Boundary (Id : E; V : B := True);
+ procedure Set_Must_Have_Preelab_Init (Id : E; V : B := True);
procedure Set_Needs_Debug_Info (Id : E; V : B := True);
procedure Set_Needs_No_Actuals (Id : E; V : B := True);
procedure Set_Never_Set_In_Source (Id : E; V : B := True);
procedure Set_Renamed_Object (Id : E; V : N);
procedure Set_Renaming_Map (Id : E; V : U);
procedure Set_Return_Present (Id : E; V : B := True);
+ procedure Set_Return_Applies_To (Id : E; V : N);
procedure Set_Returns_By_Ref (Id : E; V : B := True);
procedure Set_Reverse_Bit_Order (Id : E; V : B := True);
procedure Set_Scalar_Range (Id : E; V : N);
procedure Write_Field25_Name (Id : Entity_Id);
procedure Write_Field26_Name (Id : Entity_Id);
procedure Write_Field27_Name (Id : Entity_Id);
+ procedure Write_Field28_Name (Id : Entity_Id);
-- These routines are used to output a nice symbolic name for the given
-- field, depending on the Ekind. No blanks or end of lines are output,
-- just the characters of the field name.
pragma Inline (Discriminant_Constraint);
pragma Inline (Discriminant_Default_Value);
pragma Inline (Discriminant_Number);
+ pragma Inline (Elaborate_Body_Desirable);
pragma Inline (Elaboration_Entity);
pragma Inline (Elaboration_Entity_Required);
pragma Inline (Enclosing_Scope);
pragma Inline (Extra_Accessibility);
pragma Inline (Extra_Constrained);
pragma Inline (Extra_Formal);
+ pragma Inline (Extra_Formals);
pragma Inline (Finalization_Chain_Entity);
pragma Inline (First_Entity);
pragma Inline (First_Index);
pragma Inline (Has_Specified_Stream_Output);
pragma Inline (Has_Specified_Stream_Read);
pragma Inline (Has_Specified_Stream_Write);
+ pragma Inline (Has_Static_Discriminants);
pragma Inline (Has_Storage_Size_Clause);
pragma Inline (Has_Stream_Size_Clause);
pragma Inline (Has_Subprogram_Descriptor);
pragma Inline (Is_Abstract);
pragma Inline (Is_Local_Anonymous_Access);
pragma Inline (Is_Access_Constant);
- pragma Inline (Is_Ada_2005);
+ pragma Inline (Is_Ada_2005_Only);
pragma Inline (Is_Access_Type);
pragma Inline (Is_Aliased);
pragma Inline (Is_Array_Type);
pragma Inline (Is_Floating_Point_Type);
pragma Inline (Is_For_Access_Subtype);
pragma Inline (Is_Formal);
+ pragma Inline (Is_Formal_Object);
pragma Inline (Is_Formal_Subprogram);
pragma Inline (Is_Frozen);
pragma Inline (Is_Generic_Actual_Type);
pragma Inline (Is_Immediately_Visible);
pragma Inline (Is_Imported);
pragma Inline (Is_Incomplete_Or_Private_Type);
+ pragma Inline (Is_Incomplete_Type);
pragma Inline (Is_Inlined);
pragma Inline (Is_Interface);
pragma Inline (Is_Instantiated);
pragma Inline (Is_Remote_Call_Interface);
pragma Inline (Is_Remote_Types);
pragma Inline (Is_Renaming_Of_Object);
+ pragma Inline (Is_Return_Object);
pragma Inline (Is_Scalar_Type);
pragma Inline (Is_Shared_Passive);
pragma Inline (Is_Signed_Integer_Type);
pragma Inline (Is_VMS_Exception);
pragma Inline (Is_Valued_Procedure);
pragma Inline (Is_Visible_Child_Unit);
+ pragma Inline (Is_Visible_Formal);
pragma Inline (Itype_Printed);
pragma Inline (Kill_Elaboration_Checks);
pragma Inline (Kill_Range_Checks);
pragma Inline (Kill_Tag_Checks);
+ pragma Inline (Known_To_Have_Preelab_Init);
+ pragma Inline (Last_Assignment);
pragma Inline (Last_Entity);
pragma Inline (Limited_View);
pragma Inline (Lit_Indexes);
pragma Inline (Lit_Strings);
+ pragma Inline (Low_Bound_Known);
pragma Inline (Machine_Radix_10);
pragma Inline (Master_Id);
pragma Inline (Materialize_Entity);
pragma Inline (Mechanism);
pragma Inline (Modulus);
pragma Inline (Must_Be_On_Byte_Boundary);
+ pragma Inline (Must_Have_Preelab_Init);
pragma Inline (Needs_Debug_Info);
pragma Inline (Needs_No_Actuals);
pragma Inline (Never_Set_In_Source);
pragma Inline (Renamed_Object);
pragma Inline (Renaming_Map);
pragma Inline (Return_Present);
+ pragma Inline (Return_Applies_To);
pragma Inline (Returns_By_Ref);
pragma Inline (Reverse_Bit_Order);
pragma Inline (Scalar_Range);
pragma Inline (Set_Discriminant_Constraint);
pragma Inline (Set_Discriminant_Default_Value);
pragma Inline (Set_Discriminant_Number);
+ pragma Inline (Set_Elaborate_Body_Desirable);
pragma Inline (Set_Elaboration_Entity);
pragma Inline (Set_Elaboration_Entity_Required);
pragma Inline (Set_Enclosing_Scope);
pragma Inline (Set_Extra_Accessibility);
pragma Inline (Set_Extra_Constrained);
pragma Inline (Set_Extra_Formal);
+ pragma Inline (Set_Extra_Formals);
pragma Inline (Set_Finalization_Chain_Entity);
pragma Inline (Set_First_Entity);
pragma Inline (Set_First_Index);
pragma Inline (Set_Has_Pragma_Pure);
pragma Inline (Set_Has_Pragma_Pure_Function);
pragma Inline (Set_Has_Pragma_Unreferenced);
+ pragma Inline (Set_Known_To_Have_Preelab_Init);
pragma Inline (Set_Has_Primitive_Operations);
pragma Inline (Set_Has_Private_Declaration);
pragma Inline (Set_Has_Qualified_Name);
pragma Inline (Set_Has_Specified_Stream_Output);
pragma Inline (Set_Has_Specified_Stream_Read);
pragma Inline (Set_Has_Specified_Stream_Write);
+ pragma Inline (Set_Has_Static_Discriminants);
pragma Inline (Set_Has_Storage_Size_Clause);
pragma Inline (Set_Has_Subprogram_Descriptor);
pragma Inline (Set_Has_Task);
pragma Inline (Set_Is_Abstract);
pragma Inline (Set_Is_Local_Anonymous_Access);
pragma Inline (Set_Is_Access_Constant);
- pragma Inline (Set_Is_Ada_2005);
+ pragma Inline (Set_Is_Ada_2005_Only);
pragma Inline (Set_Is_Aliased);
pragma Inline (Set_Is_Asynchronous);
pragma Inline (Set_Is_Atomic);
pragma Inline (Set_Is_Remote_Call_Interface);
pragma Inline (Set_Is_Remote_Types);
pragma Inline (Set_Is_Renaming_Of_Object);
+ pragma Inline (Set_Is_Return_Object);
pragma Inline (Set_Is_Shared_Passive);
pragma Inline (Set_Is_Statically_Allocated);
pragma Inline (Set_Is_Synchronized_Interface);
pragma Inline (Set_Is_VMS_Exception);
pragma Inline (Set_Is_Valued_Procedure);
pragma Inline (Set_Is_Visible_Child_Unit);
+ pragma Inline (Set_Is_Visible_Formal);
pragma Inline (Set_Is_Volatile);
pragma Inline (Set_Itype_Printed);
pragma Inline (Set_Kill_Elaboration_Checks);
pragma Inline (Set_Kill_Range_Checks);
pragma Inline (Set_Kill_Tag_Checks);
+ pragma Inline (Set_Last_Assignment);
pragma Inline (Set_Last_Entity);
pragma Inline (Set_Limited_View);
pragma Inline (Set_Lit_Indexes);
pragma Inline (Set_Lit_Strings);
+ pragma Inline (Set_Low_Bound_Known);
pragma Inline (Set_Machine_Radix_10);
pragma Inline (Set_Master_Id);
pragma Inline (Set_Materialize_Entity);
pragma Inline (Set_Mechanism);
pragma Inline (Set_Modulus);
pragma Inline (Set_Must_Be_On_Byte_Boundary);
+ pragma Inline (Set_Must_Have_Preelab_Init);
pragma Inline (Set_Needs_Debug_Info);
pragma Inline (Set_Needs_No_Actuals);
pragma Inline (Set_Never_Set_In_Source);
pragma Inline (Set_Renamed_Object);
pragma Inline (Set_Renaming_Map);
pragma Inline (Set_Return_Present);
+ pragma Inline (Set_Return_Applies_To);
pragma Inline (Set_Returns_By_Ref);
pragma Inline (Set_Reverse_Bit_Order);
pragma Inline (Set_Scalar_Range);