soot.jimple.toolkits.pointer
Class RWSet

java.lang.Object
  |
  +--soot.jimple.toolkits.pointer.RWSet
Direct Known Subclasses:
FullRWSet, MethodRWSet, SiteRWSet, StmtRWSet

public abstract class RWSet
extends java.lang.Object

Represents the read or write set of a statement.


Constructor Summary
RWSet()
           
 
Method Summary
abstract  boolean addFieldRef(PointsToSet otherBase, java.lang.Object field)
           
abstract  boolean addGlobal(SootField global)
           
abstract  PointsToSet getBaseForField(java.lang.Object f)
           
abstract  boolean getCallsNative()
           
abstract  java.util.Set getFields()
           
abstract  java.util.Set getGlobals()
          Returns an iterator over any globals read/written.
abstract  boolean hasNonEmptyIntersection(RWSet other)
           
abstract  boolean isEquivTo(RWSet other)
           
abstract  boolean setCallsNative()
           
abstract  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, toString, wait, wait, wait
 

Constructor Detail

RWSet

public RWSet()
Method Detail

getCallsNative

public abstract boolean getCallsNative()

setCallsNative

public abstract boolean setCallsNative()

getGlobals

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

getFields

public abstract java.util.Set getFields()

getBaseForField

public abstract PointsToSet getBaseForField(java.lang.Object f)

hasNonEmptyIntersection

public abstract boolean hasNonEmptyIntersection(RWSet other)

union

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

addGlobal

public abstract boolean addGlobal(SootField global)

addFieldRef

public abstract boolean addFieldRef(PointsToSet otherBase,
                                    java.lang.Object field)

isEquivTo

public abstract boolean isEquivTo(RWSet other)