void |
LockAllocator.printGraph(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig,
Map<Value,Integer> lockToLockNum) |
void |
LockAllocator.printGraph(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig,
Map<Value,Integer> lockToLockNum) |
void |
LockAllocator.printGroups(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig) |
void |
LockAllocator.printGroups(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig) |
void |
LockAllocator.setFlagsForDynamicAllocations(CriticalSectionInterferenceGraph ig) |
void |
LockAllocator.setFlagsForDynamicAllocations(CriticalSectionInterferenceGraph ig) |
void |
LockAllocator.setFlagsForStaticAllocations(CriticalSectionInterferenceGraph ig) |
void |
LockAllocator.setFlagsForStaticAllocations(CriticalSectionInterferenceGraph ig) |