[Top] [Contents] [Index] [ ? ]

Short Table of Contents

About This Guide
1. Getting Started with GNAT
2. The GNAT Compilation Model
3. Compiling with gcc
4. Binding with gnatbind
5. Linking with gnatlink
6. The GNAT Make Program gnatmake
7. Improving Performance
8. Renaming Files with gnatchop
9. Configuration Pragmas
10. Handling Arbitrary File Naming Conventions with gnatname
11. GNAT Project Manager
12. Tools Supporting Project Files
13. The Cross-Referencing Tools gnatxref and gnatfind
14. The GNAT Pretty-Printer gnatpp
15. The Ada-to-XML converter gnat2xml
16. The GNAT Metrics Tool gnatmetric
17. File Name Krunching with gnatkr
18. Preprocessing with gnatprep
19. The GNAT Library Browser gnatls
20. Cleaning Up with gnatclean
21. GNAT and Libraries
22. Using the GNU make Utility
23. Memory Management Issues
24. Stack Related Facilities
25. Verifying Properties with gnatcheck
26. Creating Sample Bodies with gnatstub
27. Creating Unit Tests with gnattest
28. Performing Dimensionality Analysis in GNAT
29. Generating Ada Bindings for C and C++ headers
30. Other Utility Programs
31. Code Coverage and Profiling
32. Running and Debugging Ada Programs
A. Platform-Specific Information for the Run-Time Libraries
B. Example of Binder Output File
C. Elaboration Order Handling in GNAT
D. Overflow Check Handling in GNAT
E. Conditional Compilation
F. Inline Assembler
G. Compatibility and Porting Guide
H. Microsoft Windows Topics
I. Mac OS Topics
J. GNU Free Documentation License
Index


This document was generated by GNAT Mailserver on April, 17 2014 using texi2html