savadur.check

   1 -ALL
   2 +RExceptions_As_Control_Flow
   3 +REXIT_Statements_With_No_Loop_Name
   4 +RExplicit_Full_Discrete_Ranges
   5 +RFloat_Equality_Checks
   6 +RGOTO_Statements
   7 +RImplicit_IN_Mode_Parameters
   8 +RNon_Qualified_Aggregates
   9 +RNon_Short_Circuit_Operators
  10 +RNon_Visible_Exceptions
  11 +RPositional_Actuals_For_Defaulted_Parameters
  12 +RPositional_Generic_Parameters
  13 +RRaising_External_Exceptions
  14 +RUncommented_BEGIN_In_Package_Bodies
  15 +RFunction_Style_Procedures
  16 +ROverly_Nested_Control_Structures:3
  17 +RUnnamed_Blocks_And_Loops