Package jadex.providedservice.impl.interceptors

package jadex.providedservice.impl.interceptors

Related Packages

Package	Description
jadex.providedservice.impl

Class	Description
PrePostConditionInterceptor	Interceptor that checks annotated pre- and postconditions.
PrePostConditionInterceptor.IntermediateResultUnavailableException
PrePostConditionInterceptor.PrePostConditionFetcher	Fetcher for pre and post condition.