Automatic generation produced by ISE Eiffel
note description: "Providing shared features for ES_TEST and ES_TEST_SUITE classes" author: "Software Engineering Lab (York University)" deferred class interface ES_TESTABLE feature run_espec -- new feature instead of run_all show_errors -- print error traces to the output show_browser --shows the default browser set_html_name (s: STRING_8) -- set the output html name feature set_error_report (v: BOOLEAN) -- show the contract violations if set to true run_es_test curr_os_dir_separator: CHARACTER_8 -- return path separator for current OS ensure separator_is_a_slash: Result = '/' or Result = '\' print_to_screen (message: STRING_8) -- prints the message to the screen, handles both GUI and standard output safe_put_string (message: STRING_8) -- socket.putstring with exception handling check_browser -- run the browser on the generated HTML get_html_name: STRING_8 -- return the name of the default html for this unit test passed_cases: LIST [STRING_8] -- list of the name of all the successful test cases failed_cases: LIST [STRING_8] -- list of the name of all the failed test cases print_console_report -- print a summary of all the test case results to the -- console. default_html_name: detachable STRING_8 number_of_tests: INTEGER_32 number_passed_tests: INTEGER_32 show_err: BOOLEAN browser: BOOLEAN end -- class ES_TESTABLE -- Generated by ISE Eiffel --
For more details: www.eiffel.com