123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279 |
- using NStack;
- using System;
- using System.Collections.Generic;
- using System.Text;
- using System.Text.Json.Serialization;
- using Terminal.Gui;
- namespace Terminal.Gui {
- /// <summary>
- /// Describes the thickness of a frame around a rectangle. Four <see cref="int"/> values describe
- /// the <see cref="Left"/>, <see cref="Top"/>, <see cref="Right"/>, and <see cref="Bottom"/> sides
- /// of the rectangle, respectively.
- /// </summary>
- /// <remarks>
- /// <para>
- /// Use the helper API (<see cref="GetInside(Rect)"/> to get the rectangle describing the insides of the frame,
- /// with the thickness widths subtracted.
- /// </para>
- /// <para>
- /// Use the helper API (<see cref="Draw(Rect, string)"/> to draw the frame with the specified thickness.
- /// </para>
- /// </remarks>
- public class Thickness : IEquatable<Thickness> {
- private int validate (int width)
- {
- if (width < 0) {
- throw new ArgumentException ("Thickness widths cannot be negative.");
- }
- return width;
- }
- /// <summary>
- /// Gets or sets the width of the left side of the rectangle.
- /// </summary>
- [JsonInclude]
- public int Left;
- /// <summary>
- /// Gets or sets the width of the upper side of the rectangle.
- /// </summary>
- [JsonInclude]
- public int Top;
- /// <summary>
- /// Gets or sets the width of the right side of the rectangle.
- /// </summary>
- [JsonInclude]
- public int Right;
- /// <summary>
- /// Gets or sets the width of the lower side of the rectangle.
- /// </summary>
- [JsonInclude]
- public int Bottom;
- /// <summary>
- /// Initializes a new instance of the <see cref="Thickness"/> class with all widths
- /// set to 0.
- /// </summary>
- public Thickness () { }
- /// <summary>
- /// Initializes a new instance of the <see cref="Thickness"/> class with a uniform width to each side.
- /// </summary>
- /// <param name="width"></param>
- public Thickness (int width) : this (width, width, width, width) { }
- /// <summary>
- /// Initializes a new instance of the <see cref="Thickness"/> class that has specific
- /// widths applied to each side of the rectangle.
- /// </summary>
- /// <param name="left"></param>
- /// <param name="top"></param>
- /// <param name="right"></param>
- /// <param name="bottom"></param>
- public Thickness (int left, int top, int right, int bottom)
- {
- Left = left;
- Top = top;
- Right = right;
- Bottom = bottom;
- }
- /// <summary>
- /// Gets the total width of the left and right sides of the rectangle. Sets the height of the left and right sides of the rectangle to half the specified value.
- /// </summary>
- public int Vertical {
- get {
- return Top + Bottom;
- }
- set {
- Top = Bottom = value / 2;
- }
- }
- /// <summary>
- /// Gets the total width of the top and bottom sides of the rectangle. Sets the width of the top and bottom sides of the rectangle to half the specified value.
- /// </summary>
- public int Horizontal {
- get {
- return Left + Right;
- }
- set {
- Left = Right = value / 2;
- }
- }
- /// <summary>
- /// Returns a rectangle describing the location and size of the inside area of <paramref name="rect"/>
- /// with the thickness widths subtracted. The height and width of the returned rectangle will
- /// never be less than 0.
- /// </summary>
- /// <remarks>If a thickness width is negative, the inside rectangle will be larger than <paramref name="rect"/>. e.g.
- /// a <c>Thickness (-1, -1, -1, -1) will result in a rectangle skewed -1 in the X and Y directions and
- /// with a Size increased by 1.</c></remarks>
- /// <param name="rect">The source rectangle</param>
- /// <returns></returns>
- public Rect GetInside (Rect rect)
- {
- var x = rect.X + Left;
- var y = rect.Y + Top;
- var width = Math.Max (0, rect.Size.Width - Horizontal);
- var height = Math.Max (0, rect.Size.Height - Vertical);
- return new Rect (new Point (x, y), new Size (width, height));
- }
- /// <summary>
- /// Draws the <see cref="Thickness"/> rectangle with an optional diagnostics label.
- /// </summary>
- /// <remarks>
- /// If <see cref="ConsoleDriver.DiagnosticFlags"/> is set to <see cref="ConsoleDriver.DiagnosticFlags.FramePadding"/> then
- /// 'T', 'L', 'R', and 'B' glyphs will be used instead of space. If <see cref="ConsoleDriver.DiagnosticFlags"/>
- /// is set to <see cref="ConsoleDriver.DiagnosticFlags.FrameRuler"/> then a ruler will be drawn on the outer edge of the
- /// Thickness.
- /// </remarks>
- /// <param name="rect">The location and size of the rectangle that bounds the thickness rectangle, in
- /// screen coordinates.</param>
- /// <param name="label">The diagnostics label to draw on the bottom of the <see cref="Bottom"/>.</param>
- /// <returns>The inner rectangle remaining to be drawn.</returns>
- public Rect Draw (Rect rect, string label = null)
- {
- if (rect.Size.Width < 1 || rect.Size.Height < 1) {
- return Rect.Empty;
- }
- System.Rune clearChar = ' ';
- System.Rune leftChar = clearChar;
- System.Rune rightChar = clearChar;
- System.Rune topChar = clearChar;
- System.Rune bottomChar = clearChar;
- if ((ConsoleDriver.Diagnostics & ConsoleDriver.DiagnosticFlags.FramePadding) == ConsoleDriver.DiagnosticFlags.FramePadding) {
- leftChar = 'L';
- rightChar = 'R';
- topChar = 'T';
- bottomChar = 'B';
- if (!string.IsNullOrEmpty (label)) {
- leftChar = rightChar = bottomChar = topChar = label [0];
- }
- }
- // Draw the Top side
- if (Top > 0) {
- Application.Driver.FillRect (new Rect (rect.X, rect.Y, rect.Width, Math.Min (rect.Height, Top)), topChar);
- }
- // Draw the Left side
- if (Left > 0) {
- Application.Driver.FillRect (new Rect (rect.X, rect.Y, Math.Min (rect.Width, Left), rect.Height), leftChar);
- }
- // Draw the Right side
- if (Right > 0) {
- Application.Driver.FillRect (new Rect (Math.Max (0, rect.X + rect.Width - Right), rect.Y, Math.Min (rect.Width, Right), rect.Height), rightChar);
- }
- // Draw the Bottom side
- if (Bottom > 0) {
- Application.Driver.FillRect (new Rect (rect.X, rect.Y + Math.Max (0, rect.Height - Bottom), rect.Width, Bottom), bottomChar);
- }
- // TODO: This should be moved to LineCanvas as a new BorderStyle.Ruler
- if ((ConsoleDriver.Diagnostics & ConsoleDriver.DiagnosticFlags.FrameRuler) == ConsoleDriver.DiagnosticFlags.FrameRuler) {
- // Top
- var hruler = new Ruler () { Length = rect.Width, Orientation = Orientation.Horizontal };
- if (Top > 0) {
- hruler.Draw (new Point (rect.X, rect.Y));
- }
- //Left
- var vruler = new Ruler () { Length = rect.Height - 2, Orientation = Orientation.Vertical };
- if (Left > 0) {
- vruler.Draw (new Point (rect.X, rect.Y + 1), 1);
- }
- // Bottom
- if (Bottom > 0) {
- hruler.Draw (new Point (rect.X, rect.Y + rect.Height - 1));
- }
- // Right
- if (Right > 0) {
- vruler.Draw (new Point (rect.X + rect.Width - 1, rect.Y + 1), 1);
- }
- }
- if ((ConsoleDriver.Diagnostics & ConsoleDriver.DiagnosticFlags.FramePadding) == ConsoleDriver.DiagnosticFlags.FramePadding) {
- // Draw the diagnostics label on the bottom
- var tf = new TextFormatter () {
- Text = label == null ? string.Empty : $"{label} {this}",
- Alignment = TextAlignment.Centered,
- VerticalAlignment = VerticalTextAlignment.Bottom
- };
- tf.Draw (rect, Application.Driver.CurrentAttribute, Application.Driver.CurrentAttribute, rect, false);
- }
- return GetInside (rect);
- }
- // TODO: add operator overloads
- /// <summary>
- /// Gets an empty thickness.
- /// </summary>
- public static Thickness Empty => new Thickness (0);
- /// <inheritdoc/>
- public override bool Equals (object obj)
- {
- //Check for null and compare run-time types.
- if ((obj == null) || !this.GetType ().Equals (obj.GetType ())) {
- return false;
- } else {
- return Equals ((Thickness)obj);
- }
- }
- /// <summary>Returns the thickness widths of the Thickness formatted as a string.</summary>
- /// <returns>The thickness widths as a string.</returns>
- public override string ToString ()
- {
- return $"(Left={Left},Top={Top},Right={Right},Bottom={Bottom})";
- }
- // IEquitable
- /// <inheritdoc/>
- public bool Equals (Thickness other)
- {
- return other is not null &&
- Left == other.Left &&
- Right == other.Right &&
- Top == other.Top &&
- Bottom == other.Bottom;
- }
- /// <inheritdoc/>
- public override int GetHashCode ()
- {
- int hashCode = 1380952125;
- hashCode = hashCode * -1521134295 + Left.GetHashCode ();
- hashCode = hashCode * -1521134295 + Right.GetHashCode ();
- hashCode = hashCode * -1521134295 + Top.GetHashCode ();
- hashCode = hashCode * -1521134295 + Bottom.GetHashCode ();
- return hashCode;
- }
- /// <inheritdoc/>
- public static bool operator == (Thickness left, Thickness right)
- {
- return EqualityComparer<Thickness>.Default.Equals (left, right);
- }
- /// <inheritdoc/>
- public static bool operator != (Thickness left, Thickness right)
- {
- return !(left == right);
- }
- }
- }
|