/// <summary>
/// Gets the class documentation comment.
/// </summary>
/// <returns>An <see cref="XmlDocComment"/> summarizing the purpose of the contract class.</returns>
private XmlDocComment GetClassDocumentationComment()
{
var summary = new StringBuilder();
summary.AppendLine();
summary.AppendFormat(
"{0} class contains CodeContract declarations for {1}.",
this.ContractClassName,
this.InterfaceName);
summary.AppendLine();
var summaryElement = new XmlElement("summary");
summaryElement.AddNode(new XmlText(summary.ToString()));
var classDocumentationComment = new XmlDocComment();
classDocumentationComment.AddNode(summaryElement);
return(classDocumentationComment);
}
/// <summary>
/// Gets the class documentation comment.
/// </summary>
/// <returns>An <see cref="XmlDocComment"/> summarizing the purpose of the contract class.</returns>
private XmlDocComment GetClassDocumentationComment()
{
var summary = new StringBuilder();
summary.AppendLine();
summary.AppendFormat(
"{0} class contains CodeContract declarations for {1}.",
this.ContractClassName,
this.InterfaceName);
summary.AppendLine();
var summaryElement = new XmlElement("summary");
summaryElement.AddNode(new XmlText(summary.ToString()));
var classDocumentationComment = new XmlDocComment();
classDocumentationComment.AddNode(summaryElement);
return classDocumentationComment;
}