#include "Parse.h"

#include "ParseImpl.h"

#include "../universe/ShipDesign.h"
#include "../util/Directories.h"

#include <boost/phoenix.hpp>
#include <boost/phoenix/function/adapt_function.hpp>
#include <boost/uuid/nil_generator.hpp>
#include <boost/uuid/uuid_io.hpp>
#include <boost/optional/optional.hpp>
#include <boost/lexical_cast.hpp>

#define DEBUG_PARSERS 0

#if DEBUG_PARSERS
namespace std {
    inline ostream& operator<<(ostream& os, const std::map<std::string, std::unique_ptr<ParsedShipDesign>>&) { return os; }
    inline ostream& operator<<(ostream& os, const std::pair<const std::string, std::unique_ptr<ParsedShipDesign>>&) { return os; }
    inline ostream& operator<<(ostream& os, const std::vector<std::string>&) { return os; }
}
#endif

namespace {
    void insert_ship_design(boost::optional<std::unique_ptr<ParsedShipDesign>>& maybe_design,
                            std::string& name, std::string& description,
                            std::string& hull, std::vector<std::string>& parts,
                            std::string& icon, std::string& model,
                            bool name_desc_in_stringtable, boost::uuids::uuid uuid)
    {
        maybe_design = std::make_unique<ParsedShipDesign>(
            std::move(name), std::move(description), 0, ALL_EMPIRES,
            std::move(hull), std::move(parts), std::move(icon),
            std::move(model), name_desc_in_stringtable, false, std::move(uuid));
    };
    BOOST_PHOENIX_ADAPT_FUNCTION(void, insert_ship_design_, insert_ship_design, 9)

    // A UUID validator
    bool is_valid_uuid(const std::string& uuid_string) {
        try {
            boost::lexical_cast<boost::uuids::uuid>(uuid_string);
        } catch (const boost::bad_lexical_cast&) {
            ErrorLogger() << uuid_string << " is not a valid UUID.  A valid UUID looks like 01234567-89ab-cdef-0123-456789abcdef";
            return false;
        }
        return true;
    };

    // A lazy UUID parser
    BOOST_PHOENIX_ADAPT_FUNCTION(bool, is_valid_uuid_, is_valid_uuid, 1)

    // A UUID parser
    boost::uuids::uuid parse_uuid(const std::string& uuid_string) {
        try {
            return boost::lexical_cast<boost::uuids::uuid>(uuid_string);
        } catch (const boost::bad_lexical_cast&) {
            // This should never happen because the previous is_valid should short circuit.
            ErrorLogger() << uuid_string << " is not a valid UUID.  A valid UUID looks like 01234567-89ab-cdef-0123-456789abcdef";
            return boost::uuids::nil_generator()();
        }
    };
    // A lazy UUID parser
    BOOST_PHOENIX_ADAPT_FUNCTION(boost::uuids::uuid, parse_uuid_, parse_uuid, 1)

    using start_rule_signature = void (boost::optional<std::unique_ptr<ParsedShipDesign>>&);

    struct grammar : public parse::detail::grammar<start_rule_signature> {
        grammar(const parse::lexer& tok,
                const std::string& filename,
                const parse::text_iterator first, const parse::text_iterator last) :
            grammar::base_type(start),
            one_or_more_string_tokens(tok)
        {
            namespace phoenix = boost::phoenix;
            namespace qi = boost::spirit::qi;

            using phoenix::new_;
            using phoenix::push_back;

            qi::_1_type _1;
            qi::_2_type _2;
            qi::_3_type _3;
            qi::_4_type _4;
            qi::_a_type _a;
            qi::_b_type _b;
            qi::_c_type _c;
            qi::_d_type _d;
            qi::_e_type _e;
            qi::_f_type _f;
            qi::_g_type _g;
            qi::_pass_type _pass;
            qi::_r1_type _r1;
            qi::_r2_type _r2;
            qi::_r3_type _r3;
            qi::_r4_type _r4;
            qi::_r5_type _r5;
            qi::eps_type eps;

            design_prefix
                =    tok.ShipDesign_
                >    label(tok.name_) > tok.string [ _r1 = _1 ]
                >    ((label(tok.uuid_)
                       > tok.string [_pass = is_valid_uuid_(_1),  _r5 = parse_uuid_(_1) ])
                      | eps [ _r5 = boost::uuids::nil_generator()() ]
                     )
                >    label(tok.description_) > tok.string [ _r2 = _1 ]
                > (
                     tok.NoStringtableLookup_ [ _r4 = false ]
                    | eps [ _r4 = true ]
                  )
                >    label(tok.hull_)        > tok.string [ _r3 = _1 ]
                ;

            design
                =    design_prefix(_a, _b, _c, _f, _g)
                >    label(tok.parts_)
                >    one_or_more_string_tokens [ _d = _1 ]
                >   -(
                        label(tok.icon_)     > tok.string [ _e = _1 ]
                     )
                >    label(tok.model_)       > tok.string
                [ insert_ship_design_(_r1, _a, _b, _c, _d, _e, _1, _f, _g) ]
                ;

            start
                =   +design(_r1)
                ;

            design_prefix.name("Name, UUID, Description, Lookup Flag, Hull");
            design.name("ParsedShipDesign");

#if DEBUG_PARSERS
            debug(design_prefix);
            debug(design);
#endif

            qi::on_error<qi::fail>(start, parse::report_error(filename, first, last, _1, _2, _3, _4));
        }

