What This Guide Contains

This guide contains the following chapters:

• Getting Started with GNAT, describes how to get started compiling and running Ada programs with the GNAT Ada programming environment.
• The GNAT Compilation Model, describes the compilation model used by GNAT.
• Compiling Using gcc, describes how to compile Ada programs with gcc, the Ada compiler.
• Binding Using gnatbind, describes how to perform binding of Ada programs with gnatbind, the GNAT binding utility.
• Linking Using gnatlink, describes gnatlink, a program that provides for linking using the GNAT run-time library to construct a program. gnatlink can also incorporate foreign language object units into the executable.
• The GNAT Make Program gnatmake, describes gnatmake, a utility that automatically determines the set of sources needed by an Ada compilation unit, and executes the necessary compilations binding and link.
• Improving Performance, shows various techniques for making your Ada program run faster or take less space. It discusses the effect of the compiler's optimization switch and also describes the gnatelim tool and unused subprogram/data elimination.
• Renaming Files Using gnatchop, describes gnatchop, a utility that allows you to preprocess a file that contains Ada source code, and split it into one or more new files, one for each compilation unit.
• Configuration Pragmas, describes the configuration pragmas handled by GNAT.
• Handling Arbitrary File Naming Conventions Using gnatname, shows how to override the default GNAT file naming conventions, either for an individual unit or globally.
• GNAT Project Manager, describes how to use project files to organize large projects.
• The Cross-Referencing Tools gnatxref and gnatfind, discusses gnatxref and gnatfind, two tools that provide an easy way to navigate through sources.
• The GNAT Pretty-Printer gnatpp, shows how to produce a reformatted version of an Ada source file with control over casing, indentation, comment placement, and other elements of program presentation style.
• The GNAT Metric Tool gnatmetric, shows how to compute various metrics for an Ada source file, such as the number of types and subprograms, and assorted complexity measures.
• File Name Krunching Using gnatkr, describes the gnatkr file name krunching utility, used to handle shortened file names on operating systems with a limit on the length of names.
• Preprocessing Using gnatprep, describes gnatprep, a preprocessor utility that allows a single source file to be used to generate multiple or parameterized source files by means of macro substitution.
• The GNAT Library Browser gnatls, describes gnatls, a utility that displays information about compiled units, including dependences on the corresponding sources files, and consistency of compilations.
• Cleaning Up Using gnatclean, describes gnatclean, a utility to delete files that are produced by the compiler, binder and linker.
• GNAT and Libraries, describes the process of creating and using Libraries with GNAT. It also describes how to recompile the GNAT run-time library.
• Using the GNU make Utility, describes some techniques for using the GNAT toolset in Makefiles.
• Memory Management Issues, describes some useful predefined storage pools and in particular the GNAT Debug Pool facility, which helps detect incorrect memory references. It also describes gnatmem, a utility that monitors dynamic allocation and deallocation and helps detect “memory leaks”.
• Stack Related Facilities, describes some useful tools associated with stack checking and analysis.
• Verifying Properties Using gnatcheck, discusses gnatcheck, a utility that checks Ada code against a set of rules.
• Creating Sample Bodies Using gnatstub, discusses gnatstub, a utility that generates empty but compilable bodies for library units.
• Creating Unit Tests Using gnattest, discusses gnattest, a utility that generates unit testing templates for library units.
• Performing Dimensionality Analysis in GNAT, describes the Ada 2012 facilities used in GNAT to declare dimensioned objects, and to verify that uses of these objects are consistent with their given physical dimensions (so that meters cannot be assigned to kilograms, and so on).
• Generating Ada Bindings for C and C++ headers, describes how to generate automatically Ada bindings from C and C++ headers.
• Other Utility Programs, discusses several other GNAT utilities, including gnathtml.
• Code Coverage and Profiling, describes how to perform a structural coverage and profile the execution of Ada programs.
• Running and Debugging Ada Programs, describes how to run and debug Ada programs.
• Platform-Specific Information for the Run-Time Libraries, describes the various run-time libraries supported by GNAT on various platforms and explains how to choose a particular library.
• Example of Binder Output File, shows the source code for the binder output file for a sample program.
• Elaboration Order Handling in GNAT, describes how GNAT helps you deal with elaboration order issues.
• Overflow Check Handling in GNAT, describes how GNAT helps you deal with arithmetic overflow issues.
• Conditional Compilation, describes how to model conditional compilation, both with Ada in general and with GNAT facilities in particular.
• Inline Assembler, shows how to use the inline assembly facility in an Ada program.
• Compatibility and Porting Guide, contains sections on compatibility of GNAT with other Ada development environments (including Ada 83 systems), to assist in porting code from those environments.
• Microsoft Windows Topics, presents information relevant to the Microsoft Windows platform.
• Mac OS Topics, presents information relevant to Apple's OS X platform.