Struct naga::proc::ResolveContext

source ·
pub struct ResolveContext<'a> {
    pub constants: &'a Arena<Constant>,
    pub overrides: &'a Arena<Override>,
    pub types: &'a UniqueArena<Type>,
    pub special_types: &'a SpecialTypes,
    pub global_vars: &'a Arena<GlobalVariable>,
    pub local_vars: &'a Arena<LocalVariable>,
    pub functions: &'a Arena<Function>,
    pub arguments: &'a [FunctionArgument],
}

Fields§

§constants: &'a Arena<Constant>§overrides: &'a Arena<Override>§types: &'a UniqueArena<Type>§special_types: &'a SpecialTypes§global_vars: &'a Arena<GlobalVariable>§local_vars: &'a Arena<LocalVariable>§functions: &'a Arena<Function>§arguments: &'a [FunctionArgument]

Implementations§

source§

impl<'a> ResolveContext<'a>

source

pub const fn with_locals( module: &'a Module, local_vars: &'a Arena<LocalVariable>, arguments: &'a [FunctionArgument] ) -> Self

Initialize a resolve context from the module.

source

pub fn resolve( &self, expr: &Expression, past: impl Fn(Handle<Expression>) -> Result<&'a TypeResolution, ResolveError> ) -> Result<TypeResolution, ResolveError>

Determine the type of expr.

The past argument must be a closure that can resolve the types of any expressions that expr refers to. These can be gathered by caching the results of prior calls to resolve, perhaps as done by the front::Typifier utility type.

Type resolution is a read-only process: this method takes self by shared reference. However, this means that we cannot add anything to self.types that we might need to describe expr. To work around this, this method returns a TypeResolution, rather than simply returning a Handle<Type>; see the documentation for TypeResolution for details.

Auto Trait Implementations§

§

impl<'a> RefUnwindSafe for ResolveContext<'a>

§

impl<'a> Send for ResolveContext<'a>

§

impl<'a> Sync for ResolveContext<'a>

§

impl<'a> Unpin for ResolveContext<'a>

§

impl<'a> UnwindSafe for ResolveContext<'a>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.