/[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 93174 - (show 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 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 -- Activation
11
12 prepare_checking (a_checker: CA_ALL_RULES_CHECKER)
13 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 is_system_wide: BOOLEAN
31 -- Only check the rule if a system wide analysis is performed.
32 deferred
33 end
34
35 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 feature -- Results
61
62 violations: LINKED_LIST[CA_RULE_VIOLATION]
63
64 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