Value.cpp

Go to the documentation of this file.

#include <Ark/VM/Value.hpp>
#include <Ark/VM/Value/Procedure.hpp>
#include <Ark/VM/Value/Dict.hpp>
 
#include <fmt/format.h>
#include <fmt/ostream.h>
 
namespace Ark
{
    Value::Value() noexcept :
        m_type(ValueType::Undefined)
    {}
 
    Value::Value(ValueType type) noexcept :
        m_type(type)
    {
        if (type == ValueType::List)
            m_value = List_t();
        else if (type == ValueType::String)
            m_value = std::string();
    }
 
    Value::Value(const int value) noexcept :
        m_type(ValueType::Number), m_value(static_cast<double>(value))
    {}
 
    Value::Value(const double value) noexcept :
        m_type(ValueType::Number), m_value(value)
    {}
 
    Value::Value(const String_t& value) noexcept :
        m_type(ValueType::String), m_value(value)
    {}
 
    Value::Value(const char* value) noexcept :
        m_type(ValueType::String), m_value(std::string(value))
    {}
 
    Value::Value(internal::PageAddr_t value) noexcept :
        m_type(ValueType::PageAddr), m_value(value)
    {}
 
    Value::Value(Procedure&& value) noexcept :
        m_type(ValueType::CProc), m_value(std::move(value))
    {}
 
    Value::Value(List_t&& value) noexcept :
        m_type(ValueType::List), m_value(std::move(value))
    {}
 
    Value::Value(internal::Closure&& value) noexcept :
        m_type(ValueType::Closure), m_value(std::move(value))
    {}
 
    Value::Value(UserType&& value) noexcept :
        m_type(ValueType::User), m_value(value)
    {}
 
    Value::Value(Dict_t&& value) noexcept :
        m_type(ValueType::Dict), m_value(std::make_shared<Dict_t>(std::move(value)))
    {}
 
    Value::Value(Ref_t ref) noexcept :
        m_type(ValueType::Reference), m_value(ref)
    {}
 
    void Value::push_back(const Value& value)
    {
        list().emplace_back(value);
    }
 
    void Value::push_back(Value&& value)
    {
        list().emplace_back(std::move(value));
    }
 
    std::string Value::toString(VM& vm, const bool show_as_code) const noexcept
    {
        switch (valueType())
        {
            case ValueType::Number:
                return fmt::format("{}", number());
 
            case ValueType::String:
                if (show_as_code)
                    return fmt::format("\"{}\"", string());
                return string();
 
            case ValueType::PageAddr:
                return fmt::format("Function@{}", pageAddr());
 
            case ValueType::CProc:
                return "CProcedure";
 
            case ValueType::List:
            {
                std::string out = "[";
                for (auto it = constList().begin(), it_end = constList().end(); it != it_end; ++it)
                {
                    if (it->valueType() == ValueType::String)
                        out += "\"" + it->toString(vm) + "\"";
                    else
                        out += it->toString(vm);
                    if (it + 1 != it_end)
                        out += " ";
                }
                return out + "]";
            }
 
            case ValueType::Closure:
                return closure().toString(vm);
 
            case ValueType::User:
                return fmt::format("{}", fmt::streamed(usertype()));
 
            case ValueType::Dict:
                return dict().toString(vm);
 
            case ValueType::Nil:
                return "nil";
 
            case ValueType::True:
                return "true";
 
            case ValueType::False:
                return "false";
 
            case ValueType::Undefined:
                return "undefined";
 
            case ValueType::Reference:
                if (reference() != this)
                    return reference()->toString(vm);
                return "Ref(self)";
 
            case ValueType::InstPtr:
                return fmt::format("Instruction@{}", pageAddr());
 
            default:
                return "~\\._./~";
        }
    }
 
    bool operator==(const Value& A, const Value& B) noexcept
    {
        // values should have the same type
        if (A.m_type != B.m_type)
            return false;
        // all the types >= Nil are Nil itself, True, False, Undefined
        if (A.typeNum() >= static_cast<uint8_t>(ValueType::Nil))
            return true;
 
        if (A.valueType() == ValueType::Dict)
            return A.dict() == B.dict();
 
        return A.m_value == B.m_value;
    }
}