Uses of Class
soot.jimple.toolkits.pointer.RWSet

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)