00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002
00003 import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;
00004 import gov.nasa.arc.ase.jpf.jvm.Types;
00005
00006 public class MethodState implements iMethodState {
00007 private ThreadInfo th;
00008
00009 public MethodState(ThreadInfo th) {
00010 this.th = th;
00011 }
00012 public iValue getLocalValue(String name) {
00013 if(Types.getTypeSize(th.getLocalVariableType(name)) == 1)
00014 return State.createValue(th.getLocalVariableType(name), th.getLocalVariable(name), th.list.ks.ss);
00015 else
00016 return State.createValue(th.getLocalVariableType(name), th.getLongLocalVariable(name), th.list.ks.ss);
00017 }
00018 }
