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 java.lang.Object

Represents the read or write set of a statement.

Constructor Summary

Constructors

Constructor and Description
RWSet()

Method Summary

Modifier and Type	Method and Description
abstract boolean	addFieldRef(PointsToSet otherBase, java.lang.Object field)
abstract boolean	addGlobal(SootField global)
abstract PointsToSet	getBaseForField(java.lang.Object f)
abstract boolean	getCallsNative()
abstract java.util.Set	getFields()
abstract java.util.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 java.util.Set getGlobals()

getFields

public abstract java.util.Set getFields()

getBaseForField

public abstract PointsToSet getBaseForField(java.lang.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,
                                    java.lang.Object field)

isEquivTo

public abstract boolean isEquivTo(RWSet other)