Package cdc.issues.checks

Class RootChecker<O>

java.lang.Object

cdc.issues.checks.RootChecker<O>

All Implemented Interfaces:

cdc.util.debug.Printable

public class RootChecker<O>
extends Object
implements cdc.util.debug.Printable

Constructor Summary

Constructors

Constructor	Description
RootChecker(SnapshotManager manager, LocatedObject<? extends O> root)
RootChecker(SnapshotManager manager, LocatedObject<? extends O> root, AbstractChecker<? super O>... checkers)

Method Summary

Modifier and Type	Method	Description
void	add(AbstractChecker<? super O> child)
void	check()
SnapshotManager	getManager()
void	print(PrintStream out, int level)

Methods inherited from class java.lang.Object

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

Methods inherited from interface cdc.util.debug.Printable

indent, print

Constructor Detail

RootChecker

public RootChecker(SnapshotManager manager,
                   LocatedObject<? extends O> root)

RootChecker

@SafeVarargs
public RootChecker(SnapshotManager manager,
                   LocatedObject<? extends O> root,
                   AbstractChecker<? super O>... checkers)

Method Detail

add

public final void add(AbstractChecker<? super O> child)

getManager

public final SnapshotManager getManager()

check

public final void check()

print

public void print(PrintStream out,
                  int level)

Specified by:

print in interface cdc.util.debug.Printable