|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of ContractCheckerUtils in org.acmsl.contractchecker |
| Methods in org.acmsl.contractchecker that return ContractCheckerUtils | |
static ContractCheckerUtils |
ContractCheckerUtils.getInstance()
Retrieves a ContractCheckerUtils instance. |
| Methods in org.acmsl.contractchecker with parameters of type ContractCheckerUtils | |
protected static void |
ContractCheckerUtils.setReference(ContractCheckerUtils utils)
Specifies a new weak reference. |
protected ContractCheckerAspectTemplate |
ContractCheckerDoclet.buildTemplate(java.lang.String name,
java.lang.String qualifiedName,
ContractCheckerAspectTemplateFactory factory,
java.lang.String defaultException,
ContractCheckerUtils contractCheckerUtils)
Builds a ContractCheckerAspectTemplate from information provided by given class. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||