2004-07-30 Martin Baulig <martin@ximian.com>
[mono.git] / mono / dis / main.c
index 089b2c4d12b61d57191bff60274fe7793a339ad4..c6688cd364a68e2be64e2256318c21170edf8be8 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * dis.c: Sample disassembler
+ * main.c: Sample disassembler
  *
  * Author:
  *   Miguel de Icaza (miguel@ximian.com)
@@ -9,33 +9,35 @@
  * TODO:
  *   Investigate how interface inheritance works and how it should be dumped.
  *   Structs are not being labeled as `valuetype' classes
- *   Support CustomMods.
- *
+ *   
+ *   How are fields with literals mapped to constants?
  */
 #include <config.h>
 #include <stdio.h>
 #include <string.h>
 #include <glib.h>
-#include <mono/metadata/assembly.h>
-#include <mono/metadata/cil-coff.h>
-#include <mono/metadata/endian.h>
-#include <mono/metadata/typeattr.h>
-#include <mono/metadata/fieldattr.h>
-#include <mono/metadata/methodattr.h>
-#include <mono/metadata/eltype.h>
-#include <mono/metadata/blobsig.h>
-#include <mono/metadata/paramattr.h>
+#include <stdlib.h>
+#include <errno.h>
+#include "meta.h"
 #include "util.h"
+#include "dump.h"
+#include "get.h"
+#include "dis-cil.h"
+#include <mono/metadata/loader.h>
+#include <mono/metadata/assembly.h>
+#include <mono/metadata/appdomain.h>
 
 FILE *output;
 
 /* True if you want to get a dump of the header data */
 gboolean dump_header_data_p = FALSE;
 
+gboolean substitute_with_mscorlib_p = FALSE;
+
 int dump_table = -1;
 
 static void
-dump_header_data (MonoAssembly *ass)
+dump_header_data (MonoImage *img)
 {
        if (!dump_header_data_p)
                return;
@@ -45,108 +47,170 @@ dump_header_data (MonoAssembly *ass)
                 "// Copyright (C) 2001 Ximian, Inc.\n\n");
 }
 
-#define CSIZE(x) (sizeof (x) / 4)
 static void
-expand (metadata_tableinfo_t *t, int idx, guint32 *res, int res_size)
+dump_cattrs (MonoImage *m, guint32 token, const char *indent)
 {
-       guint32 bitfield = t->size_bitfield;
-       int i, count = meta_table_count (bitfield);
-       char *data = t->base + idx * t->row_size;
-       
-       g_assert (res_size == count);
-       
-       for (i = 0; i < count; i++){
-               int n = meta_table_size (bitfield, i);
-
-               switch (n){
-               case 1:
-                       res [i] = *data; break;
-               case 2:
-                       res [i] = read16 (data); break;
-                       
-               case 4:
-                       res [i] = read32 (data); break;
-                       
-               default:
-                       g_assert_not_reached ();
-               }
-               data += n;
+       GList *tmp, *list;
+
+       list = dis_get_custom_attrs (m, token);
+       for (tmp = list; tmp; tmp = tmp->next) {
+               fprintf (output, "%s%s\n", indent, (char*)tmp->data);
+               g_free (tmp->data);
        }
+       g_list_free (list);
 }
 
 static void
-dis_directive_assembly (metadata_t *m)
+dis_directive_assembly (MonoImage *m)
 {
-       metadata_tableinfo_t *t  = &m->tables [META_TABLE_ASSEMBLY];
-       guint32 cols [9];
+       MonoTableInfo *t  = &m->tables [MONO_TABLE_ASSEMBLY];
+       guint32 cols [MONO_ASSEMBLY_SIZE];
        
        if (t->base == NULL)
                return;
 
-       expand (t, 0, cols, CSIZE (cols));
+       mono_metadata_decode_row (t, 0, cols, MONO_ASSEMBLY_SIZE);
        
+       fprintf (output, ".assembly '%s'\n{\n",
+                mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_NAME]));
+       dump_cattrs (m, MONO_TOKEN_ASSEMBLY | 1, "  ");
        fprintf (output,
-                ".assembly %s\n"
-                "{\n"
                 "  .hash algorithm 0x%08x\n"
-                "  .ver  %d.%d.%d.%d"
-                "%s %s"
-                "%s"
-                "\n"
-                "}\n",
-                mono_metadata_string_heap (m, cols [7]),
-                cols [0],
-                cols [1], cols [2], cols [3], cols [4],
-                cols [8] ? "\n  .locale" : "",
-                cols [8] ? mono_metadata_string_heap (m, cols [8]) : "",
-                cols [6] ? "\n  .publickey" : ""
-               );
+                "  .ver  %d:%d:%d:%d\n",
+                cols [MONO_ASSEMBLY_HASH_ALG],
+                cols [MONO_ASSEMBLY_MAJOR_VERSION], cols [MONO_ASSEMBLY_MINOR_VERSION], 
+                cols [MONO_ASSEMBLY_BUILD_NUMBER], cols [MONO_ASSEMBLY_REV_NUMBER]);
+       if (cols [MONO_ASSEMBLY_CULTURE])
+               fprintf (output, "  .locale %s\n", mono_metadata_string_heap (m, cols [MONO_ASSEMBLY_CULTURE]));
+       if (cols [MONO_ASSEMBLY_PUBLIC_KEY]) {
+               const char* b = mono_metadata_blob_heap (m, cols [MONO_ASSEMBLY_PUBLIC_KEY]);
+               int len = mono_metadata_decode_blob_size (b, &b);
+               char *dump = data_dump (b, len, "\t\t");
+               fprintf (output, "  .publickey =%s", dump);
+               g_free (dump);
+       }
+       fprintf (output, "}\n");
 }
 
 static void
-dis_directive_assemblyref (metadata_t *m)
+dis_directive_assemblyref (MonoImage *m)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_ASSEMBLYREF];
-       guint32 cols [9];
+       MonoTableInfo *t = &m->tables [MONO_TABLE_ASSEMBLYREF];
+       guint32 cols [MONO_ASSEMBLYREF_SIZE];
        int i;
        
        if (t->base == NULL)
                return;
 
        for (i = 0; i < t->rows; i++){
-               expand (t, i, cols, CSIZE (cols));
+               mono_metadata_decode_row (t, i, cols, MONO_ASSEMBLYREF_SIZE);
 
                fprintf (output,
                         ".assembly extern %s\n"
                         "{\n"
-                        "  .ver %d.%d.%d.%d\n"
+                        "  .ver %d:%d:%d:%d\n"
                         "}\n",
-                        mono_metadata_string_heap (m, cols [6]),
-                        cols [0], cols [1], cols [2], cols [3]
+                        mono_metadata_string_heap (m, cols [MONO_ASSEMBLYREF_NAME]),
+                        cols [MONO_ASSEMBLYREF_MAJOR_VERSION], cols [MONO_ASSEMBLYREF_MINOR_VERSION], 
+                        cols [MONO_ASSEMBLYREF_BUILD_NUMBER], cols [MONO_ASSEMBLYREF_REV_NUMBER]
                        );
        }
 }
 
-static map_t visibility_map [] = {
+static void
+dis_directive_module (MonoImage *m)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_MODULE];
+       int i;
+
+       for (i = 0; i < t->rows; i++){
+               guint32 cols [MONO_MODULE_SIZE];
+               const char *name;
+               char *guid, *ename;
+               
+               mono_metadata_decode_row (t, i, cols, MONO_MODULE_SIZE);
+
+               name = mono_metadata_string_heap (m, cols [MONO_MODULE_NAME]);
+               ename = get_escaped_name (name);
+               guid = get_guid (m, cols [MONO_MODULE_MVID]);
+               fprintf (output, ".module %s // GUID = %s\n\n", ename, guid);
+               g_free (ename);
+
+               dump_cattrs (m, MONO_TOKEN_MODULE | (i + 1), "");
+       }
+}
+
+static void
+dis_directive_moduleref (MonoImage *m)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_MODULEREF];
+       int i;
+
+       for (i = 0; i < t->rows; i++){
+               guint32 cols [MONO_MODULEREF_SIZE];
+               const char *name;
+               
+               mono_metadata_decode_row (t, i, cols, MONO_MODULEREF_SIZE);
+
+               name = mono_metadata_string_heap (m, cols [MONO_MODULEREF_NAME]);
+               fprintf (output, ".module extern %s\n", name);
+       }
+       
+}
+
+static void
+dis_directive_file (MonoImage *m)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_FILE];
+       int i, j, len;
+       guint32 entry_point;
+
+       entry_point = mono_image_get_entry_point (m);
+
+       for (i = 0; i < t->rows; i++){
+               guint32 cols [MONO_FILE_SIZE];
+               const char *name, *hash;
+               guint32 token;
+
+               mono_metadata_decode_row (t, i, cols, MONO_FILE_SIZE);
+
+               name = mono_metadata_string_heap (m, cols [MONO_FILE_NAME]);
+
+               hash = mono_metadata_blob_heap (m, cols [MONO_FILE_HASH_VALUE]);
+               len = mono_metadata_decode_blob_size (hash, &hash);
+
+               fprintf (output, ".file %s%s .hash = (", name,
+                               cols [MONO_FILE_FLAGS] & FILE_CONTAINS_NO_METADATA ? " nometadata" : "");
+
+               for (j = 0; j < len; ++j)
+                       fprintf (output, " %02X", hash [j] & 0xff);
+
+               token = mono_metadata_make_token (MONO_TABLE_FILE, i + 1);
+               fprintf (output, " )%s\n", (token == entry_point) ? " .entrypoint" : "");
+       }
+       
+}
+
+static dis_map_t visibility_map [] = {
        { TYPE_ATTRIBUTE_NOT_PUBLIC,           "private " },
        { TYPE_ATTRIBUTE_PUBLIC,               "public " },
-       { TYPE_ATTRIBUTE_NESTED_PUBLIC,        "nested-public " },
-       { TYPE_ATTRIBUTE_NESTED_PRIVATE,       "nested-private " },
-       { TYPE_ATTRIBUTE_NESTED_FAMILY,        "family " },
-       { TYPE_ATTRIBUTE_NESTED_ASSEMBLY,      "nested-assembly" },
-       { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM, "nested-fam-and-assembly" },
-       { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM,  "nested-fam-or-assembly" },
+       { TYPE_ATTRIBUTE_NESTED_PUBLIC,        "nested public " },
+       { TYPE_ATTRIBUTE_NESTED_PRIVATE,       "nested private " },
+       { TYPE_ATTRIBUTE_NESTED_FAMILY,        "nested family " },
+       { TYPE_ATTRIBUTE_NESTED_ASSEMBLY,      "nested assembly " },
+       { TYPE_ATTRIBUTE_NESTED_FAM_AND_ASSEM, "nested famandassem " },
+       { TYPE_ATTRIBUTE_NESTED_FAM_OR_ASSEM,  "nested famorassem " },
        { 0, NULL }
 };
 
-static map_t layout_map [] = {
+static dis_map_t layout_map [] = {
        { TYPE_ATTRIBUTE_AUTO_LAYOUT,          "auto " },
        { TYPE_ATTRIBUTE_SEQUENTIAL_LAYOUT,    "sequential " },
        { TYPE_ATTRIBUTE_EXPLICIT_LAYOUT,      "explicit " },
        { 0, NULL }
 };
 
-static map_t format_map [] = {
+static dis_map_t format_map [] = {
        { TYPE_ATTRIBUTE_ANSI_CLASS,           "ansi " },
        { TYPE_ATTRIBUTE_UNICODE_CLASS,        "unicode " },
        { TYPE_ATTRIBUTE_AUTO_CLASS,           "auto " },
@@ -183,405 +247,6 @@ typedef_flags (guint32 flags)
        return buffer;
 }
 
-static map_t field_access_map [] = {
-       { FIELD_ATTRIBUTE_COMPILER_CONTROLLED, "compilercontrolled " },
-       { FIELD_ATTRIBUTE_PRIVATE,             "private " },
-       { FIELD_ATTRIBUTE_FAM_AND_ASSEM,       "famandassem " },
-       { FIELD_ATTRIBUTE_ASSEMBLY,            "assembly " },
-       { FIELD_ATTRIBUTE_FAMILY,              "family " },
-       { FIELD_ATTRIBUTE_FAM_OR_ASSEM,        "famorassem " },
-       { FIELD_ATTRIBUTE_PUBLIC,              "public " },
-       { 0, NULL }
-};
-
-static map_t field_flags_map [] = {
-       { FIELD_ATTRIBUTE_STATIC,              "static " },
-       { FIELD_ATTRIBUTE_INIT_ONLY,           "initonly " },
-       { FIELD_ATTRIBUTE_LITERAL,             "literal " },
-       { FIELD_ATTRIBUTE_NOT_SERIALIZED,      "notserialized " },
-       { FIELD_ATTRIBUTE_SPECIAL_NAME,        "specialname " },
-       { FIELD_ATTRIBUTE_PINVOKE_IMPL,        "FIXME:pinvokeimpl " },
-       { 0, NULL }
-};
-
-static map_t element_type_map [] = {
-       { ELEMENT_TYPE_END        , "end" },
-       { ELEMENT_TYPE_VOID       , "void" },
-       { ELEMENT_TYPE_BOOLEAN    , "bool" },
-       { ELEMENT_TYPE_CHAR       , "char" }, 
-       { ELEMENT_TYPE_I1         , "sbyte" },
-       { ELEMENT_TYPE_U1         , "byte" }, 
-       { ELEMENT_TYPE_I2         , "int16" },
-       { ELEMENT_TYPE_U2         , "uint16" },
-       { ELEMENT_TYPE_I4         , "int32" },
-       { ELEMENT_TYPE_U4         , "uint32" },
-       { ELEMENT_TYPE_I8         , "int64" },
-       { ELEMENT_TYPE_U8         , "uint64" },
-       { ELEMENT_TYPE_R4         , "float32" },
-       { ELEMENT_TYPE_R8         , "float64" },
-       { ELEMENT_TYPE_STRING     , "string" },
-       { ELEMENT_TYPE_TYPEDBYREF , "TypedByRef" },
-       { ELEMENT_TYPE_I          , "native int" },
-       { ELEMENT_TYPE_U          , "native unsigned int" },
-       { ELEMENT_TYPE_OBJECT     , "object" },
-       { 0, NULL }
-};
-
-/**
- * field_flags:
- *
- * Returns a stringified version of a Field's flags
- */
-static char *
-field_flags (guint32 f)
-{
-       static char buffer [1024];
-       int access = f & FIELD_ATTRIBUTE_FIELD_ACCESS_MASK;
-       
-       buffer [0] = 0;
-
-       strcat (buffer, map (access, field_access_map));
-       strcat (buffer, flags (f, field_flags_map));
-       return g_strdup (buffer);
-}
-
-/**
- * get_encoded_value:
- * @ptr: pointer to decode from
- * @len: result value is stored here.
- *
- * This routine decompresses 32-bit values as specified in the "Blob and
- * Signature" section (22.2)
- *
- * Returns: updated pointer location
- */
-static const char *
-get_encoded_value (const char *_ptr, guint32 *len)
-{
-       const unsigned char *ptr = (unsigned char *) _ptr;
-       unsigned char b = *ptr;
-       
-       if ((b & 0x80) == 0){
-               *len = b;
-               return ptr+1;
-       } else if ((b & 0x40) == 0){
-               *len = ((b & 0x3f) << 8 | ptr [1]);
-               return ptr + 2;
-       }
-       *len = ((b & 0x1f) << 24) |
-               (ptr [1] << 16) |
-               (ptr [2] << 8) |
-               ptr [3];
-       
-       return ptr + 4;
-}
-
-static char *
-get_typedef (metadata_t *m, int idx)
-{
-       guint32 cols [6];
-
-       expand (&m->tables [META_TABLE_TYPEDEF], idx - 1, cols, CSIZE (cols));
-
-       return g_strdup_printf (
-               "%s.%s",
-               mono_metadata_string_heap (m, cols [2]),
-               mono_metadata_string_heap (m, cols [1]));
-}
-
-static char *
-get_module (metadata_t *m, int idx)
-{
-       guint32 cols [5];
-       
-       /*
-        * There MUST BE only one module in the Module table
-        */
-       g_assert (idx == 1);
-           
-       expand (&m->tables [META_TABLE_MODULEREF], idx - 1, cols, CSIZE (cols));
-
-       return g_strdup (mono_metadata_string_heap (m, cols [6]));
-}
-
-static char *
-get_assemblyref (metadata_t *m, int idx)
-{
-       guint32 cols [9];
-       
-       expand (&m->tables [META_TABLE_ASSEMBLYREF], idx - 1, cols, CSIZE (cols));
-
-       return g_strdup (mono_metadata_string_heap (m, cols [6]));
-}
-
-static char *
-get_typeref (metadata_t *m, int idx)
-{
-       guint32 cols [3];
-       const char *s, *t;
-       char *x, *ret;
-       guint32 rs_idx, table;
-       
-       expand (&m->tables [META_TABLE_TYPEREF], idx - 1, cols, CSIZE (cols));
-
-       t = mono_metadata_string_heap (m, cols [1]);
-       s = mono_metadata_string_heap (m, cols [2]);
-
-       rs_idx = cols [0] >> 2;
-       /*
-        * Two bits in Beta2.
-        * ECMA spec claims 3 bits
-        */
-       table = cols [0] & 3;
-       
-       switch (table){
-       case 0: /* Module */
-               x = get_module (m, rs_idx);
-               ret = g_strdup_printf ("TODO:TypeRef-Module [%s] %s.%s", x, s, t);
-               g_free (x);
-               break;
-
-       case 1: /* ModuleRef */
-               ret = g_strdup_printf ("TODO:TypeRef-ModuleRef (%s.%s)", s, t);
-               break;
-                             
-       case 2: /*
-                * AssemblyRef (ECMA docs claim it is 3, but it looks to
-                * me like it is 2 (tokens are prefixed with 0x23)
-                */
-               x = get_assemblyref (m, rs_idx);
-               ret = g_strdup_printf ("[%s] %s.%s", x, s, t);
-               g_free (x);
-               break;
-               
-       case 4: /* TypeRef */
-               ret =  g_strdup_printf ("TODO:TypeRef-TypeRef: TYPEREF! (%s.%s)", s, t);
-               break;
-               
-       default:
-               ret = g_strdup_printf ("Unknown table in TypeRef %d", table);
-       }
-
-       return ret;
-}
-
-static char *
-get_typedef_or_ref (metadata_t *m, guint32 dor_token)
-{
-       char *temp = NULL, *s;
-       int table, idx;
-
-       /*
-        * low 2 bits contain encoding
-        */
-       table = dor_token & 0x03;
-       idx = dor_token >> 2;
-       
-       switch (table){
-       case 0: /* TypeDef */
-               temp = get_typedef (m, idx);
-               s = g_strdup_printf ("%s", temp);
-               break;
-               
-       case 1: /* TypeRef */
-               temp = get_typeref (m, idx);
-               s = g_strdup_printf ("%s", temp);
-               break;
-               
-       case 2: /* TypeSpec */
-               s = g_strdup_printf ("TODO-TypeSpec: 0x%08x", idx);
-               break;
-
-       default:
-               g_error ("Unhandled encoding for typedef-or-ref coded index");
-
-       }
-       
-       if (temp)
-               g_free (temp);
-
-       return s;
-}
-
-/** 
- * get_encoded_typedef_or_ref:
- * @m: metadata context 
- * @ptr: location to decode from.
- * @result: pointer to string where resulting decoded string is stored
- *
- * result will point to a g_malloc()ed string.
- *
- * Returns: the new ptr to continue decoding
- */
-static const char *
-get_encoded_typedef_or_ref (metadata_t *m, const char *ptr, char **result)
-{
-       guint32 token;
-       
-       ptr = get_encoded_value (ptr, &token);
-
-       *result = get_typedef_or_ref (m, token);
-
-       return ptr;
-}
-
-/**
- * methoddefref_signature:
- * @m: metadata context 
- * @ptr: location to decode from.
- * @result: pointer to string where resulting decoded string is stored
- *
- * This routine decodes into a string a MethodDef or a MethodRef.
- *
- * result will point to a g_malloc()ed string.
- *
- * Returns: the new ptr to continue decoding
- */
-static const char *
-methoddefref_signature (metadata_t *m, const char *ptr, char **result)
-{
-       *result = g_strdup ("method-def-or-ref");
-       
-       return ptr;
-}
-
-/**
- * get_custom_mod:
- *
- * Decodes a CustomMod (22.2.7)
- *
- * Returns: updated pointer location
- */
-static const char *
-get_custom_mod (metadata_t *m, const char *ptr, char **return_value)
-{
-       char *s;
-       
-       if ((*ptr == ELEMENT_TYPE_CMOD_OPT) ||
-           (*ptr == ELEMENT_TYPE_CMOD_REQD)){
-               ptr++;
-               ptr = get_encoded_typedef_or_ref (m, ptr, &s);
-
-               *return_value = g_strconcat ("CMOD ", s, NULL);
-               g_free (s);
-       } else
-               *return_value = NULL;
-       return ptr;
-}
-
-
-/**
- * get_type:
- * @m: metadata context 
- * @ptr: location to decode from.
- * @result: pointer to string where resulting decoded string is stored
- *
- * This routine returs in @result the stringified type pointed by @ptr.
- * (22.2.12)
- *
- * Returns: the new ptr to continue decoding
- */
-static const char *
-get_type (metadata_t *m, const char *ptr, char **result)
-{
-       char c;
-       
-       c = *ptr++;
-       
-       switch (c){
-       case ELEMENT_TYPE_BOOLEAN:
-       case ELEMENT_TYPE_CHAR:
-       case ELEMENT_TYPE_I1:
-       case ELEMENT_TYPE_U1:
-       case ELEMENT_TYPE_I2:
-       case ELEMENT_TYPE_U2:
-       case ELEMENT_TYPE_I4:
-       case ELEMENT_TYPE_U4:
-       case ELEMENT_TYPE_I8:
-       case ELEMENT_TYPE_U8:
-       case ELEMENT_TYPE_R4:
-       case ELEMENT_TYPE_R8:
-       case ELEMENT_TYPE_I:
-       case ELEMENT_TYPE_STRING:
-       case ELEMENT_TYPE_OBJECT:
-               *result = g_strdup (map (c, element_type_map));
-               break;
-               
-       case ELEMENT_TYPE_VALUETYPE:
-       case ELEMENT_TYPE_CLASS:
-               ptr = get_encoded_typedef_or_ref (m, ptr, result);
-               break;
-               
-       case ELEMENT_TYPE_FNPTR:
-               ptr = methoddefref_signature (m, ptr, result);
-               break;
-               
-       case ELEMENT_TYPE_SZARRAY: {
-               char *child_type;
-               
-               ptr = get_type (m, ptr, &child_type);
-               *result = g_strdup_printf ("%s[]", child_type);
-               g_free (child_type);
-               break;
-       }
-               
-       case ELEMENT_TYPE_ARRAY:
-               *result = g_strdup ("ARRAY:TODO");
-       }
-       
-       return ptr;
-}
-
-/**
- * 
- * Returns a stringified representation of a FieldSig (22.2.4)
- */
-static char *
-field_signature (metadata_t *m, guint32 blob_signature)
-{
-       char *allocated_modifier_string, *allocated_type_string;
-       const char *ptr = mono_metadata_blob_heap (m, blob_signature);
-       const char *base;
-       char *res;
-       int len;
-       
-       ptr = get_encoded_value (ptr, &len);
-       base = ptr;
-       /* FIELD is 0x06 */
-       g_assert (*ptr == 0x06);
-/*     hex_dump (ptr, 0, len); */
-       ptr++; len--;
-       
-       ptr = get_custom_mod (m, ptr, &allocated_modifier_string);
-       ptr = get_type (m, ptr, &allocated_type_string);
-
-       res = g_strdup_printf (
-               "%s %s",
-               allocated_modifier_string ? allocated_modifier_string : "",
-               allocated_type_string);
-       
-       if (allocated_modifier_string)
-               g_free (allocated_modifier_string);
-       if (allocated_type_string)
-               g_free (allocated_modifier_string);
-       
-       return res;
-}
-
-/**
- * decode_literal:
- * @m: metadata context
- * @token: token to decode
- *
- * decodes the literal indexed by @token.
- */
-static char *
-decode_literal (metadata_t *m, guint32 token)
-{
-       return g_strdup ("LITERAL_VALUE");
-}
-
 /**
  * dis_field_list:
  * @m: metadata context
@@ -591,45 +256,71 @@ decode_literal (metadata_t *m, guint32 token)
  * This routine displays all the decoded fields from @start to @end
  */
 static void
-dis_field_list (metadata_t *m, guint32 start, guint32 end)
+dis_field_list (MonoImage *m, guint32 start, guint32 end)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_FIELD];
-       guint32 cols [3];
+       MonoTableInfo *t = &m->tables [MONO_TABLE_FIELD];
+       guint32 cols [MONO_FIELD_SIZE];
+       char *esname;
+       char rva_desc [32];
+       guint32 rva;
        int i;
 
-       if (end > t->rows + 1){
-               fprintf (output, "ERROR index out of range in fields");
-               exit (1);
+       if (end > t->rows + 1) {
+               g_warning ("ERROR index out of range in fields");
+               end = t->rows;
        }
                        
        for (i = start; i < end; i++){
-               char *sig, *flags;
+               char *sig, *flags, *attrs = NULL;
+               guint32 field_offset = -1;
                
-               expand (t, i, cols, CSIZE (cols));
-               sig = field_signature (m, cols [2]);
-               flags = field_flags (cols [0]);
+               mono_metadata_decode_row (t, i, cols, MONO_FIELD_SIZE);
+               sig = get_field_signature (m, cols [MONO_FIELD_SIGNATURE]);
+               flags = field_flags (cols [MONO_FIELD_FLAGS]);
+
+               if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_HAS_FIELD_RVA) {
+                       mono_metadata_field_info (m, i, NULL, &rva, NULL);
+                       g_snprintf (rva_desc, sizeof (rva_desc), " at D_%08x", rva);
+               } else {
+                       rva_desc [0] = 0;
+               }
                
-               if (cols [0] & FIELD_ATTRIBUTE_LITERAL){
-                       char *lit = decode_literal (m, cols [2]);
+               mono_metadata_field_info (m, i, &field_offset, NULL, NULL);
+               if (field_offset != -1)
+                       attrs = g_strdup_printf ("[%d]", field_offset);
+               esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_FIELD_NAME]));
+               if (cols [MONO_FIELD_FLAGS] & FIELD_ATTRIBUTE_LITERAL){
+                       char *lit;
+                       guint32 const_cols [MONO_CONSTANT_SIZE];
+                       guint32 crow;
+                       
+                       if ((crow = mono_metadata_get_constant_index (m, MONO_TOKEN_FIELD_DEF | (i+1), 0))) {
+                               mono_metadata_decode_row (&m->tables [MONO_TABLE_CONSTANT], crow-1, const_cols, MONO_CONSTANT_SIZE);
+                               lit = get_constant (m, const_cols [MONO_CONSTANT_TYPE], const_cols [MONO_CONSTANT_VALUE]);
+                       } else {
+                               lit = g_strdup ("not found");
+                       }
+                       
                        
                        fprintf (output, "    .field %s %s %s = ",
-                                flags, sig,
-                                mono_metadata_string_heap (m, cols [1]));
+                                flags, sig, esname);
                        fprintf (output, "%s\n", lit);
                        g_free (lit);
-               } else 
-                       fprintf (output, "    .field %s %s %s\n",
-                                flags, sig,
-                                mono_metadata_string_heap (m, cols [1]));
+               } else
+                       fprintf (output, "    .field %s %s %s %s%s\n",
+                                attrs? attrs: "", flags, sig, esname, rva_desc);
+               g_free (attrs);
                g_free (flags);
                g_free (sig);
+               g_free (esname);
+               dump_cattrs (m, MONO_TOKEN_FIELD_DEF | (i + 1), "    ");
        }
 }
 
-static map_t method_access_map [] = {
+static dis_map_t method_access_map [] = {
        { METHOD_ATTRIBUTE_COMPILER_CONTROLLED, "compilercontrolled " },
-       { METHOD_ATTRIBUTE_PRIVATE,             "private" },
-       { METHOD_ATTRIBUTE_FAM_AND_ASSEM,       "famandassem" },
+       { METHOD_ATTRIBUTE_PRIVATE,             "private " },
+       { METHOD_ATTRIBUTE_FAM_AND_ASSEM,       "famandassem " },
        { METHOD_ATTRIBUTE_ASSEM,               "assembly " },
        { METHOD_ATTRIBUTE_FAMILY,              "family " },
        { METHOD_ATTRIBUTE_FAM_OR_ASSEM,        "famorassem " },
@@ -637,7 +328,7 @@ static map_t method_access_map [] = {
        { 0, NULL }
 };
 
-static map_t method_flags_map [] = {
+static dis_map_t method_flags_map [] = {
        { METHOD_ATTRIBUTE_STATIC,              "static " },
        { METHOD_ATTRIBUTE_FINAL,               "final " },
        { METHOD_ATTRIBUTE_VIRTUAL,             "virtual " },
@@ -646,10 +337,10 @@ static map_t method_flags_map [] = {
        { METHOD_ATTRIBUTE_ABSTRACT,            "abstract " },
        { METHOD_ATTRIBUTE_SPECIAL_NAME,        "specialname " },
        { METHOD_ATTRIBUTE_RT_SPECIAL_NAME,     "rtspecialname " },
-       { METHOD_ATTRIBUTE_PINVOKE_IMPL,        "pinvokeimpl " }, 
        { METHOD_ATTRIBUTE_UNMANAGED_EXPORT,    "export " },
        { METHOD_ATTRIBUTE_HAS_SECURITY,        "hassecurity" },
        { METHOD_ATTRIBUTE_REQUIRE_SEC_OBJECT,  "requiresecobj" },
+       { METHOD_ATTRIBUTE_PINVOKE_IMPL,        "pinvokeimpl " }, 
        { 0, NULL }
 };
 
@@ -674,7 +365,53 @@ method_flags (guint32 f)
        return s;
 }
 
-static map_t method_impl_map [] = {
+static dis_map_t pinvoke_flags_map [] = {
+       { PINVOKE_ATTRIBUTE_NO_MANGLE ,            "nomangle " },
+       { PINVOKE_ATTRIBUTE_SUPPORTS_LAST_ERROR,   "lasterr " },
+       { 0, NULL }
+};
+
+static dis_map_t pinvoke_call_conv_map [] = {
+       { PINVOKE_ATTRIBUTE_CALL_CONV_WINAPI,      "winapi " },
+       { PINVOKE_ATTRIBUTE_CALL_CONV_CDECL,       "cdecl " },
+       { PINVOKE_ATTRIBUTE_CALL_CONV_STDCALL,     "stdcall " },
+       { PINVOKE_ATTRIBUTE_CALL_CONV_THISCALL,    "thiscall " },
+       { PINVOKE_ATTRIBUTE_CALL_CONV_FASTCALL,    "fastcall " },
+       { 0, NULL }
+};
+
+static dis_map_t pinvoke_char_set_map [] = {
+       { PINVOKE_ATTRIBUTE_CHAR_SET_NOT_SPEC,     "" },
+       { PINVOKE_ATTRIBUTE_CHAR_SET_ANSI,         "ansi " },
+       { PINVOKE_ATTRIBUTE_CHAR_SET_UNICODE ,     "unicode " },
+       { PINVOKE_ATTRIBUTE_CHAR_SET_AUTO,         "autochar " },
+       { 0, NULL }
+};
+
+/**
+ * pinvoke_flags:
+ *
+ * Returns a stringified version of the Method's pinvoke flags
+ */
+static char *
+pinvoke_flags (guint32 f)
+{
+       GString *str = g_string_new ("");
+       int cset = f & PINVOKE_ATTRIBUTE_CHAR_SET_MASK;
+       int cconv = f & PINVOKE_ATTRIBUTE_CALL_CONV_MASK;
+       char *s;
+       
+       g_string_append (str, map (cset, pinvoke_char_set_map));
+       g_string_append (str, map (cconv, pinvoke_call_conv_map));
+       g_string_append (str, flags (f, pinvoke_flags_map));
+
+       s = g_strdup(str->str);
+       g_string_free (str, FALSE);
+
+       return s;
+}
+
+static dis_map_t method_impl_map [] = {
        { METHOD_IMPL_ATTRIBUTE_IL,              "cil " },
        { METHOD_IMPL_ATTRIBUTE_NATIVE,          "native " },
        { METHOD_IMPL_ATTRIBUTE_OPTIL,           "optil " },
@@ -682,13 +419,13 @@ static map_t method_impl_map [] = {
        { 0, NULL }
 };
 
-static map_t managed_type_map [] = {
+static dis_map_t managed_type_map [] = {
        { METHOD_IMPL_ATTRIBUTE_UNMANAGED,       "unmanaged " },
        { METHOD_IMPL_ATTRIBUTE_MANAGED,         "managed " },
        { 0, NULL }
 };
 
-static map_t managed_impl_flags [] = {
+static dis_map_t managed_impl_flags [] = {
        { METHOD_IMPL_ATTRIBUTE_FORWARD_REF,     "fwdref " },
        { METHOD_IMPL_ATTRIBUTE_PRESERVE_SIG,    "preservesig " },
        { METHOD_IMPL_ATTRIBUTE_INTERNAL_CALL,   "internalcall " },
@@ -714,149 +451,113 @@ method_impl_flags (guint32 f)
        return s;
 }
 
-/**
- * get_ret_type:
- * @m: metadata context 
- * @ptr: location to decode from.
- * @result: pointer to string where resulting decoded string is stored
- *
- * This routine returns in @result the stringified RetType (22.2.11)
- *
- * Returns: the new ptr to continue decoding.
- */
-static const char *
-get_ret_type (metadata_t *m, const char *ptr, char **ret_type)
+static void
+dis_locals (MonoImage *m, MonoMethodHeader *mh) 
 {
-       GString *str = g_string_new ("");
-       char *mod = NULL;
-       char *allocated_type_string;
-       
-       ptr = get_custom_mod (m, ptr, &mod);
-       if (mod){
-               g_string_append (str, mod);
-               g_string_append_c (str, ' ');
-               g_free (mod);
-       }
-
-       if (*ptr == ELEMENT_TYPE_TYPEDBYREF){
-               /* TODO: what does `typedbyref' mean? */
-               g_string_append (str, "/* FIXME: What does this mean? */ typedbyref ");
-               ptr++;
-       } else if (*ptr == ELEMENT_TYPE_VOID){
-                g_string_append (str, "void");
-                ptr++;
-       } else {
-               if (*ptr == ELEMENT_TYPE_BYREF){
-                       g_string_append (str, "[out] ");
-                       ptr++;
-               }
+       int i;
 
-               ptr = get_type (m, ptr, &allocated_type_string);
-               g_string_append (str, allocated_type_string);
-               g_free (allocated_type_string);
+       fprintf(output, "\t.locals %s(\n", mh->init_locals ? "init " : "");
+       for (i=0; i < mh->num_locals; ++i) {
+               char * desc;
+               if (i)
+                       fprintf(output, ",\n");
+               /* print also byref and pinned attributes */
+               desc = dis_stringify_type (m, mh->locals[i]);
+               fprintf(output, "\t\t%s\tV_%d", desc, i);
+               g_free(desc);
        }
-
-       *ret_type = str->str;
-       g_string_free (str, FALSE);
-
-       return ptr;
+       fprintf(output, ")\n");
 }
 
