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
  
  Constructors
  Constructor Description
  
  PrintNullDiffVisitor(PrintStream ps, boolean verbose)
  Create an instance of PrintNullDiffVisitor.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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)
```
    Create an instance of PrintNullDiffVisitor.
- 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