Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected ApplicationContext |
ThreadInfo.appCtx |
protected ApplicationContext |
SingleProcessVM.appCtx |
Modifier and Type | Method and Description |
---|---|
protected ApplicationContext |
SingleProcessVM.createApplicationContext() |
ApplicationContext |
ThreadInfo.getApplicationContext() |
ApplicationContext |
MultiProcessVM.getApplicationContext(int objRef) |
ApplicationContext |
SingleProcessVM.getApplicationContext(int obj) |
abstract ApplicationContext |
VM.getApplicationContext(int objRef)
given an object reference, it returns the ApplicationContext of the process to which
this object belongs
|
ApplicationContext[] |
MultiProcessVM.getApplicationContexts() |
ApplicationContext[] |
SingleProcessVM.getApplicationContexts() |
abstract ApplicationContext[] |
VM.getApplicationContexts() |
Modifier and Type | Method and Description |
---|---|
protected ThreadInfo |
VM.createMainThreadInfo(int id,
ApplicationContext appCtx) |
protected ThreadInfo |
VM.initializeMainThread(ApplicationContext appCtx,
int tid)
create and initialize the main thread for the given ApplicationContext.
|
Constructor and Description |
---|
ThreadInfo(VM vm,
int id,
ApplicationContext appCtx)
mainThread ctor called by the VM.
|