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

Constructors

Source

pub fn new( callee: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

Returns a new CallNode instantiated with the specified callee.

Source

pub fn new_unsafe(callee: MastNodeId, digest: Word) -> Self

Returns a new CallNode from values that are assumed to be correct. Should only be used when the source of the inputs is trusted (e.g. deserialization).

Source

pub fn new_syscall( callee: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

Returns a new CallNode instantiated with the specified callee and marked as a kernel call.

Source

pub fn new_syscall_unsafe(callee: MastNodeId, digest: Word) -> Self

Returns a new syscall CallNode from values that are assumed to be correct. Should only be used when the source of the inputs is trusted (e.g. deserialization).

Source§

impl CallNode

Public accessors

Source

pub 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

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.

Source

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

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

Source

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

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

Source§

impl CallNode

Mutators

Source

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

Source

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

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

Source

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

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

Source

pub fn remove_decorators(&mut self)

Removes all decorators from this 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 MastNodeExt for CallNode

Source§

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

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 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