daikon.tools.runtimechecker
Class CheckerClass

Object
  CheckerClass

public class CheckerClass
extends Object

Represents a class created by the instrumenter to check invariants.

Constructor Summary

CheckerClass(ClassOrInterfaceBody clazz)

Method Summary

void	addDeclaration(StringBuffer decl)
String	getCheckerClassName()
CompilationUnit	getCompilationUnit() Must be called only once, when you're done creating this checker.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CheckerClass

public CheckerClass(ClassOrInterfaceBody clazz)

Method Detail

getCompilationUnit

public CompilationUnit getCompilationUnit()

Must be called only once, when you're done creating this checker.

getCheckerClassName

public String getCheckerClassName()

addDeclaration

public void addDeclaration(StringBuffer decl)