libspecr 0.1.41

standard library for specr lang
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

mod gccompat;
pub use gccompat::*;

mod state;
pub use state::*;

mod gccow;
pub use gccow::*;

mod trait_passthrough;

use std::cell::RefCell;

// Note that each thread has its own GC_STATE.
// You cannot share/send Garbage collected objects over threads.
thread_local! {
    pub(crate) static GC_STATE: RefCell<GcState> = RefCell::new(GcState::new());
}

fn with_gc<O>(f: impl FnOnce(&GcState) -> O) -> O {
    GC_STATE.with(|st| f(&*st.borrow()))
}

fn with_gc_mut<O>(f: impl FnOnce(&mut GcState) -> O) -> O {
    GC_STATE.with(|st| f(&mut *st.borrow_mut()))
}

/// clears every object not recursively reachable from `root`.
pub fn mark_and_sweep(root: &impl GcCompat) {
    with_gc_mut(|st| st.mark_and_sweep(root) );
}

/// clears all objects from the garbage collector.
pub fn clear() {
    with_gc_mut(|st| st.clear() );
}