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.
getField
public String getField()
getTarget
public PurityNode getTarget()
getSource
public PurityNode getSource()
isInside
public boolean isInside()
hashCode
public int hashCode()
equals
public boolean equals(Object o)
toString
public String toString()