| Index Entry | Section |
|---|
|
| H | | |
|---|
| Hiding of Declarations | 3.2.2 Warning Message Control |
| HP-UX and `-mbig-switch' option | 3.2 Switches for gcc |
| HT | 2.1 Source Representation |
|
| I | | |
|---|
| Implicit dereferencing | 3.2.2 Warning Message Control |
| Implicit_IN_Mode_Parameters rule (for gnatcheck) | 23.6.20 Implicit_IN_Mode_Parameters |
| Implicit_SMALL_For_Fixed_Point_Types rule (for gnatcheck) | 23.6.21 Implicit_SMALL_For_Fixed_Point_Types |
| Import library | G.8.2 Creating an Import Library |
| Improper_Returns rule (for gnatcheck) | 23.6.23 Improper_Returns |
| Improperly_Located_Instantiations rule (for gnatcheck) | 23.6.22 Improperly_Located_Instantiations |
| Improving performance | 7. Improving Performance |
| Inheritance_Locking (under rts-pthread) | A.4.1 Solaris Threads Issues |
| Inline | 2.7 Source Dependencies |
| Inline | 7.1.5 Inlining of Subprograms |
| Inlining | 2.13 Comparison between GNAT and Conventional Ada Library Models |
| Inlining, warnings | 3.2.2 Warning Message Control |
| Interfaces | 4.4 Search Paths for gnatbind |
| Interfaces | 27.11 Naming Conventions for GNAT Source Files |
| Interfacing to Ada | 2.10.2 Calling Conventions |
| Interfacing to Assembly | 2.10.2 Calling Conventions |
| Interfacing to C | 2.10.2 Calling Conventions |
| Interfacing to C varargs function | 2.10.2 Calling Conventions |
| Interfacing to C++ | 2.10.2 Calling Conventions |
| Interfacing to COBOL | 2.10.2 Calling Conventions |
| Interfacing to Fortran | 2.10.2 Calling Conventions |
| Internal trees, writing to file | 3.2.13 Auxiliary Output Control |
| Irix libraries | A.7 Irix-Specific Considerations |
| ISO 8859-15 | 2.2.2 Other 8-Bit Codes |
| ISO 8859-2 | 2.2.2 Other 8-Bit Codes |
| ISO 8859-3 | 2.2.2 Other 8-Bit Codes |
| ISO 8859-4 | 2.2.2 Other 8-Bit Codes |
| ISO 8859-5 | 2.2.2 Other 8-Bit Codes |
|
| L | | |
|---|
| Latin-1 | 2.1 Source Representation |
| Latin-1 | 2.2.1 Latin-1 |
| Latin-1 | F.1.3 Changed semantics |
| Latin-2 | 2.2.2 Other 8-Bit Codes |
| Latin-3 | 2.2.2 Other 8-Bit Codes |
| Latin-4 | 2.2.2 Other 8-Bit Codes |
| Latin-9 | 2.2.2 Other 8-Bit Codes |
| Layout control in gnatpp | 13.1.3 Construct Layout Control |
| LF | 2.1 Source Representation |
| Library browser | 17. The GNAT Library Browser gnatls |
| Library tasks, elaboration issues | C.8 Elaboration Issues for Library Tasks |
| Library, building, installing, using | 19. GNAT and Libraries |
| Library_Level_Subprograms rule (for gnatcheck) | 23.6.24 Library_Level_Subprograms |
| License, GNU Free Documentation | H. GNU Free Documentation License |
| Line metrics control in gnatmetric | 14.1.3.1 Line Metrics Control |
| Linker libraries | 6.2 Switches for gnatmake |
| Linux threads libraries | A.5 Linux-Specific Considerations |
| Local_Packages rule (for gnatcheck) | 23.6.25 Local_Packages |
|
| M | | |
|---|
| Machine_Overflows | 3.2.6 Run-Time Checks |
| Main Program | B. Example of Binder Output File |
| make | 20. Using the GNU make Utility |
| makefile | 20.1 Using gnatmake in a Makefile |
| Memory Pool | 21.1 Some Useful Memory Pools |
| Metric tool | 14. The GNAT Metric Tool gnatmetric |
| Metrics rule (for gnatcheck) | 23.6.26 Metrics |
| Misnamed_Identifiers rule (for gnatcheck) | 23.6.27 Misnamed_Identifiers |
| Mixed Language Programming | 2.10 Mixed Language Programming |
| Multiple units, syntax checking | 3.2.7 Using gcc for Syntax Checking |
| Multiple_Entries_In_Protected_Definitions rule (for gnatcheck) | 23.6.28 Multiple_Entries_In_Protected_Definitions |
|
| N | | |
|---|
| N (gnatmem) | 21.3.2 Switches for gnatmem |
| Name_Clashes rule (for gnatcheck) | 23.6.29 Name_Clashes |
| No_Entry_Calls_In_Elaboration_Code | C.8 Elaboration Issues for Library Tasks |
| No_Strict_Aliasing | 7.1.7 Optimization and Strict Aliasing |
| Non_Qualified_Aggregates rule (for gnatcheck) | 23.6.30 Non_Qualified_Aggregates |
| Non_Short_Circuit_Operators rule (for gnatcheck) | 23.6.31 Non_Short_Circuit_Operators |
| Non_SPARK_Attributes rule (for gnatcheck) | 23.6.32 Non_SPARK_Attributes |
| Non_Tagged_Derived_Types rule (for gnatcheck) | 23.6.33 Non_Tagged_Derived_Types |
| Non_Visible_Exceptions rule (for gnatcheck) | 23.6.34 Non_Visible_Exceptions |
| Numeric_Literals rule (for gnatcheck) | 23.6.35 Numeric_Literals |
|
| O | | |
|---|
| Object file list | B. Example of Binder Output File |
| Object-Oriented metrics control in gnatmetric | 14.1.3.4 Object-Oriented Metrics Control |
| Obsolescent features | 3.2.2 Warning Message Control |
| Optimization and debugging | 7.1.4 Debugging Optimized Code |
| Optimization Switches | 7.1.6 Other Optimization Switches |
| Order of elaboration | C. Elaboration Order Handling in GNAT |
| Other Ada compilers | 2.10.2 Calling Conventions |
| OTHERS_In_Aggregates rule (for gnatcheck) | 23.6.36 OTHERS_In_Aggregates |
| OTHERS_In_CASE_Statements rule (for gnatcheck) | 23.6.37 OTHERS_In_CASE_Statements |
| OTHERS_In_Exception_Handlers rule (for gnatcheck) | 23.6.38 OTHERS_In_Exception_Handlers |
| Outer_Loop_Exits rule (for gnatcheck) | 23.6.39 Outer_Loop_Exits |
| Output file control in gnatmetric | 14.1.1 Output File Control |
| Overflow checks | 3.2.6 Run-Time Checks |
| Overflow checks | 7.1.1 Controlling Run-Time Checks |
| Overloaded_Operators rule (for gnatcheck) | 23.6.40 Overloaded_Operators |
| Overly_Nested_Control_Structures rule (for gnatcheck) | 23.6.41 Overly_Nested_Control_Structures |
|
| P | | |
|---|
| Parallel make | 6.2 Switches for gnatmake |
| Parameter order, warnings | 3.2.2 Warning Message Control |
| Parameters_Out_Of_Order rule (for gnatcheck) | 23.6.42 Parameters_Out_Of_Order |
| Parentheses, warnings | 3.2.2 Warning Message Control |
| Positional_Actuals_For_Defaulted_Generic_Parameters rule (for gnatcheck) | 23.6.43 Positional_Actuals_For_Defaulted_Generic_Parameters |
| Positional_Actuals_For_Defaulted_Parameters rule (for gnatcheck) | 23.6.44 Positional_Actuals_For_Defaulted_Parameters |
| Positional_Components rule (for gnatcheck) | 23.6.45 Positional_Components |
| Positional_Generic_Parameters rule (for gnatcheck) | 23.6.46 Positional_Generic_Parameters |
| Positional_Parameters rule (for gnatcheck) | 23.6.47 Positional_Parameters |
| pragma Assert | D.2 Debugging - A Special Case |
| pragma Assertion_Policy | D.2 Debugging - A Special Case |
| pragma Debug | D.2 Debugging - A Special Case |
| pragma Debug_Policy | D.2 Debugging - A Special Case |
| pragma Elaborate | C.3 Controlling the Elaboration Order |
| Pragma Elaborate | C.7 Treatment of Pragma Elaborate |
| pragma Elaborate_All | C.3 Controlling the Elaboration Order |
| pragma Elaborate_Body | C.3 Controlling the Elaboration Order |
| pragma Inline | 7.1.5 Inlining of Subprograms |
| pragma Locking_Policy (under rts-pthread) | A.4.1 Solaris Threads Issues |
| pragma Preelaborate | C.3 Controlling the Elaboration Order |
| pragma Pure | C.3 Controlling the Elaboration Order |
| pragma Restrictions | 3.2.14 Debugging Control |
| pragma Suppress | 7.1.1 Controlling Run-Time Checks |
| pragma Task_Dispatching_Policy | A.3 Choosing the Scheduling Policy |
| pragma Time_Slice | A.3 Choosing the Scheduling Policy |
| pragma Unsuppress | 7.1.1 Controlling Run-Time Checks |
| Pragmas, configuration | 9. Configuration Pragmas |
| Pragmas, unrecognized | 3.2.2 Warning Message Control |
| Predefined rules (for gnatcheck) | 23.6 Predefined Rules |
| Predefined_Numeric_Types rule (for gnatcheck) | 23.6.48 Predefined_Numeric_Types |
| Preelaborate | C.3 Controlling the Elaboration Order |
| Preprocessing | D.5 Preprocessing |
| Preprocessors (contrasted with conditional compilation) | D.1 Use of Boolean Constants |
| Pretty-Printer | 13. The GNAT Pretty-Printer gnatpp |
| Profiling | 26. Code Coverage and Profiling |
| Profiling | 26.2 Profiling an Ada Program using gprof |
| Profiling | 26.2.1 Compilation for profiling |
| Project-wide checks (for gnatcheck) | 23.5 Project-Wide Checks |
| PTHREAD_PRIO_INHERIT policy (under rts-pthread) | A.4.1 Solaris Threads Issues |
| PTHREAD_PRIO_PROTECT policy (under rts-pthread) | A.4.1 Solaris Threads Issues |
| Pure | C.3 Controlling the Elaboration Order |
|