/[eiffelstudio]/branches/eth/eve/Src/library/testing/etf/interpreter/itp_interpreter.e
ViewVC logotype

Diff of /branches/eth/eve/Src/library/testing/etf/interpreter/itp_interpreter.e

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

revision 88873 by jasonw, Thu Apr 19 09:20:35 2012 UTC revision 88874 by jasonw, Thu Jun 14 14:25:07 2012 UTC
# Line 578  feature {ITP_TEST_CASE_SERIALIZER} -- Lo Line 578  feature {ITP_TEST_CASE_SERIALIZER} -- Lo
578                          l_tag: like tag_name                          l_tag: like tag_name
579                          l_trace: like exception_trace                          l_trace: like exception_trace
580                          l_meaning: like meaning                          l_meaning: like meaning
581                            l_line_number: INTEGER
582                  do                  do
583                                  -- Gather exception information.                                  -- Gather exception information.
584                          l_exception_code := exception  --                      l_exception_code := exception
585                          l_meaning := meaning (l_exception_code)  --                      l_tag := tag_name
586                          l_tag := tag_name  --                      l_recipient := recipient_name
587                          l_recipient := recipient_name  --                      l_recipient_class_name := class_name
588                          l_recipient_class_name := class_name  
589                            l_exception_code := original_exception
590                            l_tag := original_tag_name
591                            if l_tag = Void then
592                                    l_tag := "noname"
593                            end
594                            l_recipient := original_recipient_name
595                            l_recipient_class_name := original_class_name
596                            if attached {EXCEPTION} exception_manager.last_exception as l_except then
597                                    if attached {EXCEPTION} l_except.cause as l_cause then
598                                            l_line_number := l_cause.line_number
599                                    end
600                            end
601                            last_fault_id := l_recipient_class_name + "." + l_recipient + "." + l_exception_code.out + "." + l_tag
602    
603                          l_trace := exception_trace                          l_trace := exception_trace
604    
605                            l_meaning := meaning (l_exception_code)
606                          check l_trace /= Void end                          check l_trace /= Void end
607    
608                          if l_meaning = Void then                          if l_meaning = Void then
# Line 626  feature {ITP_TEST_CASE_SERIALIZER} -- Lo Line 643  feature {ITP_TEST_CASE_SERIALIZER} -- Lo
643                          log_message (once "</call_result>%N")                          log_message (once "</call_result>%N")
644                  end                  end
645    
646            last_fault_id: detachable STRING
647                            -- Id of the last detected fault
648                            -- Only have correct value if is_failing_test_case is True
649    
650  feature -- IO Buffer  feature -- IO Buffer
651    
652          output_buffer: STRING_8          output_buffer: STRING_8
# Line 813  feature {NONE} -- Byte code Line 834  feature {NONE} -- Byte code
834    
835                                  -- Book keeps found faults.                                  -- Book keeps found faults.
836                          if not is_last_invariant_violated then                          if not is_last_invariant_violated then
837                                  if (recipient_name.is_equal (once "execute_byte_code") and then exception = {EXCEP_CONST}.Precondition) then                                  if (original_recipient_name.is_equal (once "execute_byte_code") and then exception = {EXCEP_CONST}.Precondition) then
838                                          is_invalid_test_case := True                                          is_invalid_test_case := True
839                                          is_failing_test_case := False                                          is_failing_test_case := False
840                                  else                                  else

Legend:
Removed from v.88873  
changed lines
  Added in v.88874

  ViewVC Help
Powered by ViewVC 1.1.23