/**
 * server/src/lua/set.hpp - Lua set wrapper
 *
 * This file is part of the traintastic source code.
 *
 * Copyright (C) 2019-2020 Reinder Feenstra
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
 */

#ifndef TRAINTASTIC_SERVER_LUA_SET_HPP
#define TRAINTASTIC_SERVER_LUA_SET_HPP

#include <type_traits>
#include <set/set.hpp>
#include <lua.hpp>
#include <frozen/map.h>
#include "readonlytable.hpp"

#define LUA_SET(_type, _size, ...) \
  namespace Lua { \
    template<> \
    struct set_values<_type> \
    { \
      static constexpr frozen::map<_type, const char*, _size> value = { __VA_ARGS__ }; \
    }; \
  }

namespace Lua {

template<typename T>
struct set_values
{
  static_assert(sizeof(T) != sizeof(T), "template specialization required");
};

template<typename T>
constexpr auto set_values_v = set_values<T>::value;

template<typename T>
struct Set
{
  static_assert(is_set_v<T>);
  static_assert(sizeof(T) <= sizeof(lua_Integer));

  static T check(lua_State* L, int index)
  {
    return *static_cast<T*>(luaL_checkudata(L, index, set_name_v<T>));
  }

  static bool test(lua_State* L, int index, T& value)
  {
    T* data = static_cast<T*>(luaL_testudata(L, index, set_name_v<T>));
    if(data)
      value = *data;
    return data;
  }

  static void push(lua_State* L, T value)
  {
    lua_getglobal(L, set_name_v<T>); // get tabel with all values: key=int, value=set asuserdata
    lua_rawgeti(L, -1, static_cast<lua_Integer>(value)); // get userdata
    if(lua_isnil(L, -1)) // value not in table
    {
      // create new value:
      *static_cast<T*>(lua_newuserdata(L, sizeof(value))) = value;
      luaL_setmetatable(L, set_name_v<T>);

      // add it to the table
      lua_pushvalue(L, -1); // copy set userdata on stack
      lua_rawseti(L, -1, static_cast<lua_Integer>(value));

    }
    else // value in table
    {
      lua_insert(L, lua_gettop(L) - 1); // swap global and userdata
      lua_pop(L, 1); // remove global
    }
  }

  static int __band(lua_State* L)
  {
    push(L, check(L, 1) & check(L, 2));
    return 1;
  }

  static int __bor(lua_State* L)
  {
    push(L, check(L, 1) | check(L, 2));
    return 1;
  }

  static int __bnot(lua_State* L)
  {
    push(L, ~check(L, 1));
    return 1;
  }

  static int __tostring(lua_State* L)
  {
    const T value = check(L, 1);
    int n = 3;
    lua_pushstring(L, set_name_v<T>);
    lua_pushliteral(L, "(");
    for(auto& it : set_values_v<T>)
      if(contains(value, it.first))
      {
        if(n > 3)
        {
          lua_pushliteral(L, " ");
          n++;
        }
        lua_pushstring(L, it.second);
        n++;
      }
    lua_pushliteral(L, ")");
    lua_concat(L, n);
    return 1;
  }

  static void registerType(lua_State* L)
  {
    luaL_newmetatable(L, set_name_v<T>);
    lua_pushcfunction(L, __band);
    lua_setfield(L, -2, "__band");
    lua_pushcfunction(L, __bor);
    lua_setfield(L, -2, "__bor");
    lua_pushcfunction(L, __bnot);
    lua_setfield(L, -2, "__bnot");
    //lua_pushcfunction(L, __eq);
    //lua_setfield(L, -2, "__eq");
    lua_pushcfunction(L, __tostring);
    lua_setfield(L, -2, "__tostring");
    lua_pop(L, 1);
  }

  static void registerValues(lua_State* L)
  {
    assert(lua_istable(L, -1));
    lua_createtable(L, 0, set_values_v<T>.size());
    for(auto& it : set_values_v<T>)
    {
      push(L, it.first);
      lua_setfield(L, -2, it.second);
    }
    ReadOnlyTable::setMetatable(L, -1);
    lua_setfield(L, -2, set_name_v<T>);
  }
};

}

#endif