void |
LockAllocator.printGraph(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig,
java.util.Map<Value,java.lang.Integer> lockToLockNum) |
void |
LockAllocator.printGraph(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig,
java.util.Map<Value,java.lang.Integer> lockToLockNum) |
void |
LockAllocator.printGroups(java.util.Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions,
CriticalSectionInterferenceGraph ig) |
void |
LockAllocator.printGroups(java.util.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) |