use crate::arguments;
use crate::bf_interpreter::error::{InterpreterError, InterpreterErrorKind};
use std::io::{Read, Write};
use std::usize;

pub struct Interpreter {
    pub cells: Vec<u8>,
    pub pointer: usize,
    pub array_size: usize,
    pub bf_code: String,
    brackets: Vec<BfCommand>,
    pub features: Vec<arguments::Feature>,
}

impl Interpreter {
    pub fn new(
        array_size: usize,
        bf_code: Option<String>,
        features: Vec<arguments::Feature>,
    ) -> Self {
        Self {
            cells: vec![0; array_size],
            pointer: 0,
            array_size,
            bf_code: bf_code.unwrap_or_else(|| String::new()),
            brackets: Vec::new(),
            features,
        }
    }

    pub fn run(&mut self, bf_code: Option<String>) -> Result<i32, InterpreterError> {
        let bf_code = match bf_code {
            Some(bf_code) => {
                self.bf_code.push_str(&*bf_code);
                bf_code
            }
            None => self.bf_code.clone(),
        };

        match self.run_brainfuck_code(&bf_code) {
            Ok(_) => Ok(0),
            Err(e) => Err(e),
        }
    }

    // +[>++<-]
    fn iterate(&mut self, code: String) -> Result<(), InterpreterError> {
        while self.cells[self.pointer] != 0 {
            self.run_brainfuck_code(&code)?;
        }
        Ok(())
    }

    fn run_brainfuck_code(&mut self, bf_code: &str) -> Result<(), InterpreterError> {
        for (i, ch) in bf_code.chars().enumerate() {
            match BfCommand::from_char(ch, i) {
                Some(cmd) => {
                    trace!("Executing command: {:?}", cmd);
                    self.execute(cmd)?
                }
                None => {
                    trace!("Skipping character: {}", ch);
                }
            }
        }
        Ok(())
    }

    fn execute(&mut self, cmd: BfCommand) -> Result<(), InterpreterError> {
        match cmd {
            BfCommand::IncPtr => {
                self.pointer += 1;
                if self.pointer >= self.array_size {
                    if self.features.contains(&arguments::Feature::ReversePointer) {
                        self.pointer = 0;
                    } else {
                        return Err(InterpreterErrorKind::PointerOutOfBounds(self.pointer).to_error())
                    }
                }
            }
            BfCommand::DecPtr => {
                if self.pointer == 0 {
                    if self.features.contains(&arguments::Feature::ReversePointer) {
                        self.pointer = self.array_size - 1;
                    } else {
                        return Err(InterpreterErrorKind::PointerOutOfBounds(self.pointer).to_error());
                    }
                } else {
                    self.pointer -= 1;
                }
            }
            BfCommand::IncVal => {
                if self.cells[self.pointer] == 255 {
                    if self.features.contains(&arguments::Feature::ReverseValue) {
                        self.cells[self.pointer] = 0;
                    } else {
                        return Err(InterpreterErrorKind::ValueOutOfBounds.to_error());
                    }
                } else {
                    self.cells[self.pointer] += 1;
                }
            }
            BfCommand::DecVal => {
                if self.cells[self.pointer] == 0 {
                    if self.features.contains(&arguments::Feature::ReverseValue) {
                        self.cells[self.pointer] = 255;
                    } else {
                        return Err(InterpreterErrorKind::ValueOutOfBounds.to_error());
                    }
                } else {
                    self.cells[self.pointer] -= 1;
                }
            }
            BfCommand::Print => {
                print!("{}", self.cells[self.pointer] as char);
                std::io::stdout().flush().unwrap();
            }
            BfCommand::Read => {
                self.cells[self.pointer] = match std::io::stdin().bytes().next() {
                    Some(Ok(byte)) => byte,
                    Some(Err(e)) => {
                        return Err(InterpreterErrorKind::ByteReadError(e).to_error());
                    }
                    None => {
                        return Err(InterpreterErrorKind::ReadError.to_error());
                    }
                };
            }
            BfCommand::LoopStart(i) => {
                self.brackets.push(BfCommand::LoopStart(i));
            }
            BfCommand::LoopEnd(i) => {
                let open_bracket = self.brackets.pop();
                match open_bracket {
                    Some(BfCommand::LoopStart(j)) => {
                        if self.cells[self.pointer] != 0 {
                            let code = self.bf_code[j..i].to_string();
                            self.iterate(code)?;
                        }
                    }
                    _ => {
                        return Err(InterpreterError::new(
                            format!("Unmatched closing bracket at position {}", i),
                            15,
                        ));
                    }
                }
            }
        }
        Ok(())
    }

    pub fn reset(&mut self) {
        self.cells = vec![0; self.array_size];
        self.pointer = 0;
        self.brackets = Vec::new();
    }
}

#[derive(Debug, PartialEq)]
enum BfCommand {
    IncPtr,
    DecPtr,
    IncVal,
    DecVal,
    Print,
    Read,
    LoopStart(usize),
    LoopEnd(usize),
}

impl BfCommand {
    fn from_char(c: char, index: usize) -> Option<BfCommand> {
        match c {
            '>' => Some(BfCommand::IncPtr),
            '<' => Some(BfCommand::DecPtr),
            '+' => Some(BfCommand::IncVal),
            '-' => Some(BfCommand::DecVal),
            '.' => Some(BfCommand::Print),
            ',' => Some(BfCommand::Read),
            '[' => Some(BfCommand::LoopStart(index)),
            ']' => Some(BfCommand::LoopEnd(index)),
            _ => None,
        }
    }
}