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

GNAT Pro User's Guide

GNAT Pro User's Guide

The GNAT Pro Ada Development Environment
GNAT Pro Version 7.3.0w
Document revision level 308637
Date: 2014/09/10

AdaCore
Copyright (C) 1995-2014, Free Software Foundation

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "GNAT Pro User's Guide", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

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. Writing Portable Fixed-Point Declarations  
H. Compatibility and Porting Guide  
I. Microsoft Windows Topics  
J. Mac OS Topics  
K. GNU Free Documentation License  
Index  



This document was generated by GNAT Mailserver on September, 19 2014 using texi2html