Struct diem_types::transaction::TransactionListWithProof

pub struct TransactionListWithProof {
    pub transactions: Vec<Transaction>,
    pub events: Option<Vec<Vec<ContractEvent>>>,
    pub first_transaction_version: Option<Version>,
    pub proof: TransactionListProof,
}

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

transactions: Vec<Transaction>

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

first_transaction_version: Option<Version>

proof: TransactionListProof

Implementations

impl TransactionListWithProof

pub fn new( transactions: Vec<Transaction>, events: Option<Vec<Vec<ContractEvent>>>, first_transaction_version: Option<Version>, proof: TransactionListProof ) -> Self

Constructor.

pub fn new_empty() -> Self

Creates an empty transaction list.

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

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 Arbitrary for TransactionListWithProof

type Parameters = ()

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

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.

type Strategy = BoxedStrategy<TransactionListWithProof>

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

fn arbitrary() -> Self::Strategy

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

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 Debug for TransactionListWithProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionListWithProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TransactionListWithProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for TransactionListWithProof

impl StructuralEq for TransactionListWithProof

impl StructuralPartialEq for TransactionListWithProof