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

Diff of /branches/eth/eve/Src/framework/code_analysis/rules/ca_rule.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 93176 by zurfluhs, Mon Oct 28 12:30:08 2013 UTC revision 93177 by zurfluhs, Mon Oct 28 22:16:38 2013 UTC
# Line 10  deferred class Line 10  deferred class
10  feature -- Activation  feature -- Activation
11    
12          prepare_checking (a_checker: CA_ALL_RULES_CHECKER)          prepare_checking (a_checker: CA_ALL_RULES_CHECKER)
13                    do
14                            violations.wipe_out
15                            register_actions (a_checker)
16                    end
17    
18    feature {NONE} -- Implementation
19    
20            register_actions (a_checker: CA_ALL_RULES_CHECKER)
21                    deferred
22                    end
23    
24    feature -- formatted rule checking output
25    
26            format_violation_description (a_violation: CA_RULE_VIOLATION; a_formatter: TEXT_FORMATTER)
27                    require
28                            violation_belongs_to_rule: violations.has (a_violation)
29                  deferred                  deferred
30                  end                  end
31    
# Line 57  feature -- Properties the user can chang Line 73  feature -- Properties the user can chang
73                          severity := a_severity                          severity := a_severity
74                  end                  end
75    
76    feature -- Rule checking
77    
78            set_checking_class (a_class: CLASS_C)
79                    do
80                            checking_class := a_class
81                    end
82    
83            checking_class: detachable CLASS_C
84    
85  feature -- Results  feature -- Results
86    
87          violations: LINKED_LIST[CA_RULE_VIOLATION]          violations: LINKED_LIST[CA_RULE_VIOLATION]

Legend:
Removed from v.93176  
changed lines
  Added in v.93177

  ViewVC Help
Powered by ViewVC 1.1.23