// file      : libbuild2/functions-filesystem.cxx -*- C++ -*-
// license   : MIT; see accompanying LICENSE file

#include <libbutl/filesystem.hxx>

#include <libbuild2/function.hxx>
#include <libbuild2/variable.hxx>
#include <libbuild2/filesystem.hxx>

using namespace std;
using namespace butl;

namespace build2
{
  // Return paths of filesystem entries that match the pattern. See
  // path_search() overloads (below) for details.
  //
  static names
  path_search (const path& pattern, const optional<dir_path>& start)
  {
    names r;
    auto add = [&r] (path&& p, const std::string&, bool interm) -> bool
    {
      // Canonicalizing paths seems to be the right thing to do. Otherwise, we
      // can end up with different separators in the same path on Windows.
      //
      if (!interm)
        r.emplace_back (
          value_traits<path>::reverse (move (p.canonicalize ())));

      return true;
    };

    auto dangling = [] (const dir_entry& de)
    {
      bool sl (de.ltype () == entry_type::symlink);

      warn << "skipping "
           << (sl ? "dangling symlink" : "inaccessible entry") << ' '
           << de.base () / de.path ();

      return true;
    };

    // Print paths "as is" in the diagnostics.
    //
    try
    {
      if (pattern.absolute ())
        path_search (pattern,
                     add,
                     dir_path () /* start */,
                     path_match_flags::follow_symlinks,
                     dangling);
      else
      {
        // An absolute start directory must be specified for the relative
        // pattern.
        //
        if (!start || start->relative ())
        {
          diag_record dr (fail);

          if (!start)
            dr << "start directory is not specified";
          else
            dr << "start directory '" << start->representation ()
               << "' is relative";

          dr << info << "pattern '" << pattern.representation ()
             << "' is relative";
        }

        path_search (pattern,
                     add,
                     *start,
                     path_match_flags::follow_symlinks,
                     dangling);
      }
    }
    catch (const system_error& e)
    {
      diag_record d (fail);
      d << "unable to scan";

      // If the pattern is absolute, then the start directory is not used, and
      // so printing it would be misleading.
      //
      if (start && pattern.relative ())
        d << " '" << start->representation () << "'";

      d << ": " << e
        << info << "pattern: '" << pattern.representation () << "'";
    }

    return r;
  }

  static bool
  file_exists (path&& f)
  {
    if (f.relative () && path_traits::thread_current_directory () != nullptr)
      f.complete ();

    return exists (f);
  }

  static bool
  directory_exists (dir_path&& d)
  {
    if (d.relative () && path_traits::thread_current_directory () != nullptr)
      d.complete ();

    return exists (d);
  }

  void
  filesystem_functions (function_map& m)
  {
    // NOTE: anything that depends on relative path must handle the
    //       thread-specific curren directory override explicitly.

    function_family f (m, "filesystem");

    // $file_exists(<path>)
    //
    // Return true if a filesystem entry at the specified path exists and is a
    // regular file (or is a symlink to a regular file) and false otherwise.
    //
    // Note that this function is not pure.
    //
    {
      auto e (f.insert ("file_exists", false));

      e += [](path f) {return file_exists (move (f));};
      e += [](names ns) {return file_exists (convert<path> (move (ns)));};
    }

    // $directory_exists(<path>)
    //
    // Return true if a filesystem entry at the specified path exists and is a
    // directory (or is a symlink to a directory) and false otherwise.
    //
    // Note that this function is not pure.
    //
    {
      auto e (f.insert ("directory_exists", false));

      e += [](path f) {return directory_exists (path_cast<dir_path> (move (f)));};
      e += [](names ns) {return directory_exists (convert<dir_path> (move (ns)));};
    }

    // $path_search(<pattern>[, <start-dir>])
    //
    // Return filesystem paths that match the shell-like wildcard pattern. If
    // the pattern is an absolute path, then the start directory is ignored
    // (if present). Otherwise, the start directory must be specified and be
    // absolute.
    //
    // Note that this function is not pure.
    //

    // @@ In the future we may want to add a flag that controls the
    //    dangling/inaccessible treatment.
    //
    {
      auto e (f.insert ("path_search", false));

      e += [](path pattern, optional<dir_path> start)
      {
        return path_search (pattern, start);
      };

      e += [](path pattern, names start)
      {
        return path_search (pattern, convert<dir_path> (move (start)));
      };

      e += [](names pattern, optional<dir_path> start)
      {
        return path_search (convert<path> (move (pattern)), start);
      };

      e += [](names pattern, names start)
      {
        return path_search (convert<path>     (move (pattern)),
                            convert<dir_path> (move (start)));
      };
    }
  }
}