Struct Protector

pub struct Protector<'a, C: Markable> { /* private fields */ }

This is a helper struct used by TermContainer to protected terms that are inserted into the container before the guard is dropped.

The reason is that the ATermRef derive their lifetime from the TermContainer. However, when inserting terms with shorter lifetimes we know that their lifetime is extended by being in the container. This is enforced by runtime checks during debug for containers that implement IntoIterator.

Implementations

impl<'a, C: Markable> Protector<'a, C>

pub fn protect(&self, term: &ATermRef<'_>) -> ATermRef<'static>

Trait Implementations

impl<C: Markable> Deref for Protector<'_, C>

type Target = C

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<C: Markable> DerefMut for Protector<'_, C>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<C: Markable> Drop for Protector<'_, C>

fn drop(&mut self)

Executes the destructor for this type.