diff options
Diffstat (limited to 'gcc-4.2.1/gcc/ada/par-ch12.adb')
-rw-r--r-- | gcc-4.2.1/gcc/ada/par-ch12.adb | 1106 |
1 files changed, 0 insertions, 1106 deletions
diff --git a/gcc-4.2.1/gcc/ada/par-ch12.adb b/gcc-4.2.1/gcc/ada/par-ch12.adb deleted file mode 100644 index cff5ac44f..000000000 --- a/gcc-4.2.1/gcc/ada/par-ch12.adb +++ /dev/null @@ -1,1106 +0,0 @@ ------------------------------------------------------------------------------- --- -- --- GNAT COMPILER COMPONENTS -- --- -- --- P A R . C H 1 2 -- --- -- --- B o d y -- --- -- --- Copyright (C) 1992-2005, 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, 51 Franklin Street, Fifth Floor, -- --- Boston, MA 02110-1301, USA. -- --- -- --- GNAT was originally developed by the GNAT team at New York University. -- --- Extensive contributions were provided by Ada Core Technologies Inc. -- --- -- ------------------------------------------------------------------------------- - -pragma Style_Checks (All_Checks); --- Turn off subprogram body ordering check. Subprograms are in order --- by RM section rather than alphabetical - -separate (Par) -package body Ch12 is - - -- Local functions, used only in this chapter - - function P_Formal_Derived_Type_Definition return Node_Id; - function P_Formal_Discrete_Type_Definition return Node_Id; - function P_Formal_Fixed_Point_Definition return Node_Id; - function P_Formal_Floating_Point_Definition return Node_Id; - function P_Formal_Modular_Type_Definition return Node_Id; - function P_Formal_Package_Declaration return Node_Id; - function P_Formal_Private_Type_Definition return Node_Id; - function P_Formal_Signed_Integer_Type_Definition return Node_Id; - function P_Formal_Subprogram_Declaration return Node_Id; - function P_Formal_Type_Declaration return Node_Id; - function P_Formal_Type_Definition return Node_Id; - function P_Generic_Association return Node_Id; - - procedure P_Formal_Object_Declarations (Decls : List_Id); - -- Scans one or more formal object declarations and appends them to - -- Decls. Scans more than one declaration only in the case where the - -- source has a declaration with multiple defining identifiers. - - -------------------------------- - -- 12.1 Generic (also 8.5.5) -- - -------------------------------- - - -- This routine parses either one of the forms of a generic declaration - -- or a generic renaming declaration. - - -- GENERIC_DECLARATION ::= - -- GENERIC_SUBPROGRAM_DECLARATION | GENERIC_PACKAGE_DECLARATION - - -- GENERIC_SUBPROGRAM_DECLARATION ::= - -- GENERIC_FORMAL_PART SUBPROGRAM_SPECIFICATION; - - -- GENERIC_PACKAGE_DECLARATION ::= - -- GENERIC_FORMAL_PART PACKAGE_SPECIFICATION; - - -- GENERIC_FORMAL_PART ::= - -- generic {GENERIC_FORMAL_PARAMETER_DECLARATION | USE_CLAUSE} - - -- GENERIC_RENAMING_DECLARATION ::= - -- generic package DEFINING_PROGRAM_UNIT_NAME - -- renames generic_package_NAME - -- | generic procedure DEFINING_PROGRAM_UNIT_NAME - -- renames generic_procedure_NAME - -- | generic function DEFINING_PROGRAM_UNIT_NAME - -- renames generic_function_NAME - - -- GENERIC_FORMAL_PARAMETER_DECLARATION ::= - -- FORMAL_OBJECT_DECLARATION - -- | FORMAL_TYPE_DECLARATION - -- | FORMAL_SUBPROGRAM_DECLARATION - -- | FORMAL_PACKAGE_DECLARATION - - -- The caller has checked that the initial token is GENERIC - - -- Error recovery: can raise Error_Resync - - function P_Generic return Node_Id is - Gen_Sloc : constant Source_Ptr := Token_Ptr; - Gen_Decl : Node_Id; - Decl_Node : Node_Id; - Decls : List_Id; - Def_Unit : Node_Id; - Ren_Token : Token_Type; - Scan_State : Saved_Scan_State; - - begin - Scan; -- past GENERIC - - if Token = Tok_Private then - Error_Msg_SC ("PRIVATE goes before GENERIC, not after"); - Scan; -- past junk PRIVATE token - end if; - - Save_Scan_State (Scan_State); -- at token past GENERIC - - -- Check for generic renaming declaration case - - if Token = Tok_Package - or else Token = Tok_Function - or else Token = Tok_Procedure - then - Ren_Token := Token; - Scan; -- scan past PACKAGE, FUNCTION or PROCEDURE - - if Token = Tok_Identifier then - Def_Unit := P_Defining_Program_Unit_Name; - - Check_Misspelling_Of (Tok_Renames); - - if Token = Tok_Renames then - if Ren_Token = Tok_Package then - Decl_Node := New_Node - (N_Generic_Package_Renaming_Declaration, Gen_Sloc); - - elsif Ren_Token = Tok_Procedure then - Decl_Node := New_Node - (N_Generic_Procedure_Renaming_Declaration, Gen_Sloc); - - else -- Ren_Token = Tok_Function then - Decl_Node := New_Node - (N_Generic_Function_Renaming_Declaration, Gen_Sloc); - end if; - - Scan; -- past RENAMES - Set_Defining_Unit_Name (Decl_Node, Def_Unit); - Set_Name (Decl_Node, P_Name); - TF_Semicolon; - return Decl_Node; - end if; - end if; - end if; - - -- Fall through if this is *not* a generic renaming declaration - - Restore_Scan_State (Scan_State); - Decls := New_List; - - -- Loop through generic parameter declarations and use clauses - - Decl_Loop : loop - P_Pragmas_Opt (Decls); - - if Token = Tok_Private then - Error_Msg_S ("generic private child packages not permitted"); - Scan; -- past PRIVATE - end if; - - if Token = Tok_Use then - Append (P_Use_Clause, Decls); - else - -- Parse a generic parameter declaration - - if Token = Tok_Identifier then - P_Formal_Object_Declarations (Decls); - - elsif Token = Tok_Type then - Append (P_Formal_Type_Declaration, Decls); - - elsif Token = Tok_With then - Scan; -- past WITH - - if Token = Tok_Package then - Append (P_Formal_Package_Declaration, Decls); - - elsif Token = Tok_Procedure or Token = Tok_Function then - Append (P_Formal_Subprogram_Declaration, Decls); - - else - Error_Msg_BC - ("FUNCTION, PROCEDURE or PACKAGE expected here"); - Resync_Past_Semicolon; - end if; - - elsif Token = Tok_Subtype then - Error_Msg_SC ("subtype declaration not allowed " & - "as generic parameter declaration!"); - Resync_Past_Semicolon; - - else - exit Decl_Loop; - end if; - end if; - - end loop Decl_Loop; - - -- Generic formal part is scanned, scan out subprogram or package spec - - if Token = Tok_Package then - Gen_Decl := New_Node (N_Generic_Package_Declaration, Gen_Sloc); - Set_Specification (Gen_Decl, P_Package (Pf_Spcn)); - else - Gen_Decl := New_Node (N_Generic_Subprogram_Declaration, Gen_Sloc); - - Set_Specification (Gen_Decl, P_Subprogram_Specification); - - if Nkind (Defining_Unit_Name (Specification (Gen_Decl))) = - N_Defining_Program_Unit_Name - and then Scope.Last > 0 - then - Error_Msg_SP ("child unit allowed only at library level"); - end if; - TF_Semicolon; - end if; - - Set_Generic_Formal_Declarations (Gen_Decl, Decls); - return Gen_Decl; - end P_Generic; - - ------------------------------- - -- 12.1 Generic Declaration -- - ------------------------------- - - -- Parsed by P_Generic (12.1) - - ------------------------------------------ - -- 12.1 Generic Subprogram Declaration -- - ------------------------------------------ - - -- Parsed by P_Generic (12.1) - - --------------------------------------- - -- 12.1 Generic Package Declaration -- - --------------------------------------- - - -- Parsed by P_Generic (12.1) - - ------------------------------- - -- 12.1 Generic Formal Part -- - ------------------------------- - - -- Parsed by P_Generic (12.1) - - ------------------------------------------------- - -- 12.1 Generic Formal Parameter Declaration -- - ------------------------------------------------- - - -- Parsed by P_Generic (12.1) - - --------------------------------- - -- 12.3 Generic Instantiation -- - --------------------------------- - - -- Generic package instantiation parsed by P_Package (7.1) - -- Generic procedure instantiation parsed by P_Subprogram (6.1) - -- Generic function instantiation parsed by P_Subprogram (6.1) - - ------------------------------- - -- 12.3 Generic Actual Part -- - ------------------------------- - - -- GENERIC_ACTUAL_PART ::= - -- (GENERIC_ASSOCIATION {, GENERIC_ASSOCIATION}) - - -- Returns a list of generic associations, or Empty if none are present - - -- Error recovery: cannot raise Error_Resync - - function P_Generic_Actual_Part_Opt return List_Id is - Association_List : List_Id; - - begin - -- Figure out if a generic actual part operation is present. Clearly - -- there is no generic actual part if the current token is semicolon - - if Token = Tok_Semicolon then - return No_List; - - -- If we don't have a left paren, then we have an error, and the job - -- is to figure out whether a left paren or semicolon was intended. - -- We assume a missing left paren (and hence a generic actual part - -- present) if the current token is not on a new line, or if it is - -- indented from the subprogram token. Otherwise assume missing - -- semicolon (which will be diagnosed by caller) and no generic part - - elsif Token /= Tok_Left_Paren - and then Token_Is_At_Start_Of_Line - and then Start_Column <= Scope.Table (Scope.Last).Ecol - then - return No_List; - - -- Otherwise we have a generic actual part (either a left paren is - -- present, or we have decided that there must be a missing left paren) - - else - Association_List := New_List; - T_Left_Paren; - - loop - Append (P_Generic_Association, Association_List); - exit when not Comma_Present; - end loop; - - T_Right_Paren; - return Association_List; - end if; - - end P_Generic_Actual_Part_Opt; - - ------------------------------- - -- 12.3 Generic Association -- - ------------------------------- - - -- GENERIC_ASSOCIATION ::= - -- [generic_formal_parameter_SELECTOR_NAME =>] - -- EXPLICIT_GENERIC_ACTUAL_PARAMETER - - -- EXPLICIT_GENERIC_ACTUAL_PARAMETER ::= - -- EXPRESSION | variable_NAME | subprogram_NAME - -- | entry_NAME | SUBTYPE_MARK | package_instance_NAME - - -- Error recovery: cannot raise Error_Resync - - function P_Generic_Association return Node_Id is - Scan_State : Saved_Scan_State; - Param_Name_Node : Node_Id; - Generic_Assoc_Node : Node_Id; - - begin - Generic_Assoc_Node := New_Node (N_Generic_Association, Token_Ptr); - - if Token in Token_Class_Desig then - Param_Name_Node := Token_Node; - Save_Scan_State (Scan_State); -- at designator - Scan; -- past simple name or operator symbol - - if Token = Tok_Arrow then - Scan; -- past arrow - Set_Selector_Name (Generic_Assoc_Node, Param_Name_Node); - else - Restore_Scan_State (Scan_State); -- to designator - end if; - end if; - - Set_Explicit_Generic_Actual_Parameter (Generic_Assoc_Node, P_Expression); - return Generic_Assoc_Node; - end P_Generic_Association; - - --------------------------------------------- - -- 12.3 Explicit Generic Actual Parameter -- - --------------------------------------------- - - -- Parsed by P_Generic_Association (12.3) - - -------------------------------------- - -- 12.4 Formal Object Declarations -- - -------------------------------------- - - -- FORMAL_OBJECT_DECLARATION ::= - -- DEFINING_IDENTIFIER_LIST : - -- MODE SUBTYPE_MARK [:= DEFAULT_EXPRESSION]; - - -- The caller has checked that the initial token is an identifier - - -- Error recovery: cannot raise Error_Resync - - procedure P_Formal_Object_Declarations (Decls : List_Id) is - Decl_Node : Node_Id; - Scan_State : Saved_Scan_State; - Num_Idents : Nat; - Ident : Nat; - - Idents : array (Int range 1 .. 4096) of Entity_Id; - -- This array holds the list of defining identifiers. The upper bound - -- of 4096 is intended to be essentially infinite, and we do not even - -- bother to check for it being exceeded. - - begin - Idents (1) := P_Defining_Identifier (C_Comma_Colon); - Num_Idents := 1; - - while Comma_Present loop - Num_Idents := Num_Idents + 1; - Idents (Num_Idents) := P_Defining_Identifier (C_Comma_Colon); - end loop; - - T_Colon; - - -- If there are multiple identifiers, we repeatedly scan the - -- type and initialization expression information by resetting - -- the scan pointer (so that we get completely separate trees - -- for each occurrence). - - if Num_Idents > 1 then - Save_Scan_State (Scan_State); - end if; - - -- Loop through defining identifiers in list - - Ident := 1; - Ident_Loop : loop - Decl_Node := New_Node (N_Formal_Object_Declaration, Token_Ptr); - Set_Defining_Identifier (Decl_Node, Idents (Ident)); - P_Mode (Decl_Node); - Set_Subtype_Mark (Decl_Node, P_Subtype_Mark_Resync); - No_Constraint; - Set_Expression (Decl_Node, Init_Expr_Opt); - - if Ident > 1 then - Set_Prev_Ids (Decl_Node, True); - end if; - - if Ident < Num_Idents then - Set_More_Ids (Decl_Node, True); - end if; - - Append (Decl_Node, Decls); - - exit Ident_Loop when Ident = Num_Idents; - Ident := Ident + 1; - Restore_Scan_State (Scan_State); - end loop Ident_Loop; - - TF_Semicolon; - end P_Formal_Object_Declarations; - - ----------------------------------- - -- 12.5 Formal Type Declaration -- - ----------------------------------- - - -- FORMAL_TYPE_DECLARATION ::= - -- type DEFINING_IDENTIFIER [DISCRIMINANT_PART] - -- is FORMAL_TYPE_DEFINITION; - - -- The caller has checked that the initial token is TYPE - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Type_Declaration return Node_Id is - Decl_Node : Node_Id; - Def_Node : Node_Id; - - begin - Decl_Node := New_Node (N_Formal_Type_Declaration, Token_Ptr); - Scan; -- past TYPE - Set_Defining_Identifier (Decl_Node, P_Defining_Identifier); - - if P_Unknown_Discriminant_Part_Opt then - Set_Unknown_Discriminants_Present (Decl_Node, True); - else - Set_Discriminant_Specifications - (Decl_Node, P_Known_Discriminant_Part_Opt); - end if; - - T_Is; - - Def_Node := P_Formal_Type_Definition; - - if Def_Node /= Error then - Set_Formal_Type_Definition (Decl_Node, Def_Node); - TF_Semicolon; - - else - Decl_Node := Error; - - -- If we have semicolon, skip it to avoid cascaded errors - - if Token = Tok_Semicolon then - Scan; - end if; - end if; - - return Decl_Node; - end P_Formal_Type_Declaration; - - ---------------------------------- - -- 12.5 Formal Type Definition -- - ---------------------------------- - - -- FORMAL_TYPE_DEFINITION ::= - -- FORMAL_PRIVATE_TYPE_DEFINITION - -- | FORMAL_DERIVED_TYPE_DEFINITION - -- | FORMAL_DISCRETE_TYPE_DEFINITION - -- | FORMAL_SIGNED_INTEGER_TYPE_DEFINITION - -- | FORMAL_MODULAR_TYPE_DEFINITION - -- | FORMAL_FLOATING_POINT_DEFINITION - -- | FORMAL_ORDINARY_FIXED_POINT_DEFINITION - -- | FORMAL_DECIMAL_FIXED_POINT_DEFINITION - -- | FORMAL_ARRAY_TYPE_DEFINITION - -- | FORMAL_ACCESS_TYPE_DEFINITION - -- | FORMAL_INTERFACE_TYPE_DEFINITION - - -- FORMAL_ARRAY_TYPE_DEFINITION ::= ARRAY_TYPE_DEFINITION - - -- FORMAL_ACCESS_TYPE_DEFINITION ::= ACCESS_TYPE_DEFINITION - - -- FORMAL_INTERFACE_TYPE_DEFINITION ::= INTERFACE_TYPE_DEFINITION - - function P_Formal_Type_Definition return Node_Id is - Scan_State : Saved_Scan_State; - Typedef_Node : Node_Id; - - begin - if Token_Name = Name_Abstract then - Check_95_Keyword (Tok_Abstract, Tok_Tagged); - end if; - - if Token_Name = Name_Tagged then - Check_95_Keyword (Tok_Tagged, Tok_Private); - Check_95_Keyword (Tok_Tagged, Tok_Limited); - end if; - - case Token is - - -- Mostly we can tell what we have from the initial token. The one - -- exception is ABSTRACT, where we have to scan ahead to see if we - -- have a formal derived type or a formal private type definition. - - -- In addition, in Ada 2005 LIMITED may appear after abstract, so - -- that the lookahead must be extended by one more token. - - when Tok_Abstract => - Save_Scan_State (Scan_State); - Scan; -- past ABSTRACT - - if Token = Tok_New then - Restore_Scan_State (Scan_State); -- to ABSTRACT - return P_Formal_Derived_Type_Definition; - - elsif Token = Tok_Limited then - Scan; -- past LIMITED - - if Token = Tok_New then - Restore_Scan_State (Scan_State); -- to ABSTRACT - return P_Formal_Derived_Type_Definition; - - else - Restore_Scan_State (Scan_State); -- to ABSTRACT - return P_Formal_Private_Type_Definition; - end if; - - else - Restore_Scan_State (Scan_State); -- to ABSTRACT - return P_Formal_Private_Type_Definition; - end if; - - when Tok_Access => - return P_Access_Type_Definition; - - when Tok_Array => - return P_Array_Type_Definition; - - when Tok_Delta => - return P_Formal_Fixed_Point_Definition; - - when Tok_Digits => - return P_Formal_Floating_Point_Definition; - - when Tok_Interface => -- Ada 2005 (AI-251) - return P_Interface_Type_Definition (Is_Synchronized => False); - - when Tok_Left_Paren => - return P_Formal_Discrete_Type_Definition; - - when Tok_Limited => - Save_Scan_State (Scan_State); - Scan; -- past LIMITED - - if Token = Tok_Interface then - Typedef_Node := P_Interface_Type_Definition - (Is_Synchronized => False); - Set_Limited_Present (Typedef_Node); - return Typedef_Node; - - elsif Token = Tok_New then - Restore_Scan_State (Scan_State); -- to LIMITED - return P_Formal_Derived_Type_Definition; - - else - if Token = Tok_Abstract then - Error_Msg_SC ("ABSTRACT must come before LIMITED"); - Scan; -- past improper ABSTRACT - - if Token = Tok_New then - Restore_Scan_State (Scan_State); -- to LIMITED - return P_Formal_Derived_Type_Definition; - - else - Restore_Scan_State (Scan_State); - return P_Formal_Private_Type_Definition; - end if; - end if; - - Restore_Scan_State (Scan_State); - return P_Formal_Private_Type_Definition; - end if; - - when Tok_Mod => - return P_Formal_Modular_Type_Definition; - - when Tok_New => - return P_Formal_Derived_Type_Definition; - - when Tok_Private | - Tok_Tagged => - return P_Formal_Private_Type_Definition; - - when Tok_Range => - return P_Formal_Signed_Integer_Type_Definition; - - when Tok_Record => - Error_Msg_SC ("record not allowed in generic type definition!"); - Discard_Junk_Node (P_Record_Definition); - return Error; - - -- Ada 2005 (AI-345) - - when Tok_Protected | - Tok_Synchronized | - Tok_Task => - - Scan; -- past TASK, PROTECTED or SYNCHRONIZED - - declare - Saved_Token : constant Token_Type := Token; - - begin - Typedef_Node := P_Interface_Type_Definition - (Is_Synchronized => True); - - case Saved_Token is - when Tok_Task => - Set_Task_Present (Typedef_Node); - - when Tok_Protected => - Set_Protected_Present (Typedef_Node); - - when Tok_Synchronized => - Set_Synchronized_Present (Typedef_Node); - - when others => - null; - end case; - - return Typedef_Node; - end; - - when others => - Error_Msg_BC ("expecting generic type definition here"); - Resync_Past_Semicolon; - return Error; - - end case; - end P_Formal_Type_Definition; - - -------------------------------------------- - -- 12.5.1 Formal Private Type Definition -- - -------------------------------------------- - - -- FORMAL_PRIVATE_TYPE_DEFINITION ::= - -- [[abstract] tagged] [limited] private - - -- The caller has checked the initial token is PRIVATE, ABSTRACT, - -- TAGGED or LIMITED - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Private_Type_Definition return Node_Id is - Def_Node : Node_Id; - - begin - Def_Node := New_Node (N_Formal_Private_Type_Definition, Token_Ptr); - - if Token = Tok_Abstract then - Scan; -- past ABSTRACT - - if Token_Name = Name_Tagged then - Check_95_Keyword (Tok_Tagged, Tok_Private); - Check_95_Keyword (Tok_Tagged, Tok_Limited); - end if; - - if Token /= Tok_Tagged then - Error_Msg_SP ("ABSTRACT must be followed by TAGGED"); - else - Set_Abstract_Present (Def_Node, True); - end if; - end if; - - if Token = Tok_Tagged then - Set_Tagged_Present (Def_Node, True); - Scan; -- past TAGGED - end if; - - if Token = Tok_Limited then - Set_Limited_Present (Def_Node, True); - Scan; -- past LIMITED - end if; - - if Token = Tok_Abstract then - if Prev_Token = Tok_Tagged then - Error_Msg_SC ("ABSTRACT must come before TAGGED"); - elsif Prev_Token = Tok_Limited then - Error_Msg_SC ("ABSTRACT must come before LIMITED"); - end if; - - Resync_Past_Semicolon; - - elsif Token = Tok_Tagged then - Error_Msg_SC ("TAGGED must come before LIMITED"); - Resync_Past_Semicolon; - end if; - - Set_Sloc (Def_Node, Token_Ptr); - T_Private; - return Def_Node; - end P_Formal_Private_Type_Definition; - - -------------------------------------------- - -- 12.5.1 Formal Derived Type Definition -- - -------------------------------------------- - - -- FORMAL_DERIVED_TYPE_DEFINITION ::= - -- [abstract] [limited] - -- new SUBTYPE_MARK [[AND interface_list] with private] - - -- The caller has checked the initial token(s) is/are NEW, ASTRACT NEW - -- LIMITED NEW, or ABSTRACT LIMITED NEW - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Derived_Type_Definition return Node_Id is - Def_Node : Node_Id; - - begin - Def_Node := New_Node (N_Formal_Derived_Type_Definition, Token_Ptr); - - if Token = Tok_Abstract then - Set_Abstract_Present (Def_Node); - Scan; -- past ABSTRACT - end if; - - if Token = Tok_Limited then - Set_Limited_Present (Def_Node); - Scan; -- past Limited - - if Ada_Version < Ada_05 then - Error_Msg_SP - ("LIMITED in derived type is an Ada 2005 extension"); - Error_Msg_SP - ("\unit must be compiled with -gnat05 switch"); - end if; - - if Token = Tok_Abstract then - Scan; -- past ABSTRACT. diagnosed already in caller. - end if; - end if; - - Scan; -- past NEW; - Set_Subtype_Mark (Def_Node, P_Subtype_Mark); - No_Constraint; - - -- Ada 2005 (AI-251): Deal with interfaces - - if Token = Tok_And then - Scan; -- past AND - - if Ada_Version < Ada_05 then - Error_Msg_SP - ("abstract interface is an Ada 2005 extension"); - Error_Msg_SP ("\unit must be compiled with -gnat05 switch"); - end if; - - Set_Interface_List (Def_Node, New_List); - - loop - Append (P_Qualified_Simple_Name, Interface_List (Def_Node)); - exit when Token /= Tok_And; - Scan; -- past AND - end loop; - end if; - - if Token = Tok_With then - Scan; -- past WITH - Set_Private_Present (Def_Node, True); - T_Private; - - elsif Token = Tok_Tagged then - Scan; - - if Token = Tok_Private then - Error_Msg_SC ("TAGGED should be WITH"); - Set_Private_Present (Def_Node, True); - T_Private; - else - Ignore (Tok_Tagged); - end if; - end if; - - return Def_Node; - end P_Formal_Derived_Type_Definition; - - --------------------------------------------- - -- 12.5.2 Formal Discrete Type Definition -- - --------------------------------------------- - - -- FORMAL_DISCRETE_TYPE_DEFINITION ::= (<>) - - -- The caller has checked the initial token is left paren - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Discrete_Type_Definition return Node_Id is - Def_Node : Node_Id; - - begin - Def_Node := New_Node (N_Formal_Discrete_Type_Definition, Token_Ptr); - Scan; -- past left paren - T_Box; - T_Right_Paren; - return Def_Node; - end P_Formal_Discrete_Type_Definition; - - --------------------------------------------------- - -- 12.5.2 Formal Signed Integer Type Definition -- - --------------------------------------------------- - - -- FORMAL_SIGNED_INTEGER_TYPE_DEFINITION ::= range <> - - -- The caller has checked the initial token is RANGE - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Signed_Integer_Type_Definition return Node_Id is - Def_Node : Node_Id; - - begin - Def_Node := - New_Node (N_Formal_Signed_Integer_Type_Definition, Token_Ptr); - Scan; -- past RANGE - T_Box; - return Def_Node; - end P_Formal_Signed_Integer_Type_Definition; - - -------------------------------------------- - -- 12.5.2 Formal Modular Type Definition -- - -------------------------------------------- - - -- FORMAL_MODULAR_TYPE_DEFINITION ::= mod <> - - -- The caller has checked the initial token is MOD - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Modular_Type_Definition return Node_Id is - Def_Node : Node_Id; - - begin - Def_Node := - New_Node (N_Formal_Modular_Type_Definition, Token_Ptr); - Scan; -- past MOD - T_Box; - return Def_Node; - end P_Formal_Modular_Type_Definition; - - ---------------------------------------------- - -- 12.5.2 Formal Floating Point Definition -- - ---------------------------------------------- - - -- FORMAL_FLOATING_POINT_DEFINITION ::= digits <> - - -- The caller has checked the initial token is DIGITS - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Floating_Point_Definition return Node_Id is - Def_Node : Node_Id; - - begin - Def_Node := - New_Node (N_Formal_Floating_Point_Definition, Token_Ptr); - Scan; -- past DIGITS - T_Box; - return Def_Node; - end P_Formal_Floating_Point_Definition; - - ------------------------------------------- - -- 12.5.2 Formal Fixed Point Definition -- - ------------------------------------------- - - -- This routine parses either a formal ordinary fixed point definition - -- or a formal decimal fixed point definition: - - -- FORMAL_ORDINARY_FIXED_POINT_DEFINITION ::= delta <> - - -- FORMAL_DECIMAL_FIXED_POINT_DEFINITION ::= delta <> digits <> - - -- The caller has checked the initial token is DELTA - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Fixed_Point_Definition return Node_Id is - Def_Node : Node_Id; - Delta_Sloc : Source_Ptr; - - begin - Delta_Sloc := Token_Ptr; - Scan; -- past DELTA - T_Box; - - if Token = Tok_Digits then - Def_Node := - New_Node (N_Formal_Decimal_Fixed_Point_Definition, Delta_Sloc); - Scan; -- past DIGITS - T_Box; - else - Def_Node := - New_Node (N_Formal_Ordinary_Fixed_Point_Definition, Delta_Sloc); - end if; - - return Def_Node; - end P_Formal_Fixed_Point_Definition; - - ---------------------------------------------------- - -- 12.5.2 Formal Ordinary Fixed Point Definition -- - ---------------------------------------------------- - - -- Parsed by P_Formal_Fixed_Point_Definition (12.5.2) - - --------------------------------------------------- - -- 12.5.2 Formal Decimal Fixed Point Definition -- - --------------------------------------------------- - - -- Parsed by P_Formal_Fixed_Point_Definition (12.5.2) - - ------------------------------------------ - -- 12.5.3 Formal Array Type Definition -- - ------------------------------------------ - - -- Parsed by P_Formal_Type_Definition (12.5) - - ------------------------------------------- - -- 12.5.4 Formal Access Type Definition -- - ------------------------------------------- - - -- Parsed by P_Formal_Type_Definition (12.5) - - ----------------------------------------- - -- 12.6 Formal Subprogram Declaration -- - ----------------------------------------- - - -- FORMAL_SUBPROGRAM_DECLARATION ::= - -- FORMAL_CONCRETE_SUBPROGRAM_DECLARATION - -- | FORMAL_ABSTRACT_SUBPROGRAM_DECLARATION - - -- FORMAL_CONCRETE_SUBPROGRAM_DECLARATION ::= - -- with SUBPROGRAM_SPECIFICATION [is SUBPROGRAM_DEFAULT]; - - -- FORMAL_ABSTRACT_SUBPROGRAM_DECLARATION ::= - -- with SUBPROGRAM_SPECIFICATION is abstract [SUBPROGRAM_DEFAULT]; - - -- SUBPROGRAM_DEFAULT ::= DEFAULT_NAME | <> - - -- DEFAULT_NAME ::= NAME | null - - -- The caller has checked that the initial tokens are WITH FUNCTION or - -- WITH PROCEDURE, and the initial WITH has been scanned out. - - -- A null default is an Ada 2005 feature - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Subprogram_Declaration return Node_Id is - Prev_Sloc : constant Source_Ptr := Prev_Token_Ptr; - Spec_Node : constant Node_Id := P_Subprogram_Specification; - Def_Node : Node_Id; - - begin - if Token = Tok_Is then - T_Is; -- past IS, skip extra IS or ";" - - if Token = Tok_Abstract then - Def_Node := - New_Node (N_Formal_Abstract_Subprogram_Declaration, Prev_Sloc); - Scan; -- past ABSTRACT - - if Ada_Version < Ada_05 then - Error_Msg_SP - ("formal abstract subprograms are an Ada 2005 extension"); - Error_Msg_SP ("\unit must be compiled with -gnat05 switch"); - end if; - - else - Def_Node := - New_Node (N_Formal_Concrete_Subprogram_Declaration, Prev_Sloc); - end if; - - Set_Specification (Def_Node, Spec_Node); - - if Token = Tok_Semicolon then - Scan; -- past ";" - - elsif Token = Tok_Box then - Set_Box_Present (Def_Node, True); - Scan; -- past <> - T_Semicolon; - - elsif Token = Tok_Null then - if Ada_Version < Ada_05 then - Error_Msg_SP - ("null default subprograms are an Ada 2005 extension"); - Error_Msg_SP ("\unit must be compiled with -gnat05 switch"); - end if; - - if Nkind (Spec_Node) = N_Procedure_Specification then - Set_Null_Present (Spec_Node); - else - Error_Msg_SP ("only procedures can be null"); - end if; - - Scan; -- past NULL - T_Semicolon; - - else - Set_Default_Name (Def_Node, P_Name); - T_Semicolon; - end if; - - else - Def_Node := - New_Node (N_Formal_Concrete_Subprogram_Declaration, Prev_Sloc); - Set_Specification (Def_Node, Spec_Node); - T_Semicolon; - end if; - - return Def_Node; - end P_Formal_Subprogram_Declaration; - - ------------------------------ - -- 12.6 Subprogram Default -- - ------------------------------ - - -- Parsed by P_Formal_Procedure_Declaration (12.6) - - ------------------------ - -- 12.6 Default Name -- - ------------------------ - - -- Parsed by P_Formal_Procedure_Declaration (12.6) - - -------------------------------------- - -- 12.7 Formal Package Declaration -- - -------------------------------------- - - -- FORMAL_PACKAGE_DECLARATION ::= - -- with package DEFINING_IDENTIFIER - -- is new generic_package_NAME FORMAL_PACKAGE_ACTUAL_PART; - - -- FORMAL_PACKAGE_ACTUAL_PART ::= - -- (<>) | [GENERIC_ACTUAL_PART] - - -- The caller has checked that the initial tokens are WITH PACKAGE, - -- and the initial WITH has been scanned out (so Token = Tok_Package). - - -- Error recovery: cannot raise Error_Resync - - function P_Formal_Package_Declaration return Node_Id is - Def_Node : Node_Id; - Scan_State : Saved_Scan_State; - - begin - Def_Node := New_Node (N_Formal_Package_Declaration, Prev_Token_Ptr); - Scan; -- past PACKAGE - Set_Defining_Identifier (Def_Node, P_Defining_Identifier (C_Is)); - T_Is; - T_New; - Set_Name (Def_Node, P_Qualified_Simple_Name); - - if Token = Tok_Left_Paren then - Save_Scan_State (Scan_State); -- at the left paren - Scan; -- past the left paren - - if Token = Tok_Box then - Set_Box_Present (Def_Node, True); - Scan; -- past box - T_Right_Paren; - - else - Restore_Scan_State (Scan_State); -- to the left paren - Set_Generic_Associations (Def_Node, P_Generic_Actual_Part_Opt); - end if; - end if; - - T_Semicolon; - return Def_Node; - end P_Formal_Package_Declaration; - - -------------------------------------- - -- 12.7 Formal Package Actual Part -- - -------------------------------------- - - -- Parsed by P_Formal_Package_Declaration (12.7) - -end Ch12; |