```
public class CheckerClasses
extends Object
```
Represents a set of classes created by the instrumenter to check invariants.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addCheckerClass(ClassOrInterfaceBody clazz)`
`void`	`addDeclaration(ClassOrInterfaceBody clazz, StringBuilder decl)`
`void`	`addDeclaration(ConstructorDeclaration clazz, StringBuilder decl)`
`void`	`addDeclaration(MethodDeclaration clazz, StringBuilder decl)`
`List<CheckerClass>`	`getCheckerClasses()`

public void addCheckerClass(ClassOrInterfaceBody clazz)

public List<CheckerClass> getCheckerClasses()

public void addDeclaration(ClassOrInterfaceBody clazz,
                           StringBuilder decl)

public void addDeclaration(ConstructorDeclaration clazz,
                           StringBuilder decl)

public void addDeclaration(MethodDeclaration clazz,
                           StringBuilder decl)

Class CheckerClasses