Merge pull request #495 from nicolas-raoul/fix-for-issue2907-with-no-formatting-changes
[mono.git] / mcs / tools / mdoc / Mono.Documentation / monodocer.cs
index fe7593d7283e19a719c59edb0b94660d91bbbf0b..dcb23d2f17c9890b7477423b5c0f73e9717f0598 100644 (file)
@@ -5,6 +5,7 @@
 using System;
 using System.Collections;
 using System.Collections.Generic;
+using System.Collections.ObjectModel;
 using System.Diagnostics;
 using System.Globalization;
 using System.IO;
@@ -59,10 +60,11 @@ class MDocUpdater : MDocCommand
 
        MyXmlNodeList extensionMethods = new MyXmlNodeList ();
 
+       HashSet<string> forwardedTypes = new HashSet<string> ();
+
        public override void Run (IEnumerable<string> args)
        {
                show_exceptions = DebugOutput;
-               string import = null;
                var types = new List<string> ();
                var p = new OptionSet () {
                        { "delete",
@@ -142,6 +144,9 @@ class MDocUpdater : MDocCommand
                
                this.assemblies = assemblies.Select (a => LoadAssembly (a)).ToList ();
 
+               // Store types that have been forwarded to avoid duplicate generation
+               GatherForwardedTypes ();
+
                docEnum = docEnum ?? new DocumentationEnumerator ();
                
                // PERFORM THE UPDATES
@@ -188,6 +193,13 @@ class MDocUpdater : MDocCommand
                }
        }
 
+       void GatherForwardedTypes ()
+       {
+               foreach (var asm in assemblies)
+                       foreach (var type in asm.MainModule.ExportedTypes.Where (t => t.IsForwarder).Select (t => t.FullName))
+                               forwardedTypes.Add (type);
+       }
+
        static ExceptionLocations ParseExceptionLocations (string s)
        {
                ExceptionLocations loc = ExceptionLocations.Member;
@@ -214,13 +226,12 @@ class MDocUpdater : MDocCommand
        {
                AssemblyDefinition assembly = null;
                try {
-                       assembly = AssemblyFactory.GetAssembly (name);
+                       assembly = AssemblyDefinition.ReadAssembly (name, new ReaderParameters { AssemblyResolver = assemblyResolver });
                } catch (System.IO.FileNotFoundException) { }
 
                if (assembly == null)
                        throw new InvalidOperationException("Assembly " + name + " not found.");
 
-               assembly.Resolver = assemblyResolver;
                return assembly;
        }
 
@@ -619,7 +630,7 @@ class MDocUpdater : MDocCommand
                index_assemblies.RemoveAll ();
 
 
-               HashSet<string> goodfiles = new HashSet<string> ();
+               HashSet<string> goodfiles = new HashSet<string> (StringComparer.OrdinalIgnoreCase);
 
                foreach (AssemblyDefinition assm in assemblies) {
                        AddIndexAssembly (assm, index_assemblies);
@@ -642,7 +653,7 @@ class MDocUpdater : MDocCommand
        {
                foreach (TypeDefinition type in docEnum.GetDocumentationTypes (assembly, null)) {
                        string typename = GetTypeFileName(type);
-                       if (!IsPublic (type) || typename.IndexOfAny (InvalidFilenameChars) >= 0)
+                       if (!IsPublic (type) || typename.IndexOfAny (InvalidFilenameChars) >= 0 || forwardedTypes.Contains (type.FullName))
                                continue;
 
                        string reltypepath = DoUpdateType (type, source, dest);
@@ -755,7 +766,8 @@ class MDocUpdater : MDocCommand
        {
                TypeDefinition decl = type;
                while (decl != null) {
-                       if (!(decl.IsPublic || decl.IsNestedPublic)) {
+                       if (!(decl.IsPublic || decl.IsNestedPublic ||
+                                               decl.IsNestedFamily || decl.IsNestedFamily || decl.IsNestedFamilyOrAssembly)) {
                                return false;
                        }
                        decl = (TypeDefinition) decl.DeclaringType;
@@ -773,7 +785,7 @@ class MDocUpdater : MDocCommand
                                        XmlDocument doc = new XmlDocument ();
                                        doc.Load (typefile.FullName);
                                        XmlElement e = doc.SelectSingleNode("/Type") as XmlElement;
-                                       if (UpdateAssemblyVersions(e, GetAssemblyVersions(), false)) {
+                                       if (!no_assembly_versions && UpdateAssemblyVersions(e, GetAssemblyVersions(), false)) {
                                                using (TextWriter writer = OpenWrite (typefile.FullName, FileMode.Truncate))
                                                        WriteXml(doc.DocumentElement, writer);
                                                goodfiles.Add (relTypeFile);
@@ -873,7 +885,7 @@ class MDocUpdater : MDocCommand
                        MyXmlNodeList todelete = new MyXmlNodeList ();
                        foreach (DocsNodeInfo info in docEnum.GetDocumentationMembers (basefile, type)) {
                                XmlElement oldmember  = info.Node;
-                               IMemberReference oldmember2 = info.Member;
+                               MemberReference oldmember2 = info.Member;
                                string sig = oldmember2 != null ? memberFormatters [0].GetDeclaration (oldmember2) : null;
 
                                // Interface implementations and overrides are deleted from the docs
@@ -883,7 +895,7 @@ class MDocUpdater : MDocCommand
                                
                                // Deleted (or signature changed)
                                if (oldmember2 == null) {
-                                       if (UpdateAssemblyVersions (oldmember, new string[]{ GetAssemblyVersion (type.Module.Assembly) }, false))
+                                       if (!no_assembly_versions && UpdateAssemblyVersions (oldmember, new string[]{ GetAssemblyVersion (type.Module.Assembly) }, false))
                                                continue;
                                        DeleteMember ("Member Removed", output, oldmember, todelete);
                                        continue;
@@ -912,7 +924,7 @@ class MDocUpdater : MDocCommand
                
                if (!DocUtils.IsDelegate (type)) {
                        XmlNode members = WriteElement (basefile.DocumentElement, "Members");
-                       foreach (IMemberReference m in type.GetMembers()) {
+                       foreach (MemberReference m in type.GetMembers()) {
                                if (m is TypeDefinition) continue;
                                
                                string sig = memberFormatters [0].GetDeclaration (m);
@@ -1193,12 +1205,12 @@ class MDocUpdater : MDocCommand
                        WriteElementText(root, "Base/BaseTypeName", basetypename);
                        
                        // Document how this type instantiates the generic parameters of its base type
-                       TypeReference origBase = type.BaseType.GetOriginalType ();
+                       TypeReference origBase = type.BaseType.GetElementType ();
                        if (origBase.IsGenericType ()) {
                                ClearElement(basenode, "BaseTypeArguments");
                                GenericInstanceType baseInst             = type.BaseType as GenericInstanceType;
-                               GenericArgumentCollection baseGenArgs    = baseInst == null ? null : baseInst.GenericArguments;
-                               GenericParameterCollection baseGenParams = origBase.GenericParameters;
+                               IList<TypeReference> baseGenArgs    = baseInst == null ? null : baseInst.GenericArguments;
+                               IList<GenericParameter> baseGenParams = origBase.GenericParameters;
                                if (baseGenArgs.Count != baseGenParams.Count)
                                        throw new InvalidOperationException ("internal error: number of generic arguments doesn't match number of generic parameters.");
                                for (int i = 0; baseGenArgs != null && i < baseGenArgs.Count; i++) {
@@ -1248,9 +1260,32 @@ class MDocUpdater : MDocCommand
                if (!DocUtils.IsDelegate (type))
                        WriteElement (root, "Members");
 
+               OrderTypeNodes (root, root.ChildNodes);
                NormalizeWhitespace(root);
        }
 
+       static readonly string[] TypeNodeOrder = {
+               "TypeSignature",
+               "MemberOfLibrary",
+               "AssemblyInfo",
+               "ThreadingSafetyStatement",
+               "ThreadSafetyStatement",
+               "TypeParameters",
+               "Base",
+               "Interfaces",
+               "Attributes",
+               "Parameters",
+               "ReturnValue",
+               "Docs",
+               "Members",
+               "TypeExcluded",
+       };
+
+       static void OrderTypeNodes (XmlNode member, XmlNodeList children)
+       {
+               ReorderNodes (member, children, TypeNodeOrder);
+       }
+
        internal static IEnumerable<T> Sort<T> (IEnumerable<T> list)
        {
                List<T> l = new List<T> (list);
@@ -1261,7 +1296,7 @@ class MDocUpdater : MDocCommand
        private void UpdateMember (DocsNodeInfo info)
        {
                XmlElement me = (XmlElement) info.Node;
-               IMemberReference mi = info.Member;
+               MemberReference mi = info.Member;
 
                foreach (MemberFormatter f in memberFormatters) {
                        string element = "MemberSignature[@Language='" + f.Language + "']";
@@ -1294,10 +1329,52 @@ class MDocUpdater : MDocCommand
                
                info.Node = WriteElement (me, "Docs");
                MakeDocNode (info);
+               OrderMemberNodes (me, me.ChildNodes);
                UpdateExtensionMethods (me, info);
        }
 
-       IEnumerable<string> GetCustomAttributes (IMemberReference mi)
+       static readonly string[] MemberNodeOrder = {
+               "MemberSignature",
+               "MemberType",
+               "AssemblyInfo",
+               "Attributes",
+               "ReturnValue",
+               "TypeParameters",
+               "Parameters",
+               "MemberValue",
+               "Docs",
+               "Excluded",
+               "ExcludedLibrary",
+               "Link",
+       };
+
+       static void OrderMemberNodes (XmlNode member, XmlNodeList children)
+       {
+               ReorderNodes (member, children, MemberNodeOrder);
+       }
+
+       static void ReorderNodes (XmlNode node, XmlNodeList children, string[] ordering)
+       {
+               MyXmlNodeList newChildren = new MyXmlNodeList (children.Count);
+               for (int i = 0; i < ordering.Length; ++i) {
+                       for (int j = 0; j < children.Count; ++j) {
+                               XmlNode c = children [j];
+                               if (c.Name == ordering [i]) {
+                                       newChildren.Add (c);
+                               }
+                       }
+               }
+               if (newChildren.Count >= 0)
+                       node.PrependChild ((XmlNode) newChildren [0]);
+               for (int i = 1; i < newChildren.Count; ++i) {
+                       XmlNode prev = (XmlNode) newChildren [i-1];
+                       XmlNode cur  = (XmlNode) newChildren [i];
+                       node.RemoveChild (cur);
+                       node.InsertAfter (cur, prev);
+               }
+       }
+
+       IEnumerable<string> GetCustomAttributes (MemberReference mi)
        {
                IEnumerable<string> attrs = Enumerable.Empty<string>();
 
@@ -1305,18 +1382,16 @@ class MDocUpdater : MDocCommand
                if (p != null)
                        attrs = attrs.Concat (GetCustomAttributes (p.CustomAttributes, ""));
 
-               PropertyReference pr = mi as PropertyReference;
-               if (pr != null) {
-                       PropertyDefinition pd = pr.Resolve ();
+               PropertyDefinition pd = mi as PropertyDefinition;
+               if (pd != null) {
                        if (pd.GetMethod != null)
                                attrs = attrs.Concat (GetCustomAttributes (pd.GetMethod.CustomAttributes, "get: "));
                        if (pd.SetMethod != null)
                                attrs = attrs.Concat (GetCustomAttributes (pd.SetMethod.CustomAttributes, "set: "));
                }
 
-               EventReference er = mi as EventReference;
-               if (er != null) {
-                       EventDefinition ed = er.Resolve ();
+               EventDefinition ed = mi as EventDefinition;
+               if (ed != null) {
                        if (ed.AddMethod != null)
                                attrs = attrs.Concat (GetCustomAttributes (ed.AddMethod.CustomAttributes, "add: "));
                        if (ed.RemoveMethod != null)
@@ -1326,38 +1401,33 @@ class MDocUpdater : MDocCommand
                return attrs;
        }
 
-       IEnumerable<string> GetCustomAttributes (CustomAttributeCollection attributes, string prefix)
+       IEnumerable<string> GetCustomAttributes (IList<CustomAttribute> attributes, string prefix)
        {
-               foreach (CustomAttribute attribute in attributes.Cast<CustomAttribute> ()
-                               .OrderBy (ca => ca.Constructor.DeclaringType.FullName)) {
-                       if (!attribute.Resolve ()) {
-                               // skip?
-                               Warning ("warning: could not resolve type {0}.",
-                                               attribute.Constructor.DeclaringType.FullName);
-                       }
-                       TypeDefinition attrType = attribute.Constructor.DeclaringType as TypeDefinition;
+               foreach (CustomAttribute attribute in attributes.OrderBy (ca => ca.AttributeType.FullName)) {
+
+                       TypeDefinition attrType = attribute.AttributeType as TypeDefinition;
                        if (attrType != null && !IsPublic (attrType))
                                continue;
-                       if (slashdocFormatter.GetName (attribute.Constructor.DeclaringType) == null)
+                       if (slashdocFormatter.GetName (attribute.AttributeType) == null)
                                continue;
                        
-                       if (Array.IndexOf (IgnorableAttributes, attribute.Constructor.DeclaringType.FullName) >= 0)
+                       if (Array.IndexOf (IgnorableAttributes, attribute.AttributeType.FullName) >= 0)
                                continue;
                        
                        StringList fields = new StringList ();
 
-                       ParameterDefinitionCollection parameters = attribute.Constructor.Parameters;
-                       for (int i = 0; i < attribute.ConstructorParameters.Count; ++i) {
+                       for (int i = 0; i < attribute.ConstructorArguments.Count; ++i) {
+                               CustomAttributeArgument argument = attribute.ConstructorArguments [i];
                                fields.Add (MakeAttributesValueString (
-                                               attribute.ConstructorParameters [i],
-                                               parameters [i].ParameterType));
+                                               argument.Value,
+                                               argument.Type));
                        }
                        var namedArgs =
-                               (from de in attribute.Fields.Cast<DictionaryEntry> ()
-                                select new { Type=attribute.GetFieldType (de.Key.ToString ()), Name=de.Key, Value=de.Value })
+                               (from namedArg in attribute.Fields
+                                select new { Type=namedArg.Argument.Type, Name=namedArg.Name, Value=namedArg.Argument.Value })
                                .Concat (
-                                               (from de in attribute.Properties.Cast<DictionaryEntry> ()
-                                                select new { Type=attribute.GetPropertyType (de.Key.ToString ()), Name=de.Key, Value=de.Value }))
+                                               (from namedArg in attribute.Properties
+                                                select new { Type=namedArg.Argument.Type, Name=namedArg.Name, Value=namedArg.Argument.Value }))
                                .OrderBy (v => v.Name);
                        foreach (var d in namedArgs)
                                fields.Add (string.Format ("{0}={1}", d.Name, 
@@ -1366,7 +1436,7 @@ class MDocUpdater : MDocCommand
                        string a2 = String.Join(", ", fields.ToArray ());
                        if (a2 != "") a2 = "(" + a2 + ")";
 
-                       string name = attribute.Constructor.DeclaringType.FullName;
+                       string name = attribute.GetDeclaringType();
                        if (name.EndsWith("Attribute")) name = name.Substring(0, name.Length-"Attribute".Length);
                        yield return prefix + name + a2;
                }
@@ -1439,7 +1509,7 @@ class MDocUpdater : MDocCommand
                }
                else {
                        GenericParameter gp = (GenericParameter) info.Parameters [0].ParameterType;
-                       ConstraintCollection constraints = gp.Constraints;
+                       IList<TypeReference> constraints = gp.Constraints;
                        if (constraints.Count == 0)
                                AppendElementAttributeText (targets, "Target", "Type", "System.Object");
                        else
@@ -1546,7 +1616,7 @@ class MDocUpdater : MDocCommand
        private void MakeDocNode (DocsNodeInfo info)
        {
                List<GenericParameter> genericParams      = info.GenericParameters;
-               ParameterDefinitionCollection parameters  = info.Parameters;
+               IList<ParameterDefinition> parameters  = info.Parameters;
                TypeReference returntype                  = info.ReturnType;
                bool returnisreturn         = info.ReturnIsReturn;
                XmlElement e                = info.Node;
@@ -1570,7 +1640,7 @@ class MDocUpdater : MDocCommand
 
                string retnodename = null;
                if (returntype != null && returntype.FullName != "System.Void") { // FIXME
-                       info.ReturnNodeName = retnodename = returnisreturn ? "returns" : "value";
+                       retnodename = returnisreturn ? "returns" : "value";
                        string retnodename_other = !returnisreturn ? "returns" : "value";
                        
                        // If it has a returns node instead of a value node, change its name.
@@ -1609,23 +1679,7 @@ class MDocUpdater : MDocCommand
 
        private static void OrderDocsNodes (XmlNode docs, XmlNodeList children)
        {
-               MyXmlNodeList newChildren = new MyXmlNodeList (children.Count);
-               for (int i = 0; i < DocsNodeOrder.Length; ++i) {
-                       for (int j = 0; j < children.Count; ++j) {
-                               XmlNode c = children [j];
-                               if (c.Name == DocsNodeOrder [i]) {
-                                       newChildren.Add (c);
-                               }
-                       }
-               }
-               if (newChildren.Count >= 0)
-                       docs.PrependChild ((XmlNode) newChildren [0]);
-               for (int i = 1; i < newChildren.Count; ++i) {
-                       XmlNode prev = (XmlNode) newChildren [i-1];
-                       XmlNode cur  = (XmlNode) newChildren [i];
-                       docs.RemoveChild (cur);
-                       docs.InsertAfter (cur, prev);
-               }
+               ReorderNodes (docs, children, DocsNodeOrder);
        }
        
 
@@ -1757,7 +1811,7 @@ class MDocUpdater : MDocCommand
                }
        }
        
-       private void UpdateExceptions (XmlNode docs, IMemberReference member)
+       private void UpdateExceptions (XmlNode docs, MemberReference member)
        {
                foreach (var source in new ExceptionLookup (exceptions.Value)[member]) {
                        string cref = slashdocFormatter.GetDeclaration (source.Exception);
@@ -1788,7 +1842,7 @@ class MDocUpdater : MDocCommand
                                n.ParentNode.RemoveChild(n);
        }
        
-       private static bool UpdateAssemblyVersions (XmlElement root, IMemberReference member, bool add)
+       private static bool UpdateAssemblyVersions (XmlElement root, MemberReference member, bool add)
        {
                TypeDefinition type = member as TypeDefinition;
                if (type == null)
@@ -1850,6 +1904,8 @@ class MDocUpdater : MDocCommand
                "System.Runtime.CompilerServices.UnsafeValueTypeAttribute",
                // extension methods
                "System.Runtime.CompilerServices.ExtensionAttribute",
+               // Used to differentiate 'object' from C#4 'dynamic'
+               "System.Runtime.CompilerServices.DynamicAttribute",
        };
 
        private void MakeAttributes (XmlElement root, IEnumerable<string> attributes)
@@ -1878,7 +1934,7 @@ class MDocUpdater : MDocCommand
                NormalizeWhitespace(e);
        }
 
-       private static string MakeAttributesValueString (object v, TypeReference valueType)
+       public static string MakeAttributesValueString (object v, TypeReference valueType)
        {
                if (v == null)
                        return "null";
@@ -1886,6 +1942,8 @@ class MDocUpdater : MDocCommand
                        return "typeof(" + v.ToString () + ")";
                if (valueType.FullName == "System.String")
                        return "\"" + v.ToString () + "\"";
+               if (valueType.FullName == "System.Char")
+                       return "'" + v.ToString () + "'";
                if (v is Boolean)
                        return (bool)v ? "true" : "false";
                TypeDefinition valueDef = valueType.Resolve ();
@@ -1896,13 +1954,12 @@ class MDocUpdater : MDocCommand
                long c = ToInt64 (v);
                if (values.ContainsKey (c))
                        return typename + "." + values [c];
-               if (valueDef.CustomAttributes.Cast<CustomAttribute> ()
-                               .Any (ca => ca.Constructor.DeclaringType.FullName == "System.FlagsAttribute")) {
+               if (valueDef.CustomAttributes.Any (ca => ca.AttributeType.FullName == "System.FlagsAttribute")) {
                        return string.Join (" | ",
                                        (from i in values.Keys
                                         where (c & i) != 0
                                         select typename + "." + values [i])
-                                       .ToArray ());
+                                       .DefaultIfEmpty (v.ToString ()).ToArray ());
                }
                return "(" + GetDocTypeFullName (valueType) + ") " + v.ToString ();
        }
@@ -1911,7 +1968,7 @@ class MDocUpdater : MDocCommand
        {
                var values = new Dictionary<long, string> ();
                foreach (var f in 
-                               (from f in type.Fields.Cast<FieldDefinition> ()
+                               (from f in type.Fields
                                 where !(f.IsRuntimeSpecialName || f.IsSpecialName)
                                 select f)) {
                        values [ToInt64 (f.Constant)] = f.Name;
@@ -1926,7 +1983,7 @@ class MDocUpdater : MDocCommand
                return Convert.ToInt64 (value);
        }
        
-       private void MakeParameters (XmlElement root, ParameterDefinitionCollection parameters)
+       private void MakeParameters (XmlElement root, IList<ParameterDefinition> parameters)
        {
                XmlElement e = WriteElement(root, "Parameters");
                e.RemoveAll();
@@ -1935,7 +1992,7 @@ class MDocUpdater : MDocCommand
                        e.AppendChild(pe);
                        pe.SetAttribute("Name", p.Name);
                        pe.SetAttribute("Type", GetDocParameterType (p.ParameterType));
-                       if (p.ParameterType is ReferenceType) {
+                       if (p.ParameterType is ByReferenceType) {
                                if (p.IsOut) pe.SetAttribute("RefType", "out");
                                else pe.SetAttribute("RefType", "ref");
                        }
@@ -1943,7 +2000,7 @@ class MDocUpdater : MDocCommand
                }
        }
        
-       private void MakeTypeParameters (XmlElement root, GenericParameterCollection typeParams)
+       private void MakeTypeParameters (XmlElement root, IList<GenericParameter> typeParams)
        {
                if (typeParams == null || typeParams.Count == 0) {
                        XmlElement f = (XmlElement) root.SelectSingleNode ("TypeParameters");
@@ -1959,7 +2016,7 @@ class MDocUpdater : MDocCommand
                        pe.SetAttribute("Name", t.Name);
                        MakeAttributes (pe, GetCustomAttributes (t.CustomAttributes, ""));
                        XmlElement ce = (XmlElement) e.SelectSingleNode ("Constraints");
-                       ConstraintCollection constraints = t.Constraints;
+                       IList<TypeReference> constraints = t.Constraints;
                        GenericParameterAttributes attrs = t.Attributes;
                        if (attrs == GenericParameterAttributes.NonVariant && constraints.Count == 0) {
                                if (ce != null)
@@ -1991,13 +2048,13 @@ class MDocUpdater : MDocCommand
                }
        }
 
-       private void MakeParameters (XmlElement root, IMemberReference mi)
+       private void MakeParameters (XmlElement root, MemberReference mi)
        {
                if (mi is MethodDefinition && ((MethodDefinition) mi).IsConstructor)
                        MakeParameters (root, ((MethodDefinition)mi).Parameters);
                else if (mi is MethodDefinition) {
                        MethodDefinition mb = (MethodDefinition) mi;
-                       ParameterDefinitionCollection parameters = mb.Parameters;
+                       IList<ParameterDefinition> parameters = mb.Parameters;
                        MakeParameters(root, parameters);
                        if (parameters.Count > 0 && DocUtils.IsExtensionMethod (mb)) {
                                XmlElement p = (XmlElement) root.SelectSingleNode ("Parameters/Parameter[position()=1]");
@@ -2005,7 +2062,7 @@ class MDocUpdater : MDocCommand
                        }
                }
                else if (mi is PropertyDefinition) {
-                       ParameterDefinitionCollection parameters = ((PropertyDefinition)mi).Parameters;
+                       IList<ParameterDefinition> parameters = ((PropertyDefinition)mi).Parameters;
                        if (parameters.Count > 0)
                                MakeParameters(root, parameters);
                        else
@@ -2021,7 +2078,7 @@ class MDocUpdater : MDocCommand
                return GetDocTypeFullName (type).Replace ("@", "&");
        }
 
-       private void MakeReturnValue (XmlElement root, TypeReference type, CustomAttributeCollection attributes) 
+       private void MakeReturnValue (XmlElement root, TypeReference type, IList<CustomAttribute> attributes) 
        {
                XmlElement e = WriteElement(root, "ReturnValue");
                e.RemoveAll();
@@ -2030,12 +2087,12 @@ class MDocUpdater : MDocCommand
                        MakeAttributes(e, GetCustomAttributes (attributes, ""));
        }
        
-       private void MakeReturnValue (XmlElement root, IMemberReference mi)
+       private void MakeReturnValue (XmlElement root, MemberReference mi)
        {
                if (mi is MethodDefinition && ((MethodDefinition) mi).IsConstructor)
                        return;
                else if (mi is MethodDefinition)
-                       MakeReturnValue (root, ((MethodDefinition)mi).ReturnType.ReturnType, ((MethodDefinition)mi).ReturnType.CustomAttributes);
+                       MakeReturnValue (root, ((MethodDefinition)mi).ReturnType, ((MethodDefinition)mi).MethodReturnType.CustomAttributes);
                else if (mi is PropertyDefinition)
                        MakeReturnValue (root, ((PropertyDefinition)mi).PropertyType, null);
                else if (mi is FieldDefinition)
@@ -2048,7 +2105,7 @@ class MDocUpdater : MDocCommand
        
        private XmlElement MakeMember(XmlDocument doc, DocsNodeInfo info)
        {
-               IMemberReference mi = info.Member;
+               MemberReference mi = info.Member;
                if (mi is TypeDefinition) return null;
 
                string sigs = memberFormatters [0].GetDeclaration (mi);
@@ -2078,7 +2135,7 @@ class MDocUpdater : MDocCommand
                return me;
        }
 
-       internal static string GetMemberName (IMemberReference mi)
+       internal static string GetMemberName (MemberReference mi)
        {
                MethodDefinition mb = mi as MethodDefinition;
                if (mb == null) {
@@ -2099,7 +2156,7 @@ class MDocUpdater : MDocCommand
                        sb.Append (ifaceMethod.Name);
                }
                if (mb.IsGenericMethod ()) {
-                       GenericParameterCollection typeParams = mb.GenericParameters;
+                       IList<GenericParameter> typeParams = mb.GenericParameters;
                        if (typeParams.Count > 0) {
                                sb.Append ("<");
                                sb.Append (typeParams [0].Name);
@@ -2112,12 +2169,12 @@ class MDocUpdater : MDocCommand
        }
        
        /// SIGNATURE GENERATION FUNCTIONS
-       internal static bool IsPrivate (IMemberReference mi)
+       internal static bool IsPrivate (MemberReference mi)
        {
                return memberFormatters [0].GetDeclaration (mi) == null;
        }
 
-       internal static string GetMemberType (IMemberReference mi)
+       internal static string GetMemberType (MemberReference mi)
        {
                if (mi is MethodDefinition && ((MethodDefinition) mi).IsConstructor)
                        return "Constructor";
@@ -2186,7 +2243,7 @@ class MDocUpdater : MDocCommand
                return xpath.ToString ();
        }
 
-       public static string GetXPathForMember (IMemberReference member)
+       public static string GetXPathForMember (MemberReference member)
        {
                StringBuilder xpath = new StringBuilder ();
                xpath.Append ("//Type[@FullName=\"")
@@ -2196,7 +2253,7 @@ class MDocUpdater : MDocCommand
                        .Append (GetMemberName (member))
                        .Append ("\"]");
 
-               ParameterDefinitionCollection parameters = null;
+               IList<ParameterDefinition> parameters = null;
                if (member is MethodDefinition)
                        parameters = ((MethodDefinition) member).Parameters;
                else if (member is PropertyDefinition) {
@@ -2217,28 +2274,33 @@ class MDocUpdater : MDocCommand
 }
 
 static class CecilExtensions {
-       public static IEnumerable<IMemberReference> GetMembers (this TypeDefinition type)
+       public static string GetDeclaringType(this CustomAttribute attribute)
+       {
+               return attribute.Constructor.DeclaringType.FullName;
+       }
+
+       public static IEnumerable<MemberReference> GetMembers (this TypeDefinition type)
        {
-               foreach (var c in type.Constructors)
-                       yield return (IMemberReference) c;
+               foreach (var c in type.Methods.Where (m => m.IsConstructor))
+                       yield return (MemberReference) c;
                foreach (var e in type.Events)
-                       yield return (IMemberReference) e;
+                       yield return (MemberReference) e;
                foreach (var f in type.Fields)
-                       yield return (IMemberReference) f;
-               foreach (var m in type.Methods)
-                       yield return (IMemberReference) m;
+                       yield return (MemberReference) f;
+               foreach (var m in type.Methods.Where (m => !m.IsConstructor))
+                       yield return (MemberReference) m;
                foreach (var t in type.NestedTypes)
-                       yield return (IMemberReference) t;
+                       yield return (MemberReference) t;
                foreach (var p in type.Properties)
-                       yield return (IMemberReference) p;
+                       yield return (MemberReference) p;
        }
 
-       public static IEnumerable<IMemberReference> GetMembers (this TypeDefinition type, string member)
+       public static IEnumerable<MemberReference> GetMembers (this TypeDefinition type, string member)
        {
                return GetMembers (type).Where (m => m.Name == member);
        }
 
-       public static IMemberReference GetMember (this TypeDefinition type, string member)
+       public static MemberReference GetMember (this TypeDefinition type, string member)
        {
                return GetMembers (type, member).EnsureZeroOrOne ();
        }
@@ -2252,31 +2314,29 @@ static class CecilExtensions {
 
        public static MethodDefinition GetMethod (this TypeDefinition type, string method)
        {
-               return type.Methods.Cast<MethodDefinition> ()
+               return type.Methods
                        .Where (m => m.Name == method)
                        .EnsureZeroOrOne ();
        }
 
-       public static IEnumerable<IMemberReference> GetDefaultMembers (this TypeReference type)
+       public static IEnumerable<MemberReference> GetDefaultMembers (this TypeReference type)
        {
                TypeDefinition def = type as TypeDefinition;
                if (def == null)
-                       return new IMemberReference [0];
-               CustomAttribute defMemberAttr = type.CustomAttributes.Cast<CustomAttribute> ()
-                               .Where (c => c.Constructor.DeclaringType.FullName == "System.Reflection.DefaultMemberAttribute")
-                               .FirstOrDefault ();
+                       return new MemberReference [0];
+               CustomAttribute defMemberAttr = def.CustomAttributes
+                               .FirstOrDefault (c => c.AttributeType.FullName == "System.Reflection.DefaultMemberAttribute");
                if (defMemberAttr == null)
-                       return new IMemberReference [0];
-               string name = (string) defMemberAttr.ConstructorParameters [0];
-               return def.Properties.Cast<PropertyDefinition> ()
+                       return new MemberReference [0];
+               string name = (string) defMemberAttr.ConstructorArguments [0].Value;
+               return def.Properties
                                .Where (p => p.Name == name)
-                               .Select (p => (IMemberReference) p);
+                               .Select (p => (MemberReference) p);
        }
 
        public static IEnumerable<TypeDefinition> GetTypes (this AssemblyDefinition assembly)
        {
-               return assembly.Modules.Cast<ModuleDefinition> ()
-                               .SelectMany (md => md.Types.Cast<TypeDefinition> ());
+               return assembly.Modules.SelectMany (md => md.GetAllTypes ());
        }
 
        public static TypeDefinition GetType (this AssemblyDefinition assembly, string type)
@@ -2296,23 +2356,23 @@ static class CecilExtensions {
                return method.GenericParameters.Count > 0;
        }
 
-       public static IMemberReference Resolve (this IMemberReference member)
+       public static MemberReference Resolve (this MemberReference member)
        {
-               EventReference er = member as EventReference;
-               if (er != null)
-                       return er.Resolve ();
                FieldReference fr = member as FieldReference;
                if (fr != null)
                        return fr.Resolve ();
                MethodReference mr = member as MethodReference;
                if (mr != null)
                        return mr.Resolve ();
-               PropertyReference pr = member as PropertyReference;
-               if (pr != null)
-                       return pr.Resolve ();
                TypeReference tr = member as TypeReference;
                if (tr != null)
                        return tr.Resolve ();
+               PropertyReference pr = member as PropertyReference;
+               if (pr != null)
+                       return pr;
+               EventReference er = member as EventReference;
+               if (er != null)
+                       return er;
                throw new NotSupportedException ("Cannot find definition for " + member.ToString ());
        }
 
@@ -2320,7 +2380,23 @@ static class CecilExtensions {
        {
                if (!type.IsEnum)
                        return type;
-               return type.Fields.Cast<FieldDefinition>().First (f => f.Name == "value__").FieldType;
+               return type.Fields.First (f => f.Name == "value__").FieldType;
+       }
+
+       public static IEnumerable<TypeDefinition> GetAllTypes (this ModuleDefinition self)
+       {
+               return self.Types.SelectMany (t => t.GetAllTypes ());
+       }
+
+       static IEnumerable<TypeDefinition> GetAllTypes (this TypeDefinition self)
+       {
+               yield return self;
+
+               if (!self.HasNestedTypes)
+                       yield break;
+
+               foreach (var type in self.NestedTypes.SelectMany (t => t.GetAllTypes ()))
+                       yield return type;
        }
 }
 
@@ -2384,8 +2460,8 @@ static class DocUtils {
 
        public static string GetNamespace (TypeReference type)
        {
-               if (type.GetOriginalType ().IsNested)
-                       type = type.GetOriginalType ();
+               if (type.GetElementType ().IsNested)
+                       type = type.GetElementType ();
                while (type != null && type.IsNested)
                        type = type.DeclaringType;
                if (type == null)
@@ -2405,12 +2481,10 @@ static class DocUtils {
        public static bool IsExtensionMethod (MethodDefinition method)
        {
                return
-                       method.CustomAttributes.Cast<CustomAttribute> ()
-                                       .Where (m => m.Constructor.DeclaringType.FullName == "System.Runtime.CompilerServices.ExtensionAttribute")
-                                       .Any () &&
-                       method.DeclaringType.CustomAttributes.Cast<CustomAttribute> ()
-                                       .Where (m => m.Constructor.DeclaringType.FullName == "System.Runtime.CompilerServices.ExtensionAttribute")
-                                       .Any ();
+                       method.CustomAttributes
+                                       .Any (m => m.AttributeType.FullName == "System.Runtime.CompilerServices.ExtensionAttribute")
+                       && method.DeclaringType.CustomAttributes
+                                       .Any (m => m.AttributeType.FullName == "System.Runtime.CompilerServices.ExtensionAttribute");
        }
 
        public static bool IsDelegate (TypeDefinition type)
@@ -2498,7 +2572,7 @@ class DocsNodeInfo {
                SetType (type);
        }
 
-       public DocsNodeInfo (XmlElement node, IMemberReference member)
+       public DocsNodeInfo (XmlElement node, MemberReference member)
                : this (node)
        {
                SetMemberInfo (member);
@@ -2509,7 +2583,7 @@ class DocsNodeInfo {
                if (type == null)
                        throw new ArgumentNullException ("type");
                Type = type;
-               GenericParameters = new List<GenericParameter> (type.GenericParameters.Cast<GenericParameter> ());
+               GenericParameters = new List<GenericParameter> (type.GenericParameters);
                List<TypeReference> declTypes = DocUtils.GetDeclaringTypes (type);
                int maxGenArgs = DocUtils.GetGenericArgumentCount (type);
                for (int i = 0; i < declTypes.Count - 1; ++i) {
@@ -2521,11 +2595,12 @@ class DocsNodeInfo {
                }
                if (DocUtils.IsDelegate (type)) {
                        Parameters = type.GetMethod("Invoke").Parameters;
-                       ReturnType = type.GetMethod("Invoke").ReturnType.ReturnType;
+                       ReturnType = type.GetMethod("Invoke").ReturnType;
+                       ReturnIsReturn = true;
                }
        }
 
-       void SetMemberInfo (IMemberReference member)
+       void SetMemberInfo (MemberReference member)
        {
                if (member == null)
                        throw new ArgumentNullException ("member");
@@ -2537,7 +2612,7 @@ class DocsNodeInfo {
                        MethodReference mr = (MethodReference) member;
                        Parameters = mr.Parameters;
                        if (mr.IsGenericMethod ()) {
-                               GenericParameters = new List<GenericParameter> (mr.GenericParameters.Cast<GenericParameter> ());
+                               GenericParameters = new List<GenericParameter> (mr.GenericParameters);
                        }
                }
                else if (member is PropertyDefinition) {
@@ -2545,7 +2620,7 @@ class DocsNodeInfo {
                }
                        
                if (member is MethodDefinition) {
-                       ReturnType = ((MethodDefinition) member).ReturnType.ReturnType;
+                       ReturnType = ((MethodDefinition) member).ReturnType;
                } else if (member is PropertyDefinition) {
                        ReturnType = ((PropertyDefinition) member).PropertyType;
                        ReturnIsReturn = false;
@@ -2558,13 +2633,12 @@ class DocsNodeInfo {
 
        public TypeReference ReturnType;
        public List<GenericParameter> GenericParameters;
-       public ParameterDefinitionCollection Parameters;
+       public IList<ParameterDefinition> Parameters;
        public bool ReturnIsReturn;
        public XmlElement Node;
        public bool AddRemarks = true;
-       public IMemberReference Member;
+       public MemberReference Member;
        public TypeDefinition Type;
-       public string ReturnNodeName;
 }
 
 class DocumentationEnumerator {
@@ -2594,7 +2668,7 @@ class DocumentationEnumerator {
                                oldmember.RemoveAttribute ("__monodocer-seen__");
                                continue;
                        }
-                       IMemberReference m = GetMember (type, new DocumentationMember (oldmember));
+                       MemberReference m = GetMember (type, new DocumentationMember (oldmember));
                        if (m == null) {
                                yield return new DocsNodeInfo (oldmember);
                        }
@@ -2604,7 +2678,7 @@ class DocumentationEnumerator {
                }
        }
 
-       protected static IMemberReference GetMember (TypeDefinition type, DocumentationMember member)
+       protected static MemberReference GetMember (TypeDefinition type, DocumentationMember member)
        {
                string membertype = member.MemberType;
                
@@ -2614,22 +2688,22 @@ class DocumentationEnumerator {
                string[] docTypeParams = GetTypeParameters (docName);
 
                // Loop through all members in this type with the same name
-               foreach (IMemberReference mi in GetReflectionMembers (type, docName)) {
+               foreach (MemberReference mi in GetReflectionMembers (type, docName)) {
                        if (mi is TypeDefinition) continue;
                        if (MDocUpdater.GetMemberType(mi) != membertype) continue;
 
                        if (MDocUpdater.IsPrivate (mi))
                                continue;
 
-                       ParameterDefinitionCollection pis = null;
+                       IList<ParameterDefinition> pis = null;
                        string[] typeParams = null;
                        if (mi is MethodDefinition) {
                                MethodDefinition mb = (MethodDefinition) mi;
                                pis = mb.Parameters;
                                if (docTypeParams != null && mb.IsGenericMethod ()) {
-                                       GenericParameterCollection args = mb.GenericParameters;
+                                       IList<GenericParameter> args = mb.GenericParameters;
                                        if (args.Count == docTypeParams.Length) {
-                                               typeParams = args.Cast<GenericParameter> ().Select (p => p.Name).ToArray ();
+                                               typeParams = args.Select (p => p.Name).ToArray ();
                                        }
                                }
                        }
@@ -2645,7 +2719,7 @@ class DocumentationEnumerator {
                        if (mDef != null && !mDef.IsConstructor) {
                                // Casting operators can overload based on return type.
                                if (returntype != GetReplacedString (
-                                                       MDocUpdater.GetDocTypeFullName (((MethodDefinition)mi).ReturnType.ReturnType), 
+                                                       MDocUpdater.GetDocTypeFullName (((MethodDefinition)mi).ReturnType), 
                                                        typeParams, docTypeParams)) {
                                        continue;
                                }
@@ -2691,7 +2765,7 @@ class DocumentationEnumerator {
                return types.ToArray ();
        }
 
-       protected static IEnumerable<IMemberReference> GetReflectionMembers (TypeDefinition type, string docName)
+       protected static IEnumerable<MemberReference> GetReflectionMembers (TypeDefinition type, string docName)
        {
                // need to worry about 4 forms of //@MemberName values:
                //  1. "Normal" (non-generic) member names: GetEnumerator
@@ -2710,12 +2784,12 @@ class DocumentationEnumerator {
                //    this as (1) or (2).
                if (docName.IndexOf ('<') == -1 && docName.IndexOf ('[') == -1) {
                        // Cases 1 & 2
-                       foreach (IMemberReference mi in type.GetMembers (docName))
+                       foreach (MemberReference mi in type.GetMembers (docName))
                                yield return mi;
                        if (CountChars (docName, '.') > 0)
                                // might be a property; try only type.member instead of
                                // namespace.type.member.
-                               foreach (IMemberReference mi in 
+                               foreach (MemberReference mi in 
                                                type.GetMembers (DocUtils.GetTypeDotMember (docName)))
                                        yield return mi;
                        yield break;
@@ -2749,11 +2823,11 @@ class DocumentationEnumerator {
                }
                string refName = startLt == -1 ? docName : docName.Substring (0, startLt);
                // case 3
-               foreach (IMemberReference mi in type.GetMembers (refName))
+               foreach (MemberReference mi in type.GetMembers (refName))
                        yield return mi;
 
                // case 4
-               foreach (IMemberReference mi in type.GetMembers (refName.Substring (startType + 1)))
+               foreach (MemberReference mi in type.GetMembers (refName.Substring (startType + 1)))
                        yield return mi;
 
                // If we _still_ haven't found it, we've hit another generic naming issue:
@@ -2767,7 +2841,7 @@ class DocumentationEnumerator {
                // over all member names, convert them into CSC format, and compare... :-(
                if (numDot == 0)
                        yield break;
-               foreach (IMemberReference mi in type.GetMembers ()) {
+               foreach (MemberReference mi in type.GetMembers ()) {
                        if (MDocUpdater.GetMemberName (mi) == docName)
                                yield return mi;
                }
@@ -2811,7 +2885,7 @@ class EcmaDocumentationEnumerator : DocumentationEnumerator {
                        .Concat (base.GetDocumentationTypes (assembly, forTypes, seen));
        }
 
-       IEnumerable<TypeDefinition> GetDocumentationTypes (AssemblyDefinition assembly, List<string> forTypes, HashSet<string> seen)
+       new IEnumerable<TypeDefinition> GetDocumentationTypes (AssemblyDefinition assembly, List<string> forTypes, HashSet<string> seen)
        {
                int typeDepth = -1;
                while (ecmadocs.Read ()) {
@@ -2880,7 +2954,7 @@ class EcmaDocumentationEnumerator : DocumentationEnumerator {
                                        DocumentationMember dm = new DocumentationMember (ecmadocs);
                                        string xp = MDocUpdater.GetXPathForMember (dm);
                                        XmlElement oldmember = (XmlElement) basefile.SelectSingleNode (xp);
-                                       IMemberReference m;
+                                       MemberReference m;
                                        if (oldmember == null) {
                                                m = GetMember (type, dm);
                                                if (m == null) {
@@ -2987,7 +3061,7 @@ class MsxdocDocumentationImporter : DocumentationImporter {
                                // properties, so let's try to normalize things.
                                case "value":
                                case "returns": {
-                                       XmlElement v = e.OwnerDocument.CreateElement (info.ReturnNodeName ?? child.Name);
+                                       XmlElement v = e.OwnerDocument.CreateElement (info.ReturnIsReturn ? "returns" : "value");
                                        v.InnerXml = child.InnerXml;
                                        e.AppendChild (v);
                                        break;
@@ -3032,7 +3106,7 @@ class MsxdocDocumentationImporter : DocumentationImporter {
                }
        }
 
-       private XmlNode GetDocs (IMemberReference member)
+       private XmlNode GetDocs (MemberReference member)
        {
                string slashdocsig = MDocUpdater.slashdocFormatter.GetDeclaration (member);
                if (slashdocsig != null)
@@ -3201,9 +3275,27 @@ class DocumentationMember {
        }
 }
 
+public class DynamicParserContext {
+       public ReadOnlyCollection<bool> TransformFlags;
+       public int TransformIndex;
+
+       public DynamicParserContext (ICustomAttributeProvider provider)
+       {
+               CustomAttribute da;
+               if (provider.HasCustomAttributes &&
+                               (da = (provider.CustomAttributes.Cast<CustomAttribute>()
+                                       .SingleOrDefault (ca => ca.GetDeclaringType() == "System.Runtime.CompilerServices.DynamicAttribute"))) != null) {
+                       CustomAttributeArgument[] values = da.ConstructorArguments.Count == 0
+                               ? new CustomAttributeArgument [0]
+                               : (CustomAttributeArgument[]) da.ConstructorArguments [0].Value;
+
+                       TransformFlags = new ReadOnlyCollection<bool> (values.Select (t => (bool) t.Value).ToArray());
+               }
+       }
+}
+
 public enum MemberFormatterState {
        None,
-       WithinArray,
        WithinGenericTypeParameters,
 }
 
@@ -3213,11 +3305,16 @@ public abstract class MemberFormatter {
                get {return "";}
        }
 
-       public virtual string GetName (IMemberReference member)
+       public string GetName (MemberReference member)
+       {
+               return GetName (member, null);
+       }
+
+       public virtual string GetName (MemberReference member, DynamicParserContext context)
        {
                TypeReference type = member as TypeReference;
                if (type != null)
-                       return GetTypeName (type);
+                       return GetTypeName (type, context);
                MethodReference method  = member as MethodReference;
                if (method != null && method.Name == ".ctor") // method.IsConstructor
                        return GetConstructorName (method);
@@ -3237,10 +3334,15 @@ public abstract class MemberFormatter {
        }
 
        protected virtual string GetTypeName (TypeReference type)
+       {
+               return GetTypeName (type, null);
+       }
+
+       protected virtual string GetTypeName (TypeReference type, DynamicParserContext context)
        {
                if (type == null)
                        throw new ArgumentNullException ("type");
-               return _AppendTypeName (new StringBuilder (type.Name.Length), type).ToString ();
+               return _AppendTypeName (new StringBuilder (type.Name.Length), type, context).ToString ();
        }
 
        protected virtual char[] ArrayDelimeters {
@@ -3249,37 +3351,29 @@ public abstract class MemberFormatter {
 
        protected virtual MemberFormatterState MemberFormatterState { get; set; }
 
-       protected StringBuilder _AppendTypeName (StringBuilder buf, TypeReference type)
+       protected StringBuilder _AppendTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                if (type is ArrayType) {
                        TypeSpecification spec = type as TypeSpecification;
-                       _AppendTypeName (buf, spec != null ? spec.ElementType : type.GetOriginalType ())
-                                       .Append (ArrayDelimeters [0]);
-                       var origState = MemberFormatterState;
-                       MemberFormatterState = MemberFormatterState.WithinArray;
-                       ArrayType array = (ArrayType) type;
-                       int rank = array.Rank;
-                       if (rank > 1)
-                               buf.Append (new string (',', rank-1));
-                       MemberFormatterState = origState;
-                       return buf.Append (ArrayDelimeters [1]);
-               }
-               if (type is ReferenceType) {
-                       return AppendRefTypeName (buf, type);
+                       _AppendTypeName (buf, spec != null ? spec.ElementType : type.GetElementType (), context);
+                       return AppendArrayModifiers (buf, (ArrayType) type);
+               }
+               if (type is ByReferenceType) {
+                       return AppendRefTypeName (buf, type, context);
                }
                if (type is PointerType) {
-                       return AppendPointerTypeName (buf, type);
+                       return AppendPointerTypeName (buf, type, context);
                }
                AppendNamespace (buf, type);
                if (type is GenericParameter) {
-                       return AppendTypeName (buf, type);
+                       return AppendTypeName (buf, type, context);
                }
                GenericInstanceType genInst = type as GenericInstanceType;
                if (type.GenericParameters.Count == 0 &&
                                (genInst == null ? true : genInst.GenericArguments.Count == 0)) {
-                       return AppendFullTypeName (buf, type);
+                       return AppendFullTypeName (buf, type, context);
                }
-               return AppendGenericType (buf, type);
+               return AppendGenericType (buf, type, context);
        }
 
        protected virtual StringBuilder AppendNamespace (StringBuilder buf, TypeReference type)
@@ -3290,15 +3384,17 @@ public abstract class MemberFormatter {
                return buf;
        }
 
-       protected virtual StringBuilder AppendFullTypeName (StringBuilder buf, TypeReference type)
+       protected virtual StringBuilder AppendFullTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                if (type.DeclaringType != null)
-                       AppendFullTypeName (buf, type.DeclaringType).Append (NestedTypeSeparator);
-               return AppendTypeName (buf, type);
+                       AppendFullTypeName (buf, type.DeclaringType, context).Append (NestedTypeSeparator);
+               return AppendTypeName (buf, type, context);
        }
 
-       protected virtual StringBuilder AppendTypeName (StringBuilder buf, TypeReference type)
+       protected virtual StringBuilder AppendTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
+               if (context != null)
+                       context.TransformIndex++;
                return AppendTypeName (buf, type.Name);
        }
 
@@ -3310,14 +3406,23 @@ public abstract class MemberFormatter {
                return buf.Append (typename);
        }
 
+       protected virtual StringBuilder AppendArrayModifiers (StringBuilder buf, ArrayType array)
+       {
+               buf.Append (ArrayDelimeters [0]);
+               int rank = array.Rank;
+               if (rank > 1)
+                       buf.Append (new string (',', rank-1));
+               return buf.Append (ArrayDelimeters [1]);
+       }
+
        protected virtual string RefTypeModifier {
                get {return "@";}
        }
 
-       protected virtual StringBuilder AppendRefTypeName (StringBuilder buf, TypeReference type)
+       protected virtual StringBuilder AppendRefTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                TypeSpecification spec = type as TypeSpecification;
-               return _AppendTypeName (buf, spec != null ? spec.ElementType : type.GetOriginalType ())
+               return _AppendTypeName (buf, spec != null ? spec.ElementType : type.GetElementType (), context)
                                .Append (RefTypeModifier);
        }
 
@@ -3325,10 +3430,10 @@ public abstract class MemberFormatter {
                get {return "*";}
        }
 
-       protected virtual StringBuilder AppendPointerTypeName (StringBuilder buf, TypeReference type)
+       protected virtual StringBuilder AppendPointerTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                TypeSpecification spec = type as TypeSpecification;
-               return _AppendTypeName (buf, spec != null ? spec.ElementType : type.GetOriginalType ())
+               return _AppendTypeName (buf, spec != null ? spec.ElementType : type.GetElementType (), context)
                                .Append (PointerModifier);
        }
 
@@ -3340,10 +3445,10 @@ public abstract class MemberFormatter {
                get {return '.';}
        }
 
-       protected virtual StringBuilder AppendGenericType (StringBuilder buf, TypeReference type)
+       protected virtual StringBuilder AppendGenericType (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                List<TypeReference> decls = DocUtils.GetDeclaringTypes (
-                               type is GenericInstanceType ? type.GetOriginalType () : type);
+                               type is GenericInstanceType ? type.GetElementType () : type);
                List<TypeReference> genArgs = GetGenericArguments (type);
                int argIdx = 0;
                int prev = 0;
@@ -3354,7 +3459,7 @@ public abstract class MemberFormatter {
                                buf.Append (NestedTypeSeparator);
                        }
                        insertNested = true;
-                       AppendTypeName (buf, declDef);
+                       AppendTypeName (buf, declDef, context);
                        int ac = DocUtils.GetGenericArgumentCount (declDef);
                        int c = ac - prev;
                        prev = ac;
@@ -3362,9 +3467,10 @@ public abstract class MemberFormatter {
                                buf.Append (GenericTypeContainer [0]);
                                var origState = MemberFormatterState;
                                MemberFormatterState = MemberFormatterState.WithinGenericTypeParameters;
-                               _AppendTypeName (buf, genArgs [argIdx++]);
-                               for (int i = 1; i < c; ++i)
-                                       _AppendTypeName (buf.Append (","), genArgs [argIdx++]);
+                               _AppendTypeName (buf, genArgs [argIdx++], context);
+                               for (int i = 1; i < c; ++i) {
+                                       _AppendTypeName (buf.Append (","), genArgs [argIdx++], context);
+                               }
                                MemberFormatterState = origState;
                                buf.Append (GenericTypeContainer [1]);
                        }
@@ -3413,7 +3519,7 @@ public abstract class MemberFormatter {
                return e.Name;
        }
 
-       public virtual string GetDeclaration (IMemberReference member)
+       public virtual string GetDeclaration (MemberReference member)
        {
                if (member == null)
                        throw new ArgumentNullException ("member");
@@ -3442,7 +3548,7 @@ public abstract class MemberFormatter {
                if (type == null)
                        throw new ArgumentNullException ("type");
                StringBuilder buf = new StringBuilder (type.Name.Length);
-               _AppendTypeName (buf, type);
+               _AppendTypeName (buf, type, null);
                AppendGenericTypeConstraints (buf, type);
                return buf.ToString ();
        }
@@ -3454,6 +3560,10 @@ public abstract class MemberFormatter {
 
        protected virtual string GetMethodDeclaration (MethodDefinition method)
        {
+               if (method.HasCustomAttributes && method.CustomAttributes.Cast<CustomAttribute>().Any(
+                                       ca => ca.GetDeclaringType() == "System.Diagnostics.Contracts.ContractInvariantMethodAttribute"))
+                       return null;
+
                // Special signature for destructors.
                if (method.Name == "Finalize" && method.Parameters.Count == 0)
                        return GetFinalizerName (method);
@@ -3469,7 +3579,7 @@ public abstract class MemberFormatter {
 
                if (buf.Length != 0)
                        buf.Append (" ");
-               buf.Append (GetName (method.ReturnType.ReturnType)).Append (" ");
+               buf.Append (GetTypeName (method.ReturnType, new DynamicParserContext (method.MethodReturnType))).Append (" ");
 
                AppendMethodName (buf, method);
                AppendGenericMethod (buf, method).Append (" ");
@@ -3503,7 +3613,7 @@ public abstract class MemberFormatter {
                return buf;
        }
 
-       protected virtual StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, ParameterDefinitionCollection parameters)
+       protected virtual StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, IList<ParameterDefinition> parameters)
        {
                return buf;
        }
@@ -3541,22 +3651,16 @@ class ILFullMemberFormatter : MemberFormatter {
                }
        }
 
-       private bool WithinExtends;
-
        protected override StringBuilder AppendNamespace (StringBuilder buf, TypeReference type)
        {
                if (GetBuiltinType (type.FullName) != null)
                        return buf;
-               if (type.FullName == "System.Object")
-                       return buf;
                string ns = DocUtils.GetNamespace (type);
                if (ns != null && ns.Length > 0) {
-                       if (!WithinExtends) {
-                               if (type.IsValueType)
-                                       buf.Append ("valuetype ");
-                               else
-                                       buf.Append ("class ");
-                       }
+                       if (type.IsValueType)
+                               buf.Append ("valuetype ");
+                       else
+                               buf.Append ("class ");
                        buf.Append (ns).Append ('.');
                }
                return buf;
@@ -3583,7 +3687,7 @@ class ILFullMemberFormatter : MemberFormatter {
                case "System.Char":    return "char";
                case "System.Void":    return "void";
                case "System.String":  return "string";
-               // case "System.Object":  return "object";
+               case "System.Object":  return "object";
                }
                return null;
        }
@@ -3593,23 +3697,18 @@ class ILFullMemberFormatter : MemberFormatter {
                return buf.Append (typename);
        }
 
-       protected override StringBuilder AppendTypeName (StringBuilder buf, TypeReference type)
+       protected override StringBuilder AppendTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
-               var gp = type as GenericParameter;
-               if (type is GenericParameter)
-                       return AppendGenericParameterConstraints (buf, (GenericParameter) type).Append (type.Name);
+               if (type is GenericParameter) {
+                       AppendGenericParameterConstraints (buf, (GenericParameter) type).Append (type.Name);
+                       return buf;
+               }
 
                string s = GetBuiltinType (type.FullName);
-               if (s != null)
+               if (s != null) {
                        return buf.Append (s);
-               if (type.FullName == "System.Object") {
-                       if (WithinExtends) {
-                               WithinExtends = false;
-                               return buf.Append ("System.Object");
-                       }
-                       return buf.Append ("object");
                }
-               return AppendTypeName (buf, type.Name);
+               return base.AppendTypeName (buf, type, context);
        }
 
        private StringBuilder AppendGenericParameterConstraints (StringBuilder buf, GenericParameter type)
@@ -3624,7 +3723,7 @@ class ILFullMemberFormatter : MemberFormatter {
                        buf.Append ("struct ");
                if ((attrs & GenericParameterAttributes.DefaultConstructorConstraint) != 0)
                        buf.Append (".ctor ");
-               ConstraintCollection constraints = type.Constraints;
+               IList<TypeReference> constraints = type.Constraints;
                MemberFormatterState = 0;
                if (constraints.Count > 0) {
                        var full = new ILFullMemberFormatter ();
@@ -3677,14 +3776,16 @@ class ILFullMemberFormatter : MemberFormatter {
                MemberFormatterState = state;
                var full = new ILFullMemberFormatter ();
                if (type.BaseType != null) {
-                       full.WithinExtends = true;
-                       buf.Append (" extends ").Append (full.GetName (type.BaseType));
-                       full.WithinExtends = false;
+                       buf.Append (" extends ");
+                       if (type.BaseType.FullName == "System.Object")
+                               buf.Append ("System.Object");
+                       else
+                               buf.Append (full.GetName (type.BaseType).Substring ("class ".Length));
                }
                bool first = true;
-               foreach (var info in type.Interfaces.Cast<TypeReference>()
-                               .Select (i => new {Interface = i, Name = full.GetName (i)})
-                               .OrderBy (i => i.Name)) {
+               foreach (var name in type.Interfaces
+                               .Select (i => full.GetName (i))
+                               .OrderBy (n => n)) {
                        if (first) {
                                buf.Append (" implements ");
                                first = false;
@@ -3692,18 +3793,16 @@ class ILFullMemberFormatter : MemberFormatter {
                        else {
                                buf.Append (", ");
                        }
-                       if (info.Interface.IsGenericType ())
-                               buf.Append ("class ");
-                       buf.Append (info.Name);
+                       buf.Append (name);
                }
 
                return buf.ToString ();
        }
 
-       protected override StringBuilder AppendGenericType (StringBuilder buf, TypeReference type)
+       protected override StringBuilder AppendGenericType (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                List<TypeReference> decls = DocUtils.GetDeclaringTypes (
-                               type is GenericInstanceType ? type.GetOriginalType () : type);
+                               type is GenericInstanceType ? type.GetElementType () : type);
                bool first = true;
                foreach (var decl in decls) {
                        TypeReference declDef = decl.Resolve () ?? decl;
@@ -3711,7 +3810,7 @@ class ILFullMemberFormatter : MemberFormatter {
                                buf.Append (NestedTypeSeparator);
                        }
                        first = false;
-                       AppendTypeName (buf, declDef);
+                       AppendTypeName (buf, declDef, context);
                }
                buf.Append ('<');
                first = true;
@@ -3719,7 +3818,7 @@ class ILFullMemberFormatter : MemberFormatter {
                        if (!first)
                                buf.Append (", ");
                        first = false;
-                       _AppendTypeName (buf, arg);
+                       _AppendTypeName (buf, arg, context);
                }
                buf.Append ('>');
                return buf;
@@ -3793,18 +3892,18 @@ class ILFullMemberFormatter : MemberFormatter {
                        buf.Append ("virtual ");
                if (!method.IsStatic)
                        buf.Append ("instance ");
-               _AppendTypeName (buf, method.ReturnType.ReturnType);
+               _AppendTypeName (buf, method.ReturnType, new DynamicParserContext (method.MethodReturnType));
                buf.Append (' ')
                        .Append (method.Name);
                if (method.IsGenericMethod ()) {
                        var state = MemberFormatterState;
                        MemberFormatterState = MemberFormatterState.WithinGenericTypeParameters;
-                       GenericParameterCollection args = method.GenericParameters;
+                       IList<GenericParameter> args = method.GenericParameters;
                        if (args.Count > 0) {
                                buf.Append ("<");
-                               _AppendTypeName (buf, args [0]);
+                               _AppendTypeName (buf, args [0], null);
                                for (int i = 1; i < args.Count; ++i)
-                                       _AppendTypeName (buf.Append (", "), args [i]);
+                                       _AppendTypeName (buf.Append (", "), args [i], null);
                                buf.Append (">");
                        }
                        MemberFormatterState = state;
@@ -3816,7 +3915,7 @@ class ILFullMemberFormatter : MemberFormatter {
                        if (!first)
                                buf.Append (", ");
                        first = false;
-                       _AppendTypeName (buf, method.Parameters [i].ParameterType);
+                       _AppendTypeName (buf, method.Parameters [i].ParameterType, new DynamicParserContext (method.Parameters [i]));
                        buf.Append (' ');
                        buf.Append (method.Parameters [i].Name);
                }
@@ -3880,7 +3979,7 @@ class ILFullMemberFormatter : MemberFormatter {
        protected override StringBuilder AppendGenericMethod (StringBuilder buf, MethodDefinition method)
        {
                if (method.IsGenericMethod ()) {
-                       GenericParameterCollection args = method.GenericParameters;
+                       IList<GenericParameter> args = method.GenericParameters;
                        if (args.Count > 0) {
                                buf.Append ("<");
                                buf.Append (args [0].Name);
@@ -3892,12 +3991,12 @@ class ILFullMemberFormatter : MemberFormatter {
                return buf;
        }
 
-       protected override StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, ParameterDefinitionCollection parameters)
+       protected override StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, IList<ParameterDefinition> parameters)
        {
                return AppendParameters (buf, method, parameters, '(', ')');
        }
 
-       private StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, ParameterDefinitionCollection parameters, char begin, char end)
+       private StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, IList<ParameterDefinition> parameters, char begin, char end)
        {
                buf.Append (begin);
 
@@ -3916,7 +4015,7 @@ class ILFullMemberFormatter : MemberFormatter {
 
        private StringBuilder AppendParameter (StringBuilder buf, ParameterDefinition parameter)
        {
-               if (parameter.ParameterType is ReferenceType) {
+               if (parameter.ParameterType is ByReferenceType) {
                        if (parameter.IsOut)
                                buf.Append ("out ");
                        else
@@ -3944,12 +4043,11 @@ class ILFullMemberFormatter : MemberFormatter {
                if ((set_visible == null) && (get_visible == null))
                        return null;
 
-               string visibility;
                StringBuilder buf = new StringBuilder ()
                        .Append (".property ");
                if (!(gm ?? sm).IsStatic)
                        buf.Append ("instance ");
-               _AppendTypeName (buf, property.PropertyType);
+               _AppendTypeName (buf, property.PropertyType, new DynamicParserContext (property));
                buf.Append (' ').Append (property.Name);
                if (!property.HasParameters || property.Parameters.Count == 0)
                        return buf.ToString ();
@@ -3960,7 +4058,7 @@ class ILFullMemberFormatter : MemberFormatter {
                        if (!first)
                                buf.Append (", ");
                        first = false;
-                       _AppendTypeName (buf, p.ParameterType);
+                       _AppendTypeName (buf, p.ParameterType, new DynamicParserContext (p));
                }
                buf.Append (')');
 
@@ -3986,7 +4084,7 @@ class ILFullMemberFormatter : MemberFormatter {
                        buf.Append ("initonly ");
                if (field.IsLiteral)
                        buf.Append ("literal ");
-               _AppendTypeName (buf, field.FieldType);
+               _AppendTypeName (buf, field.FieldType, new DynamicParserContext (field));
                buf.Append (' ').Append (field.Name);
                AppendFieldValue (buf, field);
 
@@ -4104,23 +4202,32 @@ class CSharpFullMemberFormatter : MemberFormatter {
                return null;
        }
 
-       protected override StringBuilder AppendTypeName (StringBuilder buf, TypeReference type)
+       protected override StringBuilder AppendTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
+               if (context != null && context.TransformFlags != null &&
+                               (context.TransformFlags.Count == 0 || context.TransformFlags [context.TransformIndex])) {
+                       context.TransformIndex++;
+                       return buf.Append ("dynamic");
+               }
+
                if (type is GenericParameter)
-                       return AppendGenericParameterConstraints (buf, (GenericParameter) type).Append (type.Name);
+                       return AppendGenericParameterConstraints (buf, (GenericParameter) type, context).Append (type.Name);
                string t = type.FullName;
                if (!t.StartsWith ("System.")) {
-                       return base.AppendTypeName (buf, type);
+                       return base.AppendTypeName (buf, type, context);
                }
 
                string s = GetCSharpType (t);
-               if (s != null)
+               if (s != null) {
+                       if (context != null)
+                               context.TransformIndex++;
                        return buf.Append (s);
+               }
                
-               return base.AppendTypeName (buf, type);
+               return base.AppendTypeName (buf, type, context);
        }
 
-       private StringBuilder AppendGenericParameterConstraints (StringBuilder buf, GenericParameter type)
+       private StringBuilder AppendGenericParameterConstraints (StringBuilder buf, GenericParameter type, DynamicParserContext context)
        {
                if (MemberFormatterState != MemberFormatterState.WithinGenericTypeParameters)
                        return buf;
@@ -4150,7 +4257,7 @@ class CSharpFullMemberFormatter : MemberFormatter {
                if (DocUtils.IsDelegate (type)) {
                        buf.Append("delegate ");
                        MethodDefinition invoke = type.GetMethod ("Invoke");
-                       buf.Append (full.GetName (invoke.ReturnType.ReturnType)).Append (" ");
+                       buf.Append (full.GetName (invoke.ReturnType, new DynamicParserContext (invoke.MethodReturnType))).Append (" ");
                        buf.Append (GetName (type));
                        AppendParameters (buf, invoke, invoke.Parameters);
                        AppendGenericTypeConstraints (buf, type);
@@ -4237,11 +4344,11 @@ class CSharpFullMemberFormatter : MemberFormatter {
                return AppendConstraints (buf, type.GenericParameters);
        }
 
-       private StringBuilder AppendConstraints (StringBuilder buf, GenericParameterCollection genArgs)
+       private StringBuilder AppendConstraints (StringBuilder buf, IList<GenericParameter> genArgs)
        {
                foreach (GenericParameter genArg in genArgs) {
                        GenericParameterAttributes attrs = genArg.Attributes;
-                       ConstraintCollection constraints = genArg.Constraints;
+                       IList<TypeReference> constraints = genArg.Constraints;
                        if (attrs == GenericParameterAttributes.NonVariant && constraints.Count == 0)
                                continue;
 
@@ -4359,7 +4466,7 @@ class CSharpFullMemberFormatter : MemberFormatter {
        protected override StringBuilder AppendGenericMethod (StringBuilder buf, MethodDefinition method)
        {
                if (method.IsGenericMethod ()) {
-                       GenericParameterCollection args = method.GenericParameters;
+                       IList<GenericParameter> args = method.GenericParameters;
                        if (args.Count > 0) {
                                buf.Append ("<");
                                buf.Append (args [0].Name);
@@ -4371,12 +4478,12 @@ class CSharpFullMemberFormatter : MemberFormatter {
                return buf;
        }
 
-       protected override StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, ParameterDefinitionCollection parameters)
+       protected override StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, IList<ParameterDefinition> parameters)
        {
                return AppendParameters (buf, method, parameters, '(', ')');
        }
 
-       private StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, ParameterDefinitionCollection parameters, char begin, char end)
+       private StringBuilder AppendParameters (StringBuilder buf, MethodDefinition method, IList<ParameterDefinition> parameters, char begin, char end)
        {
                buf.Append (begin);
 
@@ -4395,14 +4502,18 @@ class CSharpFullMemberFormatter : MemberFormatter {
 
        private StringBuilder AppendParameter (StringBuilder buf, ParameterDefinition parameter)
        {
-               if (parameter.ParameterType is ReferenceType) {
+               if (parameter.ParameterType is ByReferenceType) {
                        if (parameter.IsOut)
                                buf.Append ("out ");
                        else
                                buf.Append ("ref ");
                }
-               buf.Append (GetName (parameter.ParameterType)).Append (" ");
-               return buf.Append (parameter.Name);
+               buf.Append (GetTypeName (parameter.ParameterType, new DynamicParserContext (parameter))).Append (" ");
+               buf.Append (parameter.Name);
+               if (parameter.HasDefault && parameter.IsOptional && parameter.HasConstant) {
+                       buf.AppendFormat (" = {0}", MDocUpdater.MakeAttributesValueString (parameter.Constant, parameter.ParameterType));
+               }
+               return buf;
        }
 
        protected override string GetPropertyDeclaration (PropertyDefinition property)
@@ -4454,11 +4565,11 @@ class CSharpFullMemberFormatter : MemberFormatter {
                        modifiers = "";
                buf.Append (modifiers).Append (' ');
 
-               buf.Append (GetName (property.PropertyType)).Append (' ');
+               buf.Append (GetTypeName (property.PropertyType, new DynamicParserContext (property))).Append (' ');
 
-               IEnumerable<IMemberReference> defs = property.DeclaringType.GetDefaultMembers ();
+               IEnumerable<MemberReference> defs = property.DeclaringType.GetDefaultMembers ();
                string name = property.Name;
-               foreach (IMemberReference mi in defs) {
+               foreach (MemberReference mi in defs) {
                        if (mi == property) {
                                name = "this";
                                break;
@@ -4471,16 +4582,16 @@ class CSharpFullMemberFormatter : MemberFormatter {
                }
 
                buf.Append (" {");
-               if (set_visible != null) {
-                       if (set_visible != visibility)
-                               buf.Append (' ').Append (set_visible);
-                       buf.Append (" set;");
-               }
                if (get_visible != null) {
                        if (get_visible != visibility)
                                buf.Append (' ').Append (get_visible);
                        buf.Append (" get;");
                }
+               if (set_visible != null) {
+                       if (set_visible != visibility)
+                               buf.Append (' ').Append (set_visible);
+                       buf.Append (" set;");
+               }
                buf.Append (" }");
        
                return buf [0] != ' ' ? buf.ToString () : buf.ToString (1, buf.Length-1);
@@ -4507,7 +4618,7 @@ class CSharpFullMemberFormatter : MemberFormatter {
                if (field.IsLiteral)
                        buf.Append (" const");
 
-               buf.Append (' ').Append (GetName (field.FieldType)).Append (' ');
+               buf.Append (' ').Append (GetTypeName (field.FieldType, new DynamicParserContext (field))).Append (' ');
                buf.Append (field.Name);
                AppendFieldValue (buf, field);
                buf.Append (';');
@@ -4561,7 +4672,7 @@ class CSharpFullMemberFormatter : MemberFormatter {
                AppendModifiers (buf, e.AddMethod);
 
                buf.Append (" event ");
-               buf.Append (GetName (e.EventType)).Append (' ');
+               buf.Append (GetTypeName (e.EventType, new DynamicParserContext (e.AddMethod.Parameters [0]))).Append (' ');
                buf.Append (e.Name).Append (';');
 
                return buf.ToString ();
@@ -4601,12 +4712,12 @@ class SlashDocMemberFormatter : MemberFormatter {
        private TypeReference genDeclType;
        private MethodReference genDeclMethod;
 
-       protected override StringBuilder AppendTypeName (StringBuilder buf, TypeReference type)
+       protected override StringBuilder AppendTypeName (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                if (type is GenericParameter) {
                        int l = buf.Length;
                        if (genDeclType != null) {
-                               GenericParameterCollection genArgs = genDeclType.GenericParameters;
+                               IList<GenericParameter> genArgs = genDeclType.GenericParameters;
                                for (int i = 0; i < genArgs.Count; ++i) {
                                        if (genArgs [i].Name == type.Name) {
                                                buf.Append ('`').Append (i);
@@ -4615,7 +4726,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                                }
                        }
                        if (genDeclMethod != null) {
-                               GenericParameterCollection genArgs = null;
+                               IList<GenericParameter> genArgs = null;
                                if (genDeclMethod.IsGenericMethod ()) {
                                        genArgs = genDeclMethod.GenericParameters;
                                        for (int i = 0; i < genArgs.Count; ++i) {
@@ -4640,7 +4751,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                        }
                }
                else {
-                       base.AppendTypeName (buf, type);
+                       base.AppendTypeName (buf, type, context);
                        if (AddTypeCount) {
                                int numArgs = type.GenericParameters.Count;
                                if (type.DeclaringType != null)
@@ -4653,16 +4764,29 @@ class SlashDocMemberFormatter : MemberFormatter {
                return buf;
        }
 
-       protected override StringBuilder AppendGenericType (StringBuilder buf, TypeReference type)
+       protected override StringBuilder AppendArrayModifiers (StringBuilder buf, ArrayType array)
+       {
+               buf.Append (ArrayDelimeters [0]);
+               int rank = array.Rank;
+               if (rank > 1) {
+                       buf.Append ("0:");
+                       for (int i = 1; i < rank; ++i) {
+                               buf.Append (",0:");
+                       }
+               }
+               return buf.Append (ArrayDelimeters [1]);
+       }
+
+       protected override StringBuilder AppendGenericType (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                if (!AddTypeCount)
-                       base.AppendGenericType (buf, type);
+                       base.AppendGenericType (buf, type, context);
                else
-                       AppendType (buf, type);
+                       AppendType (buf, type, context);
                return buf;
        }
 
-       private StringBuilder AppendType (StringBuilder buf, TypeReference type)
+       private StringBuilder AppendType (StringBuilder buf, TypeReference type, DynamicParserContext context)
        {
                List<TypeReference> decls = DocUtils.GetDeclaringTypes (type);
                bool insertNested = false;
@@ -4671,7 +4795,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                        if (insertNested)
                                buf.Append (NestedTypeSeparator);
                        insertNested = true;
-                       base.AppendTypeName (buf, decl);
+                       base.AppendTypeName (buf, decl, context);
                        int argCount = DocUtils.GetGenericArgumentCount (decl);
                        int numArgs = argCount - prevParamCount;
                        prevParamCount = argCount;
@@ -4681,7 +4805,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                return buf;
        }
 
-       public override string GetDeclaration (IMemberReference member)
+       public override string GetDeclaration (MemberReference member)
        {
                TypeReference r = member as TypeReference;
                if (r != null) {
@@ -4719,11 +4843,11 @@ class SlashDocMemberFormatter : MemberFormatter {
                buf.Append ('.');
                buf.Append (name.Replace (".", "#"));
                if (method.IsGenericMethod ()) {
-                       GenericParameterCollection genArgs = method.GenericParameters;
+                       IList<GenericParameter> genArgs = method.GenericParameters;
                        if (genArgs.Count > 0)
                                buf.Append ("``").Append (genArgs.Count);
                }
-               ParameterDefinitionCollection parameters = method.Parameters;
+               IList<ParameterDefinition> parameters = method.Parameters;
                try {
                        genDeclType   = method.DeclaringType;
                        genDeclMethod = method;
@@ -4736,7 +4860,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                return buf.ToString ();
        }
 
-       private StringBuilder AppendParameters (StringBuilder buf, GenericParameterCollection genArgs, ParameterDefinitionCollection parameters)
+       private StringBuilder AppendParameters (StringBuilder buf, IList<GenericParameter> genArgs, IList<ParameterDefinition> parameters)
        {
                if (parameters.Count == 0)
                        return buf;
@@ -4752,7 +4876,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                return buf.Append (')');
        }
 
-       private StringBuilder AppendParameter (StringBuilder buf, GenericParameterCollection genArgs, ParameterDefinition parameter)
+       private StringBuilder AppendParameter (StringBuilder buf, IList<GenericParameter> genArgs, ParameterDefinition parameter)
        {
                AddTypeCount = false;
                buf.Append (GetTypeName (parameter.ParameterType));
@@ -4786,11 +4910,11 @@ class SlashDocMemberFormatter : MemberFormatter {
                buf.Append (GetName (property.DeclaringType));
                buf.Append ('.');
                buf.Append (name);
-               ParameterDefinitionCollection parameters = property.Parameters;
+               IList<ParameterDefinition> parameters = property.Parameters;
                if (parameters.Count > 0) {
                        genDeclType = property.DeclaringType;
                        buf.Append ('(');
-                       GenericParameterCollection genArgs = property.DeclaringType.GenericParameters;
+                       IList<GenericParameter> genArgs = property.DeclaringType.GenericParameters;
                        AppendParameter (buf, genArgs, parameters [0]);
                        for (int i = 1; i < parameters.Count; ++i) {
                                 buf.Append (',');
@@ -4838,7 +4962,7 @@ class SlashDocMemberFormatter : MemberFormatter {
                if (method.Name == "op_Implicit" || method.Name == "op_Explicit") {
                        genDeclType = method.DeclaringType;
                        genDeclMethod = method;
-                       name += "~" + GetName (method.ReturnType.ReturnType);
+                       name += "~" + GetName (method.ReturnType);
                        genDeclType = null;
                        genDeclMethod = null;
                }