mirror of
https://github.com/AdaCore/aws.git
synced 2026-02-12 12:29:46 -08:00
28 lines
919 B
Plaintext
28 lines
919 B
Plaintext
-ALL
|
|
+RNon_Visible_Exceptions
|
|
+RRaising_External_Exceptions
|
|
+RName_Clashes
|
|
+RGOTO_Statements
|
|
+RImplicit_IN_Mode_Parameters
|
|
-- ******* to be activated ******************************************
|
|
-- +RExceptions_As_Control_Flow
|
|
-- +RImplicit_SMALL_For_Fixed_Point_Types
|
|
-- +RNon_Qualified_Aggregates
|
|
-- +ROTHERS_In_Aggregates
|
|
-- +ROTHERS_In_Exception_Handlers
|
|
-- +ROverly_Nested_Control_Structures
|
|
-- +RPositional_Actuals_For_Defaulted_Generic_Parameters
|
|
-- +RPositional_Components
|
|
-- +RRaising_Predefined_Exceptions
|
|
-- +RUnassigned_OUT_Parameters
|
|
-- +RUncommented_BEGIN_In_Package_Bodies
|
|
-- ******* To be check if it makes sense ****************************
|
|
-- +RImproper_Returns
|
|
-- +RImproperly_Located_Instantiations
|
|
-- +ROTHERS_In_CASE_Statements
|
|
-- +RParameters_Out_Of_Order
|
|
-- +RPositional_Actuals_For_Defaulted_Parameters
|
|
-- +RPredefined_Numeric_Types
|
|
-- +RFunction_Style_Procedures
|
|
-- +RUnnamed_Blocks_And_Loops
|