-static const char *
-get_param (metadata_t *m, const char *ptr, char **retval)
+static void
+dis_code (MonoImage *m, guint32 rva)
 {
-       GString *str = g_string_new ("");
-       char *allocated_mod_string, *allocated_type_string;
-       
-       ptr = get_custom_mod (m, ptr, &allocated_mod_string);
-       if (allocated_mod_string){
-               g_string_append (str, allocated_mod_string);
-               g_string_append_c (str, ' ');
-               g_free (allocated_mod_string);
+       MonoMethodHeader *mh;
+       const char *ptr = mono_image_rva_map (m, rva);
+       const char *loc;
+       guint32 entry_point;
+
+       if (rva == 0)
+               return;
+
+       mh = mono_metadata_parse_mh (m, ptr);
+       if ((entry_point = mono_image_get_entry_point (m))){
+               loc = mono_metadata_locate_token (m, entry_point);
+               if (rva == read32 (loc))
+                       fprintf (output, "\t.entrypoint\n");
        }
        
-       if (*ptr == ELEMENT_TYPE_TYPEDBYREF){
-               g_string_append (str, "/*FIXME: what does typedbyref mean? */ typedbyref ");
-               ptr++;
-       } else {
-               if (*ptr == ELEMENT_TYPE_BYREF){
-                       g_string_append (str, "[out] ");
-                       ptr++;
-               }
-               ptr = get_type (m, ptr, &allocated_type_string);
-               g_string_append (str, allocated_type_string);
-               g_free (allocated_type_string);
-       }
-
-       *retval = str->str;
-       g_string_free (str, FALSE);
-       return ptr;
+       fprintf (output, "\t// Code size %d (0x%x)\n", mh->code_size, mh->code_size);
+       fprintf (output, "\t.maxstack %d\n", mh->max_stack);
+       if (mh->num_locals)
+               dis_locals (m, mh);
+       dissasemble_cil (m, mh);
+       
+/*
+  hex_dump (mh->code, 0, mh->code_size);
+  printf ("\nAfter the code\n");
+  hex_dump (mh->code + mh->code_size, 0, 64);
+*/
+       mono_metadata_free_mh (mh);
 }
 
-typedef struct {
-       char  flags;
-       char *ret_type;
-       int   param_count;
-       char **param;
-} MethodSignature;
-
-static MethodSignature *
-parse_method_signature (metadata_t *m, guint32 blob_signature)
+static char *
+pinvoke_info (MonoImage *m, guint32 mindex)
 {
-       GString *res = g_string_new ("");
-       const char *ptr = mono_metadata_blob_heap (m, blob_signature);
-       MethodSignature *ms = g_new0 (MethodSignature, 1);
-       char *s;
-       int i, len;
+       MonoTableInfo *im = &m->tables [MONO_TABLE_IMPLMAP];
+       MonoTableInfo *mr = &m->tables [MONO_TABLE_MODULEREF];
+       guint32 im_cols [MONO_IMPLMAP_SIZE];
+       guint32 mr_cols [MONO_MODULEREF_SIZE];
+       const char *import, *scope;
+       char *flags;
+       int i;
 
-       ptr = get_encoded_value (ptr, &len);
-       fprintf (output, "     // SIG: ");
-       hex_dump (ptr, 0, -len);
-       fprintf (output, "\n");
-       
-       ms->flags = *ptr++;
+       for (i = 0; i < im->rows; i++) {
 
-       ptr = get_encoded_value (ptr, &ms->param_count);
-       ptr = get_ret_type (m, ptr, &ms->ret_type);
-       ms->param = g_new (char *, ms->param_count);
-       
-       for (i = 0; i < ms->param_count; i++)
-               ptr = get_param (m, ptr, &(ms->param [i]));
+               mono_metadata_decode_row (im, i, im_cols, MONO_IMPLMAP_SIZE);
 
-       s = res->str;
-       g_string_free (res, FALSE);
-       return ms;
-}
+               if ((im_cols [MONO_IMPLMAP_MEMBER] >> 1) == mindex + 1) {
 
-static void
-free_method_signature (MethodSignature *ms)
-{
-       int i;
-       
-       for (i = 0; i < ms->param_count; i++)
-               g_free (ms->param [i]);
-       g_free (ms->param);
-       g_free (ms->ret_type);
-       g_free (ms);
-}
+                       flags = pinvoke_flags (im_cols [MONO_IMPLMAP_FLAGS]);
 
-static map_t param_map [] = {
-       { PARAM_ATTRIBUTE_IN,                "[in] " },
-       { PARAM_ATTRIBUTE_OUT,               "[out] " },
-       { PARAM_ATTRIBUTE_OPTIONAL,          "optional " },
-       { PARAM_ATTRIBUTE_HAS_DEFAULT,       "hasdefault " },
-       { PARAM_ATTRIBUTE_HAS_FIELD_MARSHAL, "fieldmarshal " },
-       { 0, NULL }
-};
+                       import = mono_metadata_string_heap (m, im_cols [MONO_IMPLMAP_NAME]);
 
-static char *
-param_flags (guint32 f)
-{
-       return g_strdup (map (f, param_map));
+                       mono_metadata_decode_row (mr, im_cols [MONO_IMPLMAP_SCOPE] - 1, 
+                                                 mr_cols, MONO_MODULEREF_SIZE);
+
+                       scope = mono_metadata_string_heap (m, mr_cols [MONO_MODULEREF_NAME]);
+                               
+                       return g_strdup_printf ("(\"%s\" as \"%s\" %s)", scope, import,
+                                               flags);
+                       g_free (flags);
+               }
+       }
+
+       return NULL;
+}
+
+static void
+cattrs_for_method (MonoImage *m, guint32 midx, MonoMethodSignature *sig) {
+       MonoTableInfo *methodt;
+       MonoTableInfo *paramt;
+       guint param_index, lastp, i, pid;
+
+       methodt = &m->tables [MONO_TABLE_METHOD];
+       paramt = &m->tables [MONO_TABLE_PARAM];
+       param_index = mono_metadata_decode_row_col (methodt, midx, MONO_METHOD_PARAMLIST);
+       if (midx + 1 < methodt->rows)
+               lastp = mono_metadata_decode_row_col (methodt, midx + 1, MONO_METHOD_PARAMLIST);
+       else
+               lastp = paramt->rows + 1;
+       for (i = param_index; i < lastp; ++i) {
+               pid = mono_metadata_decode_row_col (paramt, i - 1, MONO_PARAM_SEQUENCE);
+               fprintf (output, "\t.param [%d]\n", pid);
+               dump_cattrs (m, MONO_TOKEN_PARAM_DEF | i, "\t");
+       }
 }
 
 /**
- * dis_field_list:
+ * dis_method_list:
  * @m: metadata context
  * @start: starting index into the Method Table.
  * @end: ending index into Method table.
@@ -864,184 +565,501 @@ param_flags (guint32 f)
  * This routine displays the methods in the Method Table from @start to @end
  */
 static void
-dis_method_list (metadata_t *m, guint32 start, guint32 end)
+dis_method_list (const char *klass_name, MonoImage *m, guint32 start, guint32 end)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_METHOD];
-       metadata_tableinfo_t *p = &m->tables [META_TABLE_PARAM];
-       guint32 cols [6];
-       guint32 cols_next [6];
-       guint32 param_cols [3];
+       MonoTableInfo *t = &m->tables [MONO_TABLE_METHOD];
+       guint32 cols [MONO_METHOD_SIZE];
        int i;
 
