Struct naga::valid::function::BlockContext

struct BlockContext<'a> {
    abilities: ControlFlowAbility,
    info: &'a FunctionInfo,
    expressions: &'a Arena<Expression>,
    types: &'a UniqueArena<Type>,
    local_vars: &'a Arena<LocalVariable>,
    global_vars: &'a Arena<GlobalVariable>,
    functions: &'a Arena<Function>,
    special_types: &'a SpecialTypes,
    prev_infos: &'a [FunctionInfo],
    return_type: Option<Handle<Type>>,
}

Fields

abilities: ControlFlowAbility

info: &'a FunctionInfo

expressions: &'a Arena<Expression>

types: &'a UniqueArena<Type>

local_vars: &'a Arena<LocalVariable>

global_vars: &'a Arena<GlobalVariable>

functions: &'a Arena<Function>

special_types: &'a SpecialTypes

prev_infos: &'a [FunctionInfo]

return_type: Option<Handle<Type>>

Implementations

impl<'a> BlockContext<'a>

fn new( fun: &'a Function, module: &'a Module, info: &'a FunctionInfo, prev_infos: &'a [FunctionInfo], ) -> Self

const fn with_abilities(&self, abilities: ControlFlowAbility) -> Self

fn get_expression(&self, handle: Handle<Expression>) -> &'a Expression

fn resolve_type_impl( &self, handle: Handle<Expression>, valid_expressions: &HandleSet<Expression>, ) -> Result<&TypeInner, WithSpan<ExpressionError>>

fn resolve_type( &self, handle: Handle<Expression>, valid_expressions: &HandleSet<Expression>, ) -> Result<&TypeInner, WithSpan<FunctionError>>

fn resolve_pointer_type(&self, handle: Handle<Expression>) -> &TypeInner