jadex.micro.testcases.blocking

Class ShutdownAgent

java.lang.Object

jadex.micro.testcases.blocking.ShutdownAgent

public class ShutdownAgent
extends Object

Constructor Summary

Constructors

Constructor and Description
ShutdownAgent()

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

ShutdownAgent

public ShutdownAgent()

Method Detail

body

public IFuture<Void> body()