ASIS-for-GNAT Reference Manual

GNAT, The GNU Ada Development Environment

The GNAT Ada Compiler

Version 2017

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
  • 3.1. Asis.Extensions
  • 3.2. Asis.Extensions.Flat_Kinds
  • 3.3. Asis.Extensions.Iterator
• 4. Implementation-Specific Features and Implementation Permissions
  • 4.1. Interacting with the Underlying Ada Implementation
    • 4.1.1. Format of the Parameters String
    • 4.1.2. Parameters of Asis.Implementation.Initialize
    • 4.1.3. Parameters of Asis.Implementation.Finalize
    • 4.1.4. Parameters of Asis.Ada_Environments.Associate
  • 4.2. Implementation Permissions
    • 4.2.1. Asis.Implementation.Permissions Queries
    • 4.2.2. Processing Implicit Elements
    • 4.2.3. Processing Several Contexts at a Time
    • 4.2.4. Implementation-Defined Types and Values
  • 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
  • 5.1. Interpreting Debug Images
  • 5.2. ASIS Debug Flags

• GNU Free Documentation License