soot.jimple.toolkits.pointer
Class FullRWSet

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

public class FullRWSet
extends RWSet


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

FullRWSet

public FullRWSet()
Method Detail

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()
Overrides:
getFields in class RWSet

getBaseForField

public PointsToSet getBaseForField(java.lang.Object f)
Overrides:
getBaseForField in class RWSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(RWSet other)
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