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

Packages that use RWSet

Package	Description
soot.jimple.toolkits.pointer
soot.jimple.toolkits.thread.synchronization

Uses of RWSet in soot.jimple.toolkits.pointer

Subclasses of RWSet in soot.jimple.toolkits.pointer

Modifier and Type	Class and Description
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.

Fields in soot.jimple.toolkits.pointer with type parameters of type RWSet

Modifier and Type	Field and Description
protected ArrayList<RWSet>	FieldRWTagger.UniqueRWSets.l
protected ArrayList<RWSet>	SideEffectTagger.UniqueRWSets.l
HashSet<RWSet>	SiteRWSet.sets

Methods in soot.jimple.toolkits.pointer that return RWSet

Modifier and Type	Method and Description
protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	SideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
protected RWSet	PASideEffectTester.readSet(Unit u)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)
protected RWSet	PASideEffectTester.writeSet(Unit u)

Methods in soot.jimple.toolkits.pointer with parameters of type RWSet

Modifier and Type	Method and Description
abstract boolean	RWSet.hasNonEmptyIntersection(RWSet other)
boolean	FullRWSet.hasNonEmptyIntersection(RWSet other)
boolean	MethodRWSet.hasNonEmptyIntersection(RWSet oth)
boolean	StmtRWSet.hasNonEmptyIntersection(RWSet other)
boolean	SiteRWSet.hasNonEmptyIntersection(RWSet oth)
abstract boolean	RWSet.isEquivTo(RWSet other)
boolean	FullRWSet.isEquivTo(RWSet other)
boolean	MethodRWSet.isEquivTo(RWSet other)
boolean	StmtRWSet.isEquivTo(RWSet other)
boolean	SiteRWSet.isEquivTo(RWSet other)
abstract boolean	RWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	FullRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	CodeBlockRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	MethodRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	StmtRWSet.union(RWSet other) Adds the RWSet other into this set.
boolean	SiteRWSet.union(RWSet other) Adds the RWSet other into this set.
protected boolean	PASideEffectTester.valueTouchesRWSet(RWSet s, Value v, List boxes)

Uses of RWSet in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization that return RWSet

Modifier and Type	Method and Description
protected RWSet	CriticalSectionAwareSideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	CriticalSectionAwareSideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
RWSet	CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, Set uses)
RWSet	CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
RWSet	CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, Set uses)

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type RWSet

Modifier and Type	Method and Description
List<EquivalentValue>	LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)