public class ConditionAgent extends java.lang.Object implements IContractService
Modifier and Type | Class and Description |
---|---|
static class |
ConditionAgent.DetectionListener<E>
Helper class for interpreting results.
|
Modifier and Type | Field and Description |
---|---|
protected jadex.bridge.IInternalAccess |
agent
The agent.
|
Constructor and Description |
---|
ConditionAgent() |
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.
|
public jadex.commons.future.IFuture<java.lang.Void> body()
public jadex.commons.future.IFuture<java.lang.Integer> doSomething(java.lang.String a, int x, int y)
doSomething
in interface IContractService
public jadex.commons.future.IFuture<java.lang.String> getName(int idx, java.util.List<java.lang.String> names)
getName
in interface IContractService
public jadex.commons.future.IIntermediateFuture<java.lang.Integer> getIncreasingValue()
getIncreasingValue
in interface IContractService
public jadex.commons.future.IIntermediateFuture<java.lang.Integer> getIncreasingValue2()
getIncreasingValue2
in interface IContractService