jadex.micro.testcases

Class InjectedResultsAgent

java.lang.Object

jadex.micro.testcases.InjectedResultsAgent

public class InjectedResultsAgent
extends Object

Constructor Summary

Constructors

Constructor and Description
InjectedResultsAgent()

Method Summary

Methods

Modifier and Type	Method and Description
IFuture<Void>	executeBody() The agent body.

Methods inherited from class java.lang.Object

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

Constructor Detail

InjectedResultsAgent

public InjectedResultsAgent()

Method Detail

executeBody

public IFuture<Void> executeBody()

The agent body.