soot.jimple.toolkits.pointer

Class FullRWSet

java.lang.Object

soot.jimple.toolkits.pointer.RWSet

soot.jimple.toolkits.pointer.FullRWSet

public class FullRWSet
extends RWSet

Constructor Summary

Constructors

Constructor and Description
FullRWSet()

Method Summary

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

FullRWSet

public FullRWSet()

Method Detail

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 java.util.Set getGlobals()

Returns an iterator over any globals read/written.

Specified by:

getGlobals in class RWSet

getFields

public java.util.Set getFields()

Specified by:

getFields in class RWSet

getBaseForField

public PointsToSet getBaseForField(java.lang.Object f)

Specified by:

getBaseForField in class RWSet

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(RWSet other)

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

Specified by:

addFieldRef in class RWSet

isEquivTo

public boolean isEquivTo(RWSet other)

Specified by:

isEquivTo in class RWSet