Index

Symbols

-gnat22 option (gcc)

-gnatR (gcc)

_

___lock file (for shared passive packages)

A

Abort_Signal Abstract_State Access Access values Accuracy Accuracy requirements Ada 2005 Language Reference Manual Ada 2022 implementation status Ada 83 attributes, [1], [2], [3], [4], [5], [6], [7] Ada 95 Language Reference Manual Ada Extensions Ada.Characters.Handling Ada.Characters.Latin_9 (a-chlat9.ads) Ada.Characters.Wide_Latin_1 (a-cwila1.ads) Ada.Characters.Wide_Latin_9 (a-cwila9.ads) Ada.Characters.Wide_Wide_Latin_1 (a-chzla1.ads) Ada.Characters.Wide_Wide_Latin_9 (a-chzla9.ads) Ada.Command_Line.Environment (a-colien.ads) Ada.Command_Line.Remove (a-colire.ads) Ada.Command_Line.Response_File (a-clrefi.ads) Ada.Containers.Bounded_Holders (a-coboho.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) Ada_2022 configuration pragma Address, [1] Address Clause Address clauses Address image Address of subprogram code Address_Size AI12-0001 (Ada 2022 feature) AI12-0003 (Ada 2022 feature) AI12-0004 (Ada 2022 feature) AI12-0020 (Ada 2022 feature) AI12-0022 (Ada 2022 feature) AI12-0027 (Ada 2022 feature) AI12-0028 (Ada 2022 feature) AI12-0030 (Ada 2022 feature) AI12-0031 (Ada 2022 feature) AI12-0032 (Ada 2022 feature) AI12-0033 (Ada 2022 feature) AI12-0035 (Ada 2022 feature) AI12-0036 (Ada 2022 feature) AI12-0037 (Ada 2022 feature) AI12-0039 (Ada 2022 feature) AI12-0040 (Ada 2022 feature) AI12-0041 (Ada 2022 feature) AI12-0042 (Ada 2022 feature) AI12-0043 (Ada 2022 feature) AI12-0044 (Ada 2022 feature) AI12-0045 (Ada 2022 feature) AI12-0046 (Ada 2022 feature) AI12-0047 (Ada 2022 feature) AI12-0048 (Ada 2022 feature) AI12-0049 (Ada 2022 feature) AI12-0050 (Ada 2022 feature) AI12-0051 (Ada 2022 feature) AI12-0052 (Ada 2022 feature) AI12-0054-2 (Ada 2022 feature) AI12-0055 (Ada 2022 feature) AI12-0059 (Ada 2022 feature) AI12-0061 (Ada 2022 feature) AI12-0062 (Ada 2022 feature) AI12-0065 (Ada 2022 feature) AI12-0067 (Ada 2022 feature) AI12-0068 (Ada 2022 feature) AI12-0069 (Ada 2022 feature) AI12-0070 (Ada 2022 feature) AI12-0071 (Ada 2022 feature) AI12-0072 (Ada 2022 feature) AI12-0073 (Ada 2022 feature) AI12-0074 (Ada 2022 feature) AI12-0075 (Ada 2022 feature) AI12-0076 (Ada 2022 feature) AI12-0077 (Ada 2022 feature) AI12-0078 (Ada 2022 feature) AI12-0081 (Ada 2022 feature) AI12-0084 (Ada 2022 feature) AI12-0085 (Ada 2022 feature) AI12-0086 (Ada 2022 feature) AI12-0088 (Ada 2022 feature) AI12-0089 (Ada 2022 feature) AI12-0093 (Ada 2022 feature) AI12-0094 (Ada 2022 feature) AI12-0095 (Ada 2022 feature) AI12-0096 (Ada 2022 feature) AI12-0097 (Ada 2022 feature) AI12-0098 (Ada 2022 feature) AI12-0099 (Ada 2022 feature) AI12-0100 (Ada 2022 feature) AI12-0101 (Ada 2022 feature) AI12-0102 (Ada 2022 feature) AI12-0103 (Ada 2022 feature) AI12-0104 (Ada 2022 feature) AI12-0105 (Ada 2022 feature) AI12-0106 (Ada 2022 feature) AI12-0107 (Ada 2022 feature) AI12-0109 (Ada 2022 feature) AI12-0110 (Ada 2022 feature) AI12-0112 (Ada 2022 feature) AI12-0114 (Ada 2022 feature) AI12-0116 (Ada 2022 feature) AI12-0117 (Ada 2022 feature) AI12-0120 (Ada 2022 feature) AI12-0121 (Ada 2022 feature) AI12-0124 (Ada 2022 feature) AI12-0125-3 (Ada 2022 feature) AI12-0127 (Ada 2022 feature) AI12-0128 (Ada 2022 feature) AI12-0129 (Ada 2022 feature) AI12-0130 (Ada 2022 feature) AI12-0131 (Ada 2022 feature) AI12-0132 (Ada 2022 feature) AI12-0133 (Ada 2022 feature) AI12-0135 (Ada 2022 feature) AI12-0136 (Ada 2022 feature) AI12-0137 (Ada 2022 feature) AI12-0138 (Ada 2022 feature) AI12-0140 (Ada 2022 feature) AI12-0143 (Ada 2022 feature) AI12-0144 (Ada 2022 feature) AI12-0145 (Ada 2022 feature) AI12-0147 (Ada 2022 feature) AI12-0149 (Ada 2022 feature) AI12-0150 (Ada 2022 feature) AI12-0154 (Ada 2022 feature) AI12-0156 (Ada 2022 feature) AI12-0157 (Ada 2022 feature) AI12-0160 (Ada 2022 feature) AI12-0162 (Ada 2022 feature) AI12-0164 (Ada 2022 feature) AI12-0165 (Ada 2022 feature) AI12-0166 (Ada 2022 feature) AI12-0167 (Ada 2022 feature) AI12-0168 (Ada 2022 feature) AI12-0169 (Ada 2022 feature) AI12-0170 (Ada 2022 feature) AI12-0172 (Ada 2022 feature)

