blob: f7809d9a7d331be6b6338a6f4cc679549e17dc1e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#include <stdexcept>
#include <iostream>
#include <sstream>
#include <boost/safe_numerics/safe_integer.hpp>
#include <boost/safe_numerics/safe_integer_range.hpp>
#include <boost/safe_numerics/native.hpp>
#include <boost/safe_numerics/exception.hpp>
#include "safe_format.hpp" // prints out range and value of any type
using namespace boost::safe_numerics;
using safe_t = safe_signed_range<
-24,
82,
native,
loose_trap_policy
>;
// define variables used for input
using input_safe_t = safe_signed_range<
-24,
82,
native, // we don't need automatic in this case
loose_exception_policy // assignment of out of range value should throw
>;
// function arguments can never be outside of limits
auto f(const safe_t & x, const safe_t & y){
auto z = x + y; // we know that this cannot fail
std::cout << "z = " << safe_format(z) << std::endl;
std::cout << "(x + y) = " << safe_format(x + y) << std::endl;
std::cout << "(x - y) = " << safe_format(x - y) << std::endl;
return z;
}
bool test(const char * test_string){
std::istringstream sin(test_string);
input_safe_t x, y;
try{
std::cout << "type in values in format x y:" << test_string << std::endl;
sin >> x >> y; // read varibles, maybe throw exception
}
catch(const std::exception & e){
// none of the above should trap. Mark failure if they do
std::cout << e.what() << '\n' << "input failure" << std::endl;
return false;
}
std::cout << "x" << safe_format(x) << std::endl;
std::cout << "y" << safe_format(y) << std::endl;
std::cout << safe_format(f(x, y)) << std::endl;
std::cout << "input success" << std::endl;
return true;
}
int main(){
std::cout << "example 84:\n";
bool result =
! test("123 125")
&& test("0 0")
&& test("-24 82")
;
std::cout << (result ? "Success!" : "Failure") << std::endl;
return result ? EXIT_SUCCESS : EXIT_FAILURE;
}
|
