daikon.diff
Class PrintNullDiffVisitor

Object
  DepthFirstVisitor
      PrintAllVisitor
          PrintDifferingInvariantsVisitor
              PrintNullDiffVisitor

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

MultiDiffVisitor

public class PrintNullDiffVisitor
extends PrintDifferingInvariantsVisitor

PrintNullDiffVIsitor is a NodeVisitor that only reports an invariant as different when its existence in one set is not in another set. This avoids reported differences simply in confidence changes and other extra-sensitive reports.

Field Summary

Fields inherited from class PrintDifferingInvariantsVisitor

debug

Fields inherited from class PrintAllVisitor

HUMAN_OUTPUT, lineSep

Constructor Summary

PrintNullDiffVisitor(PrintStream ps, boolean verbose)

Method Summary

void	visit(InvNode node) Prints a pair of invariants.

Methods inherited from class PrintDifferingInvariantsVisitor

shouldPrint

Methods inherited from class PrintAllVisitor

bufPrint, bufPrintln, bufPrintln, printHumanOutput, printInvariant, visit

Methods inherited from class DepthFirstVisitor

visit

Methods inherited from class Object

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

Constructor Detail

PrintNullDiffVisitor

public PrintNullDiffVisitor(PrintStream ps,
                            boolean verbose)

Method Detail

visit

public void visit(InvNode node)

Description copied from class: PrintAllVisitor

Prints a pair of invariants. Includes the type of the invariants and their relationship.

Specified by:

visit in interface Visitor

Overrides:

visit in class PrintDifferingInvariantsVisitor