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.
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.