-       if (end > t->rows + 1){
+       if (end > t->rows){
                fprintf (output, "ERROR index out of range in methods");
-               exit (1);
+               /*exit (1);*/
+               end = t->rows;
        }
 
        for (i = start; i < end; i++){
-               MethodSignature *ms;
+               MonoMethodSignature *ms;
                char *flags, *impl_flags;
+               const char *sig;
+               char *sig_str;
                
-               expand (t, i, cols, CSIZE (cols));
-               expand (t, i + 1, cols_next, CSIZE (cols_next));
+               mono_metadata_decode_row (t, i, cols, MONO_METHOD_SIZE);
 
-               flags = method_flags (cols [2]);
-               impl_flags = method_impl_flags (cols [1]);
+               flags = method_flags (cols [MONO_METHOD_FLAGS]);
+               impl_flags = method_impl_flags (cols [MONO_METHOD_IMPLFLAGS]);
 
-               ms = parse_method_signature (m, cols [4]);
-                       
-               fprintf (output,
-                        "    .method %s\n",
-                        flags);
-               fprintf (output,
-                        "           %s %s",
-                        ms->ret_type,
-                        mono_metadata_string_heap (m, cols [3]));
-               if (ms->param_count > 0){
-                       int i;
-
-                       fprintf (output, "(\n");
-                       for (i = 0; i < ms->param_count; i++){
-                               char *pf;
-                               
-                               expand (p, i, param_cols, CSIZE (param_cols));
-                               pf = param_flags (param_cols [0]);
-                               fprintf (
-                                       output, "\t\t%s %s %s%s", pf, ms->param [i],
-                                       mono_metadata_string_heap (m, param_cols [2]),
-                                       (i+1 == ms->param_count) ? ")" : ",\n");
-
-                               g_free (pf);
+               sig = mono_metadata_blob_heap (m, cols [MONO_METHOD_SIGNATURE]);
+               mono_metadata_decode_blob_size (sig, &sig);
+               ms = mono_metadata_parse_method_signature (m, i + 1, sig, &sig);
+               sig_str = dis_stringify_method_signature (m, ms, i + 1, FALSE);
+
+               fprintf (output, "    // method line %d\n", i + 1);
+               fprintf (output, "    .method %s", flags);
+
+               if ((cols [MONO_METHOD_FLAGS] & METHOD_ATTRIBUTE_PINVOKE_IMPL) && (cols [MONO_METHOD_RVA] == 0)) {
+                       gchar *pi = pinvoke_info (m, i);
+                       if (pi) {
+                               fprintf (output, "%s", pi);
+                               g_free (pi);
                        }
-                               
                }
+
+               fprintf (output, "\n           %s", sig_str);
                fprintf (output, " %s\n", impl_flags);
                g_free (flags);
                g_free (impl_flags);
                
                fprintf (output, "    {\n");
-               fprintf (output, "        // Method begins at RVA 0x%x\n", cols [0]);
-               fprintf (output, "        // Param: %d %d (%d)\n", cols [5], cols_next [5], ms->param_count);
-               fprintf (output, "    }\n\n");
-               free_method_signature (ms);
+               dump_cattrs (m, MONO_TOKEN_METHOD_DEF | (i + 1), "        ");
+               cattrs_for_method (m, i, ms);
+               /* FIXME: need to sump also param custom attributes */
+               fprintf (output, "        // Method begins at RVA 0x%x\n", cols [MONO_METHOD_RVA]);
+               if (cols [MONO_METHOD_IMPLFLAGS] & METHOD_IMPL_ATTRIBUTE_NATIVE)
+                       fprintf (output, "          // Disassembly of native methods is not supported\n");
+               else
+                       dis_code (m, cols [MONO_METHOD_RVA]);
+               fprintf (output, "    } // end of method %s::%s\n\n", klass_name, sig_str);
+               mono_metadata_free_method_signature (ms);
+               g_free (sig_str);
        }
 }
 
-/**
- * dis_type:
- * @m: metadata context
- * @n: index of type to disassemble
- *
- * Disassembles the type whose index in the TypeDef table is @n.
- */
-static void
-dis_type (metadata_t *m, int n)
+typedef struct {
+       MonoTableInfo *t;
+       guint32 col_idx;
+       guint32 idx;
+       guint32 result;
+} plocator_t;
+
+static int
+table_locator (const void *a, const void *b)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_TYPEDEF];
-       guint32 cols [6];
-       guint32 cols_next [6];
-       const char *name;
+       plocator_t *loc = (plocator_t *) a;
+       const char *bb = (const char *) b;
+       guint32 table_index = (bb - loc->t->base) / loc->t->row_size;
+       guint32 col;
        
-       expand (t, n, cols, CSIZE (cols));
-       expand (t, n + 1, cols_next, CSIZE (cols_next));
+       col = mono_metadata_decode_row_col (loc->t, table_index, loc->col_idx);
 
-       fprintf (output, ".namespace %s\n{\n", mono_metadata_string_heap (m, cols [2]));
-       name = mono_metadata_string_heap (m, cols [1]);
+       if (loc->idx == col) {
+               loc->result = table_index;
+               return 0;
+       }
+       if (loc->idx < col)
+               return -1;
+       else 
+               return 1;
+}
 
