GNATcheck Reference Manual: GNATcheck Reference Manual

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

# GNATcheck Reference Manual

GNATcheck Reference Manual
Coding Standard Verifier

The GNAT Ada Compiler
GNAT GPL Edition, Version gpl-2014
Configuration level: 224955
Date: 2014/03/23

Copyright (C) 2009-2014, 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. Rule exemption |  |
> 7. Predefined Rules |  |
> 8. 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 Rule exemption

> 6.1 Using pragma `Annotate` to Control Rule Exemption |  |
> 6.2 `gnatcheck` Annotations Rules |  |

> Predefined Rules

> 7.1 Style-Related Rules |  |
> 7.2 Feature Usage Rules |  |
> 7.3 Metrics-Related Rules |  |
> 7.4 SPARK Ada Rules |  |

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

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