McpRangeParameterAttribute.cs

using System.Collections.Generic;
using System.Text;
using Waher.Script;
 
namespace Waher.Networking.HTTP.Mcp.Model.Attributes
{
    public abstract class McpRangeParameterAttribute : McpParameterAttribute
    {
        public McpRangeParameterAttribute(string? Title, string? Description)
            : base(Title, Description)
        {
            this.MinValue = null;
            this.MaxValue = null;
        }
 
        public McpRangeParameterAttribute(string? Title, string? Description,
            object? MinValue, object? MaxValue)
            : base(Title, Description)
        {
            this.MinValue = MinValue;
            this.MaxValue = MaxValue;
        }
 
        public object? MinValue { get; }
 
        public object? MaxValue { get; }
 
        public override void Annotate(Dictionary<string, object?> Schema)
        {
            base.Annotate(Schema);
 
            if (!(this.MinValue is null))
                Schema["minimum"] = this.MinValue;
 
            if (!(this.MaxValue is null))
                Schema["maximum"] = this.MaxValue;
        }
 
        public override string AnnotatedDescription
        {
            get
            {
                StringBuilder sb = new StringBuilder();
 
                sb.Append(base.AnnotatedDescription);
 
                if (this.MinValue is null)
                    sb.Append(" \\(∞");
                else
                {
                    sb.Append(" \\[`");
                    sb.Append(Expression.ToExpressionString(this.MinValue));
                    sb.Append('`');
                }
 
                sb.Append(',');
 
                if (this.MaxValue is null)
                    sb.Append("∞\\)");
                else
                {
                    sb.Append('`');
                    sb.Append(Expression.ToExpressionString(this.MaxValue));
                    sb.Append("`\\]");
                }
 
                return sb.ToString();
            }
        }
 
        public override void GetHtmlInputAttributes(Dictionary<string, string> Attributes)
        {
            if (!(this.MinValue is null))
                Attributes["min"] = this.GetHtmlAttributeValue(this.MinValue);
 
            if (!(this.MaxValue is null))
                Attributes["max"] = this.GetHtmlAttributeValue(this.MaxValue);
        }
    }
}