soot.jimple.toolkits.annotation.purity

Class PurityEdge

java.lang.Object

soot.jimple.toolkits.annotation.purity.PurityEdge

public class PurityEdge
extends java.lang.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 mmuable and hashable. They compare equal only if they link equal nodes and have equal labels.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.lang.String	getField()
PurityNode	getSource()
PurityNode	getTarget()
int	hashCode()
boolean	isInside()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getField

public java.lang.String getField()

getTarget

public PurityNode getTarget()

getSource

public PurityNode getSource()

isInside

public boolean isInside()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object