Struct naga::front::Typifier

pub struct Typifier { /* fields omitted */ }

Helper processor that derives the types of all expressions.

Implementations

impl Typifier

pub fn new() -> Self

pub fn reset(&mut self)

pub fn get<'a>(
    &'a self,
    expr_handle: Handle<Expression>,
    types: &'a Arena<Type>
) -> &'a TypeInner

pub fn grow(
    &mut self,
    expr_handle: Handle<Expression>,
    expressions: &Arena<Expression>,
    ctx: &ResolveContext<'_>
) -> Result<(), ResolveError>

pub fn invalidate(
    &mut self,
    expr_handle: Handle<Expression>,
    expressions: &Arena<Expression>,
    ctx: &ResolveContext<'_>
) -> Result<(), ResolveError>

Invalidates the cached type resolution for epxr_handle forcing a recomputation

If the type of the expression hasn’t yet been calculated a grow is performed instead

Trait Implementations

impl Debug for Typifier

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

Formats the value using the given formatter.

impl Default for Typifier

fn default() -> Typifier

Returns the “default value” for a type.

impl Index<Handle<Expression>> for Typifier

type Output = TypeResolution

The returned type after indexing.

fn index(&self, handle: Handle<Expression>) -> &Self::Output

Performs the indexing (container[index]) operation.