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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidadd(AbstractChecker<? super O> child)voidcheck()SnapshotManagergetManager()voidprint(PrintStream out, int level)
-
-
-
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:
printin interfacecdc.util.debug.Printable
-
-