// file      : bdep/project.cxx -*- C++ -*-
// copyright : Copyright (c) 2014-2017 Code Synthesis Ltd
// license   : MIT; see accompanying LICENSE file

#include <bdep/project.hxx>
#include <bdep/project-odb.hxx>

#include <libbpkg/manifest.hxx>

#include <bdep/database.hxx>
#include <bdep/diagnostics.hxx>

using namespace std;

namespace bdep
{
  configurations
  find_configurations (const dir_path& prj,
                       transaction& t,
                       const project_options& po)
  {
    configurations r;

    // Weed out duplicates.
    //
    auto add = [&r] (shared_ptr<configuration> c)
    {
      if (find_if (r.begin (),
                   r.end (),
                   [&c] (const shared_ptr<configuration>& e)
                   {
                     return *c->id == *e->id;
                   }) == r.end ())
        r.push_back (move (c));
    };

    database& db (t.database ());
    using query = bdep::query<configuration>;

    // @<cfg-name>
    //
    if (po.config_name_specified ())
    {
      for (const string& n: po.config_name ())
      {
        if (auto c = db.query_one<configuration> (query::name == n))
          add (c);
        else
          fail << "no configuration name '" << n << "' in project " << prj;
      }
    }

    // --config <cfg-dir>
    //
    if (po.config_specified ())
    {
      for (dir_path d: po.config ())
      {
        d.complete ();
        d.normalize ();

        if (auto c = db.query_one<configuration> (query::path == d.string ()))
          add (c);
        else
          fail << "no configuration directory " << d << " in project " << prj;
      }
    }

    // --config-id <cfg-num>
    //
    if (po.config_id_specified ())
    {
      for (uint64_t id: po.config_id ())
      {
        if (auto c = db.find<configuration> (id))
          add (c);
        else
          fail << "no configuration id " << id << " in project " << prj;
      }
    }

    // --all
    //
    if (po.all ())
    {
      for (auto c: pointer_result (db.query<configuration> ()))
        add (c);
    }

    // default
    //
    if (r.empty ())
    {
      if (auto c = db.query_one<configuration> (query::default_))
        add (c);
      else
        fail << "no default configuration in project " << prj <<
          info << "use (@<cfg-name> | --config|-c <cfg-dir> | --all|-a) to "
             << "specify configuration explicitly";
    }

    // Validate all the returned configuration directories are still there.
    //
    for (const shared_ptr<configuration>& c: r)
    {
      if (!exists (c->path))
        fail << "configuration directory " << c->path << " no longer exists";
    }

    return r;
  }

  // Given a directory which can a project root, a package root, or one of
  // their subdirectories, return the absolute project (first) and relative
  // package (second) directories. The package directory may be absent if the
  // given directory is not within a package root or empty if the project and
  // package roots are the same.
  //
  struct project_package
  {
    dir_path           project;
    optional<dir_path> package;
  };

  static project_package
  find_project_packages (const dir_path& start)
  {
    dir_path prj;
    optional<dir_path> pkg;

    dir_path d (start);
    d.complete ();
    d.normalize ();
    for (; !d.empty (); d = d.directory ())
    {
      // Ignore errors when checking for file existence since we may be
      // iterating over directories past any reasonable project boundaries.
      //
      bool p (exists (d / manifest_file, true));
      if (p)
      {
        if (pkg)
        {
          fail << "multiple package manifests between " << start
               << " and project root" <<
            info << "first  manifest is in " << *pkg <<
            info << "second manifest is in " << d;
        }

        pkg = d;

        // Fall through (can also be the project root).
      }

      // Check for the database file first since an (initialized) simple
      // project mosl likely won't have any *.manifest files.
      //
      if (exists (d / bdep_file, true)     ||
          exists (d / packages_file, true) ||
          //
          // We should only consider {repositories,configurations}.manifest if
          // we have either packages.manifest or manifest (i.e., this is a
          // valid project root).
          //
          (p && (exists (d / repositories_file, true) ||
                 exists (d / configurations_file, true))))
      {
        prj = move (d);
        break;
      }
    }

    if (prj.empty ())
    {
      if (!pkg)
        fail << start << " is no a (sub)directory of a package or project";

      // Project and package are the same.
      //
      prj = move (*pkg);
      pkg = dir_path ();
    }
    else if (pkg)
      pkg = pkg->leaf (prj);

    return project_package {move (prj), move (pkg)};
  }

