/[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 93181 - (show annotations)
Tue Oct 29 10:59:59 2013 UTC (6 years, 1 month ago) by zurfluhs
File size: 1187 byte(s)
Code Analysis:

- new rule type for checking by backward iterator through routine
- 'formatted' output for description in console
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 inherit
11 CA_SHARED_NAMES
12
13 feature -- Basic properties, usually fix
14
15 title: STRING
16 deferred
17 end
18
19 description: STRING
20 deferred
21 end
22
23 options: LINKED_LIST[CA_RULE_OPTION]
24 deferred
25 end
26
27 is_system_wide: BOOLEAN
28 -- Only check the rule if a system wide analysis is performed.
29 deferred
30 end
31
32 feature -- formatted rule checking output
33
34 format_violation_description (a_violation: CA_RULE_VIOLATION; a_formatter: TEXT_FORMATTER)
35 require
36 violation_belongs_to_rule: violations.has (a_violation)
37 deferred
38 end
39
40 feature -- Properties the user can change
41
42 is_enabled: BOOLEAN
43
44 enable
45 do
46 is_enabled := True
47 ensure
48 is_enabled
49 end
50
51 disable
52 do
53 is_enabled := False
54 ensure
55 not is_enabled
56 end
57
58 severity: CA_RULE_SEVERITY
59
60 set_severity (a_severity: CA_RULE_SEVERITY)
61 do
62 severity := a_severity
63 end
64
65 feature -- Rule checking
66
67 set_checking_class (a_class: CLASS_C)
68 do
69 checking_class := a_class
70 end
71
72 checking_class: detachable CLASS_C
73
74 feature -- Results
75
76 violations: LINKED_LIST[CA_RULE_VIOLATION]
77
78 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23