Automatic generation produced by ISE Eiffel

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

General
	cluster: interface
	description: "Repeatedly executes a sequence of actions at a regular interval."
	keywords: "timout, delay, timer, background"
	create: default_create, make_with_interval

Ancestors
	EV_ANY*

Action sequences
	actions: EV_NOTIFY_ACTION_SEQUENCE

Queries
	count: INTEGER_32
	data: detachable ANY
	interval: INTEGER_32
	is_destroyed: BOOLEAN

Commands
	destroy
	reset_count
	set_data (some_data: [like data] detachable ANY)
	set_interval (an_interval: INTEGER_32)

Constraints
	interval not negative
	count not negative
	actions not void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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