public interface IContractService
Modifier and Type | Method and Description |
---|---|
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.
|
jadex.commons.future.IFuture<java.lang.Integer> doSomething(java.lang.String a, int x, int y)
jadex.commons.future.IFuture<java.lang.String> getName(int idx, java.util.List<java.lang.String> names)
jadex.commons.future.IIntermediateFuture<java.lang.Integer> getIncreasingValue2()
jadex.commons.future.IIntermediateFuture<java.lang.Integer> getIncreasingValue()