Trait leo_asg::reducer::ReconstructingReducerStatement[−][src]

pub trait ReconstructingReducerStatement<'a>: ReconstructingReducerExpression<'a> {
    fn reduce_statement_alloc(
        &mut self, 
        context: AsgContext<'a>, 
        input: &'a Statement<'a>, 
        value: Statement<'a>
    ) -> &'a Statement<'a> { ... }

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

    fn reduce_assign_access_range(
        &mut self, 
        input: AssignAccess<'a>, 
        left: Option<&'a Expression<'a>>, 
        right: Option<&'a Expression<'a>>
    ) -> AssignAccess<'a> { ... }

    fn reduce_assign_access_index(
        &mut self, 
        input: AssignAccess<'a>, 
        index: &'a Expression<'a>
    ) -> AssignAccess<'a> { ... }

    fn reduce_assign_access(
        &mut self, 
        input: AssignAccess<'a>
    ) -> AssignAccess<'a> { ... }

    fn reduce_assign(
        &mut self, 
        input: AssignStatement<'a>, 
        accesses: Vec<AssignAccess<'a>>, 
        value: &'a Expression<'a>
    ) -> Statement<'a> { ... }

    fn reduce_block(
        &mut self, 
        input: BlockStatement<'a>, 
        statements: Vec<&'a Statement<'a>>
    ) -> Statement<'a> { ... }

    fn reduce_conditional_statement(
        &mut self, 
        input: ConditionalStatement<'a>, 
        condition: &'a Expression<'a>, 
        if_true: &'a Statement<'a>, 
        if_false: Option<&'a Statement<'a>>
    ) -> Statement<'a> { ... }

    fn reduce_formatted_string(
        &mut self, 
        input: FormattedString<'a>, 
        parameters: Vec<&'a Expression<'a>>
    ) -> FormattedString<'a> { ... }

    fn reduce_console_assert(
        &mut self, 
        input: ConsoleStatement<'a>, 
        argument: &'a Expression<'a>
    ) -> Statement<'a> { ... }

    fn reduce_console_log(
        &mut self, 
        input: ConsoleStatement<'a>, 
        argument: FormattedString<'a>
    ) -> Statement<'a> { ... }

    fn reduce_definition(
        &mut self, 
        input: DefinitionStatement<'a>, 
        value: &'a Expression<'a>
    ) -> Statement<'a> { ... }

    fn reduce_expression_statement(
        &mut self, 
        input: ExpressionStatement<'a>, 
        expression: &'a Expression<'a>
    ) -> Statement<'a> { ... }

    fn reduce_iteration(
        &mut self, 
        input: IterationStatement<'a>, 
        start: &'a Expression<'a>, 
        stop: &'a Expression<'a>, 
        body: &'a Statement<'a>
    ) -> Statement<'a> { ... }

    fn reduce_return(
        &mut self, 
        input: ReturnStatement<'a>, 
        value: &'a Expression<'a>
    ) -> Statement<'a> { ... }
}

Provided methods

fn reduce_statement_alloc(
    &mut self,
    context: AsgContext<'a>,
    input: &'a Statement<'a>,
    value: Statement<'a>
) -> &'a Statement<'a>[src]

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

fn reduce_assign_access_range(
    &mut self,
    input: AssignAccess<'a>,
    left: Option<&'a Expression<'a>>,
    right: Option<&'a Expression<'a>>
) -> AssignAccess<'a>[src]

fn reduce_assign_access_index(
    &mut self,
    input: AssignAccess<'a>,
    index: &'a Expression<'a>
) -> AssignAccess<'a>[src]

fn reduce_assign_access(&mut self, input: AssignAccess<'a>) -> AssignAccess<'a>[src]

fn reduce_assign(
    &mut self,
    input: AssignStatement<'a>,
    accesses: Vec<AssignAccess<'a>>,
    value: &'a Expression<'a>
) -> Statement<'a>[src]

fn reduce_block(
    &mut self,
    input: BlockStatement<'a>,
    statements: Vec<&'a Statement<'a>>
) -> Statement<'a>[src]

fn reduce_conditional_statement(
    &mut self,
    input: ConditionalStatement<'a>,
    condition: &'a Expression<'a>,
    if_true: &'a Statement<'a>,
    if_false: Option<&'a Statement<'a>>
) -> Statement<'a>[src]

fn reduce_formatted_string(
    &mut self,
    input: FormattedString<'a>,
    parameters: Vec<&'a Expression<'a>>
) -> FormattedString<'a>[src]

fn reduce_console_assert(
    &mut self,
    input: ConsoleStatement<'a>,
    argument: &'a Expression<'a>
) -> Statement<'a>[src]

fn reduce_console_log(
    &mut self,
    input: ConsoleStatement<'a>,
    argument: FormattedString<'a>
) -> Statement<'a>[src]

fn reduce_definition(
    &mut self,
    input: DefinitionStatement<'a>,
    value: &'a Expression<'a>
) -> Statement<'a>[src]

fn reduce_expression_statement(
    &mut self,
    input: ExpressionStatement<'a>,
    expression: &'a Expression<'a>
) -> Statement<'a>[src]

fn reduce_iteration(
    &mut self,
    input: IterationStatement<'a>,
    start: &'a Expression<'a>,
    stop: &'a Expression<'a>,
    body: &'a Statement<'a>
) -> Statement<'a>[src]

fn reduce_return(
    &mut self,
    input: ReturnStatement<'a>,
    value: &'a Expression<'a>
) -> Statement<'a>[src]

Loading content...

Implementors

Loading content...