AI12-0173 (Ada 2022 feature) AI12-0174 (Ada 2022 feature) AI12-0175 (Ada 2022 feature) AI12-0179 (Ada 2022 feature) AI12-0180 (Ada 2022 feature) AI12-0181 (Ada 2022 feature) AI12-0182 (Ada 2022 feature) AI12-0184 (Ada 2022 feature) AI12-0185 (Ada 2022 feature) AI12-0186 (Ada 2022 feature) AI12-0187 (Ada 2022 feature) AI12-0191 (Ada 2022 feature) AI12-0192 (Ada 2022 feature) AI12-0194 (Ada 2022 feature) AI12-0195 (Ada 2022 feature) AI12-0196 (Ada 2022 feature) AI12-0198 (Ada 2022 feature) AI12-0199 (Ada 2022 feature) AI12-0201 (Ada 2022 feature) AI12-0203 (Ada 2022 feature) AI12-0204 (Ada 2022 feature) AI12-0205 (Ada 2022 feature) AI12-0206 (Ada 2022 feature) AI12-0207 (Ada 2022 feature) AI12-0208 (Ada 2022 feature) AI12-0211 (Ada 2022 feature) AI12-0212 (Ada 2022 feature) AI12-0216 (Ada 2022 feature) AI12-0217 (Ada 2022 feature) AI12-0220 (Ada 2022 feature) AI12-0222 (Ada 2022 feature) AI12-0225 (Ada 2022 feature) AI12-0226 (Ada 2022 feature) AI12-0227 (Ada 2022 feature) AI12-0228 (Ada 2022 feature) AI12-0231 (Ada 2022 feature) AI12-0232 (Ada 2022 feature) AI12-0233 (Ada 2022 feature) AI12-0234 (Ada 2022 feature) AI12-0235 (Ada 2022 feature) AI12-0236 (Ada 2022 feature) AI12-0237 (Ada 2022 feature) AI12-0242 (Ada 2022 feature) AI12-0247 (Ada 2022 feature) AI12-0249 (Ada 2022 feature) AI12-0250 (Ada 2022 feature) AI12-0252 (Ada 2022 feature) AI12-0256 (Ada 2022 feature) AI12-0258 (Ada 2022 feature) AI12-0259 (Ada 2022 feature) AI12-0260 (Ada 2022 feature) AI12-0261 (Ada 2022 feature) AI12-0262 (Ada 2022 feature) AI12-0263 (Ada 2022 feature) AI12-0264 (Ada 2022 feature) AI12-0265 (Ada 2022 feature) AI12-0269 (Ada 2022 feature) AI12-0272 (Ada 2022 feature) AI12-0275 (Ada 2022 feature) AI12-0277 (Ada 2022 feature) AI12-0278 (Ada 2022 feature) AI12-0279 (Ada 2022 feature) AI12-0280-2 (Ada 2022 feature) AI12-0282 (Ada 2022 feature) AI12-0285 (Ada 2022 feature) AI12-0287 (Ada 2022 feature) AI12-0289 (Ada 2022 feature) AI12-0290 (Ada 2022 feature) AI12-0291 (Ada 2022 feature) AI12-0293 (Ada 2022 feature) AI12-0295 (Ada 2022 feature) AI12-0301 (Ada 2022 feature) AI12-0304 (Ada 2022 feature) AI12-0306 (Ada 2022 feature) AI12-0307 (Ada 2022 feature) AI12-0309 (Ada 2022 feature) AI12-0311 (Ada 2022 feature) AI12-0315 (Ada 2022 feature) AI12-0318 (Ada 2022 feature) AI12-0321 (Ada 2022 feature) AI12-0325 (Ada 2022 feature) AI12-0329 (Ada 2022 feature) AI12-0331 (Ada 2022 feature) AI12-0333 (Ada 2022 feature) AI12-0335 (Ada 2022 feature) AI12-0336 (Ada 2022 feature) AI12-0337 (Ada 2022 feature) AI12-0338 (Ada 2022 feature) AI12-0339 (Ada 2022 feature) AI12-0340 (Ada 2022 feature) AI12-0342 (Ada 2022 feature) AI12-0343 (Ada 2022 feature) AI12-0345 (Ada 2022 feature) AI12-0350 (Ada 2022 feature) AI12-0351 (Ada 2022 feature) AI12-0352 (Ada 2022 feature) AI12-0356 (Ada 2022 feature) AI12-0363 (Ada 2022 feature) AI12-0364 (Ada 2022 feature) AI12-0366 (Ada 2022 feature) AI12-0367 (Ada 2022 feature) AI12-0368 (Ada 2022 feature) AI12-0369 (Ada 2022 feature) AI12-0372 (Ada 2022 feature) AI12-0373 (Ada 2022 feature) AI12-0376 (Ada 2022 feature) AI12-0377 (Ada 2022 feature) AI12-0381 (Ada 2022 feature) AI12-0382 (Ada 2022 feature) AI12-0383 (Ada 2022 feature) AI12-0384-2 (Ada 2022 feature) AI12-0385 (Ada 2022 feature) AI12-0389 (Ada 2022 feature) AI12-0394 (Ada 2022 feature) AI12-0395 (Ada 2022 feature) AI12-0397 (Ada 2022 feature) AI12-0398 (Ada 2022 feature) AI12-0399 (Ada 2022 feature) AI12-0400 (Ada 2022 feature) AI12-0401 (Ada 2022 feature) AI12-0409 (Ada 2022 feature) AI12-0411 (Ada 2022 feature) AI12-0412 (Ada 2022 feature) AI12-0413 (Ada 2022 feature) AI12-0423 (Ada 2022 feature) AI12-0432 (Ada 2022 feature) Alignment, [1], [2], [3], [4] Alignment Clause Alignment clauses Alignments of components allocator Alternative Character Sets AltiVec, [1], [2], [3], [4] Always_Terminates Annex E Annotate Anonymous access types Argument passing mechanisms argument removal Array packing Array splitter Arrays, [1], [2] as private type Asm_Input Asm_Output Assert_Failure Assertions, [1], [2] Async_Readers Async_Writers Atomic Synchronization, [1] Atomic_Always_Lock_Free Attribute Attribute Loop_Entry Attribute Old AWK

