GNATcheck Reference Manual: GNATcheck Reference Manual

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

# GNATcheck Reference Manual

GNATcheck Reference Manual
Coding Standard Verifier

The GNAT Pro Ada Compiler
GNAT Pro Version 7.0.0w
Configuration level: 180752
Date: 2011/10/29

Copyright (C) 2009, AdaCore

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 "GNATcheck Reference Manual", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

> About This Manual |  |
> 1. Introduction |  |
> 2. Format of the Report File |  |
> 3. General `gnatcheck` Switches |  |
> 4. `gnatcheck` Rule Options |  |
> 5. Adding the Results of Compiler Checks to `gnatcheck` Output |  |
> 6. Project-Wide Checks |  |
> 7. Rule exemption |  |
> 8. Predefined Rules |  |
> 9. Example of `gnatcheck` Usage |  |
> A. List of Rules |  |
> B. GNU Free Documentation License |  |
> Index |  |

> -- The Detailed Node Listing --- About This Manual

> What This Manual Contains |  |
> What You Should Know Before Reading This Manual |  |

> Introduction Format of the Report File General gnatcheck Switches gnatcheck Rule Options Adding the Results of Compiler Checks to gnatcheck Output Project-Wide Checks Rule exemption

> 7.1 Using pragma `Annotate` to Control Rule Exemption |  |
> 7.2 `gnatcheck` Annotations Rules |  |

> Predefined Rules

> 8.1 Style-Related Rules |  |
> 8.2 Feature Usage Rules |  |
> 8.3 Metrics-Related Rules |  |
> 8.4 SPARK Ada Rules |  |

> Example of gnatcheck Usage List of Rules GNU Free Documentation License Index

This document was generated by GNAT Mailserver on November, 5 2011 using texi2html