daikon.tools.runtimechecker
Class CheckerClasses

Object
  CheckerClasses

public class CheckerClasses
extends Object

Represents a set of classes created by the instrumenter to check invariants.

Field Summary

protected List<CheckerClass>

classes

Constructor Summary

CheckerClasses()

Method Summary

void	addCheckerClass(ClassOrInterfaceBody clazz)
void	addDeclaration(ClassOrInterfaceBody clazz, StringBuffer decl)
void	addDeclaration(ConstructorDeclaration clazz, StringBuffer decl)
void	addDeclaration(MethodDeclaration clazz, StringBuffer decl)
List<CheckerClass>	getCheckerClasses()

Methods inherited from class Object

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

Field Detail

classes

protected List<CheckerClass> classes

Constructor Detail

CheckerClasses

public CheckerClasses()

Method Detail

addCheckerClass

public void addCheckerClass(ClassOrInterfaceBody clazz)

getCheckerClasses

public List<CheckerClass> getCheckerClasses()

addDeclaration

public void addDeclaration(ClassOrInterfaceBody clazz,
                           StringBuffer decl)

addDeclaration

public void addDeclaration(ConstructorDeclaration clazz,
                           StringBuffer decl)

addDeclaration

public void addDeclaration(MethodDeclaration clazz,
                           StringBuffer decl)