xtd 1.0.0
Loading...
Searching...
No Matches
is_value.hpp
Go to the documentation of this file.
1
4#pragma once
5#include "is_not_value.hpp"
6#include "operator_value.hpp"
7#include "../assert.hpp"
8#include "../assume.hpp"
9#include "../collection_assert.hpp"
10#include "../collection_assume.hpp"
11#include "../collection_valid.hpp"
12#include "../string_assert.hpp"
13#include "../string_assume.hpp"
14#include "../string_valid.hpp"
15#include "../valid.hpp"
16
18namespace xtd {
20 namespace tunit {
22 namespace constraints {
24 template<typename actual_t> class that_value;
26
27 template<typename actual_t>
28 class is_value : public actual_value<actual_t> {
29 public:
31
33 [[nodiscard]] auto not_() {return is_not_value<actual_t>(self_);}
34
45 auto empty(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
46 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_empty(actual_value<actual_t>::actual(), stack_frame);
47 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_empty(actual_value<actual_t>::actual(), stack_frame);
48 else xtd::tunit::assume::is_empty(actual_value<actual_t>::actual(), stack_frame);
49 return operator_value<actual_t>(self_);
50 }
51
62 auto empty(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
63 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_empty(actual_value<actual_t>::actual(), stack_frame);
64 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_empty(actual_value<actual_t>::actual(), message, stack_frame);
65 else xtd::tunit::assume::is_empty(actual_value<actual_t>::actual(), stack_frame);
66 return operator_value<actual_t>(self_);
67 }
68
79 template<typename expected_t>
80 auto equal_to(const expected_t& expected, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
81 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_equal(expected, actual_value<actual_t>::actual(), stack_frame);
82 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_equal(expected, actual_value<actual_t>::actual(), stack_frame);
83 else xtd::tunit::assume::are_equal(expected, actual_value<actual_t>::actual(), stack_frame);
84 return operator_value<actual_t>(self_);
85 }
86
97 template<typename expected_t>
98 auto equal_to(const expected_t& expected, const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
99 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_equal(expected, actual_value<actual_t>::actual(), message, stack_frame);
100 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_equal(expected, actual_value<actual_t>::actual(), message, stack_frame);
101 else xtd::tunit::assume::are_equal(expected, actual_value<actual_t>::actual(), message, stack_frame);
102 return operator_value<actual_t>(self_);
103 }
104
115 auto false_(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
116 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_false(actual_value<actual_t>::actual(), stack_frame);
117 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_false(actual_value<actual_t>::actual(), stack_frame);
118 else xtd::tunit::assume::is_false(actual_value<actual_t>::actual(), stack_frame);
119 return operator_value<actual_t>(self_);
120 }
121
132 auto false_(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
133 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_false(actual_value<actual_t>::actual(), message, stack_frame);
134 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_false(actual_value<actual_t>::actual(), message, stack_frame);
135 else xtd::tunit::assume::is_false(actual_value<actual_t>::actual(), message, stack_frame);
136 return operator_value<actual_t>(self_);
137 }
138
149 auto negative(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
150 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_positive(actual_value<actual_t>::actual(), stack_frame);
151 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_positive(actual_value<actual_t>::actual(), stack_frame);
152 else xtd::tunit::assume::is_positive(actual_value<actual_t>::actual(), stack_frame);
153 return operator_value<actual_t>(self_);
154 }
155
166 auto negative(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
167 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_negative(actual_value<actual_t>::actual(), message, stack_frame);
168 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_negative(actual_value<actual_t>::actual(), message, stack_frame);
169 else xtd::tunit::assume::is_negative(actual_value<actual_t>::actual(), message, stack_frame);
170 return operator_value<actual_t>(self_);
171 }
172
183 auto positive(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
184 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_positive(actual_value<actual_t>::actual(), stack_frame);
185 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_positive(actual_value<actual_t>::actual(), stack_frame);
186 else xtd::tunit::assume::is_positive(actual_value<actual_t>::actual(), stack_frame);
187 return operator_value<actual_t>(self_);
188 }
189
200 auto positive(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
201 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_positive(actual_value<actual_t>::actual(), message, stack_frame);
202 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_positive(actual_value<actual_t>::actual(), message, stack_frame);
203 else xtd::tunit::assume::is_positive(actual_value<actual_t>::actual(), message, stack_frame);
204 return operator_value<actual_t>(self_);
205 }
206
219 template<typename expected_t>
220 auto same_as(const expected_t& expected, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
221 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_same(expected, actual_value<actual_t>::actual(), stack_frame);
222 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_same(expected, actual_value<actual_t>::actual(), stack_frame);
223 else xtd::tunit::assume::are_same(expected, actual_value<actual_t>::actual(), stack_frame);
224 return operator_value<actual_t>(self_);
225 }
226
239 template<typename expected_t>
240 auto same_as(const expected_t& expected, const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
241 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_same(expected, actual_value<actual_t>::actual(), message, stack_frame);
242 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_same(expected, actual_value<actual_t>::actual(), message, stack_frame);
243 else xtd::tunit::assume::are_same(expected, actual_value<actual_t>::actual(), message, stack_frame);
244 return operator_value<actual_t>(self_);
245 }
246
257 auto true_(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
258 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_true(actual_value<actual_t>::actual(), stack_frame);
259 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_true(actual_value<actual_t>::actual(), stack_frame);
260 else xtd::tunit::assume::is_true(actual_value<actual_t>::actual(), stack_frame);
261 return operator_value<actual_t>(self_);
262 }
263
274 auto true_(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
275 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_true(actual_value<actual_t>::actual(), message, stack_frame);
276 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_true(actual_value<actual_t>::actual(), message, stack_frame);
277 else xtd::tunit::assume::is_true(actual_value<actual_t>::actual(), message, stack_frame);
278 return operator_value<actual_t>(self_);
279 }
280
281
282 protected:
284
286 is_value() = default;
287 is_value(actual_value<actual_t>&& v) : actual_value<actual_t> {std::move(v)} {}
288 is_value(const actual_value<actual_t>& v) : actual_value<actual_t> {v} {}
290
291 private:
292 template<typename value_t> friend class that_value;
293 };
294 }
295 }
296}
assume.hpp
Contains xtd::tunit::assume class.
xtd::diagnostics::stack_frame
Provides information about a xtd::diagnostics::stack_frame, which represents a function call on the c...
Definition stack_frame.hpp:46
xtd::diagnostics::stack_frame::current
static auto current(const xtd::diagnostics::source_location &value=xtd::diagnostics::source_location::current()) noexcept -> xtd::diagnostics::stack_frame
Crates a new xtd::diagnostics::stack_frame object corresponding to the location of the call site.
xtd::tunit::assert::is_empty
static auto is_empty(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that collection contains an item.
Definition assert.hpp:351
xtd::tunit::assert::is_positive
static auto is_positive(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that ta condition is positive.
Definition assert.hpp:1169
xtd::tunit::assert::is_negative
static auto is_negative(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that ta condition is negative.
Definition assert.hpp:681
xtd::tunit::assert::are_same
static auto are_same(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that two objects do refer to differents objects.
Definition assert.hpp:246
xtd::tunit::assert::is_false
static auto is_false(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that a condition is false.
xtd::tunit::assert::is_true
static auto is_true(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that a condition is true.
xtd::tunit::assert::are_equal
static auto are_equal(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Asserts that two type are equal.
Definition assert.hpp:50
xtd::tunit::assume::are_equal
static auto are_equal(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that two type are equal.
Definition assume.hpp:41
xtd::tunit::assume::is_negative
static auto is_negative(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that ta condition is negative.
Definition assume.hpp:710
xtd::tunit::assume::is_true
static auto is_true(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that a condition is true.
xtd::tunit::assume::are_same
static auto are_same(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that two objects do refer to differents objects.
Definition assume.hpp:248
xtd::tunit::assume::is_positive
static auto is_positive(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that ta condition is positive.
Definition assume.hpp:1246
xtd::tunit::assume::is_empty
static auto is_empty(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that collection contains an item.
Definition assume.hpp:360
xtd::tunit::assume::is_false
static auto is_false(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Assumes that a condition is false.
xtd::tunit::constraints::actual_value
Definition actual_value.hpp:18
xtd::tunit::constraints::is_not_value
Definition is_not_value.hpp:27
xtd::tunit::constraints::is_value
Definition is_value.hpp:28
xtd::tunit::constraints::is_value::same_as
auto same_as(const expected_t &expected, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) const
Asserts that value is same as specified expected.
Definition is_value.hpp:220
xtd::tunit::constraints::is_value::equal_to
auto equal_to(const expected_t &expected, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) const
Asserts that value is equal to specified expected.
Definition is_value.hpp:80
xtd::tunit::constraints::is_value::positive
auto positive(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is positive.
Definition is_value.hpp:183
xtd::tunit::constraints::is_value::negative
auto negative(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is positive.
Definition is_value.hpp:149
xtd::tunit::constraints::is_value::empty
auto empty(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is empty.
Definition is_value.hpp:45
xtd::tunit::constraints::is_value::true_
auto true_(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is true and specified user message.
Definition is_value.hpp:274
xtd::tunit::constraints::is_value::true_
auto true_(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is true.
Definition is_value.hpp:257
xtd::tunit::constraints::is_value::false_
auto false_(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is false.
Definition is_value.hpp:115
xtd::tunit::constraints::is_value::empty
auto empty(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is empty and specified user message.
Definition is_value.hpp:62
xtd::tunit::constraints::is_value::false_
auto false_(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is false and specified user message.
Definition is_value.hpp:132
xtd::tunit::constraints::is_value::negative
auto negative(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is false and specified user message.
Definition is_value.hpp:166
xtd::tunit::constraints::is_value::equal_to
auto equal_to(const expected_t &expected, const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) const
Asserts that value is equal to specified expected with specified user message.
Definition is_value.hpp:98
xtd::tunit::constraints::is_value::positive
auto positive(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is false and specified user message.
Definition is_value.hpp:200
xtd::tunit::constraints::is_value::same_as
auto same_as(const expected_t &expected, const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) const
Asserts that value is same as specified expected with specified user message.
Definition is_value.hpp:240
xtd::tunit::constraints::operator_value
Definition operator_value.hpp:21
xtd::tunit::constraints::that_value
Definition that_value.hpp:21
xtd::tunit::valid::is_false
static auto is_false(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that a condition is false.
xtd::tunit::valid::is_empty
static auto is_empty(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that collection contains an item.
Definition valid.hpp:342
xtd::tunit::valid::are_equal
static auto are_equal(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that two type are equal.
Definition valid.hpp:41
xtd::tunit::valid::is_positive
static auto is_positive(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that ta condition is positive.
Definition valid.hpp:1174
xtd::tunit::valid::is_negative
static auto is_negative(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that ta condition is negative.
Definition valid.hpp:673
xtd::tunit::valid::is_true
static auto is_true(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that a condition is true.
xtd::tunit::valid::are_same
static auto are_same(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current()) -> void
Validates that two objects do refer to different objects.
Definition valid.hpp:235
collection_assert.hpp
Contains xtd::tunit::collection_assert class.
collection_assume.hpp
Contains xtd::tunit::collection_assume class.
collection_valid.hpp
Contains xtd::tunit::collection_valid class.
self_
#define self_
The self_ expression is a reference value expression whose value is the reference of the implicit obj...
Definition self.hpp:20
xtd::string
xtd::basic_string< char > string
Represents text as a sequence of UTF-8 code units.
Definition __string_definitions.hpp:43
xtd::console_key::v
@ v
The V key.
Definition console_key.hpp:130
is_not_value.hpp
Contains xtd::tunit::constraints::is_not_value class.
xtd::tunit::constraints
The constraints namespace contains the constraint-based assert model.
Definition actual_value.hpp:12
xtd::tunit
The tunit namespace contains a unit test library.
Definition abort_error.hpp:10
xtd
The xtd namespace contains all fundamental classes to access Hardware, Os, System,...
Definition abstract_object.hpp:8
operator_value.hpp
Contains xtd::tunit::constraints::operator_value class.
string_assert.hpp
Contains xtd::tunit::string_assert class.
string_assume.hpp
Contains xtd::tunit::string_assume class.
string_valid.hpp
Contains xtd::tunit::string_valid class.
valid.hpp
Contains xtd::tunit::valid class.
assert.hpp
Contains xtd::tunit::assert class.
Generated on for xtd by Gammasoft. All rights reserved.