soot.jimple.toolkits.pointer
Class FullRWSet
java.lang.Object
soot.jimple.toolkits.pointer.RWSet
soot.jimple.toolkits.pointer.FullRWSet
public class FullRWSet
- extends RWSet
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FullRWSet
public FullRWSet()
size
public int size()
- Description copied from class:
RWSet
- Returns an iterator over any globals read/written.
- Specified by:
size in class RWSet
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()
- Specified by:
getFields in class RWSet
getBaseForField
public PointsToSet getBaseForField(Object f)
- Specified by:
getBaseForField in class RWSet
hasNonEmptyIntersection
public boolean hasNonEmptyIntersection(RWSet other)
- 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