[Top] [Contents] [Index] [ ? ]

GNAT Reference Manual

GNAT Reference Manual

GNAT, The GNU Ada Development Environment
GNAT GPL Edition, Version 2014
Document revision level 303295
Date: 2014/03/27

AdaCore

Copyright (C) 1995-2014, 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 Aspects  
3. Implementation Defined Attributes  
4. Standard and Implementation Defined Restrictions  
5. Implementation Advice  
6. Implementation Defined Characteristics  
7. Intrinsic Subprograms  
8. Representation Clauses and Pragmas  
9. Standard Library Routines  
10. The Implementation of Standard I/O  
11. The GNAT Library  
12. Interfacing to Other Languages  
13. Specialized Needs Annexes  
14. Implementation of Specific Ada Features  
15. Implementation of Ada 2012 Features  
16. 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 Abstract_State  
Pragma Ada_83  
Pragma Ada_95  
Pragma Ada_05  
Pragma Ada_2005  
Pragma Ada_12  
Pragma Ada_2012  
Pragma Allow_Integer_Address  
Pragma Annotate  
Pragma Assert  
Pragma Assert_And_Cut  
Pragma Assertion_Policy  
Pragma Assume  
Pragma Assume_No_Invalid_Values  
Pragma AST_Entry  
Pragma Async_Readers  
Pragma Async_Writers  
Pragma Attribute_Definition  
Pragma C_Pass_By_Copy  
Pragma Check  
Pragma Check_Float_Overflow  
Pragma Check_Name  
Pragma Check_Policy  
Pragma CIL_Constructor  
Pragma Comment  
Pragma Common_Object  
Pragma Compile_Time_Error  
Pragma Compile_Time_Warning  
Pragma Compiler_Unit  
Pragma Compiler_Unit_Warning  
Pragma Complete_Representation  
Pragma Complex_Representation  
Pragma Component_Alignment  
Pragma Contract_Cases  
Pragma Convention_Identifier  
Pragma CPP_Class  
Pragma CPP_Constructor  
Pragma CPP_Virtual  
Pragma CPP_Vtable  
Pragma CPU  
Pragma Debug  
Pragma Debug_Policy  
Pragma Default_Scalar_Storage_Order  
Pragma Default_Storage_Pool  
Pragma Depends  
Pragma Detect_Blocking  
Pragma Disable_Atomic_Synchronization  
Pragma Dispatching_Domain  
Pragma Effective_Reads  
Pragma Effective_Writes  
Pragma Elaboration_Checks  
Pragma Eliminate  
Pragma Enable_Atomic_Synchronization  
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 Global  
Pragma Ident  
Pragma Implementation_Defined  
Pragma Implemented  
Pragma Implicit_Packing  
Pragma Import_Exception  
Pragma Import_Function  
Pragma Import_Object  
Pragma Import_Procedure  
Pragma Import_Valued_Procedure  
Pragma Independent  
Pragma Independent_Components  
Pragma Initial_Condition  
Pragma Initialize_Scalars  
Pragma Initializes  
Pragma Inline_Always  
Pragma Inline_Generic  
Pragma Interface  
Pragma Interface_Name  
Pragma Interrupt_Handler  
Pragma Interrupt_State  
Pragma Invariant  
Pragma Java_Constructor  
Pragma Java_Interface  
Pragma Keep_Names  
Pragma License  
Pragma Link_With  
Pragma Linker_Alias  
Pragma Linker_Constructor  
Pragma Linker_Destructor  
Pragma Linker_Section  
Pragma Lock_Free  
Pragma Long_Float  
Pragma Loop_Invariant  
Pragma Loop_Optimize  
Pragma Loop_Variant  
Pragma Machine_Attribute  
Pragma Main  
Pragma Main_Storage  
Pragma No_Body  
Pragma No_Inline  
Pragma No_Return  
Pragma No_Run_Time  
Pragma No_Strict_Aliasing  
Pragma Normalize_Scalars  
Pragma Obsolescent  
Pragma Optimize_Alignment  
Pragma Ordered  
Pragma Overflow_Mode  
Pragma Overriding_Renamings  
Pragma Partition_Elaboration_Policy  
Pragma Part_Of  
Pragma Passive  
Pragma Persistent_BSS  
Pragma Polling  
Pragma Post  
Pragma Postcondition  
Pragma Post_Class  
Pragma Pre  
Pragma Precondition  
Pragma Predicate  
Pragma Preelaborable_Initialization  
Pragma Pre_Class  
Pragma Priority_Specific_Dispatching  
Pragma Profile  
Pragma Profile_Warnings  
Pragma Propagate_Exceptions  
Pragma Provide_Shift_Operators  
Pragma Psect_Object  
Pragma Pure_Function  
Pragma Rational  
Pragma Ravenscar  
Pragma Refined_Depends  
Pragma Refined_Global  
Pragma Refined_Post  
Pragma Refined_State  
Pragma Relative_Deadline  
Pragma Remote_Access_Type  
Pragma Restricted_Run_Time  
Pragma Restriction_Warnings  
Pragma Reviewable  
Pragma Share_Generic  
Pragma Shared  
Pragma Short_Circuit_And_Or  
Pragma Short_Descriptors  
Pragma Simple_Storage_Pool_Type  
Pragma Source_File_Name  
Pragma Source_File_Name_Project  
Pragma Source_Reference  
Pragma SPARK_Mode  
Pragma Static_Elaboration_Desired  
Pragma Stream_Convert  
Pragma Style_Checks  
Pragma Subtitle  
Pragma Suppress  
Pragma Suppress_All  
Pragma Suppress_Debug_Info  
Pragma Suppress_Exception_Locations  
Pragma Suppress_Initialization  
Pragma Task_Name  
Pragma Task_Storage  
Pragma Test_Case  
Pragma Thread_Local_Storage  
Pragma Time_Slice  
Pragma Title  
Pragma Type_Invariant  
Pragma Type_Invariant_Class  
Pragma Unchecked_Union  
Pragma Unevaluated_Use_Of_Old  
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 Warning_As_Error  
Pragma Warnings  
Pragma Weak_External  
Pragma Wide_Character_Encoding  

