/[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 93194 by zurfluhs, Mon Nov 4 21:28:18 2013 UTC revision 93216 by zurfluhs, Wed Nov 6 16:55:32 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_do_as,
34                          process_eiffel_list,                          process_eiffel_list,
35                          process_feature_as,                          process_feature_as,
36                          process_id_as                          process_id_as,
37                            process_if_as,
38                            process_inspect_as,
39                            process_loop_as,
40                            process_once_as
41                          -- ...                          -- ...
42                  end                  end
43    
# Line 57  feature {NONE} -- Initialization Line 62  feature {NONE} -- Initialization
62                          create body_post_actions.make                          create body_post_actions.make
63                          create class_pre_actions.make                          create class_pre_actions.make
64                          create class_post_actions.make                          create class_post_actions.make
65                            create do_pre_actions.make
66                            create do_post_actions.make
67                          create eiffel_list_pre_actions.make                          create eiffel_list_pre_actions.make
68                          create eiffel_list_post_actions.make                          create eiffel_list_post_actions.make
69                          create feature_pre_actions.make                          create feature_pre_actions.make
70                          create feature_post_actions.make                          create feature_post_actions.make
71                          create id_pre_actions.make                          create id_pre_actions.make
72                          create id_post_actions.make                          create id_post_actions.make
73                            create inspect_pre_actions.make
74                            create inspect_post_actions.make
75                            create if_pre_actions.make
76                            create if_post_actions.make
77                            create loop_pre_actions.make
78                            create loop_post_actions.make
79                            create once_pre_actions.make
80                            create once_post_actions.make
81                  end                  end
82    
83  feature {CA_STANDARD_RULE}  feature {CA_STANDARD_RULE}
# Line 107  feature {CA_STANDARD_RULE} Line 122  feature {CA_STANDARD_RULE}
122                          class_post_actions.extend (a_action)                          class_post_actions.extend (a_action)
123                  end                  end
124    
125            add_do_pre_action (a_action: PROCEDURE[ANY, TUPLE[DO_AS]])
126                    do
127                            do_pre_actions.extend (a_action)
128                    end
129    
130            add_do_post_action (a_action: PROCEDURE[ANY, TUPLE[DO_AS]])
131                    do
132                            do_post_actions.extend (a_action)
133                    end
134    
135          add_eiffel_list_pre_action (a_action: PROCEDURE[ANY, TUPLE[EIFFEL_LIST[AST_EIFFEL]]])          add_eiffel_list_pre_action (a_action: PROCEDURE[ANY, TUPLE[EIFFEL_LIST[AST_EIFFEL]]])
136                  do                  do
137                          eiffel_list_pre_actions.extend (a_action)                          eiffel_list_pre_actions.extend (a_action)
# Line 137  feature {CA_STANDARD_RULE} Line 162  feature {CA_STANDARD_RULE}
162                          id_post_actions.extend (a_action)                          id_post_actions.extend (a_action)
163                  end                  end
164    
165            add_if_pre_action (a_action: PROCEDURE[ANY, TUPLE[IF_AS]])
166                    do
167                            if_pre_actions.extend (a_action)
168                    end
169    
170            add_if_post_action (a_action: PROCEDURE[ANY, TUPLE[IF_AS]])
171                    do
172                            if_post_actions.extend (a_action)
173                    end
174    
175            add_inspect_pre_action (a_action: PROCEDURE[ANY, TUPLE[INSPECT_AS]])
176                    do
177                            inspect_pre_actions.extend (a_action)
178                    end
179    
180            add_inspect_post_action (a_action: PROCEDURE[ANY, TUPLE[INSPECT_AS]])
181                    do
182                            inspect_post_actions.extend (a_action)
183                    end
184    
185            add_loop_pre_action (a_action: PROCEDURE[ANY, TUPLE[LOOP_AS]])
186                    do
187                            loop_pre_actions.extend (a_action)
188                    end
189    
190            add_loop_post_action (a_action: PROCEDURE[ANY, TUPLE[LOOP_AS]])
191                    do
192                            loop_post_actions.extend (a_action)
193                    end
194    
195            add_once_pre_action (a_action: PROCEDURE[ANY, TUPLE[ONCE_AS]])
196                    do
197                            once_pre_actions.extend (a_action)
198                    end
199    
200            add_once_post_action (a_action: PROCEDURE[ANY, TUPLE[ONCE_AS]])
201                    do
202                            once_post_actions.extend (a_action)
203                    end
204    
205  feature {NONE} -- Agent lists  feature {NONE} -- Agent lists
206    
207          access_id_pre_actions, access_id_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ACCESS_ID_AS]]]          access_id_pre_actions, access_id_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ACCESS_ID_AS]]]
# Line 147  feature {NONE} -- Agent lists Line 212  feature {NONE} -- Agent lists
212    
213          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]]]
214    
215            do_pre_actions, do_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[DO_AS]]]
216    
217          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]]]]
218    
219          feature_pre_actions, feature_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[FEATURE_AS]]]          feature_pre_actions, feature_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[FEATURE_AS]]]
220    
221          id_pre_actions, id_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ID_AS]]]          id_pre_actions, id_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ID_AS]]]
222    
223            if_pre_actions, if_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[IF_AS]]]
224    
225            inspect_pre_actions, inspect_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[INSPECT_AS]]]
226    
227            loop_pre_actions, loop_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[LOOP_AS]]]
228    
229            once_pre_actions, once_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[ONCE_AS]]]
230    
231  feature -- Execution Commands  feature -- Execution Commands
232    
233          run_on_class (a_class_to_check: CLASS_C)          run_on_class (a_class_to_check: CLASS_C)
# Line 169  feature -- Execution Commands Line 244  feature -- Execution Commands
244    
245  feature {NONE} -- Processing  feature {NONE} -- Processing
246    
247          process_access_id_as (l_as: ACCESS_ID_AS)          process_access_id_as (a_id: ACCESS_ID_AS)
248                  do                  do
249                          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 ([a_id]) end
250    
251                          Precursor (l_as)                          Precursor (a_id)
252    
253                          across access_id_post_actions as l_a loop l_a.item.call ([l_as]) end                          across access_id_post_actions as l_a loop l_a.item.call ([a_id]) end
254                  end                  end
255    
256          process_assign_as (l_as: ASSIGN_AS)          process_assign_as (a_assign: ASSIGN_AS)
257                  do                  do
258                          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 ([a_assign]) end
259    
260                          Precursor (l_as)                          Precursor (a_assign)
261    
262                          across assign_post_actions as l_a loop l_a.item.call ([l_as]) end                          across assign_post_actions as l_a loop l_a.item.call ([a_assign]) end
263                  end                  end
264    
265          process_body_as (l_as: BODY_AS)          process_body_as (a_body: BODY_AS)
266                  do                  do
267                          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 ([a_body]) end
268    
269                          Precursor (l_as)                          Precursor (a_body)
270    
271                          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 ([a_body]) end
272                    end
273    
274            process_do_as (a_do: DO_AS)
275                    do
276                            across do_pre_actions as l_a loop l_a.item.call ([a_do]) end
277    
278                            Precursor (a_do)
279    
280                            across do_post_actions as l_a loop l_a.item.call ([a_do]) end
281                  end                  end
282    
283          process_eiffel_list (a_list: EIFFEL_LIST [AST_EIFFEL])          process_eiffel_list (a_list: EIFFEL_LIST [AST_EIFFEL])
# Line 205  feature {NONE} -- Processing Line 289  feature {NONE} -- Processing
289                          across eiffel_list_post_actions as l_a loop l_a.item.call ([a_list]) end                          across eiffel_list_post_actions as l_a loop l_a.item.call ([a_list]) end
290                  end                  end
291    
292          process_feature_as (l_as: FEATURE_AS)          process_feature_as (a_feature: FEATURE_AS)
293                    do
294                            across feature_pre_actions as l_a loop l_a.item.call ([a_feature]) end
295    
296                            Precursor (a_feature)
297    
298                            across feature_post_actions as l_a loop l_a.item.call ([a_feature]) end
299                    end
300    
301            process_id_as (a_id: ID_AS)
302                    do
303                            across id_pre_actions as l_a loop l_a.item.call ([a_id]) end
304    
305                            Precursor (a_id)
306    
307                            across id_post_actions as l_a loop l_a.item.call ([a_id]) end
308                    end
309    
310            process_if_as (a_if: IF_AS)
311                    do
312                            across if_pre_actions as l_a loop l_a.item.call ([a_if]) end
313    
314                            Precursor (a_if)
315    
316                            across if_post_actions as l_a loop l_a.item.call ([a_if]) end
317                    end
318    
319            process_inspect_as (a_inspect: INSPECT_AS)
320                    do
321                            across inspect_pre_actions as l_a loop l_a.item.call ([a_inspect]) end
322    
323                            Precursor (a_inspect)
324    
325                            across inspect_post_actions as l_a loop l_a.item.call ([a_inspect]) end
326                    end
327    
328            process_loop_as (a_loop: LOOP_AS)
329                  do                  do
330                          across feature_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across loop_pre_actions as l_a loop l_a.item.call ([a_loop]) end
331    
332                          Precursor (l_as)                          Precursor (a_loop)
333    
334                          across feature_post_actions as l_a loop l_a.item.call ([l_as]) end                          across loop_post_actions as l_a loop l_a.item.call ([a_loop]) end
335                  end                  end
336    
337          process_id_as (l_as: ID_AS)          process_once_as (a_once: ONCE_AS)
338                  do                  do
339                          across id_pre_actions as l_a loop l_a.item.call ([l_as]) end                          across once_pre_actions as l_a loop l_a.item.call ([a_once]) end
340    
341                          Precursor (l_as)                          Precursor (a_once)
342    
343                          across id_post_actions as l_a loop l_a.item.call ([l_as]) end                          across once_post_actions as l_a loop l_a.item.call ([a_once]) end
344                  end                  end
345    
346  feature -- Results  feature -- Results

Legend:
Removed from v.93194  
changed lines
  Added in v.93216

  ViewVC Help
Powered by ViewVC 1.1.23