Package daikon.diff

Class PrintAllVisitor

Object

DepthFirstVisitor

PrintAllVisitor

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

MatchCountVisitor, PrintDifferingInvariantsVisitor

public class PrintAllVisitor
extends DepthFirstVisitor

Prints all the invariant pairs, including pairs containing identical invariants.

Field Summary

Fields

Modifier and Type	Field	Description
protected static boolean	HUMAN_OUTPUT
protected static String	lineSep

Constructor Summary

Constructors

Constructor	Description
PrintAllVisitor(PrintStream ps, boolean verbose, boolean printEmptyPpts)

Method Summary

Modifier and Type	Method	Description
protected void	bufPrint(@Nullable String s)
protected void	bufPrintln()
protected void	bufPrintln(@Nullable String s)
void	printHumanOutput(InvNode node)	This method is an alternate printing procedure for an InvNode so that the output is more human readable.
protected void	printInvariant(Invariant inv)	Prints an invariant, including its printability and possibly its confidence.
void	visit(InvNode node)	Prints a pair of invariants.
void	visit(PptNode node)	Prints the pair of program points, and all the invariants contained within them.

Methods inherited from class DepthFirstVisitor

visit

Methods inherited from class Object

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

Field Detail

lineSep

protected static final String lineSep

HUMAN_OUTPUT

protected static boolean HUMAN_OUTPUT

Constructor Detail

PrintAllVisitor

public PrintAllVisitor(PrintStream ps,
                       boolean verbose,
                       boolean printEmptyPpts)

Method Detail

visit

public void visit(PptNode node)

Prints the pair of program points, and all the invariants contained within them.

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(InvNode node)

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

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

printHumanOutput

public void printHumanOutput(InvNode node)

This method is an alternate printing procedure for an InvNode so that the output is more human readable. The format resembles cvs diff with '+' and '-' signs for the differing invariants. There is no information on justification or invariant type.

printInvariant

protected void printInvariant(Invariant inv)

Prints an invariant, including its printability and possibly its confidence. Example: "argv != null {0.9999+}".

bufPrint

protected void bufPrint(@Nullable String s)

bufPrintln

protected void bufPrintln(@Nullable String s)

bufPrintln

protected void bufPrintln()