Package soot.jimple.toolkits.pointer

Class RWSet

java.lang.Object

soot.jimple.toolkits.pointer.RWSet

Direct Known Subclasses:

FullRWSet, MethodRWSet, SiteRWSet, StmtRWSet

public abstract class RWSet
extends Object

Represents the read or write set of a statement.

Constructor Summary

Constructors

Constructor	Description
RWSet()

Method Summary

Modifier and Type	Method	Description
abstract boolean	addFieldRef(PointsToSet otherBase, Object field)
abstract boolean	addGlobal(SootField global)
abstract PointsToSet	getBaseForField(Object f)
abstract boolean	getCallsNative()
abstract Set<?>	getFields()
abstract Set<?>	getGlobals()
abstract boolean	hasNonEmptyIntersection(RWSet other)
abstract boolean	isEquivTo(RWSet other)
abstract boolean	setCallsNative()
abstract int	size()	Returns an iterator over any globals read/written.
abstract 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, toString, wait, wait, wait

Constructor Detail

RWSet

public RWSet()

Method Detail

getCallsNative

public abstract boolean getCallsNative()

setCallsNative

public abstract boolean setCallsNative()

size

public abstract int size()

Returns an iterator over any globals read/written.

getGlobals

public abstract Set<?> getGlobals()

getFields

public abstract Set<?> getFields()

getBaseForField

public abstract PointsToSet getBaseForField(Object f)

hasNonEmptyIntersection

public abstract boolean hasNonEmptyIntersection(RWSet other)

union

public abstract boolean union(RWSet other)

Adds the RWSet other into this set.

addGlobal

public abstract boolean addGlobal(SootField global)

addFieldRef

public abstract boolean addFieldRef(PointsToSet otherBase,
                                    Object field)

isEquivTo

public abstract boolean isEquivTo(RWSet other)