2005-08-13 Jb Evain <jbevain@gmail.com>
[mono.git] / mono / dis / get.c
index 5fa56fe0b963344b05b28dec99d5148fa6743270..f76a8b1b326bce19b90e3bf9a3cefb7548f4bdbb 100644 (file)
@@ -12,6 +12,7 @@
 #include <string.h>
 #include <ctype.h>
 #include <glib.h>
+#include <math.h>
 #include "meta.h"
 #include "util.h"
 #include "get.h"
 
 extern gboolean substitute_with_mscorlib_p;
 
+static MonoGenericContext *
+get_memberref_context (MonoImage *m, guint32 mrp_token, MonoGenericContext *context);
+
 static char *
-get_memberref_parent (MonoImage *m, guint32 mrp_token);
+get_memberref_parent (MonoImage *m, guint32 mrp_token, MonoGenericContext *context);
 
 GHashTable *key_table = NULL;
 gboolean show_method_tokens = FALSE;
@@ -48,7 +52,7 @@ get_typedef (MonoImage *m, int idx)
                 
                 outer = get_typedef (m, mono_metadata_token_index (token));
                 result = g_strdup_printf (
-                        "%s%s%s/%s%s", ns, *ns?".":"", outer,
+                        "%s/%s%s", outer,
                         mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAME]),
                        tstring ? tstring : "");
                g_free (outer);
@@ -166,7 +170,7 @@ get_array_shape (MonoImage *m, const char *ptr, char **result)
  * Returns the stringified representation of a TypeSpec signature (22.2.17)
  */
 char *
-get_typespec (MonoImage *m, guint32 idx)
+get_typespec (MonoImage *m, guint32 idx, gboolean is_def, MonoGenericContext *context)
 {
        guint32 cols [MONO_TYPESPEC_SIZE];
        const char *ptr;
@@ -176,8 +180,8 @@ get_typespec (MonoImage *m, guint32 idx)
 
        MonoType *type;
 
-       type = mono_type_create_from_typespec (m, idx);
-               
+       type = mono_type_create_from_typespec_full (m, context, idx);
+
        mono_metadata_decode_row (&m->tables [MONO_TABLE_TYPESPEC], idx-1, cols, MONO_TYPESPEC_SIZE);
        ptr = mono_metadata_blob_heap (m, cols [MONO_TYPESPEC_SIGNATURE]);
        len = mono_metadata_decode_value (ptr, &ptr);
@@ -194,7 +198,7 @@ get_typespec (MonoImage *m, guint32 idx)
                if (*ptr == MONO_TYPE_VOID)
                        g_string_append (res, "void");
                else {
-                       ptr = get_type (m, ptr, &s);
+                       ptr = get_type (m, ptr, &s, context);
                        if (s)
                                g_string_append (res, s);
                }
@@ -209,7 +213,7 @@ get_typespec (MonoImage *m, guint32 idx)
                break;
                        
        case MONO_TYPE_ARRAY:
-               ptr = get_type (m, ptr, &s);
+               ptr = get_type (m, ptr, &s, context);
                g_string_append (res, s);
                g_free (s);
                g_string_append_c (res, ' ');
@@ -225,21 +229,14 @@ get_typespec (MonoImage *m, guint32 idx)
                        g_string_append_c (res, ' ');
                        g_free (s);
                }
-               ptr = get_type (m, ptr, &s);
+               ptr = get_type (m, ptr, &s, context);
                g_string_append (res, s);
                g_string_append (res, "[]");
                g_free (s);
                break;
 
-       case MONO_TYPE_VAR:
-       case MONO_TYPE_MVAR:
-               ptr = get_type (m, ptr-1, &s);
-               g_string_append (res, s);
-               g_free (s);
-               break;
-               
        default:
-               s = dis_stringify_type (m, type);
+               s = dis_stringify_type (m, type, is_def);
                g_string_append (res, s);
                g_free (s);
                break;
@@ -325,7 +322,7 @@ get_typeref (MonoImage *m, int idx)
  * at (dor_token >> 2) 
  */
 char *
-get_typedef_or_ref (MonoImage *m, guint32 dor_token)
+get_typedef_or_ref (MonoImage *m, guint32 dor_token, MonoGenericContext *context)
 {
        char *temp = NULL, *s = NULL;
        int table, idx;
@@ -348,7 +345,7 @@ get_typedef_or_ref (MonoImage *m, guint32 dor_token)
                break;
                
        case 2: /* TypeSpec */
-               s = get_typespec (m, idx);
+               s = get_typespec (m, idx, FALSE, context);
                break;
 
        default:
@@ -398,7 +395,7 @@ get_encoded_typedef_or_ref (MonoImage *m, const char *ptr, char **result)
        
        token = mono_metadata_decode_value (ptr, &ptr);
 
-       *result = get_typedef_or_ref (m, token);
+       *result = get_typedef_or_ref (m, token, NULL);
 
        return ptr;
 }
@@ -449,7 +446,7 @@ static dis_map_t element_type_map [] = {
        { MONO_TYPE_R4         , "float32" },
        { MONO_TYPE_R8         , "float64" },
        { MONO_TYPE_STRING     , "string" },
-       { MONO_TYPE_TYPEDBYREF , "TypedByRef" },
+       { MONO_TYPE_TYPEDBYREF , "typedref" },
        { MONO_TYPE_I          , "native int" },
        { MONO_TYPE_U          , "native unsigned int" },
        { MONO_TYPE_OBJECT     , "object" },
@@ -473,7 +470,7 @@ dis_stringify_token (MonoImage *m, guint32 token)
        switch (token >> 24) {
        case MONO_TABLE_TYPEDEF: return get_typedef (m, idx);
        case MONO_TABLE_TYPEREF: return get_typeref (m, idx);
-       case MONO_TABLE_TYPESPEC: return get_typespec (m, idx);
+       case MONO_TABLE_TYPESPEC: return get_typespec (m, idx, FALSE, NULL);
        default:
                 break;
        }
@@ -481,13 +478,13 @@ dis_stringify_token (MonoImage *m, guint32 token)
 }
 
 char*
