Struct fuel_vm::constraints::CheckedMemRange

pub struct CheckedMemRange(_);

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

Implementations

impl CheckedMemRange

pub fn new_const<const SIZE: usize>(address: Word) -> Result<Self, RuntimeError>

Create a new const sized memory range.

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

Create a new memory range.

pub fn new_with_constraint( address: Word, size: usize, constraint: Range<Word> ) -> Result<Self, RuntimeError>

Create a new memory range with a custom constraint. The min of the constraints end and VM_MAX_RAM will be used.

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.

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

Get the memory slice for this range.

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

Get the mutable memory slice for this range.

Trait Implementations

impl Clone for CheckedMemRange

fn clone(&self) -> CheckedMemRange

Returns a copy of the value.

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

Performs copy-assignment from source.