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