daikon.diff
Class PptCountVisitor

Object
  DepthFirstVisitor
      PrintAllVisitor
          PptCountVisitor

All Implemented Interfaces:

Visitor

public class PptCountVisitor
extends PrintAllVisitor

PptCountVisitor is currently not documented.

Field Summary

Fields inherited from class PrintAllVisitor

HUMAN_OUTPUT, lineSep

Constructor Summary

PptCountVisitor(PrintStream ps, boolean verbose, boolean printEmptyPpts)

Method Summary

double	calcPrecision()
double	calcRecall()
void	printFinal() Prints the results of the correct set in a human-readable format
protected static boolean	shouldPrint(Invariant inv1, Invariant inv2) Returns true if the pair of invariants should be printed
void	visit(InvNode node) Anytime something matches, we should score it has correct
void	visit(PptNode node) Prints the pair of program points, and all the invariants contained within them.

Methods inherited from class PrintAllVisitor

bufPrint, bufPrintln, bufPrintln, printHumanOutput, printInvariant

Methods inherited from class DepthFirstVisitor

visit

Methods inherited from class Object

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

Constructor Detail

PptCountVisitor

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

Method Detail

visit

public void visit(PptNode node)

Description copied from class: PrintAllVisitor

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

Specified by:

visit in interface Visitor

Overrides:

visit in class PrintAllVisitor

visit

public void visit(InvNode node)

Anytime something matches, we should score it has correct

Specified by:

visit in interface Visitor

Overrides:

visit in class PrintAllVisitor

shouldPrint

protected static boolean shouldPrint(Invariant inv1,
                                     Invariant inv2)

Returns true if the pair of invariants should be printed

calcRecall

public double calcRecall()

calcPrecision

public double calcPrecision()

printFinal

public void printFinal()

Prints the results of the correct set in a human-readable format