diff options
Diffstat (limited to 'gcc/ada/nmake.adb')
| -rw-r--r-- | gcc/ada/nmake.adb | 2846 |
1 files changed, 2846 insertions, 0 deletions
diff --git a/gcc/ada/nmake.adb b/gcc/ada/nmake.adb new file mode 100644 index 00000000000..92bb4986f3f --- /dev/null +++ b/gcc/ada/nmake.adb @@ -0,0 +1,2846 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- N M A K E -- +-- -- +-- B o d y -- +-- -- +-- Generated by xnmake revision 1.25 using -- +-- sinfo.ads revision 1.430 -- +-- nmake.adt revision 1.12 -- +-- -- +-- Copyright (C) 1992-2001 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- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNAT; see file COPYING. If not, write -- +-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- +-- MA 02111-1307, USA. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). -- +-- -- +------------------------------------------------------------------------------ + +pragma Style_Checks (All_Checks); +-- Turn off subprogram order checking, since the routines here are +-- generated automatically in order. + + +with Atree; use Atree; +with Sinfo; use Sinfo; +with Snames; use Snames; +with Stand; use Stand; + +package body Nmake is + + function Make_Unused_At_Start (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Unused_At_Start, Sloc); + begin + return N; + end Make_Unused_At_Start; + + function Make_Unused_At_End (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Unused_At_End, Sloc); + begin + return N; + end Make_Unused_At_End; + + function Make_Identifier (Sloc : Source_Ptr; + Chars : Name_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Identifier, Sloc); + begin + Set_Chars (N, Chars); + return N; + end Make_Identifier; + + function Make_Integer_Literal (Sloc : Source_Ptr; + Intval : Uint) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Integer_Literal, Sloc); + begin + Set_Intval (N, Intval); + return N; + end Make_Integer_Literal; + + function Make_Real_Literal (Sloc : Source_Ptr; + Realval : Ureal) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Real_Literal, Sloc); + begin + Set_Realval (N, Realval); + return N; + end Make_Real_Literal; + + function Make_Character_Literal (Sloc : Source_Ptr; + Chars : Name_Id; + Char_Literal_Value : Char_Code) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Character_Literal, Sloc); + begin + Set_Chars (N, Chars); + Set_Char_Literal_Value (N, Char_Literal_Value); + return N; + end Make_Character_Literal; + + function Make_String_Literal (Sloc : Source_Ptr; + Strval : String_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_String_Literal, Sloc); + begin + Set_Strval (N, Strval); + return N; + end Make_String_Literal; + + function Make_Pragma (Sloc : Source_Ptr; + Chars : Name_Id; + Pragma_Argument_Associations : List_Id := No_List; + Debug_Statement : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Pragma, Sloc); + begin + Set_Chars (N, Chars); + Set_Pragma_Argument_Associations + (N, Pragma_Argument_Associations); + Set_Debug_Statement (N, Debug_Statement); + return N; + end Make_Pragma; + + function Make_Pragma_Argument_Association (Sloc : Source_Ptr; + Chars : Name_Id := No_Name; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Pragma_Argument_Association, Sloc); + begin + Set_Chars (N, Chars); + Set_Expression (N, Expression); + return N; + end Make_Pragma_Argument_Association; + + function Make_Defining_Identifier (Sloc : Source_Ptr; + Chars : Name_Id) + return Node_Id + is + N : constant Node_Id := + New_Entity (N_Defining_Identifier, Sloc); + begin + Set_Chars (N, Chars); + return N; + end Make_Defining_Identifier; + + function Make_Full_Type_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Type_Definition : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Full_Type_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Type_Definition (N, Type_Definition); + return N; + end Make_Full_Type_Declaration; + + function Make_Subtype_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Subtype_Indication : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subtype_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Subtype_Indication (N, Subtype_Indication); + return N; + end Make_Subtype_Declaration; + + function Make_Subtype_Indication (Sloc : Source_Ptr; + Subtype_Mark : Node_Id; + Constraint : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subtype_Indication, Sloc); + begin + Set_Subtype_Mark (N, Subtype_Mark); + Set_Constraint (N, Constraint); + return N; + end Make_Subtype_Indication; + + function Make_Object_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Aliased_Present : Boolean := False; + Constant_Present : Boolean := False; + Object_Definition : Node_Id; + Expression : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Object_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Aliased_Present (N, Aliased_Present); + Set_Constant_Present (N, Constant_Present); + Set_Object_Definition (N, Object_Definition); + Set_Expression (N, Expression); + return N; + end Make_Object_Declaration; + + function Make_Number_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Number_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Expression (N, Expression); + return N; + end Make_Number_Declaration; + + function Make_Derived_Type_Definition (Sloc : Source_Ptr; + Abstract_Present : Boolean := False; + Subtype_Indication : Node_Id; + Record_Extension_Part : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Derived_Type_Definition, Sloc); + begin + Set_Abstract_Present (N, Abstract_Present); + Set_Subtype_Indication (N, Subtype_Indication); + Set_Record_Extension_Part (N, Record_Extension_Part); + return N; + end Make_Derived_Type_Definition; + + function Make_Range_Constraint (Sloc : Source_Ptr; + Range_Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Range_Constraint, Sloc); + begin + Set_Range_Expression (N, Range_Expression); + return N; + end Make_Range_Constraint; + + function Make_Range (Sloc : Source_Ptr; + Low_Bound : Node_Id; + High_Bound : Node_Id; + Includes_Infinities : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Range, Sloc); + begin + Set_Low_Bound (N, Low_Bound); + Set_High_Bound (N, High_Bound); + Set_Includes_Infinities (N, Includes_Infinities); + return N; + end Make_Range; + + function Make_Enumeration_Type_Definition (Sloc : Source_Ptr; + Literals : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Enumeration_Type_Definition, Sloc); + begin + Set_Literals (N, Literals); + return N; + end Make_Enumeration_Type_Definition; + + function Make_Defining_Character_Literal (Sloc : Source_Ptr; + Chars : Name_Id) + return Node_Id + is + N : constant Node_Id := + New_Entity (N_Defining_Character_Literal, Sloc); + begin + Set_Chars (N, Chars); + return N; + end Make_Defining_Character_Literal; + + function Make_Signed_Integer_Type_Definition (Sloc : Source_Ptr; + Low_Bound : Node_Id; + High_Bound : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Signed_Integer_Type_Definition, Sloc); + begin + Set_Low_Bound (N, Low_Bound); + Set_High_Bound (N, High_Bound); + return N; + end Make_Signed_Integer_Type_Definition; + + function Make_Modular_Type_Definition (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Modular_Type_Definition, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Modular_Type_Definition; + + function Make_Floating_Point_Definition (Sloc : Source_Ptr; + Digits_Expression : Node_Id; + Real_Range_Specification : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Floating_Point_Definition, Sloc); + begin + Set_Digits_Expression (N, Digits_Expression); + Set_Real_Range_Specification (N, Real_Range_Specification); + return N; + end Make_Floating_Point_Definition; + + function Make_Real_Range_Specification (Sloc : Source_Ptr; + Low_Bound : Node_Id; + High_Bound : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Real_Range_Specification, Sloc); + begin + Set_Low_Bound (N, Low_Bound); + Set_High_Bound (N, High_Bound); + return N; + end Make_Real_Range_Specification; + + function Make_Ordinary_Fixed_Point_Definition (Sloc : Source_Ptr; + Delta_Expression : Node_Id; + Real_Range_Specification : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Ordinary_Fixed_Point_Definition, Sloc); + begin + Set_Delta_Expression (N, Delta_Expression); + Set_Real_Range_Specification (N, Real_Range_Specification); + return N; + end Make_Ordinary_Fixed_Point_Definition; + + function Make_Decimal_Fixed_Point_Definition (Sloc : Source_Ptr; + Delta_Expression : Node_Id; + Digits_Expression : Node_Id; + Real_Range_Specification : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Decimal_Fixed_Point_Definition, Sloc); + begin + Set_Delta_Expression (N, Delta_Expression); + Set_Digits_Expression (N, Digits_Expression); + Set_Real_Range_Specification (N, Real_Range_Specification); + return N; + end Make_Decimal_Fixed_Point_Definition; + + function Make_Digits_Constraint (Sloc : Source_Ptr; + Digits_Expression : Node_Id; + Range_Constraint : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Digits_Constraint, Sloc); + begin + Set_Digits_Expression (N, Digits_Expression); + Set_Range_Constraint (N, Range_Constraint); + return N; + end Make_Digits_Constraint; + + function Make_Unconstrained_Array_Definition (Sloc : Source_Ptr; + Subtype_Marks : List_Id; + Aliased_Present : Boolean := False; + Subtype_Indication : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Unconstrained_Array_Definition, Sloc); + begin + Set_Subtype_Marks (N, Subtype_Marks); + Set_Aliased_Present (N, Aliased_Present); + Set_Subtype_Indication (N, Subtype_Indication); + return N; + end Make_Unconstrained_Array_Definition; + + function Make_Constrained_Array_Definition (Sloc : Source_Ptr; + Discrete_Subtype_Definitions : List_Id; + Aliased_Present : Boolean := False; + Subtype_Indication : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Constrained_Array_Definition, Sloc); + begin + Set_Discrete_Subtype_Definitions + (N, Discrete_Subtype_Definitions); + Set_Aliased_Present (N, Aliased_Present); + Set_Subtype_Indication (N, Subtype_Indication); + return N; + end Make_Constrained_Array_Definition; + + function Make_Discriminant_Specification (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Type : Node_Id; + Expression : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Discriminant_Specification, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Type (N, Discriminant_Type); + Set_Expression (N, Expression); + return N; + end Make_Discriminant_Specification; + + function Make_Index_Or_Discriminant_Constraint (Sloc : Source_Ptr; + Constraints : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Index_Or_Discriminant_Constraint, Sloc); + begin + Set_Constraints (N, Constraints); + return N; + end Make_Index_Or_Discriminant_Constraint; + + function Make_Discriminant_Association (Sloc : Source_Ptr; + Selector_Names : List_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Discriminant_Association, Sloc); + begin + Set_Selector_Names (N, Selector_Names); + Set_Expression (N, Expression); + return N; + end Make_Discriminant_Association; + + function Make_Record_Definition (Sloc : Source_Ptr; + End_Label : Node_Id := Empty; + Abstract_Present : Boolean := False; + Tagged_Present : Boolean := False; + Limited_Present : Boolean := False; + Component_List : Node_Id; + Null_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Record_Definition, Sloc); + begin + Set_End_Label (N, End_Label); + Set_Abstract_Present (N, Abstract_Present); + Set_Tagged_Present (N, Tagged_Present); + Set_Limited_Present (N, Limited_Present); + Set_Component_List (N, Component_List); + Set_Null_Present (N, Null_Present); + return N; + end Make_Record_Definition; + + function Make_Component_List (Sloc : Source_Ptr; + Component_Items : List_Id; + Variant_Part : Node_Id := Empty; + Null_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Component_List, Sloc); + begin + Set_Component_Items (N, Component_Items); + Set_Variant_Part (N, Variant_Part); + Set_Null_Present (N, Null_Present); + return N; + end Make_Component_List; + + function Make_Component_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Aliased_Present : Boolean := False; + Subtype_Indication : Node_Id; + Expression : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Component_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Aliased_Present (N, Aliased_Present); + Set_Subtype_Indication (N, Subtype_Indication); + Set_Expression (N, Expression); + return N; + end Make_Component_Declaration; + + function Make_Variant_Part (Sloc : Source_Ptr; + Name : Node_Id; + Variants : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Variant_Part, Sloc); + begin + Set_Name (N, Name); + Set_Variants (N, Variants); + return N; + end Make_Variant_Part; + + function Make_Variant (Sloc : Source_Ptr; + Discrete_Choices : List_Id; + Component_List : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Variant, Sloc); + begin + Set_Discrete_Choices (N, Discrete_Choices); + Set_Component_List (N, Component_List); + return N; + end Make_Variant; + + function Make_Others_Choice (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Others_Choice, Sloc); + begin + return N; + end Make_Others_Choice; + + function Make_Access_To_Object_Definition (Sloc : Source_Ptr; + All_Present : Boolean := False; + Subtype_Indication : Node_Id; + Constant_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Access_To_Object_Definition, Sloc); + begin + Set_All_Present (N, All_Present); + Set_Subtype_Indication (N, Subtype_Indication); + Set_Constant_Present (N, Constant_Present); + return N; + end Make_Access_To_Object_Definition; + + function Make_Access_Function_Definition (Sloc : Source_Ptr; + Protected_Present : Boolean := False; + Parameter_Specifications : List_Id := No_List; + Subtype_Mark : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Access_Function_Definition, Sloc); + begin + Set_Protected_Present (N, Protected_Present); + Set_Parameter_Specifications (N, Parameter_Specifications); + Set_Subtype_Mark (N, Subtype_Mark); + return N; + end Make_Access_Function_Definition; + + function Make_Access_Procedure_Definition (Sloc : Source_Ptr; + Protected_Present : Boolean := False; + Parameter_Specifications : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Access_Procedure_Definition, Sloc); + begin + Set_Protected_Present (N, Protected_Present); + Set_Parameter_Specifications (N, Parameter_Specifications); + return N; + end Make_Access_Procedure_Definition; + + function Make_Access_Definition (Sloc : Source_Ptr; + Subtype_Mark : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Access_Definition, Sloc); + begin + Set_Subtype_Mark (N, Subtype_Mark); + return N; + end Make_Access_Definition; + + function Make_Incomplete_Type_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Unknown_Discriminants_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Incomplete_Type_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Unknown_Discriminants_Present + (N, Unknown_Discriminants_Present); + return N; + end Make_Incomplete_Type_Declaration; + + function Make_Explicit_Dereference (Sloc : Source_Ptr; + Prefix : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Explicit_Dereference, Sloc); + begin + Set_Prefix (N, Prefix); + return N; + end Make_Explicit_Dereference; + + function Make_Indexed_Component (Sloc : Source_Ptr; + Prefix : Node_Id; + Expressions : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Indexed_Component, Sloc); + begin + Set_Prefix (N, Prefix); + Set_Expressions (N, Expressions); + return N; + end Make_Indexed_Component; + + function Make_Slice (Sloc : Source_Ptr; + Prefix : Node_Id; + Discrete_Range : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Slice, Sloc); + begin + Set_Prefix (N, Prefix); + Set_Discrete_Range (N, Discrete_Range); + return N; + end Make_Slice; + + function Make_Selected_Component (Sloc : Source_Ptr; + Prefix : Node_Id; + Selector_Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Selected_Component, Sloc); + begin + Set_Prefix (N, Prefix); + Set_Selector_Name (N, Selector_Name); + return N; + end Make_Selected_Component; + + function Make_Attribute_Reference (Sloc : Source_Ptr; + Prefix : Node_Id; + Attribute_Name : Name_Id; + Expressions : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Attribute_Reference, Sloc); + begin + Set_Prefix (N, Prefix); + Set_Attribute_Name (N, Attribute_Name); + Set_Expressions (N, Expressions); + return N; + end Make_Attribute_Reference; + + function Make_Aggregate (Sloc : Source_Ptr; + Expressions : List_Id := No_List; + Component_Associations : List_Id := No_List; + Null_Record_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Aggregate, Sloc); + begin + Set_Expressions (N, Expressions); + Set_Component_Associations (N, Component_Associations); + Set_Null_Record_Present (N, Null_Record_Present); + return N; + end Make_Aggregate; + + function Make_Component_Association (Sloc : Source_Ptr; + Choices : List_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Component_Association, Sloc); + begin + Set_Choices (N, Choices); + Set_Expression (N, Expression); + return N; + end Make_Component_Association; + + function Make_Extension_Aggregate (Sloc : Source_Ptr; + Ancestor_Part : Node_Id; + Expressions : List_Id := No_List; + Component_Associations : List_Id := No_List; + Null_Record_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Extension_Aggregate, Sloc); + begin + Set_Ancestor_Part (N, Ancestor_Part); + Set_Expressions (N, Expressions); + Set_Component_Associations (N, Component_Associations); + Set_Null_Record_Present (N, Null_Record_Present); + return N; + end Make_Extension_Aggregate; + + function Make_Null (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Null, Sloc); + begin + return N; + end Make_Null; + + function Make_And_Then (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_And_Then, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + return N; + end Make_And_Then; + + function Make_Or_Else (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Or_Else, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + return N; + end Make_Or_Else; + + function Make_In (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_In, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + return N; + end Make_In; + + function Make_Not_In (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Not_In, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + return N; + end Make_Not_In; + + function Make_Op_And (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_And, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_And); + Set_Entity (N, Standard_Op_And); + return N; + end Make_Op_And; + + function Make_Op_Or (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Or, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Or); + Set_Entity (N, Standard_Op_Or); + return N; + end Make_Op_Or; + + function Make_Op_Xor (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Xor, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Xor); + Set_Entity (N, Standard_Op_Xor); + return N; + end Make_Op_Xor; + + function Make_Op_Eq (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Eq, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Eq); + Set_Entity (N, Standard_Op_Eq); + return N; + end Make_Op_Eq; + + function Make_Op_Ne (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Ne, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Ne); + Set_Entity (N, Standard_Op_Ne); + return N; + end Make_Op_Ne; + + function Make_Op_Lt (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Lt, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Lt); + Set_Entity (N, Standard_Op_Lt); + return N; + end Make_Op_Lt; + + function Make_Op_Le (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Le, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Le); + Set_Entity (N, Standard_Op_Le); + return N; + end Make_Op_Le; + + function Make_Op_Gt (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Gt, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Gt); + Set_Entity (N, Standard_Op_Gt); + return N; + end Make_Op_Gt; + + function Make_Op_Ge (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Ge, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Ge); + Set_Entity (N, Standard_Op_Ge); + return N; + end Make_Op_Ge; + + function Make_Op_Add (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Add, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Add); + Set_Entity (N, Standard_Op_Add); + return N; + end Make_Op_Add; + + function Make_Op_Subtract (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Subtract, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Subtract); + Set_Entity (N, Standard_Op_Subtract); + return N; + end Make_Op_Subtract; + + function Make_Op_Concat (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Concat, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Concat); + Set_Entity (N, Standard_Op_Concat); + return N; + end Make_Op_Concat; + + function Make_Op_Multiply (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Multiply, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Multiply); + Set_Entity (N, Standard_Op_Multiply); + return N; + end Make_Op_Multiply; + + function Make_Op_Divide (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Divide, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Divide); + Set_Entity (N, Standard_Op_Divide); + return N; + end Make_Op_Divide; + + function Make_Op_Mod (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Mod, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Mod); + Set_Entity (N, Standard_Op_Mod); + return N; + end Make_Op_Mod; + + function Make_Op_Rem (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Rem, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Rem); + Set_Entity (N, Standard_Op_Rem); + return N; + end Make_Op_Rem; + + function Make_Op_Expon (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Expon, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Expon); + Set_Entity (N, Standard_Op_Expon); + return N; + end Make_Op_Expon; + + function Make_Op_Plus (Sloc : Source_Ptr; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Plus, Sloc); + begin + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Add); + Set_Entity (N, Standard_Op_Plus); + return N; + end Make_Op_Plus; + + function Make_Op_Minus (Sloc : Source_Ptr; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Minus, Sloc); + begin + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Subtract); + Set_Entity (N, Standard_Op_Minus); + return N; + end Make_Op_Minus; + + function Make_Op_Abs (Sloc : Source_Ptr; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Abs, Sloc); + begin + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Abs); + Set_Entity (N, Standard_Op_Abs); + return N; + end Make_Op_Abs; + + function Make_Op_Not (Sloc : Source_Ptr; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Not, Sloc); + begin + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Op_Not); + Set_Entity (N, Standard_Op_Not); + return N; + end Make_Op_Not; + + function Make_Type_Conversion (Sloc : Source_Ptr; + Subtype_Mark : Node_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Type_Conversion, Sloc); + begin + Set_Subtype_Mark (N, Subtype_Mark); + Set_Expression (N, Expression); + return N; + end Make_Type_Conversion; + + function Make_Qualified_Expression (Sloc : Source_Ptr; + Subtype_Mark : Node_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Qualified_Expression, Sloc); + begin + Set_Subtype_Mark (N, Subtype_Mark); + Set_Expression (N, Expression); + return N; + end Make_Qualified_Expression; + + function Make_Allocator (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Allocator, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Allocator; + + function Make_Null_Statement (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Null_Statement, Sloc); + begin + return N; + end Make_Null_Statement; + + function Make_Label (Sloc : Source_Ptr; + Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Label, Sloc); + begin + Set_Identifier (N, Identifier); + return N; + end Make_Label; + + function Make_Assignment_Statement (Sloc : Source_Ptr; + Name : Node_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Assignment_Statement, Sloc); + begin + Set_Name (N, Name); + Set_Expression (N, Expression); + return N; + end Make_Assignment_Statement; + + function Make_If_Statement (Sloc : Source_Ptr; + Condition : Node_Id; + Then_Statements : List_Id; + Elsif_Parts : List_Id := No_List; + Else_Statements : List_Id := No_List; + End_Span : Uint := No_Uint) + return Node_Id + is + N : constant Node_Id := + New_Node (N_If_Statement, Sloc); + begin + Set_Condition (N, Condition); + Set_Then_Statements (N, Then_Statements); + Set_Elsif_Parts (N, Elsif_Parts); + Set_Else_Statements (N, Else_Statements); + Set_End_Span (N, End_Span); + return N; + end Make_If_Statement; + + function Make_Elsif_Part (Sloc : Source_Ptr; + Condition : Node_Id; + Then_Statements : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Elsif_Part, Sloc); + begin + Set_Condition (N, Condition); + Set_Then_Statements (N, Then_Statements); + return N; + end Make_Elsif_Part; + + function Make_Case_Statement (Sloc : Source_Ptr; + Expression : Node_Id; + Alternatives : List_Id; + End_Span : Uint := No_Uint) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Case_Statement, Sloc); + begin + Set_Expression (N, Expression); + Set_Alternatives (N, Alternatives); + Set_End_Span (N, End_Span); + return N; + end Make_Case_Statement; + + function Make_Case_Statement_Alternative (Sloc : Source_Ptr; + Discrete_Choices : List_Id; + Statements : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Case_Statement_Alternative, Sloc); + begin + Set_Discrete_Choices (N, Discrete_Choices); + Set_Statements (N, Statements); + return N; + end Make_Case_Statement_Alternative; + + function Make_Loop_Statement (Sloc : Source_Ptr; + Identifier : Node_Id := Empty; + Iteration_Scheme : Node_Id := Empty; + Statements : List_Id; + End_Label : Node_Id; + Has_Created_Identifier : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Loop_Statement, Sloc); + begin + Set_Identifier (N, Identifier); + Set_Iteration_Scheme (N, Iteration_Scheme); + Set_Statements (N, Statements); + Set_End_Label (N, End_Label); + Set_Has_Created_Identifier (N, Has_Created_Identifier); + return N; + end Make_Loop_Statement; + + function Make_Iteration_Scheme (Sloc : Source_Ptr; + Condition : Node_Id := Empty; + Loop_Parameter_Specification : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Iteration_Scheme, Sloc); + begin + Set_Condition (N, Condition); + Set_Loop_Parameter_Specification + (N, Loop_Parameter_Specification); + return N; + end Make_Iteration_Scheme; + + function Make_Loop_Parameter_Specification (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Reverse_Present : Boolean := False; + Discrete_Subtype_Definition : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Loop_Parameter_Specification, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Reverse_Present (N, Reverse_Present); + Set_Discrete_Subtype_Definition (N, Discrete_Subtype_Definition); + return N; + end Make_Loop_Parameter_Specification; + + function Make_Block_Statement (Sloc : Source_Ptr; + Identifier : Node_Id := Empty; + Declarations : List_Id := No_List; + Handled_Statement_Sequence : Node_Id; + Has_Created_Identifier : Boolean := False; + Is_Task_Allocation_Block : Boolean := False; + Is_Asynchronous_Call_Block : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Block_Statement, Sloc); + begin + Set_Identifier (N, Identifier); + Set_Declarations (N, Declarations); + Set_Handled_Statement_Sequence (N, Handled_Statement_Sequence); + Set_Has_Created_Identifier (N, Has_Created_Identifier); + Set_Is_Task_Allocation_Block (N, Is_Task_Allocation_Block); + Set_Is_Asynchronous_Call_Block (N, Is_Asynchronous_Call_Block); + return N; + end Make_Block_Statement; + + function Make_Exit_Statement (Sloc : Source_Ptr; + Name : Node_Id := Empty; + Condition : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Exit_Statement, Sloc); + begin + Set_Name (N, Name); + Set_Condition (N, Condition); + return N; + end Make_Exit_Statement; + + function Make_Goto_Statement (Sloc : Source_Ptr; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Goto_Statement, Sloc); + begin + Set_Name (N, Name); + return N; + end Make_Goto_Statement; + + function Make_Subprogram_Declaration (Sloc : Source_Ptr; + Specification : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subprogram_Declaration, Sloc); + begin + Set_Specification (N, Specification); + return N; + end Make_Subprogram_Declaration; + + function Make_Abstract_Subprogram_Declaration (Sloc : Source_Ptr; + Specification : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Abstract_Subprogram_Declaration, Sloc); + begin + Set_Specification (N, Specification); + return N; + end Make_Abstract_Subprogram_Declaration; + + function Make_Function_Specification (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Parameter_Specifications : List_Id := No_List; + Subtype_Mark : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Function_Specification, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Parameter_Specifications (N, Parameter_Specifications); + Set_Subtype_Mark (N, Subtype_Mark); + return N; + end Make_Function_Specification; + + function Make_Procedure_Specification (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Parameter_Specifications : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Procedure_Specification, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Parameter_Specifications (N, Parameter_Specifications); + return N; + end Make_Procedure_Specification; + + function Make_Designator (Sloc : Source_Ptr; + Name : Node_Id; + Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Designator, Sloc); + begin + Set_Name (N, Name); + Set_Identifier (N, Identifier); + return N; + end Make_Designator; + + function Make_Defining_Program_Unit_Name (Sloc : Source_Ptr; + Name : Node_Id; + Defining_Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Defining_Program_Unit_Name, Sloc); + begin + Set_Name (N, Name); + Set_Defining_Identifier (N, Defining_Identifier); + return N; + end Make_Defining_Program_Unit_Name; + + function Make_Operator_Symbol (Sloc : Source_Ptr; + Chars : Name_Id; + Strval : String_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Operator_Symbol, Sloc); + begin + Set_Chars (N, Chars); + Set_Strval (N, Strval); + return N; + end Make_Operator_Symbol; + + function Make_Defining_Operator_Symbol (Sloc : Source_Ptr; + Chars : Name_Id) + return Node_Id + is + N : constant Node_Id := + New_Entity (N_Defining_Operator_Symbol, Sloc); + begin + Set_Chars (N, Chars); + return N; + end Make_Defining_Operator_Symbol; + + function Make_Parameter_Specification (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + In_Present : Boolean := False; + Out_Present : Boolean := False; + Parameter_Type : Node_Id; + Expression : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Parameter_Specification, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_In_Present (N, In_Present); + Set_Out_Present (N, Out_Present); + Set_Parameter_Type (N, Parameter_Type); + Set_Expression (N, Expression); + return N; + end Make_Parameter_Specification; + + function Make_Subprogram_Body (Sloc : Source_Ptr; + Specification : Node_Id; + Declarations : List_Id; + Handled_Statement_Sequence : Node_Id; + Bad_Is_Detected : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subprogram_Body, Sloc); + begin + Set_Specification (N, Specification); + Set_Declarations (N, Declarations); + Set_Handled_Statement_Sequence (N, Handled_Statement_Sequence); + Set_Bad_Is_Detected (N, Bad_Is_Detected); + return N; + end Make_Subprogram_Body; + + function Make_Procedure_Call_Statement (Sloc : Source_Ptr; + Name : Node_Id; + Parameter_Associations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Procedure_Call_Statement, Sloc); + begin + Set_Name (N, Name); + Set_Parameter_Associations (N, Parameter_Associations); + return N; + end Make_Procedure_Call_Statement; + + function Make_Function_Call (Sloc : Source_Ptr; + Name : Node_Id; + Parameter_Associations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Function_Call, Sloc); + begin + Set_Name (N, Name); + Set_Parameter_Associations (N, Parameter_Associations); + return N; + end Make_Function_Call; + + function Make_Parameter_Association (Sloc : Source_Ptr; + Selector_Name : Node_Id; + Explicit_Actual_Parameter : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Parameter_Association, Sloc); + begin + Set_Selector_Name (N, Selector_Name); + Set_Explicit_Actual_Parameter (N, Explicit_Actual_Parameter); + return N; + end Make_Parameter_Association; + + function Make_Return_Statement (Sloc : Source_Ptr; + Expression : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Return_Statement, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Return_Statement; + + function Make_Package_Declaration (Sloc : Source_Ptr; + Specification : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Package_Declaration, Sloc); + begin + Set_Specification (N, Specification); + return N; + end Make_Package_Declaration; + + function Make_Package_Specification (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Visible_Declarations : List_Id; + Private_Declarations : List_Id := No_List; + End_Label : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Package_Specification, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Visible_Declarations (N, Visible_Declarations); + Set_Private_Declarations (N, Private_Declarations); + Set_End_Label (N, End_Label); + return N; + end Make_Package_Specification; + + function Make_Package_Body (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Declarations : List_Id; + Handled_Statement_Sequence : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Package_Body, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Declarations (N, Declarations); + Set_Handled_Statement_Sequence (N, Handled_Statement_Sequence); + return N; + end Make_Package_Body; + + function Make_Private_Type_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Unknown_Discriminants_Present : Boolean := False; + Abstract_Present : Boolean := False; + Tagged_Present : Boolean := False; + Limited_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Private_Type_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Unknown_Discriminants_Present + (N, Unknown_Discriminants_Present); + Set_Abstract_Present (N, Abstract_Present); + Set_Tagged_Present (N, Tagged_Present); + Set_Limited_Present (N, Limited_Present); + return N; + end Make_Private_Type_Declaration; + + function Make_Private_Extension_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Unknown_Discriminants_Present : Boolean := False; + Abstract_Present : Boolean := False; + Subtype_Indication : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Private_Extension_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Unknown_Discriminants_Present + (N, Unknown_Discriminants_Present); + Set_Abstract_Present (N, Abstract_Present); + Set_Subtype_Indication (N, Subtype_Indication); + return N; + end Make_Private_Extension_Declaration; + + function Make_Use_Package_Clause (Sloc : Source_Ptr; + Names : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Use_Package_Clause, Sloc); + begin + Set_Names (N, Names); + return N; + end Make_Use_Package_Clause; + + function Make_Use_Type_Clause (Sloc : Source_Ptr; + Subtype_Marks : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Use_Type_Clause, Sloc); + begin + Set_Subtype_Marks (N, Subtype_Marks); + return N; + end Make_Use_Type_Clause; + + function Make_Object_Renaming_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Subtype_Mark : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Object_Renaming_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Subtype_Mark (N, Subtype_Mark); + Set_Name (N, Name); + return N; + end Make_Object_Renaming_Declaration; + + function Make_Exception_Renaming_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Exception_Renaming_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Name (N, Name); + return N; + end Make_Exception_Renaming_Declaration; + + function Make_Package_Renaming_Declaration (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Package_Renaming_Declaration, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + return N; + end Make_Package_Renaming_Declaration; + + function Make_Subprogram_Renaming_Declaration (Sloc : Source_Ptr; + Specification : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subprogram_Renaming_Declaration, Sloc); + begin + Set_Specification (N, Specification); + Set_Name (N, Name); + return N; + end Make_Subprogram_Renaming_Declaration; + + function Make_Generic_Package_Renaming_Declaration (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Generic_Package_Renaming_Declaration, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + return N; + end Make_Generic_Package_Renaming_Declaration; + + function Make_Generic_Procedure_Renaming_Declaration (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Generic_Procedure_Renaming_Declaration, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + return N; + end Make_Generic_Procedure_Renaming_Declaration; + + function Make_Generic_Function_Renaming_Declaration (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Generic_Function_Renaming_Declaration, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + return N; + end Make_Generic_Function_Renaming_Declaration; + + function Make_Task_Type_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Task_Definition : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Task_Type_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Task_Definition (N, Task_Definition); + return N; + end Make_Task_Type_Declaration; + + function Make_Single_Task_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Task_Definition : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Single_Task_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Task_Definition (N, Task_Definition); + return N; + end Make_Single_Task_Declaration; + + function Make_Task_Definition (Sloc : Source_Ptr; + Visible_Declarations : List_Id; + Private_Declarations : List_Id := No_List; + End_Label : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Task_Definition, Sloc); + begin + Set_Visible_Declarations (N, Visible_Declarations); + Set_Private_Declarations (N, Private_Declarations); + Set_End_Label (N, End_Label); + return N; + end Make_Task_Definition; + + function Make_Task_Body (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Declarations : List_Id; + Handled_Statement_Sequence : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Task_Body, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Declarations (N, Declarations); + Set_Handled_Statement_Sequence (N, Handled_Statement_Sequence); + return N; + end Make_Task_Body; + + function Make_Protected_Type_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Protected_Definition : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Protected_Type_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Protected_Definition (N, Protected_Definition); + return N; + end Make_Protected_Type_Declaration; + + function Make_Single_Protected_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Protected_Definition : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Single_Protected_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Protected_Definition (N, Protected_Definition); + return N; + end Make_Single_Protected_Declaration; + + function Make_Protected_Definition (Sloc : Source_Ptr; + Visible_Declarations : List_Id; + Private_Declarations : List_Id := No_List; + End_Label : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Protected_Definition, Sloc); + begin + Set_Visible_Declarations (N, Visible_Declarations); + Set_Private_Declarations (N, Private_Declarations); + Set_End_Label (N, End_Label); + return N; + end Make_Protected_Definition; + + function Make_Protected_Body (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Declarations : List_Id; + End_Label : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Protected_Body, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Declarations (N, Declarations); + Set_End_Label (N, End_Label); + return N; + end Make_Protected_Body; + + function Make_Entry_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discrete_Subtype_Definition : Node_Id := Empty; + Parameter_Specifications : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Entry_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discrete_Subtype_Definition (N, Discrete_Subtype_Definition); + Set_Parameter_Specifications (N, Parameter_Specifications); + return N; + end Make_Entry_Declaration; + + function Make_Accept_Statement (Sloc : Source_Ptr; + Entry_Direct_Name : Node_Id; + Entry_Index : Node_Id := Empty; + Parameter_Specifications : List_Id := No_List; + Handled_Statement_Sequence : Node_Id; + Declarations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Accept_Statement, Sloc); + begin + Set_Entry_Direct_Name (N, Entry_Direct_Name); + Set_Entry_Index (N, Entry_Index); + Set_Parameter_Specifications (N, Parameter_Specifications); + Set_Handled_Statement_Sequence (N, Handled_Statement_Sequence); + Set_Declarations (N, Declarations); + return N; + end Make_Accept_Statement; + + function Make_Entry_Body (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Entry_Body_Formal_Part : Node_Id; + Declarations : List_Id; + Handled_Statement_Sequence : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Entry_Body, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Entry_Body_Formal_Part (N, Entry_Body_Formal_Part); + Set_Declarations (N, Declarations); + Set_Handled_Statement_Sequence (N, Handled_Statement_Sequence); + return N; + end Make_Entry_Body; + + function Make_Entry_Body_Formal_Part (Sloc : Source_Ptr; + Entry_Index_Specification : Node_Id := Empty; + Parameter_Specifications : List_Id := No_List; + Condition : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Entry_Body_Formal_Part, Sloc); + begin + Set_Entry_Index_Specification (N, Entry_Index_Specification); + Set_Parameter_Specifications (N, Parameter_Specifications); + Set_Condition (N, Condition); + return N; + end Make_Entry_Body_Formal_Part; + + function Make_Entry_Index_Specification (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Discrete_Subtype_Definition : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Entry_Index_Specification, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Discrete_Subtype_Definition (N, Discrete_Subtype_Definition); + return N; + end Make_Entry_Index_Specification; + + function Make_Entry_Call_Statement (Sloc : Source_Ptr; + Name : Node_Id; + Parameter_Associations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Entry_Call_Statement, Sloc); + begin + Set_Name (N, Name); + Set_Parameter_Associations (N, Parameter_Associations); + return N; + end Make_Entry_Call_Statement; + + function Make_Requeue_Statement (Sloc : Source_Ptr; + Name : Node_Id; + Abort_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Requeue_Statement, Sloc); + begin + Set_Name (N, Name); + Set_Abort_Present (N, Abort_Present); + return N; + end Make_Requeue_Statement; + + function Make_Delay_Until_Statement (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Delay_Until_Statement, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Delay_Until_Statement; + + function Make_Delay_Relative_Statement (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Delay_Relative_Statement, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Delay_Relative_Statement; + + function Make_Selective_Accept (Sloc : Source_Ptr; + Select_Alternatives : List_Id; + Else_Statements : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Selective_Accept, Sloc); + begin + Set_Select_Alternatives (N, Select_Alternatives); + Set_Else_Statements (N, Else_Statements); + return N; + end Make_Selective_Accept; + + function Make_Accept_Alternative (Sloc : Source_Ptr; + Accept_Statement : Node_Id; + Condition : Node_Id := Empty; + Statements : List_Id := Empty_List; + Pragmas_Before : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Accept_Alternative, Sloc); + begin + Set_Accept_Statement (N, Accept_Statement); + Set_Condition (N, Condition); + Set_Statements (N, Statements); + Set_Pragmas_Before (N, Pragmas_Before); + return N; + end Make_Accept_Alternative; + + function Make_Delay_Alternative (Sloc : Source_Ptr; + Delay_Statement : Node_Id; + Condition : Node_Id := Empty; + Statements : List_Id := Empty_List; + Pragmas_Before : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Delay_Alternative, Sloc); + begin + Set_Delay_Statement (N, Delay_Statement); + Set_Condition (N, Condition); + Set_Statements (N, Statements); + Set_Pragmas_Before (N, Pragmas_Before); + return N; + end Make_Delay_Alternative; + + function Make_Terminate_Alternative (Sloc : Source_Ptr; + Condition : Node_Id := Empty; + Pragmas_Before : List_Id := No_List; + Pragmas_After : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Terminate_Alternative, Sloc); + begin + Set_Condition (N, Condition); + Set_Pragmas_Before (N, Pragmas_Before); + Set_Pragmas_After (N, Pragmas_After); + return N; + end Make_Terminate_Alternative; + + function Make_Timed_Entry_Call (Sloc : Source_Ptr; + Entry_Call_Alternative : Node_Id; + Delay_Alternative : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Timed_Entry_Call, Sloc); + begin + Set_Entry_Call_Alternative (N, Entry_Call_Alternative); + Set_Delay_Alternative (N, Delay_Alternative); + return N; + end Make_Timed_Entry_Call; + + function Make_Entry_Call_Alternative (Sloc : Source_Ptr; + Entry_Call_Statement : Node_Id; + Statements : List_Id := Empty_List; + Pragmas_Before : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Entry_Call_Alternative, Sloc); + begin + Set_Entry_Call_Statement (N, Entry_Call_Statement); + Set_Statements (N, Statements); + Set_Pragmas_Before (N, Pragmas_Before); + return N; + end Make_Entry_Call_Alternative; + + function Make_Conditional_Entry_Call (Sloc : Source_Ptr; + Entry_Call_Alternative : Node_Id; + Else_Statements : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Conditional_Entry_Call, Sloc); + begin + Set_Entry_Call_Alternative (N, Entry_Call_Alternative); + Set_Else_Statements (N, Else_Statements); + return N; + end Make_Conditional_Entry_Call; + + function Make_Asynchronous_Select (Sloc : Source_Ptr; + Triggering_Alternative : Node_Id; + Abortable_Part : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Asynchronous_Select, Sloc); + begin + Set_Triggering_Alternative (N, Triggering_Alternative); + Set_Abortable_Part (N, Abortable_Part); + return N; + end Make_Asynchronous_Select; + + function Make_Triggering_Alternative (Sloc : Source_Ptr; + Triggering_Statement : Node_Id; + Statements : List_Id := Empty_List; + Pragmas_Before : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Triggering_Alternative, Sloc); + begin + Set_Triggering_Statement (N, Triggering_Statement); + Set_Statements (N, Statements); + Set_Pragmas_Before (N, Pragmas_Before); + return N; + end Make_Triggering_Alternative; + + function Make_Abortable_Part (Sloc : Source_Ptr; + Statements : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Abortable_Part, Sloc); + begin + Set_Statements (N, Statements); + return N; + end Make_Abortable_Part; + + function Make_Abort_Statement (Sloc : Source_Ptr; + Names : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Abort_Statement, Sloc); + begin + Set_Names (N, Names); + return N; + end Make_Abort_Statement; + + function Make_Compilation_Unit (Sloc : Source_Ptr; + Context_Items : List_Id; + Private_Present : Boolean := False; + Unit : Node_Id; + Aux_Decls_Node : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Compilation_Unit, Sloc); + begin + Set_Context_Items (N, Context_Items); + Set_Private_Present (N, Private_Present); + Set_Unit (N, Unit); + Set_Aux_Decls_Node (N, Aux_Decls_Node); + return N; + end Make_Compilation_Unit; + + function Make_Compilation_Unit_Aux (Sloc : Source_Ptr; + Declarations : List_Id := No_List; + Actions : List_Id := No_List; + Pragmas_After : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Compilation_Unit_Aux, Sloc); + begin + Set_Declarations (N, Declarations); + Set_Actions (N, Actions); + Set_Pragmas_After (N, Pragmas_After); + return N; + end Make_Compilation_Unit_Aux; + + function Make_With_Clause (Sloc : Source_Ptr; + Name : Node_Id; + First_Name : Boolean := True; + Last_Name : Boolean := True) + return Node_Id + is + N : constant Node_Id := + New_Node (N_With_Clause, Sloc); + begin + Set_Name (N, Name); + Set_First_Name (N, First_Name); + Set_Last_Name (N, Last_Name); + return N; + end Make_With_Clause; + + function Make_With_Type_Clause (Sloc : Source_Ptr; + Name : Node_Id; + Tagged_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_With_Type_Clause, Sloc); + begin + Set_Name (N, Name); + Set_Tagged_Present (N, Tagged_Present); + return N; + end Make_With_Type_Clause; + + function Make_Subprogram_Body_Stub (Sloc : Source_Ptr; + Specification : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subprogram_Body_Stub, Sloc); + begin + Set_Specification (N, Specification); + return N; + end Make_Subprogram_Body_Stub; + + function Make_Package_Body_Stub (Sloc : Source_Ptr; + Defining_Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Package_Body_Stub, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + return N; + end Make_Package_Body_Stub; + + function Make_Task_Body_Stub (Sloc : Source_Ptr; + Defining_Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Task_Body_Stub, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + return N; + end Make_Task_Body_Stub; + + function Make_Protected_Body_Stub (Sloc : Source_Ptr; + Defining_Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Protected_Body_Stub, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + return N; + end Make_Protected_Body_Stub; + + function Make_Subunit (Sloc : Source_Ptr; + Name : Node_Id; + Proper_Body : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subunit, Sloc); + begin + Set_Name (N, Name); + Set_Proper_Body (N, Proper_Body); + return N; + end Make_Subunit; + + function Make_Exception_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Exception_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + return N; + end Make_Exception_Declaration; + + function Make_Handled_Sequence_Of_Statements (Sloc : Source_Ptr; + Statements : List_Id; + End_Label : Node_Id := Empty; + Exception_Handlers : List_Id := No_List; + At_End_Proc : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Handled_Sequence_Of_Statements, Sloc); + begin + Set_Statements (N, Statements); + Set_End_Label (N, End_Label); + Set_Exception_Handlers (N, Exception_Handlers); + Set_At_End_Proc (N, At_End_Proc); + return N; + end Make_Handled_Sequence_Of_Statements; + + function Make_Exception_Handler (Sloc : Source_Ptr; + Choice_Parameter : Node_Id := Empty; + Exception_Choices : List_Id; + Statements : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Exception_Handler, Sloc); + begin + Set_Choice_Parameter (N, Choice_Parameter); + Set_Exception_Choices (N, Exception_Choices); + Set_Statements (N, Statements); + return N; + end Make_Exception_Handler; + + function Make_Raise_Statement (Sloc : Source_Ptr; + Name : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Raise_Statement, Sloc); + begin + Set_Name (N, Name); + return N; + end Make_Raise_Statement; + + function Make_Generic_Subprogram_Declaration (Sloc : Source_Ptr; + Specification : Node_Id; + Generic_Formal_Declarations : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Generic_Subprogram_Declaration, Sloc); + begin + Set_Specification (N, Specification); + Set_Generic_Formal_Declarations (N, Generic_Formal_Declarations); + return N; + end Make_Generic_Subprogram_Declaration; + + function Make_Generic_Package_Declaration (Sloc : Source_Ptr; + Specification : Node_Id; + Generic_Formal_Declarations : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Generic_Package_Declaration, Sloc); + begin + Set_Specification (N, Specification); + Set_Generic_Formal_Declarations (N, Generic_Formal_Declarations); + return N; + end Make_Generic_Package_Declaration; + + function Make_Package_Instantiation (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id; + Generic_Associations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Package_Instantiation, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + Set_Generic_Associations (N, Generic_Associations); + return N; + end Make_Package_Instantiation; + + function Make_Procedure_Instantiation (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id; + Generic_Associations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Procedure_Instantiation, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + Set_Generic_Associations (N, Generic_Associations); + return N; + end Make_Procedure_Instantiation; + + function Make_Function_Instantiation (Sloc : Source_Ptr; + Defining_Unit_Name : Node_Id; + Name : Node_Id; + Generic_Associations : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Function_Instantiation, Sloc); + begin + Set_Defining_Unit_Name (N, Defining_Unit_Name); + Set_Name (N, Name); + Set_Generic_Associations (N, Generic_Associations); + return N; + end Make_Function_Instantiation; + + function Make_Generic_Association (Sloc : Source_Ptr; + Selector_Name : Node_Id := Empty; + Explicit_Generic_Actual_Parameter : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Generic_Association, Sloc); + begin + Set_Selector_Name (N, Selector_Name); + Set_Explicit_Generic_Actual_Parameter + (N, Explicit_Generic_Actual_Parameter); + return N; + end Make_Generic_Association; + + function Make_Formal_Object_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + In_Present : Boolean := False; + Out_Present : Boolean := False; + Subtype_Mark : Node_Id; + Expression : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Object_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_In_Present (N, In_Present); + Set_Out_Present (N, Out_Present); + Set_Subtype_Mark (N, Subtype_Mark); + Set_Expression (N, Expression); + return N; + end Make_Formal_Object_Declaration; + + function Make_Formal_Type_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Formal_Type_Definition : Node_Id; + Discriminant_Specifications : List_Id := No_List; + Unknown_Discriminants_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Type_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Formal_Type_Definition (N, Formal_Type_Definition); + Set_Discriminant_Specifications (N, Discriminant_Specifications); + Set_Unknown_Discriminants_Present + (N, Unknown_Discriminants_Present); + return N; + end Make_Formal_Type_Declaration; + + function Make_Formal_Private_Type_Definition (Sloc : Source_Ptr; + Abstract_Present : Boolean := False; + Tagged_Present : Boolean := False; + Limited_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Private_Type_Definition, Sloc); + begin + Set_Abstract_Present (N, Abstract_Present); + Set_Tagged_Present (N, Tagged_Present); + Set_Limited_Present (N, Limited_Present); + return N; + end Make_Formal_Private_Type_Definition; + + function Make_Formal_Derived_Type_Definition (Sloc : Source_Ptr; + Subtype_Mark : Node_Id; + Private_Present : Boolean := False; + Abstract_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Derived_Type_Definition, Sloc); + begin + Set_Subtype_Mark (N, Subtype_Mark); + Set_Private_Present (N, Private_Present); + Set_Abstract_Present (N, Abstract_Present); + return N; + end Make_Formal_Derived_Type_Definition; + + function Make_Formal_Discrete_Type_Definition (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Discrete_Type_Definition, Sloc); + begin + return N; + end Make_Formal_Discrete_Type_Definition; + + function Make_Formal_Signed_Integer_Type_Definition (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Signed_Integer_Type_Definition, Sloc); + begin + return N; + end Make_Formal_Signed_Integer_Type_Definition; + + function Make_Formal_Modular_Type_Definition (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Modular_Type_Definition, Sloc); + begin + return N; + end Make_Formal_Modular_Type_Definition; + + function Make_Formal_Floating_Point_Definition (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Floating_Point_Definition, Sloc); + begin + return N; + end Make_Formal_Floating_Point_Definition; + + function Make_Formal_Ordinary_Fixed_Point_Definition (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Ordinary_Fixed_Point_Definition, Sloc); + begin + return N; + end Make_Formal_Ordinary_Fixed_Point_Definition; + + function Make_Formal_Decimal_Fixed_Point_Definition (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Decimal_Fixed_Point_Definition, Sloc); + begin + return N; + end Make_Formal_Decimal_Fixed_Point_Definition; + + function Make_Formal_Subprogram_Declaration (Sloc : Source_Ptr; + Specification : Node_Id; + Default_Name : Node_Id := Empty; + Box_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Subprogram_Declaration, Sloc); + begin + Set_Specification (N, Specification); + Set_Default_Name (N, Default_Name); + Set_Box_Present (N, Box_Present); + return N; + end Make_Formal_Subprogram_Declaration; + + function Make_Formal_Package_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id; + Name : Node_Id; + Generic_Associations : List_Id := No_List; + Box_Present : Boolean := False) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Formal_Package_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + Set_Name (N, Name); + Set_Generic_Associations (N, Generic_Associations); + Set_Box_Present (N, Box_Present); + return N; + end Make_Formal_Package_Declaration; + + function Make_Attribute_Definition_Clause (Sloc : Source_Ptr; + Name : Node_Id; + Chars : Name_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Attribute_Definition_Clause, Sloc); + begin + Set_Name (N, Name); + Set_Chars (N, Chars); + Set_Expression (N, Expression); + return N; + end Make_Attribute_Definition_Clause; + + function Make_Enumeration_Representation_Clause (Sloc : Source_Ptr; + Identifier : Node_Id; + Array_Aggregate : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Enumeration_Representation_Clause, Sloc); + begin + Set_Identifier (N, Identifier); + Set_Array_Aggregate (N, Array_Aggregate); + return N; + end Make_Enumeration_Representation_Clause; + + function Make_Record_Representation_Clause (Sloc : Source_Ptr; + Identifier : Node_Id; + Mod_Clause : Node_Id := Empty; + Component_Clauses : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Record_Representation_Clause, Sloc); + begin + Set_Identifier (N, Identifier); + Set_Mod_Clause (N, Mod_Clause); + Set_Component_Clauses (N, Component_Clauses); + return N; + end Make_Record_Representation_Clause; + + function Make_Component_Clause (Sloc : Source_Ptr; + Component_Name : Node_Id; + Position : Node_Id; + First_Bit : Node_Id; + Last_Bit : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Component_Clause, Sloc); + begin + Set_Component_Name (N, Component_Name); + Set_Position (N, Position); + Set_First_Bit (N, First_Bit); + Set_Last_Bit (N, Last_Bit); + return N; + end Make_Component_Clause; + + function Make_Code_Statement (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Code_Statement, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Code_Statement; + + function Make_Op_Rotate_Left (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Rotate_Left, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Rotate_Left); + Set_Entity (N, Standard_Op_Rotate_Left); + return N; + end Make_Op_Rotate_Left; + + function Make_Op_Rotate_Right (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Rotate_Right, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Rotate_Right); + Set_Entity (N, Standard_Op_Rotate_Right); + return N; + end Make_Op_Rotate_Right; + + function Make_Op_Shift_Left (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Shift_Left, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Shift_Left); + Set_Entity (N, Standard_Op_Shift_Left); + return N; + end Make_Op_Shift_Left; + + function Make_Op_Shift_Right_Arithmetic (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Shift_Right_Arithmetic, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Shift_Right_Arithmetic); + Set_Entity (N, Standard_Op_Shift_Right_Arithmetic); + return N; + end Make_Op_Shift_Right_Arithmetic; + + function Make_Op_Shift_Right (Sloc : Source_Ptr; + Left_Opnd : Node_Id; + Right_Opnd : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Op_Shift_Right, Sloc); + begin + Set_Left_Opnd (N, Left_Opnd); + Set_Right_Opnd (N, Right_Opnd); + Set_Chars (N, Name_Shift_Right); + Set_Entity (N, Standard_Op_Shift_Right); + return N; + end Make_Op_Shift_Right; + + function Make_Delta_Constraint (Sloc : Source_Ptr; + Delta_Expression : Node_Id; + Range_Constraint : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Delta_Constraint, Sloc); + begin + Set_Delta_Expression (N, Delta_Expression); + Set_Range_Constraint (N, Range_Constraint); + return N; + end Make_Delta_Constraint; + + function Make_At_Clause (Sloc : Source_Ptr; + Identifier : Node_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_At_Clause, Sloc); + begin + Set_Identifier (N, Identifier); + Set_Expression (N, Expression); + return N; + end Make_At_Clause; + + function Make_Mod_Clause (Sloc : Source_Ptr; + Expression : Node_Id; + Pragmas_Before : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Mod_Clause, Sloc); + begin + Set_Expression (N, Expression); + Set_Pragmas_Before (N, Pragmas_Before); + return N; + end Make_Mod_Clause; + + function Make_Conditional_Expression (Sloc : Source_Ptr; + Expressions : List_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Conditional_Expression, Sloc); + begin + Set_Expressions (N, Expressions); + return N; + end Make_Conditional_Expression; + + function Make_Expanded_Name (Sloc : Source_Ptr; + Chars : Name_Id; + Prefix : Node_Id; + Selector_Name : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Expanded_Name, Sloc); + begin + Set_Chars (N, Chars); + Set_Prefix (N, Prefix); + Set_Selector_Name (N, Selector_Name); + return N; + end Make_Expanded_Name; + + function Make_Free_Statement (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Free_Statement, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Free_Statement; + + function Make_Freeze_Entity (Sloc : Source_Ptr; + Actions : List_Id := No_List) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Freeze_Entity, Sloc); + begin + Set_Actions (N, Actions); + return N; + end Make_Freeze_Entity; + + function Make_Implicit_Label_Declaration (Sloc : Source_Ptr; + Defining_Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Implicit_Label_Declaration, Sloc); + begin + Set_Defining_Identifier (N, Defining_Identifier); + return N; + end Make_Implicit_Label_Declaration; + + function Make_Itype_Reference (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Itype_Reference, Sloc); + begin + return N; + end Make_Itype_Reference; + + function Make_Raise_Constraint_Error (Sloc : Source_Ptr; + Condition : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Raise_Constraint_Error, Sloc); + begin + Set_Condition (N, Condition); + return N; + end Make_Raise_Constraint_Error; + + function Make_Raise_Program_Error (Sloc : Source_Ptr; + Condition : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Raise_Program_Error, Sloc); + begin + Set_Condition (N, Condition); + return N; + end Make_Raise_Program_Error; + + function Make_Raise_Storage_Error (Sloc : Source_Ptr; + Condition : Node_Id := Empty) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Raise_Storage_Error, Sloc); + begin + Set_Condition (N, Condition); + return N; + end Make_Raise_Storage_Error; + + function Make_Reference (Sloc : Source_Ptr; + Prefix : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Reference, Sloc); + begin + Set_Prefix (N, Prefix); + return N; + end Make_Reference; + + function Make_Subprogram_Info (Sloc : Source_Ptr; + Identifier : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Subprogram_Info, Sloc); + begin + Set_Identifier (N, Identifier); + return N; + end Make_Subprogram_Info; + + function Make_Unchecked_Expression (Sloc : Source_Ptr; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Unchecked_Expression, Sloc); + begin + Set_Expression (N, Expression); + return N; + end Make_Unchecked_Expression; + + function Make_Unchecked_Type_Conversion (Sloc : Source_Ptr; + Subtype_Mark : Node_Id; + Expression : Node_Id) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Unchecked_Type_Conversion, Sloc); + begin + Set_Subtype_Mark (N, Subtype_Mark); + Set_Expression (N, Expression); + return N; + end Make_Unchecked_Type_Conversion; + + function Make_Validate_Unchecked_Conversion (Sloc : Source_Ptr) + return Node_Id + is + N : constant Node_Id := + New_Node (N_Validate_Unchecked_Conversion, Sloc); + begin + return N; + end Make_Validate_Unchecked_Conversion; + +end Nmake; |