soot.jimple.toolkits.pointer

Class CodeBlockRWSet

java.lang.Object

soot.jimple.toolkits.pointer.RWSet

soot.jimple.toolkits.pointer.MethodRWSet

soot.jimple.toolkits.pointer.CodeBlockRWSet

public class CodeBlockRWSet
extends MethodRWSet

Field Summary

Fields inherited from class soot.jimple.toolkits.pointer.MethodRWSet

callsNative, fields, globals, isFull, MAX_SIZE

Constructor Summary

Constructors

Constructor and Description
CodeBlockRWSet()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addFieldRef(PointsToSet otherBase, java.lang.Object field)
boolean	containsField(java.lang.Object field)
CodeBlockRWSet	intersection(MethodRWSet other)
int	size() Returns an iterator over any globals read/written.
java.lang.String	toString()
boolean	union(RWSet other) Adds the RWSet other into this set.

Methods inherited from class soot.jimple.toolkits.pointer.MethodRWSet

addGlobal, getBaseForField, getCallsNative, getFields, getGlobals, hasNonEmptyIntersection, isEquivTo, setCallsNative

Methods inherited from class java.lang.Object

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

Constructor Detail

CodeBlockRWSet

public CodeBlockRWSet()

Method Detail

size

public int size()

Description copied from class: RWSet

Returns an iterator over any globals read/written.

Overrides:

size in class MethodRWSet

toString

public java.lang.String toString()

Overrides:

toString in class MethodRWSet

union

public boolean union(RWSet other)

Adds the RWSet other into this set.

Overrides:

union in class MethodRWSet

containsField

public boolean containsField(java.lang.Object field)

intersection

public CodeBlockRWSet intersection(MethodRWSet other)

addFieldRef

public boolean addFieldRef(PointsToSet otherBase,
                  java.lang.Object field)

Overrides:

addFieldRef in class MethodRWSet