Trait Visitor 

pub trait Visitor<'v>: Sized {
    // Provided methods
    fn visit_flux_item(&mut self, item: &'v FluxItem) { ... }
    fn visit_qualifier(&mut self, qualifier: &'v Qualifier) { ... }
    fn visit_sort_decl(&mut self, sort_decl: &'v SortDecl) { ... }
    fn visit_defn(&mut self, defn: &'v SpecFunc) { ... }
    fn visit_primop_prop(&mut self, prop: &'v PrimOpProp) { ... }
    fn visit_axiom(&mut self, axiom: &'v Axiom) { ... }
    fn visit_refine_param(&mut self, param: &'v RefineParam) { ... }
    fn visit_generic_param(&mut self, param: &'v GenericParam) { ... }
    fn visit_sort(&mut self, sort: &'v Sort) { ... }
    fn visit_item(&mut self, item: &'v Item) { ... }
    fn visit_trait_item(&mut self, item: &'v TraitItemFn) { ... }
    fn visit_impl_item(&mut self, item: &'v ImplItemFn) { ... }
    fn visit_trait(&mut self, trait_: &'v Trait) { ... }
    fn visit_trait_assoc_reft(&mut self, assoc_reft: &'v TraitAssocReft) { ... }
    fn visit_impl(&mut self, impl_: &'v Impl) { ... }
    fn visit_impl_assoc_reft(&mut self, assoc_reft: &'v ImplAssocReft) { ... }
    fn visit_trait_ref(&mut self, trait_ref: &'v TraitRef) { ... }
    fn visit_base_sort(&mut self, bsort: &'v BaseSort) { ... }
    fn visit_sort_path(&mut self, path: &'v SortPath) { ... }
    fn visit_ty_alias(&mut self, ty_alias: &'v TyAlias) { ... }
    fn visit_struct_def(&mut self, struct_def: &'v StructDef) { ... }
    fn visit_constant(&mut self, _constant: &'v ConstantInfo) { ... }
    fn visit_enum_def(&mut self, enum_def: &'v EnumDef) { ... }
    fn visit_variant(&mut self, variant: &'v VariantDef) { ... }
    fn visit_variant_ret(&mut self, ret: &'v VariantRet) { ... }
    fn visit_fn_sig(&mut self, fn_sig: &'v FnSig) { ... }
    fn visit_requires(&mut self, requires: &'v Requires) { ... }
    fn visit_fn_output(&mut self, fn_output: &'v FnOutput) { ... }
    fn visit_async(&mut self, _asyncness: &'v Async) { ... }
    fn visit_generics(&mut self, generics: &'v Generics) { ... }
    fn visit_fn_input(&mut self, input: &'v FnInput) { ... }
    fn visit_fn_ret_ty(&mut self, fn_ret_ty: &'v FnRetTy) { ... }
    fn visit_ensures(&mut self, ensures: &'v Ensures) { ... }
    fn visit_where_predicate(&mut self, predicate: &'v WhereBoundPredicate) { ... }
    fn visit_generic_arg(&mut self, arg: &'v GenericArg) { ... }
    fn visit_refine_arg(&mut self, arg: &'v RefineArg) { ... }
    fn visit_indices(&mut self, indices: &'v Indices) { ... }
    fn visit_ty(&mut self, ty: &'v Ty) { ... }
    fn visit_const_arg(&mut self, const_arg: &'v ConstArg) { ... }
    fn visit_bty(&mut self, bty: &'v BaseTy) { ... }
    fn visit_path(&mut self, path: &'v Path) { ... }
    fn visit_path_segment(&mut self, segment: &'v PathSegment) { ... }
    fn visit_expr(&mut self, expr: &'v Expr) { ... }
    fn visit_constructor_args(&mut self, expr: &'v ConstructorArg) { ... }
    fn visit_path_expr(&mut self, qpath: &'v ExprPath) { ... }
    fn visit_path_expr_segment(&mut self, segment: &'v ExprPathSegment) { ... }
    fn visit_ident(&mut self, _ident: Ident) { ... }
    fn visit_literal(&mut self, _lit: Lit) { ... }
}

Provided Methods

fn visit_flux_item(&mut self, item: &'v FluxItem)

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

fn visit_sort_decl(&mut self, sort_decl: &'v SortDecl)

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

fn visit_primop_prop(&mut self, prop: &'v PrimOpProp)

fn visit_axiom(&mut self, axiom: &'v Axiom)

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

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

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

fn visit_item(&mut self, item: &'v Item)

fn visit_trait_item(&mut self, item: &'v TraitItemFn)

fn visit_impl_item(&mut self, item: &'v ImplItemFn)

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

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

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

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

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

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

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

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

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

fn visit_constant(&mut self, _constant: &'v ConstantInfo)

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

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

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

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

fn visit_requires(&mut self, requires: &'v Requires)

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

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

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

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

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

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

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

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

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

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

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

fn visit_const_arg(&mut self, const_arg: &'v ConstArg)

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

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

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

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

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

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

fn visit_path_expr_segment(&mut self, segment: &'v 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".

Implementors