harpoon.Analysis.PA2
Class WVar

java.lang.Object
  jpaul.Constraints.Var
      harpoon.Analysis.PA2.WVar

public class WVar
extends jpaul.Constraints.Var

WVar

Version:

$Id: WVar.java,v 1.2 2005/09/02 19:22:52 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Constructor Summary

WVar()

Method Summary

Object	copy(Object x)
boolean	join(Object x, Object y)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

WVar

public WVar()

Method Detail

copy

public Object copy(Object x)

Specified by:

copy in class jpaul.Constraints.Var

join

public boolean join(Object x,
                    Object y)

Specified by:

join in class jpaul.Constraints.Var

toString

public String toString()

Overrides:

toString in class jpaul.Constraints.Var