Struct BtapeGuard 

pub struct BtapeGuard<'a, F: BtapeThreadLocal> { /* private fields */ }

Available on crate feature bytecode only.

RAII guard that sets a bytecode tape as the thread-local active tape.

The 'a lifetime ties the guard to the borrow of the tape it was constructed from, so the borrow checker rejects any pattern where the guard could outlive its tape.

use echidna::bytecode_tape::{BtapeGuard, BytecodeTape};
let guard: BtapeGuard<f64>;
{
    let mut tape: BytecodeTape<f64> = BytecodeTape::new();
    guard = BtapeGuard::new(&mut tape);
} // tape dropped, but guard would survive — rejected by the borrow checker.
drop(guard);

Guards must be dropped in LIFO order (last activated, first deactivated). record() and the borrow checker enforce this for nested recording scopes; direct BtapeGuard users must uphold it too — dropping out of order would restore a stale pointer into the thread-local cell. A debug assertion in Drop catches violations.

Implementations

impl<'a, F: BtapeThreadLocal> BtapeGuard<'a, F>

pub fn new(tape: &'a mut BytecodeTape<F>) -> Self

Activate tape as the thread-local bytecode tape.

Trait Implementations

impl<'a, F: BtapeThreadLocal> Drop for BtapeGuard<'a, F>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.