Struct ModeBufferGuard 

pub struct ModeBufferGuard(/* private fields */);

Evidence for the complete mode/buffer exclusion helper. This establishes the helper’s return value only; the caller must separately prove argument setup and how it uses that return value.

Implementations

impl ModeBufferGuard

pub fn inspect(bytes: &[u8]) -> Option<Self>

Match every instruction, including conditional branches and return. Unknown or truncated helpers never acquire an inferred behavior.

pub fn returns_one(self, mode: u8, buffer: u8) -> bool

Whether the matched helper returns one for its mode and buffer inputs. A one is not itself authorization: interpretation belongs to the caller.

Trait Implementations

impl Clone for ModeBufferGuard

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ModeBufferGuard

impl Debug for ModeBufferGuard

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

Formats the value using the given formatter.

impl Eq for ModeBufferGuard

impl PartialEq for ModeBufferGuard

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ModeBufferGuard