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

Diff of /branches/eth/eve/Src/framework/code_analysis/rule_checkers/ca_all_rules_checker.e

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

revision 93180 by zurfluhs, Mon Oct 28 21:10:22 2013 UTC revision 93181 by zurfluhs, Tue Oct 29 10:59:59 2013 UTC
# Line 41  create Line 41  create
41  feature {NONE} -- Initialization  feature {NONE} -- Initialization
42          make          make
43                  do                  do
 --                      create rule_checkers.make  
44                          last_run_successful := False                          last_run_successful := False
 --                      create last_result.make (100) -- TODO: check initial capacity  
45    
46                          create_action_lists                          create_action_lists
47                  end                  end
# Line 64  feature {NONE} -- Initialization Line 62  feature {NONE} -- Initialization
62                          create id_post_actions.make                          create id_post_actions.make
63                  end                  end
64    
65  feature -- Options For Execution  feature {CA_STANDARD_RULE}
   
 --      add_rule_checker (a_rule_checker: CA_RULE_CHECKER)  
 --              do  
 --                      rule_checkers.extend (a_rule_checker)  
 --              end  
   
 --      remove_all_rule_checkers  
 --              do  
 --                      rule_checkers.wipe_out  
 --              ensure  
 --                      rule_checkers.is_empty  
 --              end  
   
 feature {CA_RULE}  
66    
67          add_access_id_pre_action (a_action: PROCEDURE[ANY, TUPLE[ACCESS_ID_AS]])          add_access_id_pre_action (a_action: PROCEDURE[ANY, TUPLE[ACCESS_ID_AS]])
68                  do                  do
# Line 161  feature -- Execution Commands Line 145  feature -- Execution Commands
145                  local                  local
146                          l_ast: CLASS_AS                          l_ast: CLASS_AS
147                  do                  do
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.clear_results  
 --                              l_checkers.item.process_class (a_class_to_check)  
 --                      end  
148                          l_ast := a_class_to_check.ast                          l_ast := a_class_to_check.ast
149                          across class_pre_actions as l_a loop l_a.item.call ([l_ast]) end                          across class_pre_actions as l_a loop l_a.item.call ([l_ast]) end
150                          process_class_as (l_ast)                          process_class_as (l_ast)
151                          across class_post_actions as l_a loop l_a.item.call ([l_ast]) end                          across class_post_actions as l_a loop l_a.item.call ([l_ast]) end
 --                      across rule_checkers as l_checkers loop  
 --                              across l_checkers.item.results as l_rule_results loop  
 --                                      last_result.extend (l_rule_results.item)  
 --                              end  
 --                      end  
152                          last_run_successful := True                          last_run_successful := True
153                  end                  end
154    
# Line 181  feature {NONE} -- Processing Line 156  feature {NONE} -- Processing
156    
157          process_access_id_as (l_as: ACCESS_ID_AS)          process_access_id_as (l_as: ACCESS_ID_AS)
158                  do                  do
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.process_access_id (l_as)  
 --                      end  
159                          across access_id_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across access_id_pre_actions as l_a loop l_a.item.call ([l_as]) end
160    
161                          Precursor (l_as)                          Precursor (l_as)
# Line 193  feature {NONE} -- Processing Line 165  feature {NONE} -- Processing
165    
166          process_assign_as (l_as: ASSIGN_AS)          process_assign_as (l_as: ASSIGN_AS)
167                  do                  do
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.process_assignment (l_as)  
 --                      end  
168                          across assign_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across assign_pre_actions as l_a loop l_a.item.call ([l_as]) end
169    
170                          Precursor (l_as)                          Precursor (l_as)
# Line 205  feature {NONE} -- Processing Line 174  feature {NONE} -- Processing
174    
175          process_body_as (l_as: BODY_AS)          process_body_as (l_as: BODY_AS)
176                  do                  do
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.process_body (l_as)  
 --                      end  
177                          across body_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across body_pre_actions as l_a loop l_a.item.call ([l_as]) end
178    
179                          Precursor (l_as)                          Precursor (l_as)
180    
181                          across body_post_actions as l_a loop l_a.item.call ([l_as]) end                          across body_post_actions as l_a loop l_a.item.call ([l_as]) end
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.process_body_end  
 --                      end  
182                  end                  end
183    
184          process_feature_as (l_as: FEATURE_AS)          process_feature_as (l_as: FEATURE_AS)
185                  do                  do
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.process_feature (l_as)  
 --                      end  
186                          across feature_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across feature_pre_actions as l_a loop l_a.item.call ([l_as]) end
187    
188                          Precursor (l_as)                          Precursor (l_as)
# Line 232  feature {NONE} -- Processing Line 192  feature {NONE} -- Processing
192    
193          process_id_as (l_as: ID_AS)          process_id_as (l_as: ID_AS)
194                  do                  do
 --                      across rule_checkers as l_checkers loop  
 --                              l_checkers.item.process_id (l_as)  
 --                      end  
195                          across id_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across id_pre_actions as l_a loop l_a.item.call ([l_as]) end
196    
197                          Precursor (l_as)                          Precursor (l_as)
# Line 246  feature -- Results Line 203  feature -- Results
203    
204          last_run_successful: BOOLEAN          last_run_successful: BOOLEAN
205    
 --      last_result: HASH_TABLE[LINKED_LIST[CA_RULE_VIOLATION], CLASS_C]  
   
 feature -- Rule Checkers  
   
 --      rule_checkers: LINKED_LIST[CA_RULE_CHECKER]  
   
 --invariant  
 --      rule_checkers_list_exists: rule_checkers /= Void  
206  end  end

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

  ViewVC Help
Powered by ViewVC 1.1.23