path: root/build/variable

// file      : build/variable -*- C++ -*-
// copyright : Copyright (c) 2014-2015 Code Synthesis Tools CC
// license   : MIT; see accompanying LICENSE file

#ifndef BUILD_VARIABLE
#define BUILD_VARIABLE

#include <string>
#include <memory>        // unique_ptr
#include <utility>       // move()
#include <cassert>
#include <functional>    // hash
#include <typeindex>
#include <unordered_set>

#include <build/path>
#include <build/name>
#include <build/prefix-map>

namespace build
{
  class scope;
  struct value;

  struct value_type
  {
    std::type_index id;
    value* (*const factory) ();
  };

  // variable
  //
  // The two variables are considered the same if they have the same name.
  //
  struct variable
  {
    explicit
    variable (std::string n): name (std::move (n)), type (nullptr) {}

    std::string name;
    const value_type* type; // If NULL, then this variable has no fixed type.
  };

  inline bool
  operator== (const variable& x, const variable& y) {return x.name == y.name;}

  typedef std::reference_wrapper<const variable> variable_cref;

  // value
  //
  struct value;
  typedef std::unique_ptr<value> value_ptr;

  struct value
  {
    typedef build::scope scope_type;

    scope_type& scope; // Scope to which this value belongs.

  public:
    value (scope_type& s): scope (s) {}

    virtual value_ptr
    clone (scope_type& s) const = 0;

    virtual bool
    compare (const value&) const = 0;

    virtual
    ~value () = default;
  };

  struct list_value: value
  {
    names data;

  public:
    list_value (scope_type& s, names d): value (s), data (std::move (d)) {}

    list_value (scope_type& s, std::string d)
        : value (s)
    {
      data.emplace_back (std::move (d));
    }

    // Note: stored in name as a directory.
    //
    list_value (scope_type& s, path d)
        : value (s)
    {
      data.emplace_back (std::move (d));
    }

    virtual value_ptr
    clone (scope_type& s) const {return value_ptr (new list_value (s, data));}

    virtual bool
    compare (const value& v) const
    {
      const list_value* lv (dynamic_cast<const list_value*> (&v));
      return lv != nullptr && data == lv->data;
    }
  };
  typedef std::unique_ptr<list_value> list_value_ptr;

  // value_proxy
  //
  struct value_proxy
  {
    typedef build::scope scope_type;

    explicit operator bool () const {return p != nullptr && *p != nullptr;}
    explicit operator value_ptr& () const {return *p;}

    scope_type&
    scope () const {return *s;}

    // Get interface. See available specializations below.
    //
    template <typename T>
    T
    as () const = delete;

    // Set interface.
    //
    const value_proxy&
    operator= (value_ptr) const;

    const value_proxy&
    operator= (const value_proxy&) const;

    const value_proxy&
    operator= (std::string) const;

    // Note: stored in name as a directory.
    //
    const value_proxy&
    operator= (path) const;

    // Implementation details.
    //
    explicit
    value_proxy (value_ptr* p, scope_type* s): p (p), s (s) {}

  protected:
    value_ptr* p;
    scope_type* s;
  };

  template <>
  inline value& value_proxy::
  as<value&> () const {return **p;}

  template <>
  inline const value& value_proxy::
  as<const value&> () const {return **p;}

  template <>
  list_value& value_proxy::
  as<list_value&> () const;

  template <>
  inline const list_value& value_proxy::
  as<const list_value&> () const {return as<list_value&> ();}

  template <>
  const std::string& value_proxy::
  as<const std::string&> () const;

  // Note: get the name's dir.
  //
  template <>
  const path& value_proxy::
  as<const path&> () const;
}

namespace std
{
  template <>
  struct hash<build::variable>: hash<string>
  {
    size_t
    operator() (const build::variable& v) const noexcept
    {
      return hash<string>::operator() (v.name);
    }
  };
}

namespace build
{
  // variable_pool
  //
  struct variable_set: std::unordered_set<variable>
  {
    // @@ Need to check/set type?
    //
    const variable&
    find (std::string name) {return *emplace (std::move (name)).first;}
  };

  extern variable_set variable_pool;

  // variable_map
  //
  template <>
  struct compare_prefix<variable_cref>: compare_prefix<std::string>
  {
    typedef compare_prefix<std::string> base;

    explicit
    compare_prefix (char d): base (d) {}

    bool
    operator() (const variable& x, const variable& y) const
    {
      return base::operator() (x.name, y.name);
    }

    bool
    prefix (const variable& p, const variable& k) const
    {
      return base::prefix (p.name, k.name);
    }
  };

  struct variable_map: prefix_map<variable_cref, value_ptr, '.'>
  {
    typedef prefix_map<variable_cref, value_ptr, '.'> base;

    value_proxy
    operator[] (const std::string& v)
    {
      return operator[] (variable_pool.find (v));
    }

    value_proxy
    operator[] (const variable& v)
    {
      return value_proxy (&base::operator[] (v), &scope_);
    }

    value_proxy
    operator[] (const std::string& v) const
    {
      return operator[] (variable_pool.find (v));
    }

    value_proxy
    operator[] (const variable& v) const
    {
      auto i (find (v));
      return i != end ()
        // @@ To do this properly we seem to need ro_value_proxy.
        //
        ? value_proxy (&const_cast<value_ptr&> (i->second), &scope_)
        : value_proxy (nullptr, nullptr);
    }

    std::pair<iterator, iterator>
    find_namespace (const std::string& ns)
    {
      return find_prefix (variable_pool.find (ns));
    }

    std::pair<const_iterator, const_iterator>
    find_namespace (const std::string& ns) const
    {
      return find_prefix (variable_pool.find (ns));
    }

    explicit
    variable_map (scope& s): scope_ (s) {}

  private:
    scope& scope_; // Scope to which this map belongs (and all its value).
  };
}

#include <build/variable.ixx>

#endif // BUILD_VARIABLE