box_constraints.hpp

// Copyright Take Vos 2022.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt)
 
#pragma once
 
#include "../geometry/extent.hpp"
#include "../geometry/margins.hpp"
#include "../geometry/alignment.hpp"
#include "../assert.hpp"
#include "../cast.hpp"
#include <cstdint>
#include <limits>
#include <concepts>
 
namespace hi { inline namespace v1 {
 
struct box_constraints {
    extent2i minimum = {};
    extent2i preferred = {};
    extent2i maximum = {};
    marginsi margins = {};
    marginsi padding = {};
 
    hi::alignment alignment = hi::alignment{};
 
    constexpr box_constraints() noexcept = default;
    constexpr box_constraints(box_constraints const&) noexcept = default;
    constexpr box_constraints(box_constraints&&) noexcept = default;
    constexpr box_constraints& operator=(box_constraints const&) noexcept = default;
    constexpr box_constraints& operator=(box_constraints&&) noexcept = default;
    [[nodiscard]] constexpr friend bool operator==(box_constraints const&, box_constraints const&) noexcept = default;
 
    constexpr box_constraints(
        extent2i minimum,
        extent2i preferred,
        extent2i maximum,
        hi::alignment alignment = hi::alignment{},
        hi::marginsi margins = hi::marginsi{},
        hi::marginsi padding = hi::marginsi{}) noexcept :
        minimum(minimum), preferred(preferred), maximum(maximum), margins(margins), padding(padding), alignment(alignment)
    {
        hi_axiom(holds_invariant());
    }
 
    [[nodiscard]] constexpr box_constraints internalize_margins() const noexcept
    {
        auto r = *this;
        r.padding += r.margins;
 
        r.minimum.width() += r.margins.left() + r.margins.right();
        r.preferred.width() += r.margins.left() + r.margins.right();
        r.maximum.width() += r.margins.left() + r.margins.right();
 
        r.minimum.height() += r.margins.bottom() + r.margins.top();
        r.preferred.height() += r.margins.bottom() + r.margins.top();
        r.maximum.height() += r.margins.bottom() + r.margins.top();
 
        r.margins = 0;
        hi_axiom(r.holds_invariant());
        return r;
    }
 
    [[nodiscard]] constexpr box_constraints constrain(extent2i new_minimum, extent2i new_maximum) const noexcept
    {
        hi_assert(new_minimum <= new_maximum);
 
        auto r = *this;
 
        inplace_max(r.minimum, new_minimum);
        inplace_min(r.maximum, new_maximum);
 
        inplace_max(r.preferred, r.minimum);
        inplace_max(r.maximum, r.preferred);
        hi_axiom(r.holds_invariant());
        return r;
    }
 
    constexpr box_constraints& operator+=(extent2i const& rhs) noexcept
    {
        minimum.width() += rhs.width();
        preferred.width() += rhs.width();
        maximum.width() += rhs.width();
        minimum.height() += rhs.height();
        preferred.height() += rhs.height();
        maximum.height() += rhs.height();
 
        hi_axiom(holds_invariant());
        return *this;
    }
 
    [[nodiscard]] constexpr box_constraints operator+(extent2i const& rhs) const noexcept
    {
        auto r = *this;
        r += rhs;
        return r;
    }
 
    [[deprecated]] constexpr box_constraints& operator+=(extent2 const& rhs) noexcept
    {
        *this += narrow_cast<extent2i>(rhs);
        return *this;
    }
 
    [[nodiscard]] constexpr bool holds_invariant() const noexcept
    {
        if (alignment == horizontal_alignment::flush or alignment == horizontal_alignment::justified) {
            return false;
        }
        if (minimum > preferred or preferred > maximum) {
            return false;
        }
        return true;
    }
 
    [[nodiscard]] friend constexpr box_constraints max(box_constraints const& lhs, extent2i const& rhs) noexcept
    {
        auto r = lhs;
        inplace_max(r.minimum, rhs);
        inplace_max(r.preferred, rhs);
        inplace_max(r.maximum, rhs);
 
        hi_axiom(r.holds_invariant());
        return r;
    }
 
    [[nodiscard]] friend constexpr box_constraints max(box_constraints const& lhs, box_constraints const& rhs) noexcept
    {
        auto r = lhs;
        inplace_max(r.minimum, rhs.minimum);
        inplace_max(r.preferred, rhs.preferred);
        inplace_max(r.maximum, rhs.maximum);
        inplace_max(r.margins, rhs.margins);
        inplace_max(r.padding, rhs.padding);
 
        hi_axiom(r.holds_invariant());
        return r;
    }
 
    template<std::convertible_to<box_constraints>... Args>
    [[nodiscard]] friend constexpr box_constraints
    max(box_constraints const& first, box_constraints const& second, box_constraints const& third, Args const&...args) noexcept
    {
        return max(first, max(second, third, args...));
    }
};
 
}} // namespace hi::v1