error_types.hpp

Go to the documentation of this file.

#pragma once
 
#include <asmgrader/common/expected.hpp>
#include <asmgrader/common/formatters/macros.hpp>
 
#include <boost/preprocessor/cat.hpp>
 
namespace asmgrader {
 
// NOLINTNEXTLINE
enum class ErrorKind {
    TimedOut,         
    UnresolvedSymbol, 
    UnexpectedReturn, 
    BadArgument,      
    SyscallFailure,   
    SyscallPredSat,   
 
    UnknownError, 
 
    MaxErrorNum // Not a proper error; used to determine the number of errors
};
 
template <typename T>
using Result = Expected<T, ErrorKind>;
 
} // namespace asmgrader
 
FMT_SERIALIZE_ENUM(::asmgrader::ErrorKind, TimedOut, UnresolvedSymbol, UnexpectedReturn, BadArgument, SyscallPredSat,
                   UnknownError, SyscallFailure, MaxErrorNum);
 
// NOLINTBEGIN(bugprone-macro-parentheses)
#define TRYE_IMPL(val, e, ident)                                                                                       \
    __extension__({                                                                                                    \
        const auto& ident = val;                                                                                       \
        if (!ident.has_value()) {                                                                                      \
            using enum ErrorKind;                                                                                      \
            return e;                                                                                                  \
        }                                                                                                              \
        ident.value();                                                                                                 \
    })
 
#define TRY_IMPL(val, ident) TRYE_IMPL(val, ident.error(), ident)
// NOLINTEND(bugprone-macro-parentheses)
 
#define TRYE(val, e) TRYE_IMPL(val, e, BOOST_PP_CAT(errref_uniq__, __COUNTER__))
 
#define TRY(val) TRY_IMPL(val, BOOST_PP_CAT(errrefe_uniq__, __COUNTER__))