Index

GNAT Reference Manual
About This Guide
- What This Reference Manual Contains
- Conventions
- Related Information
1 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 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_Storage_Pool
- Pragma Depends
- Pragma Detect_Blocking
- Pragma Disable_Atomic_Synchronization
- Pragma Dispatching_Domain
- 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 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 Passive
- Pragma Persistent_BSS
- Pragma Polling
- Pragma Post
- Pragma Postcondition
- Pragma Post_Class
- Pragma Pre
- Pragma Precondition
- Pragma Predicate
- Pragma Preelaborable_Initialization
- Pragma Preelaborate_05
- Pragma Pre_Class
- Pragma Priority_Specific_Dispatching
- Pragma Profile
- Pragma Profile_Warnings
- Pragma Propagate_Exceptions
- Pragma Provide_Shift_Operators
- Pragma Psect_Object
- Pragma Pure_05
- Pragma Pure_12
- Pragma Pure_Function
- Pragma Ravenscar
- 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_Info
- 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 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
2 Implementation Defined Aspects
- Aspect Abstract_State
- Aspect Contract_Cases
- Aspect Depends
- Aspect Dimension
- Aspect Dimension_System
- Aspect Favor_Top_Level
- Aspect Global
- Aspect Initial_Condition
- Aspect Initializes
- Aspect Inline_Always
- Aspect Invariant
- Aspect Linker_Section
- Aspect Lock_Free
- Aspect Object_Size
- Aspect Persistent_BSS
- Aspect Predicate
- Aspect Preelaborate_05
- Aspect Pure_05
- Aspect Pure_12
- Aspect Pure_Function
- 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 Universal_Aliasing
- Aspect Universal_Data
- Aspect Unmodified
- Aspect Unreferenced
- Aspect Unreferenced_Objects
- Aspect Value_Size
- Aspect Warnings
3 Implementation Defined Attributes
- Attribute Abort_Signal
- Attribute Address_Size
- Attribute Asm_Input
- Attribute Asm_Output
- Attribute AST_Entry
- Attribute Bit
- Attribute Bit_Position
- Attribute Compiler_Version
- Attribute Code_Address
- 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 Fixed_Value
- Attribute Has_Access_Values
- Attribute Has_Discriminants
- Attribute Img
- Attribute Integer_Value
- Attribute Invalid_Value
- Attribute Large
- Attribute Library_Level
- Attribute Loop_Entry
- Attribute Machine_Size
- Attribute Mantissa
- Attribute Max_Interrupt_Priority
- Attribute Max_Priority
- Attribute Maximum_Alignment
- Attribute Mechanism_Code
- Attribute Null_Parameter
- Attribute Object_Size
- Attribute Passed_By_Reference
- Attribute Pool_Address
- Attribute Range_Length
- Attribute Ref
- Attribute Restriction_Set
- Attribute Result
- Attribute Safe_Emax
- Attribute Safe_Large
- Attribute Scalar_Storage_Order
- Attribute Simple_Storage_Pool
- Attribute Small
- Attribute Storage_Unit
- Attribute Stub_Type
- Attribute System_Allocator_Alignment
- Attribute Target_Name
- Attribute Tick
- Attribute To_Address
- Attribute Type_Class
- Attribute UET_Address
- Attribute Unconstrained_Array
- Attribute Universal_Literal_String
- Attribute Unrestricted_Access
- Attribute Update
- Attribute Valid_Scalars
- Attribute VADS_Size
- Attribute Value_Size
- Attribute Wchar_T_Size
- Attribute Word_Size
4 Standard and Implementation Defined Restrictions
- 4.1 Partition-Wide Restrictions
- 4.2 Program Unit Level Restrictions
5 Implementation Advice
- 1.1.3(20): Error Detection
- 1.1.3(31): Child Units
- 1.1.5(12): Bounded Errors
- 2.8(16): Pragmas
- 2.8(17-19): Pragmas
- 3.5.2(5): Alternative Character Sets
- 3.5.4(28): Integer Types
- 3.5.4(29): Integer Types
- 3.5.5(8): Enumeration Values
- 3.5.7(17): Float Types
- 3.6.2(11): Multidimensional Arrays
- 9.6(30-31): Duration'Small
- 10.2.1(12): Consistent Representation
- 11.4.1(19): Exception Information
- 11.5(28): Suppression of Checks
- 13.1 (21-24): Representation Clauses
- 13.2(6-8): Packed Types
- 13.3(14-19): Address Clauses
- 13.3(29-35): Alignment Clauses
- 13.3(42-43): Size Clauses
- 13.3(50-56): Size Clauses
- 13.3(71-73): Component Size Clauses
- 13.4(9-10): Enumeration Representation Clauses
- 13.5.1(17-22): Record Representation Clauses
- 13.5.2(5): Storage Place Attributes
- 13.5.3(7-8): Bit Ordering
- 13.7(37): Address as Private
- 13.7.1(16): Address Operations
- 13.9(14-17): Unchecked Conversion
- 13.11(23-25): Implicit Heap Usage
- 13.11.2(17): Unchecked De-allocation
- 13.13.2(17): Stream Oriented Attributes
- A.1(52): Names of Predefined Numeric Types
- A.3.2(49): Ada.Characters.Handling
- A.4.4(106): Bounded-Length String Handling
- A.5.2(46-47): Random Number Generation
- A.10.7(23): Get_Immediate
- B.1(39-41): Pragma Export
- B.2(12-13): Package Interfaces
- B.3(63-71): Interfacing with C
- B.4(95-98): Interfacing with COBOL
- B.5(22-26): Interfacing with Fortran
- C.1(3-5): Access to Machine Operations
- C.1(10-16): Access to Machine Operations
- C.3(28): Interrupt Support
- C.3.1(20-21): Protected Procedure Handlers
- C.3.2(25): Package Interrupts
- C.4(14): Pre-elaboration Requirements
- C.5(8): Pragma Discard_Names
- C.7.2(30): The Package Task_Attributes
- D.3(17): Locking Policies
- D.4(16): Entry Queuing Policies
- D.6(9-10): Preemptive Abort
- D.7(21): Tasking Restrictions
- D.8(47-49): Monotonic Time
- E.5(28-29): Partition Communication Subsystem
- F(7): COBOL Support
- F.1(2): Decimal Radix Support
- G: Numerics
- G.1.1(56-58): Complex Types
- G.1.2(49): Complex Elementary Functions
- G.2.4(19): Accuracy Requirements
- G.2.6(15): Complex Arithmetic Accuracy
- H.6(15/2): Pragma Partition_Elaboration_Policy
6 Implementation Defined Characteristics
7 Intrinsic Subprograms
- 7.1 Intrinsic Operators
- 7.2 Enclosing_Entity
- 7.3 Exception_Information
- 7.4 Exception_Message
- 7.5 Exception_Name
- 7.6 File
- 7.7 Line
- 7.8 Shifts and Rotates
- 7.9 Source_Location
8 Representation Clauses and Pragmas
- 8.1 Alignment Clauses
- 8.2 Size Clauses
- 8.3 Storage_Size Clauses
- 8.4 Size of Variant Record Objects
- 8.5 Biased Representation
- 8.6 Value_Size and Object_Size Clauses
- 8.7 Component_Size Clauses
- 8.8 Bit_Order Clauses
- 8.9 Effect of Bit_Order on Byte Ordering
- 8.10 Pragma Pack for Arrays
- 8.11 Pragma Pack for Records
- 8.12 Record Representation Clauses
- 8.13 Handling of Records with Holes
- 8.14 Enumeration Clauses
- 8.15 Address Clauses
- 8.16 Effect of Convention on Representation
- 8.17 Conventions and Anonymous Access Types
- 8.18 Determining the Representations chosen by GNAT
9 Standard Library Routines
10 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.6.1 Stream Pointer Positioning
  - 10.6.2 Reading and Writing Non-Regular Files
