---

Types.java

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

import de.fub.bytecode.Constants;
import de.fub.bytecode.generic.Type;

public class Types implements Constants {
  public static int booleanToInt(boolean b) { return b ? 1 : 0; }  
  public static long doubleToLong(double d) { return Double.doubleToLongBits(d); }  
  public static int floatToInt(float f) { return Float.floatToIntBits(f); }  
  public static int getType(String signature) {
    return Type.getType(signature).getType();
  }  
  public static int hiDouble(double d) { return hiLong(Double.doubleToLongBits(d)); }  
  public static int hiLong(long l) { return (int)(l >> 32); }  
  public static double intsToDouble(int l, int h) { return longToDouble(intsToLong(l, h)); }  
  public static long intsToLong(int l, int h) { return (((long)h) << 32) + l; }  
  public static boolean intToBoolean(int i) { return i != 0; }  
  public static float intToFloat(int i) { return Float.intBitsToFloat(i); }  
  public static boolean isReference(String signature) {
    int t = getType(signature);
    return t == T_ARRAY || t == T_REFERENCE;
  }  
  public static int loDouble(double d) { return loLong(Double.doubleToLongBits(d)); }  
  public static int loLong(long l) { return (int)(l & 0xFFFFFFFF); }  
  public static double longToDouble(long l) { return Double.longBitsToDouble(l); }  
  public static long newValue(String signature) {
    switch(getType(signature)) {
      case T_BOOLEAN:
      case T_BYTE:
      case T_CHAR:
      case T_DOUBLE:
      case T_FLOAT:
      case T_INT:
      case T_LONG:
      case T_SHORT:
    return (long)0;
    
      case T_ARRAY:
      case T_REFERENCE:
    return (long)-1;
    }

    return 0;
  }  
}

---