eiffelstudio-public - Revision 107750: /branches/Eiffel_21.11/Src/framework/code_analysis/rules/features

• ..
• ca_attribute_can_be_constant_rule.e
• ca_attribute_to_local_rule.e
• ca_boolean_result_rule.e
• ca_cq_separation_rule.e
• ca_empty_effective_routine_rule.e
• ca_export_can_be_restricted_rule.e
• ca_feature_never_called_rule.e
• ca_local_used_for_result_rule.e
• ca_manifest_array_type_rule.e
• ca_many_arguments_rule.e
• ca_nested_complexity_rule.e
• ca_npath_rule.e
• ca_obsolete_feature.e
• ca_obsolete_feature_call_processor.e
• ca_obsolete_feature_call_rule.e
• ca_obsolete_feature_rule.e
• ca_self_assignment_rule.e
• ca_semicolon_arguments_rule.e
• ca_unneeded_accessor_function_rule.e
• ca_unneeded_helper_variable_rule.e
• ca_unreachable_code_rule.e
• ca_unused_argument_rule.e
• ca_useless_contract_rule.e
• ca_very_long_routine_rule.e