gcc/ada/styleg-c.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                            S T Y L E G . C                               --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2006, 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 2,  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 COPYING.  If not, write --
  19 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
  20 -- Boston, MA 02110-1301, USA.                                              --
  21 --                                                                          --
  22 -- GNAT was originally developed  by the GNAT team at  New York University. --
  23 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  24 --                                                                          --
  25 ------------------------------------------------------------------------------
  26
  27 --  This generic package, instantiated in package Style, contains routines
  28 --  used by the compiler for style checking. These routines are in a separate
  29 --  package because they depend on the GNAT tree (Atree, Sinfo, ...).
  30
  31 generic
  32    with procedure Error_Msg_N (Msg : String; N : Node_Or_Entity_Id);
  33    --  Output a message at the Sloc of the given node
  34
  35 package Styleg.C is
  36
  37    procedure Body_With_No_Spec (N : Node_Id);
  38    --  Called where N is a subprogram body node for a subprogram body
  39    --  for which no spec was given, i.e. a body acting as its own spec.
  40
  41    procedure Check_Array_Attribute_Index
  42      (N  : Node_Id;
  43       E1 : Node_Id;
  44       D  : Int);
  45    --  Called for an array attribute specifying an index number. N is the
  46    --  node for the attribute, and E1 is the index expression (Empty if none
  47    --  present). If E1 is present, it is known to be a static integer. D is
  48    --  the number of dimensions of the array.
  49
  50    procedure Check_Identifier
  51      (Ref : Node_Or_Entity_Id;
  52       Def : Node_Or_Entity_Id);
  53    --  Check style of identifier occurrence. Ref is an N_Identifier node whose
  54    --  spelling is to be checked against the Chars spelling in identifier node
  55    --  Def (which may be either an N_Identifier, or N_Defining_Identifier node)
  56
  57    procedure Subprogram_Not_In_Alpha_Order (Name : Node_Id);
  58    --  Called if Name is the name of a subprogram body in a package body
  59    --  that is not in alphabetical order.
  60
  61 end Styleg.C;