Struct VerifiedBounds

Source

pub struct VerifiedBounds { /* private fields */ }

Expand description

Verified bounds.

This structure contains the original set of parameters – the grant, verify mode, and verified components – used when verifying bounds in BoundsVerifier::verify. It can then be used to feed into additional components, such as MemoryPartitioner, to ensure that the same parameters are used, avoiding any potential misconfiguration.

VerifiedBounds

Struct VerifiedBounds Copy item path

Implementations§

impl VerifiedBounds

pub fn total_available_bytes(&self) -> usize

pub fn total_minimum_required_bytes(&self) -> usize

pub fn total_firm_limit_bytes(&self) -> usize

pub fn bounds(&self) -> &ComponentBounds

Auto Trait Implementations§

impl Freeze for VerifiedBounds

impl RefUnwindSafe for VerifiedBounds

impl Send for VerifiedBounds

impl Sync for VerifiedBounds

impl Unpin for VerifiedBounds

impl UnwindSafe for VerifiedBounds

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

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

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Track for T

fn track_allocations(self, token: AllocationGroupToken) -> Tracked<Self> ⓘ

fn in_current_allocation_group(self) -> Tracked<Self> ⓘ

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithSubscriber for T

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

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct VerifiedBounds

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

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