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