Struct ErasedExecutionContext

Source

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

Expand description

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§

Source §

impl<'a> ErasedExecutionContext<'a>

Source

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>());

Source

pub fn from_dyn( identity: ExecutionContextIdentity, value: &'a mut dyn Any, ) -> Self

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>());

Wrap an engine already erased to dyn Any, with the identity of its concrete type.

§Examples

use tenferro_runtime::{ErasedExecutionContext, ExecutionContextIdentity};

let mut value = 7_u32;
let context = ErasedExecutionContext::from_dyn(ExecutionContextIdentity::of::<u32>(), &mut value);
assert_eq!(context.identity(), ExecutionContextIdentity::of::<u32>());

Source

pub fn identity(&self) -> ExecutionContextIdentity

Source

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;