Struct miden_processor::MastForest

source ·
pub struct MastForest { /* private fields */ }
Expand description

Represents one or more procedures, represented as a collection of MastNodes.

A MastForest does not have an entrypoint, and hence is not executable. A crate::Program can be built from a MastForest to specify an entrypoint.

Implementations§

source§

impl MastForest

Constructors

source

pub fn new() -> MastForest

Creates a new empty MastForest.

source§

impl MastForest

State mutators

source

pub fn add_node( &mut self, node: MastNode, ) -> Result<MastNodeId, MastForestError>

Adds a node to the forest, and returns the associated MastNodeId.

Adding two duplicate nodes will result in two distinct returned MastNodeIds.

source

pub fn add_block( &mut self, operations: Vec<Operation>, decorators: Option<Vec<(usize, Decorator)>>, ) -> Result<MastNodeId, MastForestError>

Adds a basic block node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_join( &mut self, left_child: MastNodeId, right_child: MastNodeId, ) -> Result<MastNodeId, MastForestError>

Adds a join node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_split( &mut self, if_branch: MastNodeId, else_branch: MastNodeId, ) -> Result<MastNodeId, MastForestError>

Adds a split node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_loop( &mut self, body: MastNodeId, ) -> Result<MastNodeId, MastForestError>

Adds a loop node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_call( &mut self, callee: MastNodeId, ) -> Result<MastNodeId, MastForestError>

Adds a call node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_syscall( &mut self, callee: MastNodeId, ) -> Result<MastNodeId, MastForestError>

Adds a syscall node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_dyn(&mut self) -> Result<MastNodeId, MastForestError>

Adds a dyn node to the forest, and returns the MastNodeId associated with it.

source

pub fn add_external( &mut self, mast_root: RpoDigest, ) -> Result<MastNodeId, MastForestError>

Adds an external node to the forest, and returns the MastNodeId associated with it.

source

pub fn make_root(&mut self, new_root_id: MastNodeId)

Marks the given MastNodeId as being the root of a procedure.

§Panics
  • if new_root_id’s internal index is larger than the number of nodes in this forest (i.e. clearly doesn’t belong to this MAST forest).
source§

impl MastForest

Public accessors

source

pub fn get_node_by_id(&self, node_id: MastNodeId) -> Option<&MastNode>

Returns the MastNode associated with the provided MastNodeId if valid, or else None.

This is the failable version of indexing (e.g. mast_forest[node_id]).

source

pub fn find_procedure_root(&self, digest: RpoDigest) -> Option<MastNodeId>

Returns the MastNodeId of the procedure associated with a given digest, if any.

source

pub fn is_procedure_root(&self, node_id: MastNodeId) -> bool

Returns true if a node with the specified ID is a root of a procedure in this MAST forest.

source

pub fn procedure_digests(&self) -> impl Iterator<Item = RpoDigest>

Returns an iterator over the digest of the procedures in this MAST forest.

source

pub fn procedure_roots(&self) -> &[MastNodeId]

Returns an iterator over the IDs of the procedures in this MAST forest.

source

pub fn num_procedures(&self) -> u32

Returns the number of procedures in this MAST forest.

Trait Implementations§

source§

impl Clone for MastForest

source§

fn clone(&self) -> MastForest

Returns a copy 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 MastForest

source§

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

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

impl Default for MastForest

source§

fn default() -> MastForest

Returns the “default value” for a type. Read more
source§

impl Deserializable for MastForest

source§

fn read_from<R>(source: &mut R) -> Result<MastForest, DeserializationError>
where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result. Read more
source§

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result. Read more
source§

impl From<Program> for MastForest

source§

fn from(program: Program) -> MastForest

Converts to this type from the input type.
source§

impl Index<MastNodeId> for MastForest

§

type Output = MastNode

The returned type after indexing.
source§

fn index( &self, node_id: MastNodeId, ) -> &<MastForest as Index<MastNodeId>>::Output

Performs the indexing (container[index]) operation. Read more
source§

impl PartialEq for MastForest

source§

fn eq(&self, other: &MastForest) -> 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 Serializable for MastForest

source§

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.
source§

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.
source§

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self. Read more
source§

impl Eq for MastForest

source§

impl StructuralPartialEq for MastForest

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§

default unsafe fn clone_to_uninit(&self, dst: *mut T)

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

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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

§

type Output = T

Should always be Self
source§

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

§

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

§

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

§

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

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more