edu.stanford.smi.protege.event
Class WidgetEventDispatcher
java.lang.Object
edu.stanford.smi.protege.event.WidgetEventDispatcher
- All Implemented Interfaces:
- EventDispatcher
- public class WidgetEventDispatcher
- extends Object
- implements EventDispatcher
Dispatcher to send widget events to their listeners.
- Author:
- Ray Fergerson
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
WidgetEventDispatcher
public WidgetEventDispatcher()
postEvent
public void postEvent(Collection listeners,
Object source,
int type,
Object a1,
Object a2,
Object a3)
- Specified by:
postEvent
in interface EventDispatcher
Submit a bug report or feature request
Protégé is a trademark of Stanford University.
Copyright (c) 1998-2005 Stanford University.