ripple::Ledger Class Reference

Holds a ledger. More...

#include <Ledger.h>

Inheritance diagram for ripple::Ledger:

Collaboration diagram for ripple::Ledger:

Classes
class	sles_iter_impl
class	txs_iter_impl

Public Types
using	digest_type = uint256
using	tx_type = std::pair< std::shared_ptr< STTx const >, std::shared_ptr< STObject const > >
using	key_type = uint256
using	mapped_type = std::shared_ptr< SLE const >

Public Member Functions
	Ledger (Ledger const &)=delete
Ledger &	operator= (Ledger const &)=delete
	Ledger (Ledger &&)=delete
Ledger &	operator= (Ledger &&)=delete
	Ledger (create_genesis_t, Config const &config, std::vector< uint256 > const &amendments, Family &family)
	Create the Genesis ledger.
	Ledger (LedgerInfo const &info, Config const &config, Family &family)
	Ledger (LedgerInfo const &info, bool &loaded, bool acquire, Config const &config, Family &family, beast::Journal j)
	Used for ledgers loaded from JSON files.
	Ledger (Ledger const &previous, NetClock::time_point closeTime)
	Create a new ledger following a previous ledger.
	Ledger (std::uint32_t ledgerSeq, NetClock::time_point closeTime, Config const &config, Family &family)
	~Ledger ()=default
bool	open () const override
	Returns true if this reflects an open ledger.
LedgerInfo const &	info () const override
	Returns information about the ledger.
void	setLedgerInfo (LedgerInfo const &info)
Fees const &	fees () const override
	Returns the fees for the base ledger.
Rules const &	rules () const override
	Returns the tx processing rules.
bool	exists (Keylet const &k) const override
	Determine if a state item exists.
bool	exists (uint256 const &key) const
std::optional< uint256 >	succ (uint256 const &key, std::optional< uint256 > const &last=std::nullopt) const override
std::shared_ptr< SLE const >	read (Keylet const &k) const override
	Return the state item associated with a key.
std::unique_ptr< sles_type::iter_base >	slesBegin () const override
std::unique_ptr< sles_type::iter_base >	slesEnd () const override
std::unique_ptr< sles_type::iter_base >	slesUpperBound (uint256 const &key) const override
std::unique_ptr< txs_type::iter_base >	txsBegin () const override
std::unique_ptr< txs_type::iter_base >	txsEnd () const override
bool	txExists (uint256 const &key) const override
tx_type	txRead (key_type const &key) const override
	Read a transaction from the tx map.
std::optional< digest_type >	digest (key_type const &key) const override
	Return the digest associated with the key.
void	rawErase (std::shared_ptr< SLE > const &sle) override
	Delete an existing state item.
void	rawInsert (std::shared_ptr< SLE > const &sle) override
	Unconditionally insert a state item.
void	rawErase (uint256 const &key)
void	rawReplace (std::shared_ptr< SLE > const &sle) override
	Unconditionally replace a state item.
void	rawDestroyXRP (XRPAmount const &fee) override
	Destroy XRP.
void	rawTxInsert (uint256 const &key, std::shared_ptr< Serializer const > const &txn, std::shared_ptr< Serializer const > const &metaData) override
uint256	rawTxInsertWithHash (uint256 const &key, std::shared_ptr< Serializer const > const &txn, std::shared_ptr< Serializer const > const &metaData)
void	setValidated () const
void	setAccepted (NetClock::time_point closeTime, NetClock::duration closeResolution, bool correctCloseTime)
void	setImmutable (bool rehash=true)
bool	isImmutable () const
void	setFull () const
void	setTotalDrops (std::uint64_t totDrops)
SHAMap const &	stateMap () const
SHAMap &	stateMap ()
SHAMap const &	txMap () const
SHAMap &	txMap ()
bool	addSLE (SLE const &sle)
void	updateSkipList ()
bool	walkLedger (beast::Journal j, bool parallel=false) const
bool	assertSensible (beast::Journal ledgerJ) const
void	invariants () const
void	unshare () const
hash_set< PublicKey >	negativeUNL () const
	get Negative UNL validators' master public keys
