enforce.hpp

Go to the documentation of this file.

/*
    Copyright (C) 2014-2016 Leosac

    This file is part of Leosac.

    Leosac is free software: you can redistribute it and/or modify
    it under the terms of the GNU Affero General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    Leosac is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    GNU Affero General Public License for more details.

    You should have received a copy of the GNU Affero General Public License
    along with this program. If not, see <http://www.gnu.org/licenses/>.
*/

#pragma once

#include "exception/InvalidArgument.hpp"
#include "exception/leosacexception.hpp"
#include <utility>

namespace details
{

template <typename E, typename Assessable, typename... Args>
inline auto enforce(Assessable &&value, Args &&... args)
{
    if (!value)
        throw E(std::forward<Args>(args)...);
    return std::forward<Assessable>(value);
}
}

#define ENFORCE(cond, ex_type, ...) ::details::enforce<ex_type>((cond), __VA_ARGS__)

#define LEOSAC_ENFORCE(cond, ...)                                                   \
    ::details::enforce<LEOSACException>((cond), __VA_ARGS__)

#define LEOSAC_ENFORCE_ARGUMENT(cond, var, msg)                                     \
    ::details::enforce<InvalidArgument>((cond), #var, var, msg, #cond)