2021-11-06 03:18:43 +03:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <AK/Format.h>
|
|
|
|
#include <AK/Optional.h>
|
|
|
|
#include <AK/StringView.h>
|
2021-11-08 02:35:58 +03:00
|
|
|
#include <AK/Try.h>
|
2021-11-06 03:18:43 +03:00
|
|
|
|
|
|
|
#if defined(__serenity__) && defined(KERNEL)
|
|
|
|
# include <LibC/errno_numbers.h>
|
|
|
|
#else
|
|
|
|
# include <errno.h>
|
|
|
|
#endif
|
|
|
|
|
|
|
|
namespace AK {
|
|
|
|
|
|
|
|
class Error {
|
|
|
|
public:
|
|
|
|
static Error from_errno(int code) { return Error(code); }
|
|
|
|
static Error from_string_literal(StringView string_literal) { return Error(string_literal); }
|
|
|
|
|
|
|
|
bool is_errno() const { return m_code != 0; }
|
|
|
|
|
|
|
|
int code() const { return m_code; }
|
|
|
|
StringView string_literal() const { return m_string_literal; }
|
|
|
|
|
2021-11-07 03:30:35 +03:00
|
|
|
protected:
|
2021-11-06 03:18:43 +03:00
|
|
|
Error(int code)
|
|
|
|
: m_code(code)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2021-11-07 03:30:35 +03:00
|
|
|
private:
|
2021-11-06 03:18:43 +03:00
|
|
|
Error(StringView string_literal)
|
|
|
|
: m_string_literal(string_literal)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
int m_code { 0 };
|
|
|
|
StringView m_string_literal;
|
|
|
|
};
|
|
|
|
|
2021-11-07 03:30:35 +03:00
|
|
|
template<typename T, typename ErrorType = Error>
|
2021-11-06 03:18:43 +03:00
|
|
|
class [[nodiscard]] ErrorOr {
|
|
|
|
public:
|
|
|
|
ErrorOr(T const& value)
|
|
|
|
: m_value(value)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorOr(T&& value)
|
|
|
|
: m_value(move(value))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2021-11-07 00:16:50 +03:00
|
|
|
#ifdef __serenity__
|
|
|
|
ErrorOr(ErrnoCode code)
|
|
|
|
: m_error(Error::from_errno(code))
|
2021-11-06 03:18:43 +03:00
|
|
|
{
|
|
|
|
}
|
2021-11-07 00:16:50 +03:00
|
|
|
#endif
|
2021-11-06 03:18:43 +03:00
|
|
|
|
2021-11-07 03:30:35 +03:00
|
|
|
ErrorOr(ErrorType&& error)
|
2021-11-06 03:18:43 +03:00
|
|
|
: m_error(move(error))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorOr(ErrorOr&& other) = default;
|
|
|
|
ErrorOr(ErrorOr const& other) = default;
|
|
|
|
~ErrorOr() = default;
|
|
|
|
|
|
|
|
T& value() { return m_value.value(); }
|
|
|
|
Error& error() { return m_error.value(); }
|
|
|
|
|
|
|
|
bool is_error() const { return m_error.has_value(); }
|
|
|
|
|
|
|
|
T release_value() { return m_value.release_value(); }
|
2021-11-07 03:30:35 +03:00
|
|
|
ErrorType release_error() { return m_error.release_value(); }
|
2021-11-06 03:18:43 +03:00
|
|
|
|
2021-11-06 13:29:32 +03:00
|
|
|
T release_value_but_fixme_should_propagate_errors() { return release_value(); }
|
|
|
|
|
2021-11-06 03:18:43 +03:00
|
|
|
private:
|
|
|
|
Optional<T> m_value;
|
2021-11-07 03:30:35 +03:00
|
|
|
Optional<ErrorType> m_error;
|
2021-11-06 03:18:43 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
// Partial specialization for void value type
|
2021-11-07 03:30:35 +03:00
|
|
|
template<typename ErrorType>
|
|
|
|
class [[nodiscard]] ErrorOr<void, ErrorType> {
|
2021-11-06 03:18:43 +03:00
|
|
|
public:
|
2021-11-07 03:30:35 +03:00
|
|
|
ErrorOr(ErrorType error)
|
2021-11-06 03:18:43 +03:00
|
|
|
: m_error(move(error))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorOr() = default;
|
|
|
|
ErrorOr(ErrorOr&& other) = default;
|
|
|
|
ErrorOr(const ErrorOr& other) = default;
|
|
|
|
~ErrorOr() = default;
|
|
|
|
|
2021-11-07 03:30:35 +03:00
|
|
|
ErrorType& error() { return m_error.value(); }
|
2021-11-06 03:18:43 +03:00
|
|
|
bool is_error() const { return m_error.has_value(); }
|
2021-11-07 03:30:35 +03:00
|
|
|
ErrorType release_error() { return m_error.release_value(); }
|
|
|
|
void release_value() { }
|
2021-11-06 03:18:43 +03:00
|
|
|
|
|
|
|
private:
|
2021-11-07 03:30:35 +03:00
|
|
|
Optional<ErrorType> m_error;
|
2021-11-06 03:18:43 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct Formatter<Error> : Formatter<FormatString> {
|
|
|
|
void format(FormatBuilder& builder, Error const& error)
|
|
|
|
{
|
|
|
|
if (error.is_errno())
|
|
|
|
return Formatter<FormatString>::format(builder, "Error(errno={})", error.code());
|
|
|
|
return Formatter<FormatString>::format(builder, "Error({})", error.string_literal());
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-11-06 12:34:14 +03:00
|
|
|
using AK::Error;
|
2021-11-06 03:18:43 +03:00
|
|
|
using AK::ErrorOr;
|