boomerang.results

Class PathElement

java.lang.Object

boomerang.results.PathElement

public class PathElement
extends Object

Constructor Summary

Constructors

Constructor and Description
PathElement(ControlFlowGraph.Edge s, Val val, int stepIndex)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
ControlFlowGraph.Edge	getEdge()
Val	getVariable()
int	hashCode()
int	stepIndex()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PathElement

public PathElement(ControlFlowGraph.Edge s,
                   Val val,
                   int stepIndex)

Method Detail

getEdge

public ControlFlowGraph.Edge getEdge()

getVariable

public Val getVariable()

stepIndex

public int stepIndex()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object