------------------------------------------------------------------------------ -- -- -- GNAT COMPILER COMPONENTS -- -- -- -- P A R . C H 1 2 -- -- -- -- B o d y -- -- -- -- Copyright (C) 1992-2023, 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 3, 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 COPYING3. If not, go to -- -- http://www.gnu.org/licenses for a complete copy of the license. -- -- -- -- 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 -- [ASPECT_SPECIFICATIONS]; -- GENERIC_PACKAGE_DECLARATION ::= -- GENERIC_FORMAL_PART PACKAGE_SPECIFICATION -- [ASPECT_SPECIFICATIONS]; -- GENERIC_FORMAL_PART ::= -- generic {GENERIC_FORMAL_PARAMETER_DECLARATION | USE_CLAUSE} -- GENERIC_RENAMING_DECLARATION ::= -- generic package DEFINING_PROGRAM_UNIT_NAME -- renames generic_package_NAME -- [ASPECT_SPECIFICATIONS]; -- | generic procedure DEFINING_PROGRAM_UNIT_NAME -- renames generic_procedure_NAME -- [ASPECT_SPECIFICATIONS]; -- | generic function DEFINING_PROGRAM_UNIT_NAME -- renames generic_function_NAME -- [ASPECT_SPECIFICATIONS]; -- 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 -- CODEFIX ("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 in Tok_Package | Tok_Function | 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); P_Aspect_Specifications (Decl_Node, Semicolon => False); 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 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 in Tok_Procedure | Tok_Function then Append (P_Formal_Subprogram_Declaration, Decls); else Error_Msg_BC -- CODEFIX ("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)); -- Aspects have been parsed by the package spec. Move them to the -- generic declaration where they belong. Move_Aspects (Specification (Gen_Decl), Gen_Decl); 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; P_Aspect_Specifications (Gen_Decl); 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 -- or if we have aspect specifications present. if Token = Tok_Semicolon or else Aspect_Specifications_Present 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 <= Scopes (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); -- Ada 2005: an association can be given by: others => <> if Token = Tok_Others then Error_Msg_Ada_2005_Extension ("partial parameterization of formal package"); Scan; -- past OTHERS if Token /= Tok_Arrow then Error_Msg_BC ("expect `='>` after OTHERS"); else Scan; -- past arrow end if; if Token /= Tok_Box then Error_Msg_BC ("expect `'<'>` after `='>`"); else Scan; -- past box end if; -- Source position of the others choice is beginning of construct return New_Node (N_Others_Choice, Sloc (Generic_Assoc_Node)); end if; 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; -- In Ada 2005 the actual can be a box if Token = Tok_Box then Scan; Set_Box_Present (Generic_Assoc_Node); Set_Explicit_Generic_Actual_Parameter (Generic_Assoc_Node, Empty); else Set_Explicit_Generic_Actual_Parameter (Generic_Assoc_Node, P_Expression); end if; 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 [NULL_EXCLUSION] SUBTYPE_MARK [:= DEFAULT_EXPRESSION] -- [ASPECT_SPECIFICATIONS]; -- | DEFINING_IDENTIFIER_LIST : -- MODE ACCESS_DEFINITION [:= DEFAULT_EXPRESSION]; -- [ASPECT_SPECIFICATIONS]; -- 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; Ident : Pos; Not_Null_Present : Boolean := False; Num_Idents : Pos; Scan_State : Saved_Scan_State; Idents : array (Pos 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); Not_Null_Present := P_Null_Exclusion; -- Ada 2005 (AI-423) -- Ada 2005 (AI-423): Formal object with an access definition if Token = Tok_Access then -- The access definition is still parsed and set even though -- the compilation may not use the proper switch. This action -- ensures the required local error recovery. Set_Access_Definition (Decl_Node, P_Access_Definition (Not_Null_Present)); Error_Msg_Ada_2005_Extension ("access definition in formal object declaration"); -- Formal object with a subtype mark else Set_Null_Exclusion_Present (Decl_Node, Not_Null_Present); Set_Subtype_Mark (Decl_Node, P_Subtype_Mark_Resync); end if; No_Constraint; Set_Default_Expression (Decl_Node, Init_Expr_Opt); P_Aspect_Specifications (Decl_Node); 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; end P_Formal_Object_Declarations; ----------------------------------- -- 12.5 Formal Type Declaration -- ----------------------------------- -- FORMAL_TYPE_DECLARATION ::= -- type DEFINING_IDENTIFIER [DISCRIMINANT_PART] -- is FORMAL_TYPE_DEFINITION -- [ASPECT_SPECIFICATIONS]; -- 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; if Token = Tok_Semicolon then -- Ada 2012: Incomplete formal type Scan; -- past semicolon Error_Msg_Ada_2012_Feature ("formal incomplete type", Sloc (Decl_Node)); Set_Formal_Type_Definition (Decl_Node, New_Node (N_Formal_Incomplete_Type_Definition, Token_Ptr)); return Decl_Node; else T_Is; end if; Def_Node := P_Formal_Type_Definition; if Nkind (Def_Node) = N_Formal_Incomplete_Type_Definition then Error_Msg_Ada_2012_Feature ("formal incomplete type", Sloc (Decl_Node)); end if; if Def_Node /= Error then Set_Formal_Type_Definition (Decl_Node, Def_Node); if Token = Tok_Or then Error_Msg_Ada_2022_Feature ("default for formal type", Sloc (Decl_Node)); Scan; -- Past OR if Token /= Tok_Use then Error_Msg_SC ("missing USE for default subtype"); else Scan; -- Past USE Set_Default_Subtype_Mark (Decl_Node, P_Name); end if; end if; P_Aspect_Specifications (Decl_Node); else Decl_Node := Error; -- If we have aspect specifications, skip them if Aspect_Specifications_Present then P_Aspect_Specifications (Error); -- If we have semicolon, skip it to avoid cascaded errors elsif Token = Tok_Semicolon then Scan; -- past semicolon 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_INCOMPLETE_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; -- Ada 2005 (AI-443): Abstract synchronized formal derived type elsif Token = Tok_Synchronized 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; 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 (Abstract_Present => 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 (Abstract_Present => 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 -- CODEFIX ("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_Not => if P_Null_Exclusion then Typedef_Node := P_Access_Type_Definition; Set_Null_Exclusion_Present (Typedef_Node); return Typedef_Node; else Error_Msg_SC ("expect valid formal access definition!"); Resync_Past_Semicolon; return Error; end if; when Tok_Or => -- Ada_2022: incomplete type with default return New_Node (N_Formal_Incomplete_Type_Definition, Token_Ptr); when Tok_Private => return P_Formal_Private_Type_Definition; when Tok_Tagged => if Next_Token_Is (Tok_Semicolon) or else Next_Token_Is (Tok_Or) then Typedef_Node := New_Node (N_Formal_Incomplete_Type_Definition, Token_Ptr); Set_Tagged_Present (Typedef_Node); Scan; -- past tagged return Typedef_Node; else return P_Formal_Private_Type_Definition; end if; 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): Task, Protected or Synchronized interface or -- (AI-443): Synchronized formal derived type declaration. when Tok_Protected | Tok_Synchronized | Tok_Task => declare Saved_Token : constant Token_Type := Token; begin Scan; -- past TASK, PROTECTED or SYNCHRONIZED -- Synchronized derived type if Token = Tok_New then Typedef_Node := P_Formal_Derived_Type_Definition; if Saved_Token = Tok_Synchronized then Set_Synchronized_Present (Typedef_Node); else Error_Msg_SC ("invalid kind of formal derived type"); end if; -- Interface else Typedef_Node := P_Interface_Type_Definition (Abstract_Present => False); 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; end if; 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 -- CODEFIX ("ABSTRACT must come before TAGGED"); elsif Prev_Token = Tok_Limited then Error_Msg_SC -- CODEFIX ("ABSTRACT must come before LIMITED"); end if; Resync_Past_Semicolon; elsif Token = Tok_Tagged then Error_Msg_SC -- CODEFIX ("TAGGED must come before LIMITED"); Resync_Past_Semicolon; end if; Set_Sloc (Def_Node, Token_Ptr); T_Private; if Token = Tok_Tagged then -- CODEFIX Error_Msg_SC ("TAGGED must come before PRIVATE"); Scan; -- past TAGGED elsif Token = Tok_Abstract then -- CODEFIX Error_Msg_SC ("`ABSTRACT TAGGED` must come before PRIVATE"); Scan; -- past ABSTRACT if Token = Tok_Tagged then Scan; -- past TAGGED end if; end if; return Def_Node; end P_Formal_Private_Type_Definition; -------------------------------------------- -- 12.5.1 Formal Derived Type Definition -- -------------------------------------------- -- FORMAL_DERIVED_TYPE_DEFINITION ::= -- [abstract] [limited | synchronized] -- new SUBTYPE_MARK [[and INTERFACE_LIST] with private] -- The caller has checked the initial token(s) is/are NEW, ABSTRACT NEW, -- or LIMITED NEW, ABSTRACT LIMITED NEW, SYNCHRONIZED NEW or ABSTRACT -- SYNCHRONIZED 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 Error_Msg_Ada_2005_Extension ("LIMITED in derived type"); elsif Token = Tok_Synchronized then Set_Synchronized_Present (Def_Node); Scan; -- past SYNCHRONIZED Error_Msg_Ada_2005_Extension ("SYNCHRONIZED in derived type"); end if; if Token = Tok_Abstract then Scan; -- past ABSTRACT, diagnosed already in caller. 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 Error_Msg_Ada_2005_Extension ("abstract interface"); 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 if Next_Token_Is (Tok_Private) then Scan; -- past WITH Set_Private_Present (Def_Node, True); T_Private; else -- Formal type has aspect specifications, parsed later. -- Otherwise this is a formal derived type. Note that it may -- also include later aspect specifications, as in: -- type DT is new T with private with Atomic; Error_Msg_Ada_2022_Feature ("formal type with aspect specification", Token_Ptr); return Def_Node; end if; elsif Token = Tok_Tagged then Scan; if Token = Tok_Private then Error_Msg_SC -- CODEFIX ("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] -- [ASPECT_SPECIFICATIONS]; -- FORMAL_ABSTRACT_SUBPROGRAM_DECLARATION ::= -- with SUBPROGRAM_SPECIFICATION is abstract [SUBPROGRAM_DEFAULT] -- [ASPECT_SPECIFICATIONS]; -- SUBPROGRAM_DEFAULT ::= DEFAULT_NAME | <> -- | ( EXPRESSION ) -- Allowed as extension (-gnatX) -- 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 Error_Msg_Ada_2005_Extension ("formal abstract subprogram"); 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 null; elsif Aspect_Specifications_Present then null; elsif Token = Tok_Box then Set_Box_Present (Def_Node, True); Scan; -- past <> elsif Token = Tok_Null then Error_Msg_Ada_2005_Extension ("null default subprogram"); 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 -- When extensions are enabled, a formal function can have a default -- given by a parenthesized expression (expression function syntax). elsif Token = Tok_Left_Paren then Error_Msg_GNAT_Extension ("expression default for formal subprograms", Token_Ptr); if Nkind (Spec_Node) = N_Function_Specification then Scan; -- past "(" Set_Expression (Def_Node, P_Expression); if Token /= Tok_Right_Paren then Error_Msg_SC ("missing "")"" at end of expression default"); else Scan; -- past ")" end if; else Error_Msg_SP ("only functions can specify a default expression"); end if; else Set_Default_Name (Def_Node, P_Name); end if; else Def_Node := New_Node (N_Formal_Concrete_Subprogram_Declaration, Prev_Sloc); Set_Specification (Def_Node, Spec_Node); end if; P_Aspect_Specifications (Def_Node); 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 -- [ASPECT_SPECIFICATIONS]; -- FORMAL_PACKAGE_ACTUAL_PART ::= -- ([OTHERS =>] <>) | -- [GENERIC_ACTUAL_PART] -- (FORMAL_PACKAGE_ASSOCIATION {, FORMAL_PACKAGE_ASSOCIATION} -- [, OTHERS => <>) -- FORMAL_PACKAGE_ASSOCIATION ::= -- GENERIC_ASSOCIATION -- | GENERIC_FORMAL_PARAMETER_SELECTOR_NAME => <> -- 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; P_Aspect_Specifications (Def_Node); return Def_Node; end P_Formal_Package_Declaration; -------------------------------------- -- 12.7 Formal Package Actual Part -- -------------------------------------- -- Parsed by P_Formal_Package_Declaration (12.7) end Ch12;