Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 
note
	description: "Objects that represent boolean test cases (pass/fail)"
	author: "Software Engineering Lab, York University"

class interface
	ES_BOOLEAN_TEST_CASE

create 
	make

feature -- Initialization

	make (name: STRING_8; c: PREDICATE)
			-- Create Current
		ensure then
			make_post_case: case = c
			make_post_case_name: case_name = name
	
feature -- Basic Op

	run
			-- Run case test

	is_violation_case: BOOLEAN
			-- is this a violation test case of a boolean test case
	
end -- class ES_BOOLEAN_TEST_CASE


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

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