Package soot.jimple.toolkits.thread.transaction

Class Summary
DeadlockAvoidanceEdge  
LockRegion  
LocksetAnalysis  
NewStaticLock  
TransactionAnalysis  
TransactionAwareSideEffectAnalysis  
TransactionBodyTransformer  
TransactionExternalRWAnalysis  
TransactionTransformer  
TransactionVisibleEdgesPred 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.