Implementation Defined Aspects
Aspect Abstract_State  
Annotate  
Aspect Async_Readers  
Aspect Async_Writers  
Aspect Contract_Cases  
Aspect Depends  
Aspect Dimension  
Aspect Dimension_System  
Aspect Effective_Reads  
Aspect Effective_Writes  
Aspect Favor_Top_Level  
Aspect Global  
Aspect Initial_Condition  
Aspect Initializes  
Aspect Inline_Always  
Aspect Invariant  
Aspect Iterable  
Aspect Linker_Section  
Aspect Object_Size  
Aspect Part_Of  
Aspect Persistent_BSS  
Aspect Predicate  
Aspect Pure_Function  
Aspect Refined_Depends  
Aspect Refined_Global  
Aspect Refined_Post  
Aspect Refined_State  
Aspect Remote_Access_Type  
Aspect Scalar_Storage_Order  
Aspect Shared  
Aspect Simple_Storage_Pool  
Aspect Simple_Storage_Pool_Type  
Aspect SPARK_Mode  
Aspect Suppress_Debug_Info  
Aspect Test_Case  
Aspect Thread_Local_Storage  
Aspect Universal_Aliasing  
Aspect Universal_Data  
Aspect Unmodified  
Aspect Unreferenced  
Aspect Unreferenced_Objects  
Aspect Value_Size  
Aspect Warnings  

