Struct HandBuilt

Source

struct HandBuilt {
    types: HashSet<String>,
    self_type: Option<String>,
    miniextendr_impl: bool,
    locals: HashMap<String, String>,
}

Expand description

The types a file builds ExternalPtrs of itself (MXL121), in any item:

the struct in ExternalPtr::new(T { .. }) / ExternalPtr::new(T(..)) (or new_unchecked), with Self inside impl T, or in ExternalPtr::new(x) after let x = T { .. } / let x = T(..) / let x: T = .. in the same function body (the last let x wins);
T in an ExternalPtr<T> written as a type or a turbofish (ExternalPtr::<T>::new(..)): return types, let annotations, fields, generic arguments.

A function’s parameters, its receiver among them, are objects the caller has already, and are skipped. So is the impl’s own type in a method of a #[miniextendr] impl block that takes self, as for FileData::returned_types. A value from a call whose type isn’t written (let record = make_record(inner); ExternalPtr::new(record)), a value from another function, and code inside macro calls (vec![..]) stay invisible.

Fields§

§types: HashSet<String>§self_type: Option<String>

The type Self names here: the enclosing impl’s.

§miniextendr_impl: bool

Inside a #[miniextendr] impl block.

§locals: HashMap<String, String>

The type of each let binding of the current function body whose value is a struct literal or whose annotation names it.

Struct HandBuilt Copy item path

Fields§

Implementations§

impl HandBuilt

fn in_fn(&mut self, visit_fn: impl FnOnce(&mut Self))

fn literal_type(&self, expr: &Expr) -> Option<String>

Trait Implementations§

impl Default for HandBuilt

fn default() -> Self

impl<'ast> Visit<'ast> for HandBuilt

fn visit_item_impl(&mut self, item: &'ast ItemImpl)

fn visit_item_fn(&mut self, item: &'ast ItemFn)

fn visit_trait_item_fn(&mut self, method: &'ast TraitItemFn)

fn visit_impl_item_fn(&mut self, method: &'ast ImplItemFn)

fn visit_local(&mut self, local: &'ast Local)

fn visit_fn_arg(&mut self, _: &'ast FnArg)

fn visit_expr_call(&mut self, call: &'ast ExprCall)

fn visit_path(&mut self, path: &'ast Path)

fn visit_abi(&mut self, i: &'ast Abi)

fn visit_angle_bracketed_generic_arguments( &mut self, i: &'ast AngleBracketedGenericArguments, )

fn visit_arm(&mut self, i: &'ast Arm)

fn visit_assoc_const(&mut self, i: &'ast AssocConst)

fn visit_assoc_type(&mut self, i: &'ast AssocType)

fn visit_attr_style(&mut self, i: &'ast AttrStyle)

fn visit_attribute(&mut self, i: &'ast Attribute)

fn visit_bare_fn_arg(&mut self, i: &'ast BareFnArg)

fn visit_bare_variadic(&mut self, i: &'ast BareVariadic)

fn visit_bin_op(&mut self, i: &'ast BinOp)

fn visit_block(&mut self, i: &'ast Block)

fn visit_bound_lifetimes(&mut self, i: &'ast BoundLifetimes)

fn visit_captured_param(&mut self, i: &'ast CapturedParam)

fn visit_const_param(&mut self, i: &'ast ConstParam)

fn visit_constraint(&mut self, i: &'ast Constraint)

fn visit_data(&mut self, i: &'ast Data)

fn visit_data_enum(&mut self, i: &'ast DataEnum)

fn visit_data_struct(&mut self, i: &'ast DataStruct)

fn visit_data_union(&mut self, i: &'ast DataUnion)

fn visit_derive_input(&mut self, i: &'ast DeriveInput)

fn visit_expr(&mut self, i: &'ast Expr)

fn visit_expr_array(&mut self, i: &'ast ExprArray)

fn visit_expr_assign(&mut self, i: &'ast ExprAssign)

fn visit_expr_async(&mut self, i: &'ast ExprAsync)

fn visit_expr_await(&mut self, i: &'ast ExprAwait)

fn visit_expr_binary(&mut self, i: &'ast ExprBinary)

fn visit_expr_block(&mut self, i: &'ast ExprBlock)

fn visit_expr_break(&mut self, i: &'ast ExprBreak)

fn visit_expr_cast(&mut self, i: &'ast ExprCast)

fn visit_expr_closure(&mut self, i: &'ast ExprClosure)

fn visit_expr_const(&mut self, i: &'ast ExprConst)

fn visit_expr_continue(&mut self, i: &'ast ExprContinue)

fn visit_expr_field(&mut self, i: &'ast ExprField)

fn visit_expr_for_loop(&mut self, i: &'ast ExprForLoop)

fn visit_expr_group(&mut self, i: &'ast ExprGroup)

fn visit_expr_if(&mut self, i: &'ast ExprIf)

fn visit_expr_index(&mut self, i: &'ast ExprIndex)

fn visit_expr_infer(&mut self, i: &'ast ExprInfer)

fn visit_expr_let(&mut self, i: &'ast ExprLet)

fn visit_expr_lit(&mut self, i: &'ast ExprLit)

fn visit_expr_loop(&mut self, i: &'ast ExprLoop)

fn visit_expr_macro(&mut self, i: &'ast ExprMacro)

fn visit_expr_match(&mut self, i: &'ast ExprMatch)

fn visit_expr_method_call(&mut self, i: &'ast ExprMethodCall)

fn visit_expr_paren(&mut self, i: &'ast ExprParen)

fn visit_expr_path(&mut self, i: &'ast ExprPath)

fn visit_expr_range(&mut self, i: &'ast ExprRange)

fn visit_expr_raw_addr(&mut self, i: &'ast ExprRawAddr)

fn visit_expr_reference(&mut self, i: &'ast ExprReference)

fn visit_expr_repeat(&mut self, i: &'ast ExprRepeat)

fn visit_expr_return(&mut self, i: &'ast ExprReturn)

fn visit_expr_struct(&mut self, i: &'ast ExprStruct)

fn visit_expr_try(&mut self, i: &'ast ExprTry)

fn visit_expr_try_block(&mut self, i: &'ast ExprTryBlock)

fn visit_expr_tuple(&mut self, i: &'ast ExprTuple)

fn visit_expr_unary(&mut self, i: &'ast ExprUnary)

fn visit_expr_unsafe(&mut self, i: &'ast ExprUnsafe)

fn visit_expr_while(&mut self, i: &'ast ExprWhile)

fn visit_expr_yield(&mut self, i: &'ast ExprYield)

fn visit_field(&mut self, i: &'ast Field)

fn visit_field_mutability(&mut self, i: &'ast FieldMutability)

fn visit_field_pat(&mut self, i: &'ast FieldPat)

Struct HandBuilt