Struct FunctionCtx
pub struct FunctionCtx<'a> {
pub ty: FunctionType,
pub info: &'a FunctionInfo,
pub expressions: &'a Arena<Expression>,
pub named_expressions: &'a IndexMap<Handle<Expression>, String, BuildHasherDefault<FxHasher>>,
pub expr_kind_tracker: ExpressionKindTracker,
}
Available on crate feature
unstable-wgpu-24
only.Expand description
Helper structure that stores data needed when writing the function
Fields§
§ty: FunctionType
The current function being written
info: &'a FunctionInfo
Analysis about the function
expressions: &'a Arena<Expression>
The expression arena of the current function being written
named_expressions: &'a IndexMap<Handle<Expression>, String, BuildHasherDefault<FxHasher>>
Map of expressions that have associated variable names
expr_kind_tracker: ExpressionKindTracker
For constness checks
Implementations§
§impl FunctionCtx<'_>
impl FunctionCtx<'_>
pub fn resolve_type<'a>(
&'a self,
handle: Handle<Expression>,
types: &'a UniqueArena<Type>,
) -> &'a TypeInner
pub fn resolve_type<'a>( &'a self, handle: Handle<Expression>, types: &'a UniqueArena<Type>, ) -> &'a TypeInner
Helper method that resolves a type of a given expression.
pub const fn name_key(&self, local: Handle<LocalVariable>) -> NameKey
pub const fn name_key(&self, local: Handle<LocalVariable>) -> NameKey
Helper method that generates a NameKey
for a local in the current function
pub const fn argument_key(&self, arg: u32) -> NameKey
pub const fn argument_key(&self, arg: u32) -> NameKey
pub fn is_fixed_function_input(
&self,
expression: Handle<Expression>,
module: &Module,
) -> Option<BuiltIn>
pub fn is_fixed_function_input( &self, expression: Handle<Expression>, module: &Module, ) -> Option<BuiltIn>
Returns true if the given expression points to a fixed-function pipeline input.
Auto Trait Implementations§
impl<'a> Freeze for FunctionCtx<'a>
impl<'a> RefUnwindSafe for FunctionCtx<'a>
impl<'a> Send for FunctionCtx<'a>
impl<'a> Sync for FunctionCtx<'a>
impl<'a> Unpin for FunctionCtx<'a>
impl<'a> UnwindSafe for FunctionCtx<'a>
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
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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