soot.jimple.toolkits.thread.synchronization
Class CriticalSectionVisibleEdgesPred
java.lang.Object
soot.jimple.toolkits.thread.synchronization.CriticalSectionVisibleEdgesPred
- All Implemented Interfaces:
- EdgePredicate
public class CriticalSectionVisibleEdgesPred
- extends Object
- implements EdgePredicate
A predicate that accepts edges that are not part of the class library and do not have a source statement that falls inside a transaction.
- Author:
- Richard L. Halpert
Method Summary |
void |
setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection exemptTn)
|
boolean |
want(Edge e)
Returns true iff the edge e is wanted. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CriticalSectionVisibleEdgesPred
public CriticalSectionVisibleEdgesPred(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> tns)
setExemptTransaction
public void setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection exemptTn)
want
public boolean want(Edge e)
- Returns true iff the edge e is wanted.
- Specified by:
want
in interface EdgePredicate