jadex.micro.testcases.prepostconditions.ConditionAgent Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jadex-applications-micro Show documentation
Show all versions of jadex-applications-micro Show documentation
The Jadex micro applications package contains several example applications, benchmarks and testcases using micro agents.
package jadex.micro.testcases.prepostconditions;
import java.util.ArrayList;
import java.util.Collection;
import java.util.List;
import jadex.base.test.TestReport;
import jadex.base.test.Testcase;
import jadex.bridge.IInternalAccess;
import jadex.bridge.component.IArgumentsResultsFeature;
import jadex.bridge.service.annotation.Service;
import jadex.bridge.service.component.IProvidedServicesFeature;
import jadex.commons.SReflect;
import jadex.commons.future.CounterResultListener;
import jadex.commons.future.DefaultResultListener;
import jadex.commons.future.Future;
import jadex.commons.future.IFuture;
import jadex.commons.future.IIntermediateFuture;
import jadex.commons.future.IResultListener;
import jadex.commons.future.IntermediateFuture;
import jadex.micro.annotation.Agent;
import jadex.micro.annotation.AgentBody;
import jadex.micro.annotation.Implementation;
import jadex.micro.annotation.ProvidedService;
import jadex.micro.annotation.ProvidedServices;
import jadex.micro.annotation.Result;
import jadex.micro.annotation.Results;
/**
* Agent that tests if contracts, i.e. pre- and postconditions on services work.
*/
@Agent
@Service
@ProvidedServices(@ProvidedService(type=IContractService.class, implementation=@Implementation(expression="$pojoagent")))
@Results(@Result(name="testresults", description= "The test results.", clazz=Testcase.class))
public class ConditionAgent implements IContractService
{
/** The agent. */
@Agent
protected IInternalAccess agent;
/**
* The body.
*/
@AgentBody
public IFuture body()
{
final Future ret = new Future();
final List results = new ArrayList();
// IContractService ts = (IContractService)agent.getServiceContainer().getProvidedServices(IContractService.class)[0];
IContractService ts = (IContractService)agent.getComponentFeature(IProvidedServicesFeature.class).getProvidedServices(IContractService.class)[0];
CounterResultListener lis = new CounterResultListener(12, new DefaultResultListener()
{
public void resultAvailable(Void result)
{
agent.getComponentFeature(IArgumentsResultsFeature.class).getResults().put("testresults", new Testcase(results.size(),
(TestReport[])results.toArray(new TestReport[results.size()])));
ret.setResult(null);
}
});
// all ok
TestReport tr = new TestReport("#1", "Normal call.");
results.add(tr);
ts.doSomething("hi", 6, 2).addResultListener(
new DetectionListener(tr, null, lis));
// a!=null violated
tr = new TestReport("#2", "Test if null argument is detected");
results.add(tr);
ts.doSomething(null, 6, 2).addResultListener(
new DetectionListener(tr, IllegalArgumentException.class, lis));
// c>0 violated
tr = new TestReport("#3", "Test if arg>0 is detected");
results.add(tr);
ts.doSomething("hi", 6, -1).addResultListener(
new DetectionListener(tr, IllegalStateException.class, lis));
// result!=null violated
tr = new TestReport("#4", "Test if null result is detected.");
results.add(tr);
ts.doSomething("null", 1, 1).addResultListener(
new DetectionListener(tr, IllegalArgumentException.class, lis));
// result <100 violated
tr = new TestReport("#5", "Test if result <100 is detected.");
results.add(tr);
ts.doSomething("hi", 1000, 1).addResultListener(
new DetectionListener(tr, IllegalStateException.class, lis));
List names = new ArrayList();
names.add("Alfons");
names.add("Berta");
names.add("Charlie");
// all ok
tr = new TestReport("#6", "Normal call.");
results.add(tr);
ts.getName(0, names).addResultListener(new DetectionListener(tr, null, lis));
// all ok
tr = new TestReport("#7", "Normal call.");
results.add(tr);
ts.getName(1, names).addResultListener(new DetectionListener(tr, null, lis));
// all ok
tr = new TestReport("#8", "Normal call.");
results.add(tr);
ts.getName(2, names).addResultListener(new DetectionListener(tr, null, lis));
// index<0
tr = new TestReport("#9", "Test if index<0 is detected.");
results.add(tr);
ts.getName(-1, names).addResultListener(new DetectionListener(tr, IndexOutOfBoundsException.class, lis));
// index>size
tr = new TestReport("#10", "Test if index>size is detected.");
results.add(tr);
ts.getName(3, names).addResultListener(new DetectionListener(tr, IndexOutOfBoundsException.class, lis));
// delivers one value out of range
tr = new TestReport("#11", "Test if intermediate result checks work with keep.");
results.add(tr);
ts.getIncreasingValue().addResultListener(new DetectionListener>(tr, IllegalStateException.class, lis));
// delivers one value out of range
tr = new TestReport("#12", "Test if intermediate result checks work without keep.");
results.add(tr);
ts.getIncreasingValue2().addResultListener(new DetectionListener>(tr, IllegalStateException.class, lis));
return ret;
}
/**
* Test method for @CheckNotNull and @CheckState.
*/
public IFuture doSomething(String a, int x, int y)
{
// System.out.println("invoked: "+a);
return "null".equals(a)? new Future((Object)null): new Future(Integer.valueOf(x/y));
}
/**
* Test method for @CheckIndex.
*/
public IFuture getName(int idx, List names)
{
return new Future(names.get(idx));
}
/**
* Test method for @CheckState with intermediate results.
*
* Will automatically try to determine the number of intermediate results to keep.
*/
public IIntermediateFuture getIncreasingValue()
{
final IntermediateFuture ret = new IntermediateFuture();
ret.addIntermediateResult(Integer.valueOf(1));
ret.addIntermediateResult(Integer.valueOf(2));
ret.addIntermediateResult(Integer.valueOf(3));
ret.addIntermediateResult(Integer.valueOf(4));
ret.addIntermediateResult(Integer.valueOf(0));
return ret;
}
/**
* Test method for @CheckState with intermediate results.
*/
public IIntermediateFuture getIncreasingValue2()
{
return getIncreasingValue();
}
/**
* Helper class for interpreting results.
*/
public static class DetectionListener implements IResultListener
{
/** The test report. */
protected TestReport tr;
/** The expected exception type. */
protected Class expected;
/** The delegation listener. */
protected IResultListener delegate;
/**
* Creata a new listener.
*/
public DetectionListener(TestReport tr, Class expected, IResultListener delegate)
{
this.tr = tr;
this.expected = expected;
this.delegate = delegate;
}
/**
* Called when result is available.
*/
public void resultAvailable(Object result)
{
if(expected==null)
{
tr.setSucceeded(true);
}
else
{
tr.setFailed("Expected exception: "+expected+" but no exception was thrown.");
}
delegate.resultAvailable(null);
}
/**
* Called when exception occurred.
*/
public void exceptionOccurred(Exception exception)
{
if(expected==null)
{
tr.setFailed("No exception expected, but exception was thrown: "+exception);
}
else if(SReflect.isSupertype(expected, exception.getClass()))
{
tr.setSucceeded(true);
}
else
{
tr.setFailed("Wrong exception type received: "+exception);
}
delegate.resultAvailable(null);
}
}
}