Index (GNAT Reference Manual) (original) (raw)
Index Entry
Section
_
___lock file (for shared passive packages)
GNAT Implementation of Shared Passive Packages
-
-gnat12 option (gcc)
Implementation of Ada 2012 Features
-gnatR (gcc)
Determining the Representations chosen by GNAT
A
Abort_Signal
Attribute Abort_Signal
Abstract_State
Aspect Abstract_State
Access
Attribute Unrestricted_Access
Access values
Attribute Has_Access_Values
Accuracy
RM G 2 4 19 Accuracy Requirements
Accuracy requirements
RM G 1 2 49 Complex Elementary Functions
Ada 2005 Language Reference Manual
What This Reference Manual Contains
Ada 2012 implementation status
Implementation of Ada 2012 Features
Ada 83 attributes
Attribute Emax
Ada 83 attributes
Attribute Epsilon
Ada 83 attributes
Attribute Large
Ada 83 attributes
Attribute Mantissa
Ada 83 attributes
Attribute Safe_Emax
Ada 83 attributes
Attribute Safe_Large
Ada 83 attributes
Attribute Safe_Small
Ada 83 attributes
Attribute Small
Ada 95 Language Reference Manual
What This Reference Manual Contains
Ada Extensions
Pragma Extensions_Allowed
Ada_2012 configuration pragma
Implementation of Ada 2012 Features
Ada.Characters.Handling
RM A 1 52 Names of Predefined Numeric Types
Ada.Characters.Latin_9 (a-chlat9.ads)
Ada Characters Latin_9 a-chlat9 ads
Ada.Characters.Wide_Latin_1 (a-cwila1.ads)
Ada Characters Wide_Latin_1 a-cwila1 ads
Ada.Characters.Wide_Latin_9 (a-cwila9.ads)
Ada Characters Wide_Latin_9 a-cwila9 ads
Ada.Characters.Wide_Wide_Latin_1 (a-chzla1.ads)
Ada Characters Wide_Wide_Latin_1 a-chzla1 ads
Ada.Characters.Wide_Wide_Latin_9 (a-chzla9.ads)
Ada Characters Wide_Wide_Latin_9 a-chzla9 ads
Ada.Command_Line.Environment (a-colien.ads)
Ada Command_Line Environment a-colien ads
Ada.Command_Line.Remove (a-colire.ads)
Ada Command_Line Remove a-colire ads
Ada.Command_Line.Response_File (a-clrefi.ads)
Ada Command_Line Response_File a-clrefi ads
Ada.Containers.Bounded_Holders (a-coboho.ads)
Ada Containers Bounded_Holders a-coboho ads
Ada.Direct_IO.C_Streams (a-diocst.ads)
Ada Direct_IO C_Streams a-diocst ads
Ada.Exceptions.Is_Null_Occurrence (a-einuoc.ads)
Ada Exceptions Is_Null_Occurrence a-einuoc ads
Ada.Exceptions.Last_Chance_Handler (a-elchha.ads)
Ada Exceptions Last_Chance_Handler a-elchha ads
Ada.Exceptions.Traceback (a-exctra.ads)
Ada Exceptions Traceback a-exctra ads
Ada.Sequential_IO.C_Streams (a-siocst.ads)
Ada Sequential_IO C_Streams a-siocst ads
Ada.Streams.Stream_IO.C_Streams (a-ssicst.ads)
Ada Streams Stream_IO C_Streams a-ssicst ads
Ada.Strings.Unbounded.Text_IO (a-suteio.ads)
Ada Strings Unbounded Text_IO a-suteio ads
Ada.Strings.Wide_Unbounded.Wide_Text_IO (a-swuwti.ads)
Ada Strings Wide_Unbounded Wide_Text_IO a-swuwti ads
Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Text_IO (a-szuzti.ads)
Ada Strings Wide_Wide_Unbounded Wide_Wide_Text_IO a-szuzti ads
Ada.Task_Initialization (a-tasini.ads)
Ada Task_Initialization a-tasini ads
Ada.Text_IO.C_Streams (a-tiocst.ads)
Ada Text_IO C_Streams a-tiocst ads
Ada.Text_IO.Reset_Standard_Files (a-tirsfi.ads)
Ada Text_IO Reset_Standard_Files a-tirsfi ads
Ada.Wide_Characters.Unicode (a-wichun.ads)
Ada Wide_Characters Unicode a-wichun ads
Ada.Wide_Text_IO.C_Streams (a-wtcstr.ads)
Ada Wide_Text_IO C_Streams a-wtcstr ads
Ada.Wide_Text_IO.Reset_Standard_Files (a-wrstfi.ads)
Ada Wide_Text_IO Reset_Standard_Files a-wrstfi ads
Ada.Wide_Wide_Characters.Unicode (a-zchuni.ads)
Ada Wide_Wide_Characters Unicode a-zchuni ads
Ada.Wide_Wide_Text_IO.C_Streams (a-ztcstr.ads)
Ada Wide_Wide_Text_IO C_Streams a-ztcstr ads
Ada.Wide_Wide_Text_IO.Reset_Standard_Files (a-zrstfi.ads)
Ada Wide_Wide_Text_IO Reset_Standard_Files a-zrstfi ads
Address
RM 13 5 3 7-8 Bit Ordering
Address
RM 13 7 37 Address as Private
Address Clause
Address Clauses
Address clauses
RM 13 2 6-8 Packed Types
Address image
System Address_Image s-addima ads
Address of subprogram code
Attribute Code_Address
Address_Size
Attribute Address_Size
AI-0002 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0003 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0007 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0008 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0009 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0012 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0015 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0017 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0019 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0026 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0030 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0031 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0032 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0033 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0034 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0035 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0037 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0038 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0039 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0040 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0042 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0043 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0044 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0046 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0050 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0056 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0058 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0060 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0062 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0064 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0065 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0070 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0072 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0073 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0076 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0077 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0078 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0079 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0080 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0087 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0088 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0091 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0093 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0095 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0096 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0097 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0098 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0099 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0100 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0102 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0103 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0104 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0106 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0108 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0109 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0112 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0114 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0116 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0118 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0120 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0122 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0123 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0125 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0126 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0127 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0128 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0129 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0132 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0134 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0137 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0139-2 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0146 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0147 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0152 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0157 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0158 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0161 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0162 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0163 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0171 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0173 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0176 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0177 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0178 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0179 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0181 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0182 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0183 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0185 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0188 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0189 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0190 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0193 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0194 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0195 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0196 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0198 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0199 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0200 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0201 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0203 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0205 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0206 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0207 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0208 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0210 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0211 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0214 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0216 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0219 (Ada 2012 feature)
Implementation of Ada 2012 Features
AI-0220 (Ada 2012 feature)
Implementation of Ada 2012 Features
Alignment
Pragma Optimize_Alignment
Alignment
Attribute Maximum_Alignment
Alignment
Attribute System_Allocator_Alignment
Alignment
Alignment Clauses
Alignment
Alignment Clauses
Alignment Clause
Alignment Clauses
Alignment clauses
RM 13 3 14-19 Address Clauses
Alignments of components
Pragma Component_Alignment
allocator
Attribute System_Allocator_Alignment
Alternative Character Sets
RM 2 8 17-19 Pragmas
AltiVec
GNAT Altivec g-altive ads
AltiVec
GNAT Altivec Conversions g-altcon ads
AltiVec
GNAT Altivec Vector_Operations g-alveop ads
AltiVec
GNAT Altivec Vector_Types g-alvety ads
AltiVec
GNAT Altivec Vector_Views g-alvevi ads
Always_Terminates
Aspect Always_Terminates
Annex E
GNAT Implementation of Shared Passive Packages
Annotate
Aspect Annotate
Anonymous access types
Conventions and Anonymous Access Types
Argument passing mechanisms
Pragma Export_Function
argument removal
Ada Command_Line Remove a-colire ads
Array packing
Pragma Implicit_Packing
Array splitter
GNAT Array_Split g-arrspl ads
Arrays
RM 3 5 7 17 Float Types
Arrays
GNAT Dynamic_Tables g-dyntab ads
Arrays
GNAT Table g-table ads
as private type
RM 13 5 3 7-8 Bit Ordering
Asm_Input
Attribute Asm_Input
Asm_Output
Attribute Asm_Output
Assert_Failure
System Assertions s-assert ads
Assertions
Pragma Check
Assertions
Pragma Check_Policy
Assertions
System Assertions s-assert ads
Async_Readers
Aspect Async_Readers
Async_Writers
Aspect Async_Writers
Atomic Synchronization
Pragma Disable_Atomic_Synchronization
Atomic Synchronization
Pragma Enable_Atomic_Synchronization
Atomic_Always_Lock_Free
Attribute Atomic_Always_Lock_Free
Attribute
Address Clauses
Attribute Loop_Entry
Pragma Unevaluated_Use_Of_Old
Attribute Old
Pragma Unevaluated_Use_Of_Old
AWK
GNAT AWK g-awk ads
B
Biased representation
Biased Representation
Big endian
Attribute Default_Bit_Order
Big endian
Attribute Default_Scalar_Storage_Order
Binary search
GNAT Binary_Search g-binsea ads
Bind environment
GNAT Bind_Environment g-binenv ads
Bit
Attribute Bit
Bit ordering
RM 13 5 2 5 Storage Place Attributes
bit ordering
Bit_Order Clauses
Bit_Order Clause
Bit_Order Clauses
Bit_Position
Attribute Bit_Position
Boolean_Entry_Barriers
Simple_Barriers
Bounded Buffers
GNAT Bounded_Buffers g-boubuf ads
Bounded errors
RM 1 1 3 31 Child Units
Bounded-length strings
RM A 3 2 49 Ada Characters Handling
Branch Prediction
GNAT Branch_Prediction g-brapre ads
Bubble sort
GNAT Bubble_Sort g-bubsor ads
Bubble sort
GNAT Bubble_Sort_A g-busora ads
Bubble sort
GNAT Bubble_Sort_G g-busorg ads
byte ordering
Effect of Bit_Order on Byte Ordering
Byte swapping
GNAT Byte_Swapping g-bytswa ads
C
C
RM B 2 12-13 Package Interfaces
C Streams
Ada Direct_IO C_Streams a-diocst ads
C Streams
Ada Sequential_IO C_Streams a-siocst ads
C Streams
Ada Streams Stream_IO C_Streams a-ssicst ads
C Streams
Ada Text_IO C_Streams a-tiocst ads
C Streams
Ada Wide_Text_IO C_Streams a-wtcstr ads
C Streams
Ada Wide_Wide_Text_IO C_Streams a-ztcstr ads
C streams
Interfaces C Streams i-cstrea ads
Calendar
GNAT Calendar g-calend ads
Calendar
GNAT Calendar Time_IO g-catiio ads
casing
Pragma External_Name_Casing
Casing of External names
Pragma External_Name_Casing
Casing utilities
GNAT Case_Util g-casuti ads
CGI (Common Gateway Interface)
GNAT CGI g-cgi ads
CGI (Common Gateway Interface) cookie support
GNAT CGI Cookie g-cgicoo ads
CGI (Common Gateway Interface) debugging
GNAT CGI Debug g-cgideb ads
Character handling (‘‘GNAT.Case_Util‘‘)
GNAT Case_Util g-casuti ads
Character Sets
RM 2 8 17-19 Pragmas
Check names
Pragma Check_Name
Check pragma control
Pragma Check_Policy
Checks
Pragma Post
Checks
Pragma Postcondition
Checks
Pragma Post_Class
Checks
Pragma Pre
Checks
Pragma Precondition
Checks
Pragma Pre_Class
Checks
RM 11 4 1 19 Exception Information
Child Units
RM 1 1 3 20 Error Detection
COBOL
RM B 3 63-71 Interfacing with C
COBOL support
RM E 5 28-29 Partition Communication Subsystem
Code_Address
Attribute Code_Address
Command line
Ada Command_Line Remove a-colire ads
Command line
Ada Command_Line Response_File a-clrefi ads
Command line
Ada Command_Line Response_File a-clrefi ads
Command line
GNAT Command_Line g-comlin ads
Compatibility (between Ada 83 and Ada 95 / Ada 2005 / Ada 2012)
Compatibility with Ada 83
Compatibility between Ada 95 and Ada 2005
Compatibility between Ada 95 and Ada 2005
Compilation_Date
Compilation_Date
Compilation_ISO_Date
Compilation_ISO_Date
Compilation_Time
Compilation_Time
Compiler Version
GNAT Compiler_Version g-comver ads
Compiler_Version
Attribute Compiler_Version
complex arithmetic
RM G 2 4 19 Accuracy Requirements
Complex arithmetic accuracy
RM G 2 4 19 Accuracy Requirements
Complex elementary functions
RM G 1 1 56-58 Complex Types
Complex types
RM G Numerics
Component Clause
Record Representation Clauses
Component_Size (in pragma Component_Alignment)
Pragma Component_Alignment
Component_Size Clause
Component_Size Clauses
Component_Size clauses
RM 13 3 50-56 Size Clauses
Component_Size_4 (in pragma Component_Alignment)
Pragma Component_Alignment
configuration pragma Ada_2012
Implementation of Ada 2012 Features
Constant_After_Elaboration
Aspect Constant_After_Elaboration
Constrained
Attribute Constrained
Containers
RM A 10 7 23 Get_Immediate
Contract cases
Pragma Contract_Cases
Contract_Cases
Aspect Contract_Cases
control
Pragma Check_Policy
Controlling assertions
Pragma Check_Policy
Convention
Effect of Convention on Representation
Convention for anonymous access types
Conventions and Anonymous Access Types
Conventions
Conventions
Conventions
Pragma Convention_Identifier
Conversion
System Wch_Cnv s-wchcnv ads
Cookie support in CGI
GNAT CGI Cookie g-cgicoo ads
CRC32
GNAT CRC32 g-crc32 ads
Current exception
GNAT Current_Exception g-curexc ads
Current time
GNAT Time_Stamp g-timsta ads
Cyclic Redundancy Check
GNAT CRC32 g-crc32 ads
D
Debug pools
GNAT Debug_Pools g-debpoo ads
Debugging
GNAT Debug_Pools g-debpoo ads
Debugging
GNAT Debug_Utilities g-debuti ads
Debugging
GNAT Exception_Traces g-exctra ads
debugging with Initialize_Scalars
Pragma Initialize_Scalars
DEC Ada 83
Pragma Extend_System
Dec Ada 83 casing compatibility
Pragma External_Name_Casing
Decimal radix support
RM F 7 COBOL Support
Decoding strings
GNAT Decode_String g-decstr ads
Decoding strings
GNAT Decode_UTF8_String g-deutst ads
Decoding UTF-8 strings
GNAT Decode_UTF8_String g-deutst ads
default
Alignment Clauses
Default (in pragma Component_Alignment)
Pragma Component_Alignment
default settings
Pragma Optimize_Alignment
Default_Bit_Order
Attribute Default_Bit_Order
Default_Initial_Condition
Aspect Default_Initial_Condition
Default_Scalar_Storage_Order
Pragma Default_Scalar_Storage_Order
Default_Scalar_Storage_Order
Attribute Default_Scalar_Storage_Order
Default_Storage_Pool
Pragma Default_Storage_Pool
Deferring aborts
Pragma Abort_Defer
defining
Pragma Check_Name
Defining check names
Pragma Check_Name
Depends
Aspect Depends
Deref
Attribute Deref
Descriptor
Attribute Descriptor_Size
Descriptor_Size
Attribute Descriptor_Size
determination of
Determining the Representations chosen by GNAT
Dimension
Aspect Dimension
Dimension_System
Aspect Dimension_System
Directory operations
GNAT Directory_Operations g-dirope ads
Directory operations iteration
GNAT Directory_Operations Iteration g-diopit ads
Disable_Controlled
Aspect Disable_Controlled
Discriminants
Attribute Has_Discriminants
Distribution Systems Annex
GNAT Implementation of Shared Passive Packages
Dope vector
Attribute Descriptor_Size
Dump Memory
GNAT Memory_Dump g-memdum ads
Duration’Small
RM 3 6 2 11 Multidimensional Arrays
E
effect on representation
Effect of Convention on Representation
Effective_Reads
Aspect Effective_Reads
Effective_Writes
Aspect Effective_Writes
Elab_Body
Attribute Elab_Body
Elab_Spec
Attribute Elab_Spec
Elab_Subp_Body
Attribute Elab_Subp_Body
Elaborated
Attribute Elaborated
Elaboration control
Pragma Elaboration_Checks
Elimination of unused subprograms
Pragma Eliminate
Emax
Attribute Emax
Enabled
Attribute Enabled
Enclosing_Entity
Enclosing_Entity
Encoding strings
GNAT Encode_String g-encstr ads
Encoding strings
GNAT Encode_UTF8_String g-enutst ads
Encoding UTF-8 strings
GNAT Encode_UTF8_String g-enutst ads
Endianness
Attribute Scalar_Storage_Order
Endianness
GNAT Byte_Swapping g-bytswa ads
Entry queuing policies
RM D 3 17 Locking Policies
Enum_Rep
Attribute Enum_Rep
Enum_Val
Attribute Enum_Val
enumeration
RM 13 3 71-73 Component Size Clauses
Enumeration representation clauses
RM 13 3 71-73 Component Size Clauses
Enumeration values
RM 3 5 4 29 Integer Types
Environment entries
Ada Command_Line Environment a-colien ads
Epsilon
Attribute Epsilon
Error detection
Implementation Advice
exception
Pragma Prefix_Exception_Messages
Exception
GNAT Most_Recent_Exception g-moreex ads
exception
System Assertions s-assert ads
Exception actions
GNAT Exception_Actions g-excact ads
Exception information
RM 10 2 1 12 Consistent Representation
Exception retrieval
GNAT Current_Exception g-curexc ads
Exception traces
GNAT Exception_Traces g-exctra ads
Exception_Information’
Exception_Information
Exception_Message
Pragma Prefix_Exception_Messages
Exception_Message
Exception_Message
Exception_Name
Exception_Name
Exceptional_Cases
Pragma Exceptional_Cases
Exceptional_Cases
Aspect Exceptional_Cases
Exceptions
GNAT Exceptions g-except ads
exceptions
GNAT Exceptions g-except ads
Exit_Cases
Pragma Exit_Cases
Exit_Cases
Aspect Exit_Cases
Export
RM A 18 Containers
Export
Address Clauses
extendable
GNAT Dynamic_Tables g-dyntab ads
extendable
GNAT Table g-table ads
extending
Pragma Extend_System
extensions for unbounded strings
Ada Strings Unbounded Text_IO a-suteio ads
extensions for unbounded wide strings
Ada Strings Wide_Unbounded Wide_Text_IO a-swuwti ads
extensions for unbounded wide wide strings
Ada Strings Wide_Wide_Unbounded Wide_Wide_Text_IO a-szuzti ads
Extensions_Visible
Aspect Extensions_Visible
External Names
Pragma External_Name_Casing
F
Fast_Math
Attribute Fast_Math
Favor_Top_Level
Aspect Favor_Top_Level
File
File
File locking
GNAT Lock_Files g-locfil ads
Finalization_Size
Attribute Finalization_Size
Fixed_Value
Attribute Fixed_Value
Float types
RM 3 5 5 8 Enumeration Values
Floating-point overflow
Pragma Check_Float_Overflow
Floating-Point Processor
GNAT Float_Control g-flocon ads
foreign
GNAT Threads g-thread ads
Foreign threads
GNAT Threads g-thread ads
Forking a new process
Mapping Ada Tasks onto the Underlying Kernel Threads
Formal container for vectors
Ada Containers Bounded_Holders a-coboho ads
Formatted String
GNAT Formatted_String g-forstr ads
Fortran
RM B 4 95-98 Interfacing with COBOL
From_Any
Attribute From_Any
G
Get_Immediate
RM A 5 2 46-47 Random Number Generation
Get_Immediate
Get_Immediate
Get_Immediate
Interfaces VxWorks IO i-vxwoio ads
Get_Immediate
Interfaces VxWorks IO i-vxwoio ads
Ghost
Aspect Ghost
Ghost_Predicate
Aspect Ghost_Predicate
Global
Aspect Global
global
System Pool_Global s-pooglo ads
Global storage pool
System Pool_Global s-pooglo ads
GNAT Extensions
Pragma Extensions_Allowed
GNAT.Altivec (g-altive.ads)
GNAT Altivec g-altive ads
GNAT.Altivec.Conversions (g-altcon.ads)
GNAT Altivec Conversions g-altcon ads
GNAT.Altivec.Vector_Operations (g-alveop.ads)
GNAT Altivec Vector_Operations g-alveop ads
GNAT.Altivec.Vector_Types (g-alvety.ads)
GNAT Altivec Vector_Types g-alvety ads
GNAT.Altivec.Vector_Views (g-alvevi.ads)
GNAT Altivec Vector_Views g-alvevi ads
GNAT.Array_Split (g-arrspl.ads)
GNAT Array_Split g-arrspl ads
GNAT.AWK (g-awk.ads)
GNAT AWK g-awk ads
GNAT.Binary_Search (g-binsea.ads)
GNAT Binary_Search g-binsea ads
GNAT.Bind_Environment (g-binenv.ads)
GNAT Bind_Environment g-binenv ads
GNAT.Bounded_Buffers (g-boubuf.ads)
GNAT Bounded_Buffers g-boubuf ads
GNAT.Bounded_Mailboxes (g-boumai.ads)
GNAT Bounded_Mailboxes g-boumai ads
GNAT.Branch_Prediction (g-brapre.ads)
GNAT Branch_Prediction g-brapre ads
GNAT.Bubble_Sort (g-bubsor.ads)
GNAT Bubble_Sort g-bubsor ads
GNAT.Bubble_Sort_A (g-busora.ads)
GNAT Bubble_Sort_A g-busora ads
GNAT.Bubble_Sort_G (g-busorg.ads)
GNAT Bubble_Sort_G g-busorg ads
GNAT.Byte_Order_Mark (g-byorma.ads)
GNAT Byte_Order_Mark g-byorma ads
GNAT.Byte_Swapping (g-bytswa.ads)
GNAT Byte_Swapping g-bytswa ads
GNAT.Calendar (g-calend.ads)
GNAT Calendar g-calend ads
GNAT.Calendar.Time_IO (g-catiio.ads)
GNAT Calendar Time_IO g-catiio ads
GNAT.Case_Util (g-casuti.ads)
GNAT Case_Util g-casuti ads
GNAT.CGI (g-cgi.ads)
GNAT CGI g-cgi ads
GNAT.CGI.Cookie (g-cgicoo.ads)
GNAT CGI Cookie g-cgicoo ads
GNAT.CGI.Debug (g-cgideb.ads)
GNAT CGI Debug g-cgideb ads
GNAT.Command_Line (g-comlin.ads)
GNAT Command_Line g-comlin ads
GNAT.Compiler_Version (g-comver.ads)
GNAT Compiler_Version g-comver ads
GNAT.CRC32 (g-crc32.ads)
GNAT CRC32 g-crc32 ads
GNAT.Ctrl_C (g-ctrl_c.ads)
GNAT Ctrl_C g-ctrl_c ads
GNAT.Current_Exception (g-curexc.ads)
GNAT Current_Exception g-curexc ads
GNAT.Debug_Pools (g-debpoo.ads)
GNAT Debug_Pools g-debpoo ads
GNAT.Debug_Utilities (g-debuti.ads)
GNAT Debug_Utilities g-debuti ads
GNAT.Decode_String (g-decstr.ads)
GNAT Decode_String g-decstr ads
GNAT.Decode_UTF8_String (g-deutst.ads)
GNAT Decode_UTF8_String g-deutst ads
GNAT.Directory_Operations (g-dirope.ads)
GNAT Directory_Operations g-dirope ads
GNAT.Directory_Operations.Iteration (g-diopit.ads)
GNAT Directory_Operations Iteration g-diopit ads
GNAT.Dynamic_HTables (g-dynhta.ads)
GNAT Dynamic_HTables g-dynhta ads
GNAT.Dynamic_Tables (g-dyntab.ads)
GNAT Dynamic_Tables g-dyntab ads
GNAT.Encode_String (g-encstr.ads)
GNAT Encode_String g-encstr ads
GNAT.Encode_UTF8_String (g-enutst.ads)
GNAT Encode_UTF8_String g-enutst ads
GNAT.Exception_Actions (g-excact.ads)
GNAT Exception_Actions g-excact ads
GNAT.Exception_Traces (g-exctra.ads)
GNAT Exception_Traces g-exctra ads
GNAT.Exceptions (g-except.ads)
GNAT Exceptions g-except ads
GNAT.Expect (g-expect.ads)
GNAT Expect g-expect ads
GNAT.Expect.TTY (g-exptty.ads)
GNAT Expect TTY g-exptty ads
GNAT.Float_Control (g-flocon.ads)
GNAT Float_Control g-flocon ads
GNAT.Formatted_String (g-forstr.ads)
GNAT Formatted_String g-forstr ads
GNAT.Generic_Fast_Math_Functions (g-gfmafu.ads)
GNAT Generic_Fast_Math_Functions g-gfmafu ads
GNAT.Heap_Sort (g-heasor.ads)
GNAT Heap_Sort g-heasor ads
GNAT.Heap_Sort_A (g-hesora.ads)
GNAT Heap_Sort_A g-hesora ads
GNAT.Heap_Sort_G (g-hesorg.ads)
GNAT Heap_Sort_G g-hesorg ads
GNAT.HTable (g-htable.ads)
GNAT HTable g-htable ads
GNAT.IO (g-io.ads)
GNAT IO g-io ads
GNAT.IO_Aux (g-io_aux.ads)
GNAT IO_Aux g-io_aux ads
GNAT.Lock_Files (g-locfil.ads)
GNAT Lock_Files g-locfil ads
GNAT.MBBS_Discrete_Random (g-mbdira.ads)
GNAT MBBS_Discrete_Random g-mbdira ads
GNAT.MBBS_Float_Random (g-mbflra.ads)
GNAT MBBS_Float_Random g-mbflra ads
GNAT.MD5 (g-md5.ads)
GNAT MD5 g-md5 ads
GNAT.Memory_Dump (g-memdum.ads)
GNAT Memory_Dump g-memdum ads
GNAT.Most_Recent_Exception (g-moreex.ads)
GNAT Most_Recent_Exception g-moreex ads
GNAT.OS_Lib (g-os_lib.ads)
GNAT OS_Lib g-os_lib ads
GNAT.Perfect_Hash_Generators (g-pehage.ads)
GNAT Perfect_Hash_Generators g-pehage ads
GNAT.Random_Numbers (g-rannum.ads)
GNAT Random_Numbers g-rannum ads
GNAT.Regexp (g-regexp.ads)
GNAT Regexp g-regexp ads
GNAT.Registry (g-regist.ads)
GNAT Registry g-regist ads
GNAT.Regpat (g-regpat.ads)
GNAT Regpat g-regpat ads
GNAT.Rewrite_Data (g-rewdat.ads)
GNAT Rewrite_Data g-rewdat ads
GNAT.Secondary_Stack_Info (g-sestin.ads)
GNAT Secondary_Stack_Info g-sestin ads
GNAT.Semaphores (g-semaph.ads)
GNAT Semaphores g-semaph ads
GNAT.Serial_Communications (g-sercom.ads)
GNAT Serial_Communications g-sercom ads
GNAT.SHA1 (g-sha1.ads)
GNAT SHA1 g-sha1 ads
GNAT.SHA224 (g-sha224.ads)
GNAT SHA224 g-sha224 ads
GNAT.SHA256 (g-sha256.ads)
GNAT SHA256 g-sha256 ads
GNAT.SHA384 (g-sha384.ads)
GNAT SHA384 g-sha384 ads
GNAT.SHA512 (g-sha512.ads)
GNAT SHA512 g-sha512 ads
GNAT.Signals (g-signal.ads)
GNAT Signals g-signal ads
GNAT.Sockets (g-socket.ads)
GNAT Sockets g-socket ads
GNAT.Source_Info (g-souinf.ads)
GNAT Source_Info g-souinf ads
GNAT.Spelling_Checker (g-speche.ads)
GNAT Spelling_Checker g-speche ads
GNAT.Spelling_Checker_Generic (g-spchge.ads)
GNAT Spelling_Checker_Generic g-spchge ads
GNAT.Spitbol (g-spitbo.ads)
GNAT Spitbol g-spitbo ads
GNAT.Spitbol.Patterns (g-spipat.ads)
GNAT Spitbol Patterns g-spipat ads
GNAT.Spitbol.Table_Boolean (g-sptabo.ads)
GNAT Spitbol Table_Boolean g-sptabo ads
GNAT.Spitbol.Table_Integer (g-sptain.ads)
GNAT Spitbol Table_Integer g-sptain ads
GNAT.Spitbol.Table_VString (g-sptavs.ads)
GNAT Spitbol Table_VString g-sptavs ads
GNAT.SSE (g-sse.ads)
GNAT SSE g-sse ads
GNAT.SSE.Vector_Types (g-ssvety.ads)
GNAT SSE Vector_Types g-ssvety ads
GNAT.String_Hash (g-strhas.ads)
GNAT String_Hash g-strhas ads
GNAT.String_Split (g-strspl.ads)
GNAT String_Split g-strspl ads
GNAT.Strings (g-string.ads)
GNAT Strings g-string ads
GNAT.Table (g-table.ads)
GNAT Table g-table ads
GNAT.Task_Lock (g-tasloc.ads)
GNAT Task_Lock g-tasloc ads
GNAT.Threads (g-thread.ads)
GNAT Threads g-thread ads
GNAT.Time_Stamp (g-timsta.ads)
GNAT Time_Stamp g-timsta ads
GNAT.Traceback (g-traceb.ads)
GNAT Traceback g-traceb ads
GNAT.Traceback.Symbolic (g-trasym.ads)
GNAT Traceback Symbolic g-trasym ads
GNAT.UTF_32 (g-utf_32.ads)
GNAT UTF_32 g-utf_32 ads
GNAT.UTF_32_Spelling_Checker (g-u3spch.ads)
GNAT UTF_32_Spelling_Checker g-u3spch ads
GNAT.Wide_Spelling_Checker (g-wispch.ads)
GNAT Wide_Spelling_Checker g-wispch ads
GNAT.Wide_String_Split (g-wistsp.ads)
GNAT Wide_String_Split g-wistsp ads
GNAT.Wide_Wide_Spelling_Checker (g-zspche.ads)
GNAT Wide_Wide_Spelling_Checker g-zspche ads
GNAT.Wide_Wide_String_Split (g-zistsp.ads)
GNAT Wide_Wide_String_Split g-zistsp ads
H
handling long command lines
Ada Command_Line Response_File a-clrefi ads
Handling of Records with Holes
Handling of Records with Holes
Has_Access_Values
Attribute Has_Access_Values
Has_Discriminants
Attribute Has_Discriminants
Has_Tagged_Values
Attribute Has_Tagged_Values
Hash functions
GNAT Perfect_Hash_Generators g-pehage ads
Hash functions
GNAT String_Hash g-strhas ads
Hash tables
GNAT Dynamic_HTables g-dynhta ads
Hash tables
GNAT HTable g-htable ads
Heap usage
RM 13 9 14-17 Unchecked Conversion
I
I/O interfacing
Interfaces VxWorks IO i-vxwoio ads
IBM Packed Format
Interfaces Packed_Decimal i-pacdec ads
Image
System Address_Image s-addima ads
Img
Attribute Img
Immediate_Reclamation
Immediate_Reclamation
Implementation-dependent features
About This Guide
implicit
RM 13 9 14-17 Unchecked Conversion
Import
Address Clauses
Initial_Condition
Aspect Initial_Condition
Initialization
Pragma Suppress_Initialization
Initialized
Attribute Initialized
Initializes
Aspect Initializes
Inline_Always
Aspect Inline_Always
Input/Output facilities
GNAT IO g-io ads
Input/Output facilities
GNAT IO_Aux g-io_aux ads
Integer maps
GNAT Spitbol Table_Integer g-sptain ads
Integer types
RM 3 5 2 5 Alternative Character Sets
Integer_Value
Attribute Integer_Value
Interfaces
RM B 1 39-41 Pragma Export
Interfaces.C.Extensions (i-cexten.ads)
Interfaces C Extensions i-cexten ads
Interfaces.C.Streams (i-cstrea.ads)
Interfaces C Streams i-cstrea ads
Interfaces.Packed_Decimal (i-pacdec.ads)
Interfaces Packed_Decimal i-pacdec ads
Interfaces.VxWorks (i-vxwork.ads)
Interfaces VxWorks i-vxwork ads
Interfaces.VxWorks.IO (i-vxwoio.ads)
Interfaces VxWorks IO i-vxwoio ads
interfacing
Interfaces C Streams i-cstrea ads
interfacing
Interfaces VxWorks i-vxwork ads
Interfacing to C++
Pragma CPP_Virtual
Interfacing to C++
Pragma Propagate_Exceptions
Interfacing to VxWorks
Interfaces VxWorks i-vxwork ads
Interfacing to VxWorks’ I/O
Interfaces VxWorks IO i-vxwoio ads
interfacing with
RM B 2 12-13 Package Interfaces
interfacing with
RM B 3 63-71 Interfacing with C
interfacing with
RM B 4 95-98 Interfacing with COBOL
Interfacing with ‘‘Text_IO‘‘
Ada Text_IO C_Streams a-tiocst ads
Interfacing with ‘‘Wide_Text_IO‘‘
Ada Wide_Text_IO C_Streams a-wtcstr ads
Interfacing with ‘‘Wide_Wide_Text_IO‘‘
Ada Wide_Wide_Text_IO C_Streams a-ztcstr ads
Interfacing with C++
Pragma CPP_Class
Interfacing with C++
Pragma CPP_Constructor
Interfacing with C++
Pragma CPP_Vtable
Interfacing with Direct_IO
Ada Direct_IO C_Streams a-diocst ads
Interfacing with Sequential_IO
Ada Sequential_IO C_Streams a-siocst ads
Interfacing with Stream_IO
Ada Streams Stream_IO C_Streams a-ssicst ads
Interrupt
GNAT Ctrl_C g-ctrl_c ads
Interrupt support
RM C 1 10-16 Access to Machine Operations
Interrupts
RM C 3 1 20-21 Protected Procedure Handlers
Intrinsic operator
Intrinsic Operators
Intrinsic Subprograms
Intrinsic Subprograms
Invalid representations
Pragma Assume_No_Invalid_Values
Invalid values
Pragma Assume_No_Invalid_Values
Invalid_Value
Attribute Invalid_Value
Invariant
Aspect Invariant
Invariant’Class
Aspect Invariant’Class
IO support
Ada Strings Unbounded Text_IO a-suteio ads
IO support
Ada Strings Wide_Unbounded Wide_Text_IO a-swuwti ads
IO support
Ada Strings Wide_Wide_Unbounded Wide_Wide_Text_IO a-szuzti ads
Iterable
Aspect Iterable
L
Large
Attribute Large
Latin_1 constants for Wide_Character
Ada Characters Wide_Latin_1 a-cwila1 ads
Latin_1 constants for Wide_Wide_Character
Ada Characters Wide_Wide_Latin_1 a-chzla1 ads
Latin_9 constants for Character
Ada Characters Latin_9 a-chlat9 ads
Latin_9 constants for Wide_Character
Ada Characters Wide_Latin_9 a-cwila9 ads
Latin_9 constants for Wide_Wide_Character
Ada Characters Wide_Wide_Latin_9 a-chzla9 ads
Latin-1
Changed semantics
Library_Level
Attribute Library_Level
License checking
Pragma License
Line
Line
Linker_Section
Aspect Linker_Section
Little endian
Attribute Default_Bit_Order
Little endian
Attribute Default_Scalar_Storage_Order
local
System Pool_Local s-pooloc ads
Local storage pool
System Pool_Local s-pooloc ads
Local_Restrictions
Aspect Local_Restrictions
Lock_Free
Aspect Lock_Free
Locking
GNAT Task_Lock g-tasloc ads
Locking Policies
RM C 7 2 30 The Package Task_Attributes
Locking using files
GNAT Lock_Files g-locfil ads
Loop_Entry
Attribute Loop_Entry
M
Machine Code insertions
Machine Code Insertions
Machine operations
RM B 5 22-26 Interfacing with Fortran
Machine_Size
Attribute Machine_Size
Mailboxes
GNAT Bounded_Mailboxes g-boumai ads
Mantissa
Attribute Mantissa
Maps
GNAT Spitbol Table_Integer g-sptain ads
Maps
GNAT Spitbol Table_VString g-sptavs ads
Mathematical functions
GNAT Generic_Fast_Math_Functions g-gfmafu ads
Max_Asynchronous_Select_Nesting
Max_Asynchronous_Select_Nesting
Max_Entry_Queue_Depth
Max_Entry_Queue_Length
Max_Entry_Queue_Length
Max_Entry_Queue_Length
Max_Integer_Size
Attribute Max_Integer_Size
Max_Protected_Entries
Max_Protected_Entries
Max_Queue_Length
Aspect Max_Queue_Length
Max_Select_Alternatives
Max_Select_Alternatives
Max_Storage_At_Blocking
Max_Storage_At_Blocking
Max_Task_Entries
Max_Task_Entries
Max_Tasks
Max_Tasks
maximum
Attribute Maximum_Alignment
Maximum_Alignment
Attribute Maximum_Alignment
Maximum_Alignment attribute
Alignment Clauses
Mechanism_Code
Attribute Mechanism_Code
Memory allocation
System Memory s-memory ads
Memory corruption debugging
GNAT Debug_Pools g-debpoo ads
Memory-mapped I/O
Use of Address Clauses for Memory-Mapped I/O
Message Digest MD5
GNAT MD5 g-md5 ads
monotonic
RM D 7 21 Tasking Restrictions
multidimensional
RM 3 5 7 17 Float Types
Multidimensional arrays
RM 3 5 7 17 Float Types
Multiprocessor interface
System Multiprocessors s-multip ads
Multiprocessor interface
System Multiprocessors Dispatching_Domains s-mudido ads
N
Named assertions
Pragma Check
Named assertions
Pragma Check_Policy
Named numbers
Attribute Universal_Literal_String
No_Abort_Statements
No_Abort_Statements
No_Access_Parameter_Allocators
No_Access_Parameter_Allocators
No_Access_Subprograms
No_Access_Subprograms
No_Allocators
No_Allocators
No_Anonymous_Allocators
No_Anonymous_Allocators
No_Asynchronous_Control
No_Asynchronous_Control
No_Caching
Aspect No_Caching
No_Calendar
No_Calendar
No_Coextensions
No_Coextensions
No_Default_Initialization
No_Default_Initialization
No_Delay
No_Delay
No_Dependence
No_Dependence
No_Direct_Boolean_Operators
No_Direct_Boolean_Operators
No_Dispatch
No_Dispatch
No_Dispatching_Calls
No_Dispatching_Calls
No_Dynamic_Accessibility_Checks
No_Dynamic_Accessibility_Checks
No_Dynamic_Attachment
No_Dynamic_Attachment
No_Dynamic_Interrupts
No_Dynamic_Attachment
No_Dynamic_Priorities
No_Dynamic_Priorities
No_Dynamic_Sized_Objects
No_Dynamic_Sized_Objects
No_Elaboration_Code
No_Elaboration_Code
No_Elaboration_Code_All
Aspect No_Elaboration_Code_All
No_Entry_Calls_In_Elaboration_Code
No_Entry_Calls_In_Elaboration_Code
No_Entry_Queue
No_Entry_Queue
No_Enumeration_Maps
No_Enumeration_Maps
No_Exception_Handlers
No_Exception_Handlers
No_Exception_Propagation
No_Exception_Propagation
No_Exception_Registration
No_Exception_Registration
No_Exceptions
No_Exceptions
No_Finalization
No_Finalization
No_Fixed_Point
No_Fixed_Point
No_Floating_Point
No_Floating_Point
No_Implementation_Aspect_Specifications
No_Implementation_Aspect_Specifications
No_Implementation_Attributes
No_Implementation_Attributes
No_Implementation_Identifiers
No_Implementation_Identifiers
No_Implementation_Pragmas
No_Implementation_Pragmas
No_Implementation_Restrictions
No_Implementation_Restrictions
No_Implementation_Units
No_Implementation_Units
No_Implicit_Aliasing
No_Implicit_Aliasing
No_Implicit_Conditionals
No_Implicit_Conditionals
No_Implicit_Dynamic_Code
No_Implicit_Dynamic_Code
No_Implicit_Heap_Allocations
No_Implicit_Heap_Allocations
No_Implicit_Loops
No_Implicit_Loops
No_Implicit_Protected_Object_Allocations
No_Implicit_Protected_Object_Allocations
No_Implicit_Task_Allocations
No_Implicit_Task_Allocations
No_Initialize_Scalars
No_Initialize_Scalars
No_Inline
Aspect No_Inline
No_IO
No_IO
No_Local_Allocators
No_Local_Allocators
No_Local_Protected_Objects
No_Local_Protected_Objects
No_Local_Tagged_Types
No_Local_Tagged_Types
No_Local_Timing_Events
No_Local_Timing_Events
No_Long_Long_Integers
No_Long_Long_Integers
No_Multiple_Elaboration
No_Multiple_Elaboration
No_Nested_Finalization
No_Nested_Finalization
No_Obsolescent_Features
No_Obsolescent_Features
No_Protected_Type_Allocators
No_Protected_Type_Allocators
No_Protected_Types
No_Protected_Types
No_Raise
Aspect No_Raise
No_Recursion
No_Recursion
No_Reentrancy
No_Reentrancy
No_Relative_Delay
No_Relative_Delay
No_Requeue
No_Requeue_Statements
No_Requeue_Statements
No_Requeue_Statements
No_Secondary_Stack
No_Secondary_Stack
No_Select_Statements
No_Select_Statements
No_Specific_Termination_Handlers
No_Specific_Termination_Handlers
No_Specification_of_Aspect
No_Specification_of_Aspect
No_Standard_Allocators_After_Elaboration
No_Standard_Allocators_After_Elaboration
No_Standard_Storage_Pools
No_Standard_Storage_Pools
No_Stream_Optimizations
No_Stream_Optimizations
No_Streams
No_Streams
No_Tagged_Streams
Aspect No_Tagged_Streams
No_Tagged_Type_Registration
No_Tagged_Type_Registration
No_Task_Allocators
No_Task_Allocators
No_Task_At_Interrupt_Priority
No_Task_At_Interrupt_Priority
No_Task_Attributes
No_Task_Attributes_Package
No_Task_Attributes_Package
No_Task_Attributes_Package
No_Task_Hierarchy
No_Task_Hierarchy
No_Task_Parts
Aspect No_Task_Parts
No_Task_Termination
No_Task_Termination
No_Tasking
No_Tasking
No_Terminate_Alternatives
No_Terminate_Alternatives
No_Unchecked_Access
No_Unchecked_Access
No_Unchecked_Conversion
No_Unchecked_Conversion
No_Unchecked_Deallocation
No_Unchecked_Deallocation
No_Use_Of_Attribute
No_Use_Of_Attribute
No_Use_Of_Entity
No_Use_Of_Entity
No_Use_Of_Pragma
No_Use_Of_Pragma
No_Wide_Characters
No_Wide_Characters
Null_Occurrence
Ada Exceptions Is_Null_Occurrence a-einuoc ads
Null_Occurrence
Ada Exceptions Last_Chance_Handler a-elchha ads
Null_Parameter
Attribute Null_Parameter
Numerics
RM F 1 2 Decimal Radix Support
O
Object_Size
Aspect Object_Size
Object_Size
Attribute Object_Size
Object_Size
Value_Size and Object_Size Clauses
Obsolescent
Aspect Obsolescent
obtaining most recent
GNAT Most_Recent_Exception g-moreex ads
of an address
System Address_Image s-addima ads
of bits
Bit_Order Clauses
of bytes
Effect of Bit_Order on Byte Ordering
of compiler
GNAT Compiler_Version g-comver ads
of objects
Value_Size and Object_Size Clauses
Old
Attribute Old
on ‘‘Address‘‘
RM 13 7 37 Address as Private
Operating System interface
GNAT OS_Lib g-os_lib ads
Operations
RM 13 7 37 Address as Private
operations of
RM 13 7 37 Address as Private
ordering
Bit_Order Clauses
ordering
Effect of Bit_Order on Byte Ordering
Overlaying of objects
Address Clauses
P
Package ‘‘Interrupts‘‘
RM C 3 1 20-21 Protected Procedure Handlers
Package Interfaces
RM B 1 39-41 Pragma Export
Package Task_Attributes
RM C 5 8 Pragma Discard_Names
Packed Decimal
Interfaces Packed_Decimal i-pacdec ads
Packed types
RM 13 1 21-24 Representation Clauses
Parameters
Attribute Mechanism_Code
Parameters
Attribute Passed_By_Reference
Parsing
GNAT AWK g-awk ads
Parsing
GNAT Bounded_Buffers g-boubuf ads
Parsing
GNAT Bounded_Mailboxes g-boumai ads
Part_Of
Aspect Part_Of
Partition communication subsystem
RM D 8 47-49 Monotonic Time
Partition interfacing functions
System Partition_Interface s-parint ads
Passed_By_Reference
Attribute Passed_By_Reference
passing
Attribute Null_Parameter
Passing by copy
Pragma C_Pass_By_Copy
passing mechanism
Attribute Mechanism_Code
passing mechanism
Attribute Mechanism_Code
Pattern matching
GNAT Regexp g-regexp ads
Pattern matching
GNAT Regpat g-regpat ads
Pattern matching
GNAT Spitbol Patterns g-spipat ads
PCS
RM D 8 47-49 Monotonic Time
Persistent_BSS
Aspect Persistent_BSS
Pool_Address
Attribute Pool_Address
Portability
About This Guide
Post
Pragma Post
Post
Pragma Post_Class
Postcondition
Pragma Postcondition
postconditions
Pragma Post
postconditions
Pragma Postcondition
postconditions
Pragma Post_Class
Pragma
Representation Clauses and Pragmas
pragma Ada_2012
Implementation of Ada 2012 Features
Pragma Component_Alignment
Pragma Component_Alignment
Pragma Pack (for arrays)
Pragma Pack for Arrays
Pragma Pack (for records)
Pragma Pack for Records
Pragma Pack (for type Natural)
Pragma Pack for Arrays
Pragma Pack warning
Pragma Pack for Arrays
pragma Shared_Passive
GNAT Implementation of Shared Passive Packages
Pragmas
Pragma Rename_Pragma
Pragmas
RM 1 1 5 12 Bounded Errors
Pre
Pragma Pre
Pre_Class
Pragma Pre_Class
Pre-elaboration requirements
RM C 3 2 25 Package Interrupts
preconditions
Pragma Pre
Preconditions
Pragma Precondition
preconditions
Pragma Precondition
preconditions
Pragma Pre_Class
Predicate
Aspect Predicate
Preemptive abort
RM D 4 16 Entry Queuing Policies
Prefix_Exception_Messages
Pragma Prefix_Exception_Messages
Protected procedure handlers
RM C 3 28 Interrupt Support
Pure
GNAT Exceptions g-except ads
Pure packages
GNAT Exceptions g-except ads
Pure_Barriers
Pure_Barriers
Pure_Function
Aspect Pure_Function
R
Random number generation
RM A 4 4 106 Bounded-Length String Handling
Random number generation
GNAT MBBS_Discrete_Random g-mbdira ads
Random number generation
GNAT MBBS_Float_Random g-mbflra ads
Random number generation
GNAT Random_Numbers g-rannum ads
Range_Length
Attribute Range_Length
Rational compatibility
Pragma Overriding_Renamings
Rational Profile
Pragma Implicit_Packing
Rational profile
Pragma Overriding_Renamings
Rational profile
Pragma Use_VADS_Size
Read attribute
RM 13 13 2 1 6 Stream Oriented Attributes
Real-Time Systems Annex compliance
Ensuring Compliance with the Real-Time Annex
Record Representation Clause
Record Representation Clauses
Record representation clauses
RM 13 4 9-10 Enumeration Representation Clauses
records
RM 13 4 9-10 Enumeration Representation Clauses
Refined_Depends
Aspect Refined_Depends
Refined_Global
Aspect Refined_Global
Refined_Initialization
Aspect Relaxed_Initialization
Refined_Post
Aspect Refined_Post
Refined_State
Aspect Refined_State
Regular expressions
GNAT Regexp g-regexp ads
Regular expressions
GNAT Regpat g-regpat ads
Remote_Access_Type
Aspect Remote_Access_Type
Removing command line arguments
Ada Command_Line Remove a-colire ads
representation
Representation Clauses and Pragmas
Representation
Determining the Representations chosen by GNAT
Representation
System Wch_Cnv s-wchcnv ads
Representation Clause
Representation Clauses and Pragmas
Representation clauses
RM 11 5 28 Suppression of Checks
Representation clauses
RM 13 3 71-73 Component Size Clauses
Representation clauses
RM 13 4 9-10 Enumeration Representation Clauses
Representation Clauses
Representation Clauses and Pragmas
representation of
Attribute Universal_Literal_String
Representation of enums
Attribute Enum_Rep
Representation of enums
Attribute Enum_Val
Representation of wide characters
System Wch_Cnv s-wchcnv ads
Representation Pragma
Representation Clauses and Pragmas
response file
Ada Command_Line Response_File a-clrefi ads
Response file for command line
Ada Command_Line Response_File a-clrefi ads
Restriction_Set
Attribute Restriction_Set
Restrictions
Attribute Restriction_Set
Restrictions definitions
System Rident s-rident ads
Result
Attribute Result
Return values
Attribute Mechanism_Code
Rewrite data
GNAT Rewrite_Data g-rewdat ads
Rotate_Left
Shifts and Rotates
Rotate_Right
Shifts and Rotates
Round
Attribute Round
Run-time restrictions access
System Restrictions s-restri ads
S
Safe_Emax
Attribute Safe_Emax
Safe_Large
Attribute Safe_Large
Safe_Small
Attribute Safe_Small
Scalar storage order
Attribute Scalar_Storage_Order
Scalar_Storage_Order
Pragma Default_Scalar_Storage_Order
Scalar_Storage_Order
Aspect Scalar_Storage_Order
Scalar_Storage_Order
Attribute Scalar_Storage_Order
Secondary Stack Info
GNAT Secondary_Stack_Info g-sestin ads
Secondary_Stack_Size
Aspect Secondary_Stack_Size
Secure Hash Algorithm SHA-1
GNAT SHA1 g-sha1 ads
Secure Hash Algorithm SHA-224
GNAT SHA224 g-sha224 ads
Secure Hash Algorithm SHA-256
GNAT SHA256 g-sha256 ads
Secure Hash Algorithm SHA-384
GNAT SHA384 g-sha384 ads
Secure Hash Algorithm SHA-512
GNAT SHA512 g-sha512 ads
Semaphores
GNAT Semaphores g-semaph ads
Sequential elaboration policy
RM G 2 6 15 Complex Arithmetic Accuracy
Serial_Communications
GNAT Serial_Communications g-sercom ads
Sets of strings
GNAT Spitbol Table_Boolean g-sptabo ads
setting for not-first subtype
Attribute Value_Size
Shared
Aspect Shared
Shared passive packages
GNAT Implementation of Shared Passive Packages
SHARED_MEMORY_DIRECTORY environment variable
GNAT Implementation of Shared Passive Packages
Shift operators
Pragma Provide_Shift_Operators
Shift_Left
Shifts and Rotates
Shift_Right
Shifts and Rotates
Shift_Right_Arithmetic
Shifts and Rotates
Side_Effects
Aspect Side_Effects
Signals
GNAT Signals g-signal ads
simple
Pragma Simple_Storage_Pool_Type
simple
Attribute Simple_Storage_Pool
Simple I/O
GNAT IO g-io ads
Simple storage pool
Pragma Simple_Storage_Pool_Type
Simple storage pool
Attribute Simple_Storage_Pool
Simple_Barriers
Simple_Barriers
Simple_Storage_Pool
Aspect Simple_Storage_Pool
Simple_Storage_Pool
Attribute Simple_Storage_Pool
Simple_Storage_Pool_Type
Aspect Simple_Storage_Pool_Type
Size
Pragma Use_VADS_Size
Size
Attribute Object_Size
Size
Attribute VADS_Size
Size
Attribute Value_Size
Size
Size of Variant Record Objects
size
Size of Variant Record Objects
Size
Value_Size and Object_Size Clauses
Size Clause
Size Clauses
Size clauses
RM 13 3 29-35 Alignment Clauses
Size for biased representation
Biased Representation
Size of ‘‘Address‘‘
Attribute Address_Size
Small
Attribute Small
Small
Attribute Small_Denominator
Small
Attribute Small_Numerator
Small_Denominator
Attribute Small_Denominator
Small_Numerator
Attribute Small_Numerator
Sockets
GNAT Sockets g-socket ads
Sorting
GNAT Bubble_Sort g-bubsor ads
Sorting
GNAT Bubble_Sort_A g-busora ads
Sorting
GNAT Bubble_Sort_G g-busorg ads
Sorting
GNAT Heap_Sort g-heasor ads
Sorting
GNAT Heap_Sort_A g-hesora ads
Sorting
GNAT Heap_Sort_G g-hesorg ads
Source Information
GNAT Source_Info g-souinf ads
Source_Location
Source_Location
SPARK_05
SPARK_05
SPARK_Mode
Aspect SPARK_Mode
Spawn capability
GNAT OS_Lib g-os_lib ads
Spell checking
GNAT Spelling_Checker g-speche ads
Spell checking
GNAT Spelling_Checker_Generic g-spchge ads
Spell checking
GNAT UTF_32_Spelling_Checker g-u3spch ads
Spell checking
GNAT Wide_Spelling_Checker g-wispch ads
Spell checking
GNAT Wide_Wide_Spelling_Checker g-zspche ads
SPITBOL interface
GNAT Spitbol g-spitbo ads
SPITBOL pattern matching
GNAT Spitbol Patterns g-spipat ads
SPITBOL Tables
GNAT Spitbol Table_Boolean g-sptabo ads
SPITBOL Tables
GNAT Spitbol Table_Integer g-sptain ads
SPITBOL Tables
GNAT Spitbol Table_VString g-sptavs ads
Static_Dispatch_Tables
Static_Dispatch_Tables
Static_Priorities
Static_Priorities
Static_Storage_Size
Static_Storage_Size
Storage place attributes
RM 13 5 1 17-22 Record Representation Clauses
Storage pool
Pragma Simple_Storage_Pool_Type
Storage pool
Attribute Simple_Storage_Pool
Storage pool
System Pool_Global s-pooglo ads
Storage pool
System Pool_Local s-pooloc ads
Storage_Size Clause
Storage_Size Clauses
Storage_Unit
Attribute Storage_Unit
Storage_Unit (in pragma Component_Alignment)
Pragma Component_Alignment
Stream files
Treating Text_IO Files as Streams
Stream operations
System Strings Stream_Ops s-ststop ads
Stream oriented attributes
RM 13 11 2 17 Unchecked Deallocation
Stream oriented attributes
RM 13 13 2 1 6 Stream Oriented Attributes
String decoding
GNAT Decode_String g-decstr ads
String encoding
GNAT Encode_String g-encstr ads
String maps
GNAT Spitbol Table_VString g-sptavs ads
String splitter
GNAT String_Split g-strspl ads
String stream operations
System Strings Stream_Ops s-ststop ads
Stub_Type
Attribute Stub_Type
Subprogram address
Attribute Code_Address
Subprogram_Variant
Pragma Subprogram_Variant
Subprogram_Variant
Aspect Subprogram_Variant
subtypes
Alignment Clauses
Super
Attribute Super
Suppress_Debug_Info
Aspect Suppress_Debug_Info
Suppress_Initialization
Aspect Suppress_Initialization
Suppressing external name
Pragma Export_Function
Suppressing external name
Pragma Export_Procedure
Suppressing external name
Pragma Export_Valued_Procedure
Suppressing initialization
Pragma Suppress_Initialization
suppression of
Pragma Suppress_Initialization
suppression of
RM 11 4 1 19 Exception Information
Suppression of checks
RM 11 4 1 19 Exception Information
synonyms
Pragma Convention_Identifier
synonyms
Pragma Rename_Pragma
System
Pragma Extend_System
System_Allocator_Alignment
Attribute System_Allocator_Alignment
System.Address_Image (s-addima.ads)
System Address_Image s-addima ads
System.Assertions (s-assert.ads)
System Assertions s-assert ads
System.Atomic_Counters (s-atocou.ads)
System Atomic_Counters s-atocou ads
System.Memory (s-memory.ads)
System Memory s-memory ads
System.Multiprocessors (s-multip.ads)
System Multiprocessors s-multip ads
System.Multiprocessors.Dispatching_Domains (s-mudido.ads)
System Multiprocessors Dispatching_Domains s-mudido ads
System.Partition_Interface (s-parint.ads)
System Partition_Interface s-parint ads
System.Pool_Global (s-pooglo.ads)
System Pool_Global s-pooglo ads
System.Pool_Local (s-pooloc.ads)
System Pool_Local s-pooloc ads
System.Restrictions (s-restri.ads)
System Restrictions s-restri ads
System.Rident (s-rident.ads)
System Rident s-rident ads
System.Strings.Stream_Ops (s-ststop.ads)
System Strings Stream_Ops s-ststop ads
System.Unsigned_Types (s-unstyp.ads)
System Unsigned_Types s-unstyp ads
System.Wch_Cnv (s-wchcnv.ads)
System Wch_Cnv s-wchcnv ads
System.Wch_Con (s-wchcon.ads)
System Wch_Con s-wchcon ads
T
Table implementation
GNAT Dynamic_Tables g-dyntab ads
Table implementation
GNAT Table g-table ads
Tagged values
Attribute Has_Tagged_Values
Target_Name
Attribute Target_Name
Task locking
GNAT Task_Lock g-tasloc ads
Task specific storage
Pragma Thread_Local_Storage
Task synchronization
GNAT Task_Lock g-tasloc ads
Task_Attributes
Pragma Thread_Local_Storage
Task_Attributes
RM C 5 8 Pragma Discard_Names
Tasking restrictions
RM D 6 9-10 Preemptive Abort
Test cases
Pragma Test_Case
Test_Case
Aspect Test_Case
testing for
Attribute Has_Access_Values
testing for
Attribute Has_Discriminants
testing for
Attribute Has_Tagged_Values
testing for
Ada Exceptions Is_Null_Occurrence a-einuoc ads
testing for
Ada Exceptions Last_Chance_Handler a-elchha ads
Text_IO
Ada Strings Unbounded Text_IO a-suteio ads
Text_IO
Ada Strings Wide_Unbounded Wide_Text_IO a-swuwti ads
Text_IO
Ada Strings Wide_Wide_Unbounded Wide_Wide_Text_IO a-szuzti ads
Text_IO
GNAT IO_Aux g-io_aux ads
Text_IO extensions
Text_IO Extensions
Text_IO for unbounded strings
Text_IO Facilities for Unbounded Strings
Text_IO operations
Text_IO Facilities for Unbounded Strings
Text_IO resetting standard files
Ada Text_IO Reset_Standard_Files a-tirsfi ads
Thread_Local_Storage
Aspect Thread_Local_Storage
Threads
GNAT Threads g-thread ads
Time
RM D 7 21 Tasking Restrictions
Time
GNAT Calendar Time_IO g-catiio ads
Time stamp
GNAT Time_Stamp g-timsta ads
TLS (Thread Local Storage)
Pragma Thread_Local_Storage
To_Address
Attribute To_Address
To_Address
Address Clauses
To_Any
Attribute To_Any
Trace back facilities
GNAT Traceback g-traceb ads
Trace back facilities
GNAT Traceback Symbolic g-trasym ads
Traceback for Exception Occurrence
Ada Exceptions Traceback a-exctra ads
trampoline
No_Implicit_Dynamic_Code
Type_Class
Attribute Type_Class
Type_Key
Attribute Type_Key
TypeCode
Attribute TypeCode
typographical
Conventions
Typographical conventions
Conventions
U
Unbounded_String
Text_IO Facilities for Unbounded Strings
Unbounded_String
Ada Strings Unbounded Text_IO a-suteio ads
Unbounded_Wide_String
Ada Strings Wide_Unbounded Wide_Text_IO a-swuwti ads
Unbounded_Wide_Wide_String
Ada Strings Wide_Wide_Unbounded Wide_Wide_Text_IO a-szuzti ads
Unchecked conversion
RM 13 7 1 16 Address Operations
Unchecked deallocation
RM 13 11 23-25 Implicit Heap Usage
Unconstrained_Array
Attribute Unconstrained_Array
Unevaluated_Use_Of_Old
Pragma Unevaluated_Use_Of_Old
Unicode
GNAT Decode_String g-decstr ads
Unicode
GNAT Decode_UTF8_String g-deutst ads
Unicode
GNAT Encode_String g-encstr ads
Unicode
GNAT Encode_UTF8_String g-enutst ads
Unicode categorization
Ada Wide_Characters Unicode a-wichun ads
Unicode categorization
Ada Wide_Wide_Characters Unicode a-zchuni ads
Unions in C
Pragma Unchecked_Union
Universal_Aliasing
Aspect Universal_Aliasing
Universal_Literal_String
Attribute Universal_Literal_String
unmodified
Pragma Unmodified
Unmodified
Aspect Unmodified
unreferenced
Pragma Unreferenced
unreferenced
Pragma Unreferenced_Objects
Unreferenced
Aspect Unreferenced
Unreferenced_Objects
Aspect Unreferenced_Objects
unrestricted
Attribute Unrestricted_Access
Unrestricted_Access
Attribute Unrestricted_Access
unused
Pragma Unused
Update
Attribute Update
used for objects
Attribute Object_Size
User_Aspect
Aspect User_Aspect
UTF-8
GNAT Decode_String g-decstr ads
UTF-8
GNAT Decode_UTF8_String g-deutst ads
UTF-8
GNAT Encode_String g-encstr ads
UTF-8
GNAT Encode_UTF8_String g-enutst ads
UTF-8 representation
GNAT Byte_Order_Mark g-byorma ads
UTF-8 string decoding
GNAT Decode_UTF8_String g-deutst ads
UTF-8 string encoding
GNAT Encode_UTF8_String g-enutst ads
V
VADS compatibility
Pragma Use_VADS_Size
VADS compatibility
Attribute VADS_Size
VADS_Size
Attribute VADS_Size
Valid_Scalars
Attribute Valid_Scalars
Valid_Value
Attribute Valid_Value
Value_Size
Aspect Value_Size
Value_Size
Attribute Value_Size
Value_Size
Value_Size and Object_Size Clauses
variant record objects
Size of Variant Record Objects
Variant record objects
Size of Variant Record Objects
Version
GNAT Compiler_Version g-comver ads
Volatile_Full_Access
Aspect Volatile_Full_Access
Volatile_Function
Aspect Volatile_Function
VxWorks
Interfaces VxWorks i-vxwork ads
VxWorks
Interfaces VxWorks IO i-vxwoio ads
VxWorks
Interfaces VxWorks IO i-vxwoio ads
VxWorks
Interfaces VxWorks IO i-vxwoio ads
W
Warnings
Pragma Unmodified
Warnings
Pragma Unreferenced
Warnings
Pragma Unreferenced_Objects
Warnings
Pragma Unused
Warnings
Aspect Warnings
Wchar_T_Size
Attribute Wchar_T_Size
when passed by reference
Attribute Passed_By_Reference
Wide characte representations
GNAT Byte_Order_Mark g-byorma ads
Wide Character
System Wch_Cnv s-wchcnv ads
Wide character codes
GNAT UTF_32 g-utf_32 ads
Wide character decoding
GNAT Decode_UTF8_String g-deutst ads
Wide character encoding
GNAT Decode_String g-decstr ads
Wide character encoding
GNAT Encode_String g-encstr ads
Wide character encoding
GNAT Encode_UTF8_String g-enutst ads
Wide String
System Wch_Cnv s-wchcnv ads
Wide_Character
Ada Wide_Characters Unicode a-wichun ads
Wide_String splitter
GNAT Wide_String_Split g-wistsp ads
Wide_Text_IO resetting standard files
Ada Wide_Text_IO Reset_Standard_Files a-wrstfi ads
Wide_Wide_Character
Ada Wide_Wide_Characters Unicode a-zchuni ads
Wide_Wide_String splitter
GNAT Wide_Wide_String_Split g-zistsp ads
Wide_Wide_Text_IO resetting standard files
Ada Wide_Wide_Text_IO Reset_Standard_Files a-zrstfi ads
Windows Registry
GNAT Registry g-regist ads
Word_Size
Attribute Word_Size
Write attribute
RM 13 13 2 1 6 Stream Oriented Attributes
X
XDR representation
RM 13 13 2 1 6 Stream Oriented Attributes
Z
Zero address
Attribute Null_Parameter