        using design_prefix_rule = parse::detail::rule<
            void (std::string&, std::string&, std::string&, bool&, boost::uuids::uuid&)>;

        using design_rule = parse::detail::rule<
            void (boost::optional<std::unique_ptr<ParsedShipDesign>>&),
            boost::spirit::qi::locals<
                std::string,
                std::string,
                std::string,
                std::vector<std::string>,
                std::string,
                bool,
                boost::uuids::uuid
            >
        >;

        using start_rule = parse::detail::rule<start_rule_signature>;

        parse::detail::Labeller label;
        parse::detail::single_or_repeated_string<> one_or_more_string_tokens;
        design_prefix_rule design_prefix;
        design_rule design;
        start_rule start;
    };

    using manifest_start_rule_signature = void (std::vector<boost::uuids::uuid>&);

    struct manifest_grammar : public parse::detail::grammar<manifest_start_rule_signature> {
        manifest_grammar(const parse::lexer& tok,
                         const std::string& filename,
                         const parse::text_iterator first, const parse::text_iterator last) :
            manifest_grammar::base_type(start)
        {
            namespace phoenix = boost::phoenix;
            namespace qi = boost::spirit::qi;

            using phoenix::push_back;

            qi::_1_type _1;
            qi::_2_type _2;
            qi::_3_type _3;
            qi::_4_type _4;
            qi::_r1_type _r1;

            design_manifest
                =    tok.ShipDesignOrdering_
                >    *(label(tok.uuid_)       > tok.string [ push_back(_r1, parse_uuid_(_1)) ])
                ;

            start
                =   +design_manifest(_r1)
                ;

            design_manifest.name("ParsedShipDesignOrdering");

#if DEBUG_PARSERS
            debug(design_manifest);
#endif

            qi::on_error<qi::fail>(start, parse::report_error(filename, first, last, _1, _2, _3, _4));
        }

        using manifest_rule = parse::detail::rule<void (std::vector<boost::uuids::uuid>&)>;
        using start_rule = parse::detail::rule<manifest_start_rule_signature>;

        parse::detail::Labeller label;
        manifest_rule design_manifest;
        start_rule start;
    };
}

namespace parse {
    std::pair<
        std::vector<std::pair<std::unique_ptr<ParsedShipDesign>, boost::filesystem::path>>, // designs_and_paths
        std::vector<boost::uuids::uuid> //ordering
        >
    ship_designs(const boost::filesystem::path& path) {
        /* Note: Parsing to ParsedShipDesign instead of ShipDesign means that
           checks of parts, hulls etc are done elsewhere.  A successful parse
           depends only on the parsed string and not other potentially
           concurrent parses of hulls and parts.*/
        std::vector<std::pair<std::unique_ptr<ParsedShipDesign>,
                    boost::filesystem::path>> designs_and_paths;
        std::vector<boost::uuids::uuid> ordering;

        boost::filesystem::path manifest_file;

        ScopedTimer timer("Ship Designs Parsing");

        const auto& tok = GetLexer();

        for (auto& file : ListDir(path, IsFOCScript)) {
            TraceLogger() << "Parse ship design file " << file.filename();
            if (file.filename() == "ShipDesignOrdering.focs.txt" ) {
                manifest_file = std::move(file);
                continue;
            }

            try {
                boost::optional<std::unique_ptr<ParsedShipDesign>> maybe_design;
                auto partial_result = detail::parse_file<grammar, boost::optional<std::unique_ptr<ParsedShipDesign>>>(
                    tok, file, maybe_design);

                if (!partial_result || !maybe_design)
                    continue;
                designs_and_paths.emplace_back(std::move(*maybe_design), file);

            } catch (const std::runtime_error& e) {
                ErrorLogger() << "Failed to parse ship design in " << file << " from "
                              << path << " because " << e.what();
            }
        }

        if (!manifest_file.empty()) {
            try {
                detail::parse_file<manifest_grammar, std::vector<boost::uuids::uuid>>(
                    tok, manifest_file, ordering);

            } catch (const std::runtime_error& e) {
                ErrorLogger() << "Failed to parse ship design manifest in " << manifest_file << " from " << path
                              << " because " << e.what();;
            }
        }

        return {std::move(designs_and_paths), std::move(ordering)};
    }
}