2. ASIS-for-GNAT and the ASIS StandardΒΆ
ASIS-for-GNAT implements ASIS 95 and contains several extensions (see ASIS Extensions) as allowed by the ASIS Standard, Section 1.1.3.1.
The differences between the GNAT and standard ASIS are that ASIS-for-GNAT:
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 inAsis.Declarations
rather than inAsis.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 theAsis.Declarations
spec;for the optional Data Decomposition Annex, the package
Asis.Data_Decomposition.Portable_Transfer
is not provided;includes extensions that support features introduced in Ada 2005.