---

State.java

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

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;
import de.fub.bytecode.*;

public class State implements iState {

  private KernelState state;

  public State() {
    state = (KernelState)((VirtualMachine)Engine.vm).getKernelState();
  }  
  public static iValue createValue(int type, long value, DynamicArea da) {
    switch(type) {
      case Constants.T_INT : 
    return new IntValue(value);
      case Constants.T_BOOLEAN : 
    return new BoolValue(value);
      case Constants.T_SHORT : 
    return new ShortValue(value);
      case Constants.T_OBJECT: 
    return new ObjectValue(value,da);
      case Constants.T_FLOAT: 
    return new FloatValue(value);
      case Constants.T_LONG: 
    return new LongValue(value);
      case Constants.T_DOUBLE: 
    return new DoubleValue(value);
      case Constants.T_ARRAY : 
    return new ArrayValue(value,da);
      default : return null;
    }


  }  
  // given thread number, look at top of stack, return method for query
  public iMethodState getMethodState(int threadNumber) {
    return new MethodState(((ThreadInfo)state.getThreadInfo(threadNumber)).getTopStackFrame(),state.dynamic_area);
  }  
  // get value of a static field
  public iValue getStaticFieldValue(String className, String fieldName) {
    // determine type then create intValue, objectValue etc.
    StaticArea sa = state.static_area;
    long value = sa.getValue(className,fieldName);
    return State.createValue(sa.getVariableType(className,fieldName),
    value,
    state.dynamic_area);
  }  
  // is a thread active
  public boolean isActive(int threadNumber) {
    return ((ThreadInfo)state.getThreadInfo(threadNumber)).isAlive();  
  }  
  public boolean isLoaded(String classname) {
    return state.static_area.isLoaded(classname);
  }  
  public void newState() {
    state = (KernelState)((VirtualMachine)Engine.vm).getKernelState();
  }  
  // number of threads 
  public int numOfThreads() {
    return state.getThreadCount();
  }  
}

---