Struct swipl::engine::EngineActivation

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

A prolog engine activation.

When activating a prolog engine, this object is returned. The object is guaranteed to not outlive the engine it was created from. Furthermore, any one engine can have at most one activation in existence at any time, and each thread can have at most one engine activated on it.

EngineActivation does not implement Send or Sync. This means it’s only allowed to be used from the thread that originally created it.

Implementations

impl<'a> EngineActivation<'a>

pub fn engine_ptr(&self) -> PL_engine_t

Returns the engine pointer of the engine associated with this activation.

Trait Implementations

impl<'a> Debug for EngineActivation<'a>

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

Formats the value using the given formatter.

impl<'a> Drop for EngineActivation<'a>

fn drop(&mut self)

Executes the destructor for this type.

impl<'a> From<EngineActivation<'a>> for Context<'a, ActivatedEngine<'a>>

fn from(activation: EngineActivation<'a>) -> Context<'a, ActivatedEngine<'a>>

Converts to this type from the input type.