use crate::protocol::parser::symbol_table::*;

use crate::protocol::parser::type_table::*;

use super::visitor::{

    BUFFER_INIT_CAP_SMALL,

    BUFFER_INIT_CAP_LARGE,

    Ctx,

    Visitor,

    VisitorResult

};

use crate::protocol::parser::ModuleCompilationPhase;

struct ControlFlowStatement {

    in_sync: SynchronousStatementId,

    in_while: WhileStatementId,

    in_scope: ScopeId,

    statement: StatementId, // of 'break', 'continue' or 'goto'

}

/// This particular visitor will go through the entire AST in a recursive manner

/// and check if all statements and expressions are legal (e.g. no "return"

/// statements in component definitions), and will link certain AST nodes to

/// their appropriate targets (e.g. goto statements, or function calls).

///

        if let Some(false_case) = false_case {

            let old_scope = self.push_scope(ctx, false, false_case.scope);

            self.visit_stmt(ctx, false_case.body)?;

            self.pop_scope(old_scope);

            assign_then_erase_next_stmt!(self, ctx, end_if_id.upcast());

        }

        self.prev_stmt = end_if_id.upcast();

        Ok(())

    }

    fn visit_while_stmt(&mut self, ctx: &mut Ctx, id: WhileStatementId) -> VisitorResult {

        let end_while_id = stmt.end_while;

        let test_expr_id = stmt.test;

        let body_stmt_id = stmt.body;

        let scope_id = stmt.scope;

        let old_while = self.in_while;

        self.in_while = id;

        // Visit test expression

        debug_assert_eq!(self.expr_parent, ExpressionParent::None);

        debug_assert!(self.in_test_expr.is_invalid());

        self.in_test_expr = id.upcast();

        self.expr_parent = ExpressionParent::While(id);

        self.visit_expr(ctx, test_expr_id)?;

        self.in_test_expr = StatementId::new_invalid();