Struct BindingFixture 

pub struct BindingFixture { /* private fields */ }

One observable program binding used by the standard execution cases.

Implementations

impl BindingFixture

pub fn new( slot: u32, access: AccessMode, domain: MemoryDomain, alignment: u64, initial: impl Into<Vec<u8>>, expected: impl Into<Vec<u8>>, ) -> Result<Self, TargetDescriptionError>

Describe one nonempty binding and its expected bytes after successful completion.

pub fn read_only( slot: u32, domain: MemoryDomain, alignment: u64, initial: impl Into<Vec<u8>>, ) -> Result<Self, TargetDescriptionError>

Describe one nonempty read-only binding whose bytes must be unchanged after completion.

Read-only fixtures model program inputs of lowered artifacts whose input and output slots are disjoint. The executing cases verify the bytes byte-for-byte after completion, so a program that clobbers its inputs fails the suite.

pub const fn is_writable(&self) -> bool

Whether the program may write through this binding, making its output observable.

pub const fn slot(&self) -> u32

pub const fn access(&self) -> AccessMode

pub const fn domain(&self) -> MemoryDomain

pub const fn alignment(&self) -> u64

pub fn initial(&self) -> &[u8]

pub fn expected(&self) -> &[u8]

pub fn bytes(&self) -> u64

Trait Implementations

impl Clone for BindingFixture

fn clone(&self) -> BindingFixture

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BindingFixture

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for BindingFixture

impl PartialEq for BindingFixture

fn eq(&self, other: &BindingFixture) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BindingFixture