std::optional< PublicKey >	validatorToDisable () const
	get the to be disabled validator's master public key if any
std::optional< PublicKey >	validatorToReEnable () const
	get the to be re-enabled validator's master public key if any
void	updateNegativeUNL ()
	update the Negative UNL ledger component.
bool	isFlagLedger () const
	Returns true if the ledger is a flag ledger.
bool	isVotingLedger () const
	Returns true if the ledger directly precedes a flag ledger.
std::shared_ptr< SLE >	peek (Keylet const &k) const
T	shared_from_this (T... args)
T	weak_from_this (T... args)
NetClock::time_point	parentCloseTime () const
	Returns the close time of the previous ledger.
LedgerIndex	seq () const
	Returns the sequence number of the base ledger.
virtual std::optional< key_type >	succ (key_type const &key, std::optional< key_type > const &last=std::nullopt) const =0
	Return the key of the next state item.
virtual STAmount	balanceHook (AccountID const &account, AccountID const &issuer, STAmount const &amount) const
virtual std::uint32_t	ownerCountHook (AccountID const &account, std::uint32_t count) const
virtual std::unique_ptr< sles_type::iter_base >	slesUpperBound (key_type const &key) const =0
virtual bool	txExists (key_type const &key) const =0
	Returns true if a tx exists in the tx map.
virtual void	rawTxInsert (ReadView::key_type const &key, std::shared_ptr< Serializer const > const &txn, std::shared_ptr< Serializer const > const &metaData)=0
	Add a transaction to the tx map.

Public Attributes
sles_type	sles
	Iterable range of ledger state items.
txs_type	txs

Private Member Functions
bool	setup ()
void	defaultFees (Config const &config)

Static Private Member Functions
static auto &	getCounter () noexcept

Private Attributes
bool	mImmutable
SHAMap	txMap_
SHAMap	stateMap_
std::mutex	mutex_
Fees	fees_
Rules	rules_
LedgerInfo	info_
beast::Journal	j_

Detailed Description

Holds a ledger.

The ledger is composed of two SHAMaps. The state map holds all of the ledger entries such as account roots and order books. The tx map holds all of the transactions and associated metadata that made it into that particular ledger. Most of the operations on a ledger are concerned with the state map.

This can hold just the header, a partial set of data, or the entire set of data. It all depends on what is in the corresponding SHAMap entry. Various functions are provided to populate or depopulate the caches that the object holds references to.

Ledgers are constructed as either mutable or immutable.

1) If you are the sole owner of a mutable ledger, you can do whatever you want with no need for locks.

2) If you have an immutable ledger, you cannot ever change it, so no need for locks.

3) Mutable ledgers cannot be shared.

Note

Presented to clients as ReadView

Calls virtuals in the constructor, so marked as final

Definition at line 57 of file Ledger.h.

Member Typedef Documentation

digest_type

using ripple::DigestAwareReadView::digest_type = uint256

inherited

Definition at line 238 of file ReadView.h.

tx_type

using ripple::ReadView::tx_type = std::pair<std::shared_ptr<STTx const>, std::shared_ptr<STObject const> >

inherited

Definition at line 34 of file ReadView.h.

key_type

using ripple::ReadView::key_type = uint256

inherited

Definition at line 37 of file ReadView.h.

mapped_type

using ripple::ReadView::mapped_type = std::shared_ptr<SLE const>

inherited

Definition at line 39 of file ReadView.h.

Constructor & Destructor Documentation

Ledger() [1/7]

ripple::Ledger::Ledger ( Ledger const &  )

delete

Ledger() [2/7]

ripple::Ledger::Ledger ( Ledger &&  )

