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

Modifier and Type	Method and Description
boolean	addFieldRef(PointsToSet otherBase, Object field)
boolean	containsField(Object field)
CodeBlockRWSet	intersection(MethodRWSet other)
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, size

Methods inherited from class java.lang.Object

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

Constructor Detail

CodeBlockRWSet

public CodeBlockRWSet()

Method Detail

toString

public 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(Object field)

intersection

public CodeBlockRWSet intersection(MethodRWSet other)

addFieldRef

public boolean addFieldRef(PointsToSet otherBase,
                           Object field)

Overrides:

addFieldRef in class MethodRWSet