/[eiffelstudio]/branches/eth/eve/Src/framework/auto_fix/utility/afx_fixer.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/auto_fix/utility/afx_fixer.e

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

revision 98117 by maxpei, Mon Oct 5 13:07:24 2015 UTC revision 98118 by maxpei, Thu Nov 19 13:59:02 2015 UTC
# Line 54  feature -- Basic operation Line 54  feature -- Basic operation
54                          l_contract_fixes: DS_ARRAYED_LIST [AFX_CONTRACT_FIX_TO_FAULT]                          l_contract_fixes: DS_ARRAYED_LIST [AFX_CONTRACT_FIX_TO_FAULT]
55                          l_code_fixes, l_valid_code_fixes: DS_ARRAYED_LIST [AFX_CODE_FIX_TO_FAULT]                          l_code_fixes, l_valid_code_fixes: DS_ARRAYED_LIST [AFX_CODE_FIX_TO_FAULT]
56                          l_feature_to_relax: AFX_FEATURE_TO_MONITOR                          l_feature_to_relax: AFX_FEATURE_TO_MONITOR
57                          l_features_to_relax: DS_ARRAYED_LIST [AFX_FEATURE_TO_MONITOR]                          l_features_to_relax, l_features_to_monitor: DS_ARRAYED_LIST [AFX_FEATURE_TO_MONITOR]
58                          l_exception_code: INTEGER                          l_exception_code: INTEGER
59                  do                  do
60                          disable_catcall_warnings                          disable_catcall_warnings
# Line 69  feature -- Basic operation Line 69  feature -- Basic operation
69                          event_actions.notify_on_session_started                          event_actions.notify_on_session_started
70    
71                          reproduce_failure                          reproduce_failure
72    
73                                    -- Replace recipient feature with 'session.exception_from_execution.recipient_feature_with_context',
74                                    -- because the latter have extra expressions to monitor during trace collection.
75                            from
76                                    l_features_to_monitor := features_to_monitor
77                                    l_features_to_monitor.start
78                            until
79                                    l_features_to_monitor.after
80                            loop
81                                    if l_features_to_monitor.item_for_iteration.qualified_feature_name ~ session.exception_from_execution.recipient_feature_with_context.qualified_feature_name then
82                                            l_features_to_monitor.item_for_iteration.add_extra_expressions (session.exception_from_execution.recipient_feature_with_context.extra_expressions)
83                                    end
84                                    l_features_to_monitor.forth
85                            end
86    
87                          l_traces_before_fixing := collect_behavior_of_regular_tests                          l_traces_before_fixing := collect_behavior_of_regular_tests
88                          l_traces_before_fixing_twin := l_traces_before_fixing.twin                          l_traces_before_fixing_twin := l_traces_before_fixing.twin
89    
90                          if config.is_fixing_implementation then                          if not config.is_fixing_implementation then
91                                  l_fixing_targets := localize_faulty_targets (l_traces_before_fixing)                                  l_fixing_targets := localize_faulty_targets (l_traces_before_fixing)
92                                  if config.should_log_for_debugging then                                  if config.should_log_for_debugging then
93                                                  -- Log at most the first 100 fixing targets.                                                  -- Log at most the first 100 fixing targets.

Legend:
Removed from v.98117  
changed lines
  Added in v.98118

  ViewVC Help
Powered by ViewVC 1.1.23