ASIS-for-GNAT User's Guide: Footnotes

[Top] | [Contents] | [Index] | [ ? ]

# Footnotes

### (1)

It may seem that an Ada unit such as

    package Pack is
      type T is array(Positive range <>) of Float;
      procedure Proc(X : in out T);
    end Pack;

is a package specification, but in fact the "specification" (as defined in the Ada Reference Manual) comprises all but the final semicolon. The form with the final semicolon is known as a "package declaration". Since this official term is not familiar to most Ada users, the GNAT documentation uses the term "spec" (for a unit) to mean that unit's declaration - thus a package spec includes the final semicolon.

### (2)

The ``.adb'` is optional

### (3)

This is not a violation of the requirement stated in the ASIS definition that only ASIS-defined exceptions are allowed to propagate outside ASIS queries, because in this case you do not have ASIS-for-GNAT properly installed and therefore you do not have a valid ASIS implementation.

### (4)

You do not have to do this if you have installed ASIS from the binary distribution, because the executable for `asistant` has been added to other GNAT executables

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