---

Signature.java

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

//#ifdef BUCHI && BANDERA
import java.lang.reflect.*;

class Signature {
  private static String getArrayTypeName(Class c) {
    return "[" + name(c.getComponentType());
  }  
  private static String getPrimitiveTypeName(String s) {
    if(s.equals("boolean")) return "Z";
    if(s.equals("character")) return "C";
    if(s.equals("byte")) return "B";
    if(s.equals("short")) return "S";
    if(s.equals("int")) return "I";
    if(s.equals("long")) return "J";
    if(s.equals("float")) return "F";
    if(s.equals("double")) return "D";
    if(s.equals("void")) return "V";

    return null;
  }  
  public static String getSignature(Method m) {
    StringBuffer sb = new StringBuffer();

    sb.append(m.getName());

    sb.append('(');

    Class[] types = m.getParameterTypes();
    for(int j = 0, l1 = types.length; j < l1; j++)
      sb.append(name(types[j]));

    sb.append(')');

    sb.append(name(m.getReturnType()));

    return sb.toString();
  }  
  private static String name(Class c) {
    if(c.isPrimitive())
      return getPrimitiveTypeName(c.getName());
    else if(c.isArray())
      return getArrayTypeName(c);
    else
      return "L" + c.getName().replace('.', '/') + ";";
  }  
}

---