-       if ((cols [0] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK) == TYPE_ATTRIBUTE_CLASS){
-               char *base = get_typedef_or_ref (m, cols [3]);
-               fprintf (output, "  .class %s%s\n", typedef_flags (cols [0]), name);
-               fprintf (output, "  \textends %s\n", base);
-               g_free (base);
-       } else
-               fprintf (output, "  .class interface %s%s\n", typedef_flags (cols [0]), name);
-       
-       fprintf (output, "  {\n");
+static void
+dis_property_methods (MonoImage *m, guint32 prop)
+{
+       guint start, end;
+       MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
+       guint32 cols [MONO_METHOD_SEMA_SIZE];
+       char *sig;
+       const char *type[] = {NULL, ".set", ".get", NULL, ".other"};
+
+       start = mono_metadata_methods_from_property (m, prop, &end);
+       while (start < end) {
+               mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
+               sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], TRUE);
+               fprintf (output, "\t\t%s %s\n", type [cols [MONO_METHOD_SEMA_SEMANTICS]], sig);
+               g_free (sig);
+               ++start;
+       }
+}
 
-       /*
-        * The value in the table is always valid, we know we have fields
-        * if the value stored is different than the next record.
-        */
-       if (cols [4] != cols_next [4])
-               dis_field_list (m, cols [4] - 1, cols_next [4] - 1);
-       fprintf (output, "\n");
-       if (cols [4] != cols_next [5])
-               dis_method_list (m, cols [5] - 1, cols_next [5] - 1);
+static char*
+dis_property_signature (MonoImage *m, guint32 prop_idx)
+{
+       MonoTableInfo *propt = &m->tables [MONO_TABLE_PROPERTY];
+       const char *ptr;
+       guint32 pcount, i;
+       guint32 cols [MONO_PROPERTY_SIZE];
+       MonoType *type;
+       MonoType *param;
+       char *blurb;
+       const char *name;
+       int prop_flags;
+       GString *res = g_string_new ("");
+
+       mono_metadata_decode_row (propt, prop_idx, cols, MONO_PROPERTY_SIZE);
+       name = mono_metadata_string_heap (m, cols [MONO_PROPERTY_NAME]);
+       prop_flags = cols [MONO_PROPERTY_FLAGS];
+       ptr = mono_metadata_blob_heap (m, cols [MONO_PROPERTY_TYPE]);
+       mono_metadata_decode_blob_size (ptr, &ptr);
+       /* ECMA claims 0x08 ... */
+       if (*ptr != 0x28 && *ptr != 0x08)
+               g_warning("incorrect signature in propert blob: 0x%x", *ptr);
+       ptr++;
+       pcount = mono_metadata_decode_value (ptr, &ptr);
+       type = mono_metadata_parse_type (m, MONO_PARSE_TYPE, 0, ptr, &ptr);
+       blurb = dis_stringify_type (m, type);
+       if (prop_flags & 0x0200)
+               g_string_append (res, "specialname ");
+       if (prop_flags & 0x0400)
+               g_string_append (res, "rtspecialname ");
+       g_string_sprintfa (res, "%s %s (", blurb, name);
+       g_free (blurb);
+       mono_metadata_free_type (type);
+       for (i = 0; i < pcount; i++) {
+               if (i)
+                       g_string_append (res, ", ");
+               param = mono_metadata_parse_param (m, ptr, &ptr);
+               blurb = dis_stringify_param (m, param);
+               g_string_append (res, blurb);
+               mono_metadata_free_type (param);
+               g_free (blurb);
+       }
+       g_string_append_c (res, ')');
+       blurb = res->str;
+       g_string_free (res, FALSE);
+       return blurb;
 
-       fprintf (output, "  }\n}\n\n");
 }
 
 static void
