@ugo-studio/jspp 0.1.3 → 0.1.5

package/src/prelude/any_value_helpers.hpp

@@ -1,225 +1,139 @@
-#pragma once
-
-#include "types.hpp"
-#include "any_value.hpp"
-#include "values/string.hpp"
-
-const bool jspp::AnyValue::is_truthy() const noexcept
-{
-    switch (storage.type)
-    {
-    case JsType::Boolean:
-        return storage.boolean;
-    case JsType::Number:
-        return storage.number != 0.0;
-    case JsType::String:
-        return !storage.str->value.empty();
-    case JsType::Undefined:
-        return false;
-    case JsType::Null:
-        return false;
-    case JsType::Uninitialized:
-        return false;
-    default:
-        return true;
-    }
-}
-
-const bool jspp::AnyValue::is_strictly_equal_to(const AnyValue &other) const noexcept
-{
-    if (storage.type == other.storage.type)
-    {
-        switch (storage.type)
-        {
-        case JsType::Boolean:
-            return storage.boolean == other.storage.boolean;
-        case JsType::Number:
-            return storage.number == other.storage.number;
-        case JsType::String:
-            return (storage.str->value == other.storage.str->value);
-        case JsType::Array:
-            return (storage.array == other.storage.array);
-        case JsType::Object:
-            return (storage.object == other.storage.object);
-        case JsType::Function:
-            return (storage.function == other.storage.function);
-        case JsType::Symbol:
-            // Symbols are unique by reference/pointer identity
-            return (storage.symbol == other.storage.symbol);
-        case JsType::DataDescriptor:
-            return (resolve_property_for_read(*this).is_strictly_equal_to(resolve_property_for_read(other)));
-        case JsType::AccessorDescriptor:
-            return (resolve_property_for_read(*this).is_strictly_equal_to(resolve_property_for_read(other)));
-        default:
-            return true;
-        }
-    }
-    return false;
-}
-const bool jspp::AnyValue::is_equal_to(const AnyValue &other) const noexcept
-{
-    // Implements JavaScript's Abstract Equality Comparison Algorithm (==)
-    // Step 1: If types are the same, use strict equality (===)
-    if (storage.type == other.storage.type)
-    {
-        return is_strictly_equal_to(other);
-    }
-    // Steps 2 & 3: null == undefined
-    if ((is_null() && other.is_undefined()) || (is_undefined() && other.is_null()))
-    {
-        return true;
-    }
-    // Step 4 & 5: number == string
-    if (is_number() && other.is_string())
-    {
-        double num_this = this->as_double();
-        double num_other;
-        try
-        {
-            const std::string &s = other.as_string()->value;
-            // JS considers empty string or whitespace-only string to be 0
-            if (s.empty() || std::all_of(s.begin(), s.end(), [](unsigned char c)
-                                         { return std::isspace(c); }))
-            {
-                num_other = 0.0;
-            }
-            else
-            {
-                size_t pos;
-                num_other = std::stod(s, &pos);
-                // Check if the entire string was consumed, allowing for trailing whitespace
-                while (pos < s.length() && std::isspace(static_cast<unsigned char>(s[pos])))
-                {
-                    pos++;
-                }
-                if (pos != s.length())
-                {
-                    num_other = std::numeric_limits<double>::quiet_NaN();
-                }
-            }
-        }
-        catch (...)
-        {
-            num_other = std::numeric_limits<double>::quiet_NaN();
-        }
-        return num_this == num_other;
-    }
-    if (is_string() && other.is_number())
-    {
-        // Delegate to the other operand to avoid code duplication
-        return other.is_equal_to(*this);
-    }
-    // Step 6 & 7: boolean == any
-    if (is_boolean())
-    {
-        // Convert boolean to number and re-compare
-        return AnyValue::make_number(as_boolean() ? 1.0 : 0.0).is_equal_to(other);
-    }
-    if (other.is_boolean())
-    {
-        // Convert boolean to number and re-compare
-        return is_equal_to(AnyValue::make_number(other.as_boolean() ? 1.0 : 0.0));
-    }
-    // Step 8 & 9: object == (string or number or symbol)
-    // Simplified: Objects convert to primitives.
-    if ((is_object() || is_array() || is_function()) && (other.is_string() || other.is_number() || other.is_symbol()))
-    {
-        // Convert object to primitive (string) and re-compare.
-        // This is a simplification of JS's ToPrimitive.
-        return AnyValue::make_string(to_std_string()).is_equal_to(other);
-    }
-    if ((other.is_object() || other.is_array() || other.is_function()) && (is_string() || is_number() || is_symbol()))
-    {
-        return other.is_equal_to(*this);
-    }
-    // Step 10: Parse datacriptor or accessor descriptor to primitive and re-compare
-    if (is_data_descriptor() || is_accessor_descriptor())
-    {
-        AnyValue prim = resolve_property_for_read(*this);
-        return prim.is_equal_to(other);
-    }
-    // Step 11: All other cases (e.g., object == null) are false.
-    return false;
-}
-
-const jspp::AnyValue jspp::AnyValue::is_strictly_equal_to_primitive(const AnyValue &other) const noexcept
-{
-    return AnyValue::make_boolean(is_strictly_equal_to(other));
-}
-const jspp::AnyValue jspp::AnyValue::is_equal_to_primitive(const AnyValue &other) const noexcept
-{
-    return AnyValue::make_boolean(is_equal_to(other));
-}
-
-const jspp::AnyValue jspp::AnyValue::not_strictly_equal_to_primitive(const AnyValue &other) const noexcept
-{
-    return AnyValue::make_boolean(!is_strictly_equal_to(other));
-}
-const jspp::AnyValue jspp::AnyValue::not_equal_to_primitive(const AnyValue &other) const noexcept
-{
-    return AnyValue::make_boolean(!is_equal_to(other));
-}
-
-const std::string jspp::AnyValue::to_std_string() const noexcept
-{
-    switch (storage.type)
-    {
-    case JsType::Undefined:
-        return "undefined";
-    case JsType::Null:
-        return "null";
-    case JsType::Boolean:
-        return storage.boolean ? "true" : "false";
-    case JsType::String:
-        return storage.str->to_std_string();
-    case JsType::Object:
-        return storage.object->to_std_string();
-    case JsType::Array:
-        return storage.array->to_std_string();
-    case JsType::Function:
-        return storage.function->to_std_string();
-    case JsType::Iterator:
-        return storage.iterator->to_std_string();
-    case JsType::Symbol:
-        return storage.symbol->to_std_string();
-    case JsType::DataDescriptor:
-        return storage.data_desc->value->to_std_string();
-    case JsType::AccessorDescriptor:
-    {
-        if (storage.accessor_desc->get.has_value())
-            return storage.accessor_desc->get.value()({}).to_std_string();
-        else
-            return "undefined";
-    }
-    case JsType::Number:
-    {
-        if (std::isnan(storage.number))
-        {
-            return "NaN";
-        }
-        if (std::abs(storage.number) >= 1e21 || (std::abs(storage.number) > 0 && std::abs(storage.number) < 1e-6))
-        {
-            std::ostringstream oss;
-            oss << std::scientific << std::setprecision(4) << storage.number;
-            return oss.str();
-        }
-        else
-        {
-            std::ostringstream oss;
-            oss << std::setprecision(6) << std::fixed << storage.number;
-            std::string s = oss.str();
-            s.erase(s.find_last_not_of('0') + 1, std::string::npos);
-            if (!s.empty() && s.back() == '.')
-            {
-                s.pop_back();
-            }
-            return s;
-        }
-    }
-    // Uninitialized and default should not be reached under normal circumstances
-    case JsType::Uninitialized:
-        return "<uninitialized>";
-    default:
-        return "";
-    }
-}
+#pragma once
+
+#include "types.hpp"
+#include "any_value.hpp"
+#include "values/string.hpp"
+#include "exception.hpp"
+
+namespace jspp
+{
+    std::string AnyValue::to_std_string() const
+    {
+        switch (get_type())
+        {
+        case JsType::Undefined:
+            return "undefined";
+        case JsType::Null:
+            return "null";
+        case JsType::Boolean:
+            return std::get<bool>(storage) ? "true" : "false";
+        case JsType::String:
+            return std::get<std::shared_ptr<JsString>>(storage)->to_std_string();
+        case JsType::Object:
+            return std::get<std::shared_ptr<JsObject>>(storage)->to_std_string();
+        case JsType::Array:
+            return std::get<std::shared_ptr<JsArray>>(storage)->to_std_string();
+        case JsType::Function:
+            return std::get<std::shared_ptr<JsFunction>>(storage)->to_std_string();
+        case JsType::Iterator:
+            return std::get<std::shared_ptr<JsIterator<AnyValue>>>(storage)->to_std_string();
+        case JsType::Promise:
+            return std::get<std::shared_ptr<JsPromise>>(storage)->to_std_string();
+        case JsType::Symbol:
+            return std::get<std::shared_ptr<JsSymbol>>(storage)->to_std_string();
+        case JsType::DataDescriptor:
+            return std::get<std::shared_ptr<DataDescriptor>>(storage)->value->to_std_string();
+        case JsType::AccessorDescriptor:
+        {
+            if (std::get<std::shared_ptr<AccessorDescriptor>>(storage)->get.has_value())
+                return std::get<std::shared_ptr<AccessorDescriptor>>(storage)->get.value()(*this, {}).to_std_string();
+            else
+                return "undefined";
+        }
+        case JsType::Number:
+        {
+            double num = std::get<double>(storage);
+            if (std::isnan(num))
+            {
+                return "NaN";
+            }
+            if (std::abs(num) >= 1e21 || (std::abs(num) > 0 && std::abs(num) < 1e-6))
+            {
+                std::ostringstream oss;
+                oss << std::scientific << std::setprecision(4) << num;
+                return oss.str();
+            }
+            else
+            {
+                std::ostringstream oss;
+                oss << std::setprecision(6) << std::fixed << num;
+                std::string s = oss.str();
+                s.erase(s.find_last_not_of('0') + 1, std::string::npos);
+                if (!s.empty() && s.back() == '.')
+                {
+                    s.pop_back();
+                }
+                return s;
+            }
+        }
+        case JsType::Uninitialized:
+            Exception::throw_uninitialized_reference("#<Object>");
+        default:
+            return "";
+        }
+    }
+
+    void AnyValue::set_prototype(const AnyValue &proto)
+    {
+        if (is_object())
+        {
+            std::get<std::shared_ptr<JsObject>>(storage)->proto = std::make_shared<AnyValue>(proto);
+        }
+        else if (is_array())
+        {
+            std::get<std::shared_ptr<JsArray>>(storage)->proto = std::make_shared<AnyValue>(proto);
+        }
+        else if (is_function())
+        {
+            std::get<std::shared_ptr<JsFunction>>(storage)->proto = std::make_shared<AnyValue>(proto);
+        }
+        else if (is_uninitialized())
+        {
+            Exception::throw_uninitialized_reference("#<Object>");
+        }
+    }
+
+    // AnyValue::call implementation
+    const AnyValue AnyValue::call(const AnyValue &thisVal, std::span<const AnyValue> args, const std::optional<std::string> &expr = std::nullopt) const
+    {
+        if (!is_function())
+        {
+            throw Exception::make_exception(expr.value_or(to_std_string()) + " is not a function", "TypeError");
+        }
+        return as_function()->call(thisVal, args); // Convert to function before calling, to avoid an infinite loop
+    }
+
+    // AnyValue::construct implementation
+    const AnyValue AnyValue::construct(std::span<const AnyValue> args, const std::optional<std::string> &name) const
+    {
+        if (!is_function() || !as_function()->is_constructor)
+        {
+            // std::cerr << "Construct fail: " << name.value_or(to_std_string()) << " is_function=" << is_function() << " is_constructor=" << (is_function() ? as_function()->is_constructor : false) << std::endl;
+            throw Exception::make_exception(name.value_or(to_std_string()) + " is not a constructor", "TypeError");
+        }
+
+        // 1. Get prototype
+        AnyValue proto = get_own_property("prototype");
+        // If prototype is not an object, default to a plain object (which ideally inherits from Object.prototype)
+        // Here we just make a plain object.
+        if (!proto.is_object())
+        {
+            proto = AnyValue::make_object({});
+        }
+
+        // 2. Create instance
+        AnyValue instance = AnyValue::make_object_with_proto({}, proto);
+
+        // 3. Call function
+        // We pass 'instance' as 'this'
+        AnyValue result = call(instance, args);
+
+        // 4. Return result if object, else instance
+        if (result.is_object() || result.is_function() || result.is_array() || result.is_promise())
+        {
+            return result;
+        }
+        return instance;
+    }
+
+}

package/src/prelude/exception.hpp

@@ -0,0 +1,32 @@
+
+#pragma once
+
+#include <exception>
+#include "types.hpp"
+
+namespace jspp
+{
+    class AnyValue;
+
+    struct Exception : std::exception
+    {
+        std::shared_ptr<AnyValue> data;
+
+        explicit Exception(std::shared_ptr<AnyValue> d)
+            : data(std::move(d)) {}
+        explicit Exception(const AnyValue &value)
+            : data(std::make_shared<AnyValue>(value)) {}
+        explicit Exception(AnyValue &&value)
+            : data(std::make_shared<AnyValue>(std::move(value))) {}
+
+        const char *what() const noexcept override;
+        static Exception make_exception(const std::string &message, const std::string &name);
+        static AnyValue exception_to_any_value(const std::exception &ex);
+
+        // --- THROWERS
+        static AnyValue throw_unresolved_reference(const std::string &var_name);
+        static AnyValue throw_uninitialized_reference(const std::string &var_name);
+        static AnyValue throw_immutable_assignment();
+        static AnyValue throw_invalid_return_statement();
+    };
+}

package/src/prelude/exception_helpers.hpp

@@ -0,0 +1,49 @@
+#pragma once
+
+#include "types.hpp"
+#include "exception.hpp"
+#include "any_value.hpp"
+
+const char *jspp::Exception::what() const noexcept
+{
+    return data->to_std_string().c_str();
+}
+
+jspp::Exception jspp::Exception::make_exception(const std::string &message, const std::string &name = "Error")
+{
+    // Use the global Error object to construct the exception
+    std::vector<AnyValue> args = {AnyValue::make_string(message)};
+    AnyValue errorObj = ::Error.construct(args, name);
+    errorObj.define_data_property("name", AnyValue::make_string(name), true, false, true);
+
+    return Exception(errorObj);
+}
+jspp::AnyValue jspp::Exception::exception_to_any_value(const std::exception &ex)
+{
+    if (const jspp::Exception *err = dynamic_cast<const jspp::Exception *>(&ex))
+    {
+        return (*err->data);
+    }
+    else
+    {
+        return AnyValue::make_string(ex.what());
+    }
+}
+
+// --- THROWERS
+jspp::AnyValue jspp::Exception::throw_unresolved_reference(const std::string &var_name)
+{
+    throw Exception::make_exception(var_name + " is not defined", "ReferenceError");
+}
+jspp::AnyValue jspp::Exception::throw_uninitialized_reference(const std::string &var_name)
+{
+    throw Exception::make_exception("Cannot access '" + var_name + "' before initialization", "ReferenceError");
+}
+jspp::AnyValue jspp::Exception::throw_immutable_assignment()
+{
+    throw Exception::make_exception("Assignment to constant variable.", "TypeError");
+}
+jspp::AnyValue jspp::Exception::throw_invalid_return_statement()
+{
+    throw Exception::make_exception("Return statements are only valid inside functions.", "SyntaxError");
+}

