FM / safe_numerics

/usr/include/boost/safe_numerics

Name	Size	Mode	Actions
concept/	-	0755	rm
automatic.hpp	17772	0644	edit dl rm
checked_default.hpp	7134	0644	edit dl rm
checked_float.hpp	5153	0644	edit dl rm
checked_integer.hpp	26535	0644	edit dl rm
checked_result.hpp	4135	0644	edit dl rm
checked_result_operations.hpp	42560	0644	edit dl rm
cpp.hpp	6802	0644	edit dl rm
exception.hpp	6811	0644	edit dl rm
exception_policies.hpp	7462	0644	edit dl rm
interval.hpp	8357	0644	edit dl rm
native.hpp	3183	0644	edit dl rm
range_value.hpp	1491	0644	edit dl rm
safe_base.hpp	9157	0644	edit dl rm
safe_base_operations.hpp	53080	0644	edit dl rm
safe_common.hpp	913	0644	edit dl rm
safe_compare.hpp	4858	0644	edit dl rm
safe_integer.hpp	956	0644	edit dl rm
safe_integer_literal.hpp	7055	0644	edit dl rm
safe_integer_range.hpp	1600	0644	edit dl rm
utility.hpp	8213	0644	edit dl rm

Edit: /usr/include/boost/safe_numerics/safe_integer_range.hpp (1600B)

#ifndef BOOST_NUMERIC_SAFE_INTEGER_RANGE_HPP
#define BOOST_NUMERIC_SAFE_INTEGER_RANGE_HPP

//  Copyright (c) 2012 Robert Ramey
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)

#include <cstdint> // intmax_t, uintmax_t

#include "utility.hpp"
#include "safe_integer.hpp"
#include "native.hpp"
#include "exception_policies.hpp"

/////////////////////////////////////////////////////////////////
// higher level types implemented in terms of safe_base

namespace boost {
namespace safe_numerics {

/////////////////////////////////////////////////////////////////
// safe_signed_range

template <
    std::intmax_t Min,
    std::intmax_t Max,
    class P = native,
    class E = default_exception_policy
>
using safe_signed_range = safe_base<
    typename utility::signed_stored_type<Min, Max>,
    static_cast<typename utility::signed_stored_type<Min, Max> >(Min),
    static_cast<typename utility::signed_stored_type<Min, Max> >(Max),
    P,
    E
>;

/////////////////////////////////////////////////////////////////
// safe_unsigned_range

template <
    std::uintmax_t Min,
    std::uintmax_t Max,
    class P = native,
    class E = default_exception_policy
>
using safe_unsigned_range = safe_base<
    typename utility::unsigned_stored_type<Min, Max>,
    static_cast<typename utility::unsigned_stored_type<Min, Max> >(Min),
    static_cast<typename utility::unsigned_stored_type<Min, Max> >(Max),
    P,
    E
>;

} // safe_numerics
} // boost

#endif // BOOST_NUMERIC_SAFE_RANGE_HPP

#ifndef BOOST_NUMERIC_SAFE_INTEGER_RANGE_HPP #define BOOST_NUMERIC_SAFE_INTEGER_RANGE_HPP // Copyright (c) 2012 Robert Ramey // // Distributed under the Boost Software License, Version 1.0. (See // accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) #include // intmax_t, uintmax_t #include "utility.hpp" #include "safe_integer.hpp" #include "native.hpp" #include "exception_policies.hpp" ///////////////////////////////////////////////////////////////// // higher level types implemented in terms of safe_base namespace boost { namespace safe_numerics { ///////////////////////////////////////////////////////////////// // safe_signed_range template < std::intmax_t Min, std::intmax_t Max, class P = native, class E = default_exception_policy > using safe_signed_range = safe_base< typename utility::signed_stored_type, static_cast >(Min), static_cast >(Max), P, E >; ///////////////////////////////////////////////////////////////// // safe_unsigned_range template < std::uintmax_t Min, std::uintmax_t Max, class P = native, class E = default_exception_policy > using safe_unsigned_range = safe_base< typename utility::unsigned_stored_type, static_cast >(Min), static_cast >(Max), P, E >; } // safe_numerics } // boost #endif // BOOST_NUMERIC_SAFE_RANGE_HPP