/[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 93426 by zurfluhs, Tue Nov 19 08:45:14 2013 UTC revision 93427 by zurfluhs, Tue Nov 19 10:39:06 2013 UTC
# Line 40  inherit Line 40  inherit
40                          process_inspect_as,                          process_inspect_as,
41                          process_instr_call_as,                          process_instr_call_as,
42                          process_loop_as,                          process_loop_as,
43                            process_object_test_as,
44                          process_once_as                          process_once_as
45                          -- ...                          -- ...
46                  end                  end
# Line 83  feature {NONE} -- Initialization Line 84  feature {NONE} -- Initialization
84                          create instruction_call_post_actions.make                          create instruction_call_post_actions.make
85                          create loop_pre_actions.make                          create loop_pre_actions.make
86                          create loop_post_actions.make                          create loop_post_actions.make
87                            create object_test_pre_actions.make
88                            create object_test_post_actions.make
89                          create once_pre_actions.make                          create once_pre_actions.make
90                          create once_post_actions.make                          create once_post_actions.make
91                  end                  end
# Line 209  feature {CA_STANDARD_RULE} Line 212  feature {CA_STANDARD_RULE}
212                          instruction_call_post_actions.extend (a_action)                          instruction_call_post_actions.extend (a_action)
213                  end                  end
214    
215          add_loop_pre_action (a_action: PROCEDURE[ANY, TUPLE[LOOP_AS]])          add_loop_pre_action (a_action: PROCEDURE [ANY, TUPLE [LOOP_AS]])
216                  do                  do
217                          loop_pre_actions.extend (a_action)                          loop_pre_actions.extend (a_action)
218                  end                  end
219    
220          add_loop_post_action (a_action: PROCEDURE[ANY, TUPLE[LOOP_AS]])          add_loop_post_action (a_action: PROCEDURE [ANY, TUPLE [LOOP_AS]])
221                  do                  do
222                          loop_post_actions.extend (a_action)                          loop_post_actions.extend (a_action)
223                  end                  end
224    
225          add_once_pre_action (a_action: PROCEDURE[ANY, TUPLE[ONCE_AS]])          add_object_test_pre_action (a_action: PROCEDURE [ANY, TUPLE [OBJECT_TEST_AS]])
226                    do
227                            object_test_pre_actions.extend (a_action)
228                    end
229    
230            add_object_test_post_action (a_action: PROCEDURE [ANY, TUPLE [OBJECT_TEST_AS]])
231                    do
232                            object_test_post_actions.extend (a_action)
233                    end
234    
235            add_once_pre_action (a_action: PROCEDURE [ANY, TUPLE [ONCE_AS]])
236                  do                  do
237                          once_pre_actions.extend (a_action)                          once_pre_actions.extend (a_action)
238                  end                  end
239    
240          add_once_post_action (a_action: PROCEDURE[ANY, TUPLE[ONCE_AS]])          add_once_post_action (a_action: PROCEDURE [ANY, TUPLE [ONCE_AS]])
241                  do                  do
242                          once_post_actions.extend (a_action)                          once_post_actions.extend (a_action)
243                  end                  end
# Line 257  feature {NONE} -- Agent lists Line 270  feature {NONE} -- Agent lists
270    
271          loop_pre_actions, loop_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[LOOP_AS]]]          loop_pre_actions, loop_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[LOOP_AS]]]
272    
273            object_test_pre_actions, object_test_post_actions: LINKED_LIST [PROCEDURE [ANY, TUPLE [OBJECT_TEST_AS]]]
274    
275          once_pre_actions, once_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ONCE_AS]]]          once_pre_actions, once_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ONCE_AS]]]
276    
277  feature -- Execution Commands  feature -- Execution Commands
# Line 384  feature {NONE} -- Processing Line 399  feature {NONE} -- Processing
399                          across loop_post_actions as l_a loop l_a.item.call ([a_loop]) end                          across loop_post_actions as l_a loop l_a.item.call ([a_loop]) end
400                  end                  end
401    
402            process_object_test_as (a_ot: OBJECT_TEST_AS)
403                    do
404                            across object_test_pre_actions as l_a loop l_a.item.call ([a_ot]) end
405                            Precursor (a_ot)
406                            across object_test_post_actions as l_a loop l_a.item.call ([a_ot]) end
407                    end
408    
409          process_once_as (a_once: ONCE_AS)          process_once_as (a_once: ONCE_AS)
410                  do                  do
411                          across once_pre_actions as l_a loop l_a.item.call ([a_once]) end                          across once_pre_actions as l_a loop l_a.item.call ([a_once]) end

Legend:
Removed from v.93426  
changed lines
  Added in v.93427

  ViewVC Help
Powered by ViewVC 1.1.23