class.hpp

Go to the documentation of this file.

#ifndef SANISIZER_CLASS_HPP
#define SANISIZER_CLASS_HPP
 
#include <type_traits>
 
#include "cast.hpp"
#include "attest.hpp"
 
namespace sanisizer {
 
template<typename Value_>
class Cast {
    static_assert(is_integral_or_Attestation<Value_>::value);
    Value_ my_x;
 
public:
    constexpr Cast(Value_ x) : my_x(x) {}
 
    template<typename Output_>
    constexpr operator Output_() const {
        return cast<Output_>(my_x);
    }
};
 
template<typename Integer_>
class Exact {
    static_assert(std::is_integral<Integer_>::value);
    Integer_ my_x;
 
public:
    constexpr Exact(Integer_ x) : my_x(x) {}
 
    constexpr operator Integer_() const {
        return my_x;
    }
 
    template<typename Output_>
    constexpr operator Output_() const = delete;
};
 
}
 
#endif