gcc/ada/sinfo-cn.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                             S I N F O . C N                              --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2018, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
  19 -- http://www.gnu.org/licenses for a complete copy of the license.          --
  20 --                                                                          --
  21 -- GNAT was originally developed  by the GNAT team at  New York University. --
  22 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  23 --                                                                          --
  24 ------------------------------------------------------------------------------
  25
  26 --  This child package of Sinfo contains some routines that permit in place
  27 --  alteration of existing tree nodes by changing the value in the Nkind
  28 --  field. Since Nkind functions logically in a manner similar to a variant
  29 --  record discriminant part, such alterations cannot be permitted in a
  30 --  general manner, but in some specific cases, the fields of related nodes
  31 --  have been deliberately laid out in a manner that permits such alteration.
  32
  33 package Sinfo.CN is
  34
  35    procedure Change_Identifier_To_Defining_Identifier (N : in out Node_Id);
  36    --  N must refer to a node of type N_Identifier. This node is modified to
  37    --  be of type N_Defining_Identifier. The scanner always returns identifiers
  38    --  as N_Identifier. The parser then uses this routine to change the node
  39    --  to be a defining identifier where the context demands it. This routine
  40    --  also allocates the necessary extension node. Note that this procedure
  41    --  may (but is not required to) change the Id of the node in question.
  42
  43    procedure Change_Character_Literal_To_Defining_Character_Literal
  44      (N : in out Node_Id);
  45    --  Similar processing for a character literal
  46
  47    procedure Change_Operator_Symbol_To_Defining_Operator_Symbol
  48      (N : in out Node_Id);
  49    --  Similar processing for an operator symbol
  50
  51    procedure Change_Conversion_To_Unchecked (N : Node_Id);
  52    --  Change checked conversion node to unchecked conversion node, clearing
  53    --  irrelevant check flags (other fields in the two nodes are identical)
  54
  55    procedure Change_Operator_Symbol_To_String_Literal (N : Node_Id);
  56    --  The scanner returns any string that looks like an operator symbol as
  57    --  a N_Operator_Symbol node. The parser then uses this procedure to change
  58    --  the node to a normal N_String_Literal node if the context is not one
  59    --  in which an operator symbol is required. There are some cases where the
  60    --  parser cannot tell, in which case this transformation happens later on.
  61
  62    procedure Change_Selected_Component_To_Expanded_Name (N : Node_Id);
  63    --  The parser always generates Selected_Component nodes. The semantics
  64    --  modifies these to Expanded_Name nodes where appropriate. Note that
  65    --  on return the Chars field is set to a copy of the contents of the
  66    --  Chars field of the Selector_Name field.
  67
  68    procedure Change_Name_To_Procedure_Call_Statement (N : Node_Id);
  69    --  Some statements (procedure call statements) are in the form of a name
  70    --  and are parsed as such. This routine takes the scanned name as input
  71    --  and returns the corresponding N_Procedure_Call_Statement.
  72
  73 end Sinfo.CN;