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 -- Show 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 EiffelStudio