soot.jimple.toolkits.thread.mhp
Class UnsynchronizedMhpAnalysis

java.lang.Object
  soot.jimple.toolkits.thread.mhp.SynchObliviousMhpAnalysis
      soot.jimple.toolkits.thread.mhp.UnsynchronizedMhpAnalysis

All Implemented Interfaces:

Runnable, MhpTester

Deprecated. This class has been added to maintain compatibility while it is being renamed to SynchObliviousMhpAnalysis. Use that instead!

public class UnsynchronizedMhpAnalysis
extends SynchObliviousMhpAnalysis

Constructor Summary

UnsynchronizedMhpAnalysis()
Deprecated.

Method Summary

Methods inherited from class soot.jimple.toolkits.thread.mhp.SynchObliviousMhpAnalysis

buildThreadList, getThreadClassList, getThreads, mayHappenInParallel, mayHappenInParallel, printMhpSummary, run

Methods inherited from class java.lang.Object

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

Constructor Detail

UnsynchronizedMhpAnalysis

public UnsynchronizedMhpAnalysis()

Deprecated.