|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of ContractCheckerAspectTemplate in org.acmsl.contractchecker |
Fields in org.acmsl.contractchecker declared as ContractCheckerAspectTemplate | |
protected static ContractCheckerAspectTemplate[] |
ContractCheckerDoclet.EMPTY_ASPECTTEMPLATE_ARRAY
Cached empty contractcheckeraspecttemplate array. |
Methods in org.acmsl.contractchecker that return ContractCheckerAspectTemplate | |
protected ContractCheckerAspectTemplate[] |
ContractCheckerDoclet.buildTemplates(java.util.Collection classes,
ContractCheckerAspectTemplateFactory factory,
java.lang.String defaultException)
Builds the templates for given classes. |
protected ContractCheckerAspectTemplate |
ContractCheckerDoclet.buildTemplate(com.thoughtworks.qdox.model.JavaClass javaClass,
ContractCheckerAspectTemplateFactory factory,
java.lang.String defaultException)
Builds a ContractCheckerAspectTemplate from information provided by given class. |
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. |
ContractCheckerAspectTemplate |
ContractCheckerAspectTemplateGenerator.createContractCheckerTemplate(java.lang.String packageName,
java.lang.String defaultException)
Generates a ContractChecker template. |
ContractCheckerAspectTemplate |
ContractCheckerAspectTemplateGenerator.createContractCheckerAspectTemplate(java.lang.String packageName,
java.lang.String defaultException)
Generates a ContractCheckerAspect template. |
ContractCheckerAspectTemplate |
ContractCheckerAspectTemplateFactory.createContractCheckerAspectTemplate(java.lang.String packageName,
java.lang.String defaultException)
Creates a ContractCheckerAspect template. |
Methods in org.acmsl.contractchecker with parameters of type ContractCheckerAspectTemplate | |
protected boolean |
ContractCheckerDoclet.writeTemplates(ContractCheckerAspectTemplate[] templates,
java.io.File outputFolder)
Writes given templates. |
void |
ContractCheckerAspectTemplateGenerator.write(ContractCheckerAspectTemplate template,
java.io.File outputDir)
Writes a ContractCheckerAspect template to disk. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |