gcc/ada/sem_prag.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                             S E M _ P R A G                              --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2007, 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 --  Pragma handling is isolated in a separate package
  27 --  (logically this processing belongs in chapter 4)
  28
  29 with Types; use Types;
  30
  31 package Sem_Prag is
  32
  33    procedure Analyze_Pragma (N : Node_Id);
  34    --  Analyze procedure for pragma reference node N
  35
  36    function Delay_Config_Pragma_Analyze (N : Node_Id) return Boolean;
  37    --  N is a pragma appearing in a configuration pragma file. Most such
  38    --  pragmas are analyzed when the file is read, before parsing and analyzing
  39    --  the main unit. However, the analysis of certain pragmas results in
  40    --  adding information to the compiled main unit, and this cannot be done
  41    --  till the main unit is processed. Such pragmas return True from this
  42    --  function and in Frontend pragmas where Delay_Config_Pragma_Analyze is
  43    --  True have their analysis delayed until after the main program is parsed
  44    --  and analyzed.
  45
  46    function Is_Non_Significant_Pragma_Reference (N : Node_Id) return Boolean;
  47    --  The node N is a node for an entity and the issue is whether the
  48    --  occurrence is a reference for the purposes of giving warnings about
  49    --  unreferenced variables. This function returns True if the reference is
  50    --  not a reference from this point of view (e.g. the occurrence in a pragma
  51    --  Pack) and False if it is a real reference (e.g. the occcurrence in a
  52    --  pragma Export);
  53
  54    function Is_Pragma_String_Literal (Par : Node_Id) return Boolean;
  55    --  Given an N_Pragma_Argument_Association node, Par, which has the form of
  56    --  an operator symbol, determines whether or not it should be treated as an
  57    --  string literal. This is called by Sem_Ch6.Analyze_Operator_Symbol. If
  58    --  True is returned, the argument is converted to a string literal. If
  59    --  False is returned, then the argument is treated as an entity reference
  60    --  to the operator.
  61
  62    function Is_Config_Static_String (Arg : Node_Id) return Boolean;
  63    --  This is called for a configuration pragma that requires either string
  64    --  literal or a concatenation of string literals. We cannot use normal
  65    --  static string processing because it is too early in the case of the
  66    --  pragma appearing in a configuration pragmas file. If Arg is of an
  67    --  appropriate form, then this call obtains the string (doing any necessary
  68    --  concatenations) and places it in Name_Buffer, setting Name_Len to its
  69    --  length, and then returns True. If it is not of the correct form, then an
  70    --  appropriate error message is posted, and False is returned.
  71
  72    procedure Process_Compilation_Unit_Pragmas (N : Node_Id);
  73    --  Called at the start of processing compilation unit N to deal with any
  74    --  special issues regarding pragmas. In particular, we have to deal with
  75    --  Suppress_All at this stage, since it appears after the unit instead of
  76    --  before.
  77
  78    procedure Set_Encoded_Interface_Name (E : Entity_Id; S : Node_Id);
  79    --  This routine is used to set an encoded interface name. The node S is an
  80    --  N_String_Literal node for the external name to be set, and E is an
  81    --  entity whose Interface_Name field is to be set. In the normal case where
  82    --  S contains a name that is a valid C identifier, then S is simply set as
  83    --  the value of the Interface_Name. Otherwise it is encoded. See the body
  84    --  for details of the encoding. This encoding is only done on VMS systems,
  85    --  since it seems pretty silly, but is needed to pass some dubious tests in
  86    --  the test suite.
  87
  88 end Sem_Prag;