B

Biased representation Big endian, [1] Binary search Bind environment Bit Bit ordering bit ordering Bit_Order Clause

Bit_Position Boolean_Entry_Barriers Bounded Buffers Bounded errors Bounded-length strings Branch Prediction Bubble sort, [1], [2] byte ordering Byte swapping

C

C C Streams, [1], [2], [3], [4], [5] C streams Calendar, [1] casing Casing of External names Casing utilities CGI (Common Gateway Interface) (Common Gateway Interface), [1] Character handling (``GNAT.Case_Util``) Character Sets Check names Check pragma control Checks, [1], [2], [3], [4], [5], [6] Child Units COBOL COBOL support Code_Address Command line, [1], [2], [3] Compatibility (between Ada 83 and Ada 95 / Ada 2005 / Ada 2012 / Ada 2022) Compatibility between Ada 95 and Ada 2005 Compilation_Date Compilation_ISO_Date Compilation_Time Compiler Version Compiler_Version

complex arithmetic Complex arithmetic accuracy Complex elementary functions Complex types Component Clause Component_Size (in pragma Component_Alignment) Component_Size Clause Component_Size clauses Component_Size_4 (in pragma Component_Alignment) configuration pragma Ada_2022 Constant_After_Elaboration Constrained Containers Contract cases Contract_Cases control Controlling assertions Convention Convention for anonymous access types Conventions, [1] Conversion Cookie support in CGI CRC32 Current exception Current time Cyclic Redundancy Check

