Struct ThreadTermPool

pub struct ThreadTermPool { /* private fields */ }

Implementations

impl ThreadTermPool

pub fn new() -> ThreadTermPool

pub fn protect(&mut self, term: *const _aterm) -> ATerm

Protects the given aterm address and returns the term.

pub fn protect_container( &mut self, container: Arc<dyn Markable + Send + Sync>, ) -> usize

Protects the given aterm address and returns the term.

pub fn drop(&mut self, term: &ATerm)

Removes the ATerm from the protection set.

pub fn drop_container(&mut self, container_root: usize)

Removes the container from the protection set.

pub fn is_data_application(&mut self, term: &ATermRef<'_>) -> bool

Returns true iff the given term is a data application.

Trait Implementations

impl Default for ThreadTermPool

fn default() -> Self

Returns the “default value” for a type.

impl Drop for ThreadTermPool

fn drop(&mut self)

Executes the destructor for this type.