Uses of Package
org.acmsl.contractchecker

Classes in org.acmsl.contractchecker used by org.acmsl.contractchecker

ContractCheckerAspectTemplate
Template to generate AspectJ's aspect to ensure pre- and post-conditions are satisfied.

ContractCheckerAspectTemplateFactory
Represents entities able to create ContractCheckerAspect templates.

ContractCheckerAspectTemplateGenerator
Is able to generate ContractCheckerAspect templates from Javadoc information.

ContractCheckerException
Models runtime information in abnormal, but managed, situations.

ContractCheckerUtils
Provides some general-purpose methods needed by ContractChecker.