Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members

iMethodState.java

00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002 
00003 public interface iMethodState {
00004   public  iValue getLocalValue(String variableName);  
00005 }

Generated at Thu Feb 7 06:46:34 2002 for Bandera by