delete

Ledger() [3/7]

ripple::Ledger::Ledger	(	create_genesis_t	,
		Config const &	config,
		std::vector< uint256 > const &	amendments,
		Family &	family
	)

Create the Genesis ledger.

The Genesis ledger contains a single account whose AccountID is generated with a Generator using the seed computed from the string "masterpassphrase" and ordinal zero.

The account has an XRP balance equal to the total amount of XRP in the system. No more XRP than the amount which starts in this account can ever exist, with amounts used to pay fees being destroyed.

Amendments specified are enabled in the genesis ledger

Definition at line 149 of file Ledger.cpp.

Ledger() [4/7]

ripple::Ledger::Ledger	(	LedgerInfo const &	info,
		Config const &	config,
		Family &	family
	)

Definition at line 288 of file Ledger.cpp.

Ledger() [5/7]

ripple::Ledger::Ledger	(	LedgerInfo const &	info,
		bool &	loaded,
		bool	acquire,
		Config const &	config,
		Family &	family,
		beast::Journal	j
	)

Used for ledgers loaded from JSON files.

Parameters

acquire

If true, acquires the ledger if not found locally

Definition at line 212 of file Ledger.cpp.

Ledger() [6/7]

ripple::Ledger::Ledger	(	Ledger const &	previous,
		NetClock::time_point	closeTime
	)

Create a new ledger following a previous ledger.

The ledger will have the sequence number that follows previous, and have parentCloseTime == previous.closeTime.

Definition at line 258 of file Ledger.cpp.

Ledger() [7/7]

ripple::Ledger::Ledger	(	std::uint32_t	ledgerSeq,
		NetClock::time_point	closeTime,
		Config const &	config,
		Family &	family
	)

Definition at line 299 of file Ledger.cpp.

~Ledger()

ripple::Ledger::~Ledger ( )

default

Member Function Documentation

operator=() [1/2]

Ledger & ripple::Ledger::operator= ( Ledger const &  )

delete

operator=() [2/2]

Ledger & ripple::Ledger::operator= ( Ledger &&  )

delete

open()

bool ripple::Ledger::open ( ) const

overridevirtual

Returns true if this reflects an open ledger.

Implements ripple::ReadView.

Definition at line 127 of file Ledger.h.

info()

LedgerInfo const & ripple::Ledger::info ( ) const

overridevirtual

Returns information about the ledger.

Implements ripple::ReadView.

Definition at line 133 of file Ledger.h.

setLedgerInfo()

void ripple::Ledger::setLedgerInfo

(

LedgerInfo const &

info

)

Definition at line 139 of file Ledger.h.

fees()

Fees const & ripple::Ledger::fees ( ) const

overridevirtual

Returns the fees for the base ledger.

Implements ripple::ReadView.

Definition at line 145 of file Ledger.h.

rules()

Rules const & ripple::Ledger::rules ( ) const

overridevirtual

Returns the tx processing rules.

Implements ripple::ReadView.

Definition at line 151 of file Ledger.h.

exists() [1/2]

bool ripple::Ledger::exists ( Keylet const &  k ) const

overridevirtual

Determine if a state item exists.

Note

This can be more efficient than calling read.

Returns

true if a SLE is associated with the specified key.

Implements ripple::ReadView.

Definition at line 389 of file Ledger.cpp.

exists() [2/2]

bool ripple::Ledger::exists

(

uint256 const &

key

)

const

Definition at line 396 of file Ledger.cpp.

succ() [1/2]

std::optional< uint256 > ripple::Ledger::succ ( uint256 const &  key, std::optional< uint256 > const &  last = std::nullopt  ) const

override

Definition at line 402 of file Ledger.cpp.

read()

std::shared_ptr< SLE const > ripple::Ledger::read ( Keylet const &  k ) const

overridevirtual

Return the state item associated with a key.

Effects: If the key exists, gives the caller ownership of the non-modifiable corresponding SLE.

