public interface EventHandler extends EventListener
EventFilter
that sorts out which types of event that should be
sent to the event handler.Modifier and Type | Method and Description |
---|---|
void |
handleEvent(EventType event,
ExtensionPoint<?> extensionPoint,
Extension<?> extension)
Handle an event.
|
void handleEvent(EventType event, ExtensionPoint<?> extensionPoint, Extension<?> extension)
EventFilter
that filters out undesired events.event
- The event that happendextensionPoint
- The extension point that the extension
extends, or that the event happened toextension
- The extension the event happend to, or null if the
event happended to the extension point