All Classes Namespaces Files Functions Variables Typedefs Enumerator Friends Macros
check_nonnegative.hpp
Go to the documentation of this file.
#ifndef STAN_MATH_PRIM_SCAL_ERR_CHECK_NONNEGATIVE_HPP
#define STAN_MATH_PRIM_SCAL_ERR_CHECK_NONNEGATIVE_HPP
#include <stan/math/prim/scal/err/domain_error.hpp>
#include <stan/math/prim/scal/err/domain_error_vec.hpp>
#include <stan/math/prim/scal/meta/length.hpp>
#include <stan/math/prim/scal/meta/value_type.hpp>
#include <stan/math/prim/scal/meta/is_vector_like.hpp>
#include <boost/type_traits/is_unsigned.hpp>
namespace stan {
namespace math {
namespace {
template <typename T_y, bool is_vec>
struct nonnegative {
static bool check(const char* function,
const char* name,
const T_y& y) {
// have to use not is_unsigned. is_signed will be false
// floating point types that have no unsigned versions.
if (!boost::is_unsigned<T_y>::value && !(y >= 0))
domain_error(function, name, y,
"is ", ", but must be >= 0!");
return true;
}
};
template <typename T_y>
struct nonnegative<T_y, true> {
static bool check(const char* function,
const char* name,
const T_y& y) {
using stan::length;
using stan::math::value_type;
for (size_t n = 0; n < length(y); n++) {
if (!boost::is_unsigned<typename value_type<T_y>::type>::value
&& !(stan::get(y, n) >= 0))
domain_error_vec(function, name, y, n,
"is ", ", but must be >= 0!");
}
return true;
}
};
}
template <typename T_y>
inline bool check_nonnegative(const char* function,
const char* name,
const T_y& y) {
return nonnegative<T_y, is_vector_like<T_y>::value>
::check(function, name, y);
}
}
}
#endif
stan::length
size_t length(const std::vector< T > &x)
Definition: length.hpp:10
domain_error_vec.hpp
is_vector_like.hpp
stan::math::domain_error_vec
void domain_error_vec(const char *function, const char *name, const T &y, const size_t i, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.
Definition: domain_error_vec.hpp:38
stan::get
T get(const std::vector< T > &x, size_t n)
Definition: get.hpp:10
stan::math::domain_error
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.
Definition: domain_error.hpp:32
length.hpp
value_type.hpp
domain_error.hpp
stan::math::check_nonnegative
bool check_nonnegative(const char *function, const char *name, const T_y &y)
Return true if y is non-negative.
Definition: check_nonnegative.hpp:66
stan::math::value_type
Primary template class for metaprogram to compute the type of values stored in a container.
Definition: value_type.hpp:21

[ Stan Home Page ] © 2011–2015, Stan Development Team.