soot.jimple.toolkits.annotation.purity
Class PurityEdge

java.lang.Object
  soot.jimple.toolkits.annotation.purity.PurityEdge

public class PurityEdge
extends Object

An edge in a purity graph. Each edge has a soruce PurityNode, a taget PurityNode, and a field label (we use a String here). To represent an array element, the convention is to use the [] field label. Edges are mmuable and hashable. They compare equal only if they link equal nodes and have equal labels.

Method Summary

boolean	equals(Object o)
String	getField()
PurityNode	getSource()
PurityNode	getTarget()
int	hashCode()
boolean	isInside()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getField

public String getField()

getTarget

public PurityNode getTarget()

getSource

public PurityNode getSource()

isInside

public boolean isInside()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object