soot.shimple.internal

Class SPatchingChain

java.lang.Object

java.util.AbstractCollection<E>

soot.PatchingChain<Unit>

soot.shimple.internal.SPatchingChain

All Implemented Interfaces:

java.io.Serializable, java.lang.Iterable<Unit>, java.util.Collection<Unit>, Chain<Unit>

public class SPatchingChain
extends PatchingChain<Unit>

Internal Shimple extension of PatchingChain.

Author:

Navindra Umanee

See Also:

PatchingChain, Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	SPatchingChain.SPatchingIterator

Nested classes/interfaces inherited from class soot.PatchingChain

PatchingChain.PatchingIterator

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<SUnitBox,java.lang.Boolean>	boxToNeedsPatching Flag that indicates whether control flow falls through from the box to the Phi node.
protected java.util.Map<UnitBox,Unit>	boxToPhiNode Map from UnitBox to the Phi node owning it.
protected java.util.Set<Unit>	phiNodeSet Set of the values of boxToPhiNode.

Fields inherited from class soot.PatchingChain

innerChain

Constructor Summary

Constructors

Constructor and Description
SPatchingChain(Body aBody, Chain<Unit> aChain)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	add(Unit o) Adds the given object to this Chain.
void	addFirst(Unit u) Adds the given object at the beginning of the Chain.
void	addLast(Unit 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(UnitBox box)
void	insertAfter(java.util.List<Unit> toInsert, Unit point) Inserts toInsert in the Chain after point.
void	insertAfter(Unit toInsert, Unit point) Inserts toInsert in the Chain after point.
void	insertBefore(java.util.List<Unit> toInsert, Unit point) Inserts toInsert in the Chain before point.
void	insertBefore(Unit toInsert, Unit point) Inserts toInsert in the Chain before point.
java.util.Iterator<Unit>	iterator() Returns an iterator over this Chain.
java.util.Iterator<Unit>	iterator(Unit u) Returns an iterator over this Chain, starting at the given object.
java.util.Iterator<Unit>	iterator(Unit head, Unit tail) Returns an iterator over this Chain, starting at head and reaching tail (inclusive).
protected void	processPhiNode(Unit o)
boolean	remove(Unit obj)
protected void	reprocessPhiNodes()
void	swapWith(Unit out, Unit in) Replaces out in the Chain by in.

Methods inherited from class soot.PatchingChain

contains, follows, getFirst, getLast, getModificationCount, getNonPatchingChain, getPredOf, getSuccOf, insertAfter, insertBefore, insertBeforeNoRedirect, remove, removeFirst, removeLast, size, snapshotIterator

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

Methods inherited from interface java.util.Collection

addAll, clear, containsAll, equals, hashCode, isEmpty, removeAll, retainAll, toArray, toArray

Field Detail

boxToPhiNode

protected java.util.Map<UnitBox,Unit> boxToPhiNode

Map from UnitBox to the Phi node owning it.

phiNodeSet

protected java.util.Set<Unit> phiNodeSet

Set of the values of boxToPhiNode. Used to allow O(1) contains() on the values.

boxToNeedsPatching

protected java.util.Map<SUnitBox,java.lang.Boolean> boxToNeedsPatching

Flag that indicates whether control flow falls through from the box to the Phi node. null indicates we probably need a call to computeInternal().

Constructor Detail

SPatchingChain

public SPatchingChain(Body aBody,
              Chain<Unit> aChain)

Method Detail

add

public boolean add(Unit o)

Description copied from class: PatchingChain

Adds the given object to this Chain.

Specified by:

add in interface java.util.Collection<Unit>

Overrides:

add in class PatchingChain<Unit>

swapWith

public void swapWith(Unit out,
            Unit in)

Description copied from class: PatchingChain

Replaces out in the Chain by in.

Specified by:

swapWith in interface Chain<Unit>

Overrides:

swapWith in class PatchingChain<Unit>

insertAfter

public void insertAfter(Unit toInsert,
               Unit point)

Description copied from class: PatchingChain

Inserts toInsert in the Chain after point.

Specified by:

insertAfter in interface Chain<Unit>

Overrides:

insertAfter in class PatchingChain<Unit>

insertAfter

public void insertAfter(java.util.List<Unit> toInsert,
               Unit point)

Description copied from class: PatchingChain

Inserts toInsert in the Chain after point.

Specified by:

insertAfter in interface Chain<Unit>

Overrides:

insertAfter in class PatchingChain<Unit>

insertBefore

public void insertBefore(java.util.List<Unit> toInsert,
                Unit point)

Description copied from class: PatchingChain

Inserts toInsert in the Chain before point.

Specified by:

insertBefore in interface Chain<Unit>

Overrides:

insertBefore in class PatchingChain<Unit>

insertBefore

public void insertBefore(Unit toInsert,
                Unit point)

Description copied from class: PatchingChain

Inserts toInsert in the Chain before point.

Specified by:

insertBefore in interface Chain<Unit>

Overrides:

insertBefore in class PatchingChain<Unit>

addFirst

public void addFirst(Unit u)

Description copied from class: PatchingChain

Adds the given object at the beginning of the Chain.

Specified by:

addFirst in interface Chain<Unit>

Overrides:

addFirst in class PatchingChain<Unit>

addLast

public void addLast(Unit u)

Description copied from class: PatchingChain

Adds the given object at the end of the Chain.

Specified by:

addLast in interface Chain<Unit>

Overrides:

addLast in class PatchingChain<Unit>

remove

public boolean remove(Unit obj)

processPhiNode

protected void processPhiNode(Unit o)

reprocessPhiNodes

protected void reprocessPhiNodes()

computeNeedsPatching

protected void computeNeedsPatching()

NOTE: This will *miss* all the Phi nodes outside a chain. So make sure you know what you are doing if you remove a Phi node from a chain and don't put it back or call clearUnitBoxes() on it.

getSBox

protected SUnitBox getSBox(UnitBox box)

iterator

public java.util.Iterator<Unit> iterator()

Description copied from class: PatchingChain

Returns an iterator over this Chain.

Specified by:

iterator in interface java.lang.Iterable<Unit>

Specified by:

iterator in interface java.util.Collection<Unit>

Specified by:

iterator in interface Chain<Unit>

Overrides:

iterator in class PatchingChain<Unit>

iterator

public java.util.Iterator<Unit> iterator(Unit u)

Description copied from class: PatchingChain

Returns an iterator over this Chain, starting at the given object.

Specified by:

iterator in interface Chain<Unit>

Overrides:

iterator in class PatchingChain<Unit>

iterator

public java.util.Iterator<Unit> iterator(Unit head,
                                Unit tail)

Description copied from class: PatchingChain

Returns an iterator over this Chain, starting at head and reaching tail (inclusive).

Specified by:

iterator in interface Chain<Unit>

Overrides:

iterator in class PatchingChain<Unit>