/[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 93298 by zurfluhs, Sun Nov 10 16:23:07 2013 UTC revision 93304 by zurfluhs, Mon Nov 11 10:05:03 2013 UTC
# Line 30  inherit Line 30  inherit
30                          process_access_id_as,                          process_access_id_as,
31                          process_assign_as,                          process_assign_as,
32                          process_body_as,                          process_body_as,
33                            process_creation_as,
34                          process_do_as,                          process_do_as,
35                          process_eiffel_list,                          process_eiffel_list,
36                          process_feature_as,                          process_feature_as,
37                          process_id_as,                          process_id_as,
38                          process_if_as,                          process_if_as,
39                          process_inspect_as,                          process_inspect_as,
40                            process_instr_call_as,
41                          process_loop_as,                          process_loop_as,
42                          process_once_as                          process_once_as
43                          -- ...                          -- ...
# Line 62  feature {NONE} -- Initialization Line 64  feature {NONE} -- Initialization
64                          create body_post_actions.make                          create body_post_actions.make
65                          create class_pre_actions.make                          create class_pre_actions.make
66                          create class_post_actions.make                          create class_post_actions.make
67                            create creation_pre_actions.make
68                            create creation_post_actions.make
69                          create do_pre_actions.make                          create do_pre_actions.make
70                          create do_post_actions.make                          create do_post_actions.make
71                          create eiffel_list_pre_actions.make                          create eiffel_list_pre_actions.make
# Line 70  feature {NONE} -- Initialization Line 74  feature {NONE} -- Initialization
74                          create feature_post_actions.make                          create feature_post_actions.make
75                          create id_pre_actions.make                          create id_pre_actions.make
76                          create id_post_actions.make                          create id_post_actions.make
                         create inspect_pre_actions.make  
                         create inspect_post_actions.make  
77                          create if_pre_actions.make                          create if_pre_actions.make
78                          create if_post_actions.make                          create if_post_actions.make
79                            create inspect_pre_actions.make
80                            create inspect_post_actions.make
81                            create instruction_call_pre_actions.make
82                            create instruction_call_post_actions.make
83                          create loop_pre_actions.make                          create loop_pre_actions.make
84                          create loop_post_actions.make                          create loop_post_actions.make
85                          create once_pre_actions.make                          create once_pre_actions.make
# Line 122  feature {CA_STANDARD_RULE} Line 128  feature {CA_STANDARD_RULE}
128                          class_post_actions.extend (a_action)                          class_post_actions.extend (a_action)
129                  end                  end
130    
131            add_creation_pre_action (a_action: PROCEDURE [ANY, TUPLE [CREATION_AS] ])
132                    do
133                            creation_pre_actions.extend (a_action)
134                    end
135    
136            add_creation_post_action (a_action: PROCEDURE [ANY, TUPLE [CREATION_AS] ])
137                    do
138                            creation_post_actions.extend (a_action)
139                    end
140    
141          add_do_pre_action (a_action: PROCEDURE[ANY, TUPLE[DO_AS]])          add_do_pre_action (a_action: PROCEDURE[ANY, TUPLE[DO_AS]])
142                  do                  do
143                          do_pre_actions.extend (a_action)                          do_pre_actions.extend (a_action)
# Line 182  feature {CA_STANDARD_RULE} Line 198  feature {CA_STANDARD_RULE}
198                          inspect_post_actions.extend (a_action)                          inspect_post_actions.extend (a_action)
199                  end                  end
200    
201            add_instruction_call_pre_action (a_action: PROCEDURE [ANY, TUPLE [INSTR_CALL_AS] ])
202                    do
203                            instruction_call_pre_actions.extend (a_action)
204                    end
205    
206            add_instruction_call_post_action (a_action: PROCEDURE [ANY, TUPLE [INSTR_CALL_AS] ])
207                    do
208                            instruction_call_post_actions.extend (a_action)
209                    end
210    
211          add_loop_pre_action (a_action: PROCEDURE[ANY, TUPLE[LOOP_AS]])          add_loop_pre_action (a_action: PROCEDURE[ANY, TUPLE[LOOP_AS]])
212                  do                  do
213                          loop_pre_actions.extend (a_action)                          loop_pre_actions.extend (a_action)
# Line 212  feature {NONE} -- Agent lists Line 238  feature {NONE} -- Agent lists
238    
239          class_pre_actions, class_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[CLASS_AS]]]          class_pre_actions, class_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[CLASS_AS]]]
240    
241            creation_pre_actions, creation_post_actions: LINKED_LIST [PROCEDURE [ANY, TUPLE[CREATION_AS] ] ]
242    
243          do_pre_actions, do_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[DO_AS]]]          do_pre_actions, do_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[DO_AS]]]
244    
245          eiffel_list_pre_actions, eiffel_list_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[EIFFEL_LIST [AST_EIFFEL]]]]          eiffel_list_pre_actions, eiffel_list_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[EIFFEL_LIST [AST_EIFFEL]]]]
# Line 224  feature {NONE} -- Agent lists Line 252  feature {NONE} -- Agent lists
252    
253          inspect_pre_actions, inspect_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[INSPECT_AS]]]          inspect_pre_actions, inspect_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[INSPECT_AS]]]
254    
255            instruction_call_pre_actions, instruction_call_post_actions: LINKED_LIST [PROCEDURE [ANY, TUPLE [INSTR_CALL_AS] ] ]
256    
257          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]]]
258    
259          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]]]
# Line 235  feature -- Execution Commands Line 265  feature -- Execution Commands
265                  local                  local
266                          l_ast: CLASS_AS                          l_ast: CLASS_AS
267                  do                  do
268                            last_run_successful := False
269                          l_ast := a_class_to_check.ast                          l_ast := a_class_to_check.ast
270                          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
271                          process_class_as (l_ast)                          process_class_as (l_ast)
# Line 271  feature {NONE} -- Processing Line 302  feature {NONE} -- Processing
302                          across body_post_actions as l_a loop l_a.item.call ([a_body]) end                          across body_post_actions as l_a loop l_a.item.call ([a_body]) end
303                  end                  end
304    
305            process_creation_as (a_creation: CREATION_AS)
306                    do
307                            across creation_pre_actions as l_a loop l_a.item.call ([a_creation]) end
308    
309                            Precursor (a_creation)
310    
311                            across creation_post_actions as l_a loop l_a.item.call ([a_creation]) end
312                    end
313    
314          process_do_as (a_do: DO_AS)          process_do_as (a_do: DO_AS)
315                  do                  do
316                          across do_pre_actions as l_a loop l_a.item.call ([a_do]) end                          across do_pre_actions as l_a loop l_a.item.call ([a_do]) end
# Line 329  feature {NONE} -- Processing Line 369  feature {NONE} -- Processing
369                          across inspect_post_actions as l_a loop l_a.item.call ([a_inspect]) end                          across inspect_post_actions as l_a loop l_a.item.call ([a_inspect]) end
370                  end                  end
371    
372            process_instr_call_as (a_call: INSTR_CALL_AS)
373                    do
374                            across instruction_call_pre_actions as l_a loop l_a.item.call ([a_call]) end
375    
376                            Precursor (a_call)
377    
378                            across instruction_call_post_actions as l_a loop l_a.item.call ([a_call]) end
379                    end
380    
381          process_loop_as (a_loop: LOOP_AS)          process_loop_as (a_loop: LOOP_AS)
382                  do                  do
383                          across loop_pre_actions as l_a loop l_a.item.call ([a_loop]) end                          across loop_pre_actions as l_a loop l_a.item.call ([a_loop]) end

Legend:
Removed from v.93298  
changed lines
  Added in v.93304

  ViewVC Help
Powered by ViewVC 1.1.23