jadex.micro.testcases.prepostconditions

Interface IContractService

All Known Implementing Classes:

ConditionAgent

public interface IContractService

Example for contracts in services. As precondition it can be used: @CheckNotNull @CheckState @CheckIndex() As postcondition it can be used: @CheckNotNull @CheckState

Method Summary

Methods

Modifier and Type	Method and Description
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.

Method Detail

doSomething

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

Test method for @CheckNotNull and @CheckState.

getName

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

Test method for @CheckIndex.

getIncreasingValue2

IIntermediateFuture<Integer> getIncreasingValue2()

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

getIncreasingValue

IIntermediateFuture<Integer> getIncreasingValue()

Test method for @CheckState with intermediate results.