ra-ra/examples/throw.cc

// -*- mode: c++; coding: utf-8 -*-
/// @file throw.cc
/// @brief Show how to replace ra:: asserts with custom ones.

// (c) Daniel Llorens - 2019
// This library is free software; you can redistribute it and/or modify it under
// the terms of the GNU Lesser General Public License as published by the Free
// Software Foundation; either version 3 of the License, or (at your option) any
// later version.

#include <exception>
#include <string>
#include "ra/format.hh"

struct ra_error: public std::exception
{
    std::string s;
    template <class ... A> ra_error(A && ... a): s(ra::format(std::forward<A>(a) ...)) {}
    virtual char const * what() const throw ()
    {
        return s.c_str();
    }
};

// RA_ASSERT has to be defined before any "ra/" header to override the default definition of RA_ASSERT ("ra/format.hh" is an independent header and doesn't count).

#ifdef RA_ASSERT
#error RA_ASSERT is already defined!
#endif
#define RA_ASSERT( cond, ... )                                          \
    { if (!( cond )) throw ra_error("ra:: assert [" STRINGIZE(cond) "]" __VA_OPT__(,) __VA_ARGS__); }

#include "ra/ra.hh"
#include "ra/test.hh"
#include <iostream>

using std::cout, std::endl, ra::TestRecorder;

int main()
{
    TestRecorder tr(cout);
    bool yes = false;
    ra::Big<int> a({2, 3}, 9);
    std::string msg;
    try {
        cout << a(2, 3) << endl;
    } catch (ra_error & e) {
        msg = e.what();
        yes = true;
    }
    tr.info(msg).test(yes);
    return tr.summary();
}