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_