/[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 93173 - (show annotations)
Fri Oct 25 16:09:21 2013 UTC (6 years, 3 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 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 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 feature -- Results
56
57 violations: LINKED_LIST[CA_RULE_VIOLATION]
58
59 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