Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
JVMDirectCallStackFrame
a direct call stackframe that supports JVM calling conventions
|
Modifier and Type | Method and Description |
---|---|
DirectCallStackFrame |
JVMClassInfo.createDirectCallStackFrame(ThreadInfo ti,
MethodInfo miCallee,
int nLocals) |
DirectCallStackFrame |
JVMClassInfo.createRunStartStackFrame(ThreadInfo ti,
MethodInfo miRun)
while this is a normal DirectCallStackFrame, it has different code which has to be created here
|
Modifier and Type | Field and Description |
---|---|
protected DirectCallStackFrame |
ThreadInfo.returnedDirectCall
the last returned direct call frame
|
Modifier and Type | Method and Description |
---|---|
DirectCallStackFrame |
MethodInfo.createDirectCallStackFrame(ThreadInfo ti,
int nLocals) |
DirectCallStackFrame |
ClassInfo.createDirectCallStackFrame(ThreadInfo ti,
MethodInfo callee,
int nLocalSlots) |
DirectCallStackFrame |
MethodInfo.createRunStartStackFrame(ThreadInfo ti) |
DirectCallStackFrame |
ClassInfo.createRunStartStackFrame(ThreadInfo ti,
MethodInfo miRun) |
DirectCallStackFrame |
DirectCallStackFrame.getPreviousDirectCallStackFrame() |
DirectCallStackFrame |
ThreadInfo.getReturnedDirectCall() |
Modifier and Type | Method and Description |
---|---|
protected void |
VM.pushMainEntryArgs(MethodInfo miMain,
String[] args,
ThreadInfo tiMain,
DirectCallStackFrame frame) |