------------------------------------------------------------------------------ -- -- -- GNAT COMPILER COMPONENTS -- -- -- -- S I N F O . C N -- -- -- -- B o d y -- -- -- -- Copyright (C) 1992-2012, 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. -- -- -- ------------------------------------------------------------------------------ -- This child package of Sinfo contains some routines that permit in place -- alteration of existing tree nodes by changing the value in the Nkind -- field. Since Nkind functions logically in a manner similar to a variant -- record discriminant part, such alterations cannot be permitted in a -- general manner, but in some specific cases, the fields of related nodes -- have been deliberately layed out in a manner that permits such alteration. with Atree; use Atree; with Snames; use Snames; package body Sinfo.CN is use Atree.Unchecked_Access; -- This package is one of the few packages which is allowed to make direct -- references to tree nodes (since it is in the business of providing a -- higher level of tree access which other clients are expected to use and -- which implements checks). ------------------------------------------------------------ -- Change_Character_Literal_To_Defining_Character_Literal -- ------------------------------------------------------------ procedure Change_Character_Literal_To_Defining_Character_Literal (N : in out Node_Id) is begin Set_Nkind (N, N_Defining_Character_Literal); N := Extend_Node (N); end Change_Character_Literal_To_Defining_Character_Literal; ------------------------------------ -- Change_Conversion_To_Unchecked -- ------------------------------------ procedure Change_Conversion_To_Unchecked (N : Node_Id) is begin Set_Do_Overflow_Check (N, False); Set_Do_Tag_Check (N, False); Set_Do_Length_Check (N, False); Set_Nkind (N, N_Unchecked_Type_Conversion); end Change_Conversion_To_Unchecked; ---------------------------------------------- -- Change_Identifier_To_Defining_Identifier -- ---------------------------------------------- procedure Change_Identifier_To_Defining_Identifier (N : in out Node_Id) is begin Set_Nkind (N, N_Defining_Identifier); N := Extend_Node (N); end Change_Identifier_To_Defining_Identifier; --------------------------------------------- -- Change_Name_To_Procedure_Call_Statement -- --------------------------------------------- procedure Change_Name_To_Procedure_Call_Statement (N : Node_Id) is begin -- Case of Indexed component, which is a procedure call with arguments if Nkind (N) = N_Indexed_Component then declare Prefix_Node : constant Node_Id := Prefix (N); Exprs_Node : constant List_Id := Expressions (N); begin Change_Node (N, N_Procedure_Call_Statement); Set_Name (N, Prefix_Node); Set_Parameter_Associations (N, Exprs_Node); end; -- Case of function call node, which is a really a procedure call elsif Nkind (N) = N_Function_Call then declare Fname_Node : constant Node_Id := Name (N); Params_List : constant List_Id := Parameter_Associations (N); begin Change_Node (N, N_Procedure_Call_Statement); Set_Name (N, Fname_Node); Set_Parameter_Associations (N, Params_List); end; -- Case of call to attribute that denotes a procedure. Here we just -- leave the attribute reference unchanged. elsif Nkind (N) = N_Attribute_Reference and then Is_Procedure_Attribute_Name (Attribute_Name (N)) then null; -- All other cases of names are parameterless procedure calls else declare Name_Node : constant Node_Id := Relocate_Node (N); begin Change_Node (N, N_Procedure_Call_Statement); Set_Name (N, Name_Node); end; end if; end Change_Name_To_Procedure_Call_Statement; -------------------------------------------------------- -- Change_Operator_Symbol_To_Defining_Operator_Symbol -- -------------------------------------------------------- procedure Change_Operator_Symbol_To_Defining_Operator_Symbol (N : in out Node_Id) is begin Set_Nkind (N, N_Defining_Operator_Symbol); Set_Node2 (N, Empty); -- Clear unused Str2 field N := Extend_Node (N); end Change_Operator_Symbol_To_Defining_Operator_Symbol; ---------------------------------------------- -- Change_Operator_Symbol_To_String_Literal -- ---------------------------------------------- procedure Change_Operator_Symbol_To_String_Literal (N : Node_Id) is begin Set_Nkind (N, N_String_Literal); Set_Node1 (N, Empty); -- clear Name1 field end Change_Operator_Symbol_To_String_Literal; ------------------------------------------------ -- Change_Selected_Component_To_Expanded_Name -- ------------------------------------------------ procedure Change_Selected_Component_To_Expanded_Name (N : Node_Id) is begin Set_Nkind (N, N_Expanded_Name); Set_Chars (N, Chars (Selector_Name (N))); end Change_Selected_Component_To_Expanded_Name; end Sinfo.CN;