soot.jimple.toolkits.thread.transaction
Class TransactionVisibleEdgesPred

java.lang.Object
  extended bysoot.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

Constructor Summary
TransactionVisibleEdgesPred(Collection tns)
           
 
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
 

Constructor Detail

TransactionVisibleEdgesPred

public TransactionVisibleEdgesPred(Collection tns)
Method Detail

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