|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.util.EventObject com.virtuosotechnologies.lib.platform.PlatformEvent
A platform-specific event.
Nested Class Summary | |
static class |
PlatformEvent.Type
An enumeration of event types. |
Field Summary |
Fields inherited from class java.util.EventObject |
source |
Constructor Summary | |
PlatformEvent(PlatformEvent.Type type)
Constructor |
Method Summary | |
static Object |
getGlobalSource()
Get the global event source used for all platform events |
PlatformEvent.Type |
getType()
Get the event type |
boolean |
isHandled()
Has the event been handled? |
void |
setHandled()
Mark the event as having been handled. |
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 |
Constructor Detail |
public PlatformEvent(PlatformEvent.Type type)
type
- type of eventMethod Detail |
public final PlatformEvent.Type getType()
public final boolean isHandled()
public final void setHandled()
public static Object getGlobalSource()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |