pub struct VariableAllocator<'db> {
pub db: &'db dyn Database,
pub variables: VariableArena<'db>,
pub lookup_context: ImplLookupContextId<'db>,
}Fields§
§db: &'db dyn Database§variables: VariableArena<'db>Arena of allocated lowered variables.
lookup_context: ImplLookupContextId<'db>Implementations§
Source§impl<'db> VariableAllocator<'db>
impl<'db> VariableAllocator<'db>
pub fn new( db: &'db dyn Database, function_id: FunctionWithBodyId<'db>, variables: VariableArena<'db>, ) -> Maybe<Self>
Sourcepub fn new_var(&mut self, req: VarRequest<'db>) -> VariableId
pub fn new_var(&mut self, req: VarRequest<'db>) -> VariableId
Allocates a new variable in the context’s variable arena according to the context.
Sourcepub fn get_location(
&self,
stable_ptr: SyntaxStablePtrId<'db>,
) -> LocationId<'db>
pub fn get_location( &self, stable_ptr: SyntaxStablePtrId<'db>, ) -> LocationId<'db>
Retrieves the LocationId of a stable syntax pointer in the current function file.
Trait Implementations§
Auto Trait Implementations§
impl<'db> Freeze for VariableAllocator<'db>
impl<'db> !RefUnwindSafe for VariableAllocator<'db>
impl<'db> !Send for VariableAllocator<'db>
impl<'db> !Sync for VariableAllocator<'db>
impl<'db> Unpin for VariableAllocator<'db>
impl<'db> !UnwindSafe for VariableAllocator<'db>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<'db, T> DebugDbUpcast<'db, T> for Twhere
T: ?Sized,
impl<'db, T> DebugDbUpcast<'db, T> for Twhere
T: ?Sized,
fn debug_db_upcast(&'db self) -> &'db T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more