Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	EV_TIMEOUT_I

General
	cluster: implementation_interface
	description: "Eiffel Vision timeout. Implementation interface."

Ancestors
	EV_ANY_I*

Queries
	count: INTEGER_32
	interval: INTEGER_32
	is_destroyed: BOOLEAN
	is_timeout_executing: BOOLEAN

Commands
	on_timeout
	reset_count
	set_interval (an_interval: INTEGER_32)

Constraints
	interval not negative
	count not negative



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org