In mcs:
[mono.git] / mcs / mcs / doc.cs
index d2c3b7ba5631984d2b853eaca4cddb21427986d9..fc5043d11b6b0114dd68602ca915c8fda86c48b1 100644 (file)
@@ -131,7 +131,7 @@ namespace Mono.CSharp {
                                        lineHead, split, 0, j);
                                return el;
                        } catch (XmlException ex) {
-                               Report.Warning (1570, 1, mc.Location, "XML comment on '{0}' has non-well-formed XML ({1}).", name, ex.Message);
+                               Report.Warning (1570, 1, mc.Location, "XML comment on `{0}' has non-well-formed XML ({1})", name, ex.Message);
                                XmlComment com = doc.CreateComment (String.Format ("FIXME: Invalid documentation markup was found for member {0}", name));
                                return com;
                        }
@@ -176,7 +176,7 @@ namespace Mono.CSharp {
                                Constructor c = mc as Constructor;
                                if (c == null || !c.IsDefault ())
                                        Report.Warning (1591, 4, mc.Location,
-                                               "Missing XML comment for publicly visible type or member '{0}'", mc.GetSignatureForError ());
+                                               "Missing XML comment for publicly visible type or member `{0}'", mc.GetSignatureForError ());
                        }
                }
 
@@ -189,11 +189,11 @@ namespace Mono.CSharp {
                        string file = el.GetAttribute ("file");
                        string path = el.GetAttribute ("path");
                        if (file == "") {
-                               Report.Warning (1590, 1, mc.Location, "Invalid XML 'include' element; Missing 'file' attribute.");
+                               Report.Warning (1590, 1, mc.Location, "Invalid XML `include' element. Missing `file' attribute");
                                el.ParentNode.InsertBefore (el.OwnerDocument.CreateComment (" Include tag is invalid "), el);
                        }
                        else if (path == "") {
-                               Report.Warning (1590, 1, mc.Location, "Invalid XML 'include' element; Missing 'path' attribute.");
+                               Report.Warning (1590, 1, mc.Location, "Invalid XML `include' element. Missing `path' attribute");
                                el.ParentNode.InsertBefore (el.OwnerDocument.CreateComment (" Include tag is invalid "), el);
                        }
                        else {
@@ -204,8 +204,8 @@ namespace Mono.CSharp {
                                                doc.Load (file);
                                                RootContext.Documentation.StoredDocuments.Add (file, doc);
                                        } catch (Exception) {
-                                               el.ParentNode.InsertBefore (el.OwnerDocument.CreateComment (String.Format (" Badly formed XML in at comment file '{0}': cannot be included ", file)), el);
-                                               Report.Warning (1592, 1, mc.Location, "Badly formed XML in included comments file -- '{0}'", file);
+                                               el.ParentNode.InsertBefore (el.OwnerDocument.CreateComment (String.Format (" Badly formed XML in at comment file `{0}': cannot be included ", file)), el);
+                                               Report.Warning (1592, 1, mc.Location, "Badly formed XML in included comments file -- `{0}'", file);
                                        }
                                }
                                bool keepIncludeNode = false;
@@ -221,7 +221,7 @@ namespace Mono.CSharp {
                                                        el.ParentNode.InsertBefore (el.OwnerDocument.ImportNode (n, true), el);
                                        } catch (Exception ex) {
                                                el.ParentNode.InsertBefore (el.OwnerDocument.CreateComment (" Failed to insert some or all of included XML "), el);
-                                               Report.Warning (1589, 1, mc.Location, "Unable to include XML fragment '{0}' of file {1} -- {2}.", path, file, ex.Message);
+                                               Report.Warning (1589, 1, mc.Location, "Unable to include XML fragment `{0}' of file `{1}' ({2})", path, file, ex.Message);
                                        }
                                }
                                if (!keepIncludeNode)
