Struct fuel_vm::constraints::CheckedMemConstLen

pub struct CheckedMemConstLen<const LEN: usize>(_);

A range of memory that has been checked that it fits into the VM memory.

Implementations

impl<const LEN: usize> CheckedMemConstLen<LEN>

pub fn new(address: Word) -> Result<Self, RuntimeError>

Create a new const sized memory range.

pub fn read(self, memory: &[u8; 67108864]) -> &[u8; LEN]

Get the memory slice for this range.

pub fn write(self, memory: &mut [u8; 67108864]) -> &mut [u8; LEN]

Get the mutable memory slice for this range.

Methods from Deref<Target = MemoryRange>

pub fn is_empty(&self) -> bool

Return true if the length is 0.

pub fn usizes(&self) -> Range<usize>

Convert to a raw usize range.

pub fn words(&self) -> Range<Word>

Convert to a raw Word range.

pub fn shrink_end(&mut self, by: usize)

This function is safe because it is only used to shrink the range and worst case the range will be empty.

pub fn grow_start(&mut self, by: usize)

This function is safe because it is only used to grow the range and worst case the range will be empty.

Methods from Deref<Target = Range<usize>>

pub fn contains<U>(&self, item: &U) -> boolwhere Idx: PartialOrd<U>, U: PartialOrd<Idx> + ?Sized,

Returns true if item is contained in the range.

Examples

assert!(!(3..5).contains(&2));
assert!( (3..5).contains(&3));
assert!( (3..5).contains(&4));
assert!(!(3..5).contains(&5));

assert!(!(3..3).contains(&3));
assert!(!(3..2).contains(&3));

assert!( (0.0..1.0).contains(&0.5));
assert!(!(0.0..1.0).contains(&f32::NAN));
assert!(!(0.0..f32::NAN).contains(&0.5));
assert!(!(f32::NAN..1.0).contains(&0.5));

pub fn is_empty(&self) -> bool

Returns true if the range contains no items.

Examples

assert!(!(3..5).is_empty());
assert!( (3..3).is_empty());
assert!( (3..2).is_empty());

The range is empty if either side is incomparable:

assert!(!(3.0..5.0).is_empty());
assert!( (3.0..f32::NAN).is_empty());
assert!( (f32::NAN..5.0).is_empty());

Trait Implementations

impl<const LEN: usize> Clone for CheckedMemConstLen<LEN>

fn clone(&self) -> CheckedMemConstLen<LEN>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const LEN: usize> Deref for CheckedMemConstLen<LEN>

type Target = MemoryRange

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<const LEN: usize> DerefMut for CheckedMemConstLen<LEN>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.