jade.domain.introspection
Class DeadAgent

java.lang.Object
  |
  +--jade.domain.introspection.DeadAgent
All Implemented Interfaces:
Concept, Event, Serializable, java.io.Serializable, Term

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
static java.lang.String NAME
          A string constant for the name of this event.
 
Constructor Summary
DeadAgent()
          Default constructor.
 
Method Summary
 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)


JADE