/[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 93180 by zurfluhs, Tue Oct 29 06:56:44 2013 UTC revision 93181 by zurfluhs, Tue Oct 29 10:59:59 2013 UTC
# Line 10  deferred class Line 10  deferred class
10  inherit  inherit
11          CA_SHARED_NAMES          CA_SHARED_NAMES
12    
 feature -- Activation  
   
         prepare_checking (a_checker: CA_ALL_RULES_CHECKER)  
                 do  
                         violations.wipe_out  
                         register_actions (a_checker)  
                 end  
   
 feature {NONE} -- Implementation  
   
         register_actions (a_checker: CA_ALL_RULES_CHECKER)  
                 deferred  
                 end  
   
 feature -- formatted rule checking output  
   
         format_violation_description (a_violation: CA_RULE_VIOLATION; a_formatter: TEXT_FORMATTER)  
                 require  
                         violation_belongs_to_rule: violations.has (a_violation)  
                 deferred  
                 end  
   
13  feature -- Basic properties, usually fix  feature -- Basic properties, usually fix
14    
15          title: STRING          title: STRING
# Line 51  feature -- Basic properties, usually fix Line 29  feature -- Basic properties, usually fix
29                  deferred                  deferred
30                  end                  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  feature -- Properties the user can change
41    
42          is_enabled: BOOLEAN          is_enabled: BOOLEAN
# Line 88  feature -- Rule checking Line 74  feature -- Rule checking
74  feature -- Results  feature -- Results
75    
76          violations: LINKED_LIST[CA_RULE_VIOLATION]          violations: LINKED_LIST[CA_RULE_VIOLATION]
77            
 invariant  
         title_set: title.count > 3  
78  end  end

Legend:
Removed from v.93180  
changed lines
  Added in v.93181

  ViewVC Help
Powered by ViewVC 1.1.23