|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.util.AbstractCollection | +--soot.PatchingChain | +--soot.shimple.internal.SPatchingChain
Internal Shimple extension of PatchingChain.
PatchingChain
, Serialized FormInner Class Summary | |
protected class |
SPatchingChain.SPatchingIterator
|
Inner classes inherited from class soot.PatchingChain |
PatchingChain.PatchingIterator |
Field Summary | |
protected java.util.Map |
boxToNeedsPatching
Flag that indicates whether control flow falls through from the box to the Phi node. |
protected java.util.Map |
boxToPhiNode
Map from UnitBox to the Phi node owning it. |
Fields inherited from class soot.PatchingChain |
innerChain |
Constructor Summary | |
SPatchingChain(Body aBody,
Chain aChain)
|
Method Summary | |
boolean |
add(java.lang.Object o)
Adds the given object to this Chain. |
void |
addFirst(java.lang.Object u)
Adds the given object at the beginning of the Chain. |
void |
addLast(java.lang.Object u)
Adds the given object at the end of the Chain. |
protected void |
computeNeedsPatching()
NOTE: This will *miss* all the Phi nodes outside a chain. |
protected SUnitBox |
getSBox(java.lang.Object box)
|
void |
insertAfter(java.util.List toInsert,
java.lang.Object point)
Inserts toInsert in the Chain after point . |
void |
insertAfter(java.lang.Object toInsert,
java.lang.Object point)
Inserts toInsert in the Chain after point . |
void |
insertBefore(java.util.List toInsert,
java.lang.Object point)
Inserts toInsert in the Chain before point . |
void |
insertBefore(java.lang.Object toInsert,
java.lang.Object point)
Inserts toInsert in the Chain before point . |
java.util.Iterator |
iterator()
Returns an iterator over this Chain. |
java.util.Iterator |
iterator(java.lang.Object u)
Returns an iterator over this Chain, starting at the given object. |
java.util.Iterator |
iterator(java.lang.Object head,
java.lang.Object tail)
Returns an iterator over this Chain, starting at head and reaching tail (inclusive). |
protected void |
processPhiNode(java.lang.Object o)
|
boolean |
remove(java.lang.Object obj)
Removes the given object from this Chain. |
protected void |
reprocessPhiNodes()
|
Methods inherited from class soot.PatchingChain |
contains,
follows,
getFirst,
getLast,
getNonPatchingChain,
getPredOf,
getSuccOf,
removeFirst,
removeLast,
size,
snapshotIterator,
swapWith |
Methods inherited from class java.util.AbstractCollection |
addAll,
clear,
containsAll,
isEmpty,
removeAll,
retainAll,
toArray,
toArray,
toString |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Field Detail |
protected java.util.Map boxToPhiNode
protected java.util.Map boxToNeedsPatching
Constructor Detail |
public SPatchingChain(Body aBody, Chain aChain)
Method Detail |
public boolean add(java.lang.Object o)
public void insertAfter(java.lang.Object toInsert, java.lang.Object point)
toInsert
in the Chain after point
.public void insertAfter(java.util.List toInsert, java.lang.Object point)
toInsert
in the Chain after point
.public void insertBefore(java.util.List toInsert, java.lang.Object point)
toInsert
in the Chain before point
.public void insertBefore(java.lang.Object toInsert, java.lang.Object point)
toInsert
in the Chain before point
.public void addFirst(java.lang.Object u)
public void addLast(java.lang.Object u)
public boolean remove(java.lang.Object obj)
protected void processPhiNode(java.lang.Object o)
protected void reprocessPhiNodes()
protected void computeNeedsPatching()
protected SUnitBox getSBox(java.lang.Object box)
public java.util.Iterator iterator()
public java.util.Iterator iterator(java.lang.Object u)
public java.util.Iterator iterator(java.lang.Object head, java.lang.Object tail)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |