| Index Entry | Section |
|
R | | |
| Random number generation | A.4.4(106): Bounded-Length String Handling |
| Random number generation | 11.80 GNAT.MBBS_Discrete_Random (`g-mbdira.ads') |
| Random number generation | 11.81 GNAT.MBBS_Float_Random (`g-mbflra.ads') |
| Random number generation | 11.87 GNAT.Random_Numbers (`g-rannum.ads') |
| Range_Length | Attribute Range_Length |
| Rational | Pragma Rational |
| Rational compatibility | Pragma Overriding_Renamings |
| Rational compatibility mode | Pragma Profile |
| Rational Profile | Pragma Implicit_Packing |
| Rational profile | Pragma Overriding_Renamings |
| Rational profile | Pragma Use_VADS_Size |
| Ravenscar | Pragma Profile |
| Read attribute | 13.13.2(17): Stream Oriented Attributes |
| Real-Time Systems Annex compliance | 14.2.2 Ensuring Compliance with the Real-Time Annex |
| Record Representation Clause | 8.12 Record Representation Clauses |
| Record representation clauses | 13.4(9-10): Enumeration Representation Clauses |
| Ref | Attribute Ref |
| Refined_Depends | Pragma Refined_Depends |
| Refined_Depends | Aspect Refined_Depends |
| Refined_Global | Pragma Refined_Global |
| Refined_Global | Aspect Refined_Global |
| Refined_Post | Pragma Refined_Post |
| Refined_Post | Aspect Refined_Post |
| Refined_State | Pragma Refined_State |
| Refined_State | Aspect Refined_State |
| Regular expressions | 11.88 GNAT.Regexp (`g-regexp.ads') |
| Regular expressions | 11.90 GNAT.Regpat (`g-regpat.ads') |
| Relative_Deadline | Pragma Relative_Deadline |
| Remote_Access_Type | Pragma Remote_Access_Type |
| Remote_Access_Type | Aspect Remote_Access_Type |
| Removing command line arguments | 11.13 Ada.Command_Line.Remove (`a-colire.ads') |
| Representation Clause | 8. Representation Clauses and Pragmas |
| Representation clauses | 11.5(28): Suppression of Checks |
| Representation Clauses | 8. Representation Clauses and Pragmas |
| Representation clauses, enumeration | 13.3(71-73): Component Size Clauses |
| Representation clauses, records | 13.4(9-10): Enumeration Representation Clauses |
| Representation of enums | Attribute Enum_Rep |
| Representation of enums | Attribute Enum_Val |
| Representation of wide characters | 11.144 System.Wch_Cnv (`s-wchcnv.ads') |
| Representation Pragma | 8. Representation Clauses and Pragmas |
| Representation, determination of | 8.18 Determining the Representations chosen by GNAT |
| Response file for command line | 11.14 Ada.Command_Line.Response_File (`a-clrefi.ads') |
| Restricted Run Time | Pragma Profile |
| Restriction_Set | Attribute Restriction_Set |
| Restriction_Warnings | Pragma Restriction_Warnings |
| Restrictions | Attribute Restriction_Set |
| Restrictions definitions | 11.141 System.Rident (`s-rident.ads') |
| Result | Attribute Result |
| Return values, passing mechanism | Attribute Mechanism_Code |
| Reviewable | Pragma Reviewable |
| Rewrite data | 11.91 GNAT.Rewrite_Data (`g-rewdat.ads') |
| Rotate_Left | 7.8 Shifts and Rotates |
| Rotate_Right | 7.8 Shifts and Rotates |
| Run-time restrictions access | 11.140 System.Restrictions (`s-restri.ads') |
|
S | | |
| Safe_Emax | Attribute Safe_Emax |
| Safe_Large | Attribute Safe_Large |
| Safe_Small | Attribute Safe_Small |
| Scalar storage order | Attribute Scalar_Storage_Order |
| Scalar_Storage_Order | Aspect Scalar_Storage_Order |
| Scalar_Storage_Order | Attribute Scalar_Storage_Order |
| Secondary Stack Info | 11.92 GNAT.Secondary_Stack_Info (`g-sestin.ads') |
| Secure Hash Algorithm SHA-1 | 11.95 GNAT.SHA1 (`g-sha1.ads') |
| Secure Hash Algorithm SHA-224 | 11.96 GNAT.SHA224 (`g-sha224.ads') |
| Secure Hash Algorithm SHA-256 | 11.97 GNAT.SHA256 (`g-sha256.ads') |
| Secure Hash Algorithm SHA-384 | 11.98 GNAT.SHA384 (`g-sha384.ads') |
| Secure Hash Algorithm SHA-512 | 11.99 GNAT.SHA512 (`g-sha512.ads') |
| Semaphores | 11.93 GNAT.Semaphores (`g-semaph.ads') |
| Sequential elaboration policy | G.2.6(15): Complex Arithmetic Accuracy |
| Serial_Communications | 11.94 GNAT.Serial_Communications (`g-sercom.ads') |
| Sets of strings | 11.107 GNAT.Spitbol.Table_Boolean (`g-sptabo.ads') |
| Share_Generic | Pragma Share_Generic |
| Shared | Pragma Shared |
| Shared | Aspect Shared |
| Shared passive packages | 14.3 GNAT Implementation of Shared Passive Packages |
| SHARED_MEMORY_DIRECTORY environment variable | 14.3 GNAT Implementation of Shared Passive Packages |
| Shift operators | Pragma Provide_Shift_Operators |
| Shift_Left | 7.8 Shifts and Rotates |
| Shift_Right | 7.8 Shifts and Rotates |
| Shift_Right_Arithmetic | 7.8 Shifts and Rotates |
| Short_Circuit_And_Or | Pragma Short_Circuit_And_Or |
| Short_Descriptors | Pragma Short_Descriptors |
| Signals | 11.100 GNAT.Signals (`g-signal.ads') |
| Simple I/O | 11.77 GNAT.IO (`g-io.ads') |
| Simple storage pool | Pragma Simple_Storage_Pool_Type |
| Simple storage pool | Attribute Simple_Storage_Pool |
| Simple_Barriers | Simple_Barriers |
| Simple_Storage_Pool | Aspect Simple_Storage_Pool |
| Simple_Storage_Pool | Attribute Simple_Storage_Pool |
| Simple_Storage_Pool_Type | Pragma Simple_Storage_Pool_Type |
| Simple_Storage_Pool_Type | Aspect Simple_Storage_Pool_Type |
| Size Clause | 8.2 Size Clauses |
| Size clauses | 13.3(29-35): Alignment Clauses |
| Size for biased representation | 8.5 Biased Representation |
| Size of Address | Attribute Address_Size |
| Size, of objects | 8.6 Value_Size and Object_Size Clauses |
| Size , setting for not-first subtype | Attribute Value_Size |
| Size, used for objects | Attribute Object_Size |
| Size , VADS compatibility | Pragma Use_VADS_Size |
| Size , VADS compatibility | Attribute VADS_Size |
| Size, variant record objects | 8.4 Size of Variant Record Objects |
| Small | Attribute Small |
| Sockets | 11.101 GNAT.Sockets (`g-socket.ads') |
| Sorting | 11.41 GNAT.Bubble_Sort (`g-bubsor.ads') |
| Sorting | 11.42 GNAT.Bubble_Sort_A (`g-busora.ads') |
| Sorting | 11.43 GNAT.Bubble_Sort_G (`g-busorg.ads') |
| Sorting | 11.73 GNAT.Heap_Sort (`g-heasor.ads') |
| Sorting | 11.74 GNAT.Heap_Sort_A (`g-hesora.ads') |
| Sorting | 11.75 GNAT.Heap_Sort_G (`g-hesorg.ads') |
| Source Information | 11.102 GNAT.Source_Info (`g-souinf.ads') |
| Source_File_Name | Pragma Source_File_Name |
| Source_File_Name_Project | Pragma Source_File_Name_Project |
| Source_Location | 7.9 Source_Location |
| Source_Reference | Pragma Source_Reference |
| SPARK | SPARK_05 |
| SPARK_05 | SPARK_05 |
| SPARK_Mode | Pragma SPARK_Mode |
| SPARK_Mode | Aspect SPARK_Mode |
| Spawn capability | 11.85 GNAT.OS_Lib (`g-os_lib.ads') |
| Spell checking | 11.103 GNAT.Spelling_Checker (`g-speche.ads') |
| Spell checking | 11.104 GNAT.Spelling_Checker_Generic (`g-spchge.ads') |
| Spell checking | 11.121 GNAT.Wide_Spelling_Checker (`g-u3spch.ads') |
| Spell checking | 11.122 GNAT.Wide_Spelling_Checker (`g-wispch.ads') |
| Spell checking | 11.124 GNAT.Wide_Wide_Spelling_Checker (`g-zspche.ads') |
| SPITBOL interface | 11.106 GNAT.Spitbol (`g-spitbo.ads') |
| SPITBOL pattern matching | 11.105 GNAT.Spitbol.Patterns (`g-spipat.ads') |
| SPITBOL Tables | 11.107 GNAT.Spitbol.Table_Boolean (`g-sptabo.ads') |
| SPITBOL Tables | 11.108 GNAT.Spitbol.Table_Integer (`g-sptain.ads') |
| SPITBOL Tables | 11.109 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 | 11.138 System.Pool_Global (`s-pooglo.ads') |
| Storage pool, local | 11.139 System.Pool_Local (`s-pooloc.ads') |
| Storage pool, simple | Pragma Simple_Storage_Pool_Type |
| Storage pool, simple | Attribute Simple_Storage_Pool |
| Storage_Size Clause | 8.3 Storage_Size Clauses |
| Storage_Unit | Pragma Component_Alignment |
| Storage_Unit | Attribute Storage_Unit |
| Stream files | 10.5.4 Treating Text_IO Files as Streams |
| Stream operations | 11.142 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 | 11.59 GNAT.Decode_String (`g-decstr.ads') |
| String encoding | 11.65 GNAT.Encode_String (`g-encstr.ads') |
| String maps | 11.109 GNAT.Spitbol.Table_VString (`g-sptavs.ads') |
| String splitter | 11.113 GNAT.String_Split (`g-strspl.ads') |
| String stream operations | 11.142 System.Strings.Stream_Ops (`s-ststop.ads') |
| Stub_Type | Attribute Stub_Type |
| Style_Checks | Pragma Style_Checks |
| Subprogram address | Attribute Code_Address |
| Subtitle | Pragma Subtitle |
| Suppress | Pragma Suppress |
| Suppress_All | Pragma Suppress_All |
| Suppress_Debug_Info | Pragma Suppress_Debug_Info |
| Suppress_Debug_Info | Aspect Suppress_Debug_Info |
| 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') | 11.132 System.Address_Image (`s-addima.ads') |
| System.Assertions (`s-assert.ads') | 11.133 System.Assertions (`s-assert.ads') |
| System.Memory (`s-memory.ads') | 11.134 System.Memory (`s-memory.ads') |
| System.Multiprocessors (`s-multip.ads') | 11.135 System.Multiprocessors (`s-multip.ads') |
| System.Multiprocessors.Dispatching_Domains (`s-mudido.ads') | 11.136 System.Multiprocessors.Dispatching_Domains (`s-mudido.ads') |
| System.Partition_Interface (`s-parint.ads') | 11.137 System.Partition_Interface (`s-parint.ads') |
| System.Pool_Global (`s-pooglo.ads') | 11.138 System.Pool_Global (`s-pooglo.ads') |
| System.Pool_Local (`s-pooloc.ads') | 11.139 System.Pool_Local (`s-pooloc.ads') |
| System.Restrictions (`s-restri.ads') | 11.140 System.Restrictions (`s-restri.ads') |
| System.Rident (`s-rident.ads') | 11.141 System.Rident (`s-rident.ads') |
| System.Strings.Stream_Ops (`s-ststop.ads') | 11.142 System.Strings.Stream_Ops (`s-ststop.ads') |
| System.Unsigned_Types (`s-unstyp.ads') | 11.143 System.Unsigned_Types (`s-unstyp.ads') |
| System.Wch_Cnv (`s-wchcnv.ads') | 11.144 System.Wch_Cnv (`s-wchcnv.ads') |
| System.Wch_Con (`s-wchcon.ads') | 11.145 System.Wch_Con (`s-wchcon.ads') |
| System_Allocator_Alignment | Attribute System_Allocator_Alignment |
|