-dis_stringify_array (MonoImage *m, MonoArrayType *array
+dis_stringify_array (MonoImage *m, MonoArrayType *array, gboolean is_def)
 {
        char *type;
        GString *s = g_string_new("");
        int i;
        
-       type = dis_stringify_type (m, &array->eklass->byval_arg);
+       type = dis_stringify_type (m, &array->eklass->byval_arg, is_def);
        g_string_append (s, type);
        g_free (type);
        g_string_append_c (s, '[');
@@ -532,16 +529,240 @@ dis_stringify_param (MonoImage *m, MonoType *param)
        char *t;
        char *result;
        char *attribs;
+       const char *in = param->attrs & PARAM_ATTRIBUTE_IN ? "[in]" : "";
        const char *out = param->attrs & PARAM_ATTRIBUTE_OUT ? "[out]": "";
        const char *opt = param->attrs & PARAM_ATTRIBUTE_OPTIONAL ? "[opt]": "";
-       attribs = g_strconcat(out, opt, NULL);
-       t = dis_stringify_type (m, param);
+       attribs = g_strconcat(in, out, opt, NULL);
+       t = dis_stringify_type (m, param, TRUE);
        result = g_strjoin(attribs[0] ? " ":"", attribs, t, NULL);
        g_free (t);
        g_free (attribs);
        return result;
 }
 
+static char*
+dis_stringify_variant_type (MonoMarshalVariant variant)
+{
+       switch (variant) {
+       case MONO_VARIANT_EMPTY:
+               return g_strdup ("");
+       case MONO_VARIANT_NULL:
+               return g_strdup ("null");
+       case MONO_VARIANT_I2:
+               return g_strdup ("int16");
+       case MONO_VARIANT_I4:
+               return g_strdup ("int32");
+       case MONO_VARIANT_R4:
+               return g_strdup ("float32");
+       case MONO_VARIANT_R8:
+               return g_strdup ("float64");
+       case MONO_VARIANT_CY:
+               return g_strdup ("currency");
+       case MONO_VARIANT_DATE:
+               return g_strdup ("date");
+       case MONO_VARIANT_BSTR:
+               return g_strdup ("bstr");
+       case MONO_VARIANT_DISPATCH:
+               return g_strdup ("idispatch");
+       case MONO_VARIANT_ERROR:
+               return g_strdup ("error");
+       case MONO_VARIANT_BOOL:
+               return g_strdup ("bool");
+       case MONO_VARIANT_VARIANT:
+               return g_strdup ("variant");
+       case MONO_VARIANT_UNKNOWN:
+               return g_strdup ("iunknown");
+       case MONO_VARIANT_DECIMAL:
+               return g_strdup ("decimal");
+       case MONO_VARIANT_I1:
+               return g_strdup ("int8");
+       case MONO_VARIANT_UI1:
+               return g_strdup ("unsigned int8");
+       case MONO_VARIANT_UI2:
+               return g_strdup ("unsigned int16");
+       case MONO_VARIANT_UI4:
+               return g_strdup ("unsigned int32");
+       case MONO_VARIANT_I8:
+               return g_strdup ("int64");
+       case MONO_VARIANT_UI8:
+               return g_strdup ("unsigned int64");
+       case MONO_VARIANT_INT:
+               return g_strdup ("int");
+       case MONO_VARIANT_UINT:
+               return g_strdup ("unsigned int");
+       case MONO_VARIANT_VOID:
+               return g_strdup ("void");
+       case MONO_VARIANT_HRESULT:
+               return g_strdup ("hresult");
+       case MONO_VARIANT_PTR:
+               return g_strdup ("*");
+       case MONO_VARIANT_SAFEARRAY:
+               return g_strdup ("safearray");
+       case MONO_VARIANT_CARRAY:
+               return g_strdup ("carray");
+       case MONO_VARIANT_USERDEFINED:
+               return g_strdup ("userdefined");
+       case MONO_VARIANT_LPSTR:
+               return g_strdup ("lpstr");
+       case MONO_VARIANT_LPWSTR:
+               return g_strdup ("lpwstr");
+       case MONO_VARIANT_RECORD:
+               return g_strdup ("record");
+       case MONO_VARIANT_FILETIME:
+               return g_strdup ("filetime");
+       case MONO_VARIANT_BLOB:
+               return g_strdup ("blob");
+       case MONO_VARIANT_STREAM:
+               return g_strdup ("stream");
+       case MONO_VARIANT_STORAGE:
+               return g_strdup ("storage");
+       case MONO_VARIANT_STREAMED_OBJECT:
+               return g_strdup ("streamed_object");
+       case MONO_VARIANT_STORED_OBJECT:
+               return g_strdup ("stored_object");
+       case MONO_VARIANT_BLOB_OBJECT:
+               return g_strdup ("blob_object");
+       case MONO_VARIANT_CF:
+               return g_strdup ("cf");
+       case MONO_VARIANT_CLSID:
+               return g_strdup ("clsid");
+       case MONO_VARIANT_VECTOR:
+               /* FIXME: output: <v_type> vector */
+               return g_strdup ("vector");
+       case MONO_VARIANT_ARRAY:
+               /* FIXME: output: <v_type> [ ] */
+               return g_strdup ("[]");
+       case MONO_VARIANT_BYREF:
+               /* FIXME: output: <v_type> & */
+               return g_strdup ("&");
+       default:
+               return g_strdup ("unknown");
+       }
+}
+
+static char*
+dis_stringify_native_type (MonoMarshalNative native)
+{
+       switch (native) {
+       case MONO_NATIVE_BOOLEAN:
+               return g_strdup ("bool");
+       case MONO_NATIVE_I1:
+               return g_strdup ("int8");
+       case MONO_NATIVE_U1:
+               return g_strdup ("unsigned int8");
+       case MONO_NATIVE_I2:
+               return g_strdup ("int16");
+       case MONO_NATIVE_U2:
+               return g_strdup ("unsigned int16");
+       case MONO_NATIVE_I4:
+               return g_strdup ("int32");
+       case MONO_NATIVE_U4:
+               return g_strdup ("unsigned int32");
+       case MONO_NATIVE_I8:
+               return g_strdup ("int64");
+       case MONO_NATIVE_U8:
+               return g_strdup ("unsigned int64");
+       case MONO_NATIVE_R4:
+               return g_strdup ("float32");
+       case MONO_NATIVE_R8:
+               return g_strdup ("float64");
+       case MONO_NATIVE_CURRENCY:
+               return g_strdup ("currency");
+       case MONO_NATIVE_BSTR:
+               return g_strdup ("bstr");
+       case MONO_NATIVE_LPSTR:
+               return g_strdup ("lpstr");
+       case MONO_NATIVE_LPWSTR:
+               return g_strdup ("lpwstr");
+       case MONO_NATIVE_LPTSTR:
+               return g_strdup ("lptstr");
+       case MONO_NATIVE_IUNKNOWN:
+               return g_strdup ("iunknown");
+       case MONO_NATIVE_IDISPATCH:
+               return g_strdup ("idispatch");
+       case MONO_NATIVE_STRUCT:
+               return g_strdup ("struct");
+       case MONO_NATIVE_INTERFACE:
+               return g_strdup ("interface");
+       case MONO_NATIVE_SAFEARRAY:
+               return g_strdup ("safearray");
+       case MONO_NATIVE_INT:
+               return g_strdup ("int");
+       case MONO_NATIVE_UINT:
+               return g_strdup ("unsigned int");
+       case MONO_NATIVE_VBBYREFSTR:
+               return g_strdup ("vbbyrefstr");
+       case MONO_NATIVE_ANSIBSTR:
+               return g_strdup ("ansi bstr");
+       case MONO_NATIVE_TBSTR:
+               return g_strdup ("tbstr");
+       case MONO_NATIVE_VARIANTBOOL:
+               return g_strdup ("variant bool");
+       case MONO_NATIVE_FUNC:
+               return g_strdup ("method");
+       case MONO_NATIVE_ASANY:
+               return g_strdup ("as any");
+       case MONO_NATIVE_LPSTRUCT:
+               return g_strdup ("lpstruct");
+       case MONO_NATIVE_CUSTOM:
+               return g_strdup ("custom");
+       case MONO_NATIVE_ERROR:
+               return g_strdup ("error");
+       case MONO_NATIVE_MAX:
+               return g_strdup ("");
+       default:
+               return g_strdup ("unknown");
+       }
+}
+
+char*
+dis_stringify_marshal_spec (MonoMarshalSpec *spec)
+{
+       switch (spec->native) {
+       case MONO_NATIVE_BYVALTSTR:
+               return g_strdup_printf (" marshal (fixed sysstring [%d])", spec->data.array_data.num_elem);
+       case MONO_NATIVE_BYVALARRAY:
+               return g_strdup_printf (" marshal (fixed array [%d])", spec->data.array_data.num_elem);
+       case MONO_NATIVE_LPARRAY: {
+               char *elem_type, *elems, *ret;
+               guint32 num_elem = spec->data.array_data.num_elem;
+               guint32 param_num = spec->data.array_data.param_num;
+
+               elem_type = dis_stringify_native_type (spec->data.array_data.elem_type);
+               if (num_elem == -1 && param_num == -1)
+                       elems = g_strdup ("");
+               else if ((param_num == -1) || (spec->data.array_data.elem_mult == 0))
+                       elems = g_strdup_printf ("%d", num_elem);
+               else if ((num_elem == -1) || (num_elem == 0))
+                       elems = g_strdup_printf ("+ %d", param_num);
+               else
+                       elems = g_strdup_printf ("%d + %d", num_elem, param_num);
+                       
+               ret = g_strdup_printf (" marshal (%s[%s])", elem_type, elems);
+               g_free (elem_type);
+               g_free (elems);
+               return ret;
+       }
+       case MONO_NATIVE_SAFEARRAY: {
+               char *elem_type = NULL, *ret;
+               
+               if (spec->data.safearray_data.elem_type != 0)
+                       elem_type = dis_stringify_variant_type (spec->data.safearray_data.elem_type);
+               ret = g_strdup_printf (" marshal (safearray %s)", elem_type ? elem_type : "");
+               
+               g_free (elem_type);
+               return ret;
+       }
+       default: {
+               char *native_type, *ret;
+               native_type = dis_stringify_native_type (spec->native);
+               ret = g_strdup_printf (" marshal (%s)", native_type);
+               g_free (native_type);
+               return ret;
+       }       
+       }
+}
+
 /**
  * get_generic_param
  * @m: metadata context 
@@ -551,55 +772,82 @@ dis_stringify_param (MonoImage *m, MonoType *param)
  * Returns: Allocated stringified generic parameters
  */
 char*
-get_generic_param (MonoImage *m, int table_type, guint32 row)
+get_generic_param (MonoImage *m, MonoGenericContainer *container)
 {
-        MonoTableInfo *t = &m->tables [MONO_TABLE_GENERICPARAM];
-        GString *result = g_string_new ("");
-        char *retval;
-       guint32 cols [MONO_GENERICPARAM_SIZE];
-       int i, own_tok, table, idx, found_count;
+        GString *result;
+       char *retval;
+       int i;
 
-        g_assert (table_type != MONO_TYPEORMETHOD_TYPE || table_type != MONO_TYPEORMETHOD_METHOD);
-        
-        found_count = 0;
-       for (i = 1; i <= t->rows; i++) {
-               mono_metadata_decode_row (t, i-1, cols, MONO_GENERICPARAM_SIZE);
-                own_tok = cols [MONO_GENERICPARAM_OWNER];
-                table = own_tok & MONO_TYPEORMETHOD_MASK;
-                idx = own_tok >> MONO_TYPEORMETHOD_BITS;
-                
-                if (table != table_type || idx != row)
-                        continue;
+       if (!container)
+               return NULL;
 
-                if (found_count == 0)
-                        g_string_append_printf (result, "<%s",
-                                        mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
-                else
-                        g_string_append_printf (result, ", %s",
-                                        mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
-                found_count++;
+       result = g_string_new ("");
+
+       g_string_append_c (result, '<');
+       for (i = 0; i < container->type_argc; i++) {
+               MonoGenericParam *param = &container->type_params [i];
+               MonoClass **constr;
+               int first = 1;
+               guint16 flags;
+               char *esname;
+
+               if (i > 0)
+                       g_string_append (result, ",");
+
+               flags = param->flags & GENERIC_PARAMETER_ATTRIBUTE_SPECIAL_CONSTRAINTS_MASK;
+               if (flags == GENERIC_PARAMETER_ATTRIBUTE_REFERENCE_TYPE_CONSTRAINT)
+                       g_string_append (result, "class ");
+               else if (flags == GENERIC_PARAMETER_ATTRIBUTE_VALUE_TYPE_CONSTRAINT)
+                       g_string_append (result, "valuetype ");
+               else if (flags == GENERIC_PARAMETER_ATTRIBUTE_CONSTRUCTOR_CONSTRAINT)
+                       g_string_append (result, ".ctor ");
+
+               for (constr = param->constraints; constr && *constr; constr++) {
+                       char *sig;
+
+                       if (first) {
+                               g_string_append_c (result, '(');
+                               first = 0;
+                       } else
+                               g_string_append (result, ", ");
+                       sig = dis_stringify_type (m, &((*constr)->byval_arg), TRUE);
+                       g_string_append (result, sig);
+                       g_free (sig);
+                }
+
+               if (!first)
+                       g_string_append (result, ") ");
+
+               esname = get_escaped_name (param->name);
+               g_string_append (result, esname);
+               g_free (esname);
        }
 
-        if (found_count)
-                g_string_append_c (result, '>');
+       g_string_append_c (result, '>');
+
         retval = result->str;
         g_string_free (result, FALSE);
         return retval;
 }
 
 char*
-dis_stringify_method_signature (MonoImage *m, MonoMethodSignature *method, int methoddef_row, gboolean fully_qualified)
+dis_stringify_method_signature (MonoImage *m, MonoMethodSignature *method, int methoddef_row,
+                               MonoGenericContext *context, gboolean fully_qualified)
 {
        guint32 cols [MONO_METHOD_SIZE];
        guint32 pcols [MONO_PARAM_SIZE];
-       guint32 param_index = 0;
-       const char *name = "";
+       guint32 param_index = 0, next_param_index = 0;
+       gboolean has_param_row;
+       const char *name = "", *method_name = "";
        int free_method = 0;
        char *retval, *esname;
        char *type = NULL;
+       char *marshal_info = NULL, *ret_marshal_info = NULL;
        char *gen_param = NULL;
        GString *result = g_string_new ("");
-       int i;
+       GString *result_ret = g_string_new ("");
+       MonoGenericContainer *container = NULL;
+       int i, start;
         
        g_assert (method || methoddef_row);
 
@@ -607,55 +855,109 @@ dis_stringify_method_signature (MonoImage *m, MonoMethodSignature *method, int m
                mono_metadata_decode_row (&m->tables [MONO_TABLE_METHOD], methoddef_row -1, cols, MONO_METHOD_SIZE);
                if (fully_qualified)
                        type = get_typedef (m, mono_metadata_typedef_from_method (m, methoddef_row));
-               name = mono_metadata_string_heap (m, cols [MONO_METHOD_NAME]);
+               method_name = mono_metadata_string_heap (m, cols [MONO_METHOD_NAME]);
                param_index = cols [MONO_METHOD_PARAMLIST];
                if (!method) {
                        const char *sig = mono_metadata_blob_heap (m, cols [MONO_METHOD_SIGNATURE]);
+
+                       container = mono_metadata_load_generic_params (
+                               m, MONO_TOKEN_METHOD_DEF | methoddef_row, context ? context->container : NULL);
+                       if (container)
+                               context = (MonoGenericContext *) container;
+
                        mono_metadata_decode_blob_size (sig, &sig);
-                       method = mono_metadata_parse_method_signature (m, methoddef_row, sig, &sig);
+                       method = mono_metadata_parse_method_signature_full (m, context, methoddef_row, sig, &sig);
                        free_method = 1;
-               }      
-                gen_param = get_generic_param (m, 1, methoddef_row);
-       }
-       
-       retval = dis_stringify_param (m, method->ret);
-       if (method->hasthis)
-               g_string_append (result, "instance ");
-       g_string_append (result, map (method->call_convention, call_conv_type_map));
-       g_string_sprintfa (result, " %s ", retval);
-       if (type) {
-               char *estype = get_escaped_name (type);
-               g_string_sprintfa (result, "%s::", estype);
-               g_free (estype);
-       }
-       esname = get_escaped_name (name);
-       g_string_append (result, esname);
-       g_free (esname);
-        if (gen_param) {
-                g_string_append (result, gen_param);
-                g_free (gen_param);
-        }
-       g_string_append (result, " (");
-       g_free (retval);
-       for (i = 0; i < method->param_count; ++i) {
-               if (param_index && param_index <= m->tables [MONO_TABLE_PARAM].rows) {
+               } else if (context)
+                       container = context->container;
+
+               if (container && container->is_method)
+                       gen_param = get_generic_param (m, container);
+               
+               if (methoddef_row < m->tables [MONO_TABLE_METHOD].rows) {
+                       mono_metadata_decode_row (&m->tables [MONO_TABLE_METHOD], methoddef_row, cols, MONO_METHOD_SIZE);
+                       next_param_index = cols [MONO_METHOD_PARAMLIST];
+               } else {
+                       next_param_index = m->tables [MONO_TABLE_PARAM].rows + 1;
+               }
+       } 
+
+       start = method->hasthis ? 0 : 1;
+       for (i = 0; i < method->param_count + 1; ++i) {
+               marshal_info = NULL;
+               name = "";
+               has_param_row = param_index && param_index < next_param_index;
+
+               if (method->param_count == 0 && !has_param_row)
+                       /* method has zero parameters, and no row for return val in the PARAM table */
+                       continue;
+               
+               if (has_param_row)
                        mono_metadata_decode_row (&m->tables [MONO_TABLE_PARAM], param_index - 1, pcols, MONO_PARAM_SIZE);
-                       name = mono_metadata_string_heap (m, pcols [MONO_PARAM_NAME]);
-                       method->params [i]->attrs = pcols [MONO_PARAM_FLAGS];
-                       param_index++;
+               
+               if (has_param_row && i == pcols [MONO_PARAM_SEQUENCE]) {
+                       if (i)
+                               name = mono_metadata_string_heap (m, pcols [MONO_PARAM_NAME]);
+
+                       if (pcols [MONO_PARAM_FLAGS] & PARAM_ATTRIBUTE_HAS_FIELD_MARSHAL) {
+                               const char *tp;
+                               MonoMarshalSpec *spec;
+                               tp = mono_metadata_get_marshal_info (m, param_index - 1, FALSE);
+                               g_assert (tp);
+                               spec = mono_metadata_parse_marshal_spec (m, tp);
+
+                               if (i)
+                                       marshal_info = dis_stringify_marshal_spec (spec);
+                               else
+                                       ret_marshal_info = dis_stringify_marshal_spec (spec);
+                       }
+                       param_index ++;
                } else {
-                       name = "";
+                       if (i)
+                               name = g_strdup_printf ("A_%i", i - start);
                }
-               if (i)
+
+               if (!i)
+                       continue;
+
+               if (i > 1)
                        g_string_append (result, ", ");
-               retval = dis_stringify_param (m, method->params [i]);
+
+               retval = dis_stringify_param (m, method->params [i - 1]);
+
                esname = get_escaped_name (name);
-               g_string_append_printf (result, "%s %s", retval, esname);
+               g_string_append_printf (result, "%s%s %s", retval, marshal_info ? marshal_info : "", esname);
                g_free (retval);
                g_free (esname);
+               g_free (marshal_info);
        }
        g_string_append (result, ") ");
 
+       retval = dis_stringify_param (m, method->ret);
+
+       if (method->hasthis)
+               g_string_append (result_ret, "instance ");
+       g_string_append (result_ret, map (method->call_convention, call_conv_type_map));
+       g_string_sprintfa (result_ret, " %s%s ", retval, ret_marshal_info ? ret_marshal_info :"");
+       g_free (ret_marshal_info);
+       if (type) {
+               char *estype = get_escaped_name (type);
+               g_string_sprintfa (result_ret, "%s::", estype);
+               g_free (estype);
+       }
+       esname = get_escaped_name (method_name);
+       g_string_append (result_ret, esname);
+       g_free (esname);
+       if (gen_param) {
+               g_string_append (result_ret, gen_param);
+               g_free (gen_param);
+       }
+       g_string_append (result_ret, " (");
+       g_free (retval);
+
+       g_string_prepend (result, result_ret->str);
+       g_string_free (result_ret, FALSE);
+
        if (show_method_tokens && methoddef_row)
                g_string_append_printf (result, " /* 0x%X */ ",
                                (methoddef_row >> MONO_TYPEORMETHOD_BITS) | MONO_TOKEN_METHOD_DEF);
@@ -700,27 +1002,35 @@ dis_stringify_function_ptr (MonoImage *m, MonoMethodSignature *method)
 }
 
 static char *
-get_class_name (MonoClass *c)
+get_escaped_class_name (MonoClass *c)
 {
+       char *result, *esname;
+
+       if (c->rank || c->byval_arg.type == MONO_TYPE_PTR) 
+               g_assert (0);
+
+       esname = get_escaped_name (c->name);
+
        if (c->nested_in){
-               char *part_a = get_class_name (c->nested_in);
-               char *result;
+               char *part_a = get_escaped_class_name (c->nested_in);
 
-               result = g_strdup_printf ("%s/%s", part_a, c->name);
+               result = g_strdup_printf ("%s/%s", part_a, esname);
                g_free (part_a);
-               return result;
-       }
-       if (*c->name_space)
-               return g_strdup_printf ("%s.%s", c->name_space, c->name);
+       } else if (*c->name_space)
+               result = g_strdup_printf ("%s.%s", c->name_space, esname);
        else
-               return g_strdup (c->name);
+               result = g_strdup (esname);
+
+       g_free (esname);
+       return result;
 }
 
 char *
-dis_stringify_object_with_class (MonoImage *m, MonoClass *c, gboolean prefix)
+dis_stringify_object_with_class (MonoImage *m, MonoClass *c, gboolean prefix, gboolean is_def)
 {
        /* FIXME: handle MONO_TYPE_OBJECT ... */
-       const char *otype = c->byval_arg.type == MONO_TYPE_VALUETYPE ? "valuetype" : "class" ;
+       MonoType *type = &c->byval_arg;
+       const char *otype = type->type == MONO_TYPE_VALUETYPE ? "valuetype " : "class " ;
        char *assemblyref = NULL, *result, *esname, *generic = NULL;
        
        if (m != c->image) {
@@ -739,10 +1049,7 @@ dis_stringify_object_with_class (MonoImage *m, MonoClass *c, gboolean prefix)
                }
        }
 
-       result = get_class_name (c);
-       
-       esname = get_escaped_name (result);
-       g_free (result);
+       esname = get_escaped_class_name (c);
 
        if (c->generic_class) {
                MonoGenericClass *gclass = c->generic_class;
@@ -750,7 +1057,7 @@ dis_stringify_object_with_class (MonoImage *m, MonoClass *c, gboolean prefix)
                int i;
 
                for (i = 0; i < gclass->inst->type_argc; i++){
-                       char *t = dis_stringify_type (m, gclass->inst->type_argv [i]);
+                       char *t = dis_stringify_type (m, gclass->inst->type_argv [i], is_def);
 
                        g_string_append (str, t);
                        if (i+1 != gclass->inst->type_argc)
@@ -762,7 +1069,7 @@ dis_stringify_object_with_class (MonoImage *m, MonoClass *c, gboolean prefix)
        }
 
 
-       result = g_strdup_printf ("%s %s%s%s", prefix ? otype : "", assemblyref?assemblyref:"",
+       result = g_strdup_printf ("%s%s%s%s", prefix ? otype : "", assemblyref?assemblyref:"",
                                  esname, generic?generic:"");
        
        g_free (generic);
@@ -773,14 +1080,14 @@ dis_stringify_object_with_class (MonoImage *m, MonoClass *c, gboolean prefix)
 }
 
 static char *
-dis_stringify_object (MonoImage *m, MonoType *type)
+dis_stringify_object (MonoImage *m, MonoType *type, gboolean is_def)
 {
        MonoClass *c = mono_class_from_mono_type (type);
-       return dis_stringify_object_with_class (m, c, TRUE);
+       return dis_stringify_object_with_class (m, c, TRUE, is_def);
 }
 
 char*
-dis_stringify_type (MonoImage *m, MonoType *type)
+dis_stringify_type (MonoImage *m, MonoType *type, gboolean is_def)
 {
        const char *pinned = "", *byref = "";
        char *bare = NULL, *mods = NULL;
@@ -812,7 +1119,7 @@ dis_stringify_type (MonoImage *m, MonoType *type)
                
        case MONO_TYPE_VALUETYPE:
        case MONO_TYPE_CLASS:
-               bare = dis_stringify_object (m, type);
+               bare = dis_stringify_object (m, type, is_def);
                break;
        case MONO_TYPE_FNPTR: {
                char *child_type;
@@ -823,7 +1130,7 @@ dis_stringify_type (MonoImage *m, MonoType *type)
        }
        case MONO_TYPE_PTR: {
                char *child_type;
-               child_type = dis_stringify_type (m, type->data.type);
+               child_type = dis_stringify_type (m, type->data.type, is_def);
                
                bare = g_strdup_printf ("%s*", child_type);
                g_free (child_type);
@@ -831,31 +1138,40 @@ dis_stringify_type (MonoImage *m, MonoType *type)
        }
        case MONO_TYPE_SZARRAY: {
                char *child_type;
-               child_type = dis_stringify_type (m, &type->data.klass->byval_arg);
+               child_type = dis_stringify_type (m, &type->data.klass->byval_arg, is_def);
                
                bare = g_strdup_printf ("%s[]", child_type);
                g_free (child_type);
                break;
        }
        case MONO_TYPE_ARRAY:
-               bare = dis_stringify_array (m, type->data.array);
+               bare = dis_stringify_array (m, type->data.array, is_def);
                break;
        case MONO_TYPE_VOID:
                bare = g_strdup ("void");
                break;
        case MONO_TYPE_MVAR:
-               bare = g_strdup_printf ("!!%d", type->data.generic_param->num);
+               if (is_def) {
+                       g_assert (type->data.generic_param->name);
+                       bare = g_strdup_printf ("!!%s", type->data.generic_param->name);
+               } else
+                       bare = g_strdup_printf ("!!%d", type->data.generic_param->num);
                break;
        case MONO_TYPE_VAR:
-               bare = g_strdup_printf ("!%d", type->data.generic_param->num);
+               if (is_def) {
+                       g_assert (type->data.generic_param->name);
+                       bare = g_strdup_printf ("!%s", type->data.generic_param->name);
+               } else
+                       bare = g_strdup_printf ("!%d", type->data.generic_param->num);
                break;
        case MONO_TYPE_GENERICINST: {
                GString *str = g_string_new ("");
                int i;
-               char *generic_type = dis_stringify_type (m, type->data.generic_class->generic_type);
+               char *generic_type = dis_stringify_type (
+                       m, &type->data.generic_class->container_class->byval_arg, is_def);
 
                for (i = 0; i < type->data.generic_class->inst->type_argc; i++){
-                       char *t = dis_stringify_type (m, type->data.generic_class->inst->type_argv [i]);
+                       char *t = dis_stringify_type (m, type->data.generic_class->inst->type_argv [i], is_def);
 
                        g_string_append (str, t);
                        if (i+1 != type->data.generic_class->inst->type_argc)
@@ -896,7 +1212,7 @@ dis_stringify_type (MonoImage *m, MonoType *type)
  * Returns: the new ptr to continue decoding
  */
 const char *
-get_type (MonoImage *m, const char *ptr, char **result)
+get_type (MonoImage *m, const char *ptr, char **result, MonoGenericContext *context)
 {
        const char *start = ptr;
        guint32 type;
@@ -912,7 +1228,7 @@ get_type (MonoImage *m, const char *ptr, char **result)
        case MONO_TYPE_CLASS: {
                guint32 token = mono_metadata_parse_typedef_or_ref (m, ptr, &ptr);
                MonoClass *klass = mono_class_get (m, token);
-               char *temp = dis_stringify_object_with_class (m, klass, TRUE);
+               char *temp = dis_stringify_object_with_class (m, klass, TRUE, FALSE);
 
                if (show_tokens) {
                        *result = g_strdup_printf ("%s/*%08x*/", temp, token);
@@ -927,7 +1243,7 @@ get_type (MonoImage *m, const char *ptr, char **result)
                int count, i;
                char *temp;
 
-               ptr = get_type (m, ptr, &temp);
+               ptr = get_type (m, ptr, &temp, context);
                g_string_append (str, temp);
                g_free (temp);
 
@@ -937,7 +1253,7 @@ get_type (MonoImage *m, const char *ptr, char **result)
                for (i = 0; i < count; i++) {
                        if (i)
                                g_string_append (str, ",");
-                       ptr = get_type (m, ptr, &temp);
+                       ptr = get_type (m, ptr, &temp, context);
                        g_string_append (str, temp);
                }
 
@@ -948,8 +1264,8 @@ get_type (MonoImage *m, const char *ptr, char **result)
        }
 
        default:
-               t = mono_metadata_parse_type (m, MONO_PARSE_TYPE, 0, start, &ptr);
-               *result = dis_stringify_type (m, t);
+               t = mono_metadata_parse_type_full (m, context, MONO_PARSE_TYPE, 0, start, &ptr);
+               *result = dis_stringify_type (m, t, FALSE);
                mono_metadata_free_type (t);
                break;
        }
@@ -962,7 +1278,7 @@ get_type (MonoImage *m, const char *ptr, char **result)
  * Returns a stringified representation of a FieldSig (22.2.4)
  */
 char *
-get_field_signature (MonoImage *m, guint32 blob_signature)
+get_field_signature (MonoImage *m, guint32 blob_signature, MonoGenericContext *context)
 {
        char *allocated_modifier_string, *allocated_type_string;
        const char *ptr = mono_metadata_blob_heap (m, blob_signature);
@@ -978,7 +1294,7 @@ get_field_signature (MonoImage *m, guint32 blob_signature)
        ptr++; len--;
        
        ptr = get_custom_mod (m, ptr, &allocated_modifier_string);
-       ptr = get_type (m, ptr, &allocated_type_string);
+       ptr = get_type (m, ptr, &allocated_type_string, context);
 
        res = g_strdup_printf (
                "%s %s",
@@ -1038,7 +1354,7 @@ decode_literal (MonoImage *m, guint32 token)
  * Returns: the new ptr to continue decoding.
  */
 const char *
-get_ret_type (MonoImage *m, const char *ptr, char **ret_type)
+get_ret_type (MonoImage *m, const char *ptr, char **ret_type, MonoGenericContext *context)
 {
        GString *str = g_string_new ("");
        char *mod = NULL;
@@ -1052,7 +1368,7 @@ get_ret_type (MonoImage *m, const char *ptr, char **ret_type)
        }
 
        if (*ptr == MONO_TYPE_TYPEDBYREF){
-               g_string_append (str, "typedbyref");
+               g_string_append (str, "typedref");
                ptr++;
        } else if (*ptr == MONO_TYPE_VOID){
                 g_string_append (str, "void");
@@ -1063,7 +1379,7 @@ get_ret_type (MonoImage *m, const char *ptr, char **ret_type)
                        ptr++;
                }
 
-               ptr = get_type (m, ptr, &allocated_type_string);
+               ptr = get_type (m, ptr, &allocated_type_string, context);
                g_string_append (str, allocated_type_string);
                g_free (allocated_type_string);
        }
@@ -1085,7 +1401,7 @@ get_ret_type (MonoImage *m, const char *ptr, char **ret_type)
  * Returns: the new ptr to continue decoding.
  */
 const char *
-get_param (MonoImage *m, const char *ptr, char **retval)
+get_param (MonoImage *m, const char *ptr, char **retval, MonoGenericContext *context)
 {
        GString *str = g_string_new ("");
        char *allocated_mod_string, *allocated_type_string;
@@ -1098,16 +1414,16 @@ get_param (MonoImage *m, const char *ptr, char **retval)
        }
        
        if (*ptr == MONO_TYPE_TYPEDBYREF){
-               g_string_append (str, " typedbyref ");
+               g_string_append (str, " typedref ");
                ptr++;
        } else {
                gboolean by_ref = 0;
-                if (*ptr == MONO_TYPE_BYREF){
+               if (*ptr == MONO_TYPE_BYREF){
                        g_string_append (str, "[out] ");
                        ptr++;
                        by_ref = 1;
                }
-               ptr = get_type (m, ptr, &allocated_type_string);
+               ptr = get_type (m, ptr, &allocated_type_string, context);
                g_string_append (str, allocated_type_string);
                if (by_ref)
                        g_string_append_c (str, '&');
@@ -1129,6 +1445,7 @@ char*
 get_escaped_name (const char *name)
 {
        const char *s;
+       char *tmp, *tmp2;
 
        g_assert (key_table);
 
@@ -1136,7 +1453,21 @@ get_escaped_name (const char *name)
                return g_strdup (name);
 
        for (s = name; *s; s++) {
-               if (isalnum (*s) || *s == '_' || *s == '$' || *s == '@' || *s == '?' || *s == '.' || *s == 0)
+               char *first, *result;
+
+               if (*s != '/')
+                       continue;
+
+               first = g_strndup (name, s-name);
+               result = g_strdup_printf ("%s/%s", get_escaped_name (first), get_escaped_name (s+1));
+               g_free (first);
+
+               return result;
+       }
+
+       for (s = name; *s; s++) {
+               if (isalnum (*s) || *s == '_' || *s == '$' || *s == '@' ||
+                   *s == '?' || *s == '.' || *s == 0 || *s == '!')
                        continue;
 
                return g_strdup_printf ("'%s'", name);
@@ -1182,7 +1513,7 @@ static dis_map_t field_flags_map [] = {
        { FIELD_ATTRIBUTE_SPECIAL_NAME,        "specialname " },
        { FIELD_ATTRIBUTE_PINVOKE_IMPL,        "FIXME:pinvokeimpl " },
        { FIELD_ATTRIBUTE_RT_SPECIAL_NAME,        "rtspecialname " },
-       { FIELD_ATTRIBUTE_HAS_FIELD_MARSHAL,        "hasfieldmarshal " },
+       /*{ FIELD_ATTRIBUTE_HAS_FIELD_MARSHAL,        "hasfieldmarshal " },*/
        { 0, NULL }
 };
 
@@ -1208,7 +1539,8 @@ field_flags (guint32 f)
  * Returns a stringifed representation of a MethodRefSig (22.2.2)
  */
 char *
-get_methodref_signature (MonoImage *m, guint32 blob_signature, const char *fancy_name)
+get_methodref_signature (MonoImage *m, guint32 blob_signature, const char *fancy_name,
+                        MonoGenericContext *context)
 {
        GString *res = g_string_new ("");
        const char *ptr = mono_metadata_blob_heap (m, blob_signature);
@@ -1218,7 +1550,7 @@ get_methodref_signature (MonoImage *m, guint32 blob_signature, const char *fancy
        int param_count, signature_len;
        int i, gen_count = 0;
        int cconv;
-       
+
        signature_len = mono_metadata_decode_value (ptr, &ptr);
 
        if (*ptr & 0x20){
@@ -1242,7 +1574,7 @@ get_methodref_signature (MonoImage *m, guint32 blob_signature, const char *fancy
                gen_count = mono_metadata_decode_value (ptr, &ptr);
        param_count = mono_metadata_decode_value (ptr, &ptr);
        if (cconv != 0xa) {
-               ptr = get_ret_type (m, ptr, &allocated_ret_type);
+               ptr = get_ret_type (m, ptr, &allocated_ret_type, context);
                g_string_append (res, allocated_ret_type);
                g_free (allocated_ret_type);
        }
@@ -1273,7 +1605,7 @@ get_methodref_signature (MonoImage *m, guint32 blob_signature, const char *fancy
                        ptr++;
                }
 
-               ptr = get_param (m, ptr, &param);
+               ptr = get_param (m, ptr, &param, context);
                g_string_append (res, param);
                if (i+1 != param_count)
                        g_string_append (res, ", ");
@@ -1293,20 +1625,27 @@ get_methodref_signature (MonoImage *m, guint32 blob_signature, const char *fancy
  * Returns a stringifed representation of a field ref
  */
 char *
-get_fieldref_signature (MonoImage *m, int idx)
+get_fieldref_signature (MonoImage *m, int idx, MonoGenericContext *context)
 {
-        guint32 cols [MONO_MEMBERREF_SIZE];
+       guint32 cols [MONO_MEMBERREF_SIZE];
+       MonoGenericContext *new_context;
+       char *type, *esname;
         char *sig;
-        char *full_sig;
+       char *full_sig;
 
         mono_metadata_decode_row (&m->tables [MONO_TABLE_MEMBERREF],
-                        idx - 1, cols, MONO_MEMBERREF_SIZE);
+                                 idx - 1, cols, MONO_MEMBERREF_SIZE);
+
+       new_context = get_memberref_context (m, cols [MONO_MEMBERREF_CLASS], context);
+        sig = get_field_signature (m, cols [MONO_MEMBERREF_SIGNATURE], new_context);
+
+       type = get_memberref_parent (m, cols [MONO_MEMBERREF_CLASS], context);
+       esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_MEMBERREF_NAME]));
 
-        sig = get_field_signature (m, cols [MONO_MEMBERREF_SIGNATURE]);
-        full_sig = g_strdup_printf ("%s %s::%s", sig,
-                        get_memberref_parent (m, cols [MONO_MEMBERREF_CLASS]),
-                        mono_metadata_string_heap (m, cols [MONO_MEMBERREF_NAME]));
+        full_sig = g_strdup_printf ("%s %s::%s", sig, type, esname);
         g_free (sig);
+       g_free (type);
+       g_free (esname);
         
         return full_sig;
 }
@@ -1321,7 +1660,7 @@ get_fieldref_signature (MonoImage *m, int idx)
  * the TypeDef table and locate the actual "owner" of the field
  */
 char *
-get_field (MonoImage *m, guint32 token)
+get_field (MonoImage *m, guint32 token, MonoGenericContext *context)
 {
        int idx = mono_metadata_token_index (token);
        guint32 cols [MONO_FIELD_SIZE];
@@ -1333,12 +1672,12 @@ get_field (MonoImage *m, guint32 token)
         * defined in another module/assembly, just like in get_method ()
         */
        if (mono_metadata_token_code (token) == MONO_TOKEN_MEMBER_REF) {
-                return get_fieldref_signature (m, idx);
+                return get_fieldref_signature (m, idx, context);
        }
        g_assert (mono_metadata_token_code (token) == MONO_TOKEN_FIELD_DEF);
 
        mono_metadata_decode_row (&m->tables [MONO_TABLE_FIELD], idx - 1, cols, MONO_FIELD_SIZE);
-       sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE]);
+       sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE], context);
 
        /*
         * To locate the actual "container" for this field, we have to scan
@@ -1360,8 +1699,36 @@ get_field (MonoImage *m, guint32 token)
        return res;
 }
 
+static MonoGenericContext *
+get_memberref_context (MonoImage *m, guint32 mrp_token, MonoGenericContext *context)
+{
+       MonoClass *klass;
+
+       /*
+        * mrp_index is a MemberRefParent coded index
+        */
+       guint32 table = mrp_token & 7;
+       guint32 idx = mrp_token >> 3;
+
+       switch (table){
+       case 0: /* TypeDef */
+               return (MonoGenericContext *) mono_metadata_load_generic_params (
+                       m, MONO_TOKEN_TYPE_DEF | idx, NULL);
+               
+       case 1: /* TypeRef */
+               return NULL;
+               
+       case 4: /* TypeSpec */
+               klass = mono_class_get_full (m, MONO_TOKEN_TYPE_SPEC | idx, context);
+               g_assert (klass);
+               return klass->generic_class ? klass->generic_class->context : NULL;
+       }
+       g_assert_not_reached ();
+       return NULL;
+}
+
 static char *
-get_memberref_parent (MonoImage *m, guint32 mrp_token)
+get_memberref_parent (MonoImage *m, guint32 mrp_token, MonoGenericContext *context)
 {
        /*
         * mrp_index is a MemberRefParent coded index
@@ -1383,7 +1750,7 @@ get_memberref_parent (MonoImage *m, guint32 mrp_token)
                return g_strdup ("TODO:MethodDef");
                
        case 4: /* TypeSpec */
-               return get_typespec (m, idx);
+               return get_typespec (m, idx, FALSE, context);
        }
        g_assert_not_reached ();
        return NULL;
@@ -1398,8 +1765,8 @@ get_memberref_parent (MonoImage *m, guint32 mrp_token)
  * Since there is no backpointer in the Field table, we have to scan
  * the TypeDef table and locate the actual "owner" of the field
  */
-char *
-get_method_core (MonoImage *m, guint32 token, gboolean fullsig)
+static char *
+get_method_core (MonoImage *m, guint32 token, gboolean fullsig, MonoGenericContext *context)
 {
        int idx = mono_metadata_token_index (token);
        guint32 member_cols [MONO_MEMBERREF_SIZE], method_cols [MONO_METHOD_SIZE];
@@ -1408,10 +1775,12 @@ get_method_core (MonoImage *m, guint32 token, gboolean fullsig)
 
        MonoMethod *mh;
 
-       mh = mono_get_method (m, token, NULL);
+       mh = mono_get_method_full (m, token, NULL, context);
        if (mh) {
+               if (mono_method_signature (mh)->is_inflated)
+                       context = ((MonoMethodInflated *) mh)->context;
                esname = get_escaped_name (mh->name);
-               sig = dis_stringify_object_with_class (m, mh->klass, TRUE);
+               sig = dis_stringify_type (m, &mh->klass->byval_arg, TRUE);
                if (show_tokens)
                        name = g_strdup_printf ("%s/*%08x*/::%s", sig, token, esname);
                else
@@ -1426,7 +1795,7 @@ get_method_core (MonoImage *m, guint32 token, gboolean fullsig)
                mono_metadata_decode_row (&m->tables [MONO_TABLE_METHOD], 
                                          idx - 1, method_cols, MONO_METHOD_SIZE);
 
-               sig = get_methodref_signature (m, method_cols [MONO_METHOD_SIGNATURE], name);
+               sig = get_methodref_signature (m, method_cols [MONO_METHOD_SIGNATURE], name, context);
                break;
                
        case MONO_TOKEN_MEMBER_REF: {
@@ -1434,17 +1803,17 @@ get_method_core (MonoImage *m, guint32 token, gboolean fullsig)
                                          idx - 1, member_cols, MONO_MEMBERREF_SIZE);
                if (!name)
                        name = g_strdup_printf ("%s::%s",
-                                       get_memberref_parent (m, member_cols [MONO_MEMBERREF_CLASS]),
-                                       mono_metadata_string_heap (m, member_cols [MONO_MEMBERREF_NAME]));
+                                               get_memberref_parent (m, member_cols [MONO_MEMBERREF_CLASS], context),
+                                               mono_metadata_string_heap (m, member_cols [MONO_MEMBERREF_NAME]));
                sig = get_methodref_signature (
-                       m, member_cols [MONO_MEMBERREF_SIGNATURE], name);
+                       m, member_cols [MONO_MEMBERREF_SIGNATURE], name, context);
                break;
        }
        case MONO_TOKEN_METHOD_SPEC: {
                 mono_metadata_decode_row (&m->tables [MONO_TABLE_METHODSPEC],
                                 idx - 1, member_cols, MONO_METHODSPEC_SIZE);
                token = member_cols [MONO_METHODSPEC_METHOD];
-                sig = get_methodspec (m, idx, token, name);
+                sig = get_methodspec (m, idx, token, name, context);
                break;
        }
 
@@ -1468,9 +1837,9 @@ get_method_core (MonoImage *m, guint32 token, gboolean fullsig)
 }
 
 char *
-get_method (MonoImage *m, guint32 token)
+get_method (MonoImage *m, guint32 token, MonoGenericContext *context)
 {
-       return get_method_core (m, token, TRUE);
+       return get_method_core (m, token, TRUE, context);
 }
 
 /**
@@ -1491,20 +1860,20 @@ get_methoddef (MonoImage *m, guint32 idx)
 
        mh = mono_get_method (m, MONO_TOKEN_METHOD_DEF | idx, NULL);
        if (mh) {
-               sig = dis_stringify_object_with_class (m, mh->klass, TRUE);
+               sig = dis_stringify_type (m, &mh->klass->byval_arg, FALSE);
                name = g_strdup_printf ("%s::%s", sig, mh->name);
                g_free (sig);
        } else
                name = NULL;
         mono_metadata_decode_row (&m->tables [MONO_TABLE_METHOD], 
                         idx - 1, cols, MONO_METHOD_SIZE);
-        sig = get_methodref_signature (m, cols [MONO_METHOD_SIGNATURE], name);
+        sig = get_methodref_signature (m, cols [MONO_METHOD_SIGNATURE], name, NULL);
         
         return sig;
 }
 
 char *
-get_method_type_param (MonoImage *m, guint32 blob_signature)
+get_method_type_param (MonoImage *m, guint32 blob_signature, MonoGenericContext *context)
 {
        GString *res = g_string_new ("");
        const char *ptr = mono_metadata_blob_heap (m, blob_signature);
@@ -1520,8 +1889,8 @@ get_method_type_param (MonoImage *m, guint32 blob_signature)
         
        for (i = 0; i < param_count; i++){
                char *param = NULL;
-               
-               ptr = get_param (m, ptr, &param);
+
+               ptr = get_param (m, ptr, &param, context);
                g_string_append (res, param);
                if (i+1 != param_count)
                        g_string_append (res, ", ");
@@ -1541,7 +1910,7 @@ get_method_type_param (MonoImage *m, guint32 blob_signature)
  */
 
 char *
-get_methodspec (MonoImage *m, int idx, guint32 token, const char *fancy_name)
+get_methodspec (MonoImage *m, int idx, guint32 token, const char *fancy_name, MonoGenericContext *context)
 {
         GString *res = g_string_new ("");
        guint32 member_cols [MONO_MEMBERREF_SIZE], method_cols [MONO_METHOD_SIZE];
@@ -1586,7 +1955,7 @@ get_methodspec (MonoImage *m, int idx, guint32 token, const char *fancy_name)
        param_count = mono_metadata_decode_value (ptr, &ptr);
        if (cconv != 0xa) {
                 char *allocated_ret_type;
-               ptr = get_ret_type (m, ptr, &allocated_ret_type);
+               ptr = get_ret_type (m, ptr, &allocated_ret_type, context);
                g_string_append (res, allocated_ret_type);
                g_free (allocated_ret_type);
        }
@@ -1599,7 +1968,7 @@ get_methodspec (MonoImage *m, int idx, guint32 token, const char *fancy_name)
         mono_metadata_decode_row (&m->tables [MONO_TABLE_METHODSPEC],
                         idx - 1, member_cols, MONO_METHODSPEC_SIZE);
         token = member_cols [MONO_METHODSPEC_SIGNATURE];
-        type_param = get_method_type_param (m, token);
+        type_param = get_method_type_param (m, token, context);
         g_string_append (res, type_param);
        g_string_append (res, " (");
 
@@ -1610,7 +1979,7 @@ get_methodspec (MonoImage *m, int idx, guint32 token, const char *fancy_name)
        for (i = 0; i < param_count; i++){
                char *param = NULL;
                
-               ptr = get_param (m, ptr, &param);
+               ptr = get_param (m, ptr, &param, context);
                g_string_append (res, param);
                if (i+1 != param_count)
                        g_string_append (res, ", ");
@@ -1661,34 +2030,44 @@ get_constant (MonoImage *m, MonoTypeEnum t, guint32 blob_index)
                
        case MONO_TYPE_U4:
        case MONO_TYPE_I4:
-               return g_strdup_printf ("int32(%d)", read32 (ptr));
+               return g_strdup_printf ("int32(0x%08x)", read32 (ptr));
                
+       case MONO_TYPE_U8:
        case MONO_TYPE_I8: {
                guint32 low, high;
                low = read32 (ptr);
                high = read32 (ptr + 4);
                return g_strdup_printf ("int64(0x%08x%08x)", high, low);
        }
-       case MONO_TYPE_U8: {
-               guint32 low, high;
-               low = read32 (ptr);
-               high = read32 (ptr + 4);
-               return g_strdup_printf ("0x%08x%08x", high, low);
-       }
        case MONO_TYPE_R4: {
                float r;
                readr4 (ptr, &r);
-               return g_strdup_printf ("float32(%g)", (double) r);
-       }
+               if (! isnormal (r))
+                       return g_strdup_printf ("float32(0x%08x)", read32 (ptr));
+               else
+                       return g_strdup_printf ("float32(%g)", r);
+       }       
        case MONO_TYPE_R8: {
                double r;
                readr8 (ptr, &r);
-               return g_strdup_printf ("float64(%g)", r);
+               if (! isnormal (r)) {
+                       guint32 low, high;
+                       low = read32 (ptr);
+                       high = read32 (ptr + 4);
+                       return g_strdup_printf ("float64(0x%08x%08x)", high, low);
+               } else {
+                       return g_strdup_printf ("float64(%g)", r);
+               }
        }
        case MONO_TYPE_STRING: {
                gchar *str;
                int i, j, tspaces = (len%16);
-               GString *res = g_string_new ("bytearray (\n\t");
+               GString *res;
+
+               if (len == 0)
+                       return g_strdup_printf ("\"\"");
+
+               res = g_string_new ("bytearray (\n\t");
 
                for(i = 1; i <= len; ++i) {
                        g_string_append_printf(res, "%02x ", ptr[i-1]);
@@ -1741,23 +2120,26 @@ get_constant (MonoImage *m, MonoTypeEnum t, guint32 blob_index)
  * constant.
  */
 char *
-get_token (MonoImage *m, guint32 token)
+get_token (MonoImage *m, guint32 token, MonoGenericContext *context)
 {
        char *temp, *result;
        guint32 idx = mono_metadata_token_index (token);
 
        switch (mono_metadata_token_code (token)){
        case MONO_TOKEN_FIELD_DEF:
-               temp = get_field (m, token);
+               temp = get_field (m, token, context);
                result = g_strdup_printf ("field %s", temp);
                g_free (temp);
                return result;
        case MONO_TOKEN_TYPE_DEF:
-               return get_typedef (m, idx);
+               temp = get_typedef (m, idx);
+               result = get_escaped_name (temp);
+               g_free (temp);
+               return result;
        case MONO_TOKEN_TYPE_REF:
                return get_typeref (m, idx);
        case MONO_TOKEN_TYPE_SPEC:
-               return get_typespec (m, idx);
+               return get_typespec (m, idx, TRUE, context);
        case MONO_TOKEN_MEMBER_REF: {
                guint32 cols [MONO_MEMBERREF_SIZE];
                const char *sig;
@@ -1765,13 +2147,15 @@ get_token (MonoImage *m, guint32 token)
                sig = mono_metadata_blob_heap (m, cols [MONO_MEMBERREF_SIGNATURE]);
                mono_metadata_decode_blob_size (sig, &sig);
                if (*sig == 0x6) { /* it's a field */
-                       temp = get_field (m, token);
+                       temp = get_field (m, token, context);
                        result = g_strdup_printf ("field %s", temp);
                        g_free (temp);
                        return result;
-               }
-               else {
-                       g_error ("Do not know how to decode tokens of type 0x%08x", token);
+               } else {
+                       temp = get_method (m, token, context);
+                       result = g_strdup_printf ("method %s", temp);
+                       g_free (temp);
+                       return result;
                }
                break;
        }
@@ -1793,7 +2177,7 @@ get_token (MonoImage *m, guint32 token)
  * at (token & 0xffffff) 
  */
 char *
-get_token_type (MonoImage *m, guint32 token)
+get_token_type (MonoImage *m, guint32 token, MonoGenericContext *context)
 {
        char *temp = NULL, *s = NULL;
        int idx;
@@ -1812,7 +2196,7 @@ get_token_type (MonoImage *m, guint32 token)
                break;
                
        case MONO_TOKEN_TYPE_SPEC:
-               s = get_typespec (m, idx);
+               s = get_typespec (m, idx, FALSE, context);
                break;
 
        default:
@@ -1903,7 +2287,7 @@ dis_get_custom_attrs (MonoImage *m, guint32 token)
                        g_error ("Unknown table for custom attr type %08x", cols [MONO_CUSTOM_ATTR_TYPE]);
                        break;
                }
-               method = get_method (m, mtoken);
+               method = get_method (m, mtoken, NULL);
                val = mono_metadata_blob_heap (m, cols [MONO_CUSTOM_ATTR_VALUE]);
                len = mono_metadata_decode_value (val, &val);
                attr = g_string_new (".custom ");
@@ -2371,6 +2755,7 @@ init_key_table (void)
        g_hash_table_insert (key_table, (char *) "stored_object", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "streamed_object", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "stream", GINT_TO_POINTER (TRUE));
+       g_hash_table_insert (key_table, (char *) "strict", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "string", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "struct", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "synchronized", GINT_TO_POINTER (TRUE));
@@ -2381,6 +2766,7 @@ init_key_table (void)
        g_hash_table_insert (key_table, (char *) "tls", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "to", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "true", GINT_TO_POINTER (TRUE));
+       g_hash_table_insert (key_table, (char *) "type", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "typedref", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "unicode", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "unmanagedexp", GINT_TO_POINTER (TRUE));
@@ -2397,6 +2783,7 @@ init_key_table (void)
        g_hash_table_insert (key_table, (char *) "wchar", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "winapi", GINT_TO_POINTER (TRUE));
        g_hash_table_insert (key_table, (char *) "with", GINT_TO_POINTER (TRUE));
+       g_hash_table_insert (key_table, (char *) "xor", GINT_TO_POINTER (TRUE));
 }
 
 guint32
@@ -2411,7 +2798,7 @@ method_dor_to_token (guint32 idx) {
 }
 
 char *
-get_method_override (MonoImage *m, guint32 token)
+get_method_override (MonoImage *m, guint32 token, MonoGenericContext *context)
 {
        MonoTableInfo *t = &m->tables [MONO_TABLE_METHODIMPL];
        int i;
@@ -2426,7 +2813,7 @@ get_method_override (MonoImage *m, guint32 token)
                decl = method_dor_to_token (cols [MONO_METHODIMPL_DECLARATION]);
 
                if (token == impl)
-                       return get_method_core (m, decl, FALSE);
+                       return get_method_core (m, decl, FALSE, context);
        }
 
        return NULL;