Ada 95 Reference Manual Supplement

Edited by

Chris Nettleton


XGC Ada is commercial open-source software distributed under the terms of the GNU Public license. Permission is granted to make and distribute verbatim copies of this document provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this document under the conditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this document into another language, under the above conditions for modified versions.


XGC Ada is based on technology originally developed by the GNAT team at New York University and now maintained by Ada Core Technologies, Inc., and includes software from the GNU C compiler, debugger and binary utilities developed by and on behalf of the Free Software Foundation, Inc., Cambridge, Massachusetts.

The chapters on advice, attributes, characteristics, compatibility, and pragmas are based on text from the GNAT Reference Manual, Version 3.11.

Table of Contents
About This Manual
Related Documents
Reader's Comments
Documentation Conventions
1. Implementation-Defined Pragmas
pragma Ada_83 -- 
pragma Ada_95 -- 
pragma Annotate -- 
pragma Assert -- 
pragma C_Pass_By_Copy -- 
pragma Common_Object -- 
pragma Complex_Representation -- 
pragma Component_Alignment -- 
pragma Debug -- 
pragma Export_Function -- 
pragma Export_Object -- 
pragma Export_Procedure -- 
pragma Export_Valued_Procedure -- 
pragma Ident -- 
pragma Import_Function -- 
pragma Import_Object -- 
pragma Import_Procedure -- 
pragma Import_Valued_Procedure -- 
pragma Interface_Name -- 
pragma Linker_Alias -- 
pragma Linker_Section -- 
pragma Normalize_Scalars -- 
pragma Machine_Attribute -- 
pragma No_Return -- 
pragma Profile -- 
pragma Psect_Object -- 
pragma Pure_Function -- 
pragma Share_Generic -- 
pragma Source_File_Name -- 
pragma Source_Reference -- 
pragma Subtitle -- 
pragma Suppress_All -- 
pragma Title -- 
pragma Unchecked_Union -- 
pragma Unimplemented_Unit -- 
pragma Unsuppress -- 
pragma Warnings -- 
pragma Weak_External -- 
2. Implementation-Defined Attributes
3. Implementation Advice
3.1. Section 1: General
3.2. Section 2: Lexical Elements
3.3. Section 3: Declarations and Types
3.4. Section 9: Tasking
3.5. Section 10: Program Structure and Compilation Issues
3.6. Section 11: Exceptions
3.7. Section 13: Representation Issues
3.8. Annex A: Predefined Language Environment
3.9. Annex B: Interface to Other Languages
3.10. Annex C: Systems Programming
3.11. Annex D: Real-Time Systems
3.12. Annex E: Distributed Systems
3.13. Annex F: Information Systems
3.14. Annex G: Numerics
4. Implementation-Defined Library Packages
4.1. The Package XGC
4.2. The Package Ada.Interrupts.Names
4.3. The Package Text_IO
5. Machine Code Insertions
5.1. Constraints for Operands
5.1.1. Simple Constraints
5.1.2. Multiple Alternative Constraints
5.1.3. Constraint Modifier Characters
6. Compatibility Guide
6.1. Compatibility with Ada 83
6.2. Compatibility with Other Ada 95 Systems
6.3. Representation Clauses
A. Restrictions and Profiles
B. The Predefined Library
List of Tables
A-1. Supported Profiles
A-2. Profiles and Restrictions
A-3. Profiles and Numerical Restrictions
B-1. Predefined Library Units