Trait IntoChecked

pub trait IntoChecked: FormatValidityChecks + Sized {
    type Metadata: Sized;

    // Required method
    fn into_checked_basic(
        self,
        block_height: BlockHeight,
        consensus_params: &ConsensusParameters,
    ) -> Result<Checked<Self>, CheckError>;

    // Provided methods
    fn into_checked(
        self,
        block_height: BlockHeight,
        consensus_params: &ConsensusParameters,
    ) -> Result<Checked<Self>, CheckError>
       where Checked<Self>: CheckPredicates { ... }
    fn into_checked_reusable_memory(
        self,
        block_height: BlockHeight,
        consensus_params: &ConsensusParameters,
        memory: impl Memory,
        storage: &impl PredicateStorageRequirements,
    ) -> Result<Checked<Self>, CheckError>
       where Checked<Self>: CheckPredicates { ... }
}

Performs checks for a transaction

Required Associated Types

type Metadata: Sized

Metadata produced during the check.

Required Methods

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

Returns transaction that passed only Checks::Basic.

Provided Methods

fn into_checked( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

where Checked<Self>: CheckPredicates,

Returns transaction that passed all Checks.

fn into_checked_reusable_memory( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, memory: impl Memory, storage: &impl PredicateStorageRequirements, ) -> Result<Checked<Self>, CheckError>

where Checked<Self>: CheckPredicates,

Returns transaction that passed all Checks accepting reusable memory to run predicates.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl IntoChecked for Transaction

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Mint

type Metadata = ()

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Blob

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Create

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Script

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Upgrade

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Upload

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

Implementors