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-2008, 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 generic package, instantiated in package Style, contains routines
  27 --  used by the compiler for style checking. These routines are in a separate
  28 --  package because they depend on the GNAT tree (Atree, Sinfo, ...).
  29
  30 generic
  31    with procedure Error_Msg_N (Msg : String; N : Node_Or_Entity_Id);
  32    --  Output a message at the Sloc of the given node
  33
  34 package Styleg.C is
  35
  36    procedure Body_With_No_Spec (N : Node_Id);
  37    --  Called where N is a subprogram body node for a subprogram body
  38    --  for which no spec was given, i.e. a body acting as its own spec.
  39
  40    procedure Check_Array_Attribute_Index
  41      (N  : Node_Id;
  42       E1 : Node_Id;
  43       D  : Int);
  44    --  Called for an array attribute specifying an index number. N is the
  45    --  node for the attribute, and E1 is the index expression (Empty if none
  46    --  present). If E1 is present, it is known to be a static integer. D is
  47    --  the number of dimensions of the array.
  48
  49    procedure Check_Identifier
  50      (Ref : Node_Or_Entity_Id;
  51       Def : Node_Or_Entity_Id);
  52    --  Check style of identifier occurrence. Ref is an N_Identifier node whose
  53    --  spelling is to be checked against the Chars spelling in identifier node
  54    --  Def (which may be either an N_Identifier, or N_Defining_Identifier node)
  55
  56    procedure Missing_Overriding (N : Node_Id; E : Entity_Id);
  57    --  Called where N is the declaration or body of an overriding operation,
  58    --  and the node does not have an overriding_indicator.
  59
  60    procedure Subprogram_Not_In_Alpha_Order (Name : Node_Id);
  61    --  Called if Name is the name of a subprogram body in a package body
  62    --  that is not in alphabetical order.
  63
  64 end Styleg.C;