jade.wrapper
Interface PlatformEvent


public interface PlatformEvent


NOT available in MIDP


Field Summary
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.
 
Method Summary
 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.
 

Field Detail

BORN_AGENT

public static final int BORN_AGENT
String constant for the name of the born-agent event.

See Also:
Constant Field Values

DEAD_AGENT

public static final int DEAD_AGENT
String constant for the name of the dead-agent event.

See Also:
Constant Field Values

STARTED_PLATFORM

public static final int STARTED_PLATFORM
String constant for the name of the started-platform event.

See Also:
Constant Field Values

SUSPENDED_PLATFORM

public static final int SUSPENDED_PLATFORM
String constant for the name of the suspended-platform event.

See Also:
Constant Field Values

RESUMED_PLATFORM

public static final int RESUMED_PLATFORM
String constant for the name of the resumed-platform event.

See Also:
Constant Field Values

KILLED_PLATFORM

public static final int KILLED_PLATFORM
String constant for the name of the killed-platform event.

See Also:
Constant Field Values
Method Detail

getAgentGUID

public java.lang.String getAgentGUID()
Retrieve the global agent name (i.e. the local name and the platform ID).

Returns:
The global name of the agent this event refers to.

getPlatformName

public java.lang.String getPlatformName()
Retrieve the platform name.

Returns:
The name of the platform this event refers to.

getEventType

public int getEventType()
Retrieve the event type.

Returns:
The type of this event.


JADE