/*
 * Copyright 2009- ECMWF.
 *
 * This software is licensed under the terms of the Apache Licence version 2.0
 * which can be obtained at http://www.apache.org/licenses/LICENSE-2.0.
 * In applying this licence, ECMWF does not waive the privileges and immunities
 * granted to it by virtue of its status as an intergovernmental organisation
 * nor does it submit to any jurisdiction.
 */

#include <fstream>
#include <iostream>
#include <map>
#include <string>

#include <boost/test/unit_test.hpp>

#include "ecflow/node/ExprAst.hpp"
#include "ecflow/node/ExprDuplicate.hpp"
#include "ecflow/node/ExprParser.hpp"
#include "ecflow/node/formatter/DefsWriter.hpp"
#include "ecflow/test/scaffold/Naming.hpp"

using namespace std;

// DEBUG AID: to see the expression tree, invert the expected evaluation
//            so that test fail's

BOOST_AUTO_TEST_SUITE(U_Node)

BOOST_AUTO_TEST_SUITE(T_SingleExprParse)

BOOST_AUTO_TEST_CASE(test_single_expression) {
    ECF_NAME_THIS_TEST();

    // Duplicate AST are held in a static map. Delete them, to avoid ASAN complaining
    ExprDuplicate reclaim_cloned_ast_memory;

    // The map key = trigger expression,
    // value.first  = type of expected root abstract syntax tree
    // value.second = result of expected evaluation
    map<string, std::pair<string, bool>> exprMap;

    exprMap[":var == 0"] = std::make_pair(AstEqual::stype(), true);
    exprMap[":var != 1"] = std::make_pair(AstNotEqual::stype(), true);

    for (std::pair<string, std::pair<string, bool>> p : exprMap) {

        ExprParser theExprParser(p.first);
        std::string errorMsg;
        bool ok = theExprParser.doParse(errorMsg);
        BOOST_REQUIRE_MESSAGE(ok, errorMsg);

        string expectedRootType       = p.second.first;
        bool expectedEvaluationResult = p.second.second;

        Ast* top = theExprParser.getAst();
        BOOST_REQUIRE_MESSAGE(top, "No abstract syntax tree");
        BOOST_REQUIRE_MESSAGE(top->left(), "No root created");
        BOOST_REQUIRE_MESSAGE(top->left()->isRoot() || top->left()->is_attribute(),
                              "First child of top should be a root or attribute " + p.first);
        BOOST_REQUIRE_MESSAGE(top->left()->is_evaluateable(),
                              "expected ast to be evaluatable. found: " << top->left()->type() << " " << p.first);
        BOOST_REQUIRE_MESSAGE(top->left()->type() == expectedRootType || top->left()->type() == "variable",
                              "expected root type " << expectedRootType << " or 'variable' but found "
                                                    << top->left()->type() << " " << p.first);
        {
            std::stringstream ss;
            top->print_flat(ss);
            std::string print_flat = ss.str();
            cout << print_flat << "\n";
            BOOST_REQUIRE_MESSAGE(expectedEvaluationResult == top->evaluate(),
                                  "evaluation not as expected for:\n"
                                      << p.first << "\n"
                                      << print_flat << "\n"
                                      << ecf::as_string(*top, PrintStyle::DEFS));
        }
        cout << ecf::as_string(*top, PrintStyle::DEFS) << "\n";

        std::string why;
        top->why(why);
        cout << "why: " << why << "\n";
    }
}

// BOOST_AUTO_TEST_CASE( test_expression_read_from_file )
//{
//    ECF_NAME_THIS_TEST();
//
//    std::string filename = "${ECF_TEST_DEFS_DIR}/triggers.list";
//    std::ifstream the_file(filename.c_str(),std::ios_base::in);
//    BOOST_REQUIRE_MESSAGE(the_file,"file " << filename << "not found");
//
//    int  i = 0;
//    string line;
//    while ( std::getline(the_file,line) ) {
//       i++;
//       // cout << i << ": " << line << "\n";
//       ExprParser theExprParser(line);
//       std::string errorMsg;
//       bool ok = theExprParser.doParse(errorMsg);
//       BOOST_CHECK_MESSAGE(ok,errorMsg << " line: " << i );
//
//       if (ok) {
//          Ast* top = theExprParser.getAst();
//          BOOST_REQUIRE_MESSAGE( top ,"No abstract syntax tree " + line);
//          BOOST_REQUIRE_MESSAGE( top->left() ,"No root created " + line);
//          BOOST_REQUIRE_MESSAGE( top->left()->isRoot() || top->left()->is_attribute() ,"First child of top should be a
//          root or variable " + line);
//          //top->print_flat(ss);
//       }
//    }
//
//    ExprDuplicate reclaim_cloned_ast_memory;
//    cout << " read " << i << " expressions\n";
// }

BOOST_AUTO_TEST_SUITE_END()

BOOST_AUTO_TEST_SUITE_END()
