/[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 93174 - (hide annotations)
Mon Oct 28 12:30:08 2013 UTC (6 years, 2 months ago) by zurfluhs
File size: 926 byte(s)
Code Analysis: distinction between class-wide and system-wide rules.
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 93168 deferred
14     end
15    
16     feature -- Basic properties, usually fix
17    
18     title: STRING
19     deferred
20     end
21    
22     description: STRING
23     deferred
24     end
25    
26     options: LINKED_LIST[CA_RULE_OPTION]
27     deferred
28     end
29    
30 zurfluhs 93174 is_system_wide: BOOLEAN
31     -- Only check the rule if a system wide analysis is performed.
32     deferred
33     end
34    
35 zurfluhs 93168 feature -- Properties the user can change
36    
37     is_enabled: BOOLEAN
38    
39     enable
40     do
41     is_enabled := True
42     ensure
43     is_enabled
44     end
45    
46     disable
47     do
48     is_enabled := False
49     ensure
50     not is_enabled
51     end
52    
53     severity: CA_RULE_SEVERITY
54    
55     set_severity (a_severity: CA_RULE_SEVERITY)
56     do
57     severity := a_severity
58     end
59    
60 zurfluhs 93173 feature -- Results
61    
62     violations: LINKED_LIST[CA_RULE_VIOLATION]
63    
64 zurfluhs 93168 invariant
65     title_set: title.count > 3
66     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23