note
	description: "Objects that test a given class and send results to the GUI using sockets, update NET_UNIT_TEST when you update this class."
	author: "Software Engineering Lab, York University"

deferred class interface
	ES_TEST

feature -- Basic operations

	add_boolean_case (v: PREDICATE)
			-- Add boolean function v.
		require
			v_valid: v /= Void

	add_violation_case_with_tag (expected_tag: STRING_8; v: PROCEDURE)
			-- Add boolean function v.
		require
			v_valid: v /= Void

	add_violation_case (v: PROCEDURE)
			-- Add boolean function v.
		require
			v_valid: v /= Void
	
end -- class ES_TEST

Generated by ISE EiffelStudio