public class MethodRWSet extends RWSet
Modifier and Type | Field and Description |
---|---|
protected boolean |
callsNative |
Map<Object,PointsToSet> |
fields |
Set |
globals |
protected boolean |
isFull |
static int |
MAX_SIZE |
Constructor and Description |
---|
MethodRWSet() |
Modifier and Type | Method and Description |
---|---|
boolean |
addFieldRef(PointsToSet otherBase,
Object field) |
boolean |
addGlobal(SootField global) |
PointsToSet |
getBaseForField(Object f)
Returns a set of base objects whose field f is read/written.
|
boolean |
getCallsNative() |
Set |
getFields()
Returns an iterator over any fields read/written.
|
Set |
getGlobals()
Returns an iterator over any globals read/written.
|
boolean |
hasNonEmptyIntersection(RWSet oth) |
boolean |
isEquivTo(RWSet other) |
boolean |
setCallsNative() |
int |
size()
Returns an iterator over any globals read/written.
|
String |
toString() |
boolean |
union(RWSet other)
Adds the RWSet other into this set.
|
public Set globals
public Map<Object,PointsToSet> fields
protected boolean callsNative
protected boolean isFull
public static final int MAX_SIZE
public int size()
RWSet
public boolean getCallsNative()
getCallsNative
in class RWSet
public boolean setCallsNative()
setCallsNative
in class RWSet
public Set getGlobals()
getGlobals
in class RWSet
public Set getFields()
public PointsToSet getBaseForField(Object f)
getBaseForField
in class RWSet
public boolean hasNonEmptyIntersection(RWSet oth)
hasNonEmptyIntersection
in class RWSet
public boolean union(RWSet other)
public boolean addFieldRef(PointsToSet otherBase, Object field)
addFieldRef
in class RWSet