Trait rustc_middle::mir::visit::Visitor

pub trait Visitor<'tcx> {
    pub fn visit_body(&mut self, body: &Body<'tcx>) { ... }
    pub fn visit_basic_block_data(
        &mut self, 
        block: BasicBlock, 
        data: &BasicBlockData<'tcx>
    ) { ... }
    pub fn visit_source_scope_data(
        &mut self, 
        scope_data: &SourceScopeData<'tcx>
    ) { ... }
    pub fn visit_statement(
        &mut self, 
        statement: &Statement<'tcx>, 
        location: Location
    ) { ... }
    pub fn visit_assign(
        &mut self, 
        place: &Place<'tcx>, 
        rvalue: &Rvalue<'tcx>, 
        location: Location
    ) { ... }
    pub fn visit_terminator(
        &mut self, 
        terminator: &Terminator<'tcx>, 
        location: Location
    ) { ... }
    pub fn visit_assert_message(
        &mut self, 
        msg: &AssertMessage<'tcx>, 
        location: Location
    ) { ... }
    pub fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location) { ... }
    pub fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location) { ... }
    pub fn visit_ascribe_user_ty(
        &mut self, 
        place: &Place<'tcx>, 
        variance: &Variance, 
        user_ty: &UserTypeProjection, 
        location: Location
    ) { ... }
    pub fn visit_coverage(&mut self, coverage: &Coverage, location: Location) { ... }
    pub fn visit_retag(
        &mut self, 
        kind: &RetagKind, 
        place: &Place<'tcx>, 
        location: Location
    ) { ... }
    pub fn visit_place(
        &mut self, 
        place: &Place<'tcx>, 
        context: PlaceContext, 
        location: Location
    ) { ... }
    pub fn visit_projection(
        &mut self, 
        local: Local, 
        projection: &[PlaceElem<'tcx>], 
        context: PlaceContext, 
        location: Location
    ) { ... }
    pub fn visit_projection_elem(
        &mut self, 
        local: Local, 
        proj_base: &[PlaceElem<'tcx>], 
        elem: PlaceElem<'tcx>, 
        context: PlaceContext, 
        location: Location
    ) { ... }
    pub fn super_place(
        &mut self, 
        place: &Place<'tcx>, 
        context: PlaceContext, 
        location: Location
    ) { ... }
    pub fn super_projection(
        &mut self, 
        local: Local, 
        projection: &[PlaceElem<'tcx>], 
        context: PlaceContext, 
        location: Location
    ) { ... }
    pub fn super_projection_elem(
        &mut self, 
        _local: Local, 
        _proj_base: &[PlaceElem<'tcx>], 
        elem: PlaceElem<'tcx>, 
        _context: PlaceContext, 
        location: Location
    ) { ... }
    pub fn visit_constant(
        &mut self, 
        constant: &Constant<'tcx>, 
        location: Location
    ) { ... }
    pub fn visit_span(&mut self, span: &Span) { ... }
    pub fn visit_source_info(&mut self, source_info: &SourceInfo) { ... }
    pub fn visit_ty(&mut self, ty: Ty<'tcx>, _: TyContext) { ... }
    pub fn visit_user_type_projection(&mut self, ty: &UserTypeProjection) { ... }
    pub fn visit_user_type_annotation(
        &mut self, 
        index: UserTypeAnnotationIndex, 
        ty: &CanonicalUserTypeAnnotation<'tcx>
    ) { ... }
    pub fn visit_region(&mut self, region: &Region<'tcx>, _: Location) { ... }
    pub fn visit_const(&mut self, constant: &&'tcx Const<'tcx>, _: Location) { ... }
    pub fn visit_substs(&mut self, substs: &SubstsRef<'tcx>, _: Location) { ... }
    pub fn visit_local_decl(
        &mut self, 
        local: Local, 
        local_decl: &LocalDecl<'tcx>
    ) { ... }
    pub fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>) { ... }
    pub fn visit_local(
        &mut self, 
        _local: &Local, 
        _context: PlaceContext, 
        _location: Location
    ) { ... }
    pub fn visit_source_scope(&mut self, scope: &SourceScope) { ... }
    pub fn super_body(&mut self, body: &Body<'tcx>) { ... }
    pub fn super_basic_block_data(
        &mut self, 
        block: BasicBlock, 
        data: &BasicBlockData<'tcx>
    ) { ... }
    pub fn super_source_scope_data(
        &mut self, 
        scope_data: &SourceScopeData<'tcx>
    ) { ... }
    pub fn super_statement(
        &mut self, 
        statement: &Statement<'tcx>, 
        location: Location
    ) { ... }
    pub fn super_assign(
        &mut self, 
        place: &Place<'tcx>, 
        rvalue: &Rvalue<'tcx>, 
        location: Location
    ) { ... }
    pub fn super_terminator(
        &mut self, 
        terminator: &Terminator<'tcx>, 
        location: Location
    ) { ... }
    pub fn super_assert_message(
        &mut self, 
        msg: &AssertMessage<'tcx>, 
        location: Location
    ) { ... }
    pub fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location) { ... }
    pub fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location) { ... }
    pub fn super_ascribe_user_ty(
        &mut self, 
        place: &Place<'tcx>, 
        _variance: &Variance, 
        user_ty: &UserTypeProjection, 
        location: Location
    ) { ... }
    pub fn super_coverage(&mut self, _coverage: &Coverage, _location: Location) { ... }
    pub fn super_retag(
        &mut self, 
        _kind: &RetagKind, 
        place: &Place<'tcx>, 
        location: Location
    ) { ... }
    pub fn super_local_decl(
        &mut self, 
        local: Local, 
        local_decl: &LocalDecl<'tcx>
    ) { ... }
    pub fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>) { ... }
    pub fn super_source_scope(&mut self, _scope: &SourceScope) { ... }
    pub fn super_constant(
        &mut self, 
        constant: &Constant<'tcx>, 
        location: Location
    ) { ... }
    pub fn super_span(&mut self, _span: &Span) { ... }
    pub fn super_source_info(&mut self, source_info: &SourceInfo) { ... }
    pub fn super_user_type_projection(&mut self, _ty: &UserTypeProjection) { ... }
    pub fn super_user_type_annotation(
        &mut self, 
        _index: UserTypeAnnotationIndex, 
        ty: &CanonicalUserTypeAnnotation<'tcx>
    ) { ... }
    pub fn super_ty(&mut self, _ty: Ty<'tcx>) { ... }
    pub fn super_region(&mut self, _region: &Region<'tcx>) { ... }
    pub fn super_const(&mut self, _const: &&'tcx Const<'tcx>) { ... }
    pub fn super_substs(&mut self, _substs: &SubstsRef<'tcx>) { ... }
    pub fn visit_location(&mut self, body: &Body<'tcx>, location: Location) { ... }
}

Provided methods

pub fn visit_body(&mut self, body: &Body<'tcx>)

pub fn visit_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &BasicBlockData<'tcx>
)

pub fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)

pub fn visit_statement(
    &mut self,
    statement: &Statement<'tcx>,
    location: Location
)

pub fn visit_assign(
    &mut self,
    place: &Place<'tcx>,
    rvalue: &Rvalue<'tcx>,
    location: Location
)

pub fn visit_terminator(
    &mut self,
    terminator: &Terminator<'tcx>,
    location: Location
)

pub fn visit_assert_message(
    &mut self,
    msg: &AssertMessage<'tcx>,
    location: Location
)

pub fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

pub fn visit_operand(&mut self, operand: &Operand<'tcx>, location: Location)

pub fn visit_ascribe_user_ty(
    &mut self,
    place: &Place<'tcx>,
    variance: &Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

pub fn visit_coverage(&mut self, coverage: &Coverage, location: Location)

pub fn visit_retag(
    &mut self,
    kind: &RetagKind,
    place: &Place<'tcx>,
    location: Location
)

pub fn visit_place(
    &mut self,
    place: &Place<'tcx>,
    context: PlaceContext,
    location: Location
)

pub fn visit_projection(
    &mut self,
    local: Local,
    projection: &[PlaceElem<'tcx>],
    context: PlaceContext,
    location: Location
)

pub fn visit_projection_elem(
    &mut self,
    local: Local,
    proj_base: &[PlaceElem<'tcx>],
    elem: PlaceElem<'tcx>,
    context: PlaceContext,
    location: Location
)

pub fn super_place(
    &mut self,
    place: &Place<'tcx>,
    context: PlaceContext,
    location: Location
)

pub fn super_projection(
    &mut self,
    local: Local,
    projection: &[PlaceElem<'tcx>],
    context: PlaceContext,
    location: Location
)

pub fn super_projection_elem(
    &mut self,
    _local: Local,
    _proj_base: &[PlaceElem<'tcx>],
    elem: PlaceElem<'tcx>,
    _context: PlaceContext,
    location: Location
)

pub fn visit_constant(&mut self, constant: &Constant<'tcx>, location: Location)

pub fn visit_span(&mut self, span: &Span)

pub fn visit_source_info(&mut self, source_info: &SourceInfo)

pub fn visit_ty(&mut self, ty: Ty<'tcx>, _: TyContext)

pub fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)

pub fn visit_user_type_annotation(
    &mut self,
    index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation<'tcx>
)

pub fn visit_region(&mut self, region: &Region<'tcx>, _: Location)

pub fn visit_const(&mut self, constant: &&'tcx Const<'tcx>, _: Location)

pub fn visit_substs(&mut self, substs: &SubstsRef<'tcx>, _: Location)

pub fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

pub fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

pub fn visit_local(
    &mut self,
    _local: &Local,
    _context: PlaceContext,
    _location: Location
)

pub fn visit_source_scope(&mut self, scope: &SourceScope)

pub fn super_body(&mut self, body: &Body<'tcx>)

pub fn super_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &BasicBlockData<'tcx>
)

pub fn super_source_scope_data(&mut self, scope_data: &SourceScopeData<'tcx>)

pub fn super_statement(
    &mut self,
    statement: &Statement<'tcx>,
    location: Location
)

pub fn super_assign(
    &mut self,
    place: &Place<'tcx>,
    rvalue: &Rvalue<'tcx>,
    location: Location
)

pub fn super_terminator(
    &mut self,
    terminator: &Terminator<'tcx>,
    location: Location
)

pub fn super_assert_message(
    &mut self,
    msg: &AssertMessage<'tcx>,
    location: Location
)

pub fn super_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location)

pub fn super_operand(&mut self, operand: &Operand<'tcx>, location: Location)

pub fn super_ascribe_user_ty(
    &mut self,
    place: &Place<'tcx>,
    _variance: &Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

pub fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)

pub fn super_retag(
    &mut self,
    _kind: &RetagKind,
    place: &Place<'tcx>,
    location: Location
)

pub fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl<'tcx>)

pub fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo<'tcx>)

pub fn super_source_scope(&mut self, _scope: &SourceScope)

pub fn super_constant(&mut self, constant: &Constant<'tcx>, location: Location)

pub fn super_span(&mut self, _span: &Span)

pub fn super_source_info(&mut self, source_info: &SourceInfo)

pub fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)

pub fn super_user_type_annotation(
    &mut self,
    _index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation<'tcx>
)

pub fn super_ty(&mut self, _ty: Ty<'tcx>)

pub fn super_region(&mut self, _region: &Region<'tcx>)

pub fn super_const(&mut self, _const: &&'tcx Const<'tcx>)

pub fn super_substs(&mut self, _substs: &SubstsRef<'tcx>)

pub fn visit_location(&mut self, body: &Body<'tcx>, location: Location)

Loading content...

Implementors

Loading content...