-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2010, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2011, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
Write_Switch_Char ("eD?");
Write_Line ("Define or redefine preprocessing symbol, e.g. -gnateDsym=val");
+ -- Line for -gnateE switch
+
+ Write_Switch_Char ("eE");
+ Write_Line ("Generate extra information in exception messages");
+
-- Line for -gnatef switch
Write_Switch_Char ("ef");
Write_Switch_Char ("ep=?");
Write_Line ("Specify preprocessing data file, e.g. -gnatep=prep.data");
+ -- Line for -gnateP switch
+
+ Write_Switch_Char ("eP");
+ Write_Line ("Pure/Prelaborate errors generate warnings rather than errors");
+
-- Line for -gnateS switch
Write_Switch_Char ("eS");
-- Line for -gnatn switch
Write_Switch_Char ("n");
- Write_Line ("Inlining of subprograms (apply pragma Inline across units)");
+ Write_Line ("Enable pragma Inline (both within and across units)");
-- Line for -gnatN switch
Write_Line (" F* turn off warnings for unreferenced formal");
Write_Line (" g*+ turn on warnings for unrecognized pragma");
Write_Line (" G turn off warnings for unrecognized pragma");
- Write_Line (" h turn on warnings for hiding variable");
- Write_Line (" H* turn off warnings for hiding variable");
+ Write_Line (" h turn on warnings for hiding declarations");
+ Write_Line (" H* turn off warnings for hiding declarations");
Write_Line (" .h turn on warnings for holes in records");
Write_Line (" .H* turn off warnings for holes in records");
Write_Line (" i*+ turn on warnings for implementation unit");
"elaboration pragma");
Write_Line (" L* turn off warnings for missing " &
"elaboration pragma");
+ Write_Line (" .l* turn on info messages for inherited aspects");
+ Write_Line (" .L turn off info messages for inherited aspects");
Write_Line (" m+ turn on warnings for variable assigned " &
"but not read");
Write_Line (" M* turn off warnings for variable assigned " &
Write_Line (" .S* turn off warnings for overridden size clause");
Write_Line (" t turn on warnings for tracking deleted code");
Write_Line (" T* turn off warnings for tracking deleted code");
+ Write_Line (" .t+ turn on warnings for suspicious contract");
+ Write_Line (" .T* turn off warnings for suspicious contract");
Write_Line (" u+ turn on warnings for unused entity");
Write_Line (" U* turn off warnings for unused entity");
Write_Line (" .u turn on warnings for unordered enumeration");
Write_Line (" X turn off warnings for export/import");
Write_Line (" .x+ turn on warnings for non-local exception");
Write_Line (" .X* turn off warnings for non-local exception");
- Write_Line (" y*+ turn on warnings for Ada 2005 incompatibility");
- Write_Line (" Y turn off warnings for Ada 2005 incompatibility");
+ Write_Line (" y*+ turn on warnings for Ada compatibility issues");
+ Write_Line (" Y turn off warnings for Ada compatibility issues");
Write_Line (" z*+ turn on warnings for suspicious " &
"unchecked conversion");
Write_Line (" Z turn off warnings for suspicious " &
Write_Line (" A check array attribute indexes");
Write_Line (" b check no blanks at end of lines");
Write_Line (" B check no use of AND/OR for boolean expressions");
- Write_Line (" c check comment format");
+ Write_Line (" c check comment format (two spaces)");
+ Write_Line (" C check comment format (one space)");
Write_Line (" d check no DOS line terminators");
Write_Line (" e check end/exit labels present");
Write_Line (" f check no form feeds/vertical tabs in source");
-- Line for -gnat83 switch
Write_Switch_Char ("83");
- Write_Line ("Enforce Ada 83 restrictions");
+ Write_Line ("Ada 83 mode");
-- Line for -gnat95 switch
if Ada_Version_Default = Ada_95 then
Write_Line ("Ada 95 mode (default)");
else
- Write_Line ("Enforce Ada 95 restrictions");
+ Write_Line ("Ada 95 mode");
end if;
- -- Line for -gnat05 switch
+ -- Line for -gnat2005 switch
- Write_Switch_Char ("05");
+ Write_Switch_Char ("2005");
- if Ada_Version_Default = Ada_05 then
+ if Ada_Version_Default = Ada_2005 then
Write_Line ("Ada 2005 mode (default)");
else
- Write_Line ("Enforce Ada 2005 restrictions");
+ Write_Line ("Ada 2005 mode");
end if;
- -- Line for -gnat12 switch
+ -- Line for -gnat2012 switch
- Write_Switch_Char ("12");
+ Write_Switch_Char ("2012");
- if Ada_Version_Default = Ada_12 then
+ if Ada_Version_Default = Ada_2012 then
Write_Line ("Ada 2012 mode (default)");
else
- Write_Line ("Allow Ada 2012 extensions");
+ Write_Line ("Ada 2012 mode");
end if;
-- Line for -gnat-p switch