Trait calyx_opt::traversal::Visitable

pub trait Visitable {
    fn visit(
        &mut self,
        visitor: &mut dyn Visitor,
        component: &mut Component,
        signatures: &LibrarySignatures,
        components: &[Component]
    ) -> VisResult;
}

Describes types that can be visited by things implementing Visitor. This performs a recursive walk of the tree.

It calls Visitor::start_* on the way down, and Visitor::finish_* on the way up.

Required Methods

fn visit(
    &mut self,
    visitor: &mut dyn Visitor,
    component: &mut Component,
    signatures: &LibrarySignatures,
    components: &[Component]
) -> VisResult

Perform the traversal.

Implementations on Foreign Types

impl Visitable for Control

fn visit(
    &mut self,
    visitor: &mut dyn Visitor,
    component: &mut Component,
    sigs: &LibrarySignatures,
    comps: &[Component]
) -> VisResult

impl Visitable for StaticControl

fn visit(
    &mut self,
    visitor: &mut dyn Visitor,
    component: &mut Component,
    signatures: &LibrarySignatures,
    components: &[Component]
) -> VisResult

impl<V: Visitable> Visitable for Vec<V>

Blanket implementation for Vectors of Visitables

fn visit(
    &mut self,
    visitor: &mut dyn Visitor,
    component: &mut Component,
    sigs: &LibrarySignatures,
    components: &[Component]
) -> VisResult

Implementors