org.erights.e.elib.vat
Class AWTRunnerEvent

java.lang.Object
  |
  +--java.util.EventObject
        |
        +--java.awt.AWTEvent
              |
              +--org.erights.e.elib.vat.AWTRunnerEvent

All Implemented Interfaces:

ActiveEvent, Serializable

class AWTRunnerEvent

extends AWTEvent

implements ActiveEvent

For scheduling PendingEvents (vat turns) on the AWT Event Queue at the low priority (PaintEvent.PAINT), which is "supposed" to be for repaints.

Unless we put everything at the low priority, repaints may be starved.

Author:

Mark S. Miller, Terry Stanley

Field Summary

private PendingEvent

myTodo

Fields inherited from class java.awt.AWTEvent

ACTION_EVENT_MASK, ADJUSTMENT_EVENT_MASK, COMPONENT_EVENT_MASK, consumed, CONTAINER_EVENT_MASK, FOCUS_EVENT_MASK, HIERARCHY_BOUNDS_EVENT_MASK, HIERARCHY_EVENT_MASK, id, INPUT_METHOD_EVENT_MASK, INVOCATION_EVENT_MASK, ITEM_EVENT_MASK, KEY_EVENT_MASK, MOUSE_EVENT_MASK, MOUSE_MOTION_EVENT_MASK, MOUSE_WHEEL_EVENT_MASK, PAINT_EVENT_MASK, RESERVED_ID_MAX, TEXT_EVENT_MASK, WINDOW_EVENT_MASK, WINDOW_FOCUS_EVENT_MASK, WINDOW_STATE_EVENT_MASK

Fields inherited from class java.util.EventObject

source

Constructor Summary

(package private)

AWTRunnerEvent(PendingEvent todo, AWTRunner runner)

Method Summary

void	dispatch() Suppressed: Dispatch the event to its target, listeners of the events source, or do whatever it is this event is supposed to do.

Methods inherited from class java.awt.AWTEvent

consume, getID, isConsumed, paramString, setSource, toString

Methods inherited from class java.util.EventObject

getSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

myTodo

private final PendingEvent myTodo

Constructor Detail

AWTRunnerEvent

AWTRunnerEvent(PendingEvent todo,
               AWTRunner runner)

Method Detail

dispatch

public void dispatch()

Description copied from interface: ActiveEvent

Suppressed: Dispatch the event to its target, listeners of the events source, or do whatever it is this event is supposed to do.

Specified by:

dispatch in interface ActiveEvent