1----------------------------------------------------------------------
2--  Rules.Non_Static - Package specification                        --
3--                                                                  --
4--  This software  is (c) Adalog  2004-2005. The Ada  Controller is --
5--  free software;  you can redistribute it and/or  modify it under --
6--  terms of  the GNU  General Public License  as published  by the --
7--  Free Software Foundation; either version 2, or (at your option) --
8--  any later version.   This unit is distributed in  the hope that --
9--  it will be  useful, but WITHOUT ANY WARRANTY;  without even the --
10--  implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR --
11--  PURPOSE.  See the GNU  General Public License for more details. --
12--  You  should have  received a  copy  of the  GNU General  Public --
13--  License distributed  with this  program; see file  COPYING.  If --
14--  not, write to  the Free Software Foundation, 59  Temple Place - --
15--  Suite 330, Boston, MA 02111-1307, USA.                          --
16--                                                                  --
17--  As  a special  exception, if  other files  instantiate generics --
18--  from the units  of this program, or if you  link this unit with --
19--  other files  to produce  an executable, this  unit does  not by --
20--  itself cause the resulting executable  to be covered by the GNU --
21--  General  Public  License.   This  exception  does  not  however --
22--  invalidate any  other reasons why the executable  file might be --
23--  covered by the GNU Public License.                              --
24--                                                                  --
25--  This  software is  distributed  in  the hope  that  it will  be --
26--  useful,  but WITHOUT  ANY  WARRANTY; without  even the  implied --
27--  warranty  of  MERCHANTABILITY   or  FITNESS  FOR  A  PARTICULAR --
28--  PURPOSE.                                                        --
29----------------------------------------------------------------------
30
31-- Asis
32with Asis;
33
34package Rules.Non_Static is
35
36   Rule_Id : constant Wide_String := "NON_STATIC";
37
38   procedure Process_Constrained_Array_Definition (Elem : Asis.Type_Definition);
39   procedure Process_Discriminant_Constraint      (Elem : Asis.Constraint);
40   procedure Process_Index_Constraint             (Elem : Asis.Discrete_Range);
41   procedure Process_Instantiation                (Elem : Asis.Declaration);
42   procedure Process_Object_Declaration           (Decl : Asis.Declaration);
43   procedure Process_Index_Expression             (Expr : Asis.Expression);
44
45end Rules.Non_Static;
46