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

Short Table of Contents

About This Guide
1. Getting Started with GNAT
2. The GNAT Compilation Model
3. Compiling Using gcc
4. Binding Using gnatbind
5. Linking Using gnatlink
6. The GNAT Make Program gnatmake
7. Improving Performance
8. Renaming Files Using gnatchop
9. Configuration Pragmas
10. Handling Arbitrary File Naming Conventions Using 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 GNAT Metric Tool gnatmetric
16. File Name Krunching Using gnatkr
17. Preprocessing Using gnatprep
18. The GNAT Library Browser gnatls
19. Cleaning Up Using gnatclean
20. GNAT and Libraries
21. Using the GNU make Utility
22. Memory Management Issues
23. Stack Related Facilities
24. Verifying Properties Using gnatcheck
25. Creating Sample Bodies Using gnatstub
26. Creating Unit Tests Using gnattest
27. Performing Dimensionality Analysis in GNAT
28. Generating Ada Bindings for C and C++ headers
29. Other Utility Programs
30. Code Coverage and Profiling
31. 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. Conditional Compilation
E. Inline Assembler
F. Compatibility and Porting Guide
G. Microsoft Windows Topics
H. GNU Free Documentation License
Index


This document was generated by GNAT Mailserver on May, 10 2012 using texi2html