Implementation Defined Attributes
Attribute Abort_Signal  
Attribute Address_Size  
Attribute Asm_Input  
Attribute Asm_Output  
Attribute AST_Entry  
Attribute Atomic_Always_Lock_Free  
Attribute Bit  
Attribute Bit_Position  
Attribute Code_Address  
Attribute Compiler_Version  
Attribute Default_Bit_Order  
Attribute Descriptor_Size  
Attribute Elaborated  
Attribute Elab_Body  
Attribute Elab_Spec  
Attribute Elab_Subp_Body  
Attribute Emax  
Attribute Enabled  
Attribute Enum_Rep  
Attribute Enum_Val  
Attribute Epsilon  
Attribute Fast_Math  
Attribute Fixed_Value  
Attribute From_Any  
Attribute Has_Access_Values  
Attribute Has_Discriminants  
Attribute Img  
Attribute Integer_Value  
Attribute Invalid_Value  
Attribute Iterable  
Attribute Large  
Attribute Library_Level  
Attribute Lock_Free  
Attribute Loop_Entry  
Attribute Machine_Size  
Attribute Mantissa  
Attribute Maximum_Alignment  
Attribute Mechanism_Code  
Attribute Null_Parameter  
Attribute Object_Size  
Attribute Old  
Attribute Passed_By_Reference  
Attribute Pool_Address  
Attribute Range_Length  
Attribute Ref  
Attribute Restriction_Set  
Attribute Result  
Attribute Safe_Emax  
Attribute Safe_Large  
Attribute Safe_Small  
Attribute Scalar_Storage_Order  
Attribute Simple_Storage_Pool  
Attribute Small  
Attribute Storage_Unit  
Attribute Stub_Type  
Attribute System_Allocator_Alignment  
Attribute Target_Name  
Attribute To_Address  
Attribute To_Any  
Attribute Type_Class  
Attribute Type_Key  
Attribute TypeCode  
Attribute UET_Address  
Attribute Unconstrained_Array  
Attribute Universal_Literal_String  
Attribute Unrestricted_Access  
Attribute Update  
Attribute VADS_Size  
Attribute Valid_Scalars  
Attribute Value_Size  
Attribute Wchar_T_Size  
Attribute Word_Size  

Standard and Implementation Defined Restrictions
4.1 Partition-Wide Restrictions  
4.2 Program Unit Level Restrictions  

Partition-Wide Restrictions
Immediate_Reclamation  
Max_Asynchronous_Select_Nesting  
Max_Entry_Queue_Length  
Max_Protected_Entries  
Max_Select_Alternatives  
Max_Storage_At_Blocking  
Max_Task_Entries  
Max_Tasks  
No_Abort_Statements  
No_Access_Parameter_Allocators  
No_Access_Subprograms  
No_Allocators  
No_Anonymous_Allocators  
No_Calendar  
No_Coextensions  
No_Default_Initialization  
No_Delay  
No_Dependence  
No_Direct_Boolean_Operators  
No_Dispatch  
No_Dispatching_Calls  
No_Dynamic_Attachment  
No_Dynamic_Priorities  
No_Entry_Calls_In_Elaboration_Code  
No_Enumeration_Maps  
No_Exception_Handlers  
No_Exception_Propagation  
No_Exception_Registration  
No_Exceptions  
No_Finalization  
No_Fixed_Point  
No_Floating_Point  
No_Implicit_Conditionals  
No_Implicit_Dynamic_Code  
No_Implicit_Heap_Allocations  
No_Implicit_Loops  
No_Initialize_Scalars  
No_IO  
No_Local_Allocators  
No_Local_Protected_Objects  
No_Local_Timing_Events  
No_Long_Long_Integers  
No_Multiple_Elaboration  
No_Nested_Finalization  
No_Protected_Type_Allocators  
No_Protected_Types  
No_Recursion  
No_Reentrancy  
No_Relative_Delay  
No_Requeue_Statements  
No_Secondary_Stack  
No_Select_Statements  
No_Specific_Termination_Handlers  
No_Specification_of_Aspect  
No_Standard_Allocators_After_Elaboration  
No_Standard_Storage_Pools  
No_Stream_Optimizations  
No_Streams  
No_Task_Allocators  
No_Task_Attributes_Package  
No_Task_Hierarchy  
No_Task_Termination  
No_Tasking  
No_Terminate_Alternatives  
No_Unchecked_Access  
Simple_Barriers  
Static_Priorities  
Static_Storage_Size  

Program Unit Level Restrictions
No_Elaboration_Code  
No_Entry_Queue  
No_Implementation_Aspect_Specifications  
No_Implementation_Attributes  
No_Implementation_Identifiers  
No_Implementation_Pragmas  
No_Implementation_Restrictions  
No_Implementation_Units  
No_Implicit_Aliasing  
No_Obsolescent_Features  
No_Wide_Characters  
SPARK_05  

The Implementation of Standard I/O
10.1 Standard I/O Packages  
10.2 FORM Strings  
10.3 Direct_IO  
10.4 Sequential_IO  
10.5 Text_IO  
10.6 Wide_Text_IO  
10.7 Wide_Wide_Text_IO  
10.8 Stream_IO  
10.9 Text Translation  
10.10 Shared Files  
10.11 Filenames encoding  
10.12 File content encoding  
10.13 Open Modes  
10.14 Operations on C Streams  
10.15 Interfacing to C Streams  

The GNAT Library
11.1 Ada.Characters.Latin_9 (`a-chlat9.ads')  
11.2 Ada.Characters.Wide_Latin_1 (`a-cwila1.ads')  
11.3 Ada.Characters.Wide_Latin_9 (`a-cwila1.ads')  
11.4 Ada.Characters.Wide_Wide_Latin_1 (`a-chzla1.ads')  
11.5 Ada.Characters.Wide_Wide_Latin_9 (`a-chzla9.ads')  
11.6 Ada.Containers.Formal_Doubly_Linked_Lists (`a-cfdlli.ads')  
11.7 Ada.Containers.Formal_Hashed_Maps (`a-cfhama.ads')  
11.8 Ada.Containers.Formal_Hashed_Sets (`a-cfhase.ads')  
11.9 Ada.Containers.Formal_Ordered_Maps (`a-cforma.ads')  
11.10 Ada.Containers.Formal_Ordered_Sets (`a-cforse.ads')  
11.11 Ada.Containers.Formal_Vectors (`a-cofove.ads')  
11.12 Ada.Command_Line.Environment (`a-colien.ads')  
11.13 Ada.Command_Line.Remove (`a-colire.ads')  
11.14 Ada.Command_Line.Response_File (`a-clrefi.ads')  
11.15 Ada.Direct_IO.C_Streams (`a-diocst.ads')  
11.16 Ada.Exceptions.Is_Null_Occurrence (`a-einuoc.ads')  
11.17 Ada.Exceptions.Last_Chance_Handler (`a-elchha.ads')  
11.18 Ada.Exceptions.Traceback (`a-exctra.ads')  
11.19 Ada.Sequential_IO.C_Streams (`a-siocst.ads')  
11.20 Ada.Streams.Stream_IO.C_Streams (`a-ssicst.ads')  
11.21 Ada.Strings.Unbounded.Text_IO (`a-suteio.ads')  
11.22 Ada.Strings.Wide_Unbounded.Wide_Text_IO (`a-swuwti.ads')  
11.23 Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Text_IO (`a-szuzti.ads')  
11.24 Ada.Text_IO.C_Streams (`a-tiocst.ads')  
11.25 Ada.Text_IO.Reset_Standard_Files (`a-tirsfi.ads')  
11.26 Ada.Wide_Characters.Unicode (`a-wichun.ads')  
11.27 Ada.Wide_Text_IO.C_Streams (`a-wtcstr.ads')  
11.28 Ada.Wide_Text_IO.Reset_Standard_Files (`a-wrstfi.ads')  
11.29 Ada.Wide_Wide_Characters.Unicode (`a-zchuni.ads')  
11.30 Ada.Wide_Wide_Text_IO.C_Streams (`a-ztcstr.ads')  
11.31 Ada.Wide_Wide_Text_IO.Reset_Standard_Files (`a-zrstfi.ads')  
11.32 GNAT.Altivec (`g-altive.ads')  
11.33 GNAT.Altivec.Conversions (`g-altcon.ads')  
11.34 GNAT.Altivec.Vector_Operations (`g-alveop.ads')  
11.35 GNAT.Altivec.Vector_Types (`g-alvety.ads')  
11.36 GNAT.Altivec.Vector_Views (`g-alvevi.ads')  
11.37 GNAT.Array_Split (`g-arrspl.ads')  
11.38 GNAT.AWK (`g-awk.ads')  
11.39 GNAT.Bounded_Buffers (`g-boubuf.ads')  
11.40 GNAT.Bounded_Mailboxes (`g-boumai.ads')  
11.41 GNAT.Bubble_Sort (`g-bubsor.ads')  
11.42 GNAT.Bubble_Sort_A (`g-busora.ads')  
11.43 GNAT.Bubble_Sort_G (`g-busorg.ads')  
11.44 GNAT.Byte_Order_Mark (`g-byorma.ads')  
11.45 GNAT.Byte_Swapping (`g-bytswa.ads')  
11.46 GNAT.Calendar (`g-calend.ads')  
11.47 GNAT.Calendar.Time_IO (`g-catiio.ads')  
11.49 GNAT.Case_Util (`g-casuti.ads')  
11.50 GNAT.CGI (`g-cgi.ads')  
11.51 GNAT.CGI.Cookie (`g-cgicoo.ads')  
11.52 GNAT.CGI.Debug (`g-cgideb.ads')  
11.53 GNAT.Command_Line (`g-comlin.ads')  
11.54 GNAT.Compiler_Version (`g-comver.ads')  
11.55 GNAT.Ctrl_C (`g-ctrl_c.ads')  
11.48 GNAT.CRC32 (`g-crc32.ads')  
11.56 GNAT.Current_Exception (`g-curexc.ads')  
11.57 GNAT.Debug_Pools (`g-debpoo.ads')  
11.58 GNAT.Debug_Utilities (`g-debuti.ads')  
11.59 GNAT.Decode_String (`g-decstr.ads')  
11.60 GNAT.Decode_UTF8_String (`g-deutst.ads')  
11.61 GNAT.Directory_Operations (`g-dirope.ads')  
11.62 GNAT.Directory_Operations.Iteration (`g-diopit.ads')  
11.63 GNAT.Dynamic_HTables (`g-dynhta.ads')  
11.64 GNAT.Dynamic_Tables (`g-dyntab.ads')  
11.65 GNAT.Encode_String (`g-encstr.ads')  
11.66 GNAT.Encode_UTF8_String (`g-enutst.ads')  
11.67 GNAT.Exception_Actions (`g-excact.ads')  
11.68 GNAT.Exception_Traces (`g-exctra.ads')  
11.69 GNAT.Exceptions (`g-expect.ads')  
11.70 GNAT.Expect (`g-expect.ads')  
11.71 GNAT.Expect.TTY (`g-exptty.ads')  
11.72 GNAT.Float_Control (`g-flocon.ads')  
11.73 GNAT.Heap_Sort (`g-heasor.ads')  
11.74 GNAT.Heap_Sort_A (`g-hesora.ads')  
11.75 GNAT.Heap_Sort_G (`g-hesorg.ads')  
11.76 GNAT.HTable (`g-htable.ads')  
11.77 GNAT.IO (`g-io.ads')  
11.78 GNAT.IO_Aux (`g-io_aux.ads')  
11.79 GNAT.Lock_Files (`g-locfil.ads')  
11.80 GNAT.MBBS_Discrete_Random (`g-mbdira.ads')  
11.81 GNAT.MBBS_Float_Random (`g-mbflra.ads')  
11.82 GNAT.MD5 (`g-md5.ads')  
11.83 GNAT.Memory_Dump (`g-memdum.ads')  
11.84 GNAT.Most_Recent_Exception (`g-moreex.ads')  
11.85 GNAT.OS_Lib (`g-os_lib.ads')  
11.86 GNAT.Perfect_Hash_Generators (`g-pehage.ads')  
11.87 GNAT.Random_Numbers (`g-rannum.ads')  
11.88 GNAT.Regexp (`g-regexp.ads')  
11.89 GNAT.Registry (`g-regist.ads')  
11.90 GNAT.Regpat (`g-regpat.ads')  
11.91 GNAT.Rewrite_Data (`g-rewdat.ads')  
11.92 GNAT.Secondary_Stack_Info (`g-sestin.ads')  
11.93 GNAT.Semaphores (`g-semaph.ads')  
11.94 GNAT.Serial_Communications (`g-sercom.ads')  
11.95 GNAT.SHA1 (`g-sha1.ads')  
11.96 GNAT.SHA224 (`g-sha224.ads')  
11.97 GNAT.SHA256 (`g-sha256.ads')  
11.98 GNAT.SHA384 (`g-sha384.ads')  
11.99 GNAT.SHA512 (`g-sha512.ads')  
11.100 GNAT.Signals (`g-signal.ads')  
11.101 GNAT.Sockets (`g-socket.ads')  
11.102 GNAT.Source_Info (`g-souinf.ads')  
11.103 GNAT.Spelling_Checker (`g-speche.ads')  
11.104 GNAT.Spelling_Checker_Generic (`g-spchge.ads')  
11.105 GNAT.Spitbol.Patterns (`g-spipat.ads')  
11.106 GNAT.Spitbol (`g-spitbo.ads')  
11.107 GNAT.Spitbol.Table_Boolean (`g-sptabo.ads')  
11.108 GNAT.Spitbol.Table_Integer (`g-sptain.ads')  
11.109 GNAT.Spitbol.Table_VString (`g-sptavs.ads')  
11.110 GNAT.SSE (`g-sse.ads')  
11.111 GNAT.SSE.Vector_Types (`g-ssvety.ads')  
11.112 GNAT.Strings (`g-string.ads')  
11.113 GNAT.String_Split (`g-strspl.ads')  
11.114 GNAT.Table (`g-table.ads')  
11.115 GNAT.Task_Lock (`g-tasloc.ads')  
11.117 GNAT.Threads (`g-thread.ads')  
11.116 GNAT.Time_Stamp (`g-timsta.ads')  
11.118 GNAT.Traceback (`g-traceb.ads')  
11.119 GNAT.Traceback.Symbolic (`g-trasym.ads')  
11.120 GNAT.UTF_32 (`g-table.ads')  
11.121 GNAT.Wide_Spelling_Checker (`g-u3spch.ads')  
11.122 GNAT.Wide_Spelling_Checker (`g-wispch.ads')  
11.123 GNAT.Wide_String_Split (`g-wistsp.ads')  
11.124 GNAT.Wide_Wide_Spelling_Checker (`g-zspche.ads')  
11.125 GNAT.Wide_Wide_String_Split (`g-zistsp.ads')  
11.126 Interfaces.C.Extensions (`i-cexten.ads')  
11.127 Interfaces.C.Streams (`i-cstrea.ads')  
11.128 Interfaces.CPP (`i-cpp.ads')  
11.129 Interfaces.Packed_Decimal (`i-pacdec.ads')  
11.130 Interfaces.VxWorks (`i-vxwork.ads')  
11.131 Interfaces.VxWorks.IO (`i-vxwoio.ads')  
11.132 System.Address_Image (`s-addima.ads')  
11.133 System.Assertions (`s-assert.ads')  
11.134 System.Memory (`s-memory.ads')  
11.135 System.Multiprocessors (`s-multip.ads')  
11.136 System.Multiprocessors.Dispatching_Domains (`s-mudido.ads')  
11.137 System.Partition_Interface (`s-parint.ads')  
11.138 System.Pool_Global (`s-pooglo.ads')  
11.139 System.Pool_Local (`s-pooloc.ads')  
11.140 System.Restrictions (`s-restri.ads')  
11.141 System.Rident (`s-rident.ads')  
11.142 System.Strings.Stream_Ops (`s-ststop.ads')  
11.143 System.Unsigned_Types (`s-unstyp.ads')  
11.144 System.Wch_Cnv (`s-wchcnv.ads')  
11.145 System.Wch_Con (`s-wchcon.ads')  

Text_IO
10.5.1 Stream Pointer Positioning  
10.5.2 Reading and Writing Non-Regular Files  
10.5.3 Get_Immediate  
10.5.4 Treating Text_IO Files as Streams  
10.5.5 Text_IO Extensions  
10.5.6 Text_IO Facilities for Unbounded Strings  

Wide_Text_IO
10.6.1 Stream Pointer Positioning  
10.6.2 Reading and Writing Non-Regular Files  

Wide_Wide_Text_IO
10.7.1 Stream Pointer Positioning  
10.7.2 Reading and Writing Non-Regular Files  

Interfacing to Other Languages
12.1 Interfacing to C  
12.2 Interfacing to C++  
12.3 Interfacing to COBOL  
12.4 Interfacing to Fortran  
12.5 Interfacing to non-GNAT Ada code  

Specialized Needs Annexes Implementation of Specific Ada Features
14.1 Machine Code Insertions  
14.2 GNAT Implementation of Tasking  
14.3 GNAT Implementation of Shared Passive Packages  
14.4 Code Generation for Array Aggregates  
14.5 The Size of Discriminated Records with Default Discriminants  
14.6 Strict Conformance to the Ada Reference Manual  

Implementation of Ada 2012 Features Obsolescent Features GNU Free Documentation License Index



This document was generated by GNAT Mailserver on April, 17 2014 using texi2html