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()
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()
- Overrides:
- getFields in class RWSet
getBaseForField
public PointsToSet getBaseForField(java.lang.Object f)
- Overrides:
- getBaseForField in class RWSet
hasNonEmptyIntersection
public boolean hasNonEmptyIntersection(RWSet other)
- 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