1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
.\" Hey, Emacs! This is an -*- nroff -*- source file.
.\"
.\" Copyright (C) 2006 Ludovic Brenta <ludovic@ludovic-brenta.org>
.\"
.\" This is free software; you can redistribute it and/or modify it under
.\" the terms of the GNU General Public License as published by the Free
.\" Software Foundation; either version 2, or (at your option) any later
.\" version.
.\"
.\" This is distributed in the hope that it will be useful, but WITHOUT
.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 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 with
.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not,
.\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth
.\" Floor, Boston, MA 02110-1301 USA.
.\"
.TH "ASISTANT" 1 "May 2006" "GNU Ada Tools" "ASIS Tools"
.SH NAME
\fBasistant\fR \- interactive command-line ASIS tool
.SH SYNOPSIS
\fBasistant\fR \fIprogram\fR
.SH DESCRIPTION
.PP
ASIS is the Ada Semantic Interface Specification; it is an application
programming interface that allows Ada programs to inspect the
structure of other Ada programs. GNAT, the GNU Ada compiler, can
parse Ada source text and produce tree files suitable for use through
ASIS.
.PP
\fBasistant\fR is an interactive command-line tool with a simple
language that allows you to inspect the semantic information about a
compiled program. Thus you can learn ASIS and try ASIS queries
interactively before writing them in your programs.
.SH AUTHOR
.PP
ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the
Software Engineering Laboratory of the Swiss Federal Institute of
Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the
Scientific Research Computer Center of Moscow State University (SRCC
MSU), Russia, with funding partially provided by grants from the Swiss
National Science Foundation and the Swiss Academy of Engineering
Sciences. ASIS-for-GNAT is now maintained by AdaCore
(http://www.adacore.com).
.PP
This manual page was written by Ludovic Brenta
<ludovic@ludovic-brenta.org> for the Debian project,
.SH COPYRIGHT
Copyright (c) 1995-2006, Free Software Foundation, Inc.
.SH SEE ALSO
.PP
display_source(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1), gnatstub(1)
.PP
A short introduction to \fBasistant\fR in
\fI/usr/share/doc/libasis-dev/tutorial/using_asistant/README\fR
.TP
\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide, provided by by package
\fBlibasis-doc\fR in the Info system, and in text, PDF and HTML
formats in \fI/usr/share/doc/libasis-doc\fR. (\fBasis-doc\fR is in
the non-free section of Debian).
.TP
\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual, same package.
|
