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 new_with_constraint( address: Word, constraint: Range<Word> ) -> Result<Self, RuntimeError>

Create a new memory range with a custom constraint. Panics if constraints end > VM_MAX_RAM.

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 = CheckedMemRange>

pub fn start(&self) -> usize

The start of the range.

pub fn end(&self) -> usize

The end of the 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.

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 = CheckedMemRange

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.