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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93168 - (show 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 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