mirror of
https://github.com/XRPLF/rippled.git
synced 2025-11-04 19:25:51 +00:00
- Added a new Invariant: `ValidPseudoAccounts` which checks that all pseudo-accounts behave consistently through creation and updates, and that no "real" accounts look like pseudo-accounts (which means they don't have a 0 sequence).
- `to_short_string(base_uint)`. Like `to_string`, but only returns the first 8 characters. (Similar to how a git commit ID can be abbreviated.) Used as a wrapped sink to prefix most transaction-related messages. More can be added later.
- `XRPL_ASSERT_PARTS`. Convenience wrapper for `XRPL_ASSERT`, which takes the `function` and `description` as separate parameters.
- `SField::sMD_PseudoAccount`. Metadata option for `SField` definitions to indicate that the field, if set in an `AccountRoot` indicates that account is a pseudo-account. Removes the need for hard-coded field lists all over the place. Added the flag to `AMMID` and `VaultID`.
- Added functionality to `SField` ctor to detect both code and name collisions using asserts. And require all SFields to have a name
- Convenience type aliases `STLedgerEntry::const_pointer` and `STLedgerEntry::const_ref`. (`SLE` is an alias to `STLedgerEntry`.)
- Generalized `feeunit.h` (`TaggedFee`) into `unit.h` (`ValueUnit`) and added new "BIPS"-related tags for future use. Also refactored the type restrictions to use Concepts.
- Restructured `transactions.macro` to do two big things
1. Include the `#include` directives for transactor header files directly in the macro file. Removes the need to update `applySteps.cpp` and the resulting conflicts.
2. Added a `privileges` parameter to the `TRANSACTION` macro, which specifies some of the operations a transaction is allowed to do. These `privileges` are enforced by invariant checks. Again, removed the need to update scattered lists of transaction types in various checks.
- Unit tests:
1. Moved more helper functions into `TestHelpers.h` and `.cpp`.
2. Cleaned up the namespaces to prevent / mitigate random collisions and ambiguous symbols, particularly in unity builds.
3. Generalized `Env::balance` to add support for `MPTIssue` and `Asset`.
4. Added a set of helper classes to simplify `Env` transaction parameter classes: `JTxField`, `JTxFieldWrapper`, and a bunch of classes derived or aliased from it. For an example of how awesome it is, check the changes `src/test/jtx/escrow.h` for how much simpler the definitions are for `finish_time`, `cancel_time`, `condition`, and `fulfillment`.
5. Generalized several of the amount-related helper classes to understand `Asset`s.
6. `env.balance` for an MPT issuer will return a negative number (or 0) for consistency with IOUs.
312 lines
7.3 KiB
C++
312 lines
7.3 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_PROTOCOL_XRPAMOUNT_H_INCLUDED
|
|
#define RIPPLE_PROTOCOL_XRPAMOUNT_H_INCLUDED
|
|
|
|
#include <xrpl/basics/Number.h>
|
|
#include <xrpl/basics/contract.h>
|
|
#include <xrpl/beast/utility/Zero.h>
|
|
#include <xrpl/json/json_value.h>
|
|
#include <xrpl/protocol/Units.h>
|
|
|
|
#include <boost/multiprecision/cpp_int.hpp>
|
|
#include <boost/operators.hpp>
|
|
|
|
#include <cstdint>
|
|
#include <optional>
|
|
#include <string>
|
|
#include <type_traits>
|
|
|
|
namespace ripple {
|
|
|
|
class XRPAmount : private boost::totally_ordered<XRPAmount>,
|
|
private boost::additive<XRPAmount>,
|
|
private boost::equality_comparable<XRPAmount, std::int64_t>,
|
|
private boost::additive<XRPAmount, std::int64_t>
|
|
{
|
|
public:
|
|
using unit_type = unit::dropTag;
|
|
using value_type = std::int64_t;
|
|
|
|
private:
|
|
value_type drops_;
|
|
|
|
public:
|
|
XRPAmount() = default;
|
|
constexpr XRPAmount(XRPAmount const& other) = default;
|
|
constexpr XRPAmount&
|
|
operator=(XRPAmount const& other) = default;
|
|
|
|
// Round to nearest, even on tie.
|
|
explicit XRPAmount(Number const& x) : XRPAmount(static_cast<value_type>(x))
|
|
{
|
|
}
|
|
|
|
constexpr XRPAmount(beast::Zero) : drops_(0)
|
|
{
|
|
}
|
|
|
|
constexpr XRPAmount&
|
|
operator=(beast::Zero)
|
|
{
|
|
drops_ = 0;
|
|
return *this;
|
|
}
|
|
|
|
constexpr explicit XRPAmount(value_type drops) : drops_(drops)
|
|
{
|
|
}
|
|
|
|
XRPAmount&
|
|
operator=(value_type drops)
|
|
{
|
|
drops_ = drops;
|
|
return *this;
|
|
}
|
|
|
|
constexpr XRPAmount
|
|
operator*(value_type const& rhs) const
|
|
{
|
|
return XRPAmount{drops_ * rhs};
|
|
}
|
|
|
|
friend constexpr XRPAmount
|
|
operator*(value_type lhs, XRPAmount const& rhs)
|
|
{
|
|
// multiplication is commutative
|
|
return rhs * lhs;
|
|
}
|
|
|
|
XRPAmount&
|
|
operator+=(XRPAmount const& other)
|
|
{
|
|
drops_ += other.drops();
|
|
return *this;
|
|
}
|
|
|
|
XRPAmount&
|
|
operator-=(XRPAmount const& other)
|
|
{
|
|
drops_ -= other.drops();
|
|
return *this;
|
|
}
|
|
|
|
XRPAmount&
|
|
operator+=(value_type const& rhs)
|
|
{
|
|
drops_ += rhs;
|
|
return *this;
|
|
}
|
|
|
|
XRPAmount&
|
|
operator-=(value_type const& rhs)
|
|
{
|
|
drops_ -= rhs;
|
|
return *this;
|
|
}
|
|
|
|
XRPAmount&
|
|
operator*=(value_type const& rhs)
|
|
{
|
|
drops_ *= rhs;
|
|
return *this;
|
|
}
|
|
|
|
XRPAmount
|
|
operator-() const
|
|
{
|
|
return XRPAmount{-drops_};
|
|
}
|
|
|
|
bool
|
|
operator==(XRPAmount const& other) const
|
|
{
|
|
return drops_ == other.drops_;
|
|
}
|
|
|
|
bool
|
|
operator==(value_type other) const
|
|
{
|
|
return drops_ == other;
|
|
}
|
|
|
|
bool
|
|
operator<(XRPAmount const& other) const
|
|
{
|
|
return drops_ < other.drops_;
|
|
}
|
|
|
|
/** Returns true if the amount is not zero */
|
|
explicit constexpr
|
|
operator bool() const noexcept
|
|
{
|
|
return drops_ != 0;
|
|
}
|
|
|
|
operator Number() const noexcept
|
|
{
|
|
return drops();
|
|
}
|
|
|
|
/** Return the sign of the amount */
|
|
constexpr int
|
|
signum() const noexcept
|
|
{
|
|
return (drops_ < 0) ? -1 : (drops_ ? 1 : 0);
|
|
}
|
|
|
|
/** Returns the number of drops */
|
|
constexpr value_type
|
|
drops() const
|
|
{
|
|
return drops_;
|
|
}
|
|
|
|
constexpr double
|
|
decimalXRP() const;
|
|
|
|
template <class Dest>
|
|
std::optional<Dest>
|
|
dropsAs() const
|
|
{
|
|
if ((drops_ > std::numeric_limits<Dest>::max()) ||
|
|
(!std::numeric_limits<Dest>::is_signed && drops_ < 0) ||
|
|
(std::numeric_limits<Dest>::is_signed &&
|
|
drops_ < std::numeric_limits<Dest>::lowest()))
|
|
{
|
|
return std::nullopt;
|
|
}
|
|
return static_cast<Dest>(drops_);
|
|
}
|
|
|
|
template <class Dest>
|
|
Dest
|
|
dropsAs(Dest defaultValue) const
|
|
{
|
|
return dropsAs<Dest>().value_or(defaultValue);
|
|
}
|
|
|
|
template <class Dest>
|
|
Dest
|
|
dropsAs(XRPAmount defaultValue) const
|
|
{
|
|
return dropsAs<Dest>().value_or(defaultValue.drops());
|
|
}
|
|
|
|
/* Clips a 64-bit value to a 32-bit JSON number. It is only used
|
|
* in contexts that don't expect the value to ever approach
|
|
* the 32-bit limits (i.e. fees and reserves).
|
|
*/
|
|
Json::Value
|
|
jsonClipped() const
|
|
{
|
|
static_assert(
|
|
std::is_signed_v<value_type> && std::is_integral_v<value_type>,
|
|
"Expected XRPAmount to be a signed integral type");
|
|
|
|
constexpr auto min = std::numeric_limits<Json::Int>::min();
|
|
constexpr auto max = std::numeric_limits<Json::Int>::max();
|
|
|
|
if (drops_ < min)
|
|
return min;
|
|
if (drops_ > max)
|
|
return max;
|
|
return static_cast<Json::Int>(drops_);
|
|
}
|
|
|
|
/** Returns the underlying value. Code SHOULD NOT call this
|
|
function unless the type has been abstracted away,
|
|
e.g. in a templated function.
|
|
*/
|
|
constexpr value_type
|
|
value() const
|
|
{
|
|
return drops_;
|
|
}
|
|
|
|
friend std::istream&
|
|
operator>>(std::istream& s, XRPAmount& val)
|
|
{
|
|
s >> val.drops_;
|
|
return s;
|
|
}
|
|
|
|
static XRPAmount
|
|
minPositiveAmount()
|
|
{
|
|
return XRPAmount{1};
|
|
}
|
|
};
|
|
|
|
/** Number of drops per 1 XRP */
|
|
constexpr XRPAmount DROPS_PER_XRP{1'000'000};
|
|
|
|
constexpr double
|
|
XRPAmount::decimalXRP() const
|
|
{
|
|
return static_cast<double>(drops_) / DROPS_PER_XRP.drops();
|
|
}
|
|
|
|
// Output XRPAmount as just the drops value.
|
|
template <class Char, class Traits>
|
|
std::basic_ostream<Char, Traits>&
|
|
operator<<(std::basic_ostream<Char, Traits>& os, XRPAmount const& q)
|
|
{
|
|
return os << q.drops();
|
|
}
|
|
|
|
inline std::string
|
|
to_string(XRPAmount const& amount)
|
|
{
|
|
return std::to_string(amount.drops());
|
|
}
|
|
|
|
inline XRPAmount
|
|
mulRatio(
|
|
XRPAmount const& amt,
|
|
std::uint32_t num,
|
|
std::uint32_t den,
|
|
bool roundUp)
|
|
{
|
|
using namespace boost::multiprecision;
|
|
|
|
if (!den)
|
|
Throw<std::runtime_error>("division by zero");
|
|
|
|
int128_t const amt128(amt.drops());
|
|
auto const neg = amt.drops() < 0;
|
|
auto const m = amt128 * num;
|
|
auto r = m / den;
|
|
if (m % den)
|
|
{
|
|
if (!neg && roundUp)
|
|
r += 1;
|
|
if (neg && !roundUp)
|
|
r -= 1;
|
|
}
|
|
if (r > std::numeric_limits<XRPAmount::value_type>::max())
|
|
Throw<std::overflow_error>("XRP mulRatio overflow");
|
|
return XRPAmount(r.convert_to<XRPAmount::value_type>());
|
|
}
|
|
|
|
} // namespace ripple
|
|
|
|
#endif // RIPPLE_BASICS_XRPAMOUNT_H_INCLUDED
|