jadex.micro.testcases

Class KillAgent

java.lang.Object

jadex.micro.testcases.KillAgent

public class KillAgent
extends Object

Constructor Summary

Constructors

Constructor and Description
KillAgent()

Method Summary

Methods

Modifier and Type	Method and Description
IFuture<Void>	body()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KillAgent

public KillAgent()

Method Detail

body

public IFuture<Void> body()