The GNAT library contains a number of general and special purpose packages. It represents functionality that the GNAT developers have found useful, and which is made available to GNAT users. The packages described here are fully supported, and upwards compatibility will be maintained in future releases, so you can use these facilities with the confidence that the same functionality will be available in future releases.
The chapter here simply gives a brief summary of the facilities available.
The full documentation is found in the spec file for the package. The full
sources of these library packages, including both spec and body, are provided
with all GNAT releases. For example, to find out the full specifications of
the SPITBOL pattern matching capability, including a full tutorial and
extensive examples, look in the g-spipat.ads
file in the library.
For each entry here, the package name (as it would appear in a with
clause) is given, followed by the name of the corresponding spec file in
parentheses. The packages are children in four hierarchies, Ada
,
Interfaces
, System
, and GNAT
, the latter being a
GNAT-specific hierarchy.
Note that an application program should only use packages in one of these
four hierarchies if the package is defined in the Ada Reference Manual,
or is listed in this section of the GNAT Programmers Reference Manual.
All other units should be considered internal implementation units and
should not be directly with
ed by application code. The use of
a with
clause that references one of these internal implementation
units makes an application potentially dependent on changes in versions
of GNAT, and will generate a warning message.
Ada.Characters.Latin_9
(a-chlat9.ads
)Ada.Characters.Wide_Latin_1
(a-cwila1.ads
)Ada.Characters.Wide_Latin_9
(a-cwila1.ads
)Ada.Characters.Wide_Wide_Latin_1
(a-chzla1.ads
)Ada.Characters.Wide_Wide_Latin_9
(a-chzla9.ads
)Ada.Containers.Formal_Doubly_Linked_Lists
(a-cfdlli.ads
)Ada.Containers.Formal_Hashed_Maps
(a-cfhama.ads
)Ada.Containers.Formal_Hashed_Sets
(a-cfhase.ads
)Ada.Containers.Formal_Ordered_Maps
(a-cforma.ads
)Ada.Containers.Formal_Ordered_Sets
(a-cforse.ads
)Ada.Containers.Formal_Vectors
(a-cofove.ads
)Ada.Containers.Formal_Indefinite_Vectors
(a-cfinve.ads
)Ada.Containers.Functional_Vectors
(a-cofuve.ads
)Ada.Containers.Functional_Sets
(a-cofuse.ads
)Ada.Containers.Functional_Maps
(a-cofuma.ads
)Ada.Containers.Bounded_Holders
(a-coboho.ads
)Ada.Command_Line.Environment
(a-colien.ads
)Ada.Command_Line.Remove
(a-colire.ads
)Ada.Command_Line.Response_File
(a-clrefi.ads
)Ada.Direct_IO.C_Streams
(a-diocst.ads
)Ada.Exceptions.Is_Null_Occurrence
(a-einuoc.ads
)Ada.Exceptions.Last_Chance_Handler
(a-elchha.ads
)Ada.Exceptions.Traceback
(a-exctra.ads
)Ada.Sequential_IO.C_Streams
(a-siocst.ads
)Ada.Streams.Stream_IO.C_Streams
(a-ssicst.ads
)Ada.Strings.Unbounded.Text_IO
(a-suteio.ads
)Ada.Strings.Wide_Unbounded.Wide_Text_IO
(a-swuwti.ads
)Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Text_IO
(a-szuzti.ads
)Ada.Task_Initialization
(a-tasini.ads
)Ada.Text_IO.C_Streams
(a-tiocst.ads
)Ada.Text_IO.Reset_Standard_Files
(a-tirsfi.ads
)Ada.Wide_Characters.Unicode
(a-wichun.ads
)Ada.Wide_Text_IO.C_Streams
(a-wtcstr.ads
)Ada.Wide_Text_IO.Reset_Standard_Files
(a-wrstfi.ads
)Ada.Wide_Wide_Characters.Unicode
(a-zchuni.ads
)Ada.Wide_Wide_Text_IO.C_Streams
(a-ztcstr.ads
)Ada.Wide_Wide_Text_IO.Reset_Standard_Files
(a-zrstfi.ads
)GNAT.Altivec
(g-altive.ads
)GNAT.Altivec.Conversions
(g-altcon.ads
)GNAT.Altivec.Vector_Operations
(g-alveop.ads
)GNAT.Altivec.Vector_Types
(g-alvety.ads
)GNAT.Altivec.Vector_Views
(g-alvevi.ads
)GNAT.Array_Split
(g-arrspl.ads
)GNAT.AWK
(g-awk.ads
)GNAT.Bind_Environment
(g-binenv.ads
)GNAT.Branch_Prediction
(g-brapre.ads
)GNAT.Bounded_Buffers
(g-boubuf.ads
)GNAT.Bounded_Mailboxes
(g-boumai.ads
)GNAT.Bubble_Sort
(g-bubsor.ads
)GNAT.Bubble_Sort_A
(g-busora.ads
)GNAT.Bubble_Sort_G
(g-busorg.ads
)GNAT.Byte_Order_Mark
(g-byorma.ads
)GNAT.Byte_Swapping
(g-bytswa.ads
)GNAT.Calendar
(g-calend.ads
)GNAT.Calendar.Time_IO
(g-catiio.ads
)GNAT.CRC32
(g-crc32.ads
)GNAT.Case_Util
(g-casuti.ads
)GNAT.CGI
(g-cgi.ads
)GNAT.CGI.Cookie
(g-cgicoo.ads
)GNAT.CGI.Debug
(g-cgideb.ads
)GNAT.Command_Line
(g-comlin.ads
)GNAT.Compiler_Version
(g-comver.ads
)GNAT.Ctrl_C
(g-ctrl_c.ads
)GNAT.Current_Exception
(g-curexc.ads
)GNAT.Debug_Pools
(g-debpoo.ads
)GNAT.Debug_Utilities
(g-debuti.ads
)GNAT.Decode_String
(g-decstr.ads
)GNAT.Decode_UTF8_String
(g-deutst.ads
)GNAT.Directory_Operations
(g-dirope.ads
)GNAT.Directory_Operations.Iteration
(g-diopit.ads
)GNAT.Dynamic_HTables
(g-dynhta.ads
)GNAT.Dynamic_Tables
(g-dyntab.ads
)GNAT.Encode_String
(g-encstr.ads
)GNAT.Encode_UTF8_String
(g-enutst.ads
)GNAT.Exception_Actions
(g-excact.ads
)GNAT.Exception_Traces
(g-exctra.ads
)GNAT.Exceptions
(g-except.ads
)GNAT.Expect
(g-expect.ads
)GNAT.Expect.TTY
(g-exptty.ads
)GNAT.Float_Control
(g-flocon.ads
)GNAT.Formatted_String
(g-forstr.ads
)GNAT.Heap_Sort
(g-heasor.ads
)GNAT.Heap_Sort_A
(g-hesora.ads
)GNAT.Heap_Sort_G
(g-hesorg.ads
)GNAT.HTable
(g-htable.ads
)GNAT.IO
(g-io.ads
)GNAT.IO_Aux
(g-io_aux.ads
)GNAT.Lock_Files
(g-locfil.ads
)GNAT.MBBS_Discrete_Random
(g-mbdira.ads
)GNAT.MBBS_Float_Random
(g-mbflra.ads
)GNAT.MD5
(g-md5.ads
)GNAT.Memory_Dump
(g-memdum.ads
)GNAT.Most_Recent_Exception
(g-moreex.ads
)GNAT.OS_Lib
(g-os_lib.ads
)GNAT.Perfect_Hash_Generators
(g-pehage.ads
)GNAT.Random_Numbers
(g-rannum.ads
)GNAT.Regexp
(g-regexp.ads
)GNAT.Registry
(g-regist.ads
)GNAT.Regpat
(g-regpat.ads
)GNAT.Rewrite_Data
(g-rewdat.ads
)GNAT.Secondary_Stack_Info
(g-sestin.ads
)GNAT.Semaphores
(g-semaph.ads
)GNAT.Serial_Communications
(g-sercom.ads
)GNAT.SHA1
(g-sha1.ads
)GNAT.SHA224
(g-sha224.ads
)GNAT.SHA256
(g-sha256.ads
)GNAT.SHA384
(g-sha384.ads
)GNAT.SHA512
(g-sha512.ads
)GNAT.Signals
(g-signal.ads
)GNAT.Sockets
(g-socket.ads
)GNAT.Source_Info
(g-souinf.ads
)GNAT.Spelling_Checker
(g-speche.ads
)GNAT.Spelling_Checker_Generic
(g-spchge.ads
)GNAT.Spitbol.Patterns
(g-spipat.ads
)GNAT.Spitbol
(g-spitbo.ads
)GNAT.Spitbol.Table_Boolean
(g-sptabo.ads
)GNAT.Spitbol.Table_Integer
(g-sptain.ads
)GNAT.Spitbol.Table_VString
(g-sptavs.ads
)GNAT.SSE
(g-sse.ads
)GNAT.SSE.Vector_Types
(g-ssvety.ads
)GNAT.String_Hash
(g-strhas.ads
)GNAT.Strings
(g-string.ads
)GNAT.String_Split
(g-strspl.ads
)GNAT.Table
(g-table.ads
)GNAT.Task_Lock
(g-tasloc.ads
)GNAT.Time_Stamp
(g-timsta.ads
)GNAT.Threads
(g-thread.ads
)GNAT.Traceback
(g-traceb.ads
)GNAT.Traceback.Symbolic
(g-trasym.ads
)GNAT.UTF_32
(g-table.ads
)GNAT.Wide_Spelling_Checker
(g-u3spch.ads
)GNAT.Wide_Spelling_Checker
(g-wispch.ads
)GNAT.Wide_String_Split
(g-wistsp.ads
)GNAT.Wide_Wide_Spelling_Checker
(g-zspche.ads
)GNAT.Wide_Wide_String_Split
(g-zistsp.ads
)Interfaces.C.Extensions
(i-cexten.ads
)Interfaces.C.Streams
(i-cstrea.ads
)Interfaces.Packed_Decimal
(i-pacdec.ads
)Interfaces.VxWorks
(i-vxwork.ads
)Interfaces.VxWorks.Int_Connection
(i-vxinco.ads
)Interfaces.VxWorks.IO
(i-vxwoio.ads
)System.Address_Image
(s-addima.ads
)System.Assertions
(s-assert.ads
)System.Atomic_Counters
(s-atocou.ads
)System.Memory
(s-memory.ads
)System.Multiprocessors
(s-multip.ads
)System.Multiprocessors.Dispatching_Domains
(s-mudido.ads
)System.Partition_Interface
(s-parint.ads
)System.Pool_Global
(s-pooglo.ads
)System.Pool_Local
(s-pooloc.ads
)System.Restrictions
(s-restri.ads
)System.Rident
(s-rident.ads
)System.Strings.Stream_Ops
(s-ststop.ads
)System.Unsigned_Types
(s-unstyp.ads
)System.Wch_Cnv
(s-wchcnv.ads
)System.Wch_Con
(s-wchcon.ads
)