| ------------------------------------------------------------------------------ |
| -- -- |
| -- GNAT COMPILER COMPONENTS -- |
| -- -- |
| -- P A R . C H 1 2 -- |
| -- -- |
| -- B o d y -- |
| -- -- |
| -- Copyright (C) 1992-2022, 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; |