soot.jimple.toolkits.thread.transaction
Class TransactionVisibleEdgesPred
java.lang.Object
soot.jimple.toolkits.thread.transaction.TransactionVisibleEdgesPred
- All Implemented Interfaces:
- EdgePredicate
public class TransactionVisibleEdgesPred
- 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.transaction.Transaction 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 |
TransactionVisibleEdgesPred
public TransactionVisibleEdgesPred(Collection<soot.jimple.toolkits.thread.transaction.Transaction> tns)
setExemptTransaction
public void setExemptTransaction(soot.jimple.toolkits.thread.transaction.Transaction exemptTn)
want
public boolean want(Edge e)
- Returns true iff the edge e is wanted.
- Specified by:
want
in interface EdgePredicate