|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.util.AbstractCollection | +--soot.PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals. This is done by calling Unit.redirectJumpsToThisTo at strategic times.
Constructor Summary | |
PatchingChain(Chain aChain)
Constructs a PatchingChain from the given Chain. |
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. |
boolean |
contains(java.lang.Object u)
Returns true if this patching chain contains the specified element. |
boolean |
follows(java.lang.Object a,
java.lang.Object b)
Returns true if object a follows object b in the Chain. |
java.lang.Object |
getFirst()
Returns the first object in this Chain. |
java.lang.Object |
getLast()
Returns the last object in this Chain. |
java.lang.Object |
getPredOf(java.lang.Object point)
Returns the object immediately preceding point . |
java.lang.Object |
getSuccOf(java.lang.Object point)
Returns the object immediately following point . |
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). |
boolean |
remove(java.lang.Object obj)
Removes the given object from this Chain. |
void |
removeFirst()
Removes the first object from this Chain. |
void |
removeLast()
Removes the last object from this Chain. |
int |
size()
Returns the size of this Chain. |
java.util.Iterator |
snapshotIterator()
Returns an iterator over a copy of this chain. |
void |
swapWith(java.lang.Object out,
java.lang.Object in)
Replaces out in the Chain by in . |
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 |
Constructor Detail |
public PatchingChain(Chain aChain)
Method Detail |
public boolean add(java.lang.Object o)
public void swapWith(java.lang.Object out, java.lang.Object in)
out
in the Chain by in
.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 boolean follows(java.lang.Object a, java.lang.Object b)
a
follows object b
in the Chain.public boolean remove(java.lang.Object obj)
public boolean contains(java.lang.Object u)
public void addFirst(java.lang.Object u)
public void addLast(java.lang.Object u)
public void removeFirst()
public void removeLast()
public java.lang.Object getFirst()
public java.lang.Object getLast()
public java.lang.Object getSuccOf(java.lang.Object point)
point
.public java.lang.Object getPredOf(java.lang.Object point)
point
.public java.util.Iterator snapshotIterator()
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)
public int size()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |