Struct ErasedExecutionContext 

pub struct ErasedExecutionContext<'a> { /* private fields */ }

Type-erased execution context with a checked identity.

Examples

use tenferro_runtime::{ErasedExecutionContext, ExecutionContextIdentity};

let mut value = 1_u64;
let erased = ErasedExecutionContext::new(&mut value);
assert_eq!(erased.identity(), ExecutionContextIdentity::of::<u64>());

Implementations

impl<'a> ErasedExecutionContext<'a>

pub fn new<T: 'static>(value: &'a mut T) -> Self

Erase a concrete execution context while retaining its type identity.

Examples

use tenferro_runtime::ErasedExecutionContext;

let mut value = 1_u64;
let erased = ErasedExecutionContext::new(&mut value);
assert_eq!(erased.identity().type_name(), std::any::type_name::<u64>());

pub fn identity(&self) -> ExecutionContextIdentity

Return the stored execution-context type identity.

Examples

use tenferro_runtime::{ErasedExecutionContext, ExecutionContextIdentity};

let mut value = 1_u64;
let erased = ErasedExecutionContext::new(&mut value);
assert_eq!(erased.identity(), ExecutionContextIdentity::of::<u64>());

pub fn downcast_mut<T: 'static>( &mut self, expected: ExecutionContextIdentity, ) -> Result<&mut T, ExecutionContextMismatch>

Downcast to the requested execution-context type after checking identity.

Examples

use tenferro_runtime::{ErasedExecutionContext, ExecutionContextIdentity};

let mut value = 1_u64;
let mut erased = ErasedExecutionContext::new(&mut value);
*erased.downcast_mut::<u64>(ExecutionContextIdentity::of::<u64>())? = 2;

Errors

Returns ExecutionContextMismatch when the stored identity, supplied expected identity, and requested type do not all agree.

Trait Implementations

impl Debug for ErasedExecutionContext<'_>

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

Formats the value using the given formatter.