soot.jimple.toolkits.thread.synchronization
Class CriticalSectionInterferenceGraph

java.lang.Object
  soot.jimple.toolkits.thread.synchronization.CriticalSectionInterferenceGraph

public class CriticalSectionInterferenceGraph
extends Object

Constructor Summary

CriticalSectionInterferenceGraph(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections, MhpTester mhp, boolean optionOneGlobalLock, boolean optionLeaveOriginalLocks, boolean optionIncludeEmptyPossibleEdges)

Method Summary

void	calculateGroups()
int	groupCount()
List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup>	groups()
boolean	mayHappenInParallel(soot.jimple.toolkits.thread.synchronization.CriticalSection tn1, soot.jimple.toolkits.thread.synchronization.CriticalSection tn2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CriticalSectionInterferenceGraph

public CriticalSectionInterferenceGraph(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
                                        MhpTester mhp,
                                        boolean optionOneGlobalLock,
                                        boolean optionLeaveOriginalLocks,
                                        boolean optionIncludeEmptyPossibleEdges)

Method Detail

groupCount

public int groupCount()

groups

public List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups()

calculateGroups

public void calculateGroups()

mayHappenInParallel

public boolean mayHappenInParallel(soot.jimple.toolkits.thread.synchronization.CriticalSection tn1,
                                   soot.jimple.toolkits.thread.synchronization.CriticalSection tn2)