Uses of Class
org.acmsl.contractchecker.ContractCheckerAspectTemplateGenerator

Uses of ContractCheckerAspectTemplateGenerator in org.acmsl.contractchecker

Methods in org.acmsl.contractchecker that return ContractCheckerAspectTemplateGenerator

static ContractCheckerAspectTemplateGenerator

ContractCheckerAspectTemplateGenerator.getInstance() Retrieves a ContractCheckerTemplateGenerator instance.

Methods in org.acmsl.contractchecker with parameters of type ContractCheckerAspectTemplateGenerator

protected static void

ContractCheckerAspectTemplateGenerator.setReference(ContractCheckerAspectTemplateGenerator generator) Specifies a new weak reference.