/[eiffelstudio]
ViewVC logotype

Revision 96890


Jump to revision: Previous Next
Author: schmisam
Date: Sat Mar 21 05:47:55 2015 UTC (4 years, 5 months ago)
Changed paths: 21
Log Message:
Added rule #9.
Added rule #29.
Added fix for rule #9.
Added fix for rule #29.
Added fix for rule #7.
Fixed bug in CA_ALL_RULES_CHECKER with binary constructs not executing post actions.
Added bin_ne equation to ca_all_rules_checker.
Removed 009_useless_contract from tests.
Added new void-safe test project.
Minor Refactoring.

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_object_test_always_succeeds_fix.e added
Directorybranches/eth/eve/Src/framework/code_analysis/fixes/ca_object_test_failing_fix.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/fixes/ca_useless_contract_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/rule_checkers/ca_all_rules_checker.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/commenting/ca_comment_not_well_phrased_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/control_structures/ca_object_test_always_succeeds_rule.e added
Directorybranches/eth/eve/Src/framework/code_analysis/rules/features/ca_useless_contract_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/rules/other/ca_object_test_failing_rule.e modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/tests/rules/009_useless_contract/ deleted
Directorybranches/eth/eve/Src/framework/code_analysis/tests/tests.ecf modified , text changed
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/ added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/rules/ added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/rules/009_useless_contract/ added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/rules/009_useless_contract/cat_useless_contract.e added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/rules/029_object_test_always_succeeds/ added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/rules/029_object_test_always_succeeds/cat_object_test_always_succeeds.e added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/void_safe_tests.ecf added
Directorybranches/eth/eve/Src/framework/code_analysis/void_safe_tests/void_safe_tests.rc added

  ViewVC Help
Powered by ViewVC 1.1.23