jadex.micro.testcases.prepostconditions

Class ConditionAgent

java.lang.Object

jadex.micro.testcases.prepostconditions.ConditionAgent

All Implemented Interfaces:

IContractService

public class ConditionAgent
extends java.lang.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.

Field Summary

Fields

Modifier and Type	Field and Description
protected jadex.bridge.IInternalAccess	agent The agent.

Constructor Summary

Constructors

Constructor and Description
ConditionAgent()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

agent

protected jadex.bridge.IInternalAccess agent

The agent.

Constructor Detail

ConditionAgent

public ConditionAgent()

Method Detail

body

public jadex.commons.future.IFuture<java.lang.Void> body()

The body.

doSomething

public jadex.commons.future.IFuture<java.lang.Integer> doSomething(java.lang.String a,
                                                                   int x,
                                                                   int y)

Test method for @CheckNotNull and @CheckState.

Specified by:

doSomething in interface IContractService

getName

public jadex.commons.future.IFuture<java.lang.String> getName(int idx,
                                                              java.util.List<java.lang.String> names)

Test method for @CheckIndex.

Specified by:

getName in interface IContractService

getIncreasingValue

public jadex.commons.future.IIntermediateFuture<java.lang.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 jadex.commons.future.IIntermediateFuture<java.lang.Integer> getIncreasingValue2()

Test method for @CheckState with intermediate results.

Specified by:

getIncreasingValue2 in interface IContractService