Struct solana_libra_types::transaction::TransactionListWithProof

pub struct TransactionListWithProof {
    pub transaction_and_infos: Vec<(SignedTransaction, TransactionInfo)>,
    pub events: Option<Vec<Vec<ContractEvent>>>,
    pub first_transaction_version: Option<Version>,
    pub proof_of_first_transaction: Option<AccumulatorProof>,
    pub proof_of_last_transaction: Option<AccumulatorProof>,
}

The list may have three states:

1. The list is empty. Both proofs must be None.
2. The list has only 1 transaction/transaction_info. Then proof_of_first_transaction must exist and proof_of_last_transaction must be None.
3. The list has 2+ transactions/transaction_infos. The both proofs must exist.

Fields

transaction_and_infos: Vec<(SignedTransaction, TransactionInfo)>

events: Option<Vec<Vec<ContractEvent>>>

first_transaction_version: Option<Version>

proof_of_first_transaction: Option<AccumulatorProof>

proof_of_last_transaction: Option<AccumulatorProof>

Methods

impl TransactionListWithProof

pub fn new(
    transaction_and_infos: Vec<(SignedTransaction, TransactionInfo)>,
    events: Option<Vec<Vec<ContractEvent>>>,
    first_transaction_version: Option<Version>,
    proof_of_first_transaction: Option<AccumulatorProof>,
    proof_of_last_transaction: Option<AccumulatorProof>
) -> Self

Constructor.

pub fn new_empty() -> Self

Creates an empty transaction list.

pub fn verify(
    &self,
    ledger_info: &LedgerInfo,
    first_transaction_version: Option<Version>
) -> Result<()>

Verifies the transaction list with the proofs, both carried on self.

Two things are ensured if no error is raised:

1. All the transactions exist on the ledger represented by ledger_info.
2. And the transactions in the list has consecutive versions starting from first_transaction_version. When first_transaction_version is None, ensures the list is empty.

Trait Implementations

impl Clone for TransactionListWithProof

fn clone(&self) -> TransactionListWithProof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl PartialEq<TransactionListWithProof> for TransactionListWithProof

fn eq(&self, other: &TransactionListWithProof) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &TransactionListWithProof) -> bool

This method tests for !=.

impl Eq for TransactionListWithProof

impl Debug for TransactionListWithProof

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl IntoProto for TransactionListWithProof

type ProtoType = TransactionListWithProof

The corresponding Protobuf type.

fn into_proto(self) -> Self::ProtoType

Converts a Rust struct to corresponding Protobuf struct. This should not fail.

impl FromProto for TransactionListWithProof

type ProtoType = TransactionListWithProof

The corresponding Protobuf type.

fn from_proto(object: Self::ProtoType) -> Result<Self>

Converts a Protobuf struct to corresponding Rust struct. The conversion could fail if the Protobuf struct is invalid. For example, the Protobuf struct could have a byte array that is intended to be a HashValue, and the conversion would fail if the byte array is not exactly 32 bytes.

impl Arbitrary for TransactionListWithProof

type Parameters = ()

The type of parameters that [arbitrary_with] accepts for configuration of the generated [Strategy]. Parameters must implement [Default].

type Strategy = BoxedStrategy<Self>

The type of [Strategy] used to generate values of type Self.

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).