LibWeb: Implement CSS `rem()`

Userland/Libraries/LibWeb/CSS/Parser/Parser.cpp

@@ -4071,6 +4071,46 @@ ErrorOr<OwnPtr<CalculationNode>> Parser::parse_mod_function(Function const& func
     return TRY(ModCalculationNode::create(node_a.release_nonnull(), node_b.release_nonnull()));
 }
 
+ErrorOr<OwnPtr<CalculationNode>> Parser::parse_rem_function(Function const& function)
+{
+    TokenStream stream { function.values() };
+    auto parameters = parse_a_comma_separated_list_of_component_values(stream);
+
+    if (parameters.size() != 2) {
+        dbgln_if(CSS_PARSER_DEBUG, "rem() must have exactly two parameters"sv);
+        return nullptr;
+    }
+
+    auto node_a = TRY(parse_a_calculation(parameters[0]));
+    auto node_b = TRY(parse_a_calculation(parameters[1]));
+
+    if (!node_a || !node_b) {
+        dbgln_if(CSS_PARSER_DEBUG, "rem() parameters must be valid calculations"sv);
+        return nullptr;
+    }
+
+    auto node_a_maybe_parameter_type = node_a->resolved_type();
+    if (!node_a_maybe_parameter_type.has_value()) {
+        dbgln_if(CSS_PARSER_DEBUG, "Failed to resolve type for rem() parameter 1"sv);
+        return nullptr;
+    }
+
+    auto node_b_maybe_parameter_type = node_b->resolved_type();
+    if (!node_b_maybe_parameter_type.has_value()) {
+        dbgln_if(CSS_PARSER_DEBUG, "Failed to resolve type for rem() parameter 2"sv);
+        return nullptr;
+    }
+
+    auto node_a_resolved_type = node_a_maybe_parameter_type.value();
+    auto node_b_resolved_type = node_b_maybe_parameter_type.value();
+    if (node_a_resolved_type != node_b_resolved_type) {
+        dbgln_if(CSS_PARSER_DEBUG, "rem() parameters must all be of the same type"sv);
+        return nullptr;
+    }
+
+    return TRY(RemCalculationNode::create(node_a.release_nonnull(), node_b.release_nonnull()));
+}
+
 ErrorOr<RefPtr<StyleValue>> Parser::parse_dynamic_value(ComponentValue const& component_value)
 {
     if (component_value.is_function()) {
@@ -4157,6 +4197,9 @@ ErrorOr<OwnPtr<CalculationNode>> Parser::parse_a_calc_function_node(Function con
     if (function.name().equals_ignoring_ascii_case("mod"sv))
         return TRY(parse_mod_function(function));
 
+    if (function.name().equals_ignoring_ascii_case("rem"sv))
+        return TRY(parse_rem_function(function));
+
     dbgln_if(CSS_PARSER_DEBUG, "We didn't implement `{}` function yet", function.name());
     return nullptr;
 }

Userland/Libraries/LibWeb/CSS/Parser/Parser.h

@@ -309,6 +309,7 @@ private:
     ErrorOr<OwnPtr<CalculationNode>> parse_exp_function(Function const&);
     ErrorOr<OwnPtr<CalculationNode>> parse_round_function(Function const&);
     ErrorOr<OwnPtr<CalculationNode>> parse_mod_function(Function const&);
+    ErrorOr<OwnPtr<CalculationNode>> parse_rem_function(Function const&);
     ErrorOr<RefPtr<StyleValue>> parse_dimension_value(ComponentValue const&);
     ErrorOr<RefPtr<StyleValue>> parse_integer_value(TokenStream<ComponentValue>&);
     ErrorOr<RefPtr<StyleValue>> parse_number_value(TokenStream<ComponentValue>&);

Userland/Libraries/LibWeb/CSS/StyleValues/CalculatedStyleValue.cpp

@@ -1696,6 +1696,70 @@ ErrorOr<void> ModCalculationNode::dump(StringBuilder& builder, int indent) const
     return {};
 }
 
+ErrorOr<NonnullOwnPtr<RemCalculationNode>> RemCalculationNode::create(NonnullOwnPtr<CalculationNode> x, NonnullOwnPtr<CalculationNode> y)
+{
+    return adopt_nonnull_own_or_enomem(new (nothrow) RemCalculationNode(move(x), move(y)));
+}
+
+RemCalculationNode::RemCalculationNode(NonnullOwnPtr<CalculationNode> x, NonnullOwnPtr<CalculationNode> y)
+    : CalculationNode(Type::Rem)
+    , m_x(move(x))
+    , m_y(move(y))
+{
+}
+
+RemCalculationNode::~RemCalculationNode() = default;
+
+ErrorOr<String> RemCalculationNode::to_string() const
+{
+    StringBuilder builder;
+    builder.append("rem("sv);
+    builder.append(TRY(m_x->to_string()));
+    builder.append(", "sv);
+    builder.append(TRY(m_y->to_string()));
+    builder.append(")"sv);
+    return builder.to_string();
+}
+
+Optional<CalculatedStyleValue::ResolvedType> RemCalculationNode::resolved_type() const
+{
+    // Note: We check during parsing that all values have the same type
+    return m_x->resolved_type();
+}
+
+bool RemCalculationNode::contains_percentage() const
+{
+    return m_x->contains_percentage() || m_y->contains_percentage();
+}
+
+CalculatedStyleValue::CalculationResult RemCalculationNode::resolve(Optional<Length::ResolutionContext const&> context, CalculatedStyleValue::PercentageBasis const& percentage_basis) const
+{
+    auto resolved_type = m_x->resolved_type().value();
+    auto node_a = m_x->resolve(context, percentage_basis);
+    auto node_b = m_y->resolve(context, percentage_basis);
+
+    auto node_a_value = resolve_value(node_a.value(), context);
+    auto node_b_value = resolve_value(node_b.value(), context);
+
+    auto value = fmod(node_a_value, node_b_value);
+    return to_resolved_type(resolved_type, value);
+}
+
+ErrorOr<void> RemCalculationNode::for_each_child_node(Function<ErrorOr<void>(NonnullOwnPtr<CalculationNode>&)> const& callback)
+{
+    TRY(m_x->for_each_child_node(callback));
+    TRY(m_y->for_each_child_node(callback));
+    TRY(callback(m_x));
+    TRY(callback(m_y));
+    return {};
+}
+
+ErrorOr<void> RemCalculationNode::dump(StringBuilder& builder, int indent) const
+{
+    TRY(builder.try_appendff("{: >{}}REM: {}\n", "", indent, TRY(to_string())));
+    return {};
+}
+
 void CalculatedStyleValue::CalculationResult::add(CalculationResult const& other, Optional<Length::ResolutionContext const&> context, PercentageBasis const& percentage_basis)
 {
     add_or_subtract_internal(SumOperation::Add, other, context, percentage_basis);

Userland/Libraries/LibWeb/CSS/StyleValues/CalculatedStyleValue.h

@@ -676,4 +676,23 @@ private:
     NonnullOwnPtr<CalculationNode> m_y;
 };
 
+class RemCalculationNode final : public CalculationNode {
+public:
+    static ErrorOr<NonnullOwnPtr<RemCalculationNode>> create(NonnullOwnPtr<CalculationNode>, NonnullOwnPtr<CalculationNode>);
+    ~RemCalculationNode();
+
+    virtual ErrorOr<String> to_string() const override;
+    virtual Optional<CalculatedStyleValue::ResolvedType> resolved_type() const override;
+    virtual bool contains_percentage() const override;
+    virtual CalculatedStyleValue::CalculationResult resolve(Optional<Length::ResolutionContext const&>, CalculatedStyleValue::PercentageBasis const&) const override;
+    virtual ErrorOr<void> for_each_child_node(Function<ErrorOr<void>(NonnullOwnPtr<CalculationNode>&)> const&) override;
+
+    virtual ErrorOr<void> dump(StringBuilder&, int indent) const override;
+
+private:
+    RemCalculationNode(NonnullOwnPtr<CalculationNode>, NonnullOwnPtr<CalculationNode>);
+    NonnullOwnPtr<CalculationNode> m_x;
+    NonnullOwnPtr<CalculationNode> m_y;
+};
+
 }