Note

While the returned SLE is const from the perspective of the caller, it can be changed by other callers through raw operations.

Returns

nullptr if the key is not present or if the type does not match.

Implements ripple::ReadView.

Definition at line 413 of file Ledger.cpp.

slesBegin()

auto ripple::Ledger::slesBegin ( ) const

overridevirtual

Implements ripple::ReadView.

Definition at line 434 of file Ledger.cpp.

slesEnd()

auto ripple::Ledger::slesEnd ( ) const

overridevirtual

Implements ripple::ReadView.

Definition at line 440 of file Ledger.cpp.

slesUpperBound() [1/2]

auto ripple::Ledger::slesUpperBound ( uint256 const &  key ) const

override

Definition at line 446 of file Ledger.cpp.

txsBegin()

auto ripple::Ledger::txsBegin ( ) const

overridevirtual

Implements ripple::ReadView.

Definition at line 453 of file Ledger.cpp.

txsEnd()

auto ripple::Ledger::txsEnd ( ) const

overridevirtual

Implements ripple::ReadView.

Definition at line 459 of file Ledger.cpp.

txExists() [1/2]

bool ripple::Ledger::txExists ( uint256 const &  key ) const

override

Definition at line 465 of file Ledger.cpp.

txRead()

auto ripple::Ledger::txRead ( key_type const &  key ) const

overridevirtual

Read a transaction from the tx map.

If the view represents an open ledger, the metadata object will be empty.

Returns

A pair of nullptr if the key is not found in the tx map.

Implements ripple::ReadView.

Definition at line 471 of file Ledger.cpp.

digest()

auto ripple::Ledger::digest ( key_type const &  key ) const

overridevirtual

Return the digest associated with the key.

Returns

std::nullopt if the item does not exist.

Implements ripple::DigestAwareReadView.

Definition at line 485 of file Ledger.cpp.

rawErase() [1/2]

void ripple::Ledger::rawErase ( std::shared_ptr< SLE > const &  sle )

overridevirtual

Delete an existing state item.

The SLE is provided so the implementation can calculate metadata.

Implements ripple::RawView.

Definition at line 498 of file Ledger.cpp.

rawInsert()

void ripple::Ledger::rawInsert ( std::shared_ptr< SLE > const &  sle )

overridevirtual

Unconditionally insert a state item.

Requirements: The key must not already exist.

Effects:

The key is associated with the SLE.

Note

The key is taken from the SLE

Implements ripple::RawView.

Definition at line 512 of file Ledger.cpp.

rawErase() [2/2]

void ripple::Ledger::rawErase

(

uint256 const &

key

)

Definition at line 505 of file Ledger.cpp.

rawReplace()

void ripple::Ledger::rawReplace ( std::shared_ptr< SLE > const &  sle )

overridevirtual

Unconditionally replace a state item.

Requirements:

The key must exist.

Effects:

The key is associated with the SLE.

Note

The key is taken from the SLE

Implements ripple::RawView.

Definition at line 523 of file Ledger.cpp.

rawDestroyXRP()

void ripple::Ledger::rawDestroyXRP ( XRPAmount const &  fee )

overridevirtual

Destroy XRP.

This is used to pay for transaction fees.

Implements ripple::RawView.

Definition at line 214 of file Ledger.h.

rawTxInsert() [1/2]

void ripple::Ledger::rawTxInsert ( uint256 const &  key, std::shared_ptr< Serializer const > const &  txn, std::shared_ptr< Serializer const > const &  metaData  )

override

Definition at line 534 of file Ledger.cpp.

rawTxInsertWithHash()

uint256 ripple::Ledger::rawTxInsertWithHash	(	uint256 const &	key,
		std::shared_ptr< Serializer const > const &	txn,
		std::shared_ptr< Serializer const > const &	metaData
	)

Definition at line 552 of file Ledger.cpp.

