note
	description: "Objects that represent test cases"
	author: "Software Engineering Lab, York University"

deferred class 
	ES_TEST_CASE

inherit
	EXCEPTIONS

feature {ES_HTML_GEN, ES_TEST} -- Basic Operation

	make (name: STRING_8; c: like case)
			-- Create Current.
		deferred
		end

	run
		deferred
		end

	is_violation_case: BOOLEAN
		deferred
		end

	set_bookmark_name (bm: STRING_8)
			-- Prepare HTML tag.
		require
			bm_valid: bm /= Void
		do
			bookmark_name := bm.twin
		end

	set_case_name (s: STRING_8)
			-- Set name to s.
		require
			s_exists: s /= Void
		do
			case_name := s
		ensure
			case_name_set: case_name = s
		end
	
feature {ES_HTML_GEN, ES_TEST} -- Access

	passed: BOOLEAN

	contract_violated: BOOLEAN

	case_name: STRING_8

	bookmark_name: STRING_8

	violation_tag: STRING_8

	violation_type: INTEGER_32

	case: ROUTINE
	
end -- class ES_TEST_CASE

Generated by ISE EiffelStudio