Documentation in categories GNATcheck

  • GNATcheck
    • GNATcheck Reference Manual     (Link to this entry)

      The gnatcheck tool in GNAT Pro can be used to enforce coding conventions by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input.