Struct GlobalCtx

pub struct GlobalCtx<'a> {
    pub types: &'a UniqueArena<Type>,
    pub constants: &'a Arena<Constant>,
    pub overrides: &'a Arena<Override>,
    pub global_expressions: &'a Arena<Expression>,
}

Fields

types: &'a UniqueArena<Type>

constants: &'a Arena<Constant>

overrides: &'a Arena<Override>

global_expressions: &'a Arena<Expression>

Implementations

impl GlobalCtx<'_>

pub(crate) fn eval_expr_to_u32( &self, handle: Handle<Expression>, ) -> Result<u32, U32EvalError>

Try to evaluate the expression in self.global_expressions using its handle and return it as a u32.

pub(crate) fn eval_expr_to_u32_from( &self, handle: Handle<Expression>, arena: &Arena<Expression>, ) -> Result<u32, U32EvalError>

Try to evaluate the expression in the arena using its handle and return it as a u32.

pub(crate) fn eval_expr_to_bool_from( &self, handle: Handle<Expression>, arena: &Arena<Expression>, ) -> Option<bool>

Try to evaluate the expression in the arena using its handle and return it as a bool.

pub(crate) fn eval_expr_to_literal( &self, handle: Handle<Expression>, ) -> Option<Literal>

pub(crate) fn eval_expr_to_literal_from( &self, handle: Handle<Expression>, arena: &Arena<Expression>, ) -> Option<Literal>

Trait Implementations

impl<'a> Clone for GlobalCtx<'a>

fn clone(&self) -> GlobalCtx<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl TypeContext for GlobalCtx<'_>

Format types as WGSL based on a GlobalCtx.

This is probably good enough for diagnostic output, but it has some limitations:

• It does not apply Namer renamings, to avoid collisions.

• It generates invalid WGSL for anonymous struct types.

• It doesn’t write the lengths of override-expression-sized arrays correctly, unless the expression is just the override identifier.

fn lookup_type(&self, handle: Handle<Type>) -> &Type

Return the Type referred to by handle.

fn type_name(&self, handle: Handle<Type>) -> &str

Return the name to be used for the type referred to by handle.

fn write_override<W: Write>( &self, handle: Handle<Override>, out: &mut W, ) -> Result

Write the WGSL form of override to out.

fn write_non_wgsl_inner<W: Write>( &self, inner: &TypeInner, out: &mut W, ) -> Result

Write a TypeInner that has no representation as WGSL source, even including Naga extensions.

fn write_non_wgsl_scalar<W: Write>(&self, scalar: Scalar, out: &mut W) -> Result

Write a Scalar that has no representation as WGSL source, even including Naga extensions.

fn write_type<W: Write>(&self, handle: Handle<Type>, out: &mut W) -> Result

Write the type ty as it would appear in a value’s declaration.

fn write_type_inner<W: Write>(&self, inner: &TypeInner, out: &mut W) -> Result

Write the TypeInner inner as it would appear in a value’s declaration.

fn write_scalar<W: Write>(&self, scalar: Scalar, out: &mut W) -> Result

Write the Scalar scalar as a WGSL type.

fn write_type_resolution<W: Write>( &self, resolution: &TypeResolution, out: &mut W, ) -> Result

Write the TypeResolution resolution as a WGSL type.

fn write_type_conclusion<W: Write>( &self, conclusion: &Conclusion, out: &mut W, ) -> Result

fn write_type_rule<W: Write>( &self, name: &str, rule: &Rule, out: &mut W, ) -> Result

fn type_to_string(&self, handle: Handle<Type>) -> String

fn type_inner_to_string(&self, inner: &TypeInner) -> String

fn type_resolution_to_string(&self, resolution: &TypeResolution) -> String

fn type_rule_to_string(&self, name: &str, rule: &Rule) -> String

impl<'a> Copy for GlobalCtx<'a>