#include "Number.hpp"
#include "Binding.hpp"
#include "algo.hpp"
#include <map>

namespace macrovsa {
  const Symbol& Number::getInt(unsigned int value)
  {
    static const unsigned int MAX_REASONNABLE_COUNT = 10000;
    static std::map < unsigned int, Symbol * > values;
    aidesys::alert(values.size() >= MAX_REASONNABLE_COUNT, " illegal-argument", "in macrovsa::Number::getInt you are requesting too many values %d > %d for such symbolic implementation, memory overflow may occur", values.size(), MAX_REASONNABLE_COUNT);
    {
      auto it = values.find(value);
      if(it == values.cend()) {
        {
          char chars[16];
          sprintf(chars, "%d", value);
          Symbol *symbol = new Symbol(chars);
          values[value] = symbol;
          return *symbol;
        }
      } else {
        return *it->second;
      }
    }
  }
}