-dump_table_typeref (metadata_t *m)
+dis_property_list (MonoImage *m, guint32 typedef_row)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_TYPEREF];
-       int i;
+       guint start, end, i;
+       start = mono_metadata_properties_from_typedef (m, typedef_row, &end);
+
+       for (i = start; i < end; ++i) {
+               char *sig = dis_property_signature (m, i);
+               fprintf (output, "\t.property %s\n\t{\n", sig);
+               dump_cattrs (m, MONO_TOKEN_PROPERTY | (i + 1), "\t\t");
+               dis_property_methods (m, i);
+               fprintf (output, "\t}\n");
+               g_free (sig);
+       }
+}
 
-       fprintf (output, "Typeref Table\n");
+static char*
+dis_event_signature (MonoImage *m, guint32 event_idx)
+{
+       MonoTableInfo *et = &m->tables [MONO_TABLE_EVENT];
+       char *type, *result, *esname;
+       guint32 cols [MONO_EVENT_SIZE];
+       int event_flags;
+       GString *res = g_string_new ("");
        
-       for (i = 1; i <= t->rows; i++){
-               char *s = get_typeref (m, i);
-               
-               fprintf (output, "%d: %s\n", i, s);
-               g_free (s);
+       mono_metadata_decode_row (et, event_idx, cols, MONO_EVENT_SIZE);
+       esname = get_escaped_name (mono_metadata_string_heap (m, cols [MONO_EVENT_NAME]));
+       type = get_typedef_or_ref (m, cols [MONO_EVENT_TYPE]);
+       event_flags = cols [MONO_EVENT_FLAGS];
+
+       if (event_flags & 0x0200)
+               g_string_append (res, "specialname ");
+       if (event_flags & 0x0400)
+               g_string_append (res, "rtspecialname ");
+       g_string_sprintfa (res, "%s %s", type, esname);
+
+       g_free (type);
+       g_free (esname);
+       result = res->str;
+       g_string_free (res, FALSE);
+       return result;
+}
+
+static void
+dis_event_methods (MonoImage *m, guint32 event)
+{
+       guint start, end;
+       MonoTableInfo *msemt = &m->tables [MONO_TABLE_METHODSEMANTICS];
+       guint32 cols [MONO_METHOD_SEMA_SIZE];
+       char *sig;
+       const char *type = "";
+
+       start = mono_metadata_methods_from_event (m, event, &end);
+       while (start < end) {
+               mono_metadata_decode_row (msemt, start, cols, MONO_METHOD_SEMA_SIZE);
+               sig = dis_stringify_method_signature (m, NULL, cols [MONO_METHOD_SEMA_METHOD], TRUE);
+               switch (cols [MONO_METHOD_SEMA_SEMANTICS]) {
+               case METHOD_SEMANTIC_OTHER:
+                       type = ".other"; break;
+               case METHOD_SEMANTIC_ADD_ON:
+                       type = ".addon"; break;
+               case METHOD_SEMANTIC_REMOVE_ON:
+                       type = ".removeon"; break;
+               case METHOD_SEMANTIC_FIRE:
+                       type = ".fire"; break;
+               default:
+                       break;
+               }
+               fprintf (output, "\t\t%s %s\n", type, sig);
+               g_free (sig);
+               ++start;
        }
-       fprintf (output, "\n");
 }
 
 static void
-dump_table_typedef (metadata_t *m)
+dis_event_list (MonoImage *m, guint32 typedef_row)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_TYPEDEF];
-       int i;
+       guint start, end, i;
+       start = mono_metadata_events_from_typedef (m, typedef_row, &end);
+
+       for (i = start; i < end; ++i) {
+               char *sig = dis_event_signature (m, i);
+               fprintf (output, "\t.event %s\n\t{\n", sig);
+               dump_cattrs (m, MONO_TOKEN_EVENT | (i + 1), "\t\t");
+               dis_event_methods (m, i);
+               fprintf (output, "\t}\n");
+               g_free (sig);
+       }
+}
 
