use std::collections::HashMap;

use parser::AST;
use parser::AST::*;

pub struct Environment(pub HashMap<String, AST>);
type EvalResult = (AST, Environment);

impl Environment {
    pub fn new() -> Environment {
        Environment(HashMap::new())
    }

    fn add_binding(&mut self, name: String, binding: AST) {
        match *self {
            Environment(ref mut hash_map) => hash_map.insert(name, binding)
        };
    }

    fn lookup_binding(&mut self, name: &String) -> Option<&AST> {
        match *self {
            Environment(ref mut hash_map) => hash_map.get(name)
        }
    }

    pub fn display(&self) {
        match *self {
            Environment(ref hash_map) =>
                for (var, binding) in hash_map {
                    println!("{} : {:?}", var, binding);
                }
        }

        println!("----");
    }
}

pub fn evaluate(ast: AST, env: Environment) -> (String, Environment) {

    let (reduced_ast, final_env) = reduce((ast, env));

    let output = match reduced_ast {
        DoNothing => "".to_string(),
        Number(n) => format!("{}", n),
        LangString(s) => format!("\"{}\"", s),
        Null => "null".to_string(),
        _ => "not implemented".to_string()
    };

    (output, final_env)
}

fn reduce(evr: EvalResult) -> EvalResult {
    let (ast, mut env) = evr;

    match ast {

        BinOp(op, lhs, rhs) => {
            let (reduced_lhs, new_env) = reduce((*lhs, env));
            let (reduced_rhs, new_env2) = reduce((*rhs, new_env));
            let result: AST = reduce_binop(*op, reduced_lhs, reduced_rhs);
            (result, new_env2)
        },
        Name(name) => {
            let result = match env.lookup_binding(&name) {
                Some(binding) => match binding {
                    &DoNothing => DoNothing,
                    &Number(n) => Number(n),
                    &LangString(ref s) => LangString(s.clone()),
                    &Null => Null,
                    _ => panic!("Unreduced ast node for name: {:?}", name)
                },
                None => Null
            };

            (result, env)
        },

        Statements(stmts) => {
            let mut reduced_ast = DoNothing;
            let mut reduced_env = env;
            for stmt in stmts.into_iter() {
                let (new_ast, new_env) = reduce((stmt, reduced_env));
                reduced_env = new_env;
                reduced_ast = new_ast;

            }
            (reduced_ast, reduced_env)
        },

        Binding(name, binding) => {
            let unboxed_binding = *binding;
            let (evaluated_binding, mut evaluated_env) = reduce((unboxed_binding, env));

            evaluated_env.add_binding(name, evaluated_binding);
            (DoNothing, evaluated_env)
        },

        other_ast => (other_ast, env)
    }
}

fn reduce_binop(op: AST, lhs: AST, rhs: AST) -> AST {
    macro_rules! LangBool {
        (true) => [Name("true".to_string())];
        (false) => [Name("false".to_string())];
    }

    match (lhs, rhs) {
        (Number(l), Number(r)) => match op {
            Name(ref s) if *s == "+" => Number(l + r),
            Name(ref s) if *s == "-" => Number(l - r),
            Name(ref s) if *s == "*" => Number(l * r),
            Name(ref s) if *s == "/" => if r == 0.0 { Null } else { Number(l / r) },
            Name(ref s) if *s == "==" => if l == r { LangBool!(true) } else { LangBool!(false) },
            Name(ref s) if *s == ">" => if l > r { LangBool!(true) } else { LangBool!(false) },
            Name(ref s) if *s == "<" => if l < r { LangBool!(true) } else { LangBool!(false) },
            _ => Null
        },

        (LangString(s1), LangString(s2)) => match op {
            Name(ref s) if *s == "+" => LangString(format!("{}{}", s1, s2)),
            _ => Null
        },

        _ => Null
    }
}

#[cfg(test)]
mod test {
    use super::*;


}