Struct State 

pub struct State<'a, 'b> {

    pub root_mod: &'a mut Mod,
    pub mod_cursor: Vec<Ident>,
    pub cur_trait: Option<Ident>,
    pub cur_helper_mod: Option<Ident>,
    pub is_helper: bool,
    pub bound_vars: &'a mut VecDeque<BoundedTyvar<'b>>,
    pub var_offset: usize,
    pub origin: Vec<ImportExport<'b>>,
    pub cur_needs_vars: Option<&'a mut BTreeSet<u32>>,
    pub vars_needs_vars: &'a mut VecDeque<BTreeSet<u32>>,
    pub import_param_var: Option<Ident>,
    pub self_param_var: Option<Ident>,
    pub is_impl: bool,
    pub root_component_name: Option<(TokenStream, &'a str)>,
    pub is_guest: bool,
    pub is_wasmtime_guest: bool,
    pub is_export: bool,
}

A whole grab-bag of useful state to have while emitting Rust

Fields

root_mod: &'a mut Mod

A pointer to a Mod that everything we emit will end up in

mod_cursor: Vec<Ident>

A cursor to the current submodule (under State::root_mod), where decls that we are looking at right now should end up

cur_trait: Option<Ident>

If we are currently processing decls that should end up inside a trait (representing an instance or a resource), this names the trait where they should end up.

cur_helper_mod: Option<Ident>

We use a “helper module” for auxiliary definitions: for example, an instance represented by InstanceTrait would end up with nominal definitions for its nontrivial types in instance_trait::Type. This keeps track of the name of that module, if it presently exists.

is_helper: bool

Whether the trait/type definition that we are currently emitting is in the helper module or the main module corresponding directly to the wit package. This is important to get references to other types correct.

bound_vars: &'a mut VecDeque<BoundedTyvar<'b>>

All the bound variables in the component type that we are currently processing

var_offset: usize

An offset into bound_vars from which any variable indices we see in the source component type will be resolved; used to deal with the fact that when we recurse down into a type in the Eq bound of a type variable, its variables are offset from ours (since we use de Bruijn indices).

origin: Vec<ImportExport<'b>>

A path through instance import/export names from the root component type to the type we are currently processing. This is used with crate::etypes::TyvarOrigin to decide whether a type variable we encounter is “locally defined”, i.e. should have a type definition emitted for it in this module.

cur_needs_vars: Option<&'a mut BTreeSet<u32>>

A set of type variables that we encountered while emitting the type bound for a type variable.

vars_needs_vars: &'a mut VecDeque<BTreeSet<u32>>

A map from type variables to the type variables used in their bounds, used to ensure that we are parametrized over the things we need to be

import_param_var: Option<Ident>

The Rust type parameter used to represent the type that implements the imports of a component

self_param_var: Option<Ident>

The Rust type parameter used to represent the current Rust state type

is_impl: bool

Whether we are emitting an implementation of the component interfaces, or just the types of the interface

root_component_name: Option<(TokenStream, &'a str)>

A namespace path and a name representing the Rust trait generated for the root component that we started codegen from

is_guest: bool

Whether we are generating code for the Hyperlight host or the Hyperlight guest

is_wasmtime_guest: bool

A temporary hack to enable some special cases used by the wasmtime guest emit. When that is refactored to use the host guest emit, this can go away.

is_export: bool

Are we working on an export or an import of the component type?

Implementations

impl<'a, 'b> State<'a, 'b>

pub fn new( root_mod: &'a mut Mod, bound_vars: &'a mut VecDeque<BoundedTyvar<'b>>, vars_needs_vars: &'a mut VecDeque<BTreeSet<u32>>, is_guest: bool, is_wasmtime_guest: bool, ) -> Self

pub fn clone<'c>(&'c mut self) -> State<'c, 'b>

pub fn cur_mod<'c>(&'c mut self) -> &'c mut Mod

Obtain a reference to the Mod that we are currently generating code in, creating it if necessary

pub fn cur_mod_immut<'c>(&'c self) -> &'c Mod

Obtain an immutable reference to the Mod that we are currently generating code in.

Precondition: the module must already exist

pub fn with_cursor<'c>(&'c mut self, cursor: Vec<Ident>) -> State<'c, 'b>

Copy the state, changing its module cursor to emit code into a different module

pub fn with_needs_vars<'c>( &'c mut self, needs_vars: &'c mut BTreeSet<u32>, ) -> State<'c, 'b>

