NumberedItem.cs

using System.Threading.Tasks;
using Waher.Content.Markdown.Rendering;
 
namespace Waher.Content.Markdown.Model.BlockElements
{
    public class NumberedItem : BlockElementSingleChild
    {
        private int number;
        private readonly bool numberExplicit;
 
        public NumberedItem(MarkdownDocument Document, int Number, bool NumberExplicit, MarkdownElement Child)
            : base(Document, Child)
        {
            this.number = Number;
            this.numberExplicit = NumberExplicit;
        }
 
        public int Number
        {
            get => this.number;
            internal set => this.number = value;
        }
 
        public bool NumberExplicit => this.numberExplicit;
 
        public override Task Render(IRenderer Output) => Output.Render(this);
 
        public override bool InlineSpanElement => this.Child.InlineSpanElement;
 
        public override MarkdownElementSingleChild Create(MarkdownElement Child, MarkdownDocument Document)
        {
            return new NumberedItem(Document, this.number, this.numberExplicit, Child);
        }
 
        public override bool SameMetaData(MarkdownElement E)
        {
            return E is NumberedItem x &&
                x.number == this.number &&
                x.numberExplicit == this.numberExplicit &&
                base.SameMetaData(E);
        }
 
        public override bool Equals(object obj)
        {
            return obj is NumberedItem x &&
                this.number == x.number &&
                this.numberExplicit == x.numberExplicit &&
                base.Equals(obj);
        }
 
        public override int GetHashCode()
        {
            int h1 = base.GetHashCode();
            int h2 = this.number.GetHashCode();
            int h3 = this.numberExplicit.GetHashCode();
 
            h1 = ((h1 << 5) + h1) ^ h2;
            h1 = ((h1 << 5) + h1) ^ h3;
 
            return h1;
        }
 
        public override void IncrementStatistics(MarkdownStatistics Statistics)
        {
            Statistics.NrNumberedItems++;
            Statistics.NrListItems++;
        }
 
    }
}