------------------------------------------------------------------------------ -- -- -- GNATSTUB COMPONENTS -- -- -- -- G N A T S T U B . D R I V E R -- -- -- -- S p e c -- -- -- -- -- -- Copyright (c) 1997-1999, Free Software Foundation, Inc. -- -- -- -- Gnatstub is free software; you can redistribute it and/or modify it -- -- under terms of the GNU General Public License as published by the Free -- -- Software Foundation; either version 2, or (at your option) any later -- -- version. Gnatstub is distributed in the hope that it will be useful, -- -- but WITHOUT ANY WARRANTY; without even the implied warranty of MER- -- -- CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General -- -- Public License for more details. You should have received a copy of the -- -- GNU General Public License distributed with GNAT; see file COPYING. If -- -- not, write to the Free Software Foundation, 59 Temple Place Suite 330, -- -- Boston, MA 02111-1307, USA. -- -- -- -- Gnatstub is distributed as a part of the ASIS implementation for GNAT -- -- (ASIS-for-GNAT). -- -- -- -- Gnatstub was originally developed by Alexei Kuchumov as a part of -- -- collaboration between Software Engineering Laboratory of the Swiss -- -- Federal Institute of Technology in Lausanne, Switzerland, and the -- -- Scientific Research Computer Center of the Moscow State University, -- -- Russia. This work was supported by a grant from the Swiss National -- -- Science Foundation, no 7SUPJ048247, funding a project "Development of -- -- ASIS for GNAT with industry quality". -- -- -- -- Gnatstub is now maintained by Ada Core Technologies Inc -- -- (http://www.gnat.com). -- ------------------------------------------------------------------------------ procedure Gnatstub.Driver; -- This is the top-level gnatstub driver. It reads the command-line arguments, -- check the relations between gnatstub options and existing files and -- creates a body sampler if possible and necessary.