|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |