soot.jimple.toolkits.pointer
Class MethodRWSet
java.lang.Object
|
+--soot.jimple.toolkits.pointer.RWSet
|
+--soot.jimple.toolkits.pointer.MethodRWSet
- public class MethodRWSet
- extends RWSet
Represents the read or write set of a statement.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
globals
public java.util.Set globals
fields
public java.util.Map fields
callsNative
protected boolean callsNative
isFull
protected boolean isFull
MAX_SIZE
public static final int MAX_SIZE
MethodRWSet
public MethodRWSet()
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