Struct diem_types::transaction::TransactionWithProof

pub struct TransactionWithProof {
    pub version: Version,
    pub transaction: Transaction,
    pub events: Option<Vec<ContractEvent>>,
    pub proof: TransactionInfoWithProof,
}

Fields

version: Version

transaction: Transaction

events: Option<Vec<ContractEvent>>

proof: TransactionInfoWithProof

Implementations

impl TransactionWithProof

pub fn new(
    version: Version,
    transaction: Transaction,
    events: Option<Vec<ContractEvent>>,
    proof: TransactionInfoWithProof
) -> Self

pub fn verify_user_txn(
    &self,
    ledger_info: &LedgerInfo,
    version: Version,
    sender: AccountAddress,
    sequence_number: u64
) -> Result<()>

Verifies the transaction with the proof, both carried by self.

A few things are ensured if no error is raised:

1. This transaction exists in the ledger represented by ledger_info.
2. This transaction is a UserTransaction.
3. And this user transaction has the same version, sender, and sequence_number as indicated by the parameter list. If any of these parameter is unknown to the call site that is supposed to be informed via this struct, get it from the struct itself, such as version and sender.

Trait Implementations

impl Arbitrary for TransactionWithProof

type Parameters = (<Version as Arbitrary>::Parameters, <Transaction as Arbitrary>::Parameters, <Option<Vec<ContractEvent>> as Arbitrary>::Parameters, <TransactionInfoWithProof as Arbitrary>::Parameters)

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

type Strategy = Map<(<Version as Arbitrary>::Strategy, <Transaction as Arbitrary>::Strategy, <Option<Vec<ContractEvent>> as Arbitrary>::Strategy, <TransactionInfoWithProof as Arbitrary>::Strategy), fn(_: (Version, Transaction, Option<Vec<ContractEvent>>, TransactionInfoWithProof)) -> Self>

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

fn arbitrary_with(_top: 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).

impl Clone for TransactionWithProof

fn clone(&self) -> TransactionWithProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionWithProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionWithProof

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

Deserialize this value from the given Serde deserializer.

impl PartialEq<TransactionWithProof> for TransactionWithProof

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

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

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

This method tests for !=.

impl Serialize for TransactionWithProof

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 TransactionWithProof

impl StructuralEq for TransactionWithProof

impl StructuralPartialEq for TransactionWithProof