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
AgentKilledpublic val terminationCause : Object
AgentKillednull, 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.