CallNode

Struct CallNode 

Source
pub struct CallNode { /* private fields */ }
Expand description

A Call node describes a function call such that the callee is executed in a different execution context from the currently executing code.

A call node can be of two types:

  • A simple call: the callee is executed in the new user context.
  • A syscall: the callee is executed in the root context.

Implementations§

Source§

impl CallNode

Constants

Source

pub const CALL_DOMAIN: Felt

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

Source

pub const SYSCALL_DOMAIN: Felt

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

Source§

impl CallNode

Public accessors

Source

pub fn callee(&self) -> MastNodeId

Returns the ID of the node to be invoked by this call node.

Source

pub fn is_syscall(&self) -> bool

Returns true if this call node represents a syscall.

Source

pub fn domain(&self) -> Felt

Returns the domain of this call node.

Trait Implementations§

Source§

impl Clone for CallNode

Source§

fn clone(&self) -> CallNode

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for CallNode

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<CallNode> for MastNode

Source§

fn from(value: CallNode) -> Self

Converts to this type from the input type.
Source§

impl MastNodeErrorContext for CallNode

Source§

fn decorators<'a>( &'a self, forest: &'a MastForest, ) -> impl Iterator<Item = DecoratedOpLink> + 'a

The list of decorators tied to this node, along with their associated index. Read more
Source§

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. Read more
Source§

impl MastNodeExt for CallNode

Source§

fn digest(&self) -> Word

Returns a commitment to this Call node.

The commitment is computed as a hash of the callee and an empty word ([ZERO; 4]) in the domain defined by either Self::CALL_DOMAIN or Self::SYSCALL_DOMAIN, depending on whether the node represents a simple call or a syscall - i.e.,:

Hasher::merge_in_domain(&[callee_digest, Word::default()], CallNode::CALL_DOMAIN);

or

Hasher::merge_in_domain(&[callee_digest, Word::default()], CallNode::SYSCALL_DOMAIN);
Source§

fn before_enter<'a>(&'a self, forest: &'a MastForest) -> &'a [DecoratorId]

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

Source§

fn after_exit<'a>(&'a self, forest: &'a MastForest) -> &'a [DecoratorId]

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

Source§

type Builder = CallNodeBuilder

Converts this node into its corresponding builder, reusing allocated data where possible.
Source§

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

Returns a display formatter for this node.
Source§

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

Returns a pretty printer for this node.
Source§

fn has_children(&self) -> bool

Returns true if the this node has children.
Source§

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

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

fn for_each_child<F>(&self, f: F)
where F: FnMut(MastNodeId),

Executes the given closure for each child of this node.
Source§

fn domain(&self) -> Felt

Returns the domain of this node.
Source§

fn to_builder(self, forest: &MastForest) -> Self::Builder

Source§

fn verify_node_in_forest(&self, forest: &MastForest)

Verifies that this node is stored at the ID in its decorators field in the forest.
Source§

impl PartialEq for CallNode

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl Eq for CallNode

Source§

impl StructuralPartialEq for CallNode

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V