@@ -321,7 +321,7 @@ namespace Mono.CSharp {
                        if (e != null) {
                                if (!(e is TypeExpr))
                                        return null;
-                               return ((TypeExpr) e).ResolveType (ds.EmitContext);
+                               return ((TypeExpr) e).Type;
                        }
                        int index = identifier.LastIndexOf ('.');
                        if (index < 0)
@@ -330,6 +330,7 @@ namespace Mono.CSharp {
                        Type parent = FindDocumentedType (mc, identifier.Substring (0, index), ds, cref);
                        if (parent == null)
                                return null;
+                       // no need to detect warning 419 here
                        return FindDocumentedMember (mc, parent,
                                identifier.Substring (index + 1),
                                emptyParamList,
@@ -351,8 +352,11 @@ namespace Mono.CSharp {
                                BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Static | BindingFlags.Instance,
                                MethodSignature.method_signature_filter,
                                msig);
-                       if (mis.Length > 0)
+                       if (mis.Length > 0) {
+                               if (IsAmbiguous (mis))
+                                       warningType = 419;
                                return mis [0];
+                       }
 
                        if (paramList.Length == 0) {
                                // search for fields/events etc.
@@ -361,7 +365,11 @@ namespace Mono.CSharp {
                                        BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Static | BindingFlags.Instance,
                                        Type.FilterName,
                                        memberName);
-                               return (mis.Length > 0) ? mis [0] : null;
+                               if (mis.Length == 0)
+                                       return null;
+                               if (IsAmbiguous (mis))
+                                       warningType = 419;
+                               return mis [0];
                        }
 
                        // search for operators (whose parameters exactly
@@ -436,11 +444,12 @@ namespace Mono.CSharp {
                                default:
                                        warningType = 1584;
                                        Report.Warning (1020, 1, mc.Location, "Overloadable {0} operator is expected", paramList.Length == 2 ? "binary" : "unary");
-                                       Report.Warning (1584, 1, mc.Location, "XML comment on '{0}' has syntactically incorrect attribute '{1}'", mc.GetSignatureForError (), cref);
+                                       Report.Warning (1584, 1, mc.Location, "XML comment on `{0}' has syntactically incorrect cref attribute `{1}'",
+                                               mc.GetSignatureForError (), cref);
                                        return null;
                                }
                        }
-                       // here we still does not consider return type (to
+                       // here we still don't consider return type (to
                        // detect CS1581 or CS1002+CS1584).
                        msig = new MethodSignature (oper, null, paramList);
                        mis = type.FindMembers (
@@ -460,13 +469,26 @@ namespace Mono.CSharp {
                                Type returnType = FindDocumentedType (mc, returnTypeName, ds, cref);
                                if (returnType == null || returnType != expected) {
                                        warningType = 1581;
-                                       Report.Warning (1581, 1, mc.Location, "Invalid return type in XML comment cref attribute '{0}'", cref);
+                                       Report.Warning (1581, 1, mc.Location, "Invalid return type in XML comment cref attribute `{0}'", cref);
                                        return null;
                                }
                        }
                        return mis [0];
                }
 
+               private static bool IsAmbiguous (MemberInfo [] members)
+               {
+                       if (members.Length < 2)
+                               return false;
+                       if (members.Length > 2)
+                               return true;
+                       if (members [0] is EventInfo && members [1] is FieldInfo)
+                               return false;
+                       if (members [1] is EventInfo && members [0] is FieldInfo)
+                               return false;
+                       return true;
+               }
+
                private static Type [] emptyParamList = new Type [0];
 
                //
@@ -527,7 +549,8 @@ namespace Mono.CSharp {
                                        Normalize (mc, ref nameElem);
                                if (!Tokenizer.IsValidIdentifier (nameElem)
                                        && nameElem.IndexOf ("operator") < 0) {
-                                       Report.Warning (1584, 1, mc.Location, "XML comment on '{0}' has syntactically incorrect attribute '{1}'", mc.GetSignatureForError (), cref);
+                                       Report.Warning (1584, 1, mc.Location, "XML comment on `{0}' has syntactically incorrect cref attribute `{1}'",
+                                               mc.GetSignatureForError (), cref);
                                        xref.SetAttribute ("cref", "!:" + signature);
                                        return;
                                }
@@ -543,7 +566,7 @@ namespace Mono.CSharp {
                                        Normalize (mc, ref paramTypeName);
                                        Type paramType = FindDocumentedType (mc, paramTypeName, ds, cref);
                                        if (paramType == null) {
-                                               Report.Warning (1580, 1, mc.Location, "Invalid type for parameter '{0}' in XML comment cref attribute '{1}'", i + 1, cref);
+                                               Report.Warning (1580, 1, mc.Location, "Invalid type for parameter `{0}' in XML comment cref attribute `{1}'", i + 1, cref);
                                                return;
                                        }
                                        plist.Add (paramType);
@@ -562,13 +585,16 @@ namespace Mono.CSharp {
                        }
 
                        Type type = FindDocumentedType (mc, name, ds, cref);
-                       if (type != null) {
+                       if (type != null
+                               // delegate must not be referenced with args
+                               && (!type.IsSubclassOf (typeof (System.Delegate))
+                               || parameterTypes.Length == 0)) {
                                xref.SetAttribute ("cref", "T:" + type.FullName.Replace ("+", "."));
                                return; // a type
                        }
 
                        // don't use identifier here. System[] is not alloed.
-                       if (Namespace.IsNamespace (name)) {
+                       if (RootNamespace.Global.IsNamespace (name)) {
                                xref.SetAttribute ("cref", "N:" + name);
                                return; // a namespace
                        }
@@ -582,7 +608,9 @@ namespace Mono.CSharp {
                                int warnResult;
                                if (type != null) {
                                        MemberInfo mi = FindDocumentedMember (mc, type, memberName, parameterTypes, ds, out warnResult, cref);
-                                       if (warnResult > 0)
+                                       if (warnResult == 419)
+                                               Report419 (mc, name, mi);
+                                       else if (warnResult > 0)
                                                return;
                                        if (mi != null) {
                                                xref.SetAttribute ("cref", GetMemberDocHead (mi.MemberType) + type.FullName.Replace ("+", ".") + "." + memberName + parameters);
@@ -593,7 +621,9 @@ namespace Mono.CSharp {
                        else {
                                int warnResult;
                                MemberInfo mi = FindDocumentedMember (mc, ds.TypeBuilder, name, parameterTypes, ds, out warnResult, cref);
-                               if (warnResult > 0)
+                               if (warnResult == 419)
+                                       Report419 (mc, name, mi);
+                               else if (warnResult > 0)
                                        return;
                                if (mi != null) {
                                        xref.SetAttribute ("cref", GetMemberDocHead (mi.MemberType) + ds.TypeBuilder.FullName.Replace ("+", ".") + "." + name);
@@ -601,11 +631,19 @@ namespace Mono.CSharp {
                                }
                        }
 
-                       Report.Warning (1574, 1, mc.Location, "XML comment on '{0}' has cref attribute '{1}' that could not be resolved in '{2}'.", mc.GetSignatureForError (), cref, ds.GetSignatureForError ());
+                       Report.Warning (1574, 1, mc.Location, "XML comment on `{0}' has cref attribute `{1}' that could not be resolved",
+                               mc.GetSignatureForError (), cref);
 
                        xref.SetAttribute ("cref", "!:" + name);
                }
 
+               static void Report419 (MemberCore mc, string memberName, MemberInfo mi)
+               {
+                       Report.Warning (419, 3, mc.Location, 
+                               "Ambiguous reference in cref attribute `{0}'. Assuming `{1}' but other overloads including `{1}' have also matched",
+                               memberName, TypeManager.GetFullNameSignature (mi));
+               }
+
                //
                // Get a prefix from member type for XML documentation (used
                // to formalize cref target name).
@@ -687,36 +725,29 @@ namespace Mono.CSharp {
                                if (xname == "")
                                        continue; // really? but MS looks doing so
                                if (xname != "" && mc.Parameters.GetParameterByName (xname, out i) == null)
-                                       Report.Warning (1572, 2, mc.Location, "XML comment on '{0}' has a 'param' tag for '{1}', but there is no such parameter.", mc.Name, xname);
+                                       Report.Warning (1572, 2, mc.Location, "XML comment on `{0}' has a param tag for `{1}', but there is no parameter by that name",
+                                               mc.GetSignatureForError (), xname);
                                else if (paramTags [xname] != null)
-                                       Report.Warning (1571, 2, mc.Location, "XML comment on '{0}' has a duplicate param tag for '{1}'", mc.Name, xname);
+                                       Report.Warning (1571, 2, mc.Location, "XML comment on `{0}' has a duplicate param tag for `{1}'",
+                                               mc.GetSignatureForError (), xname);
                                paramTags [xname] = xname;
                        }
                        Parameter [] plist = mc.Parameters.FixedParameters;
                        if (plist != null) {
                                foreach (Parameter p in plist) {
                                        if (paramTags.Count > 0 && paramTags [p.Name] == null)
-                                               Report.Warning (1573, 4, mc.Location, "Parameter '{0}' has no matching param tag in the XML comment for '{1}' (but other parameters do)", mc.Name, p.Name);
+                                               Report.Warning (1573, 4, mc.Location, "Parameter `{0}' has no matching param tag in the XML comment for `{1}'",
+                                                       p.Name, mc.GetSignatureForError ());
                                }
                        }
                }
 
-               // Enum
-               public static void GenerateEnumDocComment (Enum e, DeclSpace ds)
-               {
-                       GenerateDocComment (e, ds);
-                       foreach (string name in e.ordered_enums) {
-                               MemberCore mc = e.GetDefinition (name);
-                               GenerateDocComment (mc, e);
-                       }
-               }
-
                private static void Normalize (MemberCore mc, ref string name)
                {
                        if (name.Length > 0 && name [0] == '@')
                                name = name.Substring (1);
                        else if (Tokenizer.IsKeyword (name) && !IsTypeName (name))
-                               Report.Warning (1041, 1, mc.Location, String.Format ("Identifier expected, '{0}' is a keyword", name));
+                               Report.Warning (1041, 1, mc.Location, "Identifier expected. `{0}' is a keyword", name);
                }
 
                private static bool IsTypeName (string name)
@@ -807,7 +838,7 @@ namespace Mono.CSharp {
                                w.WriteEndDocument ();
                                return true;
                        } catch (Exception ex) {
-                               Report.Error (1569, "Error generating XML documentation file '{0}' ('{1}')", docfilename, ex.Message);
+                               Report.Error (1569, "Error generating XML documentation file `{0}' (`{1}')", docfilename, ex.Message);
                                return false;
                        } finally {
                                if (w != null)
@@ -844,10 +875,12 @@ namespace Mono.CSharp {
 
                        if (root.Enums != null)
                                foreach (Enum e in root.Enums)
-                                       DocUtil.GenerateEnumDocComment (e, null);
+                                       e.GenerateDocComment (null);
 
                        IDictionary table = new ListDictionary ();
                        foreach (ClassPart cp in PartialComments.Keys) {
+                               // FIXME: IDictionary does not guarantee that the keys will be
+                               //        accessed in the order they were added.
                                table [cp.PartialContainer] += cp.DocComment;
                        }
                        foreach (PartialContainer pc in table.Keys) {