iMethodState.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002 
00003 import gov.nasa.arc.ase.jpf.*;
00004 import gov.nasa.arc.ase.jpf.jvm.*;
00005 
00006 public interface iMethodState { // StackFrame query interface
00007 
00008   // return value of local variable
00009 public  iValue       getLocalValue(String variableName);
00010 }