public String getTypeString(Type type) {
if (type instanceof ArrayType) return getTypeString(((ArrayType) type).getElementType()) + "[]";
else if (type instanceof ClassInterfacesType)
return getClassString(((ClassInterfacesType) type).getClassInfo());
else if (type instanceof NullType) return "Object";
else return type.toString();
}
