pub enum MachineLimitExceededFailure {
RanOutOfIndexRegisters(SimpleSpan, SymbolName),
BlockTooLarge {
span: SimpleSpan,
block_id: BlockIdentifier,
offset: usize,
},
}
Expand description
A hardware limit was exceeded.
Variants§
RanOutOfIndexRegisters(SimpleSpan, SymbolName)
When an undefined Symex is used in an index context, it is
allocated a default value which has not yet been used. When
there are no more available index registers, this allocation
fails and we signal this with
MachineLimitExceededFailure::RanOutOfIndexRegisters
.
BlockTooLarge
BlockTooLarge
is used to report blocks whose length is not
representable in an 18-bit halfword, or whose length is
representable but whose start address wouild put the end of
the block outside physical memory. Programs for which this
happens cannot fit into the TX-2’s memory.
Trait Implementations§
Source§impl Clone for MachineLimitExceededFailure
impl Clone for MachineLimitExceededFailure
Source§fn clone(&self) -> MachineLimitExceededFailure
fn clone(&self) -> MachineLimitExceededFailure
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for MachineLimitExceededFailure
impl Debug for MachineLimitExceededFailure
impl Eq for MachineLimitExceededFailure
impl StructuralPartialEq for MachineLimitExceededFailure
Auto Trait Implementations§
impl Freeze for MachineLimitExceededFailure
impl RefUnwindSafe for MachineLimitExceededFailure
impl Send for MachineLimitExceededFailure
impl Sync for MachineLimitExceededFailure
impl Unpin for MachineLimitExceededFailure
impl UnwindSafe for MachineLimitExceededFailure
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
impl<'src, T> IntoMaybe<'src, T> for Twhere
T: 'src,
§impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
impl<'p, T> Seq<'p, T> for Twhere
T: Clone,
§type Iter<'a> = Once<&'a T>
where
T: 'a
type Iter<'a> = Once<&'a T> where T: 'a
An iterator over the items within this container, by reference.
§fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
fn contains(&self, val: &T) -> boolwhere
T: PartialEq,
Check whether an item is contained within this sequence.
§fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
fn to_maybe_ref<'b>(item: <T as Seq<'p, T>>::Item<'b>) -> Maybe<T, &'p T>where
'p: 'b,
Convert an item of the sequence into a [
MaybeRef
].