Package jadex.micro.testcases.prepostconditions

Interface Summary

Interface	Description
IContractService	Example for contracts in services.

Class Summary

Class	Description
ConditionAgent	Agent that tests if contracts, i.e. pre- and postconditions on services work.
ConditionAgent.DetectionListener<E>	Helper class for interpreting results.