gate.gui.docview
Class AnnotationSetsView.PerformActionEvent

java.lang.Object
  extended by java.util.EventObject
      extended by gate.event.GateEvent
          extended by gate.gui.docview.AnnotationSetsView.PerformActionEvent
All Implemented Interfaces:
Serializable
Enclosing class:
AnnotationSetsView

private class AnnotationSetsView.PerformActionEvent
extends GateEvent

A fake GATE Event used to wrap a Runnable value. This is used for queueing actions to the document UI update timer.


Field Summary
private  Action action
           
private  Runnable runnable
           
 
Fields inherited from class gate.event.GateEvent
FEATURES_UPDATED, type
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
AnnotationSetsView.PerformActionEvent(Action action)
           
AnnotationSetsView.PerformActionEvent(Runnable runnable)
           
 
Method Summary
 void run()
          Runs the action (or runnable) enclosed by this event.
 
Methods inherited from class gate.event.GateEvent
getType
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

action

private Action action

runnable

private Runnable runnable
Constructor Detail

AnnotationSetsView.PerformActionEvent

public AnnotationSetsView.PerformActionEvent(Runnable runnable)

AnnotationSetsView.PerformActionEvent

public AnnotationSetsView.PerformActionEvent(Action action)
Method Detail

run

public void run()
Runs the action (or runnable) enclosed by this event.