Struct leo_asg::reducer::VisitorDirector

pub struct VisitorDirector<'a, R: ExpressionVisitor<'a>> { /* fields omitted */ }

Implementations

impl<'a, R: ExpressionVisitor<'a>> VisitorDirector<'a, R>

pub fn new(visitor: R) -> Self

pub fn visitor(self) -> R

pub fn visit_expression(
    &mut self,
    input: &Cell<&'a Expression<'a>>
) -> ConcreteVisitResult

pub fn visit_array_access(
    &mut self,
    input: &ArrayAccessExpression<'a>
) -> ConcreteVisitResult

pub fn visit_array_init(
    &mut self,
    input: &ArrayInitExpression<'a>
) -> ConcreteVisitResult

pub fn visit_array_inline(
    &mut self,
    input: &ArrayInlineExpression<'a>
) -> ConcreteVisitResult

pub fn visit_array_range_access(
    &mut self,
    input: &ArrayRangeAccessExpression<'a>
) -> ConcreteVisitResult

pub fn visit_binary(
    &mut self,
    input: &BinaryExpression<'a>
) -> ConcreteVisitResult

pub fn visit_call(&mut self, input: &CallExpression<'a>) -> ConcreteVisitResult

pub fn visit_circuit_access(
    &mut self,
    input: &CircuitAccessExpression<'a>
) -> ConcreteVisitResult

pub fn visit_circuit_init(
    &mut self,
    input: &CircuitInitExpression<'a>
) -> ConcreteVisitResult

pub fn visit_ternary_expression(
    &mut self,
    input: &TernaryExpression<'a>
) -> ConcreteVisitResult

pub fn visit_cast_expression(
    &mut self,
    input: &CastExpression<'a>
) -> ConcreteVisitResult

pub fn visit_constant(&mut self, input: &Constant<'a>) -> ConcreteVisitResult

pub fn visit_tuple_access(
    &mut self,
    input: &TupleAccessExpression<'a>
) -> ConcreteVisitResult

pub fn visit_tuple_init(
    &mut self,
    input: &TupleInitExpression<'a>
) -> ConcreteVisitResult

pub fn visit_unary(
    &mut self,
    input: &UnaryExpression<'a>
) -> ConcreteVisitResult

pub fn visit_variable_ref(
    &mut self,
    input: &VariableRef<'a>
) -> ConcreteVisitResult

impl<'a, R: StatementVisitor<'a>> VisitorDirector<'a, R>

pub fn visit_statement(
    &mut self,
    input: &Cell<&'a Statement<'a>>
) -> ConcreteVisitResult

pub fn visit_assign_access(
    &mut self,
    input: &AssignAccess<'a>
) -> ConcreteVisitResult

pub fn visit_assign(
    &mut self,
    input: &AssignStatement<'a>
) -> ConcreteVisitResult

pub fn visit_block(&mut self, input: &BlockStatement<'a>) -> ConcreteVisitResult

pub fn visit_conditional_statement(
    &mut self,
    input: &ConditionalStatement<'a>
) -> ConcreteVisitResult

pub fn visit_formatted_string(
    &mut self,
    input: &FormatString<'a>
) -> ConcreteVisitResult

pub fn visit_console(
    &mut self,
    input: &ConsoleStatement<'a>
) -> ConcreteVisitResult

pub fn visit_definition(
    &mut self,
    input: &DefinitionStatement<'a>
) -> ConcreteVisitResult

pub fn visit_expression_statement(
    &mut self,
    input: &ExpressionStatement<'a>
) -> ConcreteVisitResult

pub fn visit_iteration(
    &mut self,
    input: &IterationStatement<'a>
) -> ConcreteVisitResult

pub fn visit_return(
    &mut self,
    input: &ReturnStatement<'a>
) -> ConcreteVisitResult

impl<'a, R: ProgramVisitor<'a>> VisitorDirector<'a, R>

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

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

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

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