ladybird/Libraries/LibWeb/CSS/StylePropertyMap.cpp
Sam Atkins 5178d1ebe3 LibWeb/CSS: Add flag to disable create-internal-rep type checking
CSSTransformComponents hold other CSSStyleValues as their parameters. We
want to be able to create internal representations from those parameters
without them caring if they would be valid when directly assigned to the
property.

This is a temporary solution to make transform functions work. To be
completely correct, we need to know what is allowed in that context,
along with value ranges - a combination of the contexts we create when
parsing, and when computing calculations. For transform functions, this
doesn't matter, as there's no limit to the range of allowed values.
2025-10-14 13:41:47 +01:00

209 lines
11 KiB
C++
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

/*
* Copyright (c) 2025, Sam Atkins <sam@ladybird.org>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include "StylePropertyMap.h"
#include <LibWeb/Bindings/Intrinsics.h>
#include <LibWeb/Bindings/StylePropertyMapPrototype.h>
#include <LibWeb/CSS/CSSStyleDeclaration.h>
#include <LibWeb/CSS/CSSStyleValue.h>
#include <LibWeb/CSS/CSSUnparsedValue.h>
#include <LibWeb/CSS/CSSVariableReferenceValue.h>
#include <LibWeb/CSS/PropertyName.h>
#include <LibWeb/CSS/PropertyNameAndID.h>
#include <LibWeb/CSS/StyleValues/StyleValueList.h>
#include <LibWeb/WebIDL/ExceptionOr.h>
namespace Web::CSS {
GC_DEFINE_ALLOCATOR(StylePropertyMap);
GC::Ref<StylePropertyMap> StylePropertyMap::create(JS::Realm& realm, GC::Ref<CSSStyleDeclaration> declaration)
{
return realm.create<StylePropertyMap>(realm, declaration);
}
StylePropertyMap::StylePropertyMap(JS::Realm& realm, GC::Ref<CSSStyleDeclaration> declaration)
: StylePropertyMapReadOnly(realm, declaration)
{
}
StylePropertyMap::~StylePropertyMap() = default;
CSSStyleDeclaration& StylePropertyMap::declarations()
{
// Writable StylePropertyMaps must be backed by a CSSStyleDeclaration, not an AbstractElement.
return m_declarations.get<GC::Ref<CSSStyleDeclaration>>();
}
void StylePropertyMap::initialize(JS::Realm& realm)
{
WEB_SET_PROTOTYPE_FOR_INTERFACE(StylePropertyMap);
Base::initialize(realm);
}
static bool any_have_non_matching_associated_property(FlyString const& property, Vector<Variant<GC::Root<CSSStyleValue>, String>> values)
{
return any_of(values, [&property](Variant<GC::Root<CSSStyleValue>, String> const& value) {
if (auto* style_value = value.get_pointer<GC::Root<CSSStyleValue>>()) {
if (auto associated_property = (*style_value)->associated_property();
associated_property.has_value() && associated_property != property)
return true;
}
return false;
});
}
// https://drafts.css-houdini.org/css-typed-om-1/#create-an-internal-representation
static WebIDL::ExceptionOr<NonnullRefPtr<StyleValue const>> create_an_internal_representation(JS::VM& vm, PropertyNameAndID const& property, Variant<GC::Root<CSSStyleValue>, String> const& value)
{
// To create an internal representation, given a string property and a string or CSSStyleValue value:
return value.visit(
[&property](GC::Root<CSSStyleValue> const& css_style_value) {
return css_style_value->create_an_internal_representation(property, CSSStyleValue::PerformTypeCheck::Yes);
},
[&](String const& css_text) -> WebIDL::ExceptionOr<NonnullRefPtr<StyleValue const>> {
// If value is a USVString,
// Parse a CSSStyleValue with property property, cssText value, and parseMultiple set to false, and
// return the result.
// FIXME: Avoid passing name as a string, as it gets immediately converted back to PropertyNameAndID.
auto result = TRY(CSSStyleValue::parse_a_css_style_value(vm, property.name(), css_text, CSSStyleValue::ParseMultiple::No));
// AD-HOC: Result is a CSSStyleValue but we want an internal representation, so... convert it again I guess?
return result.get<GC::Ref<CSSStyleValue>>()->create_an_internal_representation(property, CSSStyleValue::PerformTypeCheck::Yes);
});
}
// https://drafts.css-houdini.org/css-typed-om-1/#dom-stylepropertymap-set
WebIDL::ExceptionOr<void> StylePropertyMap::set(FlyString property_name, Vector<Variant<GC::Root<CSSStyleValue>, String>> values)
{
// The set(property, ...values) method, when called on a StylePropertyMap this, must perform the following steps:
// 1. If property is not a custom property name string, set property to property ASCII lowercased.
// 2. If property is not a valid CSS property, throw a TypeError.
auto property = PropertyNameAndID::from_name(property_name);
if (!property.has_value())
return WebIDL::SimpleException { WebIDL::SimpleExceptionType::TypeError, MUST(String::formatted("'{}' is not a valid CSS property", property_name)) };
// 3. If property is a single-valued property and values has more than one item, throw a TypeError.
// NB: Custom properties should all be single-valued.
if ((property->is_custom_property() || property_is_single_valued(property->id())) && values.size() > 1)
return WebIDL::SimpleException { WebIDL::SimpleExceptionType::TypeError, MUST(String::formatted("Property '{}' only accepts a single value", property_name)) };
// 4. If any of the items in values have a non-null [[associatedProperty]] internal slot, and that slots value is
// anything other than property, throw a TypeError.
if (any_have_non_matching_associated_property(property->name(), values))
return WebIDL::SimpleException { WebIDL::SimpleExceptionType::TypeError, "One of the passed CSSStyleValues has a different associated property"_string };
// 5. If the size of values is two or more, and one or more of the items are a CSSUnparsedValue or
// CSSVariableReferenceValue object, throw a TypeError.
// NOTE: Having 2+ values implies that youre setting multiple items of a list-valued property, but the presence of
// a var() function in the string-based OM disables all syntax parsing, including splitting into individual
// iterations (because there might be more commas inside of the var() value, so you cant tell how many items
// are actually going to show up). This steps restriction preserves the same semantics in the Typed OM.
// FIXME: This is done as part of step 9, because we need to detect if a string value would be an CSSUnparsedValue
// or CSSVariableReferenceValue. Spec issue: https://github.com/w3c/css-houdini-drafts/issues/1157
// 6. Let props be the value of thiss [[declarations]] internal slot.
auto& props = declarations();
// 7. If props[property] exists, remove it.
// FIXME: Avoid converting to string and back.
TRY(props.remove_property(property->name()));
// 8. Let values to set be an empty list.
StyleValueVector values_to_set;
// 9. For each value in values, create an internal representation for property and value, and append the result to values to set.
for (auto const& value : values) {
// AD-HOC: Step 5 is done here, see above.
auto internal_representation = TRY(create_an_internal_representation(vm(), property.value(), value));
if (values.size() >= 2 && internal_representation->is_unresolved())
return WebIDL::SimpleException { WebIDL::SimpleExceptionType::TypeError, "Cannot provide multiple values if one is an CSSUnparsedValue or CSSVariableReferenceValue"_string };
values_to_set.append(move(internal_representation));
}
// 10. Set props[property] to values to set.
// NOTE: The property is deleted then added back so that it gets put at the end of the ordered map, which gives the
// expected behavior in the face of shorthand properties.
if (values_to_set.size() == 1) {
TRY(props.set_property_style_value(property.value(), values_to_set.take_first()));
} else {
// FIXME: How do we know if this is comma-separated or not?
auto values_list = StyleValueList::create(move(values_to_set), StyleValueList::Separator::Comma);
TRY(props.set_property_style_value(property.value(), move(values_list)));
}
return {};
}
// https://drafts.css-houdini.org/css-typed-om-1/#dom-stylepropertymap-append
WebIDL::ExceptionOr<void> StylePropertyMap::append(FlyString property, Vector<Variant<GC::Root<CSSStyleValue>, String>> values)
{
// The append(property, ...values) method, when called on a StylePropertyMap this, must perform the following steps:
// 1. If property is not a custom property name string, set property to property ASCII lowercased.
if (!is_a_custom_property_name_string(property))
property = property.to_ascii_lowercase();
// 2. If property is not a valid CSS property, throw a TypeError.
if (!is_a_valid_css_property(property))
return WebIDL::SimpleException { WebIDL::SimpleExceptionType::TypeError, MUST(String::formatted("'{}' is not a valid CSS property", property)) };
// FIXME: 3. If property is not a list-valued property, throw a TypeError.
// FIXME: 4. If any of the items in values have a non-null [[associatedProperty]] internal slot, and that slots value is anything other than property, throw a TypeError.
// FIXME: 5. If any of the items in values are a CSSUnparsedValue or CSSVariableReferenceValue object, throw a TypeError.
// NOTE: When a property is set via string-based APIs, the presence of var() in a property prevents the entire thing from being interpreted. In other words, everything besides the var() is a plain component value, not a meaningful type. This steps restriction preserves the same semantics in the Typed OM.
// 6. Let props be the value of thiss [[declarations]] internal slot.
auto& props = declarations();
// FIXME: 7. If props[property] does not exist, set props[property] to an empty list.
(void)props;
// FIXME: 8. If props[property] contains a var() reference, throw a TypeError.
// FIXME: 9. Let temp values be an empty list.
// FIXME: 10. For each value in values, create an internal representation with property and value, and append the returned value to temp values.
(void)values;
// FIXME: 11. Append the entries of temp values to props[property].
return {};
}
// https://drafts.css-houdini.org/css-typed-om-1/#dom-stylepropertymap-delete
WebIDL::ExceptionOr<void> StylePropertyMap::delete_(FlyString property)
{
// The delete(property) method, when called on a StylePropertyMap this, must perform the following steps:
// 1. If property is not a custom property name string, set property to property ASCII lowercased.
if (!is_a_custom_property_name_string(property))
property = property.to_ascii_lowercase();
// 2. If property is not a valid CSS property, throw a TypeError.
if (!is_a_valid_css_property(property))
return WebIDL::SimpleException { WebIDL::SimpleExceptionType::TypeError, MUST(String::formatted("'{}' is not a valid CSS property", property)) };
// 3. If thiss [[declarations]] internal slot contains property, remove it.
TRY(declarations().remove_property(property));
return {};
}
// https://drafts.css-houdini.org/css-typed-om-1/#dom-stylepropertymap-clear
WebIDL::ExceptionOr<void> StylePropertyMap::clear()
{
// The clear() method, when called on a StylePropertyMap this, must perform the following steps:
// 1. Remove all of the declarations in thiss [[declarations]] internal slot.
return declarations().set_css_text(""sv);
}
}