1------------------------------------------------------------------------------
2--                                                                          --
3--                         GNAT COMPILER COMPONENTS                         --
4--                                                                          --
5--                               B C H E C K                                --
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
26package Bcheck is
27
28--  This package contains the routines to perform binder consistency checks
29
30   procedure Check_Duplicated_Subunits;
31   --  Check that no subunit names duplicate names of other packages in
32   --  the partition (check required by RM 10.2(19)).
33
34   procedure Check_Versions;
35   --  Check correct library and standard versions used
36
37   procedure Check_Consistency;
38   --  This procedure performs checks that the ALI files are consistent
39   --  with the corresponding source files and with one another. At the
40   --  time this is called, the Source table has been completely built and
41   --  contains either the time stamp from the actual source file if the
42   --  Check_Source_Files mode is set, or the latest stamp found in any of
43   --  the ALI files in the program.
44
45   procedure Check_Configuration_Consistency;
46   --  This procedure performs a similar check that configuration pragma
47   --  set items that are required to be consistent are in fact consistent
48
49end Bcheck;
50