jade.domain.introspection

Class DeadAgent

java.lang.Object

jade.domain.introspection.DeadAgent

All Implemented Interfaces:

Concept, Term, Event, java.io.Serializable

public class DeadAgent
extends java.lang.Object
implements Event

An introspection event, recording the death of an agent within the platform.

Version:

$Date: 2006-02-21 08:56:26 +0100 (mar, 21 feb 2006) $ $Revision: 5860 $

Author:

Giovanni Rimassa - Universita' di Parma

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	NAME A string constant for the name of this event.

Constructor Summary

Constructors

Constructor and Description
DeadAgent() Default constructor.

Method Summary

Modifier and Type	Method and Description
AID	getAgent() Retrieve the value of the agent slot of this event, containing the agent identifier of the newly dead agent.
java.lang.Boolean	getContainerRemoved()
java.lang.String	getName() Retrieve the name of this event.
ContainerID	getWhere() Retrieve the value of the where slot of this event, containing the container identifier of the container where the newly dead agent was deployed.
void	setAgent(AID id) Set the agent slot of this event.
void	setContainerRemoved(java.lang.Boolean cr)
void	setWhere(ContainerID id) Set the where slot of this event.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NAME

public static final java.lang.String NAME

A string constant for the name of this event.

See Also:

Constant Field Values

Constructor Detail

DeadAgent

public DeadAgent()

Default constructor. A default constructor is necessary for ontological classes.

Method Detail

getName

public java.lang.String getName()

Retrieve the name of this event.

Specified by:

getName in interface Event

Returns:

A constant value for the event name.

setWhere

public void setWhere(ContainerID id)

Set the where slot of this event.

Parameters:

id - The container identifier of the container where the newly dead agent was deployed.

getWhere

public ContainerID getWhere()

Retrieve the value of the where slot of this event, containing the container identifier of the container where the newly dead agent was deployed.

Returns:

The value of the where slot, or null if no value was set.

setAgent

public void setAgent(AID id)

Set the agent slot of this event.

Parameters:

id - The agent identifier of the newly dead agent.

getAgent

public AID getAgent()

Retrieve the value of the agent slot of this event, containing the agent identifier of the newly dead agent.

Returns:

The value of the agent slot, or null if no value was set.

getContainerRemoved

public java.lang.Boolean getContainerRemoved()

setContainerRemoved

public void setContainerRemoved(java.lang.Boolean cr)