Trait leo_asg::reducer::ProgramVisitor

pub trait ProgramVisitor<'a>: StatementVisitor<'a> {
    fn visit_function(&mut self, input: &'a Function<'a>) -> VisitResult { ... }
    fn visit_circuit_member(&mut self, input: &CircuitMember<'a>) -> VisitResult { ... }
    fn visit_circuit(&mut self, input: &'a Circuit<'a>) -> VisitResult { ... }
    fn visit_global_const(
        &mut self, 
        input: &'a DefinitionStatement<'a>
    ) -> VisitResult { ... }
    fn visit_program(&mut self, input: &Program<'a>) -> VisitResult { ... }
}

Provided methods

fn visit_function(&mut self, input: &'a Function<'a>) -> VisitResult

fn visit_circuit_member(&mut self, input: &CircuitMember<'a>) -> VisitResult

fn visit_circuit(&mut self, input: &'a Circuit<'a>) -> VisitResult

fn visit_global_const(
    &mut self,
    input: &'a DefinitionStatement<'a>
) -> VisitResult

fn visit_program(&mut self, input: &Program<'a>) -> VisitResult

Implementors