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