1
------------------------------------------------------------------------------
3
-- GNATSTUB COMPONENTS --
5
-- G N A T S T U B . D R I V E R --
11
-- Copyright (c) 1997-2000, Free Software Foundation, Inc. --
13
-- Gnatstub is free software; you can redistribute it and/or modify it --
14
-- under terms of the GNU General Public License as published by the Free --
15
-- Software Foundation; either version 2, or (at your option) any later --
16
-- version. Gnatstub is distributed in the hope that it will be useful, --
17
-- but WITHOUT ANY WARRANTY; without even the implied warranty of MER- --
18
-- CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
19
-- Public License for more details. You should have received a copy of the --
20
-- GNU General Public License distributed with GNAT; see file COPYING. If --
21
-- not, write to the Free Software Foundation, 59 Temple Place Suite 330, --
22
-- Boston, MA 02111-1307, USA. --
24
-- Gnatstub is distributed as a part of the ASIS implementation for GNAT --
25
-- (ASIS-for-GNAT). --
27
-- Gnatstub was originally developed by Alexei Kuchumov as a part of --
28
-- collaboration between Software Engineering Laboratory of the Swiss --
29
-- Federal Institute of Technology in Lausanne, Switzerland, and the --
30
-- Scientific Research Computer Center of the Moscow State University, --
31
-- Russia. This work was supported by a grant from the Swiss National --
32
-- Science Foundation, no 7SUPJ048247, funding a project "Development of --
33
-- ASIS for GNAT with industry quality". --
35
-- Gnatstub is now maintained by Ada Core Technologies Inc --
36
-- (http://www.gnat.com). --
37
------------------------------------------------------------------------------
39
with Ada.Exceptions; use Ada.Exceptions;
40
with Ada.Text_IO; use Ada.Text_IO;
42
with Gnatstub.Sampler; use Gnatstub.Sampler;
43
with Gnatstub.Options; use Gnatstub.Options;
45
procedure Gnatstub.Driver is
49
if not Initialized then
59
if Exception_Identity (Ex) = Program_Error'Identity and then
60
Exception_Message (Ex) = "Inconsistent versions of GNAT and ASIS"
64
Put ("is inconsistent with the GNAT version");
66
Put ("Check your installation of GNAT, ASIS and the GNAT toolset");
69
Put ("Unexpected bug in ");
72
Put (Exception_Name (Ex));
73
Put (" was raised: ");
75
if Exception_Message (Ex)'Length = 0 then
76
Put_Line ("(no exception message)");
78
Put_Line (Exception_Message (Ex));
81
Put_Line ("Please report to report@gnat.com");