daikon.diff
Class InvNode

Object
  Node<Invariant,Void>
      InvNode

public class InvNode
extends Node<Invariant,Void>

Contains a pair of Invariants. Resides in the third level of the tree. Has no children.

Constructor Summary

InvNode(Invariant inv1, Invariant inv2)
Either inv1 or inv2 may be null, but not both.

Method Summary

void	accept(Visitor v)
Invariant	getInv1()
Invariant	getInv2()

Methods inherited from class Node

add, children, getUserLeft, getUserObject, getUserRight

Methods inherited from class Object

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

Constructor Detail

InvNode

public InvNode(Invariant inv1,
               Invariant inv2)

Either inv1 or inv2 may be null, but not both.

Method Detail

getInv1

public Invariant getInv1()

getInv2

public Invariant getInv2()

accept

public void accept(Visitor v)

Specified by:

accept in class Node<Invariant,Void>