|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RWSet | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.thread.transaction |
Uses of RWSet in soot.jimple.toolkits.pointer |
Subclasses of RWSet in soot.jimple.toolkits.pointer | |
class |
CodeBlockRWSet
|
class |
FullRWSet
|
class |
MethodRWSet
Represents the read or write set of a statement. |
class |
SiteRWSet
Represents the read or write set of a statement. |
class |
StmtRWSet
Represents the read or write set of a statement. |
Methods in soot.jimple.toolkits.pointer that return RWSet | |
protected RWSet |
PASideEffectTester.readSet(Unit u)
|
protected RWSet |
PASideEffectTester.writeSet(Unit u)
|
RWSet |
SideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
|
RWSet |
SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
|
RWSet |
SideEffectAnalysis.readSet(SootMethod method,
Stmt stmt)
|
RWSet |
SideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt)
|
protected RWSet |
SideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s)
|
Methods in soot.jimple.toolkits.pointer with parameters of type RWSet | |
boolean |
CodeBlockRWSet.union(RWSet other)
Adds the RWSet other into this set. |
boolean |
FullRWSet.hasNonEmptyIntersection(RWSet other)
|
boolean |
FullRWSet.union(RWSet other)
Adds the RWSet other into this set. |
boolean |
FullRWSet.isEquivTo(RWSet other)
|
boolean |
MethodRWSet.hasNonEmptyIntersection(RWSet oth)
|
boolean |
MethodRWSet.union(RWSet other)
Adds the RWSet other into this set. |
boolean |
MethodRWSet.isEquivTo(RWSet other)
|
protected boolean |
PASideEffectTester.valueTouchesRWSet(RWSet s,
Value v,
List boxes)
|
abstract boolean |
RWSet.hasNonEmptyIntersection(RWSet other)
|
abstract boolean |
RWSet.union(RWSet other)
Adds the RWSet other into this set. |
abstract boolean |
RWSet.isEquivTo(RWSet other)
|
boolean |
SiteRWSet.hasNonEmptyIntersection(RWSet oth)
|
boolean |
SiteRWSet.union(RWSet other)
Adds the RWSet other into this set. |
boolean |
SiteRWSet.isEquivTo(RWSet other)
|
boolean |
StmtRWSet.hasNonEmptyIntersection(RWSet other)
|
boolean |
StmtRWSet.union(RWSet other)
Adds the RWSet other into this set. |
boolean |
StmtRWSet.isEquivTo(RWSet other)
|
Uses of RWSet in soot.jimple.toolkits.thread.transaction |
Methods in soot.jimple.toolkits.thread.transaction that return RWSet | |
RWSet |
TransactionAwareSideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
|
RWSet |
TransactionAwareSideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
|
RWSet |
TransactionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method,
Stmt stmt,
Value specialRead)
|
RWSet |
TransactionAwareSideEffectAnalysis.readSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.transaction.Transaction tn,
LocalDefs sld,
HashSet uses)
|
RWSet |
TransactionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method,
Stmt stmt,
Value v)
|
RWSet |
TransactionAwareSideEffectAnalysis.writeSet(SootMethod method,
Stmt stmt,
soot.jimple.toolkits.thread.transaction.Transaction tn,
LocalDefs sld,
Set uses)
|
protected RWSet |
TransactionAwareSideEffectAnalysis.addValue(Value v,
SootMethod m,
Stmt s)
|
Methods in soot.jimple.toolkits.thread.transaction with parameters of type RWSet | |
void |
TransactionTransformer.printGroups(Collection AllTransactions,
int nextGroup,
List groups,
RWSet[] rws)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |