jadex.micro.testcases.prepostconditions

Class ConditionAgent

java.lang.Object

jadex.micro.testcases.prepostconditions.ConditionAgent

All Implemented Interfaces:

IContractService

public class ConditionAgent
extends Object
implements IContractService

Agent that tests if contracts, i.e. pre- and postconditions on services work.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConditionAgent.DetectionListener<E> Helper class for interpreting results.

Constructor Summary

Constructors

Constructor and Description
ConditionAgent()

Method Summary

Methods

Modifier and Type	Method and Description
IFuture<Void>	body() The body.
IFuture<Integer>	doSomething(String a, int x, int y) Test method for @CheckNotNull and @CheckState.
IIntermediateFuture<Integer>	getIncreasingValue() Test method for @CheckState with intermediate results.
IIntermediateFuture<Integer>	getIncreasingValue2() Test method for @CheckState with intermediate results.
IFuture<String>	getName(int idx, List<String> names) Test method for @CheckIndex.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionAgent

public ConditionAgent()

Method Detail

body

public IFuture<Void> body()

The body.

doSomething

public IFuture<Integer> doSomething(String a,
                           int x,
                           int y)

Test method for @CheckNotNull and @CheckState.

Specified by:

doSomething in interface IContractService

getName

public IFuture<String> getName(int idx,
                      List<String> names)

Test method for @CheckIndex.

Specified by:

getName in interface IContractService

getIncreasingValue

public IIntermediateFuture<Integer> getIncreasingValue()

Test method for @CheckState with intermediate results. Will automatically try to determine the number of intermediate results to keep.

Specified by:

getIncreasingValue in interface IContractService

getIncreasingValue2

public IIntermediateFuture<Integer> getIncreasingValue2()

Test method for @CheckState with intermediate results.

Specified by:

getIncreasingValue2 in interface IContractService