com.unity.uiwidgets/Assets/UIWidgets/painting/edge_insets.cs

using System;
using UIWidgets.ui;

namespace UIWidgets.painting {
    public class EdgeInsets : IEquatable<EdgeInsets> {
        private EdgeInsets(double left, double top, double right, double bottom) {
            this.left = left;
            this.right = right;
            this.top = top;
            this.bottom = bottom;
        }

        public readonly double left;
        public readonly double right;
        public readonly double top;
        public readonly double bottom;

        public bool isNonNegative {
            get {
                return this.left >= 0.0
                       && this.right >= 0.0
                       && this.top >= 0.0
                       && this.bottom >= 0.0;
            }
        }

        public double horizontal {
            get { return this.left + this.right; }
        }

        public double vertical {
            get { return this.top + this.bottom; }
        }

        public double along(Axis axis) {
            switch (axis) {
                case Axis.horizontal:
                    return this.horizontal;
                case Axis.vertical:
                    return this.vertical;
            }

            throw new InvalidOperationException();
        }

        public Size collapsedSize {
            get { return new Size(this.horizontal, this.vertical); }
        }

        public EdgeInsets flipped {
            get { return EdgeInsets.fromLTRB(this.right, this.bottom, this.left, this.top); }
        }

        public Size inflateSize(Size size) {
            return new Size(size.width + this.horizontal, size.height + this.vertical);
        }

        public Size deflateSize(Size size) {
            return new Size(size.width - this.horizontal, size.height - this.vertical);
        }

        public static EdgeInsets fromLTRB(double left, double top, double right, double bottom) {
            return new EdgeInsets(left, top, right, bottom);
        }

        public static EdgeInsets all(double value) {
            return new EdgeInsets(value, value, value, value);
        }

        public static EdgeInsets only(double left = 0.0, double top = 0.0, double right = 0.0, double bottom = 0.0) {
            return new EdgeInsets(left, top, right, bottom);
        }

        public static EdgeInsets symmetric(double vertical = 0.0, double horizontal = 0.0) {
            return new EdgeInsets(horizontal, vertical, horizontal, vertical);
        }

        public static readonly EdgeInsets zero = EdgeInsets.only();

        public Offset topLeft {
            get { return new Offset(this.left, this.top); }
        }

        public Offset topRight {
            get { return new Offset(-this.right, this.top); }
        }

        public Offset bottomLeft {
            get { return new Offset(this.left, -this.bottom); }
        }

        public Offset bottomRight {
            get { return new Offset(-this.right, -this.bottom); }
        }

        public Rect inflateRect(Rect rect) {
            return Rect.fromLTRB(
                rect.left - this.left, rect.top - this.top,
                rect.right + this.right, rect.bottom + this.bottom);
        }

        public Rect deflateRect(Rect rect) {
            return Rect.fromLTRB(
                rect.left + this.left, rect.top + this.top,
                rect.right - this.right, rect.bottom - this.bottom);
        }

        public EdgeInsets subtract(EdgeInsets other) {
            return EdgeInsets.fromLTRB(
                this.left - other.left,
                this.top - other.top,
                this.right - other.right,
                this.bottom - other.bottom
            );
        }

        public EdgeInsets add(EdgeInsets other) {
            return EdgeInsets.fromLTRB(
                this.left + other.left,
                this.top + other.top,
                this.right + other.right,
                this.bottom + other.bottom
            );
        }

        public static EdgeInsets operator -(EdgeInsets a, EdgeInsets b) {
            return EdgeInsets.fromLTRB(
                a.left - b.left,
                a.top - b.top,
                a.right - b.right,
                a.bottom - b.bottom
            );
        }

        public static EdgeInsets operator +(EdgeInsets a, EdgeInsets b) {
            return EdgeInsets.fromLTRB(
                a.left + b.left,
                a.top + b.top,
                a.right + b.right,
                a.bottom + b.bottom
            );
        }

        public static EdgeInsets operator -(EdgeInsets a) {
            return EdgeInsets.fromLTRB(
                -a.left,
                -a.top,
                -a.right,
                -a.bottom
            );
        }

        public static EdgeInsets operator *(EdgeInsets a, double b) {
            return EdgeInsets.fromLTRB(
                a.left * b,
                a.top * b,
                a.right * b,
                a.bottom * b
            );
        }

        public static EdgeInsets operator /(EdgeInsets a, double b) {
            return EdgeInsets.fromLTRB(
                a.left / b,
                a.top / b,
                a.right / b,
                a.bottom / b
            );
        }

        public static EdgeInsets operator %(EdgeInsets a, double b) {
            return EdgeInsets.fromLTRB(
                a.left % b,
                a.top % b,
                a.right % b,
                a.bottom % b
            );
        }

        public EdgeInsets copyWith(
            double? left = null,
            double? top = null,
            double? right = null,
            double? bottom = null
        ) {
            return EdgeInsets.only(
                left: left ?? this.left,
                top: top ?? this.top,
                right: right ?? this.right,
                bottom: bottom ?? this.bottom
            );
        }

        public bool Equals(EdgeInsets other) {
            if (object.ReferenceEquals(null, other)) return false;
            if (object.ReferenceEquals(this, other)) return true;
            return this.left.Equals(other.left)
                   && this.right.Equals(other.right)
                   && this.top.Equals(other.top)
                   && this.bottom.Equals(other.bottom);
        }

        public override bool Equals(object obj) {
            if (object.ReferenceEquals(null, obj)) return false;
            if (object.ReferenceEquals(this, obj)) return true;
            if (obj.GetType() != this.GetType()) return false;
            return this.Equals((EdgeInsets) obj);
        }

        public override int GetHashCode() {
            unchecked {
                var hashCode = this.left.GetHashCode();
                hashCode = (hashCode * 397) ^ this.right.GetHashCode();
                hashCode = (hashCode * 397) ^ this.top.GetHashCode();
                hashCode = (hashCode * 397) ^ this.bottom.GetHashCode();
                return hashCode;
            }
        }

        public static bool operator ==(EdgeInsets a, EdgeInsets b) {
            return object.Equals(a, b);
        }

        public static bool operator !=(EdgeInsets a, EdgeInsets b) {
            return !(a == b);
        }
    }
}