/[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 93168 - (hide annotations)
Thu Oct 24 19:43:13 2013 UTC (6 years, 2 months ago) by zurfluhs
File size: 737 byte(s)
Code Analysis: initial commit for code analysis project. Library 'code_analysis' added.
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     feature -- Checking the rule
11     rule_checker: CA_RULE_CHECKER
12     deferred
13     end
14    
15     feature -- Basic properties, usually fix
16    
17     title: STRING
18     deferred
19     end
20    
21     description: STRING
22     deferred
23     end
24    
25     options: LINKED_LIST[CA_RULE_OPTION]
26     deferred
27     end
28    
29     feature -- Properties the user can change
30    
31     is_enabled: BOOLEAN
32    
33     enable
34     do
35     is_enabled := True
36     ensure
37     is_enabled
38     end
39    
40     disable
41     do
42     is_enabled := False
43     ensure
44     not is_enabled
45     end
46    
47     severity: CA_RULE_SEVERITY
48    
49     set_severity (a_severity: CA_RULE_SEVERITY)
50     do
51     severity := a_severity
52     end
53    
54     invariant
55     title_set: title.count > 3
56     end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23