|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.jimple.toolkits.pointer.RWSet soot.jimple.toolkits.pointer.MethodRWSet soot.jimple.toolkits.pointer.CodeBlockRWSet
public class CodeBlockRWSet
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 |
---|
public CodeBlockRWSet()
Method Detail |
---|
public int size()
RWSet
size
in class MethodRWSet
public String toString()
toString
in class MethodRWSet
public boolean union(RWSet other)
union
in class MethodRWSet
public boolean containsField(Object field)
public CodeBlockRWSet intersection(MethodRWSet other)
public boolean addFieldRef(PointsToSet otherBase, Object field)
addFieldRef
in class MethodRWSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |