Previous: Using pragma Annotate to Control Rule Exemption, Up: Rule exemption


23.6.2 gnatcheck Annotations Rules