note description: "Events posted by worker thread to GUI thread." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" class EV_THREAD_EVENT inherit EV_THREAD_SEVERITY_CONSTANTS create make feature {NONE} -- Implementation make (a_id, a_severity: INTEGER; a_data: like data) -- Initialize instance. require valid_severity: is_valid_severity (a_severity) do id := a_id severity := a_severity data := a_data ensure id_set: id = a_id severity_set: severity = a_severity data_set: data = a_data end feature -- Access id: INTEGER -- Event identifier severity: INTEGER -- Event severity -- See class {EV_THREAD_SEVERITY_CONSTANTS} for possible values. data: ANY -- Data associated with event invariant valid_severity: is_valid_severity (severity) note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class EV_THREAD_EVENT