setValidated()

void ripple::Ledger::setValidated

(

)

const

Definition at line 245 of file Ledger.h.

setAccepted()

void ripple::Ledger::setAccepted	(	NetClock::time_point	closeTime,
		NetClock::duration	closeResolution,
		bool	correctCloseTime
	)

Definition at line 338 of file Ledger.cpp.

setImmutable()

void ripple::Ledger::setImmutable

(

bool

rehash = true

)

Definition at line 318 of file Ledger.cpp.

isImmutable()

bool ripple::Ledger::isImmutable

(

)

const

Definition at line 260 of file Ledger.h.

setFull()

void ripple::Ledger::setFull

(

)

const

Definition at line 276 of file Ledger.h.

setTotalDrops()

void ripple::Ledger::setTotalDrops

(

std::uint64_t

totDrops

)

Definition at line 285 of file Ledger.h.

stateMap() [1/2]

SHAMap const & ripple::Ledger::stateMap

(

)

const

Definition at line 291 of file Ledger.h.

stateMap() [2/2]

SHAMap & ripple::Ledger::stateMap

(

)

Definition at line 297 of file Ledger.h.

txMap() [1/2]

SHAMap const & ripple::Ledger::txMap

(

)

const

Definition at line 303 of file Ledger.h.

txMap() [2/2]

SHAMap & ripple::Ledger::txMap

(

)

Definition at line 309 of file Ledger.h.

addSLE()

bool ripple::Ledger::addSLE

(

SLE const &

sle

)

Definition at line 353 of file Ledger.cpp.

updateSkipList()

void ripple::Ledger::updateSkipList

(

)

Definition at line 863 of file Ledger.cpp.

walkLedger()

bool ripple::Ledger::walkLedger	(	beast::Journal	j,
		bool	parallel = false
	)		const

Definition at line 786 of file Ledger.cpp.

assertSensible()

bool ripple::Ledger::assertSensible

(

beast::Journal

ledgerJ

)

const

Definition at line 837 of file Ledger.cpp.

invariants()

void ripple::Ledger::invariants

(

)

const

Definition at line 1035 of file Ledger.cpp.

unshare()

void ripple::Ledger::unshare

(

)

const

Definition at line 1028 of file Ledger.cpp.

negativeUNL()

hash_set< PublicKey > ripple::Ledger::negativeUNL

(

)

const

get Negative UNL validators' master public keys

Returns

the public keys

Definition at line 679 of file Ledger.cpp.

validatorToDisable()

std::optional< PublicKey > ripple::Ledger::validatorToDisable

(

)

const

get the to be disabled validator's master public key if any

Returns

the public key if any

Definition at line 705 of file Ledger.cpp.

validatorToReEnable()

std::optional< PublicKey > ripple::Ledger::validatorToReEnable

(

)

const

get the to be re-enabled validator's master public key if any

Returns

the public key if any

Definition at line 720 of file Ledger.cpp.

updateNegativeUNL()

void ripple::Ledger::updateNegativeUNL

(

)

update the Negative UNL ledger component.

Note

must be called at and only at flag ledgers must be called before applying UNLModify Tx

Definition at line 735 of file Ledger.cpp.

isFlagLedger()

bool ripple::Ledger::isFlagLedger

(

)

const

Returns true if the ledger is a flag ledger.

Definition at line 931 of file Ledger.cpp.

isVotingLedger()

bool ripple::Ledger::isVotingLedger

(

)

const

Returns true if the ledger directly precedes a flag ledger.

Definition at line 936 of file Ledger.cpp.

peek()

std::shared_ptr< SLE > ripple::Ledger::peek

(

Keylet const &

k

)

const

Definition at line 667 of file Ledger.cpp.

setup()

bool ripple::Ledger::setup ( )

private

Definition at line 574 of file Ledger.cpp.

defaultFees()

void ripple::Ledger::defaultFees ( Config const &  config )

