Uses of Class
gov.nasa.jpf.vm.LocalVarInfo

Packages that use LocalVarInfo

Package	Description
gov.nasa.jpf.jvm.bytecode
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of LocalVarInfo in gov.nasa.jpf.jvm.bytecode

Fields in gov.nasa.jpf.jvm.bytecode declared as LocalVarInfo

Modifier and Type	Field and Description
protected LocalVarInfo	LocalVariableInstruction.lv

Methods in gov.nasa.jpf.jvm.bytecode that return LocalVarInfo

Modifier and Type	Method and Description
LocalVarInfo	LocalVariableInstruction.getLocalVarInfo()

Uses of LocalVarInfo in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return LocalVarInfo

Modifier and Type	Method and Description
LocalVarInfo	VarSpec.getMatchingLocalVarInfo(MethodInfo mi, int pc, int slotIdx)

Uses of LocalVarInfo in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as LocalVarInfo

Modifier and Type	Field and Description
protected LocalVarInfo[]	MethodInfo.localVars Local variable information

Methods in gov.nasa.jpf.vm that return LocalVarInfo

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

Methods in gov.nasa.jpf.vm with parameters of type LocalVarInfo

Modifier and Type	Method and Description
Object	StackFrame.getLocalValueObject(LocalVarInfo lv)
void	MethodInfo.setLocalVarTable(LocalVarInfo[] locals)