GNAT User's Guide for Native Platforms
25.0w
1. About This Guide
2. Getting Started with GNAT
3. The GNAT Compilation Model
4. Building Executable Programs with GNAT
5. GNAT Utility Programs
6. GNAT and Program Execution
A. Platform-Specific Information
B. Example of Binder Output
C. Elaboration Order Handling in GNAT
D. Inline Assembler
E. GNU Free Documentation License
GNAT User's Guide for Native Platforms
Index
Index
Symbols
|
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Z
Symbols
--align-modes (gnatpp)
--alignment (gnatpp)
--alphabetical-order (gnatstub)
--as (dlltool)
--attribute-lower-case (gnatpp)
--attribute-mixed-case (gnatpp)
--attribute-upper-case (gnatpp)
--base-file (dlltool)
--based-grouping (gnatpp)
--call-threshold (gnatpp)
--comment-header-sample (gnatstub)
--comment-header-spec (gnatstub)
--compact (gnatpp)
--constant-case-as-declared (gnatpp)
--constant-case-as-non-constant (gnatpp)
--constant-lower-case (gnatpp)
--constant-mixed-case (gnatpp)
--constant-upper-case (gnatpp)
--create-missing-dirs (gnatmake)
--decimal-grouping (gnatpp)
--def (dlltool)
--demangle (gprof)
--dictionary (gnatpp)
--dictionary=- (gnatpp)
--dllname (dlltool)
--end-id (gnatpp)
--enum-case-as-declared (gnatpp)
--enum-lower-case (gnatpp)
--enum-mixed-case (gnatpp)
--enum-upper-case (gnatpp)
--eol (gnatpp)
--files (gnatpp)
(gnatstub)
--force (gnatstub)
--GCC= (gnatchop)
--GCC=compiler_name (gnatlink)
(gnatmake)
--GNATBIND=binder_name (gnatmake)
--GNATLINK=linker_name (gnatmake)
--header-file (gnatstub)
--help (gnatbind)
(gnatlink)
(gnatmake)
(gnatpp)
--help (dlltool)
(gnatchop)
(gnatclean)
(gnatls)
(gnatname)
(gnatprep)
(gnatstub)
(gnatsymbolize)
--ignore (gnatpp)
--incremental (gnatpp)
--indent-continuation (gnatpp)
--indent-named-statements (gnatpp)
--indentation (gnatpp)
(gnatstub)
--insert-blank-lines (gnatpp)
--jobs (gnatpp)
--keyword-lower-case (gnatpp)
--keyword-upper-case (gnatpp)
--LINK= (gnatlink)
--max-line-length (gnatpp)
(gnatstub)
--name-case-as-declared (gnatpp)
--name-lower-case (gnatpp)
--name-mixed-case (gnatpp)
--name-upper-case (gnatpp)
--no-exception (gnatstub)
--no-local-header (gnatstub)
--number-lower-case (gnatpp)
--number-mixed-case (gnatpp)
--number-upper-case (gnatpp)
--output (gnatpp)
(gnatstub)
--output-dir (gnatpp)
(gnatstub)
--output-exp (dlltool)
--output-force (gnatpp)
--output-lib (dlltool)
--par-threshold (gnatpp)
--pipe (gnatpp)
--pp-off (gnatpp)
--pp-on (gnatpp)
--pragma-lower-case (gnatpp)
--pragma-mixed-case (gnatpp)
--pragma-upper-case (gnatpp)
--preserve-blank-lines (gnatpp)
--preserve-line-breaks (gnatpp)
--quiet (gnatpp)
(gnatstub)
--replace (gnatpp)
--replace-backup (gnatpp)
--replace-force-backup (gnatpp)
--RM-style-spacing (gnatpp)
--RTS (gcc)
(gnatbind)
(gnatmake)
--RTS (gnatls)
(gnatpp)
(gnatstub)
--RTS option
--RTS=sjlj (gnatmake)
--RTS=zcx (gnatmake)
--separate-is (gnatpp)
--separate-loop (gnatpp)
--separate-loop-then (gnatpp)
--separate-return (gnatpp)
--separate-then (gnatpp)
--source-line-breaks (gnatpp)
--spaces-only (gnatpp)
--split-line-before-op (gnatpp)
--split-line-before-record (gnatpp)
--subunits (gnatstub)
--syntax-only (gnatpp)
--type-case-as-declared (gnatpp)
--type-lower-case (gnatpp)
--type-mixed-case (gnatpp)
--type-upper-case (gnatpp)
--use-on-new-line (gnatpp)
--verbose (gnatpp)
(gnatstub)
--version (gnatbind)
(gnatlink)
(gnatmake)
(gnatpp)
--version (gnatchop)
(gnatclean)
(gnatls)
(gnatname)
(gnatprep)
(gnatstub)
--vertical-array-types (gnatpp)
--vertical-case-alternatives (gnatpp)
--vertical-enum-types (gnatpp)
--vertical-named-aggregates (gnatpp)
--wide-character-encoding (gnatpp)
(gnatstub)
-A (gnatbind)
-a (gnatbind)
-A (gnatmake)
-a (gnatmake)
-a (gnatdll)
(gnatls)
-aI (gnatbind)
,
[1]
(gnatmake)
-aI (gnatls)
-aL (gnatmake)
-aO (gnatbind)
,
[1]
(gnatmake)
-aO (gnatclean)
(gnatls)
-aP (gnatls)
-B (gcc)
-b (gcc)
(gnatbind)
,
[1]
-B (gnatlink)
-b (gnatmake)
-b (gnatdll)
(gnatmem)
(gnatprep)
-bargs (gnatmake)
-bargs (gnatdll)
-c (gcc)
(gnatbind)
,
[1]
-C (gnatmake)
-c (gnatmake)
-C (gcc)
-c (gnatchop)
(gnatclean)
(gnatname)
(gnatpp)
-C (gnatprep)
-c (gnatprep)
-C= (gnatmake)
-cargs (gnatmake)
-D (gnatbind)
(gnatmake)
-d (gnatmake)
-D (gnatclean)
-d (gnatdll)
(gnatls)
-D (gnatname)
-d (gnatname)
-D (gnatprep)
-dir (gnatstub)
-dnn[k|m] (gnatbind)
-E (gnatbind)
-e (gnatbind)
,
[1]
-e (gnatdll)
-E (gprof)
-e (gprof)
-Ea (gnatbind)
-eI (gnatmake)
-eL (gnatmake)
-Es (gnatbind)
-eS (gnatmake)
-F (gnatbind)
-f (gnatbind)
,
[1]
(gnatlink)
-F (gnatmake)
-f (gnatmake)
-F (gnatclean)
-f (gnatname)
(gnatstub)
-F (gprof)
-f (gprof)
-fada-spec-parent (gcc)
-fcallgraph-info (gcc)
-fdata-sections (gcc)
-fdiagnostics-format (gcc)
-fdump-ada-spec (gcc)
-fdump-ada-spec-slim (gcc)
-fdump-scos (gcc)
-ffunction-sections (gcc)
-fgnat-encodings (gcc)
,
[1]
-files (gnatls)
(gnatstub)
-flto (gcc)
-fno-inline (gcc)
-fno-inline (gcc)
-fno-inline-functions (gcc)
-fno-inline-functions (gcc)
-fno-inline-functions-called-once (gcc)
-fno-inline-functions-called-once (gcc)
-fno-inline-small-functions (gcc)
-fno-inline-small-functions (gcc)
-fno-ivopts (gcc)
-fno-strict-aliasing (gcc)
-fno-strict-overflow (gcc)
-fstack-check (gcc)
,
[1]
-fstack-check (gcc)
-fstack-usage
-fstack-usage (gcc)
-fuse-ld=name
-fverbose-asm (gcc)
-g (gcc)
(gnatlink)
(gnatmake)
-g (gcc)
(gnatdll)
-gnat-p (gcc)
,
[1]
-gnat05 (gcc)
,
[1]
-gnat12 (gcc)
,
[1]
-gnat2005 (gcc)
,
[1]
-gnat2012 (gcc)
,
[1]
-gnat2022 (gcc)
,
[1]
-gnat83 (gcc)
,
[1]
-gnat95 (gcc)
,
[1]
-gnatA (gcc)
-gnata (gcc)
,
[1]
-gnata switch
-gnatB (gcc)
-gnatb (gcc)
,
[1]
-gnatC (gcc)
-gnatc (gcc)
,
[1]
-gnatD (gcc)
-gnatd (gcc)
,
[1]
-gnatD[nn] (gcc)
-gnatdc switch
-gnatE (gcc)
,
[1]
(gnat)
-gnateA (gcc)
-gnateb (gcc)
-gnateC (gcc)
-gnatec (gcc)
-gnatec (gnatpp)
-gnateD (gcc)
-gnated (gcc)
-gnateD (gcc)
-gnateE (gcc)
-gnateF (gcc)
-gnatef (gcc)
-gnateG (gcc)
-gnateg (gcc)
-gnateH (gcc)
-gnateI (gcc)
-gnatei (gcc)
-gnatel (gcc)
,
[1]
(gnat)
-gnatem (gcc)
,
[1]
-gnateP (gcc)
-gnatep (gcc)
-gnatep (gcc)
-gnateS (gcc)
-gnateT (gcc)
-gnatet=file (gcc)
-gnateu (gcc)
-gnateV (gcc)
-gnateY (gcc)
-gnatF (gcc)
-gnatf (gcc)
,
[1]
-gnatG (gcc)
-gnatg (gcc)
-gnatG[nn] (gcc)
-gnatH (gcc)
-gnath (gcc)
-gnatH (gnat)
-gnatI (gcc)
-gnati (gcc)
,
[1]
-gnatJ (gcc)
(gnat)
-gnatjnn (gcc)
,
[1]
-gnatk (gcc)
,
[1]
-gnatL (gcc)
,
[1]
,
[2]
-gnatl (gcc)
,
[1]
-gnatl=fname (gcc)
-gnatm (gcc)
,
[1]
-gnatN (gcc)
,
[1]
-gnatn (gcc)
,
[1]
-gnatN switch
-gnatn switch
-gnato (gcc)
-gnato0 (gcc)
-gnato? (gcc)
-gnato?? (gcc)
,
[1]
-gnato?? (gcc)
-gnatp (gcc)
,
[1]
-gnatp (gcc)
-gnatQ (gcc)
,
[1]
-gnatq (gcc)
,
[1]
-gnatR (gcc)
,
[1]
-gnatr (gcc)
,
[1]
-gnatS (gcc)
,
[1]
-gnats (gcc)
,
[1]
-gnatT (gcc)
-gnatU (gcc)
,
[1]
-gnatu (gcc)
,
[1]
-gnatV (gcc)
-gnatv (gcc)
,
[1]
-gnatVa (gcc)
-gnatVc (gcc)
-gnatVd (gcc)
-gnatVe (gcc)
-gnatVf (gcc)
-gnatVi (gcc)
-gnatVm (gcc)
-gnatVn (gcc)
-gnatVo (gcc)
-gnatVp (gcc)
-gnatVr (gcc)
-gnatVs (gcc)
-gnatVt (gcc)
-gnatW (gcc)
,
[1]
-gnatw (gcc)
-gnatw.A (gcc)
-gnatw.a (gcc)
-gnatw.b (gcc)
-gnatw.C (gcc)
-gnatw.c (gcc)
-gnatw.d (gcc)
,
[1]
-gnatw.e (gcc)
-gnatw.f (gnat)
-gnatw.g (gcc)
-gnatw.H (gcc)
-gnatw.h (gcc)
-gnatw.I (gcc)
-gnatw.i (gcc)
-gnatw.J (gcc)
-gnatw.j (gcc)
-gnatw.k (gcc)
-gnatw.L (gcc)
-gnatw.l (gcc)
-gnatw.M (gcc)
-gnatw.m (gcc)
-gnatw.N (gcc)
-gnatw.n (gcc)
-gnatw.O (gcc)
-gnatw.o (gcc)
-gnatw.P (gcc)
-gnatw.p (gcc)
-gnatw.Q (gcc)
-gnatw.q (gcc)
-gnatw.R (gcc)
-gnatw.r (gcc)
-gnatw.S (gcc)
-gnatw.s (gcc)
-gnatw.T (gcc)
-gnatw.t (gcc)
-gnatw.U (gcc)
-gnatw.u (gcc)
-gnatw.V (gcc)
-gnatw.v (gcc)
-gnatw.W (gcc)
-gnatw.w (gcc)
-gnatw.x (gcc)
-gnatw.Y (gcc)
-gnatw.y (gcc)
-gnatw.Z (gcc)
-gnatw.z (gcc)
-gnatw_A
-gnatw_a
-gnatw_C (gcc)
-gnatw_c (gcc)
-gnatw_P (gcc)
-gnatw_p (gcc)
-gnatw_Q (gcc)
-gnatw_q (gcc)
-gnatw_R (gcc)
-gnatw_r (gcc)
-gnatw_S (gcc)
-gnatw_s (gcc)
-gnatwA (gcc)
-gnatwa (gcc)
-gnatwB (gcc)
,
[1]
-gnatwb (gcc)
-gnatwC (gcc)
-gnatwc (gcc)
-gnatwD (gcc)
-gnatwd (gcc)
-gnatwE (gcc)
-gnatwe (gcc)
-gnatwF (gcc)
-gnatwf (gcc)
-gnatwG (gcc)
-gnatwg (gcc)
-gnatwH (gcc)
-gnatwh (gcc)
-gnatwI (gcc)
-gnatwi (gcc)
-gnatwJ (gcc)
-gnatwj (gcc)
-gnatwK (gcc)
,
[1]
-gnatwk (gcc)
-gnatwL (gcc)
-gnatwl (gcc)
(gnat)
-gnatwM (gcc)
-gnatwm (gcc)
-gnatwn (gcc)
-gnatwO (gcc)
-gnatwo (gcc)
-gnatwP (gcc)
-gnatwp (gcc)
-gnatwQ (gcc)
-gnatwq (gcc)
-gnatwR (gcc)
-gnatwr (gcc)
-gnatws (gcc)
-gnatwT (gcc)
-gnatwt (gcc)
-gnatwU (gcc)
-gnatwu (gcc)
-gnatwV (gcc)
-gnatwv (gcc)
-gnatwW (gcc)
-gnatww (gcc)
-gnatwX (gcc)
-gnatwx (gcc)
-gnatwY (gcc)
-gnatwy (gcc)
-gnatwZ (gcc)
-gnatwz (gcc)
-gnatX (gcc)
,
[1]
-gnatx (gcc)
,
[1]
-gnatX0 (gcc)
,
[1]
-gnaty (gcc)
,
[1]
-gnaty (gnatstub)
-gnaty+ (gcc)
-gnaty- (gcc)
-gnaty[0-9] (gcc)
-gnatya (gcc)
-gnatyA (gcc)
-gnatyB (gcc)
-gnatyb (gcc)
-gnatyC (gcc)
-gnatyc (gcc)
-gnatyD (gcc)
-gnatyd (gcc)
-gnatye (gcc)
-gnatyf (gcc)
-gnatyg (gcc)
-gnatyh (gcc)
-gnatyI (gcc)
-gnatyi (gcc)
-gnatyk (gcc)
-gnatyl (gcc)
-gnatyLnnn (gcc)
-gnatym (gcc)
-gnatyMnnn (gcc)
-gnatyN (gcc)
-gnatyn (gcc)
-gnatyO (gcc)
-gnatyo (gcc)
(gnatstub)
-gnatyp (gcc)
-gnatyr (gcc)
-gnatyS (gcc)
-gnatys (gcc)
-gnatyt (gcc)
-gnatyu (gcc)
-gnatyx (gcc)
-gnatyy (gcc)
-gnatyz (gcc)
-gnatz (gcc)
-H (gnatbind)
-h (gnatbind)
,
[1]
-h (gnatclean)
(gnatdll)
(gnatls)
(gnatname)
-H32 (gnatbind)
-H64 (gnatbind)
-hg (gnatstub)
-hs (gnatstub)
-I (gcc)
(gnatbind)
,
[1]
(gnatmake)
-i (gnatmake)
-I (gnatclean)
(gnatdll)
(gnatls)
-i (gnatmem)
-I (gnatpp)
-i (gnatstub)
-I- (gcc)
(gnatbind)
(gnatmake)
-I- (gnatclean)
(gnatls)
(gnatpp)
-j (gnatmake)
-K (gnatbind)
,
[1]
-k (gnatbind)
(gnatmake)
-k (dlltool)
(gnatchop)
(gnatdll)
-L (gnatbind)
-l (gnatbind)
,
[1]
-L (gnatmake)
-l (gnatmake)
-l (gnatdll)
-largs (gnatmake)
-largs (gnatdll)
-M (gnatbind)
,
[1]
-m (gnatbind)
,
[1]
-M (gnatlink)
(gnatmake)
-m (gnatmake)
-m (gnatmem)
-M (gnatstub)
-M= (gnatlink)
-margs (gnatmake)
-minimal (gnatbind)
-mwindows
-n (gnatbind)
,
[1]
,
[2]
(gnatlink)
(gnatmake)
-n (gnatclean)
(gnatdll)
-nostdinc (gcc)
(gnatbind)
(gnatmake)
-nostdlib (gcc)
(gnatbind)
(gnatmake)
-o (gnatbind)
-O (gcc)
-o (gcc)
-O (gnatbind)
,
[1]
-o (gnatbind)
,
[1]
(gnatlink)
(gnatmake)
-O (gcc)
-o (gnatls)
(gnatstub)
-P (gnatbind)
-p (gnatbind)
,
[1]
-P (gnatmake)
-p (gnatmake)
-P (gnatpp)
-p (gnatchop)
-P (gnatclean)
(gnatname)
(gnatstub)
-pass-exit-codes (gcc)
,
[1]
-pg (gcc)
(gnatlink)
-Q (gnatbind)
-q (gnatmake)
-q (gnatchop)
(gnatclean)
(gnatdll)
(gnatmem)
(gnatstub)
-R (gnatbind)
-r (gnatbind)
-r (gnatchop)
(gnatclean)
(gnatprep)
-Ra (gnatbind)
-S (gcc)
(gnatbind)
-s (gnatbind)
,
[1]
(gnatmake)
-s (gnatls)
(gnatmem)
(gnatprep)
-shared (gnatbind)
-static (gnatbind)
-T (gnatbind)
-t (gnatbind)
,
[1]
-t (gnatmem)
-T (gnatprep)
-T0 option
-u (gnatbind)
-U (gnatmake)
-u (gnatmake)
-U (gnatpp)
-u (gnatls)
(gnatprep)
-V (gcc)
-v (gcc)
-V (gnatbind)
-v (gnatbind)
,
[1]
(gnatlink)
(gnatmake)
-v (dlltool)
(gnatchop)
(gnatclean)
(gnatdll)
(gnatls)
(gnatname)
(gnatprep)
(gnatstub)
-v -v (gnatlink)
-v -v (gnatname)
-vl (gnatmake)
-vm (gnatmake)
,
[1]
-vP (gnatclean)
-w (gcc)
(gnatbind)
-w (gcc)
(gnatchop)
-W (gnatstub)
-Wall (gcc)
-we (gnatbind)
-Werror (gcc)
-ws (gnatbind)
-Wstack-usage (gcc)
-Wuninitialized (gcc)
-Wunused (gcc)
-Wx (gnatbind)
,
[1]
-x (gnatbind)
,
[1]
(gnatmake)
-X (gnatpp)
-X (gnatclean)
-x (gnatname)
-X (gnatstub)
-xdr (gnatbind)
-Xnnn (gnatbind)
-y (gnatbind)
-z (gnatbind)
,
[1]
(gnatmake)
_
__gnat_malloc
A
Abnormal Termination or Failure to Terminate
Access before elaboration
access before elaboration
activate every optional warning
ACVC
Ada
Ada 2005 Language Reference Manual
Ada 2005 mode
Ada 2012 mode
Ada 2022 mode
Ada 83 mode
Ada 83 tests
Ada 95 Language Reference Manual
Ada 95 mode
Ada compatibility issues warnings
,
[1]
Ada expressions (in gdb)
Ada language extensions
,
[1]
Ada Library Information files
Ada.Characters.Latin_1
ADA_INCLUDE_PATH
,
[1]
,
[2]
ADA_OBJECTS_PATH
,
[1]
,
[2]
ADA_PRJ_INCLUDE_FILE
,
[1]
,
[2]
ADA_PRJ_OBJECTS_FILE
,
[1]
,
[2]
ADA_PROJECT_PATH
adafinal
adainit
Address Clauses
ALI files
Aliasing
,
[1]
alternative
Annex A (in Ada Reference Manual)
Annex B (in Ada reference Manual)
Anonymous allocators
,
[1]
APIENTRY
Asm
Assert
Assert failures
,
[1]
Assertions
Atomic
Atomic Synchronization
,
[1]
attach to process
B
Bad fixed values
Biased representation
Binder
Binder consistency checks
Binder output (example)
Binder output file
Binding generation (for Ada specs)
(for C and C++ headers)
BINUTILS_ROOT
bit order warnings
Breakpoints and tasks
building
,
[1]
,
[2]
,
[3]
Building the GNAT Run-Time Library
C
C
C headers (binding generation)
,
[1]
C varargs function
C++
C++ headers (binding generation)
C_INCLUDE_PATH
Calling Conventions
cannot generate code
Casing control in gnatpp
Check
,
[1]
Checks
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
,
[6]
(overflow)
COBOL
code page 437 (IBM PC)
code page 850 (IBM PC)
Combining GNAT switches
Command Line Argument Expansion
Command line length
Compatibility with Ada 83
compilation (definition)
Compilation model
Compile_Time_Error
Compile_Time_Warning
compiling
Component clause
Conditional compilation
,
[1]
Conditionals
configuration
Configuration pragmas
Consistency checks
CONSOLE Subsystem
constant
Convention Ada
Convention Asm
Convention Assembler
Convention C
Convention C++
Convention COBOL
Convention Default
Convention DLL
Convention External
Convention Fortran
Convention Stdcall
Convention Stubbed
Convention Win32
Conventions
CR
Cyrillic
D
Deactivated code
Debug
Debug Pool
Debugger
Debugging
Debugging Generic Units
Debugging information
Debugging optimized code
Debugging options
Default
Definition file
Deleted code
Dependencies
Dependency rules (compilation)
DEPTH switch (gnatmem)
Dereferencing
Dimension aspect
,
[1]
Dimension Vector (for a dimensioned subtype)
Dimension_System aspect
,
[1]
Dimensionable type
Dimensionality analysis
Dimensioned subtype
Division by zero
division by zero
DLL
,
[1]
DLL debugging
,
[1]
DLLs
,
[1]
,
[2]
DLLs and elaboration
DLLs and finalization
Dynamic elaboration model
E
Elaboration
elaboration
Elaboration checks
Elaboration control
Elaboration order control
End of source file
Source file, end
environment variable
ADA_INCLUDE_PATH
,
[1]
ADA_OBJECTS_PATH
,
[1]
ADA_PRJ_INCLUDE_FILE
,
[1]
ADA_PRJ_OBJECTS_FILE
,
[1]
BINUTILS_ROOT
C_INCLUDE_PATH
GCC_EXEC_PREFIX
GCC_ROOT
PATH
,
[1]
,
[2]
TMP
,
[1]
,
[2]
Error messages
EUC Coding
Exceptions (in gdb)
Export table
Export/Import pragma warnings
External
F
Features
FF
File cleanup tool
File names
,
[1]
File Naming Conventions
File naming schemes
Fixed-point Small value
Floating-Point Operations
for gnatmake
for profiling
,
[1]
Foreign Languages
Formals
Fortran
G
GCC_EXEC_PREFIX
GCC_ROOT
gdb
Generic formal parameters
Generics
,
[1]
GNAT
(package)
GNAT compilation model
GNAT extensions
,
[1]
GNAT library
GNAT Run-Time Library
gnat.adc
,
[1]
gnat1
gnat_argc
gnat_argv
GNAT_INIT_SCALARS
gnatbind
gnatchop
gnatclean
gnatdll
gnatkr
gnatlink
gnatls
gnatmake
gnatmem
gnatname
gnatpp
gnatprep
,
[1]
gnatstub
gnatsymbolize
GNU make
GNU/Linux
GPR_PROJECT_PATH
gprof
H
Hiding of Declarations
HT
I
implicit
Implicit dereferencing
Import library
Improving performance
in binder
,
[1]
including
Inline
,
[1]
Inline Assembler
Inlining
,
[1]
Interfaces
Interfacing to Ada
Interfacing to Assembly
Interfacing to C
Interfacing to C varargs function
Interfacing to C++
Interfacing to COBOL
Interfacing to Fortran
ISO 8859-15
ISO 8859-2
ISO 8859-3
ISO 8859-4
ISO 8859-5
L
Latin-1
,
[1]
Latin-2
Latin-3
Latin-4
Latin-9
Layout
Layout control in gnatpp
layout(gnatpp)
Legacy elaboration models
LF
Library browser
Library building and using
Linker libraries
Linux
M
Machine_Overflows
make (GNU)
memory corruption
Memory Pool
Microsoft Visual Studio
missing
Mixed Language Programming
MKS_Type type
multiple input files
Multiple units
N
naming scheme
No information messages for why package spec needs body
No_Strict_Aliasing
non-symbolic
O
obsolescent
Obsolescent features
Optimization and debugging
Optimization Switches
,
[1]
Order of elaboration
OS X
Other Ada compilers
overflow
,
[1]
Overflow checks
,
[1]
,
[2]
Overflow mode
P
Package spec needing body
Parallel make
Parameter order
Parentheses
Passive Task
PATH
,
[1]
,
[2]
pool
,
[1]
Postcondition
pragma Assert
pragma Assertion_Policy
pragma Debug
pragma Debug_Policy
pragma Elaborate (Unit)
pragma Elaborate_All (Unit)
pragma Elaborate_Body
pragma Export
pragma Inline
pragma Overflow_Mode
pragma Preelaborate
pragma Pure
pragma Restrictions
pragma Suppress
pragma Task_Dispatching_Policy
pragma Time_Slice
pragma Unsuppress
Pragmas
,
[1]
Precondition
Preprocessing
(gnatprep)
Preprocessors (contrasted with conditional compilation)
pretty printer
producing list
Profiling
,
[1]
Project-aware tool
R
rc
rebuilding
,
[1]
Rebuilding the GNAT Run-Time Library
Recompilation (by gnatmake)
Record Representation (component sizes)
(gaps)
Relaxed elaboration mode
Remote Debugging with gdbserver
Resources
,
[1]
,
[2]
,
[3]
RTL
,
[1]
Run-time libraries (platform-specific information)
Run-Time Library
S
s-digemk.ads file
SCHED_FIFO scheduling policy
SCHED_OTHER scheduling policy
SCHED_RR scheduling policy
Search paths
setjmp/longjmp Exception Model
Shift JIS Coding
Size/Alignment warnings
,
[1]
SJLJ (setjmp/longjmp Exception Model)
Small value
Source file, end
End of source file
Source files
,
[1]
,
[2]
Source_File_Name pragma
,
[1]
Source_Reference pragmas
SPARK elaboration model
spec (definition)
Stack Overflow Checking
,
[1]
stack overflow checking
,
[1]
stack traceback
stack unwinding
Stand-alone libraries
Static elaboration model
Static Stack Usage Analysis
Stdcall
,
[1]
stderr
storage
,
[1]
Strict Aliasing
String indexing warnings
Stubbed
Style checking
SUB (control character)
Subtype predicates
Subunits
(and conditional compilation)
Suppress
,
[1]
suppressing
,
[1]
,
[2]
Suppressing checks
,
[1]
suppressing search
,
[1]
symbolic
symbolic links
syntax checking
System
(package in Ada Reference Manual)
System.Dim.Mks package (GNAT library)
System.IO
T
Task switching (in gdb)
Tasking and threads libraries
Tasks (in gdb)
Temporary files
Text_IO and performance
Threads libraries and tasking
Time stamp checks
TMP
,
[1]
,
[2]
traceback
,
[1]
,
[2]
treat as error
,
[1]
Type invariants
typographical
Typographical conventions
U
Unassigned variable warnings
Unchecked_Conversion warnings
unrecognized
unreferenced
Unsuppress
,
[1]
Upper-Half Coding
use by binder
use with GNAT DLLs
using
Uunused subprogram/data elimination
V
Validity Checking
varargs function interfaces
Version skew (avoided by ``gnatmake``)
Volatile parameter
VT
W
Warning messages
Warnings
,
[1]
,
[2]
,
[3]
,
[4]
warnings
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
,
[6]
,
[7]
,
[8]
,
[9]
Warnings Off control
Win32
Windows
windows
WINDOWS Subsystem
windres
Z
ZCX (Zero-Cost Exceptions)
Zero Cost Exceptions
Zero-Cost Exceptions