/[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 93173 - (hide annotations)
Fri Oct 25 16:09:21 2013 UTC (6 years, 2 months ago) by zurfluhs
File size: 817 byte(s)
Code Analysis:

- framework redesign (to be continued)
- rule violation output now sorted by class and location
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     feature -- Properties the user can change
31    
32     is_enabled: BOOLEAN
33    
34     enable
35     do
36     is_enabled := True
37     ensure
38     is_enabled
39     end
40    
41     disable
42     do
43     is_enabled := False
44     ensure
45     not is_enabled
46     end
47    
48     severity: CA_RULE_SEVERITY
49    
50     set_severity (a_severity: CA_RULE_SEVERITY)
51     do
52     severity := a_severity
53     end
54    
55 zurfluhs 93173 feature -- Results
56    
57     violations: LINKED_LIST[CA_RULE_VIOLATION]
58    
59 zurfluhs 93168 invariant
60     title_set: title.count > 3
61     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23