ASIS-for-GNAT Reference Manual: ASIS-for-GNAT and the ASIS Standard

[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# 1. ASIS-for-GNAT and the ASIS Standard

ASIS-for-GNAT implements ASIS 95(2) and contains several extensions (see 2. ASIS Extensions) as allowed by the ASIS Standard, Section 1.1.3.1.

ASIS-for-GNAT declares all of the required(3) ASIS interface packages defined in the ASIS Standard. The only differences between the GNAT Pro and the standard ASIS versions of the packages are that GNAT-for-ASIS:

- includes GNAT-specific comment headers at the beginning of each source file;

- supplies additional context clauses;

- defines the packages' private parts;

- is formatted to comply with GNAT coding style;

- declares the `Is_Dispatching_Operation` query in `Asis.Declarations`. rather than in `Asis.Expressions`. This query has `A_Declaration` `Element` as its argument and, according to the general principles of the ASIS package hierarchy, it should be in the `Asis.Declarations` spec;

- includes extensions that support features introduced in Ada 2005.

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by GNAT Mailserver on November, 5 2011 using texi2html