[ < ] | [ > ] | [ << ] | [ 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). It provides information about ASIS-for-GNAT’s implementation-specific(1) characteristics and current implementation limitations.
GNAT implements both Ada 95 and Ada 2005. As of January 2008, the ASIS standard is specific to Ada 95 and has not yet been updated to Ada 2005. Notwithstanding the status of the ASIS standard, ASIS-for-GNAT includes extensions that account for the new Ada 2005 functionality. You can therefore use ASIS-for-GNAT for Ada 2005 programs, keeping in mind that the Ada 2005-specific support may subsequently change as work on updating the ASIS standard proceeds.
For further information on ASIS-for-GNAT and Ada 2005, please refer to the auxiliary documents ‘asis-2005-transition.txt’ and ‘features-asis2005’ in the ASIS source directory.
ASIS-for-GNAT also supports some of the language features proposed for the next language revision (Ada 2015), for more information please refer to the auxiliary document ‘features-asis2015’ in the ASIS source directory.
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] | [ ? ] |
This document was generated by root on February 6, 2012 using texi2html 1.82.