D

Debug pools Debugging, [1], [2] debugging with Initialize_Scalars DEC Ada 83 Dec Ada 83 casing compatibility Decimal radix support Decoding strings, [1] Decoding UTF-8 strings default Default (in pragma Component_Alignment) default settings Default_Bit_Order Default_Initial_Condition Default_Scalar_Storage_Order, [1] Default_Storage_Pool Deferring aborts

defining Defining check names Depends Deref Descriptor Descriptor_Size determination of Dimension Dimension_System Directory operations Directory operations iteration Disable_Controlled Discriminants Distribution Systems Annex Dope vector Dump Memory Duration'Small

E

effect on representation Effective_Reads Effective_Writes Elab_Body Elab_Spec Elab_Subp_Body Elaborated Elaboration control Elimination of unused subprograms Emax Enabled Enclosing_Entity Encoding strings, [1] Encoding UTF-8 strings Endianness, [1] Entry queuing policies Enum_Rep Enum_Val enumeration Enumeration representation clauses Enumeration values Environment entries

Epsilon Error detection Exception exception, [1] Exception actions Exception information Exception retrieval Exception traces Exception_Information' Exception_Message, [1] Exception_Name Exceptional_Cases, [1] Exceptions exceptions Exit_Cases, [1] Export, [1] extendable, [1] extending extensions for unbounded strings extensions for unbounded wide strings extensions for unbounded wide wide strings Extensions_Visible External Names

F

Fast_Math Favor_Top_Level File File locking Finalization_Size Fixed_Value Float types Floating-point overflow

Floating-Point Processor foreign Foreign threads Forking a new process Formal container for vectors Formatted String Fortran From_Any

G

