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