package/src/prelude/index.hpp

@@ -1,43 +1,59 @@
 #pragma once
 
 #include "types.hpp"
-#include "well_known_symbols.hpp"
+#include "utils/well_known_symbols.hpp"
 
 // values
+#include "values/shape.hpp"
 #include "values/symbol.hpp"
 #include "values/non_values.hpp"
 #include "values/object.hpp"
 #include "values/array.hpp"
 #include "values/function.hpp"
 #include "values/iterator.hpp"
+#include "values/promise.hpp"
 #include "values/string.hpp"
 
-#include "error.hpp"
-#include "descriptors.hpp"
 #include "any_value.hpp"
+#include "values/descriptors.hpp"
 #include "any_value_helpers.hpp"
-#include "error_helpers.hpp"
+#include "any_value_access.hpp"
+#include "any_value_defines.hpp"
+#include "library/error.hpp"
+#include "exception_helpers.hpp"
+#include "scheduler.hpp"
 
 #include "values/prototypes/symbol.hpp"
-#include "values/prototypes/string.hpp"
 #include "values/prototypes/object.hpp"
 #include "values/prototypes/array.hpp"
 #include "values/prototypes/function.hpp"
 #include "values/prototypes/iterator.hpp"
+#include "values/prototypes/promise.hpp"
+#include "values/prototypes/string.hpp"
+#include "values/prototypes/number.hpp"
 
 #include "values/helpers/symbol.hpp"
 #include "values/helpers/object.hpp"
 #include "values/helpers/array.hpp"
 #include "values/helpers/function.hpp"
 #include "values/helpers/iterator.hpp"
+#include "values/helpers/promise.hpp"
 #include "values/helpers/string.hpp"
 
-// helpers
-#include "operators.hpp"
-#include "access.hpp"
-#include "log_string.hpp"
+// utilities
+#include "utils/operators.hpp"
+#include "utils/assignment_operators.hpp"
+#include "utils/access.hpp"
+#include "utils/log_any_value/log_any_value.hpp"
 
 // js standard libraries
 #include "library/symbol.hpp"
+#include "library/process.hpp"
+#include "library/function.hpp"
 #include "library/console.hpp"
 #include "library/performance.hpp"
+#include "library/promise.hpp"
+#include "library/math.hpp"
+#include "library/object.hpp"
+#include "library/array.hpp"
+#include "library/global.hpp"