Get_Immediate, [1], [2], [3] Ghost Ghost_Predicate Global global Global storage pool GNAT Extensions 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.Binary_Search (g-binsea.ads) GNAT.Bind_Environment (g-binenv.ads) GNAT.Bounded_Buffers (g-boubuf.ads) GNAT.Bounded_Mailboxes (g-boumai.ads) GNAT.Branch_Prediction (g-brapre.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.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.CRC32 (g-crc32.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.Generic_Fast_Math_Functions (g-gfmafu.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 (g-spitbo.ads) GNAT.Spitbol.Patterns (g-spipat.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.String_Split (g-strspl.ads) GNAT.Strings (g-string.ads) GNAT.Table (g-table.ads) GNAT.Task_Lock (g-tasloc.ads) GNAT.Threads (g-thread.ads) GNAT.Time_Stamp (g-timsta.ads) GNAT.Traceback (g-traceb.ads) GNAT.Traceback.Symbolic (g-trasym.ads) GNAT.UTF_32 (g-utf_32.ads) GNAT.UTF_32_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)

H

handling long command lines Handling of Records with Holes Has_Access_Values Has_Discriminants

Has_Tagged_Values Hash functions, [1] Hash tables, [1] Heap usage

I

I/O interfacing IBM Packed Format Image Img Immediate_Reclamation Implementation-dependent features implicit Import Initial_Condition Initialization Initialized Initializes Inline_Always Input/Output facilities, [1] Integer maps Integer types Integer_Value Interfaces 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.IO (i-vxwoio.ads)

interfacing, [1] Interfacing to C++, [1] Interfacing to VxWorks Interfacing to VxWorks' I/O interfacing with, [1], [2] Interfacing with ``Text_IO`` Interfacing with ``Wide_Text_IO`` Interfacing with ``Wide_Wide_Text_IO`` Interfacing with C++, [1], [2] Interfacing with Direct_IO Interfacing with Sequential_IO Interfacing with Stream_IO Interrupt Interrupt support Interrupts Intrinsic operator Intrinsic Subprograms Invalid representations Invalid values Invalid_Value Invariant Invariant'Class IO support, [1], [2] Iterable

L

Large Latin-1 Latin_1 constants for Wide_Character Latin_1 constants for Wide_Wide_Character Latin_9 constants for Character Latin_9 constants for Wide_Character Latin_9 constants for Wide_Wide_Character Library_Level License checking Line

Linker_Section Little endian, [1] local Local storage pool Local_Restrictions Lock_Free Locking Locking Policies Locking using files Loop_Entry

M

Machine Code insertions Machine operations Machine_Size Mailboxes Mantissa Maps, [1] Mathematical functions Max_Asynchronous_Select_Nesting Max_Entry_Queue_Depth Max_Entry_Queue_Length Max_Integer_Size Max_Protected_Entries Max_Queue_Length Max_Select_Alternatives

Max_Storage_At_Blocking Max_Task_Entries Max_Tasks maximum Maximum_Alignment Maximum_Alignment attribute Mechanism_Code Memory allocation Memory corruption debugging Memory-mapped I/O Message Digest MD5 monotonic multidimensional Multidimensional arrays Multiprocessor interface, [1]

N

Named assertions, [1] Named numbers No_Abort_Statements No_Access_Parameter_Allocators No_Access_Subprograms No_Allocators No_Anonymous_Allocators No_Asynchronous_Control No_Caching No_Calendar No_Coextensions No_Default_Initialization No_Delay No_Dependence No_Direct_Boolean_Operators No_Dispatch No_Dispatching_Calls No_Dynamic_Accessibility_Checks No_Dynamic_Attachment No_Dynamic_Interrupts No_Dynamic_Priorities No_Dynamic_Sized_Objects No_Elaboration_Code No_Elaboration_Code_All No_Entry_Calls_In_Elaboration_Code No_Entry_Queue No_Enumeration_Maps No_Exception_Handlers No_Exception_Propagation No_Exception_Registration No_Exceptions No_Finalization No_Fixed_Point No_Floating_Point No_Implementation_Aspect_Specifications No_Implementation_Attributes No_Implementation_Identifiers No_Implementation_Pragmas No_Implementation_Restrictions No_Implementation_Units No_Implicit_Aliasing No_Implicit_Conditionals No_Implicit_Dynamic_Code No_Implicit_Heap_Allocations No_Implicit_Loops No_Implicit_Protected_Object_Allocations No_Implicit_Task_Allocations

No_Initialize_Scalars No_Inline No_IO No_Local_Allocators No_Local_Protected_Objects No_Local_Tagged_Types No_Local_Timing_Events No_Long_Long_Integers No_Multiple_Elaboration No_Nested_Finalization No_Obsolescent_Features No_Protected_Type_Allocators No_Protected_Types No_Raise No_Recursion No_Reentrancy No_Relative_Delay No_Requeue 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_Tagged_Streams No_Tagged_Type_Registration No_Task_Allocators No_Task_At_Interrupt_Priority No_Task_Attributes No_Task_Attributes_Package No_Task_Hierarchy No_Task_Parts No_Task_Termination No_Tasking No_Terminate_Alternatives No_Unchecked_Access No_Unchecked_Conversion No_Unchecked_Deallocation No_Use_Of_Attribute No_Use_Of_Entity No_Use_Of_Pragma No_Wide_Characters Null_Occurrence, [1] Null_Parameter Numerics

O

Object_Size, [1], [2] Obsolescent obtaining most recent of an address of bits of bytes of compiler

of objects Old on ``Address`` Operating System interface Operations operations of ordering, [1] Overlaying of objects

P

Package ``Interrupts`` Package Interfaces Package Task_Attributes Packed Decimal Packed types Parameters, [1] Parsing, [1], [2] Part_Of Partition communication subsystem Partition interfacing functions Passed_By_Reference passing Passing by copy passing mechanism, [1] Pattern matching, [1], [2] PCS Persistent_BSS Pool_Address Portability Post, [1] Postcondition postconditions, [1], [2] Potentially_Invalid

Pragma pragma Ada_2022 Pragma Component_Alignment Pragma Pack (for arrays) (for records) (for type Natural) Pragma Pack warning pragma Shared_Passive Pragmas, [1] Pre Pre-elaboration requirements Pre_Class Preconditions preconditions, [1], [2] Predicate Preemptive abort Prefix_Exception_Messages Program_Exit Protected procedure handlers Pure Pure packages Pure_Barriers Pure_Function

R

Random number generation, [1], [2], [3] Range_Length Rational compatibility Rational Profile Rational profile, [1] Read attribute Real-Time Systems Annex compliance Record Representation Clause Record representation clauses records Refined_Depends Refined_Global Refined_Initialization Refined_Post Refined_State Regular expressions, [1] Remote_Access_Type Removing command line arguments Representation, [1]

representation Representation Clause Representation Clauses Representation clauses, [1], [2] representation of Representation of enums, [1] Representation of wide characters Representation Pragma response file Response file for command line Restriction_Set Restrictions Restrictions definitions Result Return values Rewrite data Rotate_Left Rotate_Right Round Run-time restrictions access

S

Safe_Emax Safe_Large Safe_Small Scalar storage order Scalar_Storage_Order, [1], [2] Secondary Stack Info Secondary_Stack_Size Secure Hash Algorithm SHA-1 Secure Hash Algorithm SHA-224 Secure Hash Algorithm SHA-256 Secure Hash Algorithm SHA-384 Secure Hash Algorithm SHA-512 Semaphores Sequential elaboration policy Serial_Communications Sets of strings setting for not-first subtype Shared Shared passive packages SHARED_MEMORY_DIRECTORY environment variable Shift operators Shift_Left Shift_Right Shift_Right_Arithmetic Side_Effects Signals simple, [1] Simple I/O Simple storage pool, [1] Simple_Barriers Simple_Storage_Pool, [1] Simple_Storage_Pool_Type Size, [1], [2], [3], [4], [5] size Size Clause Size clauses Size for biased representation Size of ``Address`` Small, [1], [2] Small_Denominator Small_Numerator Sockets Sorting, [1], [2], [3], [4], [5] Source Information Source_Location SPARK_05 SPARK_Mode Spawn capability

Spell checking, [1], [2], [3], [4] SPITBOL interface SPITBOL pattern matching SPITBOL Tables, [1], [2] Static_Dispatch_Tables Static_Priorities Static_Storage_Size Storage place attributes Storage pool, [1], [2], [3] Storage_Size Clause Storage_Unit (in pragma Component_Alignment) Stream files Stream operations Stream oriented attributes, [1] String decoding String encoding String maps String splitter String stream operations Stub_Type Subprogram address Subprogram_Variant, [1] subtypes Super Suppress_Debug_Info Suppress_Initialization Suppressing external name, [1], [2] Suppressing initialization suppression of, [1] Suppression of checks synonyms, [1] System 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) System_Allocator_Alignment

T

Table implementation, [1] Tagged values Target_Name Task locking Task specific storage Task synchronization Task_Attributes, [1] Tasking restrictions Test cases Test_Case testing for, [1], [2], [3], [4] Text_IO, [1], [2], [3] Text_IO extensions Text_IO for unbounded strings Text_IO operations

Text_IO resetting standard files Thread_Local_Storage Threads Time, [1] Time stamp TLS (Thread Local Storage) To_Address, [1] To_Any Trace back facilities, [1] Traceback for Exception Occurrence trampoline Type_Class Type_Key TypeCode typographical Typographical conventions

U

Unbounded_String, [1] Unbounded_Wide_String Unbounded_Wide_Wide_String Unchecked conversion Unchecked deallocation Unconstrained_Array Unevaluated_Use_Of_Old Unicode, [1], [2], [3] Unicode categorization, [1] Unions in C Universal_Aliasing Universal_Literal_String Unmodified

unmodified Unreferenced unreferenced, [1] Unreferenced_Objects unrestricted Unrestricted_Access unused Update used for objects User_Aspect UTF-8, [1], [2], [3] UTF-8 representation UTF-8 string decoding UTF-8 string encoding

V

VADS compatibility, [1] VADS_Size Valid_Scalars Valid_Value Value_Size, [1], [2]

Variant record objects variant record objects Version Volatile_Full_Access Volatile_Function VxWorks, [1], [2], [3]

W

Warnings, [1], [2], [3], [4] Wchar_T_Size when passed by reference Wide characte representations Wide Character Wide character codes Wide character decoding Wide character encoding, [1], [2] Wide String

Wide_Character Wide_String splitter Wide_Text_IO resetting standard files Wide_Wide_Character Wide_Wide_String splitter Wide_Wide_Text_IO resetting standard files Windows Registry Word_Size Write attribute

X

XDR representation

Z

Zero address