org.acmsl.contractchecker
Interface ContractCheckerAspectTemplateFactory

All Known Implementing Classes:

ContractCheckerAspectTemplateGenerator

public interface ContractCheckerAspectTemplateFactory

Represents entities able to create ContractCheckerAspect templates.

Version:

$Revision: 1.3 $

Author:

Jose San Leandro

Method Summary

ContractCheckerAspectTemplate

createContractCheckerAspectTemplate(java.lang.String packageName, java.lang.String defaultException) Creates a ContractCheckerAspect template.

Method Detail

createContractCheckerAspectTemplate

public ContractCheckerAspectTemplate createContractCheckerAspectTemplate(java.lang.String packageName,
                                                                         java.lang.String defaultException)

Creates a ContractCheckerAspect template.

Parameters:

packageName - the package name.

defaultException - the default exception.

Returns:

a template.