/[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 93181 by zurfluhs, Tue Oct 29 10:59:59 2013 UTC revision 93194 by zurfluhs, Mon Nov 4 21:28:18 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_eiffel_list,
34                          process_feature_as,                          process_feature_as,
35                          process_id_as                          process_id_as
36                          -- ...                          -- ...
# Line 56  feature {NONE} -- Initialization Line 57  feature {NONE} -- Initialization
57                          create body_post_actions.make                          create body_post_actions.make
58                          create class_pre_actions.make                          create class_pre_actions.make
59                          create class_post_actions.make                          create class_post_actions.make
60                            create eiffel_list_pre_actions.make
61                            create eiffel_list_post_actions.make
62                          create feature_pre_actions.make                          create feature_pre_actions.make
63                          create feature_post_actions.make                          create feature_post_actions.make
64                          create id_pre_actions.make                          create id_pre_actions.make
# Line 104  feature {CA_STANDARD_RULE} Line 107  feature {CA_STANDARD_RULE}
107                          class_post_actions.extend (a_action)                          class_post_actions.extend (a_action)
108                  end                  end
109    
110            add_eiffel_list_pre_action (a_action: PROCEDURE[ANY, TUPLE[EIFFEL_LIST[AST_EIFFEL]]])
111                    do
112                            eiffel_list_pre_actions.extend (a_action)
113                    end
114    
115            add_eiffel_list_post_action (a_action: PROCEDURE[ANY, TUPLE[EIFFEL_LIST[AST_EIFFEL]]])
116                    do
117                            eiffel_list_post_actions.extend (a_action)
118                    end
119    
120          add_feature_pre_action (a_action: PROCEDURE[ANY, TUPLE[FEATURE_AS]])          add_feature_pre_action (a_action: PROCEDURE[ANY, TUPLE[FEATURE_AS]])
121                  do                  do
122                          feature_pre_actions.extend (a_action)                          feature_pre_actions.extend (a_action)
# Line 134  feature {NONE} -- Agent lists Line 147  feature {NONE} -- Agent lists
147    
148          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]]]
149    
150            eiffel_list_pre_actions, eiffel_list_post_actions: LINKED_LIST[PROCEDURE[ANY, TUPLE[EIFFEL_LIST [AST_EIFFEL]]]]
151    
152          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]]]
153    
154          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]]]
# Line 181  feature {NONE} -- Processing Line 196  feature {NONE} -- Processing
196                          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
197                  end                  end
198    
199            process_eiffel_list (a_list: EIFFEL_LIST [AST_EIFFEL])
200                    do
201                            across eiffel_list_pre_actions as l_a loop l_a.item.call ([a_list]) end
202    
203                            Precursor (a_list)
204    
205                            across eiffel_list_post_actions as l_a loop l_a.item.call ([a_list]) end
206                    end
207    
208          process_feature_as (l_as: FEATURE_AS)          process_feature_as (l_as: FEATURE_AS)
209                  do                  do
210                          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

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

  ViewVC Help
Powered by ViewVC 1.1.23