eiffelstudio-public - Revision 107750: /branches/Eiffel_20.05/Src/framework/code_analysis/rules/control_structures

• ..
• ca_deeply_nested_if_rule.e
• ca_empty_if_rule.e
• ca_empty_loop_rule.e
• ca_empty_rescue_clause_rule.e
• ca_inspect_instructions_rule.e
• ca_inspect_no_when_rule.e
• ca_iterable_loop_rule.e
• ca_loop_invariant_computation_rule.e
• ca_mergeable_conditionals_rule.e
• ca_object_creation_within_loop_rule.e
• ca_object_test_always_succeeds_rule.e
• ca_object_test_failing_rule.e
• ca_short_circuit_if_rule.e
• ca_unneeded_object_test_rule.e
• ca_unneeded_ot_local_rule.e
• ca_wrong_loop_iteration_rule.e