Struct PackageDebugInfo 

pub struct PackageDebugInfo { /* private fields */ }

Trusted package-owned debug information decoded from well-known debug sections.

Implementations

impl PackageDebugInfo

pub fn with_source_debug( source_graph: DebugSourceGraphSection, source_map: DebugSourceMapSection, ) -> PackageDebugInfo

Creates debug info with source/debug graph and map sections.

pub fn with_source_graph( self, source_graph: DebugSourceGraphSection, ) -> PackageDebugInfo

Sets the source/debug graph section.

pub fn with_source_map( self, source_map: DebugSourceMapSection, ) -> PackageDebugInfo

Sets the source/debug map section.

pub fn with_error_messages( self, error_messages: DebugErrorMessagesSection, ) -> PackageDebugInfo

Sets the assertion error messages section.

pub fn types(&self) -> Option<&DebugTypesSection>

Returns the type definitions section, if present.

pub fn sources(&self) -> Option<&DebugSourcesSection>

Returns the source file table section, if present.

pub fn functions(&self) -> Option<&DebugFunctionsSection>

Returns the function metadata section, if present.

pub fn source_graph(&self) -> Option<&DebugSourceGraphSection>

Returns the source/debug graph section, if present.

pub fn source_map(&self) -> Option<&DebugSourceMapSection>

Returns the source/debug map section, if present.

pub fn error_messages(&self) -> Option<&DebugErrorMessagesSection>

Returns the assertion error messages section, if present.

pub fn is_empty(&self) -> bool

Returns true if no package debug sections were decoded.

pub fn merge_source_debug<'a>( inputs: impl IntoIterator<Item = (usize, &'a PackageDebugInfo)>, root_map: &MastForestRootMap, ) -> Result<PackageDebugInfo, PackageDebugInfoMergeError>

Merges package-owned source/debug metadata after a miden_core::mast::MastForest merge.

miden_core::mast::MastForest::merge remains execution-only. This helper applies the returned node mappings to package source/debug sections so callers can merge (MastForest, PackageDebugInfo) pairs without reattaching debug metadata to the forest.

This also merges the type, source-file, and function tables referenced by source-map inline-call rows.

pub fn source_node( &self, source_node: DebugSourceNodeId, ) -> Option<&DebugSourceNode>

Returns a source/debug occurrence by ID.

pub fn unique_source_root_for_exec_node( &self, exec_node: MastNodeId, ) -> Result<Option<DebugSourceNodeId>, DebugSourceGraphLookupError>

Returns the unique source/debug root that points at exec_node.

Returns Ok(None) if no source graph is present, or if no root points at exec_node.

pub fn child_source_node( &self, parent: DebugSourceNodeId, child_index: usize, ) -> Result<Option<(DebugSourceNodeId, &DebugSourceNode)>, DebugSourceGraphLookupError>

Returns parent’s source/debug child at child_index, if present.

Returns Ok(None) if no source graph is present, or if child_index is out of range.

pub fn asm_ops_for_source_node( &self, source_node: DebugSourceNodeId, ) -> impl Iterator<Item = &DebugSourceAsmOp>

Returns assembly operation rows for a source/debug occurrence.

pub fn first_asm_op_for_source_node( &self, source_node: DebugSourceNodeId, ) -> Option<&DebugSourceAsmOp>

Returns the first assembly operation row for source_node, if present.

pub fn asm_op_for_operation( &self, source_node: DebugSourceNodeId, op_idx: u32, ) -> Option<&DebugSourceAsmOp>

Returns the assembly operation row for source_node at or before op_idx, if present.

pub fn debug_vars_for_source_node( &self, source_node: DebugSourceNodeId, ) -> impl Iterator<Item = &DebugSourceVar>

Returns debug variable rows for a source/debug occurrence.

pub fn debug_vars_for_operation( &self, source_node: DebugSourceNodeId, op_idx: u32, ) -> impl Iterator<Item = &DebugSourceVar>

Returns debug variable rows for source_node at op_idx.

pub fn inline_calls_for_source_node( &self, source_node: DebugSourceNodeId, ) -> impl Iterator<Item = &DebugSourceInlineCall>

Returns inline-call rows for a source/debug occurrence.

pub fn inline_calls_for_operation( &self, source_node: DebugSourceNodeId, op_idx: u32, ) -> impl Iterator<Item = &DebugSourceInlineCall>

Returns inline-call rows for source_node at op_idx.

pub fn error_message(&self, err_code: u64) -> Option<Arc<str>>

Returns the assertion error message for err_code, if present.

Trait Implementations

impl Clone for PackageDebugInfo

fn clone(&self) -> PackageDebugInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PackageDebugInfo

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

Formats the value using the given formatter.

impl Default for PackageDebugInfo

fn default() -> PackageDebugInfo

Returns the “default value” for a type.

impl Deserializable for PackageDebugInfo

fn read_from<R>( source: &mut R, ) -> Result<PackageDebugInfo, DeserializationError>

where R: ByteReader,

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

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

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

Attempts to deserialize the provided bytes into Self and returns the result.

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

Deserializes Self from bytes with a byte budget limit.

impl Eq for PackageDebugInfo

impl PartialEq for PackageDebugInfo

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

Equality operator ==.

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

Inequality operator !=.

impl Serializable for PackageDebugInfo

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

where W: ByteWriter,

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

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

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for PackageDebugInfo