Struct HostCall 

pub struct HostCall { /* private fields */ }

Host call request from plugin

Corresponds to Lean: structure HostCall

Implementations

impl HostCall

pub fn new( caller: PluginId, function: HostFunction, args: Vec<u64>, reads: Vec<(MemAddr, Size)>, writes: Vec<(MemAddr, Size)>, ) -> Self

Create a new host call

pub fn caller(&self) -> PluginId

Get the caller plugin ID

pub fn function(&self) -> HostFunction

Get the host function to invoke

pub fn args(&self) -> &[u64]

Get the arguments

pub fn reads(&self) -> &[(MemAddr, Size)]

Get the read regions

pub fn writes(&self) -> &[(MemAddr, Size)]

Get the write regions

pub fn required_action(&self) -> Result<Action, StepError>

Derive the required authorization action from the host call semantics.

This binds authorization to the exact operation being performed, preventing the vulnerability where a valid Authorized token for one action could be reused to execute a different HostCall.

Errors

Returns StepError::HostCallPreconditionFailed if required arguments are missing or the operation is not yet implemented (thread operations).

pub fn check_preconditions(&self, state: &State) -> Result<(), StepError>

Check preconditions for the host call

Corresponds to Lean: def host_call_pre

Errors

Returns StepError::PluginNotFound if the caller plugin does not exist. Returns StepError::HostCallPreconditionFailed if a read or write region is out of bounds.

Trait Implementations

impl Clone for HostCall

fn clone(&self) -> HostCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HostCall

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

Formats the value using the given formatter.