public abstract class RWSet
extends java.lang.Object
Constructor and Description |
---|
RWSet() |
Modifier and Type | Method and Description |
---|---|
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() |
abstract boolean |
hasNonEmptyIntersection(RWSet other) |
abstract boolean |
isEquivTo(RWSet other) |
abstract boolean |
setCallsNative() |
abstract int |
size()
Returns an iterator over any globals read/written.
|
abstract boolean |
union(RWSet other)
Adds the RWSet other into this set.
|
public abstract boolean getCallsNative()
public abstract boolean setCallsNative()
public abstract int size()
public abstract java.util.Set<?> getGlobals()
public abstract java.util.Set<?> getFields()
public abstract PointsToSet getBaseForField(java.lang.Object f)
public abstract boolean hasNonEmptyIntersection(RWSet other)
public abstract boolean union(RWSet other)
public abstract boolean addGlobal(SootField global)
public abstract boolean addFieldRef(PointsToSet otherBase, java.lang.Object field)
public abstract boolean isEquivTo(RWSet other)