public abstract class RWSet extends Object
Constructor and Description |
---|
RWSet() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
addFieldRef(PointsToSet otherBase,
Object field) |
abstract boolean |
addGlobal(SootField global) |
abstract PointsToSet |
getBaseForField(Object f) |
abstract boolean |
getCallsNative() |
abstract Set<?> |
getFields() |
abstract 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 Set<?> getGlobals()
public abstract Set<?> getFields()
public abstract PointsToSet getBaseForField(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, Object field)
public abstract boolean isEquivTo(RWSet other)