public interface PlatformEvent
Modifier and Type | Field and Description |
---|---|
static int |
BORN_AGENT
String constant for the name of the
born-agent event. |
static int |
DEAD_AGENT
String constant for the name of the
dead-agent event. |
static int |
KILLED_PLATFORM
String constant for the name of the
killed-platform event. |
static int |
RESUMED_PLATFORM
String constant for the name of the
resumed-platform event. |
static int |
STARTED_PLATFORM
String constant for the name of the
started-platform event. |
static int |
SUSPENDED_PLATFORM
String constant for the name of the
suspended-platform event. |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getAgentGUID()
Retrieve the global agent name (i.e. the local name and the
platform ID).
|
int |
getEventType()
Retrieve the event type.
|
java.lang.String |
getPlatformName()
Retrieve the platform name.
|
static final int BORN_AGENT
born-agent
event.static final int DEAD_AGENT
dead-agent
event.static final int STARTED_PLATFORM
started-platform
event.static final int SUSPENDED_PLATFORM
suspended-platform
event.static final int RESUMED_PLATFORM
resumed-platform
event.static final int KILLED_PLATFORM
killed-platform
event.java.lang.String getAgentGUID()
java.lang.String getPlatformName()
int getEventType()