---

MethodState.java

package gov.nasa.arc.ase.jpf.jvm.examine;

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;

public class MethodState implements iMethodState {

  private StackFrame method; // frame for the method to be queried
  private DynamicArea heap;

  public MethodState(StackFrame sf, DynamicArea da) {
    method = sf;
    heap = da;
  }  
  public iValue getLocalValue(String variableName) {
    // map name onto index and return value
    long value = method.getLocalVariable(variableName);
    return State.createValue(method.getType(variableName),value,heap);
  }  
}

---