-       fprintf (output, "Typedef Table\n");
-       
-       for (i = 1; i <= t->rows; i++){
-               char *s = get_typedef (m, i);
-               
-               fprintf (output, "%d: %s\n", i, s);
-               g_free (s);
+static void
+dis_interfaces (MonoImage *m, guint32 typedef_row)
+{
+       plocator_t loc;
+       guint start;
+       gboolean first_interface = 1;
+       guint32 cols [MONO_INTERFACEIMPL_SIZE];
+       char *intf;
+       MonoTableInfo *table = &m->tables [MONO_TABLE_INTERFACEIMPL];
+
+       if (!table->base)
+               return;
+
+       loc.t = table;
+       loc.col_idx = MONO_INTERFACEIMPL_CLASS;
+       loc.idx = typedef_row;
+
+       if (!bsearch (&loc, table->base, table->rows, table->row_size, table_locator))
+               return;
+
+       start = loc.result;
+       /*
+        * We may end up in the middle of the rows... 
+        */
+       while (start > 0) {
+               if (loc.idx == mono_metadata_decode_row_col (table, start - 1, MONO_INTERFACEIMPL_CLASS))
+                       start--;
+               else
+                       break;
        }
-       fprintf (output, "\n");
+       while (start < table->rows) {
+               mono_metadata_decode_row (table, start, cols, MONO_INTERFACEIMPL_SIZE);
+               if (cols [MONO_INTERFACEIMPL_CLASS] != loc.idx)
+                       break;
+               intf = get_typedef_or_ref (m, cols [MONO_INTERFACEIMPL_INTERFACE]);
+               if (first_interface) {
+                       fprintf (output, "  \timplements %s", intf);
+                       first_interface = 0;
+               } else {
+                       fprintf (output, ", %s", intf);
+               }
+               g_free (intf);
+               ++start;
+       }
+}
+
+/**
+ * dis_generic_param_and_constraints:
+ * @m: metadata context
+ * @table_type: Type of table (0 for typedef, 1 for methoddef)
+ * @row: Row in table
+ *
+ * Dissasembles the generic parameters for this type or method, also
+ * returns an allocated GString containing the generic constraints NULL
+ * if their are no generic constraints.
+ */
+static GString*
+dis_generic_param_and_constraints (MonoImage *m, int table_type, guint32 typedef_row)
+{
+        MonoTableInfo *t = &m->tables [MONO_TABLE_GENERICPARAM];
+        MonoTableInfo *ct = &m->tables [MONO_TABLE_GENERICPARAMCONSTRAINT];
+        GString* cnst_block = NULL;
+       guint32 cols [MONO_GENERICPARAM_SIZE];
+        guint32 ccols [MONO_GENPARCONSTRAINT_SIZE];
+       int i, own_tok, table, idx, found_count, cnst_start, cnst_ind;
+
+        g_assert (table_type != MONO_TYPEORMETHOD_TYPE || table_type != MONO_TYPEORMETHOD_METHOD);
+        
+        found_count = cnst_start = 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 != typedef_row)
+                        continue;
+
+                if (found_count == 0)
+                        fprintf (output, "<%s", mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
+                else
+                        fprintf (output, ", %s", mono_metadata_string_heap (m, cols [MONO_GENERICPARAM_NAME]));
+
+                for (cnst_ind = cnst_start; cnst_ind < ct->rows; cnst_ind++) {
+                        char *sig;
+                        mono_metadata_decode_row (ct, cnst_ind, ccols, MONO_GENPARCONSTRAINT_SIZE);
+                        if (ccols [MONO_GENPARCONSTRAINT_GENERICPAR] != i)
+                                continue;
+                        if (cnst_block == NULL)
+                                cnst_block = g_string_new ("");
+                        sig = get_typedef_or_ref (m, ccols [MONO_GENPARCONSTRAINT_CONSTRAINT]);
+                        g_string_append_printf (cnst_block, "    .constraint !%d is %s\n",
+                                        cols [MONO_GENERICPARAM_NUMBER], sig);
+                        g_free (sig);
+                        cnst_start = cnst_ind;
+                }
+                
+                found_count++;
+       }
+
+        if (found_count)
+                fprintf (output, ">");
+
+        return cnst_block;
 }
 
