|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.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 MethodRWSetpublic String toString()
toString in class MethodRWSetpublic boolean union(RWSet other)
union in class MethodRWSetpublic 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 | |||||||||