Struct leo_asg::checks::ReturnPathReducer

pub struct ReturnPathReducer {
    pub errors: Vec<(Span, String)>,
}

Fields

errors: Vec<(Span, String)>

Implementations

impl ReturnPathReducer

pub fn new() -> ReturnPathReducer

Trait Implementations

impl Default for ReturnPathReducer

fn default() -> Self

Returns the “default value” for a type.

impl<'a> MonoidalReducerExpression<'a, BoolAnd> for ReturnPathReducer

fn reduce_expression(
    &mut self,
    input: &'a Expression<'a>,
    value: BoolAnd
) -> BoolAnd

fn reduce_array_access(
    &mut self,
    input: &ArrayAccessExpression<'a>,
    array: T,
    index: T
) -> T

fn reduce_array_init(
    &mut self,
    input: &ArrayInitExpression<'a>,
    element: T
) -> T

fn reduce_array_inline(
    &mut self,
    input: &ArrayInlineExpression<'a>,
    elements: Vec<T>
) -> T

fn reduce_array_range_access(
    &mut self,
    input: &ArrayRangeAccessExpression<'a>,
    array: T,
    left: Option<T>,
    right: Option<T>
) -> T

fn reduce_binary(
    &mut self,
    input: &BinaryExpression<'a>,
    left: T,
    right: T
) -> T

fn reduce_call(
    &mut self,
    input: &CallExpression<'a>,
    target: Option<T>,
    arguments: Vec<T>
) -> T

fn reduce_circuit_access(
    &mut self,
    input: &CircuitAccessExpression<'a>,
    target: Option<T>
) -> T

fn reduce_circuit_init(
    &mut self,
    input: &CircuitInitExpression<'a>,
    values: Vec<T>
) -> T

fn reduce_ternary_expression(
    &mut self,
    input: &TernaryExpression<'a>,
    condition: T,
    if_true: T,
    if_false: T
) -> T

fn reduce_cast_expression(&mut self, input: &CastExpression<'a>, inner: T) -> T

fn reduce_constant(&mut self, input: &Constant<'a>) -> T

fn reduce_tuple_access(
    &mut self,
    input: &TupleAccessExpression<'a>,
    tuple_ref: T
) -> T

fn reduce_tuple_init(
    &mut self,
    input: &TupleInitExpression<'a>,
    values: Vec<T>
) -> T

fn reduce_unary(&mut self, input: &UnaryExpression<'a>, inner: T) -> T

fn reduce_variable_ref(&mut self, input: &VariableRef<'a>) -> T

impl<'a> MonoidalReducerStatement<'a, BoolAnd> for ReturnPathReducer

fn reduce_assign_access(
    &mut self,
    input: &AssignAccess<'_>,
    left: Option<BoolAnd>,
    right: Option<BoolAnd>
) -> BoolAnd

fn reduce_assign(
    &mut self,
    input: &AssignStatement<'_>,
    accesses: Vec<BoolAnd>,
    value: BoolAnd
) -> BoolAnd

fn reduce_block(
    &mut self,
    input: &BlockStatement<'_>,
    statements: Vec<BoolAnd>
) -> BoolAnd

fn reduce_conditional_statement(
    &mut self,
    input: &ConditionalStatement<'_>,
    condition: BoolAnd,
    if_true: BoolAnd,
    if_false: Option<BoolAnd>
) -> BoolAnd

fn reduce_formatted_string(
    &mut self,
    input: &FormatString<'_>,
    parameters: Vec<BoolAnd>
) -> BoolAnd

fn reduce_console(
    &mut self,
    input: &ConsoleStatement<'_>,
    argument: BoolAnd
) -> BoolAnd

fn reduce_definition(
    &mut self,
    input: &DefinitionStatement<'_>,
    value: BoolAnd
) -> BoolAnd

fn reduce_expression_statement(
    &mut self,
    input: &ExpressionStatement<'_>,
    expression: BoolAnd
) -> BoolAnd

fn reduce_iteration(
    &mut self,
    input: &IterationStatement<'_>,
    start: BoolAnd,
    stop: BoolAnd,
    body: BoolAnd
) -> BoolAnd

fn reduce_return(
    &mut self,
    input: &ReturnStatement<'_>,
    value: BoolAnd
) -> BoolAnd

fn reduce_statement(&mut self, input: &'a Statement<'a>, value: T) -> T