rippled
CancelCheck.cpp
1 //------------------------------------------------------------------------------
2 /*
3  This file is part of rippled: https://github.com/ripple/rippled
4  Copyright (c) 2017 Ripple Labs Inc.
5 
6  Permission to use, copy, modify, and/or distribute this software for any
7  purpose with or without fee is hereby granted, provided that the above
8  copyright notice and this permission notice appear in all copies.
9 
10  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
11  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
12  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
13  ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
14  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
15  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
16  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
17 */
18 //==============================================================================
19 
20 #include <ripple/app/tx/impl/CancelCheck.h>
21 
22 #include <ripple/app/ledger/Ledger.h>
23 #include <ripple/basics/Log.h>
24 #include <ripple/ledger/ApplyView.h>
25 #include <ripple/protocol/Feature.h>
26 #include <ripple/protocol/Indexes.h>
27 #include <ripple/protocol/STAccount.h>
28 #include <ripple/protocol/TER.h>
29 #include <ripple/protocol/TxFlags.h>
30 
31 namespace ripple {
32 
33 NotTEC
35 {
36  if (!ctx.rules.enabled(featureChecks))
37  return temDISABLED;
38 
39  NotTEC const ret{preflight1(ctx)};
40  if (!isTesSuccess(ret))
41  return ret;
42 
43  if (ctx.tx.getFlags() & tfUniversalMask)
44  {
45  // There are no flags (other than universal) for CreateCheck yet.
46  JLOG(ctx.j.warn()) << "Malformed transaction: Invalid flags set.";
47  return temINVALID_FLAG;
48  }
49 
50  return preflight2(ctx);
51 }
52 
53 TER
55 {
56  auto const sleCheck = ctx.view.read(keylet::check(ctx.tx[sfCheckID]));
57  if (!sleCheck)
58  {
59  JLOG(ctx.j.warn()) << "Check does not exist.";
60  return tecNO_ENTRY;
61  }
62 
63  using duration = NetClock::duration;
64  using timepoint = NetClock::time_point;
65  auto const optExpiry = (*sleCheck)[~sfExpiration];
66 
67  // Expiration is defined in terms of the close time of the parent
68  // ledger, because we definitively know the time that it closed but
69  // we do not know the closing time of the ledger that is under
70  // construction.
71  if (!optExpiry ||
72  (ctx.view.parentCloseTime() < timepoint{duration{*optExpiry}}))
73  {
74  // If the check is not yet expired, then only the creator or the
75  // destination may cancel the check.
76  AccountID const acctId{ctx.tx[sfAccount]};
77  if (acctId != (*sleCheck)[sfAccount] &&
78  acctId != (*sleCheck)[sfDestination])
79  {
80  JLOG(ctx.j.warn()) << "Check is not expired and canceler is "
81  "neither check source nor destination.";
82  return tecNO_PERMISSION;
83  }
84  }
85  return tesSUCCESS;
86 }
87 
88 TER
89 CancelCheck::doApply()
90 {
91  auto const sleCheck = view().peek(keylet::check(ctx_.tx[sfCheckID]));
92  if (!sleCheck)
93  {
94  // Error should have been caught in preclaim.
95  JLOG(j_.warn()) << "Check does not exist.";
96  return tecNO_ENTRY;
97  }
98 
99  AccountID const srcId{sleCheck->getAccountID(sfAccount)};
100  AccountID const dstId{sleCheck->getAccountID(sfDestination)};
101  auto viewJ = ctx_.app.journal("View");
102 
103  // If the check is not written to self (and it shouldn't be), remove the
104  // check from the destination account root.
105  if (srcId != dstId)
106  {
107  std::uint64_t const page{(*sleCheck)[sfDestinationNode]};
108  if (!view().dirRemove(
109  keylet::ownerDir(dstId), page, sleCheck->key(), true))
110  {
111  JLOG(j_.fatal()) << "Unable to delete check from destination.";
112  return tefBAD_LEDGER;
113  }
114  }
115  {
116  std::uint64_t const page{(*sleCheck)[sfOwnerNode]};
117  if (!view().dirRemove(
118  keylet::ownerDir(srcId), page, sleCheck->key(), true))
119  {
120  JLOG(j_.fatal()) << "Unable to delete check from owner.";
121  return tefBAD_LEDGER;
122  }
123  }
124 
125  // If we succeeded, update the check owner's reserve.
126  auto const sleSrc = view().peek(keylet::account(srcId));
127  adjustOwnerCount(view(), sleSrc, -1, viewJ);
128 
129  // Remove check from ledger.
130  view().erase(sleCheck);
131  return tesSUCCESS;
132 }
133 
134 } // namespace ripple
beast::Journal::fatal
Stream fatal() const
Definition: Journal.h:339
ripple::CancelCheck::preclaim
static TER preclaim(PreclaimContext const &ctx)
Definition: CancelCheck.cpp:54
ripple::preflight2
NotTEC preflight2(PreflightContext const &ctx)
Checks whether the signature appears valid.
Definition: Transactor.cpp:130
ripple::Rules::enabled
bool enabled(uint256 const &feature) const
Returns true if a feature is enabled.
Definition: Rules.cpp:94
ripple::PreclaimContext::view
ReadView const & view
Definition: Transactor.h:56
ripple::sfOwnerNode
const SF_UINT64 sfOwnerNode
ripple::PreclaimContext::j
const beast::Journal j
Definition: Transactor.h:60
ripple::sfDestination
const SF_ACCOUNT sfDestination
ripple::isTesSuccess
bool isTesSuccess(TER x)
Definition: TER.h:597
ripple::sfCheckID
const SF_UINT256 sfCheckID
beast::Journal::warn
Stream warn() const
Definition: Journal.h:327
ripple::ReadView::parentCloseTime
NetClock::time_point parentCloseTime() const
Returns the close time of the previous ledger.
Definition: ReadView.h:186
ripple::PreflightContext::j
const beast::Journal j
Definition: Transactor.h:38
ripple::preflight1
NotTEC preflight1(PreflightContext const &ctx)
Performs early sanity checks on the account and fee fields.
Definition: Transactor.cpp:78
ripple::sfExpiration
const SF_UINT32 sfExpiration
ripple::Keylet::key
uint256 key
Definition: Keylet.h:40
ripple::base_uint
Integers of any length that is a multiple of 32-bits.
Definition: base_uint.h:82
ripple::temINVALID_FLAG
@ temINVALID_FLAG
Definition: TER.h:109
ripple::tefBAD_LEDGER
@ tefBAD_LEDGER
Definition: TER.h:152
ripple::adjustOwnerCount
void adjustOwnerCount(ApplyView &view, std::shared_ptr< SLE > const &sle, std::int32_t amount, beast::Journal j)
Adjust the owner count up or down.
Definition: View.cpp:713
ripple::TERSubset
Definition: TER.h:340
ripple::TER
TERSubset< CanCvtToTER > TER
Definition: TER.h:568
ripple::sfDestinationNode
const SF_UINT64 sfDestinationNode
ripple::STObject::getFlags
std::uint32_t getFlags() const
Definition: STObject.cpp:481
std::uint64_t
ripple::featureChecks
const uint256 featureChecks
ripple::ReadView::read
virtual std::shared_ptr< SLE const > read(Keylet const &k) const =0
Return the state item associated with a key.
ripple::PreclaimContext::tx
STTx const & tx
Definition: Transactor.h:58
ripple::PreclaimContext
State information when determining if a tx is likely to claim a fee.
Definition: Transactor.h:52
ripple
Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.
Definition: RCLCensorshipDetector.h:29
ripple::temDISABLED
@ temDISABLED
Definition: TER.h:112
ripple::tecNO_PERMISSION
@ tecNO_PERMISSION
Definition: TER.h:272
ripple::sfAccount
const SF_ACCOUNT sfAccount
ripple::tecNO_ENTRY
@ tecNO_ENTRY
Definition: TER.h:273
ripple::NetClock::duration
std::chrono::duration< rep, period > duration
Definition: chrono.h:55
ripple::PreflightContext::tx
STTx const & tx
Definition: Transactor.h:35
ripple::PreflightContext
State information when preflighting a tx.
Definition: Transactor.h:31
ripple::keylet::check
Keylet check(AccountID const &id, std::uint32_t seq) noexcept
A Check.
Definition: Indexes.cpp:281
ripple::PreflightContext::rules
const Rules rules
Definition: Transactor.h:36
ripple::tfUniversalMask
constexpr std::uint32_t tfUniversalMask
Definition: TxFlags.h:60
ripple::NetClock::time_point
std::chrono::time_point< NetClock > time_point
Definition: chrono.h:56
ripple::tesSUCCESS
@ tesSUCCESS
Definition: TER.h:222
ripple::CancelCheck::preflight
static NotTEC preflight(PreflightContext const &ctx)
Definition: CancelCheck.cpp:34
ripple::NotTEC
TERSubset< CanCvtToNotTEC > NotTEC
Definition: TER.h:528