harpoon.Analysis.PointerAnalysis
Class PAEdge

java.lang.Object
  harpoon.Analysis.PointerAnalysis.PAEdge

All Implemented Interfaces:

Serializable

public class PAEdge
extends Object
implements Serializable

PAEdge

Version:

$Id: PAEdge.java,v 1.4 2005/08/17 23:34:01 salcianu Exp $

Author:

Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>

See Also:

Serialized Form

Constructor Summary

PAEdge(PANode n1, String f, PANode n2)
Creates a PAEdge.

Method Summary

boolean	equals(Object o) Checks the equality of two edges.
int	hashCode() Computes the hash code of this object.
Set	project(Relation mu)
PAEdge	specialize(Map map)
String	toString() String representation for debug purposes.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PAEdge

public PAEdge(PANode n1,
              String f,
              PANode n2)

Creates a PAEdge.

Method Detail

project

public Set project(Relation mu)

specialize

public PAEdge specialize(Map map)

equals

public boolean equals(Object o)

Checks the equality of two edges.

Overrides:

equals in class Object

hashCode

public int hashCode()

Computes the hash code of this object.

Overrides:

hashCode in class Object

toString

public String toString()

String representation for debug purposes.

Overrides:

toString in class Object