soot.jimple.toolkits.pointer
Class RWSet
java.lang.Object
|
+--soot.jimple.toolkits.pointer.RWSet
- Direct Known Subclasses:
- FullRWSet, MethodRWSet, SiteRWSet, StmtRWSet
- public abstract class RWSet
- extends java.lang.Object
Represents the read or write set of a statement.
Constructor Summary |
RWSet()
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
RWSet
public RWSet()
getCallsNative
public abstract boolean getCallsNative()
setCallsNative
public abstract boolean setCallsNative()
getGlobals
public abstract java.util.Set getGlobals()
- Returns an iterator over any globals read/written.
getFields
public abstract java.util.Set getFields()
getBaseForField
public abstract PointsToSet getBaseForField(java.lang.Object f)
hasNonEmptyIntersection
public abstract boolean hasNonEmptyIntersection(RWSet other)
union
public abstract boolean union(RWSet other)
- Adds the RWSet other into this set.
addGlobal
public abstract boolean addGlobal(SootField global)
addFieldRef
public abstract boolean addFieldRef(PointsToSet otherBase,
java.lang.Object field)
isEquivTo
public abstract boolean isEquivTo(RWSet other)