Trait Contextual

pub trait Contextual: Sized {
    // Required method
    fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>;

    // Provided methods
    fn with(&self, ctx: &Arc<Mutex<Context>>) -> InContext<'_, Self> { ... }
    fn with_mut(&mut self, ctx: &Arc<Mutex<Context>>) -> InContextMut<'_, Self> { ... }
}

A trait for binding objects to Context temporarily, without permanently storing (and synchronizing) context references inside the objects.

See InContext for more details.

Required Methods

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

Provided Methods

fn with(&self, ctx: &Arc<Mutex<Context>>) -> InContext<'_, Self>

fn with_mut(&mut self, ctx: &Arc<Mutex<Context>>) -> InContextMut<'_, Self>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<T> Contextual for Vec<T>

where T: ExclusivelyContextual,

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

Implementors

impl Contextual for Polynomial<LinkID>

impl Contextual for Clause

impl Contextual for Literal

impl Contextual for Variable

impl Contextual for FiringComponent

impl<T> Contextual for T

where T: ExclusivelyContextual,