| java.lang.Object soot.Transformer soot.SceneTransformer soot.jimple.toolkits.thread.transaction.TransactionTransformer
Method Summary | |
public void | assignNamesToTransactions(List<Transaction> AllTransactions) | protected void | internalTransform(String phaseName, Map options) | public String | locksetToLockNumString(List<EquivalentValue> lockset, Map<Value, Integer> lockToLockNum) | public boolean | mayHappenInParallel(Transaction tn1, Transaction tn2) | public void | printGraph(Collection<Transaction> AllTransactions, List<TransactionGroup> groups, Map<Value, Integer> lockToLockNum) | public void | printGroups(Collection<Transaction> AllTransactions, int nextGroup, List<TransactionGroup> groups, RWSet rws) | public void | printTable(Collection<Transaction> AllTransactions) | public static TransactionTransformer | v() |
optionAvoidDeadlock | boolean optionAvoidDeadlock(Code) | | |
optionDoMHP | boolean optionDoMHP(Code) | | |
optionDoTLO | boolean optionDoTLO(Code) | | |
optionIncludeEmptyPossibleEdges | boolean optionIncludeEmptyPossibleEdges(Code) | | |
optionLeaveOriginalLocks | boolean optionLeaveOriginalLocks(Code) | | |
optionOnFlyTLO | boolean optionOnFlyTLO(Code) | | |
optionOneGlobalLock | boolean optionOneGlobalLock(Code) | | |
optionOpenNesting | boolean optionOpenNesting(Code) | | |
optionPrintDebug | boolean optionPrintDebug(Code) | | |
optionPrintGraph | boolean optionPrintGraph(Code) | | |
optionPrintMhpSummary | boolean optionPrintMhpSummary(Code) | | |
optionPrintTable | boolean optionPrintTable(Code) | | |
optionStaticLocks | boolean optionStaticLocks(Code) | | |
optionUseLocksets | boolean optionUseLocksets(Code) | | |
TransactionTransformer | public TransactionTransformer(Singletons.Global g)(Code) | | |
internalTransform | protected void internalTransform(String phaseName, Map options)(Code) | | |
|
|