xtd 0.2.0
Loading...
Searching...
No Matches
is_not_value.hpp
Go to the documentation of this file.
1
4#pragma once
5#include "operator_value.hpp"
6#include "../assert.hpp"
7#include "../assume.hpp"
8#include "../collection_assert.hpp"
9#include "../collection_assume.hpp"
10#include "../collection_valid.hpp"
11#include "../string_assert.hpp"
12#include "../string_assume.hpp"
13#include "../string_valid.hpp"
14#include "../valid.hpp"
15
17namespace xtd {
19 namespace tunit {
21 namespace constraints {
23 template<class actual_t> class is_value;
25
26 template<class actual_t>
27 class is_not_value : public actual_value<actual_t> {
28 public:
30
42 auto empty(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
43 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_not_empty(actual_value<actual_t>::actual(), stack_frame);
44 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_not_empty(actual_value<actual_t>::actual(), stack_frame);
45 else xtd::tunit::assume::is_not_empty(actual_value<actual_t>::actual(), stack_frame);
46 return operator_value<actual_t>(self_);
47 }
48
59 auto empty(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
60 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_not_empty(actual_value<actual_t>::actual(), stack_frame);
61 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_not_empty(actual_value<actual_t>::actual(), stack_frame);
62 else xtd::tunit::assume::is_not_empty(actual_value<actual_t>::actual(), stack_frame);
63 return operator_value<actual_t>(self_);
64 }
65
76 template<class expected_t>
77 auto equal_to(const expected_t& expected, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
78 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_not_equal(expected, actual_value<actual_t>::actual(), stack_frame);
79 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_not_equal(expected, actual_value<actual_t>::actual(), stack_frame);
80 else xtd::tunit::assume::are_not_equal(expected, actual_value<actual_t>::actual(), stack_frame);
81 return operator_value<actual_t>(self_);
82 }
83
94 template<class expected_t>
95 auto equal_to(const expected_t& expected, const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
96 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_not_equal(expected, actual_value<actual_t>::actual(), message, stack_frame);
97 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_not_equal(expected, actual_value<actual_t>::actual(), message, stack_frame);
98 else xtd::tunit::assume::are_not_equal(expected, actual_value<actual_t>::actual(), message, stack_frame);
99 return operator_value<actual_t>(self_);
100 }
101
112 auto false_(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
113 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_false(actual_value<actual_t>::actual(), stack_frame);
114 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_false(actual_value<actual_t>::actual(), stack_frame);
115 else xtd::tunit::assume::is_false(actual_value<actual_t>::actual(), stack_frame);
116 return operator_value<actual_t>(self_);
117 }
118
129 auto false_(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
130 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_false(actual_value<actual_t>::actual(), stack_frame);
131 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_false(actual_value<actual_t>::actual(), stack_frame);
132 else xtd::tunit::assume::is_false(actual_value<actual_t>::actual(), stack_frame);
133 return operator_value<actual_t>(self_);
134 }
135
148 template<class expected_t>
149 auto same_as(const expected_t& expected, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
150 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_not_same(expected, actual_value<actual_t>::actual(), stack_frame);
151 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_not_same(expected, actual_value<actual_t>::actual(), stack_frame);
152 else xtd::tunit::assume::are_not_same(expected, actual_value<actual_t>::actual(), stack_frame);
153 return operator_value<actual_t>(self_);
154 }
155
168 template<class expected_t>
169 auto same_as(const expected_t& expected, const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) const {
170 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::are_not_same(expected, actual_value<actual_t>::actual(), message, stack_frame);
171 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::are_not_same(expected, actual_value<actual_t>::actual(), message, stack_frame);
172 else xtd::tunit::assume::are_not_same(expected, actual_value<actual_t>::actual(), message, stack_frame);
173 return operator_value<actual_t>(self_);
174 }
175
186 auto true_(const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
187 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_true(actual_value<actual_t>::actual(), stack_frame);
188 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_true(actual_value<actual_t>::actual(), stack_frame);
189 else xtd::tunit::assume::is_true(actual_value<actual_t>::actual(), stack_frame);
190 return operator_value<actual_t>(self_);
191 }
192
203 auto true_(const xtd::string& message, const xtd::diagnostics::stack_frame& stack_frame = xtd::diagnostics::stack_frame::current()) {
204 if (actual_value<actual_t>::is_assert()) xtd::tunit::assert::is_true(actual_value<actual_t>::actual(), stack_frame);
205 else if (actual_value<actual_t>::is_valid()) xtd::tunit::valid::is_true(actual_value<actual_t>::actual(), stack_frame);
206 else xtd::tunit::assume::is_true(actual_value<actual_t>::actual(), stack_frame);
207 return operator_value<actual_t>(self_);
208 }
209
210
211 protected:
213
215 is_not_value() = default;
216 is_not_value(actual_value<actual_t>&& v) : actual_value<actual_t> {std::move(v)} {}
217 is_not_value(const actual_value<actual_t>& v) : actual_value<actual_t> {v} {}
219
220 private:
221 template<class value_t> friend class is_value;
222 };
223 }
224 }
225}
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:48
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_not_empty
static void is_not_empty(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that collection does not contain any item.
Definition assert.hpp:712
xtd::tunit::assert::is_true
static void is_true(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that a condition is true.
xtd::tunit::assert::are_not_same
static void are_not_same(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that two objects do refer to differents objects.
Definition assert.hpp:211
xtd::tunit::assert::are_not_equal
static void are_not_equal(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that two type are not equal.
Definition assert.hpp:171
xtd::tunit::assert::is_false
static void is_false(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that a condition is false.
xtd::tunit::assume::is_not_empty
static void is_not_empty(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Assumes that collection does not contain any item.
Definition assume.hpp:744
xtd::tunit::assume::is_true
static void is_true(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Assumes that a condition is true.
xtd::tunit::assume::are_not_equal
static void are_not_equal(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Assumes that two type are not equal.
Definition assume.hpp:166
xtd::tunit::assume::are_not_same
static void are_not_same(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Assumes that two objects do refer to differents objects.
Definition assume.hpp:210
xtd::tunit::assume::is_false
static void is_false(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
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_not_value::true_
auto true_(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is not true.
Definition is_not_value.hpp:186
xtd::tunit::constraints::is_not_value::true_
auto true_(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is not true and specified user message.
Definition is_not_value.hpp:203
xtd::tunit::constraints::is_not_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 not same as specified expected.
Definition is_not_value.hpp:149
xtd::tunit::constraints::is_not_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 not is equal to specified expected.
Definition is_not_value.hpp:77
xtd::tunit::constraints::is_not_value::empty
auto empty(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is empty.
Definition is_not_value.hpp:42
xtd::tunit::constraints::is_not_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 not equal to specified expected with specified user message.
Definition is_not_value.hpp:95
xtd::tunit::constraints::is_not_value::false_
auto false_(const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is not false.
Definition is_not_value.hpp:112
xtd::tunit::constraints::is_not_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 not same as specified expected with specified user message.
Definition is_not_value.hpp:169
xtd::tunit::constraints::is_not_value::false_
auto false_(const xtd::string &message, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Asserts that value is not false and specified user message.
Definition is_not_value.hpp:129
xtd::tunit::constraints::is_not_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.
Definition is_not_value.hpp:59
xtd::tunit::constraints::is_value
Definition is_value.hpp:28
xtd::tunit::constraints::operator_value
Definition operator_value.hpp:21
xtd::tunit::valid::are_not_same
static void are_not_same(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Validates that two objects do refer to different objects.
Definition valid.hpp:199
xtd::tunit::valid::is_false
static void is_false(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Validates that a condition is false.
xtd::tunit::valid::is_true
static void is_true(bool condition, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Validates that a condition is true.
xtd::tunit::valid::are_not_equal
static void are_not_equal(const expected_t &expected, const actual_t &actual, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Validates that two type are not equal.
Definition valid.hpp:158
xtd::tunit::valid::is_not_empty
static void is_not_empty(const value_t &value, const xtd::diagnostics::stack_frame &stack_frame=xtd::diagnostics::stack_frame::current())
Validates that collection does not contain any item.
Definition valid.hpp:705
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
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 Thu Jan 22 2026 00:59:33 for xtd by Gammasoft. All rights reserved.