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

Contents of /branches/eth/eve/Src/framework/code_analysis/ca_rule_violation.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93177 - (show annotations)
Mon Oct 28 22:16:38 2013 UTC (6 years, 1 month ago) by zurfluhs
File size: 1521 byte(s)
Code Analysis:

- formatted version of rule violation description
- refactorings and other minor changes
1 note
2 description: "Summary description for {CA_RULE_VIOLATION}."
3 author: ""
4 date: "$Date$"
5 revision: "$Revision$"
6
7 class
8 CA_RULE_VIOLATION
9
10 inherit
11 COMPARABLE
12
13 create
14 make_with_rule
15
16 feature {NONE} -- Initialization
17 make_with_rule (a_rule: CA_RULE)
18 do
19 rule := a_rule
20 synchronized_with_source := True
21 create {LINKED_LIST[ANY]} long_description_info.make
22 end
23
24 feature
25 rule: CA_RULE
26
27 long_description_info: LINKED_LIST[ANY]
28
29 affected_class: detachable CLASS_C
30
31 synchronized_with_source: BOOLEAN
32 -- 'True' if the rule violation corresponds to the current state of the
33 -- source code; 'False' if the violation might be outdated or is outdated.
34
35 location: detachable LOCATION_AS
36 -- location of rule violation, if available
37
38 fixes: LINKED_LIST[CA_FIX]
39 -- fix "strategies"
40 -- Empty if there is no fix available for this rule violation
41
42 feature -- Inherited from {COMPARABLE}
43
44 is_less alias "<" (a_other: like Current): BOOLEAN
45 do
46 if attached location as l_location then
47 if attached a_other.location as l_other_location then
48 if l_location.line = l_other_location.line then
49 Result := (l_location.column < l_other_location.column)
50 else
51 Result := (l_location.line < l_other_location.line)
52 end
53 else
54 Result := False
55 end
56 else
57 Result := False
58 end
59 end
60
61 feature {CA_RULE}
62
63 set_affected_class (a_class: CLASS_C)
64 do
65 affected_class := a_class
66 end
67
68 set_location (a_location: LOCATION_AS)
69 do
70 location := a_location
71 end
72
73 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23