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

RWSet()

Method Summary

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)