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>,
}

Available on crate feature unstable-wgpu-26 only.

Fields

types: &'a UniqueArena<Type>

constants: &'a Arena<Constant>

overrides: &'a Arena<Override>

global_expressions: &'a Arena<Expression>

Implementations

impl GlobalCtx<'_>

pub fn compare_types(&self, lhs: &TypeResolution, rhs: &TypeResolution) -> bool

Trait Implementations

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

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

Returns a duplicate 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_unnamed_struct<W>( &self, _: &TypeInner, out: &mut W, ) -> Result<(), Error>

where W: Write,

Write a TypeInner::Struct for which we are unable to find a name.

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

where W: Write,

Write the WGSL form of override to out.

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

where W: Write,

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

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

where W: Write,

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

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

where W: Write,

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

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

where W: Write,

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

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

where W: Write,

Write the Scalar scalar as a WGSL type.

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

where W: Write,

Write the TypeResolution resolution as a WGSL type.

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

where W: Write,

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

where W: Write,

fn type_to_string(&self, handle: Handle<Type>) -> 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>