public class SingleProcessVM extends VM
Modifier and Type | Field and Description |
---|---|
protected ApplicationContext |
appCtx |
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
Modifier | Constructor and Description |
---|---|
protected |
SingleProcessVM() |
|
SingleProcessVM(JPF jpf,
Config conf) |
Modifier and Type | Method and Description |
---|---|
protected ApplicationContext |
createApplicationContext() |
ApplicationContext |
getApplicationContext(int obj)
given an object reference, it returns the ApplicationContext of the process to which
this object belongs
|
ApplicationContext[] |
getApplicationContexts() |
int |
getNumberOfApplications() |
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()
The program is terminated if there are no alive threads, and there is no nonDaemon left.
|
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, isSingleProcess, 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
protected ApplicationContext appCtx
protected ApplicationContext createApplicationContext()
public boolean initialize()
VM
initialize
in class VM
public int getNumberOfApplications()
getNumberOfApplications
in class VM
public String getSUTName()
getSUTName
in class VM
public String getSUTDescription()
getSUTDescription
in class VM
public ApplicationContext getApplicationContext(int obj)
VM
getApplicationContext
in class VM
public ApplicationContext[] getApplicationContexts()
getApplicationContexts
in class VM
public boolean isEndState()
isEndState
in class VM
public boolean isDeadlocked()
isDeadlocked
in class VM
public boolean hasOnlyDaemonRunnablesOtherThan(ThreadInfo ti)
hasOnlyDaemonRunnablesOtherThan
in class VM