Package org.acmsl.contractchecker

Interface Summary

ContractCheckerAspectTemplateFactory

Represents entities able to create ContractCheckerAspect templates.

Class Summary

ContractCheckerAspectTemplate	Template to generate AspectJ's aspect to ensure pre- and post-conditions are satisfied.
ContractCheckerAspectTemplateGenerator	Is able to generate ContractCheckerAspect templates from Javadoc information.
ContractCheckerDoclet	QDox doclet for retrieving methods' pre- and post-conditions.
ContractCheckerTask	Generates ContractChecker aspects and weaves them using Ant.
ContractCheckerUtils	Provides some general-purpose methods needed by ContractChecker.

Exception Summary

ContractCheckerException	Models runtime information in abnormal, but managed, situations.
ContractViolation	Represents violation of declared contracts.