Package soot.jimple.toolkits.pointer

Class MethodRWSet

java.lang.Object

soot.jimple.toolkits.pointer.RWSet

soot.jimple.toolkits.pointer.MethodRWSet

Direct Known Subclasses:

CodeBlockRWSet

public class MethodRWSet
extends RWSet

Represents the read or write set of a statement.

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	callsNative
Map<Object,PointsToSet>	fields
Set<SootField>	globals
protected boolean	isFull
static int	MAX_SIZE

Constructor Summary

Constructors

Constructor	Description
MethodRWSet()

Method Summary

Modifier and Type	Method	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<Object>	getFields()	Returns an iterator over any fields read/written.
Set<SootField>	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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MAX_SIZE

public static final int MAX_SIZE

See Also:

Constant Field Values

globals

public Set<SootField> globals

fields

public Map<Object,PointsToSet> fields

callsNative

protected boolean callsNative

isFull

protected boolean isFull

Constructor Detail

MethodRWSet

public MethodRWSet()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

size

public int size()

Description copied from class: RWSet

Returns an iterator over any globals read/written.

Specified by:

size in class RWSet

getCallsNative

public boolean getCallsNative()

Specified by:

getCallsNative in class RWSet

setCallsNative

public boolean setCallsNative()

Specified by:

setCallsNative in class RWSet

getGlobals

public Set<SootField> getGlobals()

Returns an iterator over any globals read/written.

Specified by:

getGlobals in class RWSet

getFields

public Set<Object> getFields()

Returns an iterator over any fields read/written.

Specified by:

getFields in class RWSet

getBaseForField

public PointsToSet getBaseForField(Object f)

Returns a set of base objects whose field f is read/written.

Specified by:

getBaseForField in class RWSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(RWSet oth)

Specified by:

hasNonEmptyIntersection in class RWSet

union

public boolean union(RWSet other)

Adds the RWSet other into this set.

Specified by:

union in class RWSet

addGlobal

public boolean addGlobal(SootField global)

Specified by:

addGlobal in class RWSet

addFieldRef

public boolean addFieldRef(PointsToSet otherBase,
                           Object field)

Specified by:

addFieldRef in class RWSet

isEquivTo

public boolean isEquivTo(RWSet other)

Specified by:

isEquivTo in class RWSet