---

Types.java

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

import de.fub.bytecode.Constants;
import gov.nasa.arc.ase.jpf.InternalErrorException;

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 getArgumentsSize(String signature) {
    String[] args = getArgumentsTypes(signature);

    int length = args.length;
    int size = 0;

    for(int i = 0; i < length; i++)
      size += getTypeSize(args[i]);

    return size;
  }  
  public static String[] getArgumentsTypes(String signature) {
    if(signature.charAt(0) != '(')
      throw new InternalErrorException("not a method signature");

    int idx = 1;
    int size = 0;

    while(signature.charAt(idx) != ')') {
      idx += getTypeLength(signature, idx);
      size++;
    }

    String[] args = new String[size];

    int i = 0;
    idx = 1;
    while(signature.charAt(idx) != ')') {
      int end = idx + getTypeLength(signature, idx);
      args[i++] = signature.substring(idx, end);
      idx = end;
    }

    return args;
  }  
  public static String getArrayElementType(String type) {
    if(type.charAt(0) != '[')
      throw new InternalErrorException("not an array type");

    return type.substring(1);
  }  
  public static int getBaseType(String type) {
    switch(type.charAt(0)) {
      case 'B': return T_BYTE;
      case 'C': return T_CHAR;
      case 'D': return T_DOUBLE;
      case 'F': return T_FLOAT;
      case 'I': return T_INT;
      case 'J': return T_LONG;
      case 'L': return T_REFERENCE;
      case 'S': return T_SHORT;
      case 'V': return T_VOID;
      case 'Z': return T_BOOLEAN;
      case '[': return T_ARRAY;
    }

    throw new InternalErrorException("invalid type string: " + type);
  }  
  private static int getTypeLength(String signature, int idx) {
    switch(signature.charAt(idx)) {
      case 'B':
      case 'C':
      case 'D':
      case 'F':
      case 'I':
      case 'J':
      case 'S':
      case 'V':
      case 'Z':
    return 1;

      case '[':
    return 1 + getTypeLength(signature, idx+1);

      case 'L':
    int semicolon = signature.indexOf(';', idx);

    if(semicolon == -1)
      throw new InternalErrorException("invalid type signature: " + signature);

    return semicolon - idx + 1;
    }

    throw new InternalErrorException("invalid type signature");
  }  
  public static String getTypeName(String type) {
    switch(type.charAt(0)) {
      case 'B': return "byte";
      case 'C': return "char";
      case 'D': return "double";
      case 'F': return "float";
      case 'I': return "int";
      case 'J': return "long";
      case 'L': return type.substring(1, type.indexOf(';')).replace('/', '.');
      case 'S': return "short";
      case 'V': return "void";
      case 'Z': return "boolean";
      case '[': return getTypeName(type.substring(1)) + "[]";
    }

    throw new InternalErrorException("invalid type string: " + type);
  }  
  public static int getTypeSize(String type) {
    switch(type.charAt(0)) {
      case 'V': return 0;

      case 'B':
      case 'C':
      case 'F':
      case 'I':
      case 'L':
      case 'S':
      case 'Z':
      case '[': return 1;

      case 'D': 
      case 'J': return 2;
    }

    throw new InternalErrorException("invalid type string: " + type);
  }  
  public static int hiDouble(double d) { return hiLong(Double.doubleToLongBits(d)); }  
  public static int hiLong(long l) { return (int)(l >> 32); }  
  public static boolean instanceOf(String type, String ofType) {
    int bType = getBaseType(type);

    if(bType == T_ARRAY && ofType.equals("Ljava/lang/Object;"))
      return true;

    int bOfType = getBaseType(ofType);

    if(bType != bOfType) return false;

    switch(bType) {
      case T_ARRAY:
    return instanceOf(type.substring(1), ofType.substring(1));
    
      case T_REFERENCE:
    return ClassInfo.getClassInfo(getTypeName(type)).instanceOf(
        getTypeName(ofType));

      default:
    return true;
    }
  }  
  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) | ((long)l & 0xFFFFFFFFL); }  
  public static boolean intToBoolean(int i) { return i != 0; }  
  public static float intToFloat(int i) { return Float.intBitsToFloat(i); }  
  public static boolean isReference(String type) {
    int t = getBaseType(type);

    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 & 0xFFFFFFFFL); }  
  public static double longToDouble(long l) { return Double.longBitsToDouble(l); }  
}

---