Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_THREAD_EVENT General cluster: independent_mswin description: "Events posted by worker thread to GUI thread." create: make Ancestors EV_THREAD_SEVERITY_CONSTANTS Queries data: ANY Error: INTEGER_32 id: INTEGER_32 Information: INTEGER_32 is_valid_severity (a_severity: INTEGER_32): BOOLEAN severity: INTEGER_32 Stop: INTEGER_32 Warning: INTEGER_32 Constraints valid severity
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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