+/**
+ * dis_type:
+ * @m: metadata context
+ * @n: index of type to disassemble
+ *
+ * Disassembles the type whose index in the TypeDef table is @n.
+ */
 static void
-dump_table_assemblyref (metadata_t *m)
+dis_type (MonoImage *m, int n)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_ASSEMBLYREF];
-       int i;
+       MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
+        GString *cnst_block = NULL;
+       guint32 cols [MONO_TYPEDEF_SIZE];
+       guint32 cols_next [MONO_TYPEDEF_SIZE];
+       const char *name, *nspace;
+       char *esname;
+       guint32 packing_size, class_size;
+       gboolean next_is_valid, last;
+       guint32 nested;
+
+       mono_metadata_decode_row (t, n, cols, MONO_TYPEDEF_SIZE);
+
+       if (t->rows > n + 1) {
+               mono_metadata_decode_row (t, n + 1, cols_next, MONO_TYPEDEF_SIZE);
+               next_is_valid = 1;
+       } else
+               next_is_valid = 0;
+
+       name = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAME]);
+       nspace = mono_metadata_string_heap (m, cols [MONO_TYPEDEF_NAMESPACE]);
+       if (*nspace)
+               fprintf (output, ".namespace %s\n{\n", nspace);
+
+       esname = get_escaped_name (name);
+       if ((cols [MONO_TYPEDEF_FLAGS] & TYPE_ATTRIBUTE_CLASS_SEMANTIC_MASK) == TYPE_ATTRIBUTE_CLASS){
+               fprintf (output, "  .class %s%s", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
+               
+                cnst_block = dis_generic_param_and_constraints (m, MONO_TYPEORMETHOD_TYPE, n+1);
+                fprintf (output, "\n");
+               if (cols [MONO_TYPEDEF_EXTENDS]) {
+                       char *base = get_typedef_or_ref (m, cols [MONO_TYPEDEF_EXTENDS]);
+                       fprintf (output, "  \textends %s\n", base);
+                       g_free (base);
+               }
+       } else
+               fprintf (output, "  .class interface %s%s\n", typedef_flags (cols [MONO_TYPEDEF_FLAGS]), esname);
+       g_free (esname);
+       dis_interfaces (m, n + 1);
+       fprintf (output, "  {\n");
+        if (cnst_block) {
+                fprintf (output, "%s", cnst_block->str);
+                g_string_free (cnst_block, TRUE);
+        }
+       dump_cattrs (m, MONO_TOKEN_TYPE_DEF | (n + 1), "    ");
+
+       if (mono_metadata_packing_from_typedef (m, n + 1, &packing_size, &class_size)) {
+               fprintf (output, "    .pack %d\n", packing_size);
+               fprintf (output, "    .size %d\n", class_size);
+       }
+       /*
+        * The value in the table is always valid, we know we have fields
+        * if the value stored is different than the next record.
+        */
 
-       fprintf (output, "AssemblyRef Table\n");
+       if (next_is_valid)
+               last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
+       else
+               last = m->tables [MONO_TABLE_FIELD].rows;
+                       
+       if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
+               dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last);
+       fprintf (output, "\n");
+
+       if (next_is_valid)
+               last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
+       else
+               last = m->tables [MONO_TABLE_METHOD].rows;
        
-       for (i = 0; i < t->rows; i++){
-               guint32 cols [9];
+       if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
+               dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last);
 
-               expand (t, i, cols, CSIZE (cols));
-               fprintf (output, "%d: %d.%d.%d.%d %s\n", i,
-                        cols [0], cols [1], cols [2], cols [3],
-                        mono_metadata_string_heap (m, cols [6]));
+       dis_property_list (m, n);
+       dis_event_list (m, n);
+
+       t = &m->tables [MONO_TABLE_NESTEDCLASS];
+       nested = mono_metadata_nesting_typedef (m, n + 1, 1);
+       while (nested) {
+               dis_type (m, mono_metadata_decode_row_col (t, nested - 1, MONO_NESTED_CLASS_NESTED) - 1);
+               nested = mono_metadata_nesting_typedef (m, n + 1, nested + 1);
        }
+       
+       fprintf (output, "  } // end of class %s%s%s\n", nspace, *nspace? ".": "", name);
+       if (*nspace)
+               fprintf (output, "}\n");
        fprintf (output, "\n");
 }
 
+
+/**
+ * dis_globals
+ * @m: metadata context
+ *
+ * disassembles all the global fields and methods
+ */
 static void
-dump_table_param (metadata_t *m)
+dis_globals (MonoImage *m)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_PARAM];
-       int i;
+        MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
+       guint32 cols [MONO_TYPEDEF_SIZE];
+       guint32 cols_next [MONO_TYPEDEF_SIZE];
+       gboolean next_is_valid, last;
+        gchar *name;
 
-       fprintf (output, "Param Table\n");
-       
-       for (i = 0; i < t->rows; i++){
-               guint32 cols [3];
+        name = g_strdup ("<Module>");
 
-               expand (t, i, cols, CSIZE (cols));
-               fprintf (output, "%d: 0x%04x %d %s\n",
-                        i,
-                        cols [0], cols [1], 
-                        mono_metadata_string_heap (m, cols [2]));
-       }
+        mono_metadata_decode_row (t, 0, cols, MONO_TYPEDEF_SIZE);
+
+       if (t->rows > 1) {
+               mono_metadata_decode_row (t, 1, cols_next, MONO_TYPEDEF_SIZE);
+               next_is_valid = 1;
+       } else
+               next_is_valid = 0;
+        
+       /*
+        * The value in the table is always valid, we know we have fields
+        * if the value stored is different than the next record.
+        */
+
+       if (next_is_valid)
+               last = cols_next [MONO_TYPEDEF_FIELD_LIST] - 1;
+       else
+               last = m->tables [MONO_TABLE_FIELD].rows;
+                       
+       if (cols [MONO_TYPEDEF_FIELD_LIST] && cols [MONO_TYPEDEF_FIELD_LIST] <= m->tables [MONO_TABLE_FIELD].rows)
+               dis_field_list (m, cols [MONO_TYPEDEF_FIELD_LIST] - 1, last);
        fprintf (output, "\n");
+
+       if (next_is_valid)
+               last = cols_next [MONO_TYPEDEF_METHOD_LIST] - 1;
+       else
+               last = m->tables [MONO_TABLE_METHOD].rows;
+       
+       if (cols [MONO_TYPEDEF_METHOD_LIST] && cols [MONO_TYPEDEF_METHOD_LIST] <= m->tables [MONO_TABLE_METHOD].rows)
+               dis_method_list (name, m, cols [MONO_TYPEDEF_METHOD_LIST] - 1, last);
+
 }
 
 /**
@@ -1051,15 +1069,98 @@ dump_table_param (metadata_t *m)
  * disassembles all types in the @m context
  */
 static void
-dis_types (metadata_t *m)
+dis_types (MonoImage *m)
 {
-       metadata_tableinfo_t *t = &m->tables [META_TABLE_TYPEDEF];
+       MonoTableInfo *t = &m->tables [MONO_TABLE_TYPEDEF];
        int i;
+       guint32 flags;
+
+        dis_globals (m);
+        
+       for (i = 1; i < t->rows; i++) {
+               flags = mono_metadata_decode_row_col (t, i, MONO_TYPEDEF_FLAGS);
+               flags &= TYPE_ATTRIBUTE_VISIBILITY_MASK;
+               if (flags == TYPE_ATTRIBUTE_PUBLIC || flags == TYPE_ATTRIBUTE_NOT_PUBLIC)
+                       dis_type (m, i);
+       }
+}
 
