| Index Entry | Section |
|---|
|
| P | | |
|---|
| Package Interfaces | B.1(39-41): Pragma Export |
| Package Interrupts | C.3.1(20-21): Protected Procedure Handlers |
| Package Task_Attributes | C.5(8): Pragma Discard_Names |
| Packed Decimal | 10.128 Interfaces.Packed_Decimal (`i-pacdec.ads') |
| Packed types | 13.1 (21-24): Representation Clauses |
| Parameters, passing mechanism | Mechanism_Code |
| Parameters, when passed by reference | Passed_By_Reference |
| Parameters, when passed by reference | Pool_Address |
| Parsing | 10.38 GNAT.AWK (`g-awk.ads') |
| Parsing | 10.39 GNAT.Bounded_Buffers (`g-boubuf.ads') |
| Parsing | 10.40 GNAT.Bounded_Mailboxes (`g-boumai.ads') |
| Partition communication subsystem | D.8(47-49): Monotonic Time |
| Partition interfacing functions | 10.134 System.Partition_Interface (`s-parint.ads') |
| Passed_By_Reference | Passed_By_Reference |
| Passing by copy | Pragma C_Pass_By_Copy |
| Passing by descriptor | Pragma Export_Function |
| Passing by descriptor | Pragma Export_Procedure |
| Passing by descriptor | Pragma Export_Valued_Procedure |
| Passing by descriptor | Pragma Import_Function |
| Passive | Pragma Passive |
| Pattern matching | 10.88 GNAT.Regexp (`g-regexp.ads') |
| Pattern matching | 10.90 GNAT.Regpat (`g-regpat.ads') |
| Pattern matching | 10.104 GNAT.Spitbol.Patterns (`g-spipat.ads') |
| PCS | D.8(47-49): Monotonic Time |
| Persistent_BSS | Pragma Persistent_BSS |
| Polling | Pragma Polling |
| Pool_Address | Pool_Address |
| Portability | About This Guide |
| Postconditions | Pragma Postcondition |
| Postconditions | Old |
| pragma Ada_2012 | 14. Implementation of Ada 2012 Features |
| pragma Ordered | Pragma Ordered |
| Pragma Pack (for arrays) | 7.10 Pragma Pack for Arrays |
| Pragma Pack (for records) | 7.11 Pragma Pack for Records |
| Pragma Pack (for type Natural) | 7.10 Pragma Pack for Arrays |
| Pragma Pack warning | 7.10 Pragma Pack for Arrays |
| pragma Shared_Passive | 13.3 GNAT Implementation of Shared Passive Packages |
| Pragma, representation | 7. Representation Clauses and Pragmas |
| Pragmas | 1.1.5(12): Bounded Errors |
| Pre-elaboration requirements | C.3.2(25): Package Interrupts |
| Preconditions | Pragma Precondition |
| Preemptive abort | D.4(16): Entry Queuing Policies |
| Priority, maximum | Max_Priority |
| Protected procedure handlers | C.3(28): Interrupt Support |
| Psect_Object | Pragma Psect_Object |
| Pure | Pragma Pure_Function |
| Pure packages, exceptions | 10.69 GNAT.Exceptions (`g-expect.ads') |
| Pure_Function | Pragma Pure_Function |
|
| R | | |
|---|
| Random number generation | A.4.4(106): Bounded-Length String Handling |
| Random number generation | 10.80 GNAT.MBBS_Discrete_Random (`g-mbdira.ads') |
| Random number generation | 10.81 GNAT.MBBS_Float_Random (`g-mbflra.ads') |
| Random number generation | 10.87 GNAT.Random_Numbers (`g-rannum.ads') |
| Range_Length | Range_Length |
| Ravenscar | Pragma Profile (Ravenscar) |
| Read attribute | 13.13.2(17): Stream Oriented Attributes |
| Real-Time Systems Annex compliance | 13.2.2 Ensuring Compliance with the Real-Time Annex |
| Record Representation Clause | 7.12 Record Representation Clauses |
| Record representation clauses | 13.4(9-10): Enumeration Representation Clauses |
| Ref | Ref |
| Regular expressions | 10.88 GNAT.Regexp (`g-regexp.ads') |
| Regular expressions | 10.90 GNAT.Regpat (`g-regpat.ads') |
| Remote_Access_Type | Pragma Remote_Access_Type |
| Removing command line arguments | 10.13 Ada.Command_Line.Remove (`a-colire.ads') |
| Representation Clause | 7. Representation Clauses and Pragmas |
| Representation Clauses | 7. Representation Clauses and Pragmas |
| Representation clauses | 11.5(28): Suppression of Checks |
| Representation clauses, enumeration | 13.3(71-73): Component Size Clauses |
| Representation clauses, records | 13.4(9-10): Enumeration Representation Clauses |
| Representation of enums | Enum_Rep |
| Representation of enums | Enum_Val |
| Representation of wide characters | 10.141 System.Wch_Cnv (`s-wchcnv.ads') |
| Representation Pragma | 7. Representation Clauses and Pragmas |
| Representation, determination of | 7.16 Determining the Representations chosen by GNAT |
| Response file for command line | 10.14 Ada.Command_Line.Response_File (`a-clrefi.ads') |
| Restricted Run Time | Pragma Profile (Restricted) |
| Restriction_Warnings | Pragma Restriction_Warnings |
| Restrictions definitions | 10.138 System.Rident (`s-rident.ads') |
| Result | Result |
| Return values, passing mechanism | Mechanism_Code |
| Rotate_Left | 6.8 Shifts and Rotates |
| Rotate_Right | 6.8 Shifts and Rotates |
| Run-time restrictions access | 10.137 System.Restrictions (`s-restri.ads') |
|
| S | | |
|---|
| Safe_Emax | Safe_Emax |
| Safe_Large | Safe_Large |
| Scalar storage order | Scalar_Storage_Order |
| Scalar_Storage_Order | Scalar_Storage_Order |
| Secondary Stack Info | 10.91 GNAT.Secondary_Stack_Info (`g-sestin.ads') |
| Secure Hash Algorithm SHA-1 | 10.94 GNAT.SHA1 (`g-sha1.ads') |
| Secure Hash Algorithm SHA-224 | 10.95 GNAT.SHA224 (`g-sha224.ads') |
| Secure Hash Algorithm SHA-256 | 10.96 GNAT.SHA256 (`g-sha256.ads') |
| Secure Hash Algorithm SHA-384 | 10.97 GNAT.SHA384 (`g-sha384.ads') |
| Secure Hash Algorithm SHA-512 | 10.98 GNAT.SHA512 (`g-sha512.ads') |
| Semaphores | 10.92 GNAT.Semaphores (`g-semaph.ads') |
| Serial_Communications | 10.93 GNAT.Serial_Communications (`g-sercom.ads') |
| Sets of strings | 10.106 GNAT.Spitbol.Table_Boolean (`g-sptabo.ads') |
| Shared | Pragma Shared |
| Shared passive packages | 13.3 GNAT Implementation of Shared Passive Packages |
| SHARED_MEMORY_DIRECTORY environment variable | 13.3 GNAT Implementation of Shared Passive Packages |
| Shift_Left | 6.8 Shifts and Rotates |
| Shift_Right | 6.8 Shifts and Rotates |
| Shift_Right_Arithmetic | 6.8 Shifts and Rotates |
| Short_Circuit_And_Or | Pragma Short_Circuit_And_Or |
| Short_Descriptors | Pragma Short_Descriptors |
| Signals | 10.99 GNAT.Signals (`g-signal.ads') |
| Simple I/O | 10.77 GNAT.IO (`g-io.ads') |
| Simple storage pool | Pragma Simple_Storage_Pool_Type |
| Simple storage pool | Simple_Storage_Pool |
| Simple_Barriers | Simple_Barriers |
| Simple_Storage_Pool | Simple_Storage_Pool |
| Simple_Storage_Pool_Type | Pragma Simple_Storage_Pool_Type |
| Size Clause | 7.2 Size Clauses |
| Size clauses | 13.3(29-35): Alignment Clauses |
| Size for biased representation | 7.5 Biased Representation |
| Size of Address | Address_Size |
| Size, of objects | 7.6 Value_Size and Object_Size Clauses |
| Size, setting for not-first subtype | Value_Size |
| Size, used for objects | Object_Size |
| Size, VADS compatibility | Pragma Use_VADS_Size |
| Size, VADS compatibility | VADS_Size |
| Size, variant record objects | 7.4 Size of Variant Record Objects |
| Small | Small |
| Sockets | 10.100 GNAT.Sockets (`g-socket.ads') |
| Sorting | 10.41 GNAT.Bubble_Sort (`g-bubsor.ads') |
| Sorting | 10.42 GNAT.Bubble_Sort_A (`g-busora.ads') |
| Sorting | 10.43 GNAT.Bubble_Sort_G (`g-busorg.ads') |
| Sorting | 10.73 GNAT.Heap_Sort (`g-heasor.ads') |
| Sorting | 10.74 GNAT.Heap_Sort_A (`g-hesora.ads') |
| Sorting | 10.75 GNAT.Heap_Sort_G (`g-hesorg.ads') |
| Source Information | 10.101 GNAT.Source_Info (`g-souinf.ads') |
| Source_File_Name | Pragma Source_File_Name |
| Source_File_Name_Project | Pragma Source_File_Name_Project |
| Source_Location | 6.9 Source_Location |
| Source_Reference | Pragma Source_Reference |
| SPARK | SPARK |
| Spawn capability | 10.85 GNAT.OS_Lib (`g-os_lib.ads') |
| Spell checking | 10.102 GNAT.Spelling_Checker (`g-speche.ads') |
| Spell checking | 10.103 GNAT.Spelling_Checker_Generic (`g-spchge.ads') |
| Spell checking | 10.120 GNAT.Wide_Spelling_Checker (`g-u3spch.ads') |
| Spell checking | 10.121 GNAT.Wide_Spelling_Checker (`g-wispch.ads') |
| Spell checking | 10.123 GNAT.Wide_Wide_Spelling_Checker (`g-zspche.ads') |
| SPITBOL interface | 10.105 GNAT.Spitbol (`g-spitbo.ads') |
| SPITBOL pattern matching | 10.104 GNAT.Spitbol.Patterns (`g-spipat.ads') |
| SPITBOL Tables | 10.106 GNAT.Spitbol.Table_Boolean (`g-sptabo.ads') |
| SPITBOL Tables | 10.107 GNAT.Spitbol.Table_Integer (`g-sptain.ads') |
| SPITBOL Tables | 10.108 GNAT.Spitbol.Table_VString (`g-sptavs.ads') |
| Static_Elaboration_Desired | Pragma Static_Elaboration_Desired |
| Static_Priorities | Static_Priorities |
| Static_Storage_Size | Static_Storage_Size |
| Storage place attributes | 13.5.1(17-22): Record Representation Clauses |
| Storage pool, global | 10.135 System.Pool_Global (`s-pooglo.ads') |
| Storage pool, local | 10.136 System.Pool_Local (`s-pooloc.ads') |
| Storage pool, simple | Pragma Simple_Storage_Pool_Type |
| Storage pool, simple | Simple_Storage_Pool |
| Storage_Size Clause | 7.3 Storage_Size Clauses |
| Storage_Unit | Pragma Component_Alignment |
| Storage_Unit | Storage_Unit |
| Stream files | 9.5.4 Treating Text_IO Files as Streams |
| Stream operations | 10.139 System.Strings.Stream_Ops (`s-ststop.ads') |
| Stream oriented attributes | 13.11.2(17): Unchecked De-allocation |
| Stream oriented attributes | 13.13.2(17): Stream Oriented Attributes |
| Stream_Convert | Pragma Stream_Convert |
| String decoding | 10.59 GNAT.Decode_String (`g-decstr.ads') |
| String encoding | 10.65 GNAT.Encode_String (`g-encstr.ads') |
| String maps | 10.108 GNAT.Spitbol.Table_VString (`g-sptavs.ads') |
| String splitter | 10.112 GNAT.String_Split (`g-strspl.ads') |
| String stream operations | 10.139 System.Strings.Stream_Ops (`s-ststop.ads') |
| Stub_Type | Stub_Type |
| Style_Checks | Pragma Style_Checks |
| Subprogram address | Code_Address |
| Subtitle | Pragma Subtitle |
| Suppress | Pragma Suppress |
| Suppress_All | Pragma Suppress_All |
| Suppress_Exception_Locations | Pragma Suppress_Exception_Locations |
| Suppress_Initialization | Pragma Suppress_Initialization |
| Suppressing external name | Pragma Export_Function |
| Suppressing external name | Pragma Export_Procedure |
| Suppressing external name | Pragma Export_Valued_Procedure |
| Suppressing initialization | Pragma Suppress_Initialization |
| Suppression of checks | 11.4.1(19): Exception Information |
| system, extending | Pragma Extend_System |
| System.Address_Image (`s-addima.ads') | 10.131 System.Address_Image (`s-addima.ads') |
| System.Assertions (`s-assert.ads') | 10.132 System.Assertions (`s-assert.ads') |
| System.Memory (`s-memory.ads') | 10.133 System.Memory (`s-memory.ads') |
| System.Partition_Interface (`s-parint.ads') | 10.134 System.Partition_Interface (`s-parint.ads') |
| System.Pool_Global (`s-pooglo.ads') | 10.135 System.Pool_Global (`s-pooglo.ads') |
| System.Pool_Local (`s-pooloc.ads') | 10.136 System.Pool_Local (`s-pooloc.ads') |
| System.Restrictions (`s-restri.ads') | 10.137 System.Restrictions (`s-restri.ads') |
| System.Rident (`s-rident.ads') | 10.138 System.Rident (`s-rident.ads') |
| System.Strings.Stream_Ops (`s-ststop.ads') | 10.139 System.Strings.Stream_Ops (`s-ststop.ads') |
| System.Task_Info (`s-tasinf.ads') | 10.140 System.Task_Info (`s-tasinf.ads') |
| System.Wch_Cnv (`s-wchcnv.ads') | 10.141 System.Wch_Cnv (`s-wchcnv.ads') |
| System.Wch_Con (`s-wchcon.ads') | 10.142 System.Wch_Con (`s-wchcon.ads') |
| System_Allocator_Alignment | System_Allocator_Alignment |
|