1 #ifndef STAN_MATH_PRIM_SCAL_ERR_CHECK_NONNEGATIVE_HPP 2 #define STAN_MATH_PRIM_SCAL_ERR_CHECK_NONNEGATIVE_HPP 9 #include <boost/type_traits/is_unsigned.hpp> 15 template <
typename T_y,
bool is_vec>
17 static void check(
const char*
function,
22 if (!boost::is_unsigned<T_y>::value && !(y >= 0))
24 "is ",
", but must be >= 0!");
28 template <
typename T_y>
29 struct nonnegative<T_y, true> {
30 static void check(
const char*
function,
35 for (
size_t n = 0; n <
length(y); n++) {
36 if (!boost::is_unsigned<
typename value_type<T_y>::type>::value
39 "is ",
", but must be >= 0!");
60 template <
typename T_y>
64 nonnegative<T_y, is_vector_like<T_y>::value>::check(
function, name, y);
size_t length(const std::vector< T > &x)
void domain_error_vec(const char *function, const char *name, const T &y, size_t i, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.
void check_nonnegative(const char *function, const char *name, const T_y &y)
Check if y is non-negative.
T get(const std::vector< T > &x, size_t n)
void domain_error(const char *function, const char *name, const T &y, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.