Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 
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


Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com