Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
ClassLoaderInfo |
class |
ClassLoaderList
container for all ClassLoaderInfos that are in the current state.
|
class |
ClassPath
this is a lookup mechanism for class files that is based on an ordered
list of directory or jar entries
|
class |
KernelState
This class represents the SUT program state (statics, heap and threads)
|
class |
SystemClassLoaderInfo |
class |
ThreadInfo
Represents a thread.
|
class |
ThreadList
Contains the list of all ThreadInfos for live java.lang.Thread objects
We add a thread upon creation (within the ThreadInfo ctor), and remove it
when the corresponding java.lang.Thread object gets recycled by JPF.
|