Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
protected SystemClassLoaderInfo |
VM.createSystemClassLoaderInfo(int appId) |
static SystemClassLoaderInfo |
ClassLoaderInfo.getCurrentSystemClassLoader() |
SystemClassLoaderInfo |
ApplicationContext.getSystemClassLoader() |
SystemClassLoaderInfo |
ThreadInfo.getSystemClassLoaderInfo() |
Modifier and Type | Method and Description |
---|---|
protected int |
VM.createMainThreadGroup(SystemClassLoaderInfo sysCl,
ThreadInfo tiMain,
int mainThreadRef)
we need to initialize the ThreadGroup object explicitly because the main thread is not yet runnable
|
protected void |
VM.createMainThreadObject(SystemClassLoaderInfo sysCl,
ThreadInfo tiMain)
we need to initialize the Thread object explicitly because the main thread is not yet runnable
|
protected void |
VM.createSystemClassLoaderObject(SystemClassLoaderInfo sysCl,
ThreadInfo tiMain) |
protected ClassInfo |
VM.getMainClassInfo(SystemClassLoaderInfo sysCl,
String mainClassName,
ThreadInfo tiMain,
List<ClassInfo> list)
this adds the application main class and its supers to the list of startup classes
|
protected List<ClassInfo> |
VM.getStartupSystemClassInfos(SystemClassLoaderInfo sysCl,
ThreadInfo tiMain)
return a list of ClassInfos for essential system types
If system classes are not found, or are not valid JPF model classes, we throw
a JPFConfigException and exit
returned ClassInfos are not yet registered in Statics and don't have class objects
|