-       for (i = 0; i < t->rows; i++)
-               dis_type (m, i);
+/**
+ * dis_data:
+ * @m: metadata context
+ *
+ * disassembles all data blobs references in the FieldRVA table in the @m context
+ */
+static void
+dis_data (MonoImage *m)
+{
+       MonoTableInfo *t = &m->tables [MONO_TABLE_FIELDRVA];
+       MonoTableInfo *ft = &m->tables [MONO_TABLE_FIELD];
+       int i, b;
+       const char *rva, *sig;
+       guint32 align, size;
+       guint32 cols [MONO_FIELD_RVA_SIZE];
+       MonoType *type;
+
+       for (i = 0; i < t->rows; i++) {
+               mono_metadata_decode_row (t, i, cols, MONO_FIELD_RVA_SIZE);
+               rva = mono_image_rva_map (m, cols [MONO_FIELD_RVA_RVA]);
+               sig = mono_metadata_blob_heap (m, mono_metadata_decode_row_col (ft, cols [MONO_FIELD_RVA_FIELD] -1, MONO_FIELD_SIGNATURE));
+               mono_metadata_decode_value (sig, &sig);
+               /* FIELD signature == 0x06 */
+               g_assert (*sig == 0x06);
+               type = mono_metadata_parse_field_type (m, 0, sig + 1, &sig);
+               mono_class_init (mono_class_from_mono_type (type));
+               size = mono_type_size (type, &align);
+               fprintf (output, ".data D_%08x = bytearray (", cols [MONO_FIELD_RVA_RVA]);
+               for (b = 0; b < size; ++b) {
+                       if (!(b % 16))
+                               fprintf (output, "\n\t");
+                       fprintf (output, " %02X", rva [b] & 0xff);
+               }
+               fprintf (output, ") // size: %d\n", size);
+       }
 }
 
+struct {
+       const char *name;
+       int table;
+       void (*dumper) (MonoImage *m);
+} table_list [] = {
+       { "--assembly",    MONO_TABLE_ASSEMBLY,         dump_table_assembly },
+       { "--assemblyref", MONO_TABLE_ASSEMBLYREF,      dump_table_assemblyref },
+       { "--classlayout", MONO_TABLE_CLASSLAYOUT,      dump_table_class_layout },
+       { "--constant",    MONO_TABLE_CONSTANT,         dump_table_constant },
+       { "--customattr",  MONO_TABLE_CUSTOMATTRIBUTE,  dump_table_customattr },
+       { "--declsec",     MONO_TABLE_DECLSECURITY,     dump_table_declsec },
+       { "--event",       MONO_TABLE_EVENT,            dump_table_event },
+       { "--exported",    MONO_TABLE_EXPORTEDTYPE,     dump_table_exported },
+       { "--fields",      MONO_TABLE_FIELD,            dump_table_field },
+       { "--file",        MONO_TABLE_FILE,             dump_table_file },
+       { "--genericpar",  MONO_TABLE_GENERICPARAM,     dump_table_genericpar },
+       { "--interface",   MONO_TABLE_INTERFACEIMPL,    dump_table_interfaceimpl },
+       { "--manifest",    MONO_TABLE_MANIFESTRESOURCE, dump_table_manifest },
+       { "--marshal",     MONO_TABLE_FIELDMARSHAL,     dump_table_field_marshal },
+       { "--memberref",   MONO_TABLE_MEMBERREF,        dump_table_memberref },
+       { "--method",      MONO_TABLE_METHOD,           dump_table_method },
+       { "--methodimpl",  MONO_TABLE_METHODIMPL,       dump_table_methodimpl },
+       { "--methodsem",   MONO_TABLE_METHODSEMANTICS,  dump_table_methodsem },
+       { "--methodspec",  MONO_TABLE_METHODSPEC,       dump_table_methodspec },
+       { "--moduleref",   MONO_TABLE_MODULEREF,        dump_table_moduleref },
+       { "--module",      MONO_TABLE_MODULE,           dump_table_module },
+       { "--nested",      MONO_TABLE_NESTEDCLASS,      dump_table_nestedclass },
+       { "--param",       MONO_TABLE_PARAM,            dump_table_param },
+       { "--parconst",    MONO_TABLE_GENERICPARAMCONSTRAINT, dump_table_parconstraint },
+       { "--property",    MONO_TABLE_PROPERTY,         dump_table_property },
+       { "--propertymap", MONO_TABLE_PROPERTYMAP,      dump_table_property_map },
+       { "--typedef",     MONO_TABLE_TYPEDEF,          dump_table_typedef },
+       { "--typeref",     MONO_TABLE_TYPEREF,          dump_table_typeref },
+       { "--typespec",    MONO_TABLE_TYPESPEC,         dump_table_typespec },
+       { "--implmap",     MONO_TABLE_IMPLMAP,          dump_table_implmap },
+       { "--blob",        NULL,                        dump_stream_blob },
+       { NULL, -1 }
+};
+
 /**
  * disassemble_file:
  * @file: file containing CIL code.
@@ -1069,53 +1170,50 @@ dis_types (metadata_t *m)
 static void
 disassemble_file (const char *file)
 {
-       enum MonoAssemblyOpenStatus status;
        MonoAssembly *ass;
-       cli_image_info_t *ii;
-       metadata_t *m;
-
+       MonoImageOpenStatus status;
+       MonoImage *img;
 
        ass = mono_assembly_open (file, &status);
        if (ass == NULL){
                fprintf (stderr, "Error while trying to process %s\n", file);
-               
+               return;
        }
 
-       ii = ass->image_info;
-       m = &ii->cli_metadata;
-       
+       img = ass->image;
+
        if (dump_table != -1){
-               switch (dump_table){
-               case META_TABLE_TYPEDEF:
-                       dump_table_typedef (m);
-                       break;
-               case META_TABLE_TYPEREF:
-                       dump_table_typeref (m);
-                       break;
-               case META_TABLE_ASSEMBLYREF:
-                       dump_table_assemblyref (m);
-                       break;
-               case META_TABLE_PARAM:
-                       dump_table_param (m);
-                       break;
-               default:
-                       g_error ("Internal error");
-               }
+               (*table_list [dump_table].dumper) (img);
        } else {
-               dump_header_data (ass);
+               dump_header_data (img);
                
-               dis_directive_assemblyref (m);
-               dis_directive_assembly (m);
-               dis_types (m);
+               dis_directive_assemblyref (img);
+               dis_directive_assembly (img);
+               dis_directive_file (img);
+               dis_directive_module (img);
+               dis_directive_moduleref (img);
+               dis_types (img);
+               dis_data (img);
        }
        
-       mono_assembly_close (ass);
+       mono_image_close (img);
 }
 
 static void
 usage (void)
 {
-       fprintf (stderr, "Usage is: monodis [--typeref][--typedef][--assemblyref] file ..\n");
+       GString *args = g_string_new ("[--output=filename] [--help] [--mscorlib]\n");
+       int i;
+       
+       for (i = 0; table_list [i].name != NULL; i++){
+               g_string_append (args, "[");
+               g_string_append (args, table_list [i].name);
+               g_string_append (args, "] ");
+               if (((i-2) % 5) == 0)
+                       g_string_append_c (args, '\n');
+       }
+       fprintf (stderr,
+                "Usage is: monodis %s file ..\n", args->str);
        exit (1);
 }
 
@@ -1123,25 +1221,41 @@ int
 main (int argc, char *argv [])
 {
        GList *input_files = NULL, *l;
-       int i;
+       int i, j;
 
        output = stdout;
+       init_key_table ();
        for (i = 1; i < argc; i++){
                if (argv [i][0] == '-'){
                        if (argv [i][1] == 'h')
                                usage ();
                        else if (argv [i][1] == 'd')
                                dump_header_data_p = TRUE;
-                       else if (strcmp (argv [i], "--help") == 0)
+                       else if (strcmp (argv [i], "--mscorlib") == 0) {
+                               substitute_with_mscorlib_p = TRUE;
+                               continue;
+                       } else if (strcmp (argv [i], "--show-method-tokens") == 0) {
+                               show_method_tokens = TRUE;
+                               continue;
+                       } else if (strcmp (argv [i], "--show-tokens") == 0) {
+                               show_tokens = TRUE;
+                               continue;
+                       } else if (strncmp (argv [i], "--output=", 9) == 0) {
+                               output = fopen (argv [i]+9, "w");
+                               if (output == NULL) {
+                                       fprintf (stderr, "Can't open output file `%s': %s\n",
+                                                argv [i]+9, strerror (errno));
+                                       exit (1);
+                               }
+                               continue;
+                       } else if (strcmp (argv [i], "--help") == 0)
+                               usage ();
+                       for (j = 0; table_list [j].name != NULL; j++) {
+                               if (strcmp (argv [i], table_list [j].name) == 0)
+                                       dump_table = j;
+                       }
+                       if (dump_table < 0)
                                usage ();
-                       else if (strcmp (argv [i], "--typeref") == 0)
-                               dump_table = META_TABLE_TYPEREF;
-                       else if (strcmp (argv [i], "--typedef") == 0)
-                               dump_table = META_TABLE_TYPEDEF;
-                       else if (strcmp (argv [i], "--assemblyref") == 0)
-                               dump_table = META_TABLE_ASSEMBLYREF;
-                       else if (strcmp (argv [i], "--param") == 0)
-                               dump_table = META_TABLE_PARAM;
                } else
                        input_files = g_list_append (input_files, argv [i]);
        }
@@ -1149,6 +1263,8 @@ main (int argc, char *argv [])
        if (input_files == NULL)
                usage ();
        
+       mono_init (argv [0]);
+
        for (l = input_files; l; l = l->next)
                disassemble_file (l->data);