/// <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;
    }