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	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	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	Description
protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	SideEffectAnalysis.nonTransitiveReadSet(SootMethod method)
RWSet	SideEffectAnalysis.nonTransitiveWriteSet(SootMethod method)
protected RWSet	PASideEffectTester.readSet(Unit u)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
protected RWSet	PASideEffectTester.writeSet(Unit u)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)

Methods in soot.jimple.toolkits.pointer that return types with arguments of type RWSet

Modifier and Type	Method	Description
Iterator<RWSet>	FieldRWTagger.UniqueRWSets.iterator()
Iterator<RWSet>	SideEffectTagger.UniqueRWSets.iterator()

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

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

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

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

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