public final class AgentKilled extends Event
ev.source.spaceID.contextID
.Modifier and Type | Field and Description |
---|---|
String |
agentType
The fully qualified name of the type of the killed agent.
|
Object |
terminationCause
The object that is the cause of the killing of the agent or explains the cause
of the "abnormal" killing.
|
Constructor and Description |
---|
AgentKilled(source : Address,
agentType : String,
terminationCause : Object)
Construct the event.
|
public val
agentType : String
AgentKilled
public val
terminationCause : Object
AgentKilled
null
, the agent has committed a suicide in "normal" situation.public new
(source : Address,
agentType : String,
terminationCause : Object)
source
- the address of the emitter.agentType
- fully qualified name of the type of the agent.terminationCause
- cause of the termination of the agent, or null
if there is
no specific termination cause.Copyright © 2021 the original authors or authors.