|
||||||||||
| 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.StmtRWSet
public class StmtRWSet
Represents the read or write set of a statement.
| Field Summary | |
|---|---|
protected PointsToSet |
base
|
protected boolean |
callsNative
|
protected Object |
field
|
| Constructor Summary | |
|---|---|
StmtRWSet()
|
|
| Method Summary | |
|---|---|
boolean |
addFieldRef(PointsToSet otherBase,
Object field)
|
boolean |
addGlobal(SootField global)
|
PointsToSet |
getBaseForField(Object f)
Returns a set of base objects whose field f is read/written. |
boolean |
getCallsNative()
|
Set |
getFields()
Returns an iterator over any fields read/written. |
Set |
getGlobals()
Returns an iterator over any globals read/written. |
boolean |
hasNonEmptyIntersection(RWSet other)
|
boolean |
isEquivTo(RWSet other)
|
boolean |
setCallsNative()
|
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 java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
protected Object field
protected PointsToSet base
protected boolean callsNative
| Constructor Detail |
|---|
public StmtRWSet()
| Method Detail |
|---|
public String toString()
toString in class Objectpublic int size()
RWSet
size in class RWSetpublic boolean getCallsNative()
getCallsNative in class RWSetpublic boolean setCallsNative()
setCallsNative in class RWSetpublic Set getGlobals()
getGlobals in class RWSetpublic Set getFields()
getFields in class RWSetpublic PointsToSet getBaseForField(Object f)
getBaseForField in class RWSetpublic boolean hasNonEmptyIntersection(RWSet other)
hasNonEmptyIntersection in class RWSetpublic boolean union(RWSet other)
union in class RWSetpublic boolean addGlobal(SootField global)
addGlobal in class RWSet
public boolean addFieldRef(PointsToSet otherBase,
Object field)
addFieldRef in class RWSetpublic boolean isEquivTo(RWSet other)
isEquivTo in class RWSet
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||