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

protected boolean	callsNative
Map<Object,PointsToSet>	fields
Set	globals
protected boolean	isFull
static int	MAX_SIZE

Constructor Summary

MethodRWSet()

Method Summary

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.

Methods inherited from class java.lang.Object

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

Field Detail

globals

public Set globals

fields

public Map<Object,PointsToSet> fields

callsNative

protected boolean callsNative

isFull

protected boolean isFull

MAX_SIZE

public static final int MAX_SIZE

See Also:

Constant Field Values

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 getGlobals()

Returns an iterator over any globals read/written.

Specified by:

getGlobals in class RWSet

getFields

public Set 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