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<class actual_t>
      class actual_value {
      protected:
        
        actual_value() {}
        actual_value(actual_value&&) = default;
        actual_value(const actual_value&) = default;
        
        
        xtd::tunit::constraints::assert_type assert_type() const noexcept {return assert_type_;};
        actual_value& type(xtd::tunit::constraints::assert_type assert_type) noexcept {
          assert_type_ = assert_type;
          return self_;
        };
        
        auto is_assert() const noexcept {return assert_type() == xtd::tunit::constraints::assert_type::assert;}
        auto is_valid() const noexcept {return assert_type() == xtd::tunit::constraints::assert_type::valid;}
        auto is_assume() const noexcept {return assert_type() == xtd::tunit::constraints::assert_type::assume;}
        
        const actual_t& actual() const noexcept {return *actual_;}
        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;
      };
    }
  }
}