Copy the state, replacing its State::cur_needs_vars reference, allowing a caller to capture the vars referenced by any emit run with the resultant state

pub fn need_noff_var(&mut self, n: u32)

Record that an emit sequence needed a var, given an absolute index for the var (i.e. ignoring State::var_offset)

pub fn record_needs_vars(&mut self, n: u32)

Use the State::cur_needs_vars map to populate State::vars_needs_vars for a var that we presumably just finished emitting a bound for

pub fn get_noff_var_refs(&mut self, n: u32) -> BTreeSet<u32>

Get a list of all the variables needed by a var, given its absolute index (i.e. ignoring State::var_offset)

pub fn noff_var_id(&self, n: u32) -> Ident

Find the exported name which gave rise to a component type variable, given its absolute index (i.e. ignoring State::var_offset)

pub fn helper<'c>(&'c mut self) -> State<'c, 'b>

Copy the state, changing it to emit into the helper module of the current trait

pub fn root_path(&self) -> TokenStream

Construct a namespace token stream that can be emitted in the current module to refer to a name in the root module

pub fn helper_path(&self) -> TokenStream

Construct a namespace token stream that can be emitted in the current module to refer to a name in the helper module

pub fn cur_trait_path(&self) -> TokenStream

Emit a namespace token stream that can be emitted in the root module to refer to the current trait

pub fn add_helper_supertrait(&mut self, r: Ident)

Add a supertrait constraint referring to a trait in the helper module; primarily used to add a constraint for the trait representing a resource type.

pub fn cur_trait<'c>(&'c mut self) -> &'c mut Trait

Obtain a reference to the Trait that we are currently generating code in, creating it if necessary.

Precondition: we are currently generating code in a trait (i.e. State::cur_trait is not None)

pub fn cur_trait_immut<'c>(&'c self) -> &'c Trait

Obtain an immutable reference to the Trait that we are currently generating code in.

Precondition: we are currently generating code in a trait (i.e. State::cur_trait is not None), and that trait has already been created

pub fn trait<'c>( &'c mut self, namespace: &'c [Ident], name: Ident, ) -> &'c mut Trait

Obtain a reference to the trait at the given module path and name from the root module, creating it and any named modules if necessary

pub fn push_origin<'c>( &'c mut self, origin_was_export: bool, name: &'b str, ) -> State<'c, 'b>

Add an import/export to State::origin, reflecting that we are now looking at code underneath it

origin_was_export differs from s.is_export in that s.is_export keeps track of whether the item overall was imported or exported from the root component (taking into account positivity), whereas origin_was_export just checks if this particular extern_decl was imported or exported from its parent instance (and so e.g. an export of an instance that is imported by the root component has !s.is_export && origin_was_export)

pub fn is_var_defn(&self, t: &Defined<'b>) -> Option<(u32, TypeBound<'b>)>

Find out if a Defined type is actually a reference to a locally defined type variable, returning its index and bound if it is

pub fn is_noff_var_local<'c>( &'c self, n: u32, ) -> Option<(Vec<ImportExport<'c>>, TypeBound<'a>)>

Find out if a variable is locally-defined given its absolute index, returning its origin and bound if it is

pub fn resolve_trait_immut(&self, absolute: bool, path: &[Ident]) -> &Trait

Obtain an immutable reference to the trait at the specified namespace path, either from the root module (if absolute) is true, or from the current module

Precondition: all named traits/modules must exist

pub fn adjust_vars(&mut self, n: u32)

Shift all of the type variable indices over, because we have gone under some binders. Used when we switch from looking at a component’s import types (where type idxs are de Bruijn into the component’s uvar list) to a component’s export types (where type idx are de Bruijn first into the evar list and then the uvar list, as we go under the existential binders).

pub fn resolve_bound_var(&self, n: u32) -> ResolvedBoundVar<'b>

Resolve a type variable as far as possible: either this ends up with a definition, in which case, let’s get that, or it ends up with a resource type, in which case we return the resource index

Distinct from [Ctx::resolve_tv], which is mostly concerned with free variables, because this is concerned entirely with bound variables.

pub fn resource_trait_path(&self, r: Ident) -> Vec<Ident>

Construct a namespace path referring to the resource trait for a resource with the given name

Trait Implementations

impl<'a, 'b> Debug for State<'a, 'b>

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

Formats the value using the given formatter.