Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Field and Description |
---|---|
protected LocalVarInfo |
LocalVariableInstruction.lv |
Modifier and Type | Method and Description |
---|---|
LocalVarInfo |
LocalVariableInstruction.getLocalVarInfo() |
Modifier and Type | Method and Description |
---|---|
LocalVarInfo |
VarSpec.getMatchingLocalVarInfo(MethodInfo mi,
int pc,
int slotIdx) |
Modifier and Type | Field and Description |
---|---|
protected LocalVarInfo[] |
MethodInfo.localVars
Local variable information
|
Modifier and Type | Method and Description |
---|---|
LocalVarInfo[] |
MethodInfo.getArgumentLocalVars()
return only the LocalVarInfos for arguments, in order of definition
or null if there are no localVarInfos.
|
LocalVarInfo |
MethodInfo.getLocalVar(int slotIdx,
int pc) |
LocalVarInfo |
MethodInfo.getLocalVar(String name,
int pc) |
LocalVarInfo |
StackFrame.getLocalVarInfo(int idx) |
LocalVarInfo |
StackFrame.getLocalVarInfo(String name) |
LocalVarInfo[] |
MethodInfo.getLocalVars() |
LocalVarInfo[] |
StackFrame.getLocalVars()
<2do> - this should return only LocalVarInfo for the current pc
|
Modifier and Type | Method and Description |
---|---|
Object |
StackFrame.getLocalValueObject(LocalVarInfo lv) |
void |
MethodInfo.setLocalVarTable(LocalVarInfo[] locals) |