Automatic generation produced by ISE Eiffel

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

General
	cluster: independent_mswin
	description: "Worker thread that execute work and calls GUI processing whenevents are posted."
	create: make

Ancestors
	ANY
	EV_THREAD_SEVERITY_CONSTANTS

Queries
	done: BOOLEAN
	Error: INTEGER_32
	Information: INTEGER_32
	is_valid_severity (a_severity: INTEGER_32): BOOLEAN
	Stop: INTEGER_32
	thread_safe_done: BOOLEAN
	Warning: INTEGER_32

Commands
	do_work (a_job: [attached like job] attached PROCEDURE [ROUTINE [EV_THREAD_EVENT]]; a_event_handler: ROUTINE [EV_THREAD_EVENT])
	post_event (a_event: EV_THREAD_EVENT)

Constraints
	non void events queue
	non void mutex
	non void environment



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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