  project_packages
  find_project_packages (const project_options& po,
                         bool ignore_packages,
                         bool load_packages)
  {
    project_packages r;

    if (po.directory_specified ())
    {
      for (const dir_path& d: po.directory ())
      {
        project_package p (find_project_packages (d));

        // We only work on one project at a time.
        //
        if (r.project.empty ())
        {
          r.project = move (p.project);
        }
        else if (r.project != p.project)
        {
          fail << "multiple project directories specified" <<
            info << r.project <<
            info << p.project;
        }

        if (!ignore_packages && p.package)
        {
          // Suppress duplicate packages.
          //
          if (find_if (r.packages.begin (),
                       r.packages.end (),
                       [&p] (const package_location& pl)
                       {
                         return *p.package == pl.path;
                       }) == r.packages.end ())
          {
            // Name is to be extracted later.
            //
            r.packages.push_back (package_location {"", move (*p.package)});
          }
        }
      }
    }
    else
    {
      project_package p (find_project_packages (path::current_directory ()));

      r.project = move (p.project);

      if (!ignore_packages && p.package)
      {
        // Name is to be extracted later.
        //
        r.packages.push_back (move (package_location {"", *p.package}));
      }
    }

    if (!ignore_packages)
    {
      // If exists, load packages.manifest from the project root and either
      // verify that the discovered packages are in it or, if nothing was
      // discovered, use it as the source for the package list.
      //
      path f (r.project / packages_file);

      if (exists (f))
      {
        using bpkg::package_manifest;
        using bpkg::dir_package_manifests;

        auto ms (parse_manifest<dir_package_manifests> (f, "packages"));

        // While an empty repository is legal, in our case it doesn't make
        // much sense and will just further complicate things.
        //
        if (ms.empty ())
          fail << "no packages listed in " << f;

        // Convert the package location from POSIX to the host form and make
        // sure the current directory is represented as an empty path.
        //
        auto location = [] (const package_manifest& m)
        {
          assert (m.location);
          dir_path d (path_cast<dir_path> (*m.location));
          d.normalize (false /* actualize */, true /* cur_empty */);
          return d;
        };

        if (!r.packages.empty ())
        {
          // It could be costly to normalize the location for each
          // comparison. We, however, do not expect more than a handful of
          // packages so we are probably ok.
          //
          for (const package_location& pl: r.packages)
          {
            const dir_path& p (pl.path);

            if (find_if (ms.begin (),
                         ms.end (),
                         [&p, &location] (const package_manifest& m)
                         {
                           return p == location (m);
                         }) == ms.end ())
            {
              fail << "package directory " << p << " is not listed in " << f;
            }
          }
        }
        else if (load_packages)
        {
          // Name is to be extracted later.
          //
          for (package_manifest& m: ms)
            r.packages.push_back (package_location {"", location (m)});
        }
      }
      else
      {
        // If packages.manifest does not exist, then this must be a simple
        // project.
        //
        assert (r.packages.size () == 1 && r.packages[0].path.empty ());
      }

      // Load each package's manifest and obtain its name (name is normally
      // the first value so we could optimize this, if necessary).
      //
      for (package_location& pl: r.packages)
      {
        path f (r.project / pl.path / manifest_file);
        auto m (parse_manifest<bpkg::package_manifest> (f, "package"));
        pl.name = move (m.name);
      }
    }

    return r;
  }

  void
  verify_project_packages (const project_packages& pp,
                           const configurations& cfgs)
  {
    for (const shared_ptr<configuration>& c: cfgs)
    {
      for (const package_location& p: pp.packages)
      {
        if (find_if (c->packages.begin (),
                     c->packages.end (),
                     [&p] (const package_state& s)
                     {
                       return p.name == s.name;
                     }) == c->packages.end ())
        {
          fail << "package " << p.name << " is not initialized "
               << "in configuration " << *c;
        }
      }
    }
  }
}