/[eiffelstudio]
ViewVC logotype

Revision 95757


Jump to revision: Previous Next
Author: schmisam
Date: Fri Sep 12 12:25:28 2014 UTC (5 years, 5 months ago)
Changed paths: 22
Log Message:
Added Unreachable Code rule and rule for invariant loop computation within loop
Reworked object_creation_within_loop_fix to work for several rules
Added tests for the new rules


Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/code_analysis/ca_code_analyzer.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/fixes/ca_inherit_from_any_fix.e added
Directorybranches/eth/eve/Src/framework/code_analysis/fixes/ca_move_instruction_within_loop_fix.e added
Directorybranches/eth/eve/Src/framework/code_analysis/fixes/ca_object_creation_within_loop_fix.e deleted
Directorybranches/eth/eve/Src/framework/code_analysis/fixes/ca_unreachable_code_fix.e added
Directorybranches/eth/eve/Src/framework/code_analysis/localization/ca_messages.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/localization/ca_names.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/classes/ca_inherit_from_any_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/classes/ca_unreachable_code_rule.e added
Directorybranches/eth/eve/Src/framework/code_analysis/rules/control_structures/ca_boolean_result_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/control_structures/ca_loop_invariant_computation_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/control_structures/ca_object_creation_within_loop_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/features/ca_attribute_can_be_constant_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/tests/log.txt added
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/021_loop_invariant_computation/ added
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/021_loop_invariant_computation/cat_loop_invariant_computation.e added
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/022_unreachable_code/ added
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/022_unreachable_code/cat_unreachable_code.e added
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/031_inherit_from_any/cat_inherit_from_any_1.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/031_inherit_from_any/cat_inherit_from_any_2.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/031_inherit_from_any/cat_inherit_from_any_3.e added
Directorybranches/eth/eve/Src/framework/code_analysis/tests/test_output.txt added

  ViewVC Help
Powered by ViewVC 1.1.23