daikon.diff
Class MinusVisitor

Object
  DepthFirstVisitor
      MinusVisitor

All Implemented Interfaces:

Visitor

public class MinusVisitor
extends DepthFirstVisitor

Computes A - B, where A and B are the two sets of invariants.

Constructor Summary

MinusVisitor()

Method Summary

InvMap	getResult() Returns the InvMap generated as a result of the traversal.
void	visit(InvNode node) Possibly add the first invariant to the result set.
void	visit(PptNode node) If the first ppt is non-null, it should be part of the result.

Methods inherited from class DepthFirstVisitor

visit

Methods inherited from class Object

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

Constructor Detail

MinusVisitor

public MinusVisitor()

Method Detail

visit

public void visit(PptNode node)

If the first ppt is non-null, it should be part of the result.

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(InvNode node)

Possibly add the first invariant to the result set.

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

getResult

public InvMap getResult()

Returns the InvMap generated as a result of the traversal.