[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT's implementation of the Ada Semantic Interface Specification (ASIS 95). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.
ASIS has been designed as a portable basis for many kinds of Ada code analysis tools. However, for situations where a developer may need to exploit the characteristics of a particular Ada compiler, ASIS also contains a number of implementation-specific features. These allow interfacing with the underlying Ada implementation, as well as exploiting the implementation permissions for particular queries.
Of course, any ASIS application that uses implementation-specific features may be nonportable. You should follow good programming practice and isolate and clearly document any sections of your program that make use of such features in a nonportable manner.
What This Manual Contains What You Should Know Before Reading This Manual Related Information
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This manual contains the following chapters:
Asis.Extensions
, Asis.Extensions.Flat_Kinds
and
Asis.Extensions.Iterator
.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This Reference Manual assumes that you are familiar with Ada 95 language as defined by the International Standard ISO/IEC-8652:1995, and with ASIS 95 as defined by the ASIS 95 International Standard ISO/IEC 15291:1999.
This Manual supplements the information presented in the ASIS-for-GNAT User's Guide and uses the terminology introduced there.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
For more information, please refer to the following documents:
[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |