/[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 93168 by zurfluhs, Thu Oct 24 19:43:13 2013 UTC revision 93173 by zurfluhs, Fri Oct 25 16:09:21 2013 UTC
# Line 7  note Line 7  note
7  deferred class  deferred class
8          CA_RULE          CA_RULE
9    
10  feature -- Checking the rule  feature -- Activation
11          rule_checker: CA_RULE_CHECKER  
12            prepare_checking (a_checker: CA_ALL_RULES_CHECKER)
13                  deferred                  deferred
14                  end                  end
15    
# Line 51  feature -- Properties the user can chang Line 52  feature -- Properties the user can chang
52                          severity := a_severity                          severity := a_severity
53                  end                  end
54    
55    feature -- Results
56    
57            violations: LINKED_LIST[CA_RULE_VIOLATION]
58    
59  invariant  invariant
60          title_set: title.count > 3          title_set: title.count > 3
61  end  end

Legend:
Removed from v.93168  
changed lines
  Added in v.93173

  ViewVC Help
Powered by ViewVC 1.1.23