------------------------------------------------------------------------------ -- -- -- ASIS Tester And iNTerpreter (ASIStant) COMPONENTS -- -- -- -- A S I S T A N T . H E L P -- -- -- -- S p e c -- -- -- -- Copyright (c) 1997-2000, Free Software Foundation, Inc. -- -- -- -- ASIStant 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. ASIStant 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. -- -- -- -- ASIStant is an evolution of ASIStint tool that was created by -- -- Vasiliy Fofanov as part of a collaboration between Software Engineering -- -- Laboratory of the Swiss Federal Institute of Technology in Lausanne, -- -- Switzerland, and the Scientific Research Computer Center of the Moscow -- -- University, Russia, supported by the Swiss National Science Foundation -- -- grant #7SUPJ048247, "Development of ASIS for GNAT with industry quality" -- -- -- -- ASIStant is distributed as a part of the ASIS implementation for GNAT -- -- (ASIS-for-GNAT) and is maintained by Ada Core Technologies Inc -- -- (http://www.gnat.com). -- ------------------------------------------------------------------------------ with ASIStant.S_Parser; use ASIStant.S_Parser; with Asis.Extensions.Flat_Kinds; use Asis.Extensions.Flat_Kinds; package ASIStant.Help is ------------------------------------------------------------------------------ -- ASIStant Help System ------------------------------------------------------------------------------ procedure Help (NP : Node_Position); -- Help system: provides -- general help -- help on ASIStant commands -- help on ASIS queries procedure ASISHelp; -- ASIS and ASIStant tech info procedure Display_Kind_Help (K : Flat_Element_Kinds); -- Displays list of applicable queries for a given extended Element kind end ASIStant.Help;