Struct Context

pub(crate) struct Context<'rt> {
    pub(crate) block: Block<false>,
    root_set: &'rt RootSet,
    next_limit: usize,
}

Owns all allocations and creates objects. All objects have a lifetime tied to the borrow of their Context. When the Context goes out of scope, no objects should be accessible.

Fields

block: Block<false>

root_set: &'rt RootSet

next_limit: usize

Implementations

impl<'ob, 'rt> Context<'rt>

const MIN_GC_BYTES: usize = 2_000usize

const GC_GROWTH_FACTOR: usize = 12usize

pub(crate) fn new(roots: &'rt RootSet) -> Self

pub(crate) fn from_block(block: Block<false>, roots: &'rt RootSet) -> Self

pub(crate) fn bind<T>(&'ob self, obj: T) -> <T as WithLifetime<'ob>>::Out

where T: WithLifetime<'ob>,

pub(crate) fn get_root_set(&'ob self) -> &'rt RootSet

pub(crate) fn garbage_collect(&mut self, force: bool)

Methods from Deref<Target = Block<false>>

pub(crate) fn add<'ob, T, Tx>(&'ob self, obj: T) -> Gc<ObjectType<'ob>>

where T: IntoObject<Out<'ob> = Tx>, Gc<Tx>: Into<Gc<ObjectType<'ob>>>,

pub(crate) fn add_as<'ob, T, Tx, V>(&'ob self, obj: T) -> Gc<V>

where T: IntoObject<Out<'ob> = Tx>, Gc<Tx>: Into<Gc<V>>,

pub(crate) fn string_with_capacity(&self, cap: usize) -> String<'_>

Create a new String whose backing storage is already part of the GC heap. Does not require dropping when moved during garbage collection (unlike std::string).

pub(crate) fn vec_new(&self) -> GcVec<'_, Gc<ObjectType<'_>>>

Create a new Vec whose backing storage is already part of the GC heap. Does not require dropping when moved during garbage collection (unlike std::vec).

pub(crate) fn vec_with_capacity( &self, cap: usize, ) -> GcVec<'_, Gc<ObjectType<'_>>>

Trait Implementations

impl AsRef<Block<false>> for Context<'_>

fn as_ref(&self) -> &Block<false>

Converts this type into a shared reference of the (usually inferred) input type.

impl Drop for Context<'_>

fn drop(&mut self)

Executes the destructor for this type.

impl Deref for Context<'_>

type Target = Block<false>

The resulting type after dereferencing.

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

Dereferences the value.