ASIS-for-GNAT Reference Manual¶
GNAT, The GNU Ada Development Environment
The GNAT Ada Compiler
Version 22.0w
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with the Front-Cover Texts being “GNAT Reference Manual”, and with no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.
- 1. About This Manual
- 2. ASIS-for-GNAT and the ASIS Standard
- 3. ASIS Extensions
- 4. Implementation-Specific Features and Implementation Permissions
- 4.1. Interacting with the Underlying Ada Implementation
- 4.2. Implementation Permissions
- 4.3. ASIS Queries Having Specific Implementation Permissions or Implementation-Specific Results
- 4.4. Processing of Predefined Input-Output Packages
- 4.5. Representation clauses and
-gnatI
GNAT option - 4.6. Dynamic
Context
Modes
- 5. Debugging Information