soot.jimple.toolkits.pointer
Class MethodRWSet

java.lang.Object
  |
  +--soot.jimple.toolkits.pointer.RWSet
        |
        +--soot.jimple.toolkits.pointer.MethodRWSet

public class MethodRWSet
extends RWSet

Represents the read or write set of a statement.


Field Summary
protected  boolean callsNative
           
 java.util.Map fields
           
 java.util.Set globals
           
protected  boolean isFull
           
static int MAX_SIZE
           
 
Constructor Summary
MethodRWSet()
           
 
Method Summary
 boolean addFieldRef(PointsToSet otherBase, java.lang.Object field)
           
 boolean addGlobal(SootField global)
           
 PointsToSet getBaseForField(java.lang.Object f)
          Returns a set of base objects whose field f is read/written.
 boolean getCallsNative()
           
 java.util.Set getFields()
          Returns an iterator over any fields read/written.
 java.util.Set getGlobals()
          Returns an iterator over any globals read/written.
 boolean hasNonEmptyIntersection(RWSet oth)
           
 boolean isEquivTo(RWSet other)
           
 boolean setCallsNative()
           
 java.lang.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

globals

public java.util.Set globals

fields

public java.util.Map fields

callsNative

protected boolean callsNative

isFull

protected boolean isFull

MAX_SIZE

public static final int MAX_SIZE
Constructor Detail

MethodRWSet

public MethodRWSet()
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getCallsNative

public boolean getCallsNative()
Overrides:
getCallsNative in class RWSet

setCallsNative

public boolean setCallsNative()
Overrides:
setCallsNative in class RWSet

getGlobals

public java.util.Set getGlobals()
Returns an iterator over any globals read/written.
Overrides:
getGlobals in class RWSet

getFields

public java.util.Set getFields()
Returns an iterator over any fields read/written.
Overrides:
getFields in class RWSet

getBaseForField

public PointsToSet getBaseForField(java.lang.Object f)
Returns a set of base objects whose field f is read/written.
Overrides:
getBaseForField in class RWSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(RWSet oth)
Overrides:
hasNonEmptyIntersection in class RWSet

union

public boolean union(RWSet other)
Adds the RWSet other into this set.
Overrides:
union in class RWSet

addGlobal

public boolean addGlobal(SootField global)
Overrides:
addGlobal in class RWSet

addFieldRef

public boolean addFieldRef(PointsToSet otherBase,
                           java.lang.Object field)
Overrides:
addFieldRef in class RWSet

isEquivTo

public boolean isEquivTo(RWSet other)
Overrides:
isEquivTo in class RWSet