private

Definition at line 653 of file Ledger.cpp.

parentCloseTime()

NetClock::time_point ripple::ReadView::parentCloseTime ( ) const

inherited

Returns the close time of the previous ledger.

Definition at line 92 of file ReadView.h.

seq()

LedgerIndex ripple::ReadView::seq ( ) const

inherited

Returns the sequence number of the base ledger.

Definition at line 99 of file ReadView.h.

succ() [2/2]

virtual std::optional< key_type > ripple::ReadView::succ ( key_type const &  key, std::optional< key_type > const &  last = std::nullopt  ) const

pure virtualinherited

Return the key of the next state item.

This returns the key of the first state item whose key is greater than the specified key. If no such key is present, std::nullopt is returned.

If last is engaged, returns std::nullopt when the key returned would be outside the open interval (key, last).

Implemented in ripple::detail::CachedViewImpl, ripple::detail::ApplyViewBase, and ripple::OpenView.

balanceHook()

virtual STAmount ripple::ReadView::balanceHook ( AccountID const &  account, AccountID const &  issuer, STAmount const &  amount  ) const

virtualinherited

Reimplemented in ripple::PaymentSandbox.

Definition at line 159 of file ReadView.h.

ownerCountHook()

virtual std::uint32_t ripple::ReadView::ownerCountHook ( AccountID const &  account, std::uint32_t  count  ) const

virtualinherited

Reimplemented in ripple::PaymentSandbox.

Definition at line 173 of file ReadView.h.

slesUpperBound() [2/2]

virtual std::unique_ptr< sles_type::iter_base > ripple::ReadView::slesUpperBound ( key_type const &  key ) const

pure virtualinherited

txExists() [2/2]

virtual bool ripple::ReadView::txExists ( key_type const &  key ) const

pure virtualinherited

Returns true if a tx exists in the tx map.

A tx exists in the map if it is part of the base ledger, or if it is a newly inserted tx.

Implemented in ripple::detail::CachedViewImpl, ripple::detail::ApplyViewBase, and ripple::OpenView.

rawTxInsert() [2/2]

virtual void ripple::TxsRawView::rawTxInsert ( ReadView::key_type const &  key, std::shared_ptr< Serializer const > const &  txn, std::shared_ptr< Serializer const > const &  metaData  )

pure virtualinherited

Add a transaction to the tx map.

Closed ledgers must have metadata, while open ledgers omit metadata.

Implemented in ripple::OpenView.

getCounter()

static auto & ripple::CountedObject< Ledger >::getCounter ( )

staticprivatenoexceptinherited

Definition at line 110 of file CountedObject.h.

Member Data Documentation

mImmutable

bool ripple::Ledger::mImmutable

private

Definition at line 387 of file Ledger.h.

txMap_

SHAMap ripple::Ledger::txMap_

mutableprivate

Definition at line 390 of file Ledger.h.

stateMap_

SHAMap ripple::Ledger::stateMap_

mutableprivate

Definition at line 393 of file Ledger.h.

mutex_

std::mutex ripple::Ledger::mutex_

mutableprivate

Definition at line 396 of file Ledger.h.

fees_

Fees ripple::Ledger::fees_

private

Definition at line 398 of file Ledger.h.

rules_

Rules ripple::Ledger::rules_

private

Definition at line 399 of file Ledger.h.

info_

LedgerInfo ripple::Ledger::info_

private

Definition at line 400 of file Ledger.h.

j_

beast::Journal ripple::Ledger::j_

private

Definition at line 401 of file Ledger.h.

sles

sles_type ripple::ReadView::sles

inherited

Iterable range of ledger state items.

Note

Visiting each state entry in the ledger can become quite expensive as the ledger grows.

Definition at line 226 of file ReadView.h.

txs

txs_type ripple::ReadView::txs

inherited

Definition at line 229 of file ReadView.h.