public class kill_agent extends DefaultInternalAction
Internal action: .kill_agent
.
Description: kills the agent whose name is given as parameter. This is a provisional internal action to be used while more adequate mechanisms for creating and killing agents are being developed. In particular, note that an agent can kill any other agent, without any consideration on permissions, etc.! It is the programmers' responsibility to use this action.
Parameters:
Example:
.kill_agent(bob)
: kills the agent named bob.create_agent
,
stopMAS
,
RuntimeServicesInfraTier
,
Serialized FormConstructor and Description |
---|
kill_agent() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
int |
getMaxArgs() |
int |
getMinArgs() |
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
public java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
InternalAction
execute
in interface InternalAction
execute
in class DefaultInternalAction
java.lang.Exception