/[eiffelstudio]/branches/eth/eve/Src/framework/code_analysis/rules/ca_rule.e
ViewVC logotype

Annotation of /branches/eth/eve/Src/framework/code_analysis/rules/ca_rule.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93177 - (hide annotations)
Mon Oct 28 22:16:38 2013 UTC (6 years, 2 months ago) by zurfluhs
File size: 1444 byte(s)
Code Analysis:

- formatted version of rule violation description
- refactorings and other minor changes
1 zurfluhs 93168 note
2     description: "Summary description for {CA_RULE}."
3     author: ""
4     date: "$Date$"
5     revision: "$Revision$"
6    
7     deferred class
8     CA_RULE
9    
10 zurfluhs 93173 feature -- Activation
11    
12     prepare_checking (a_checker: CA_ALL_RULES_CHECKER)
13 zurfluhs 93177 do
14     violations.wipe_out
15     register_actions (a_checker)
16     end
17    
18     feature {NONE} -- Implementation
19    
20     register_actions (a_checker: CA_ALL_RULES_CHECKER)
21 zurfluhs 93168 deferred
22     end
23    
24 zurfluhs 93177 feature -- formatted rule checking output
25    
26     format_violation_description (a_violation: CA_RULE_VIOLATION; a_formatter: TEXT_FORMATTER)
27     require
28     violation_belongs_to_rule: violations.has (a_violation)
29     deferred
30     end
31    
32 zurfluhs 93168 feature -- Basic properties, usually fix
33    
34     title: STRING
35     deferred
36     end
37    
38     description: STRING
39     deferred
40     end
41    
42     options: LINKED_LIST[CA_RULE_OPTION]
43     deferred
44     end
45    
46 zurfluhs 93174 is_system_wide: BOOLEAN
47     -- Only check the rule if a system wide analysis is performed.
48     deferred
49     end
50    
51 zurfluhs 93168 feature -- Properties the user can change
52    
53     is_enabled: BOOLEAN
54    
55     enable
56     do
57     is_enabled := True
58     ensure
59     is_enabled
60     end
61    
62     disable
63     do
64     is_enabled := False
65     ensure
66     not is_enabled
67     end
68    
69     severity: CA_RULE_SEVERITY
70    
71     set_severity (a_severity: CA_RULE_SEVERITY)
72     do
73     severity := a_severity
74     end
75    
76 zurfluhs 93177 feature -- Rule checking
77    
78     set_checking_class (a_class: CLASS_C)
79     do
80     checking_class := a_class
81     end
82    
83     checking_class: detachable CLASS_C
84    
85 zurfluhs 93173 feature -- Results
86    
87     violations: LINKED_LIST[CA_RULE_VIOLATION]
88    
89 zurfluhs 93168 invariant
90     title_set: title.count > 3
91     end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23