|
||||||||||
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.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 Object
public int size()
RWSet
size
in class RWSet
public boolean getCallsNative()
getCallsNative
in class RWSet
public boolean setCallsNative()
setCallsNative
in class RWSet
public Set getGlobals()
getGlobals
in class RWSet
public Set getFields()
getFields
in class RWSet
public PointsToSet getBaseForField(Object f)
getBaseForField
in class RWSet
public boolean hasNonEmptyIntersection(RWSet other)
hasNonEmptyIntersection
in class RWSet
public boolean union(RWSet other)
union
in class RWSet
public boolean addGlobal(SootField global)
addGlobal
in class RWSet
public boolean addFieldRef(PointsToSet otherBase, Object field)
addFieldRef
in class RWSet
public boolean isEquivTo(RWSet other)
isEquivTo
in class RWSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |