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 source PurityNode, a target 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 immutable and hashable. They compare equal only if they link equal nodes and have equal labels.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object o)StringgetField()PurityNodegetSource()PurityNodegetTarget()inthashCode()booleanisInside()StringtoString()
-
-
-
Method Detail
-
getField
public String getField()
-
getTarget
public PurityNode getTarget()
-
getSource
public PurityNode getSource()
-
isInside
public boolean isInside()
-
-