Trait Visitor

pub trait Visitor: Sized {
    // Provided methods
    fn visit_qualifier(&mut self, qualifier: &Qualifier) { ... }
    fn visit_defn(&mut self, defn: &SpecFunc) { ... }
    fn visit_refine_param(&mut self, param: &RefineParam) { ... }
    fn visit_generic_param(&mut self, param: &GenericParam) { ... }
    fn visit_sort(&mut self, sort: &Sort) { ... }
    fn visit_trait(&mut self, trait_: &Trait) { ... }
    fn visit_trait_assoc_reft(&mut self, assoc_reft: &TraitAssocReft) { ... }
    fn visit_impl(&mut self, impl_: &Impl) { ... }
    fn visit_impl_assoc_reft(&mut self, assoc_reft: &ImplAssocReft) { ... }
    fn visit_trait_ref(&mut self, trait_ref: &TraitRef) { ... }
    fn visit_base_sort(&mut self, bsort: &BaseSort) { ... }
    fn visit_sort_path(&mut self, path: &SortPath) { ... }
    fn visit_ty_alias(&mut self, ty_alias: &TyAlias) { ... }
    fn visit_struct_def(&mut self, struct_def: &StructDef) { ... }
    fn visit_enum_def(&mut self, enum_def: &EnumDef) { ... }
    fn visit_variant(&mut self, variant: &VariantDef) { ... }
    fn visit_variant_ret(&mut self, ret: &VariantRet) { ... }
    fn visit_fn_sig(&mut self, fn_sig: &FnSig) { ... }
    fn visit_fn_output(&mut self, fn_output: &FnOutput) { ... }
    fn visit_async(&mut self, _asyncness: &Async) { ... }
    fn visit_generics(&mut self, generics: &Generics) { ... }
    fn visit_fn_input(&mut self, input: &FnInput) { ... }
    fn visit_fn_ret_ty(&mut self, fn_ret_ty: &FnRetTy) { ... }
    fn visit_ensures(&mut self, ensures: &Ensures) { ... }
    fn visit_where_predicate(&mut self, predicate: &WhereBoundPredicate) { ... }
    fn visit_generic_arg(&mut self, arg: &GenericArg) { ... }
    fn visit_refine_arg(&mut self, arg: &RefineArg) { ... }
    fn visit_indices(&mut self, indices: &Indices) { ... }
    fn visit_ty(&mut self, ty: &Ty) { ... }
    fn visit_const_arg(&mut self, _const_arg: &ConstArg) { ... }
    fn visit_bty(&mut self, bty: &BaseTy) { ... }
    fn visit_path(&mut self, path: &Path) { ... }
    fn visit_path_segment(&mut self, segment: &PathSegment) { ... }
    fn visit_expr(&mut self, expr: &Expr) { ... }
    fn visit_constructor_args(&mut self, expr: &ConstructorArg) { ... }
    fn visit_alias_pred(&mut self, alias_pred: &AliasReft) { ... }
    fn visit_path_expr(&mut self, qpath: &ExprPath) { ... }
    fn visit_path_expr_segment(&mut self, segment: &ExprPathSegment) { ... }
    fn visit_ident(&mut self, _ident: Ident) { ... }
    fn visit_literal(&mut self, _lit: Lit) { ... }
}

Provided Methods

fn visit_qualifier(&mut self, qualifier: &Qualifier)

fn visit_defn(&mut self, defn: &SpecFunc)

fn visit_refine_param(&mut self, param: &RefineParam)

fn visit_generic_param(&mut self, param: &GenericParam)

fn visit_sort(&mut self, sort: &Sort)

fn visit_trait(&mut self, trait_: &Trait)

fn visit_trait_assoc_reft(&mut self, assoc_reft: &TraitAssocReft)

fn visit_impl(&mut self, impl_: &Impl)

fn visit_impl_assoc_reft(&mut self, assoc_reft: &ImplAssocReft)

fn visit_trait_ref(&mut self, trait_ref: &TraitRef)

fn visit_base_sort(&mut self, bsort: &BaseSort)

fn visit_sort_path(&mut self, path: &SortPath)

fn visit_ty_alias(&mut self, ty_alias: &TyAlias)

fn visit_struct_def(&mut self, struct_def: &StructDef)

fn visit_enum_def(&mut self, enum_def: &EnumDef)

fn visit_variant(&mut self, variant: &VariantDef)

fn visit_variant_ret(&mut self, ret: &VariantRet)

fn visit_fn_sig(&mut self, fn_sig: &FnSig)

fn visit_fn_output(&mut self, fn_output: &FnOutput)

fn visit_async(&mut self, _asyncness: &Async)

fn visit_generics(&mut self, generics: &Generics)

fn visit_fn_input(&mut self, input: &FnInput)

fn visit_fn_ret_ty(&mut self, fn_ret_ty: &FnRetTy)

fn visit_ensures(&mut self, ensures: &Ensures)

fn visit_where_predicate(&mut self, predicate: &WhereBoundPredicate)

fn visit_generic_arg(&mut self, arg: &GenericArg)

fn visit_refine_arg(&mut self, arg: &RefineArg)

fn visit_indices(&mut self, indices: &Indices)

fn visit_ty(&mut self, ty: &Ty)

fn visit_const_arg(&mut self, _const_arg: &ConstArg)

fn visit_bty(&mut self, bty: &BaseTy)

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

fn visit_path_segment(&mut self, segment: &PathSegment)

fn visit_expr(&mut self, expr: &Expr)

fn visit_constructor_args(&mut self, expr: &ConstructorArg)

fn visit_alias_pred(&mut self, alias_pred: &AliasReft)

fn visit_path_expr(&mut self, qpath: &ExprPath)

fn visit_path_expr_segment(&mut self, segment: &ExprPathSegment)

fn visit_ident(&mut self, _ident: Ident)

fn visit_literal(&mut self, _lit: Lit)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors