soot.jimple.toolkits.pointer
Class SiteRWSet
java.lang.Object
|
+--soot.jimple.toolkits.pointer.RWSet
|
+--soot.jimple.toolkits.pointer.SiteRWSet
- public class SiteRWSet
- extends RWSet
Represents the read or write set of a statement.
Field Summary |
protected boolean |
callsNative
|
protected java.util.HashSet |
sets
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
sets
protected java.util.HashSet sets
callsNative
protected boolean callsNative
SiteRWSet
public SiteRWSet()
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object
getCallsNative
public boolean getCallsNative()
- Overrides:
- getCallsNative in class RWSet
setCallsNative
public boolean setCallsNative()
- Overrides:
- setCallsNative in class RWSet
getGlobals
public java.util.Set getGlobals()
- Returns an iterator over any globals read/written.
- Overrides:
- getGlobals in class RWSet
getFields
public java.util.Set getFields()
- Returns an iterator over any fields read/written.
- Overrides:
- getFields in class RWSet
getBaseForField
public PointsToSet getBaseForField(java.lang.Object f)
- Returns a set of base objects whose field f is read/written.
- Overrides:
- getBaseForField in class RWSet
hasNonEmptyIntersection
public boolean hasNonEmptyIntersection(RWSet oth)
- Overrides:
- hasNonEmptyIntersection in class RWSet
union
public boolean union(RWSet other)
- Adds the RWSet other into this set.
- Overrides:
- union in class RWSet
addGlobal
public boolean addGlobal(SootField global)
- Overrides:
- addGlobal in class RWSet
addFieldRef
public boolean addFieldRef(PointsToSet otherBase,
java.lang.Object field)
- Overrides:
- addFieldRef in class RWSet
isEquivTo
public boolean isEquivTo(RWSet other)
- Overrides:
- isEquivTo in class RWSet