Struct BindingPlan 

pub struct BindingPlan {
    pub bindings: Vec<Binding>,
    pub input_indices: Vec<usize>,
    pub output_indices: Vec<usize>,
    pub shared_indices: Vec<usize>,
}

Deterministic ABI plan for a VYRE program.

Fields

bindings: Vec<Binding>

Ordered binding descriptors, sorted by VYRE binding number.

input_indices: Vec<usize>

Original program buffer indices that consume host inputs.

output_indices: Vec<usize>

Original program buffer indices that produce host outputs.

shared_indices: Vec<usize>

Original program buffer indices that are workgroup-local.

Implementations

impl BindingPlan

pub fn build(program: &Program) -> Result<Self, BackendError>

Build a binding plan from a VYRE program without host input checks.

Errors

Returns when memory/access combinations or static byte sizing cannot be represented by a concrete backend ABI.

pub fn from_program( program: &Program, inputs: &[Vec<u8>], ) -> Result<Self, BackendError>

Build and validate a binding plan from a VYRE program.

Errors

Returns when input count, input byte lengths, buffer alignment, or memory/access combinations do not match the backend ABI contract.

pub fn from_borrowed_inputs( program: &Program, inputs: &[&[u8]], ) -> Result<Self, BackendError>

Build and validate a binding plan from borrowed input buffers.

Errors

Returns when input count, input byte lengths, buffer alignment, or memory/access combinations do not match the backend ABI contract.

pub fn from_input_lengths( program: &Program, input_lengths: &[usize], ) -> Result<Self, BackendError>

Build and validate a binding plan from backend-resident input byte lengths.

Errors

Returns when resident input counts are wrong or byte lengths are smaller than the program ABI requires.

pub fn validate_input_byte_lengths( &self, input_lengths: &[usize], ) -> Result<(), BackendError>

Verifies backend-resident input byte lengths satisfy this binding plan.

Errors

Returns when the caller supplies the wrong number of resident inputs or a resident input is smaller than the buffer declaration captured in this plan.

pub fn validate_inputs(&self, inputs: &[Vec<u8>]) -> Result<(), BackendError>

Verifies dynamic input slices match the expected plan.

Errors

Returns when the caller supplies the wrong number of inputs or an input length violates the buffer declaration.

pub fn validate_borrowed_inputs( &self, inputs: &[&[u8]], ) -> Result<(), BackendError>

Verifies borrowed dynamic input slices match the expected plan.

Errors

Returns when the caller supplies the wrong number of inputs or an input length violates the buffer declaration.

Trait Implementations

impl Clone for BindingPlan

fn clone(&self) -> BindingPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BindingPlan

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

Formats the value using the given formatter.

impl Eq for BindingPlan

impl PartialEq for BindingPlan

fn eq(&self, other: &BindingPlan) -> 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 BindingPlan