soot.jimple.toolkits.pointer
Class CodeBlockRWSet

java.lang.Object
  extended by soot.jimple.toolkits.pointer.RWSet
      extended by soot.jimple.toolkits.pointer.MethodRWSet
          extended by 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
CodeBlockRWSet()
           
 
Method Summary
 boolean addFieldRef(PointsToSet otherBase, Object field)
           
 boolean containsField(Object field)
           
 CodeBlockRWSet intersection(MethodRWSet other)
           
 int size()
          Returns an iterator over any globals read/written.
 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 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