public class MultiProcessVM extends VM
backtracker, CHECK_CONSISTENCY, config, EMPTY_ARGS, error_id, indentOutput, initialized, isBigEndian, isTraceReplay, lastTrailInfo, listeners, log, newStateId, out, path, pathOutput, postGcActions, restorer, runGc, serializer, ss, stateSet, timeModel, transitionOccurred, treeOutput, vm
Constructor and Description |
---|
MultiProcessVM(JPF jpf,
Config conf) |
Modifier and Type | Method and Description |
---|---|
ApplicationContext |
getApplicationContext(int objRef)
given an object reference, it returns the ApplicationContext of the process to which
this object belongs
|
ApplicationContext[] |
getApplicationContexts() |
ThreadInfo[] |
getAppThreads(ThreadInfo ti)
Returns all the threads that belong to the same application as ti
|
int |
getNumberOfApplications() |
int |
getRunnableAppThreadCount(ThreadInfo ti) |
ThreadInfo[] |
getRunnableAppThreads(ThreadInfo ti) |
ThreadInfo[] |
getRunnableAppThreadsWith(ThreadInfo ti) |
ThreadInfo[] |
getRunnableAppThreadsWithout(ThreadInfo ti) |
String |
getSUTDescription() |
String |
getSUTName() |
boolean |
hasOnlyDaemonRunnablesOtherThan(ThreadInfo ti) |
boolean |
initialize()
this is the main initialization point that sets up startup objects threads and callstacks.
|
boolean |
isDeadlocked() |
boolean |
isEndState()
We made this to be overriden by Single/MultiprcessesVM implementations,
since for MultiprcessesVM one can decide when to terminate (after the
the termination of all processes or only one process).
|
boolean |
isSingleProcess() |
activateGC, addListener, addPostGcAction, backtrack, breakTransition, checkConsistency, cleanUp, createMainThreadGroup, createMainThreadInfo, createMainThreadObject, createSystemClassLoaderInfo, createSystemClassLoaderObject, createThreadInfo, currentTimeMillis, dumpThreadStates, forceState, forward, getAliveThreadCount, getBacktracker, getChoiceGenerator, getChoiceGenerators, getChoiceGeneratorsOfType, getClassInfo, getClassLoader, getClassLoaderList, getClonedPath, getConfig, getCurrentChoiceGenerator, getCurrentThread, getCurrentTransition, getElementInfo, getException, getHeap, getInstruction, getJPF, getKernelState, getLastChoiceGeneratorOfType, getLastStep, getLastTransition, getLiveThreads, getMainClassInfo, getMainEntryMethodInfo, getModifiableElementInfo, getNextChoiceGenerator, getNextListenerOfType, getPath, getPathLength, getPendingException, getPendingOutput, getPlatformEndianness, getRestorableState, getRestorer, getRunnableThreadCount, getSchedulerFactory, getSerializer, getStartupSystemClassInfos, getStartupSystemClassNames, getStateCount, getStateId, getStateSet, getSystemState, getThreadList, getThreadName, getVM, handleException, hasListenerOfType, hasOtherNonDaemonRunnablesThan, hasOtherRunnablesThan, hasPendingException, hasToRecordPathOutput, hasToRecordSteps, ignoreState, ignoreState, initFields, initializeMainThread, initSubsystems, initSystemState, initTimeModel, isAtomic, isBigEndianPlatform, isBoringState, isIgnoredState, isInitialized, isInterestingState, isNewState, isTraceReplay, isVisitedState, kernelStateChanged, nanoTime, notifyChoiceGeneratorAdvanced, notifyChoiceGeneratorProcessed, notifyChoiceGeneratorRegistered, notifyChoiceGeneratorSet, notifyClassLoaded, notifyExceptionBailout, notifyExceptionHandled, notifyExceptionThrown, notifyExecuteInstruction, notifyGCBegin, notifyGCEnd, notifyInstructionExecuted, notifyLoadClass, notifyMethodEntered, notifyMethodExited, notifyObjectCreated, notifyObjectLocked, notifyObjectNotifies, notifyObjectNotifiesAll, notifyObjectReleased, notifyObjectUnlocked, notifyObjectWait, notifyThreadBlocked, notifyThreadInterrupted, notifyThreadNotified, notifyThreadScheduled, notifyThreadStarted, notifyThreadTerminated, notifyThreadWaiting, notifyVMInitialized, print, print, print, print, print, print, print, printCurrentStackTrace, printLiveThreadStatus, println, println, processPostGcActions, pushClinits, pushMainEntry, pushMainEntryArgs, recordSteps, registerClassLoader, registerThread, registerThreadListCleanup, removeListener, resetNextCG, restoreState, retainStateAttributes, setMandatoryNextChoiceGenerator, setNextChoiceGenerator, setSerializer, setTraceReplay, storePathOutput, storeTrace, transitionOccurred, updatePath
public boolean initialize()
VM
initialize
in class VM
public int getNumberOfApplications()
getNumberOfApplications
in class VM
public ApplicationContext getApplicationContext(int objRef)
VM
getApplicationContext
in class VM
public ApplicationContext[] getApplicationContexts()
getApplicationContexts
in class VM
public String getSUTName()
getSUTName
in class VM
public String getSUTDescription()
getSUTDescription
in class VM
public boolean isSingleProcess()
isSingleProcess
in class VM
public boolean isEndState()
VM
isEndState
in class VM
public boolean isDeadlocked()
isDeadlocked
in class VM
public boolean hasOnlyDaemonRunnablesOtherThan(ThreadInfo ti)
hasOnlyDaemonRunnablesOtherThan
in class VM
public ThreadInfo[] getAppThreads(ThreadInfo ti)
public ThreadInfo[] getRunnableAppThreads(ThreadInfo ti)
public int getRunnableAppThreadCount(ThreadInfo ti)
public ThreadInfo[] getRunnableAppThreadsWith(ThreadInfo ti)
public ThreadInfo[] getRunnableAppThreadsWithout(ThreadInfo ti)