soot.jimple.toolkits.pointer
Class SiteRWSet

java.lang.Object
  extended by soot.jimple.toolkits.pointer.RWSet
      extended by soot.jimple.toolkits.pointer.SiteRWSet

public class SiteRWSet
extends RWSet

Represents the read or write set of a statement.


Field Summary
protected  boolean callsNative
           
 HashSet<RWSet> sets
           
 
Constructor Summary
SiteRWSet()
           
 
Method Summary
 boolean addFieldRef(PointsToSet otherBase, Object field)
           
 boolean addGlobal(SootField global)
           
 PointsToSet getBaseForField(Object f)
          Returns a set of base objects whose field f is read/written.
 boolean getCallsNative()
           
 Set getFields()
          Returns an iterator over any fields read/written.
 Set getGlobals()
          Returns an iterator over any globals read/written.
 boolean hasNonEmptyIntersection(RWSet oth)
           
 boolean isEquivTo(RWSet other)
           
 boolean setCallsNative()
           
 int size()
          Returns an iterator over any globals read/written.
 String toString()
           
 boolean union(RWSet other)
          Adds the RWSet other into this set.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

sets

public HashSet<RWSet> sets

callsNative

protected boolean callsNative
Constructor Detail

SiteRWSet

public SiteRWSet()
Method Detail

size

public int size()
Description copied from class: RWSet
Returns an iterator over any globals read/written.

Specified by:
size in class RWSet

toString

public String toString()
Overrides:
toString in class Object

getCallsNative

public boolean getCallsNative()
Specified by:
getCallsNative in class RWSet

setCallsNative

public boolean setCallsNative()
Specified by:
setCallsNative in class RWSet

getGlobals

public Set getGlobals()
Returns an iterator over any globals read/written.

Specified by:
getGlobals in class RWSet

getFields

public Set getFields()
Returns an iterator over any fields read/written.

Specified by:
getFields in class RWSet

getBaseForField

public PointsToSet getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.

Specified by:
getBaseForField in class RWSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(RWSet oth)
Specified by:
hasNonEmptyIntersection in class RWSet

union

public boolean union(RWSet other)
Adds the RWSet other into this set.

Specified by:
union in class RWSet

addGlobal

public boolean addGlobal(SootField global)
Specified by:
addGlobal in class RWSet

addFieldRef

public boolean addFieldRef(PointsToSet otherBase,
                           Object field)
Specified by:
addFieldRef in class RWSet

isEquivTo

public boolean isEquivTo(RWSet other)
Specified by:
isEquivTo in class RWSet