GNAT Pro Reference Manual

The GNAT Pro Ada Compiler
GNAT Pro Version 6.4.0w
Document revision level 167204
Date: 2010/08/28

AdaCore

Copyright (C) 1995-2010, Free Software Foundation

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 "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 Guide
1. Implementation Defined Pragmas
2. Implementation Defined Attributes
3. Implementation Advice
4. Implementation Defined Characteristics
5. Intrinsic Subprograms
6. Representation Clauses and Pragmas
7. Standard Library Routines
8. The Implementation of Standard I/O
9. The GNAT Library
10. Interfacing to Other Languages
11. Specialized Needs Annexes
12. Implementation of Specific Ada Features
13. Obsolescent Features
A. GNU Free Documentation License
Index

 -- The Detailed Node Listing --- About This Guide

What This Reference Manual Contains
Related Information

Implementation Defined Pragmas

Pragma Abort_Defer
Pragma Ada_83
Pragma Ada_95
Pragma Ada_05
Pragma Ada_2005
Pragma Ada_12
Pragma Ada_2012
Pragma Annotate
Pragma Assert
Pragma Assume_No_Invalid_Values
Pragma Ast_Entry
Pragma C_Pass_By_Copy
Pragma Check
Pragma Check_Name
Pragma Check_Policy
Pragma Comment
Pragma Common_Object
Pragma Compile_Time_Error
Pragma Compile_Time_Warning
Pragma Compiler_Unit
Pragma Complete_Representation
Pragma Complex_Representation
Pragma Component_Alignment
Pragma Convention_Identifier
Pragma CPP_Class
Pragma CPP_Constructor
Pragma CPP_Virtual
Pragma CPP_Vtable
Pragma Debug
Pragma Debug_Policy
Pragma Detect_Blocking
Pragma Elaboration_Checks
Pragma Eliminate
Pragma Export_Exception
Pragma Export_Function
Pragma Export_Object
Pragma Export_Procedure
Pragma Export_Value
Pragma Export_Valued_Procedure
Pragma Extend_System
Pragma Extensions_Allowed
Pragma External
Pragma External_Name_Casing
Pragma Fast_Math
Pragma Favor_Top_Level
Pragma Finalize_Storage_Only
Pragma Float_Representation
Pragma Ident
Pragma Implemented
Pragma Implicit_Packing
Pragma Import_Exception
Pragma Import_Function
Pragma Import_Object
Pragma Import_Procedure
Pragma Import_Valued_Procedure
Pragma Initialize_Scalars
Pragma Inline_Always
Pragma Inline_Generic
Pragma Interface
Pragma Interface_Name
Pragma Interrupt_Handler
Pragma Interrupt_State
Pragma Keep_Names
Pragma License
Pragma Link_With
Pragma Linker_Alias
Pragma Linker_Constructor
Pragma Linker_Destructor
Pragma Linker_Section
Pragma Long_Float
Pragma Machine_Attribute
Pragma Main
Pragma Main_Storage
Pragma No_Body
Pragma No_Return
Pragma No_Strict_Aliasing
Pragma Normalize_Scalars
Pragma Obsolescent
Pragma Optimize_Alignment
Pragma Ordered
Pragma Passive
Pragma Persistent_BSS
Pragma Polling
Pragma Postcondition
Pragma Precondition
Pragma Profile (Ravenscar)
Pragma Profile (Restricted)
Pragma Psect_Object
Pragma Pure_Function
Pragma Restriction_Warnings
Pragma Shared
Pragma Short_Circuit_And_Or
Pragma Short_Descriptors
Pragma Source_File_Name
Pragma Source_File_Name_Project
Pragma Source_Reference
Pragma Stream_Convert
Pragma Style_Checks
Pragma Subtitle
Pragma Suppress
Pragma Suppress_All
Pragma Suppress_Exception_Locations
Pragma Suppress_Initialization
Pragma Task_Info
Pragma Task_Name
Pragma Task_Storage
Pragma Thread_Local_Storage
Pragma Time_Slice
Pragma Title
Pragma Unchecked_Union
Pragma Unimplemented_Unit
Pragma Universal_Aliasing
Pragma Universal_Data
Pragma Unmodified
Pragma Unreferenced
Pragma Unreferenced_Objects
Pragma Unreserve_All_Interrupts
Pragma Unsuppress
Pragma Use_VADS_Size
Pragma Validity_Checks
Pragma Volatile
Pragma Warnings
Pragma Weak_External
Pragma Wide_Character_Encoding

Implementation Defined Attributes

Abort_Signal
Address_Size
Asm_Input
Asm_Output
AST_Entry
Bit
Bit_Position
Compiler_Version
Code_Address
Default_Bit_Order
Elaborated
Elab_Body
Elab_Spec
Emax
Enabled
Enum_Rep
Enum_Val
Epsilon
Fixed_Value
Has_Access_Values
Has_Discriminants
Img
Integer_Value
Invalid_Value
Large
Machine_Size
Mantissa
Max_Interrupt_Priority
Max_Priority
Maximum_Alignment
Mechanism_Code
Null_Parameter
Object_Size
Old
Passed_By_Reference
Pool_Address
Range_Length
Result
Safe_Emax
Safe_Large
Small
Storage_Unit
Stub_Type
Target_Name
Tick
To_Address
Type_Class
UET_Address
Unconstrained_Array
Universal_Literal_String
Unrestricted_Access
VADS_Size
Value_Size
Wchar_T_Size
Word_Size

The Implementation of Standard I/O

8.1 Standard I/O Packages
8.2 FORM Strings
8.3 Direct_IO
8.4 Sequential_IO
8.5 Text_IO
8.6 Wide_Text_IO
8.7 Wide_Wide_Text_IO
8.8 Stream_IO
8.9 Text Translation
8.10 Shared Files
8.11 Filenames encoding
8.12 Open Modes
8.13 Operations on C Streams
8.14 Interfacing to C Streams

The GNAT Library

9.1 Ada.Characters.Latin_9 (`a-chlat9.ads')
9.2 Ada.Characters.Wide_Latin_1 (`a-cwila1.ads')
9.3 Ada.Characters.Wide_Latin_9 (`a-cwila1.ads')
9.4 Ada.Characters.Wide_Wide_Latin_1 (`a-chzla1.ads')
9.5 Ada.Characters.Wide_Wide_Latin_9 (`a-chzla9.ads')
9.6 Ada.Command_Line.Environment (`a-colien.ads')
9.7 Ada.Command_Line.Remove (`a-colire.ads')
9.8 Ada.Command_Line.Response_File (`a-clrefi.ads')
9.9 Ada.Direct_IO.C_Streams (`a-diocst.ads')
9.10 Ada.Exceptions.Is_Null_Occurrence (`a-einuoc.ads')
9.11 Ada.Exceptions.Last_Chance_Handler (`a-elchha.ads')
9.12 Ada.Exceptions.Traceback (`a-exctra.ads')
9.13 Ada.Sequential_IO.C_Streams (`a-siocst.ads')
9.14 Ada.Streams.Stream_IO.C_Streams (`a-ssicst.ads')
9.15 Ada.Strings.Unbounded.Text_IO (`a-suteio.ads')
9.16 Ada.Strings.Wide_Unbounded.Wide_Text_IO (`a-swuwti.ads')
9.17 Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Text_IO (`a-szuzti.ads')
9.18 Ada.Text_IO.C_Streams (`a-tiocst.ads')
9.19 Ada.Text_IO.Reset_Standard_Files (`a-tirsfi.ads')
9.20 Ada.Wide_Characters.Unicode (`a-wichun.ads')
9.21 Ada.Wide_Text_IO.C_Streams (`a-wtcstr.ads')
9.22 Ada.Wide_Text_IO.Reset_Standard_Files (`a-wrstfi.ads')
9.23 Ada.Wide_Wide_Characters.Unicode (`a-zchuni.ads')
9.24 Ada.Wide_Wide_Text_IO.C_Streams (`a-ztcstr.ads')
9.25 Ada.Wide_Wide_Text_IO.Reset_Standard_Files (`a-zrstfi.ads')
9.26 GNAT.Altivec (`g-altive.ads')
9.27 GNAT.Altivec.Conversions (`g-altcon.ads')
9.28 GNAT.Altivec.Vector_Operations (`g-alveop.ads')
9.29 GNAT.Altivec.Vector_Types (`g-alvety.ads')
9.30 GNAT.Altivec.Vector_Views (`g-alvevi.ads')
9.31 GNAT.Array_Split (`g-arrspl.ads')
9.32 GNAT.AWK (`g-awk.ads')
9.33 GNAT.Bounded_Buffers (`g-boubuf.ads')
9.34 GNAT.Bounded_Mailboxes (`g-boumai.ads')
9.35 GNAT.Bubble_Sort (`g-bubsor.ads')
9.36 GNAT.Bubble_Sort_A (`g-busora.ads')
9.37 GNAT.Bubble_Sort_G (`g-busorg.ads')
9.38 GNAT.Byte_Order_Mark (`g-byorma.ads')
9.39 GNAT.Byte_Swapping (`g-bytswa.ads')
9.40 GNAT.Calendar (`g-calend.ads')
9.41 GNAT.Calendar.Time_IO (`g-catiio.ads')
9.43 GNAT.Case_Util (`g-casuti.ads')
9.44 GNAT.CGI (`g-cgi.ads')
9.45 GNAT.CGI.Cookie (`g-cgicoo.ads')
9.46 GNAT.CGI.Debug (`g-cgideb.ads')
9.47 GNAT.Command_Line (`g-comlin.ads')
9.48 GNAT.Compiler_Version (`g-comver.ads')
9.49 GNAT.Ctrl_C (`g-ctrl_c.ads')
9.42 GNAT.CRC32 (`g-crc32.ads')
9.50 GNAT.Current_Exception (`g-curexc.ads')
9.51 GNAT.Debug_Pools (`g-debpoo.ads')
9.52 GNAT.Debug_Utilities (`g-debuti.ads')
9.53 GNAT.Decode_String (`g-decstr.ads')
9.54 GNAT.Decode_UTF8_String (`g-deutst.ads')
9.55 GNAT.Directory_Operations (`g-dirope.ads')
9.56 GNAT.Directory_Operations.Iteration (`g-diopit.ads')
9.57 GNAT.Dynamic_HTables (`g-dynhta.ads')
9.58 GNAT.Dynamic_Tables (`g-dyntab.ads')
9.59 GNAT.Encode_String (`g-encstr.ads')
9.60 GNAT.Encode_UTF8_String (`g-enutst.ads')
9.61 GNAT.Exception_Actions (`g-excact.ads')
9.62 GNAT.Exception_Traces (`g-exctra.ads')
9.63 GNAT.Exceptions (`g-expect.ads')
9.64 GNAT.Expect (`g-expect.ads')
9.65 GNAT.Float_Control (`g-flocon.ads')
9.66 GNAT.Heap_Sort (`g-heasor.ads')
9.67 GNAT.Heap_Sort_A (`g-hesora.ads')
9.68 GNAT.Heap_Sort_G (`g-hesorg.ads')
9.69 GNAT.HTable (`g-htable.ads')
9.70 GNAT.IO (`g-io.ads')
9.71 GNAT.IO_Aux (`g-io_aux.ads')
9.72 GNAT.Lock_Files (`g-locfil.ads')
9.73 GNAT.MBBS_Discrete_Random (`g-mbdira.ads')
9.74 GNAT.MBBS_Float_Random (`g-mbflra.ads')
9.75 GNAT.MD5 (`g-md5.ads')
9.76 GNAT.Memory_Dump (`g-memdum.ads')
9.77 GNAT.Most_Recent_Exception (`g-moreex.ads')
9.78 GNAT.OS_Lib (`g-os_lib.ads')
9.79 GNAT.Perfect_Hash_Generators (`g-pehage.ads')
9.80 GNAT.Random_Numbers (`g-rannum.ads')
9.81 GNAT.Regexp (`g-regexp.ads')
9.82 GNAT.Registry (`g-regist.ads')
9.83 GNAT.Regpat (`g-regpat.ads')
9.84 GNAT.Secondary_Stack_Info (`g-sestin.ads')
9.85 GNAT.Semaphores (`g-semaph.ads')
9.86 GNAT.Serial_Communications (`g-sercom.ads')
9.87 GNAT.SHA1 (`g-sha1.ads')
9.88 GNAT.SHA224 (`g-sha224.ads')
9.89 GNAT.SHA256 (`g-sha256.ads')
9.90 GNAT.SHA384 (`g-sha384.ads')
9.91 GNAT.SHA512 (`g-sha512.ads')
9.92 GNAT.Signals (`g-signal.ads')
9.93 GNAT.Sockets (`g-socket.ads')
9.94 GNAT.Source_Info (`g-souinf.ads')
9.95 GNAT.Spelling_Checker (`g-speche.ads')
9.96 GNAT.Spelling_Checker_Generic (`g-spchge.ads')
9.97 GNAT.Spitbol.Patterns (`g-spipat.ads')
9.98 GNAT.Spitbol (`g-spitbo.ads')
9.99 GNAT.Spitbol.Table_Boolean (`g-sptabo.ads')
9.100 GNAT.Spitbol.Table_Integer (`g-sptain.ads')
9.101 GNAT.Spitbol.Table_VString (`g-sptavs.ads')
9.102 GNAT.SSE (`g-sse.ads')
9.103 GNAT.SSE.Vector_Types (`g-ssvety.ads')
9.104 GNAT.Strings (`g-string.ads')
9.105 GNAT.String_Split (`g-strspl.ads')
9.106 GNAT.Table (`g-table.ads')
9.107 GNAT.Task_Lock (`g-tasloc.ads')
9.109 GNAT.Threads (`g-thread.ads')
9.108 GNAT.Time_Stamp (`g-timsta.ads')
9.110 GNAT.Traceback (`g-traceb.ads')
9.111 GNAT.Traceback.Symbolic (`g-trasym.ads')
9.112 GNAT.UTF_32 (`g-table.ads')
9.113 GNAT.Wide_Spelling_Checker (`g-u3spch.ads')
9.114 GNAT.Wide_Spelling_Checker (`g-wispch.ads')
9.115 GNAT.Wide_String_Split (`g-wistsp.ads')
9.116 GNAT.Wide_Wide_Spelling_Checker (`g-zspche.ads')
9.117 GNAT.Wide_Wide_String_Split (`g-zistsp.ads')
9.118 Interfaces.C.Extensions (`i-cexten.ads')
9.119 Interfaces.C.Streams (`i-cstrea.ads')
9.120 Interfaces.CPP (`i-cpp.ads')
9.121 Interfaces.Packed_Decimal (`i-pacdec.ads')
9.122 Interfaces.VxWorks (`i-vxwork.ads')
9.123 Interfaces.VxWorks.IO (`i-vxwoio.ads')
9.124 System.Address_Image (`s-addima.ads')
9.125 System.Assertions (`s-assert.ads')
9.126 System.Memory (`s-memory.ads')
9.127 System.Partition_Interface (`s-parint.ads')
9.128 System.Pool_Global (`s-pooglo.ads')
9.129 System.Pool_Local (`s-pooloc.ads')
9.130 System.Restrictions (`s-restri.ads')
9.131 System.Rident (`s-rident.ads')
9.132 System.Strings.Stream_Ops (`s-ststop.ads')
9.133 System.Task_Info (`s-tasinf.ads')
9.134 System.Wch_Cnv (`s-wchcnv.ads')
9.135 System.Wch_Con (`s-wchcon.ads')

Text_IO

8.5.1 Stream Pointer Positioning
8.5.2 Reading and Writing Non-Regular Files
8.5.3 Get_Immediate
8.5.4 Treating Text_IO Files as Streams
8.5.5 Text_IO Extensions
8.5.6 Text_IO Facilities for Unbounded Strings

Wide_Text_IO

8.6.1 Stream Pointer Positioning
8.6.2 Reading and Writing Non-Regular Files

Wide_Wide_Text_IO

8.7.1 Stream Pointer Positioning
8.7.2 Reading and Writing Non-Regular Files

Interfacing to Other Languages

10.1 Interfacing to C
10.2 Interfacing to C++
10.3 Interfacing to COBOL
10.4 Interfacing to Fortran
10.5 Interfacing to non-GNAT Ada code

Specialized Needs Annexes Implementation of Specific Ada Features

12.1 Machine Code Insertions
12.2 GNAT Implementation of Tasking
12.3 GNAT Implementation of Shared Passive Packages
12.4 Code Generation for Array Aggregates
12.5 The Size of Discriminated Records with Default Discriminants
12.6 Strict Conformance to the Ada Reference Manual

Obsolescent Features GNU Free Documentation License Index