Class PrePostConditionInterceptor.PrePostConditionFetcher
java.lang.Object
jadex.providedservice.impl.interceptors.PrePostConditionInterceptor.PrePostConditionFetcher
- All Implemented Interfaces:
jadex.common.IValueFetcher
- Enclosing class:
PrePostConditionInterceptor
public static class PrePostConditionInterceptor.PrePostConditionFetcher
extends Object
implements jadex.common.IValueFetcher
Fetcher for pre and post condition.
Supports $arg, $res and $res[-1], ...
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
args
The arguments. -
currentarg
The current arguments. -
result
The result. -
ires
The intermediate results.
-
-
Constructor Details
-
PrePostConditionFetcher
-
-
Method Details
-
fetchValue
- Specified by:
fetchValue
in interfacejadex.common.IValueFetcher
-
fetchValue
-