ASIS-for-GNAT Reference Manual

The GNAT Ada Compiler
GNAT GPL Edition, Version gpl-2014
Configuration level: 223953
Date: 2014/03/03

Copyright (C) 2000-2009, AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "ASIS-for-GNAT Reference Manual", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

About This Manual
1. ASIS-for-GNAT and the ASIS Standard
2. ASIS Extensions
3. Implementation-Specific Features and Implementation Permissions
4. Debugging Information
A. GNU Free Documentation License
Index

 -- The Detailed Node Listing --- About This Manual

What This Manual Contains
What You Should Know Before Reading This Manual
Related Information

ASIS-for-GNAT and the ASIS Standard ASIS Extensions

2.1 Asis.Extensions
2.2 Asis.Extensions.Flat_Kinds
2.3 Asis.Extensions.Iterator

Implementation-Specific Features and Implementation Permissions

3.1 Interacting with the Underlying Ada Implementation
3.1.1 Format of the Parameters String
3.1.2 Parameters of Asis.Implementation.Initialize
3.1.3 Parameters of Asis.Implementation.Finalize
3.1.4 Parameters of Asis.Ada_Environments.Associate
3.2 Implementation Permissions
3.2.1 Asis.Implementation.Permissions Queries
3.2.2 Processing Implicit Elements
3.2.3 Processing Several Contexts at a Time
3.2.4 Implementation-Defined Types and Values
3.3 ASIS Queries Having Specific Implementation Permissions or Implementation-Specific Results
3.4 Processing of Predefined Input-Output Packages
3.5 Representation clauses and `-gnatI' GNAT option
3.6 Dynamic Context Modes

Debugging Information

4.1 Interpreting Debug Images
4.2 ASIS Debug Flags

Index