Files
rippled/src/ripple/rpc/Status.h
Scott Schurr 118c25c0f0 Compile time check preflight returns no tec (RIPD-1624):
The six different ranges of TER codes are broken up into six
different enumerations.  A template class allows subsets of
these enumerations to be aggregated.  This technique allows
verification at compile time that no TEC codes are returned
before the signature is checked.

Conversion between TER instance and integer is provided by
named functions.  This makes accidental conversion almost
impossible and makes type abuse easier to spot in the code
base.
2018-05-15 11:28:50 -04:00

150 lines
4.2 KiB
C++

//------------------------------------------------------------------------------
/*
This file is part of rippled: https://github.com/ripple/rippled
Copyright (c) 2012, 2013 Ripple Labs Inc.
Permission to use, copy, modify, and/or distribute this software for any
purpose with or without fee is hereby granted, provided that the above
copyright notice and this permission notice appear in all copies.
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/
//==============================================================================
#ifndef RIPPLE_RPC_STATUS_H_INCLUDED
#define RIPPLE_RPC_STATUS_H_INCLUDED
#include <ripple/protocol/TER.h>
#include <ripple/protocol/ErrorCodes.h>
#include <cassert>
namespace ripple {
namespace RPC {
/** Status represents the results of an operation that might fail.
It wraps the legacy codes TER and error_code_i, providing both a uniform
interface and a way to attach additional information to existing status
returns.
A Status can also be used to fill a Json::Value with a JSON-RPC 2.0
error response: see http://www.jsonrpc.org/specification#error_object
*/
struct Status : public std::exception
{
public:
enum class Type {none, TER, error_code_i};
using Code = int;
using Strings = std::vector <std::string>;
static constexpr Code OK = 0;
Status () = default;
// The enable_if allows only integers (not enums). Prevents enum narrowing.
template <typename T,
typename = std::enable_if_t<std::is_integral<T>::value>>
Status (T code, Strings d = {})
: type_ (Type::none), code_ (code), messages_ (std::move (d))
{
}
Status (TER ter, Strings d = {})
: type_ (Type::TER), code_ (TERtoInt (ter)), messages_ (std::move (d))
{
}
Status (error_code_i e, Strings d = {})
: type_ (Type::error_code_i), code_ (e), messages_ (std::move (d))
{
}
Status (error_code_i e, std::string const& s)
: type_ (Type::error_code_i), code_ (e), messages_ ({s})
{
}
/* Returns a representation of the integer status Code as a string.
If the Status is OK, the result is an empty string.
*/
std::string codeString () const;
/** Returns true if the Status is *not* OK. */
operator bool() const
{
return code_ != OK;
}
/** Returns true if the Status is OK. */
bool operator !() const
{
return ! bool (*this);
}
/** Returns the Status as a TER.
This may only be called if type() == Type::TER. */
TER toTER () const
{
assert (type_ == Type::TER);
return TER::fromInt (code_);
}
/** Returns the Status as an error_code_i.
This may only be called if type() == Type::error_code_i. */
error_code_i toErrorCode() const
{
assert (type_ == Type::error_code_i);
return error_code_i (code_);
}
/** Apply the Status to a JsonObject
*/
template <class Object>
void inject (Object& object)
{
if (auto ec = toErrorCode())
{
if (messages_.empty())
inject_error (ec, object);
else
inject_error (ec, message(), object);
}
}
Strings const& messages() const
{
return messages_;
}
/** Return the first message, if any. */
std::string message() const;
Type type() const
{
return type_;
}
std::string toString() const;
/** Fill a Json::Value with an RPC 2.0 response.
If the Status is OK, fillJson has no effect.
Not currently used. */
void fillJson(Json::Value&);
private:
Type type_ = Type::none;
Code code_ = OK;
Strings messages_;
};
} // namespace RPC
} // ripple
#endif