|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.IR.Properties.CFGEdge | +--harpoon.IR.Quads.Edge
Edge
objects connect Quad
nodes in the
control-flow graph. The hashCode
and equals
methods of Edge
have been implemented so that
Edge
s can be used as hash table keys to associate analysis
data with control-flow edges.
Field Summary | |
static ArrayFactory |
arrayFactory
Array factory: returns new Edge[] . |
Method Summary | |
boolean |
equals(Object obj)
Compares two Edges for equality. |
CFGraphable |
fromCFG()
Returns the source vertex of this Edge. |
int |
hashCode()
Returns a hash code value for this object. |
CFGraphable |
toCFG()
Returns the destination vertex of this Edge. |
String |
toString()
Returns a human-readable representation of the Edge. |
int |
which_pred()
Returns the predecessor index of this Edge in to . |
int |
which_succ()
Returns the successor index of this Edge in from . |
Methods inherited from class harpoon.IR.Properties.CFGEdge |
from, to |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final ArrayFactory arrayFactory
Edge[]
.
Method Detail |
public CFGraphable fromCFG()
fromCFG
in class CFGEdge
public CFGraphable toCFG()
toCFG
in class CFGEdge
public int which_pred()
to
.
this.to().prevEdge(this.which_pred()) == this
.
public int which_succ()
from
.
this.from().nextEdge(this.which_succ()) == this
.
public boolean equals(Object obj)
equals
in class Object
public int hashCode()
hashCode
in class Object
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |