/[eiffelstudio]/branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/afx_feature_to_monitor.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/auto_fix/strategies/enumeration_based/afx_feature_to_monitor.e

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

revision 98117 by maxpei, Sat Jun 21 22:38:32 2014 UTC revision 98118 by maxpei, Thu Nov 19 13:59:02 2015 UTC
# Line 212  feature -- Monitoring body execution Line 212  feature -- Monitoring body execution
212                                  sub_expression_collector_from_expression.collect_from_expressions (Current, extra_expressions)                                  sub_expression_collector_from_expression.collect_from_expressions (Current, extra_expressions)
213                                  l_base_expressions.merge (Sub_expression_collector_from_expression.last_sub_expressions)                                  l_base_expressions.merge (Sub_expression_collector_from_expression.last_sub_expressions)
214    
215    --                                      -- Exception condition
216    --                              if session.exception_from_execution.is_precondition_violation
217    --                                              and then Current.qualified_feature_name ~ session.exception_from_execution.recipient_feature_with_context.qualified_feature_name
218    --                                              and then attached session.exception_from_execution.exception_condition_in_recipient as lt_failing_condition
219    --                              then
220    --                                      l_base_expressions.force (lt_failing_condition)
221    --                              end
222    
223                                          -- Expressions to monitor based on the basic expressions.                                          -- Expressions to monitor based on the basic expressions.
224                                  create l_constructor                                  create l_constructor
225                                  l_constructor.construct_from (l_base_expressions)                                  l_constructor.construct_from (l_base_expressions)
# Line 276  feature -- Monitoring entry & exit state Line 284  feature -- Monitoring entry & exit state
284                                  create l_all_contracts.make_equal (10)                                  create l_all_contracts.make_equal (10)
285                                  l_all_contracts.merge (contracts.pre)                                  l_all_contracts.merge (contracts.pre)
286                                  l_all_contracts.merge (contracts.post)                                  l_all_contracts.merge (contracts.post)
287                                    l_all_contracts.append (extra_expressions)
288                                  sub_expression_collector_from_expression.collect_from_expressions (Current, l_all_contracts)                                  sub_expression_collector_from_expression.collect_from_expressions (Current, l_all_contracts)
289                                  l_post_contracts := sub_expression_collector_from_expression.last_sub_expressions                                  l_post_contracts := sub_expression_collector_from_expression.last_sub_expressions
290    
# Line 326  feature -- Monitoring entry & exit state Line 335  feature -- Monitoring entry & exit state
335  --??                    l_postcondition_expressions.append (variant_postconditions)  --??                    l_postcondition_expressions.append (variant_postconditions)
336    
337  --                                      -- Include also the violated condition if feature_under_test is the exception recipient.  --                                      -- Include also the violated condition if feature_under_test is the exception recipient.
338  --                              if session.exception_from_execution.is_precondition_violation and then Current ~ features_on_stack.item (2) and then attached session.exception_from_execution.exception_condition_in_recipient as lt_failing_condition then  --                              if session.exception_from_execution.is_precondition_violation
339    --                                              and then Current.qualified_feature_name ~ session.exception_from_execution.recipient_feature_with_context.qualified_feature_name
340    --                                              and then attached session.exception_from_execution.exception_condition_in_recipient as lt_failing_condition
341    --                              then
342  --                                      l_precondition_expressions.force (lt_failing_condition)  --                                      l_precondition_expressions.force (lt_failing_condition)
343  --                                      l_postcondition_expressions.force (lt_failing_condition)  --                                      l_postcondition_expressions.force (lt_failing_condition)
344  --                              end  --                              end
345  --                              contract_expressions_for_features.force ( [l_precondition_expressions, l_postcondition_expressions], Current)  
346                                  expressions_to_monitor_at_entry_and_exit_cache := [l_precondition_expressions, l_postcondition_expressions]                                  expressions_to_monitor_at_entry_and_exit_cache := [l_precondition_expressions, l_postcondition_expressions]
347                          end                          end
348                          Result := expressions_to_monitor_at_entry_and_exit_cache                          Result := expressions_to_monitor_at_entry_and_exit_cache

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

  ViewVC Help
Powered by ViewVC 1.1.23