jade.domain.introspection
Class DeadAgent

java.lang.Object
  |
  +--jade.domain.introspection.DeadAgent

public class DeadAgent
extends java.lang.Object
implements Event

Version:
$Date: 2001/04/30 15:35:23 $ $Revision: 1.2 $
Author:
Giovanni Rimassa - Universita` di Parma

Field Summary
static java.lang.String NAME
           
 
Constructor Summary
DeadAgent()
           
 
Method Summary
 AID getAgent()
           
 java.lang.String getName()
           
 ContainerID getWhere()
           
 void setAgent(AID id)
           
 void setWhere(ContainerID id)
           
 
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
Constructor Detail

DeadAgent

public DeadAgent()
Method Detail

getName

public java.lang.String getName()
Specified by:
getName in interface Event

setAgent

public void setAgent(AID id)

getAgent

public AID getAgent()

setWhere

public void setWhere(ContainerID id)

getWhere

public ContainerID getWhere()