public class CriticalSectionVisibleEdgesPred extends Object implements EdgePredicate
Constructor and Description |
---|
CriticalSectionVisibleEdgesPred(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> tns) |
Modifier and Type | Method and Description |
---|---|
void |
setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection exemptTn) |
boolean |
want(Edge e)
Returns true iff the edge e is wanted.
|
public CriticalSectionVisibleEdgesPred(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> tns)
public void setExemptTransaction(soot.jimple.toolkits.thread.synchronization.CriticalSection exemptTn)
public boolean want(Edge e)
want
in interface EdgePredicate
Copyright © 2020 Sable. All rights reserved.