Struct DynNode 

pub struct DynNode { /* private fields */ }

A Dyn node specifies that the node to be executed next is defined dynamically via the stack.

Implementations

impl DynNode

Constants

pub const DYN_DOMAIN: Felt

The domain of the Dyn block (used for control block hashing).

pub const DYNCALL_DOMAIN: Felt

The domain of the Dyncall block (used for control block hashing).

impl DynNode

Public accessors

pub fn new_dyn() -> Self

Creates a new DynNode representing a dynexec operation.

pub fn new_dyncall() -> Self

Creates a new DynNode representing a dyncall operation.

pub fn is_dyncall(&self) -> bool

Returns true if the DynNode represents a dyncall operation, and false for dynexec.

pub fn domain(&self) -> Felt

Returns the domain of this dyn node.

Trait Implementations

impl Clone for DynNode

fn clone(&self) -> DynNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DynNode

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

Formats the value using the given formatter.

impl From<DynNode> for MastNode

fn from(v: DynNode) -> MastNode

Converts to this type from the input type.

impl MastNodeErrorContext for DynNode

fn decorators(&self) -> impl Iterator<Item = (usize, DecoratorId)>

The list of decorators tied to this node, along with their associated index.

fn get_assembly_op<'m>( &self, mast_forest: &'m MastForest, target_op_idx: Option<usize>, ) -> Option<&'m AssemblyOp>

Returns the AssemblyOp associated with this node and operation (if provided), if any.

impl MastNodeExt for DynNode

fn digest(&self) -> Word

Returns a commitment to a Dyn node.

The commitment is computed by hashing two empty words ([ZERO; 4]) in the domain defined by Self::DYN_DOMAIN or Self::DYNCALL_DOMAIN, i.e.:

Hasher::merge_in_domain(&[Word::default(), Word::default()], DynNode::DYN_DOMAIN);
Hasher::merge_in_domain(&[Word::default(), Word::default()], DynNode::DYNCALL_DOMAIN);

fn before_enter(&self) -> &[DecoratorId]

Returns the decorators to be executed before this node is executed.

fn after_exit(&self) -> &[DecoratorId]

Returns the decorators to be executed after this node is executed.

fn append_before_enter(&mut self, decorator_ids: &[DecoratorId])

Sets the list of decorators to be executed before this node.

fn append_after_exit(&mut self, decorator_ids: &[DecoratorId])

Sets the list of decorators to be executed after this node.

fn remove_decorators(&mut self)

Removes all decorators from this node.

fn to_display<'a>( &'a self, mast_forest: &'a MastForest, ) -> Box<dyn Display + 'a>

Returns a display formatter for this node.

fn to_pretty_print<'a>( &'a self, mast_forest: &'a MastForest, ) -> Box<dyn PrettyPrint + 'a>

Returns a pretty printer for this node.

fn remap_children(&self, _remapping: &Remapping) -> Self

Remap the node children to their new positions indicated by the given Remapping.

fn has_children(&self) -> bool

Returns true if the this node has children.

fn append_children_to(&self, _target: &mut Vec<MastNodeId>)

Appends the NodeIds of the children of this node, if any, to the vector.

fn domain(&self) -> Felt

Returns the domain of this node.

impl PartialEq for DynNode

fn eq(&self, other: &DynNode) -> 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 TryInto<DynNode> for MastNode

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<DynNode, <Self as TryInto<DynNode>>::Error>

Performs the conversion.

impl Eq for DynNode

impl StructuralPartialEq for DynNode