- 10.7 Wide_Wide_Text_IO
  - 10.7.1 Stream Pointer Positioning
  - 10.7.2 Reading and Writing Non-Regular Files
- 10.8 Stream_IO
- 10.9 Text Translation
- 10.10 Shared Files
- 10.11 Filenames encoding
- 10.12 Open Modes
- 10.13 Operations on C Streams
- 10.14 Interfacing to C Streams
11 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.48 GNAT.CRC32 (g-crc32.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.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.Secondary_Stack_Info (g-sestin.ads)
- 11.92 GNAT.Semaphores (g-semaph.ads)
- 11.93 GNAT.Serial_Communications (g-sercom.ads)
- 11.94 GNAT.SHA1 (g-sha1.ads)
- 11.95 GNAT.SHA224 (g-sha224.ads)
- 11.96 GNAT.SHA256 (g-sha256.ads)
- 11.97 GNAT.SHA384 (g-sha384.ads)
- 11.98 GNAT.SHA512 (g-sha512.ads)
- 11.99 GNAT.Signals (g-signal.ads)
- 11.100 GNAT.Sockets (g-socket.ads)
- 11.101 GNAT.Source_Info (g-souinf.ads)
- 11.102 GNAT.Spelling_Checker (g-speche.ads)
- 11.103 GNAT.Spelling_Checker_Generic (g-spchge.ads)
- 11.104 GNAT.Spitbol.Patterns (g-spipat.ads)
- 11.105 GNAT.Spitbol (g-spitbo.ads)
- 11.106 GNAT.Spitbol.Table_Boolean (g-sptabo.ads)
- 11.107 GNAT.Spitbol.Table_Integer (g-sptain.ads)
- 11.108 GNAT.Spitbol.Table_VString (g-sptavs.ads)
- 11.109 GNAT.SSE (g-sse.ads)
- 11.110 GNAT.SSE.Vector_Types (g-ssvety.ads)
- 11.111 GNAT.Strings (g-string.ads)
- 11.112 GNAT.String_Split (g-strspl.ads)
- 11.113 GNAT.Table (g-table.ads)
- 11.114 GNAT.Task_Lock (g-tasloc.ads)
- 11.115 GNAT.Time_Stamp (g-timsta.ads)
- 11.116 GNAT.Threads (g-thread.ads)
- 11.117 GNAT.Traceback (g-traceb.ads)
- 11.118 GNAT.Traceback.Symbolic (g-trasym.ads)
- 11.119 GNAT.UTF_32 (g-table.ads)
- 11.120 GNAT.Wide_Spelling_Checker (g-u3spch.ads)
- 11.121 GNAT.Wide_Spelling_Checker (g-wispch.ads)
- 11.122 GNAT.Wide_String_Split (g-wistsp.ads)
- 11.123 GNAT.Wide_Wide_Spelling_Checker (g-zspche.ads)
- 11.124 GNAT.Wide_Wide_String_Split (g-zistsp.ads)
- 11.125 Interfaces.C.Extensions (i-cexten.ads)
- 11.126 Interfaces.C.Streams (i-cstrea.ads)
- 11.127 Interfaces.CPP (i-cpp.ads)
- 11.128 Interfaces.Packed_Decimal (i-pacdec.ads)
- 11.129 Interfaces.VxWorks (i-vxwork.ads)
- 11.130 Interfaces.VxWorks.IO (i-vxwoio.ads)
- 11.131 System.Address_Image (s-addima.ads)
- 11.132 System.Assertions (s-assert.ads)
- 11.133 System.Memory (s-memory.ads)
- 11.134 System.Multiprocessors (s-multip.ads)
- 11.135 System.Multiprocessors.Dispatching_Domains (s-mudido.ads)
- 11.136 System.Partition_Interface (s-parint.ads)
- 11.137 System.Pool_Global (s-pooglo.ads)
- 11.138 System.Pool_Local (s-pooloc.ads)
- 11.139 System.Restrictions (s-restri.ads)
- 11.140 System.Rident (s-rident.ads)
- 11.141 System.Strings.Stream_Ops (s-ststop.ads)
- 11.142 System.Task_Info (s-tasinf.ads)
- 11.143 System.Wch_Cnv (s-wchcnv.ads)
- 11.144 System.Wch_Con (s-wchcon.ads)
12 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
13 Specialized Needs Annexes
14 Implementation of Specific Ada Features
- 14.1 Machine Code Insertions
- 14.2 GNAT Implementation of Tasking
  - 14.2.1 Mapping Ada Tasks onto the Underlying Kernel Threads
  - 14.2.2 Ensuring Compliance with the Real-Time Annex
- 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
15 Implementation of Ada 2012 Features
16 Obsolescent Features
- 16.1 pragma No_Run_Time
- 16.2 pragma Ravenscar
- 16.3 pragma Restricted_Run_Time
GNU Free Documentation License
- ADDENDUM: How to use this License for your documents
Index

Table of Contents