Toggle navigation
=nil;
Foundation
=nil;
Crypto3
=nil;
Crypto3 Cryptography Suite 0.3.0
libs
algebra
include
nil
crypto3
detail
assert.hpp
Go to the documentation of this file.
1
//---------------------------------------------------------------------------//
2
// Copyright (c) 2020-2021 Mikhail Komarov <nemo@nil.foundation>
3
//
4
// MIT License
5
//
6
// Permission is hereby granted, free of charge, to any person obtaining a copy
7
// of this software and associated documentation files (the "Software"), to deal
8
// in the Software without restriction, including without limitation the rights
9
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10
// copies of the Software, and to permit persons to whom the Software is
11
// furnished to do so, subject to the following conditions:
12
//
13
// The above copyright notice and this permission notice shall be included in all
14
// copies or substantial portions of the Software.
15
//
16
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22
// SOFTWARE.
23
//---------------------------------------------------------------------------//
24
25
#ifndef CRYPTO3_DETAIL_ASSERT_HPP
26
#define CRYPTO3_DETAIL_ASSERT_HPP
27
28
#include <nil/crypto3/detail/type_traits.hpp>
29
30
#define CRYPTO3_DETAIL_ASSERT_FLOATING_POINT(T) \
31
static_assert(std::is_floating_point<typename algebra::detail::remove_complex<T>::type>::value, \
32
"argument must be a (real or complex) floating point type"
);
33
34
#define CRYPTO3_DETAIL_ASSERT_INTEGRAL(T) \
35
static_assert(std::is_integral<T>::value, "argument must be a real integral type"
);
36
37
#define CRYPTO3_DETAIL_ASSERT_VALID_COMPLEX(T) \
38
static_assert(!algebra::detail::is_complex<T>::value || \
39
std::is_floating_point<typename algebra::detail::remove_complex<T>::type>::value, \
40
"invalid complex type argument (valid types are "
\
41
"complex<float>, complex<double>, and complex<long double>)");
42
43
#define CRYPTO3_DETAIL_ASSERT_ARITHMETIC(T) \
44
CRYPTO3_DETAIL_ASSERT_VALID_COMPLEX(T) \
45
static_assert(std::is_arithmetic<typename algebra::detail::remove_complex<T>::type>::value, \
46
"argument must be a (real or complex) arithmetic type"
);
47
48
#define CRYPTO3_DETAIL_ASSERT_REAL(T) \
49
static_assert(std::is_arithmetic<T>::value, "argument must be a real arithmetic type"
);
50
51
#define CRYPTO3_DETAIL_ASSERT_COMPLEX(T) \
52
CRYPTO3_DETAIL_ASSERT_VALID_COMPLEX(T) \
53
static_assert(algebra::detail::is_complex<T>::value, "argument must be a complex type"
);
54
55
#endif
// CRYPTO3_DETAIL_ASSERT_H_