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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93181 - (hide annotations)
Tue Oct 29 10:59:59 2013 UTC (6 years, 2 months ago) by zurfluhs
File size: 1548 byte(s)
Code Analysis:

- new rule type for checking by backward iterator through routine
- 'formatted' output for description in console
1 zurfluhs 93168 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 zurfluhs 93173 inherit
11     COMPARABLE
12    
13 zurfluhs 93168 create
14     make_with_rule
15    
16     feature {NONE} -- Initialization
17 zurfluhs 93181 make_with_rule (a_rule: CA_STANDARD_RULE)
18 zurfluhs 93168 do
19     rule := a_rule
20 zurfluhs 93176 synchronized_with_source := True
21 zurfluhs 93177 create {LINKED_LIST[ANY]} long_description_info.make
22 zurfluhs 93168 end
23    
24     feature
25 zurfluhs 93181 rule: CA_STANDARD_RULE
26 zurfluhs 93168
27 zurfluhs 93177 long_description_info: LINKED_LIST[ANY]
28 zurfluhs 93168
29 zurfluhs 93173 affected_class: detachable CLASS_C
30 zurfluhs 93168
31 zurfluhs 93176 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 zurfluhs 93168 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 zurfluhs 93173 feature -- Inherited from {COMPARABLE}
43 zurfluhs 93168
44 zurfluhs 93173 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 zurfluhs 93181 feature {CA_STANDARD_RULE}
62 zurfluhs 93173
63     set_affected_class (a_class: CLASS_C)
64 zurfluhs 93168 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