```
public class CheckerClass
extends Object
```
Represents a class created by the instrumenter to check invariants.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addDeclaration(StringBuilder decl)`
`String`	`getCheckerClassName()`
`CompilationUnit`	`getCompilationUnit()`	Must be called only once, when you're done creating this checker.

public CheckerClass(ClassOrInterfaceBody clazz)

getCompilationUnit
```
public CompilationUnit getCompilationUnit()
```
Must be called only once, when you're done creating this checker.

public void addDeclaration(StringBuilder decl)

Class CheckerClass