---

State.java

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

import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.VirtualMachine;
import gov.nasa.arc.ase.jpf.jvm.Types;
import gov.nasa.arc.ase.jpf.jvm.ElementInfo;
import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;

public class State implements iState {
  private SystemState ss;

  public State() {
    ss = VirtualMachine.getSS();
  }  
  public static iValue createValue(String type, long value, SystemState ss) {
    switch(Types.getBaseType(type)) {
      case Types.T_BYTE: return new ByteValue((byte)value);
      case Types.T_CHAR: return new CharValue((char)value);
      case Types.T_DOUBLE: return new DoubleValue(Types.longToDouble(value));
      case Types.T_FLOAT: return new FloatValue(Types.intToFloat((int)value));
      case Types.T_INT: return new IntValue((int)value);
      case Types.T_LONG: return new LongValue(value);
      case Types.T_REFERENCE: return new ObjectValue((int)value, ss);
      case Types.T_SHORT: return new ShortValue((short)value);
      case Types.T_BOOLEAN: return new BoolValue(Types.intToBoolean((int)value));
      case Types.T_ARRAY: return new ArrayValue((int)value, ss);
    }

    return null;
  }  
  public iMethodState getMethodState(int threadNumber) {
    return new MethodState((ThreadInfo)ss.getThreadInfo(threadNumber));
  }  
  public iValue getStaticFieldValue(String className, String fieldName) {
    ElementInfo e = ss.ks.sa.get(className);

    if(Types.getTypeSize(e.getFieldType(fieldName)) == 1)
      return State.createValue(e.getFieldType(fieldName), e.getField(fieldName), ss);
    else
      return State.createValue(e.getFieldType(fieldName), e.getLongField(fieldName), ss);
  }  
  public boolean isActive(int threadNumber) {
    return ((ThreadInfo)ss.getThreadInfo(threadNumber)).isAlive();  
  }  
  public boolean isLoaded(String className) {
    return ss.ks.sa.get(className) != null;
  }  
  public void newState() {
    ss = VirtualMachine.getSS();
  }  
  public int numOfThreads() {
    return ss.getThreadCount();
  }  
}

---