actual_value.hpp

Go to the documentation of this file.

#pragma once
#include "assert_type.hpp"

namespace xtd {
  namespace tunit {
    namespace constraints {
      class assert_value;
      
      template<typename actual_t>
      class actual_value {
      protected:
        
        actual_value() {}
        
        
        [[nodiscard]] auto assert_type() const noexcept -> xtd::tunit::constraints::assert_type {return assert_type_;};
        [[nodiscard]] auto type(xtd::tunit::constraints::assert_type assert_type) noexcept -> actual_value& {
          assert_type_ = assert_type;
          return self_;
        };
        
        [[nodiscard]] auto is_assert() const noexcept {return assert_type() == xtd::tunit::constraints::assert_type::assert;}
        [[nodiscard]] auto is_valid() const noexcept {return assert_type() == xtd::tunit::constraints::assert_type::valid;}
        [[nodiscard]] auto is_assume() const noexcept {return assert_type() == xtd::tunit::constraints::assert_type::assume;}
        
        [[nodiscard]] const actual_t& actual() const noexcept {return *actual_;}
        [[nodiscard]] actual_value& actual(const actual_t& actual) noexcept {
          actual_ = &actual;
          return self_;
        }
        
      private:
        friend class assert_value;
        xtd::tunit::constraints::assert_type assert_type_;
        const actual_t* actual_ = null;
      };
    }
  }
}