Struct ProviderCheckpointContract 

pub struct ProviderCheckpointContract { /* private fields */ }

An implementation promises all of its persistent state effects are complete at the permitted successful frame boundaries, and legal suffix execution can resume from those values without hidden execution history. Physical export mappings, operation-oracle coverage, and whole-program closure are separate plan checks; this declaration alone does not authorize restoration.

Implementations

impl ProviderCheckpointContract

pub const fn new( input_dependency: CheckpointInputDependency, boundaries: CheckpointBoundaryConstraint, partition_numerics: CheckpointPartitionNumerics, ) -> Self

pub const fn with_completed_input_capture( self, capability: CheckpointCompletedInputCapture, ) -> Self

pub const fn completed_input_capture(&self) -> CheckpointCompletedInputCapture

pub fn with_state_ports( self, ports: Vec<ProviderCheckpointStatePort>, ) -> Result<Self, VNextError>

pub fn state_ports(&self) -> &[ProviderCheckpointStatePort]

pub const fn contract_version(&self) -> ContractVersion

pub const fn input_dependency(&self) -> CheckpointInputDependency

pub const fn boundaries(&self) -> CheckpointBoundaryConstraint

pub const fn partition_numerics(&self) -> CheckpointPartitionNumerics

Trait Implementations

impl Clone for ProviderCheckpointContract

fn clone(&self) -> ProviderCheckpointContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProviderCheckpointContract

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProviderCheckpointContract

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProviderCheckpointContract

impl PartialEq for ProviderCheckpointContract

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProviderCheckpointContract

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProviderCheckpointContract