Struct DequeueNextAs 

pub struct DequeueNextAs {
    pub proof_item: ProofItemVariant,
}

Reads a proof item of the supplied type from the ProofStream. Crashes Triton VM if the proof item is not of the expected type. Updates an internal pointer to the next proof item.

Fields

proof_item: ProofItemVariant

Implementations

impl DequeueNextAs

pub fn new(proof_item: ProofItemVariant) -> Self

Trait Implementations

impl BasicSnippet for DequeueNextAs

fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>

BEFORE: _ *vm_proof_iter
AFTER:  _ *proof_item_payload

fn parameters(&self) -> Vec<(DataType, String)>

The parameters expected by this snippet.

fn return_values(&self) -> Vec<(DataType, String)>

The (types of the) values this snippet computes.

fn entrypoint(&self) -> String

The name of the snippet as a possible target for Triton VM’s instruction call.

fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>

Adds “type hints” to the code.

fn stack_diff(&self) -> isize

The size difference of the stack as a result of executing this snippet.

fn sign_offs(&self) -> HashMap<Reviewer, SignOffFingerprint>

Contains an entry for every sign off.

impl Clone for DequeueNextAs

fn clone(&self) -> DequeueNextAs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DequeueNextAs

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

Formats the value using the given formatter.

impl PartialEq for DequeueNextAs

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for DequeueNextAs

impl Eq for DequeueNextAs

impl StructuralPartialEq for DequeueNextAs