Struct kodept_ast::graph::GhostToken

pub struct GhostToken(/* private fields */);

Implementations

impl GhostToken

pub fn new() -> Self

Methods from Deref<Target = TLCellOwner<Ghost>>

pub fn cell<T>(&self, value: T) -> TLCell<Q, T>

Create a new cell owned by this owner instance. See also TLCell::new.

pub fn ro<T, 'a>(&'a self, tc: &'a TLCell<Q, T>) -> &'a T

where T: ?Sized,

Borrow contents of a TLCell immutably (read-only). Many TLCell instances can be borrowed immutably at the same time from the same owner.

pub fn rw<T, 'a>(&'a mut self, tc: &'a TLCell<Q, T>) -> &'a mut T

where T: ?Sized,

Borrow contents of a TLCell mutably (read-write). Only one TLCell at a time can be borrowed from the owner using this call. The returned reference must go out of scope before another can be borrowed.

pub fn rw2<T, U, 'a>( &'a mut self, tc1: &'a TLCell<Q, T>, tc2: &'a TLCell<Q, U> ) -> (&'a mut T, &'a mut U)

where T: ?Sized, U: ?Sized,

Borrow contents of two TLCell instances mutably. Panics if the two TLCell instances point to the same memory.

pub fn rw3<T, U, V, 'a>( &'a mut self, tc1: &'a TLCell<Q, T>, tc2: &'a TLCell<Q, U>, tc3: &'a TLCell<Q, V> ) -> (&'a mut T, &'a mut U, &'a mut V)

where T: ?Sized, U: ?Sized, V: ?Sized,

Borrow contents of three TLCell instances mutably. Panics if any pair of TLCell instances point to the same memory.

Trait Implementations

impl Debug for GhostToken

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

Formats the value using the given formatter.

impl Deref for GhostToken

type Target = TLCellOwner<Ghost>

The resulting type after dereferencing.

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

Dereferences the value.

impl DerefMut for GhostToken

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'token> From<&'token GhostToken> for RefAccess<'token>

fn from(original: &'token GhostToken) -> RefAccess<'token>

Converts to this type from the input type.

impl<'token> From<&'token mut GhostToken> for MutAccess<'token>

fn from(original: &'token mut GhostToken) -> MutAccess<'token>

Converts to this type from the input type.

impl From<TLCellOwner<Ghost>> for GhostToken

fn from(original: TLCellOwner<Ghost>) -> GhostToken

Converts to this type from the input type.