public static class PrePostConditionInterceptor.PrePostConditionFetcher
extends java.lang.Object
implements jadex.commons.IValueFetcher
Modifier and Type | Field and Description |
---|---|
protected java.lang.Object[] |
args
The arguments.
|
protected java.lang.Object |
currentarg
The current arguments.
|
protected java.util.List<java.lang.Object> |
ires
The intermediate results.
|
protected java.lang.Object |
result
The result.
|
Constructor and Description |
---|
PrePostConditionFetcher(java.lang.Object[] args,
java.lang.Object currentarg,
java.lang.Object result,
java.util.List<java.lang.Object> ires) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
fetchValue(java.lang.String name) |
java.lang.Object |
fetchValue(java.lang.String name,
java.lang.Object object) |
protected java.lang.Object[] args
protected java.lang.Object currentarg
protected java.lang.Object result
protected java.util.List<java.lang.Object> ires