Uses of Interface
jadex.micro.testcases.prepostconditions.IContractService

Packages that use IContractService

Package	Description
jadex.micro.testcases.prepostconditions

Uses of IContractService in jadex.micro.testcases.prepostconditions

Classes in jadex.micro.testcases.prepostconditions that implement IContractService

Modifier and Type	Class and Description
class	ConditionAgent Agent that tests if contracts, i.e. pre- and postconditions on services work.