Enum midenc_hir::DataSegmentError

pub enum DataSegmentError {
    OverlappingSegments {
        offset1: Offset,
        size1: u32,
        offset2: Offset,
        size2: u32,
    },
    Mismatch(Offset),
    OutOfBounds {
        offset: Offset,
        size: u32,
    },
    InitTooLarge(Offset),
    InitOutOfBounds {
        offset: Offset,
        size: u32,
        actual: u32,
    },
}

This error is raised when attempting to declare a DataSegment that in some way conflicts with previously declared data segments.

Variants

OverlappingSegments

The current segment overlaps with a previously allocated segment

Fields

offset1: Offset

size1: u32

offset2: Offset

size2: u32

Mismatch(Offset)

The current segment and a previous definition of that segment do not agree on the data or read/write properties of the memory they represent.

OutOfBounds

The current segment and size do not fall in the boundaries of the heap which is allocatable to globals and other heap allocations.

For example, Miden reserves some amount of memory for procedure locals at a predetermined address, and we do not permit segments to be allocated past that point.

Fields

offset: Offset

size: u32

InitTooLarge(Offset)

The initializer for the current segment has a size greater than u32::MAX bytes

InitOutOfBounds

The initializer for the current segment has a size greater than the declared segment size

Fields

offset: Offset

size: u32

actual: u32

Trait Implementations

impl Debug for DataSegmentError

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

Formats the value using the given formatter.

impl Diagnostic for DataSegmentError

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn help<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

fn related<'a>( &'a self, ) -> Option<Box<dyn Iterator<Item = &'a dyn Diagnostic> + 'a>>

Additional related Diagnostics.

fn diagnostic_source<'a>(&'a self) -> Option<&'a dyn Diagnostic>

The cause of the error.

impl Display for DataSegmentError

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

Formats the value using the given formatter.

impl Error for DataSegmentError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.