Struct MachinePermit 

pub struct MachinePermit { /* private fields */ }

Proof that one exact immutable machine description passed admission.

Implementations

impl MachinePermit

pub fn admit<P, M, A>( description: &MachineDescription<'_, P, M>, ) -> Result<Self, AdmissionError<A::Refusal>>

where P: InstructionPolicy, P::InstructionId: Copy + Eq + Ord, A: AdmissionPolicy<P, M>,

Validates the complete description and mints its content-bound permit.

pub fn content_id(&self) -> &ContentId

Returns the kernel content identity admitted by this permit.

pub fn accepts<P, M, A>( &self, description: &MachineDescription<'_, P, M>, ) -> bool

where P: InstructionPolicy, P::InstructionId: Copy + Eq + Ord, A: AdmissionPolicy<P, M>,

Returns whether this permit binds exactly the supplied description.

Trait Implementations

impl Clone for MachinePermit

fn clone(&self) -> MachinePermit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MachinePermit

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

Formats the value using the given formatter.

impl Eq for MachinePermit

impl PartialEq for MachinePermit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MachinePermit