script/dom/html/form_controls/

htmlinputelement.rs

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/. */

use std::cell::{Cell, RefCell};
use std::ptr;

use atomic_refcell::{AtomicRef, AtomicRefCell, AtomicRefMut};
use dom_struct::dom_struct;
use embedder_traits::{EmbedderControlRequest, InputMethodRequest, RgbColor, SelectedFile};
use encoding_rs::Encoding;
use html5ever::{LocalName, Prefix, local_name};
use js::context::{JSContext, NoGC};
use js::jsapi::{ClippedTime, JSObject, RegExpFlag_UnicodeSets, RegExpFlags};
use js::jsval::UndefinedValue;
use js::rust::wrappers2::{
    CheckRegExpSyntax, DateGetMsecSinceEpoch, ExecuteRegExpNoStatics, JS_ClearPendingException,
    NewDateObject, NewUCRegExpObject, ObjectIsDate, ObjectIsRegExp,
};
use js::rust::{HandleObject, MutableHandleObject};
use num_traits::ToPrimitive;
use script_bindings::cell::{DomRefCell, Ref};
use script_bindings::codegen::GenericBindings::SelectionBinding::SelectionMethods;
use script_bindings::domstring::{TracedDOMString, parse_floating_point_number};
use servo_base::generic_channel::GenericSender;
use servo_base::text::{RangeAny, Utf16CodeUnits, Utf32CodeUnits};
use style::attr::{AttrValue, LengthOrPercentageOrAuto};
use style::str::split_commas;
use stylo_atoms::Atom;
use stylo_dom::ElementState;
use time::OffsetDateTime;
use unicode_bidi::{BidiClass, bidi_class};
use webdriver::error::ErrorStatus;
use xml5ever::ns;

use crate::dom::MoveContext;
use crate::dom::activation::Activatable;
use crate::dom::bindings::cell::AtomicSafeBorrowMut;
use crate::dom::bindings::codegen::Bindings::ElementBinding::ElementMethods;
use crate::dom::bindings::codegen::Bindings::FileListBinding::FileListMethods;
use crate::dom::bindings::codegen::Bindings::HTMLFormElementBinding::SelectionMode;
use crate::dom::bindings::codegen::Bindings::HTMLInputElementBinding::HTMLInputElementMethods;
use crate::dom::bindings::codegen::Bindings::NodeBinding::{GetRootNodeOptions, NodeMethods};
use crate::dom::bindings::error::{Error, ErrorResult};
use crate::dom::bindings::inheritance::Castable;
use crate::dom::bindings::refcounted::Trusted;
use crate::dom::bindings::root::{Dom, DomRoot, LayoutDom, MutNullableDom};
use crate::dom::bindings::str::{DOMString, USVString};
use crate::dom::document::Document;
use crate::dom::document_embedder_controls::ControlElement;
use crate::dom::element::attributes::storage::AttrRef;
use crate::dom::element::{AttributeMutation, Element};
use crate::dom::event::Event;
use crate::dom::event::event::{EventBubbles, EventCancelable, EventComposed};
use crate::dom::eventtarget::EventTarget;
use crate::dom::filelist::FileList;
use crate::dom::html::form_controls::input_type::radio_input_type::perform_radio_group_validation;
use crate::dom::html::form_controls::input_type::{
    InputActivationType, InputType, ValueChangeEvents,
};
use crate::dom::html::form_controls::text_control::TextControlElement;
use crate::dom::html::form_controls::text_input::{KeyReaction, Lines, TextInput};
use crate::dom::html::htmldatalistelement::HTMLDataListElement;
use crate::dom::html::htmlelement::HTMLElement;
use crate::dom::html::htmlformelement::{
    FormControl, FormDatum, FormDatumValue, FormSubmitterElement, HTMLFormElement, SubmittedFrom,
};
use crate::dom::input_type::radio_input_type::radio_group_iter;
use crate::dom::iterators::ShadowIncluding;
use crate::dom::node::virtualmethods::VirtualMethods;
use crate::dom::node::{
    BindContext, CloneChildrenFlag, Node, NodeDamage, NodeTraits, UnbindContext,
};
use crate::dom::nodelist::NodeList;
use crate::dom::text_input::EmbedderClipboardProvider;
use crate::dom::types::FocusEvent;
use crate::dom::validation::{Validatable, is_barred_by_datalist_ancestor};
use crate::dom::validitystate::{ValidationFlags, ValidityState};
use crate::realms::enter_auto_realm;

#[derive(Debug, PartialEq)]
pub(crate) enum ValueMode {
    /// <https://html.spec.whatwg.org/multipage/#dom-input-value-value>
    Value,

    /// <https://html.spec.whatwg.org/multipage/#dom-input-value-default>
    Default,

    /// <https://html.spec.whatwg.org/multipage/#dom-input-value-default-on>
    DefaultOn,

    /// <https://html.spec.whatwg.org/multipage/#dom-input-value-filename>
    Filename,
}

#[derive(Debug, PartialEq)]
enum StepDirection {
    Up,
    Down,
}

#[dom_struct]
pub(crate) struct HTMLInputElement {
    htmlelement: HTMLElement,
    input_type: DomRefCell<InputType>,

    /// Whether or not the [`InputType`] for this [`HTMLInputElement`] renders as
    /// textual input. This is cached so that it can be read during layout.
    is_textual_or_password: Cell<bool>,

    placeholder: DomRefCell<TracedDOMString>,
    size: Cell<u32>,
    maxlength: Cell<i32>,
    minlength: Cell<i32>,
    /// <https://html.spec.whatwg.org/multipage/#concept-fe-checked>
    /// The checkedness of an input is independent of its checked state as every input type can be
    /// checked, but only checkboxes and radio buttons are in the checked state when they are checked.
    checkedness: Cell<bool>,
    /// <https://html.spec.whatwg.org/multipage/#concept-input-checked-dirty-flag>
    checked_changed: Cell<bool>,
    /// <https://html.spec.whatwg.org/multipage/#concept-input-indeterminate>
    /// The indeterminateness of an input is independent of its indeterminate element state.
    /// Every input type can be indeterminate, but this adds the :indeterminate pseudo class only to
    /// checkboxes. At the same time, radio boxes are matched by :indeterminate when no button in the
    /// groupo is checked, which is fully independent of the interminateness of the input element.
    indeterminateness: Cell<bool>,
    #[no_trace]
    text_input: AtomicRefCell<TextInput<EmbedderClipboardProvider>>,
    form_owner: MutNullableDom<HTMLFormElement>,
    labels_node_list: MutNullableDom<NodeList>,
    validity_state: MutNullableDom<ValidityState>,
    #[no_trace]
    pending_webdriver_response: RefCell<Option<Box<PendingWebDriverResponse>>>,
    /// <https://html.spec.whatwg.org/multipage/#concept-input-value-dirty-flag>
    value_dirty: Cell<bool>,

    /// <https://w3c.github.io/selection-api/#dfn-has-scheduled-selectionchange-event>
    has_scheduled_selectionchange_event: Cell<bool>,
}

#[derive(JSTraceable)]
pub(crate) struct InputActivationState {
    pub(crate) indeterminate: bool,
    pub(crate) checked: bool,
    pub(crate) checked_radio: Option<DomRoot<HTMLInputElement>>,
    pub(crate) was_radio: bool,
    pub(crate) was_checkbox: bool,
    // was_mutable is implied: pre-activation would return None if it wasn't
}

static DEFAULT_INPUT_SIZE: u32 = 20;
static DEFAULT_MAX_LENGTH: i32 = -1;
static DEFAULT_MIN_LENGTH: i32 = -1;

#[expect(non_snake_case)]
impl HTMLInputElement {
    fn new_inherited(
        local_name: LocalName,
        prefix: Option<Prefix>,
        document: &Document,
    ) -> HTMLInputElement {
        let embedder_sender = document
            .window()
            .as_global_scope()
            .script_to_embedder_chan()
            .clone();
        HTMLInputElement {
            htmlelement: HTMLElement::new_inherited_with_state(
                ElementState::ENABLED | ElementState::READWRITE | ElementState::OPTIONAL_,
                local_name,
                prefix,
                document,
            ),
            input_type: DomRefCell::new(InputType::new_text()),
            is_textual_or_password: Cell::new(true),
            placeholder: DomRefCell::new(DOMString::new().traced()),
            checkedness: Cell::new(false),
            checked_changed: Cell::new(false),
            indeterminateness: Cell::new(false),
            maxlength: Cell::new(DEFAULT_MAX_LENGTH),
            minlength: Cell::new(DEFAULT_MIN_LENGTH),
            size: Cell::new(DEFAULT_INPUT_SIZE),
            text_input: AtomicRefCell::new(TextInput::new(
                Lines::Single,
                DOMString::new(),
                EmbedderClipboardProvider {
                    embedder_sender,
                    webview_id: document.webview_id(),
                },
            )),
            value_dirty: Cell::new(false),
            form_owner: Default::default(),
            labels_node_list: MutNullableDom::new(None),
            validity_state: Default::default(),
            pending_webdriver_response: Default::default(),
            has_scheduled_selectionchange_event: Default::default(),
        }
    }

    pub(crate) fn new(
        cx: &mut JSContext,
        local_name: LocalName,
        prefix: Option<Prefix>,
        document: &Document,
        proto: Option<HandleObject>,
    ) -> DomRoot<HTMLInputElement> {
        Node::reflect_node_with_proto(
            cx,
            Box::new(HTMLInputElement::new_inherited(
                local_name, prefix, document,
            )),
            document,
            proto,
        )
    }

    pub(crate) fn auto_directionality(&self) -> Option<String> {
        match *self.input_type() {
            InputType::Text(_) | InputType::Search(_) | InputType::Url(_) | InputType::Email(_) => {
                let value: String = String::from(self.Value());
                Some(HTMLInputElement::directionality_from_value(&value))
            },
            _ => None,
        }
    }

    pub(crate) fn directionality_from_value(value: &str) -> String {
        if HTMLInputElement::is_first_strong_character_rtl(value) {
            "rtl".to_owned()
        } else {
            "ltr".to_owned()
        }
    }

    fn is_first_strong_character_rtl(value: &str) -> bool {
        for ch in value.chars() {
            return match bidi_class(ch) {
                BidiClass::L => false,
                BidiClass::AL => true,
                BidiClass::R => true,
                _ => continue,
            };
        }
        false
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-value>
    /// <https://html.spec.whatwg.org/multipage/#concept-input-apply>
    pub(crate) fn value_mode(&self) -> ValueMode {
        match *self.input_type() {
            InputType::Submit(_) |
            InputType::Reset(_) |
            InputType::Button(_) |
            InputType::Image(_) |
            InputType::Hidden(_) => ValueMode::Default,

            InputType::Checkbox(_) | InputType::Radio(_) => ValueMode::DefaultOn,

            InputType::Color(_) |
            InputType::Date(_) |
            InputType::DatetimeLocal(_) |
            InputType::Email(_) |
            InputType::Month(_) |
            InputType::Number(_) |
            InputType::Password(_) |
            InputType::Range(_) |
            InputType::Search(_) |
            InputType::Tel(_) |
            InputType::Text(_) |
            InputType::Time(_) |
            InputType::Url(_) |
            InputType::Week(_) => ValueMode::Value,

            InputType::File(_) => ValueMode::Filename,
        }
    }

    #[inline]
    pub(crate) fn input_type(&self) -> Ref<'_, InputType> {
        self.input_type.borrow()
    }

    /// <https://w3c.github.io/webdriver/#dfn-non-typeable-form-control>
    pub(crate) fn is_nontypeable(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Button(_) |
                InputType::Checkbox(_) |
                InputType::Color(_) |
                InputType::File(_) |
                InputType::Hidden(_) |
                InputType::Image(_) |
                InputType::Radio(_) |
                InputType::Range(_) |
                InputType::Reset(_) |
                InputType::Submit(_)
        )
    }

    #[inline]
    pub(crate) fn is_submit_button(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Submit(_) | InputType::Image(_)
        )
    }

    /// <https://html.spec.whatwg.org/multipage/#auto-directionality-form-associated-elements>
    pub(crate) fn is_auto_directionality_form_associated_element(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Hidden(_) |
                InputType::Text(_) |
                InputType::Search(_) |
                InputType::Tel(_) |
                InputType::Url(_) |
                InputType::Email(_) |
                InputType::Password(_) |
                InputType::Submit(_) |
                InputType::Reset(_) |
                InputType::Button(_)
        )
    }

    fn does_minmaxlength_apply(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Text(_) |
                InputType::Search(_) |
                InputType::Url(_) |
                InputType::Tel(_) |
                InputType::Email(_) |
                InputType::Password(_)
        )
    }

    fn does_pattern_apply(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Text(_) |
                InputType::Search(_) |
                InputType::Url(_) |
                InputType::Tel(_) |
                InputType::Email(_) |
                InputType::Password(_)
        )
    }

    fn does_multiple_apply(&self) -> bool {
        matches!(*self.input_type(), InputType::Email(_))
    }

    /// <https://html.spec.whatwg.org/multipage/#states-of-the-type-attribute>
    fn does_required_apply(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Text(_) |
                InputType::Search(_) |
                InputType::Tel(_) |
                InputType::Url(_) |
                InputType::Email(_) |
                InputType::Password(_) |
                InputType::Date(_) |
                InputType::Month(_) |
                InputType::Week(_) |
                InputType::Time(_) |
                InputType::DatetimeLocal(_) |
                InputType::Number(_) |
                InputType::Checkbox(_) |
                InputType::Radio(_) |
                InputType::File(_)
        )
    }

    fn update_required_and_optional_state(&self, no_gc: &NoGC) {
        let element = self.upcast::<Element>();
        let required_applies = self.does_required_apply();
        let required = element.has_attribute(&local_name!("required"));

        // https://html.spec.whatwg.org/multipage/#selector-required
        // > The :required pseudo-class must match any element falling into one of the following categories:
        // > - input elements that are required
        element.set_state(no_gc, ElementState::REQUIRED, required_applies && required);

        // https://html.spec.whatwg.org/multipage/#selector-optional
        // > The :optional pseudo-class must match any element falling into one of the following categories:
        // > - input elements to which the required attribute applies that are not required
        element.set_state(
            no_gc,
            ElementState::OPTIONAL_,
            required_applies && !required,
        );
    }

    // valueAsNumber, step, min, and max all share the same set of
    // input types they apply to
    fn does_value_as_number_apply(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Date(_) |
                InputType::Month(_) |
                InputType::Week(_) |
                InputType::Time(_) |
                InputType::DatetimeLocal(_) |
                InputType::Number(_) |
                InputType::Range(_)
        )
    }

    fn does_value_as_date_apply(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Date(_) | InputType::Month(_) | InputType::Week(_) | InputType::Time(_)
        )
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-step>
    pub(crate) fn allowed_value_step(&self) -> Option<f64> {
        // Step 1. If the attribute does not apply, then there is no allowed value step.
        // NOTE: The attribute applies iff there is a default step
        let default_step = self.default_step()?;

        // Step 2. Otherwise, if the attribute is absent, then the allowed value step
        // is the default step multiplied by the step scale factor.
        let Some(step_value) = self
            .upcast::<Element>()
            .get_attribute_string_value(&local_name!("step"))
        else {
            return Some(default_step * self.step_scale_factor());
        };

        // Step 3. Otherwise, if the attribute's value is an ASCII case-insensitive match
        // for the string "any", then there is no allowed value step.
        if step_value.eq_ignore_ascii_case("any") {
            return None;
        }

        // Step 4. Otherwise, if the rules for parsing floating-point number values, when they
        // are applied to the attribute's value, return an error, zero, or a number less than zero,
        // then the allowed value step is the default step multiplied by the step scale factor.
        let Some(parsed_value) =
            parse_floating_point_number(&step_value).filter(|value| *value > 0.0)
        else {
            return Some(default_step * self.step_scale_factor());
        };

        // Step 5. Otherwise, the allowed value step is the number returned by the rules for parsing
        // floating-point number values when they are applied to the attribute's value,
        // multiplied by the step scale factor.
        Some(parsed_value * self.step_scale_factor())
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-min>
    pub(crate) fn minimum(&self) -> Option<f64> {
        self.upcast::<Element>()
            .get_attribute_string_value(&local_name!("min"))
            .and_then(|value| self.convert_string_to_number(&value))
            .or_else(|| self.default_minimum())
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-max>
    pub(crate) fn maximum(&self) -> Option<f64> {
        self.upcast::<Element>()
            .get_attribute_string_value(&local_name!("max"))
            .and_then(|value| self.convert_string_to_number(&value))
            .or_else(|| self.default_maximum())
    }

    /// when allowed_value_step and minimum both exist, this is the smallest
    /// value >= minimum that lies on an integer step
    pub(crate) fn stepped_minimum(&self) -> Option<f64> {
        match (self.minimum(), self.allowed_value_step()) {
            (Some(min), Some(allowed_step)) => {
                let step_base = self.step_base();
                // how many steps is min from step_base?
                let nsteps = (min - step_base) / allowed_step;
                // count that many integer steps, rounded +, from step_base
                Some(step_base + (allowed_step * nsteps.ceil()))
            },
            (_, _) => None,
        }
    }

    /// when allowed_value_step and maximum both exist, this is the smallest
    /// value <= maximum that lies on an integer step
    pub(crate) fn stepped_maximum(&self) -> Option<f64> {
        match (self.maximum(), self.allowed_value_step()) {
            (Some(max), Some(allowed_step)) => {
                let step_base = self.step_base();
                // how many steps is max from step_base?
                let nsteps = (max - step_base) / allowed_step;
                // count that many integer steps, rounded -, from step_base
                Some(step_base + (allowed_step * nsteps.floor()))
            },
            (_, _) => None,
        }
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-min-default>
    fn default_minimum(&self) -> Option<f64> {
        match *self.input_type() {
            InputType::Range(_) => Some(0.0),
            _ => None,
        }
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-max-default>
    fn default_maximum(&self) -> Option<f64> {
        match *self.input_type() {
            InputType::Range(_) => Some(100.0),
            _ => None,
        }
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-value-default-range>
    pub(crate) fn default_range_value(&self) -> f64 {
        let min = self.minimum().unwrap_or(0.0);
        let max = self.maximum().unwrap_or(100.0);
        if max < min {
            min
        } else {
            min + (max - min) * 0.5
        }
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-step-default>
    fn default_step(&self) -> Option<f64> {
        match *self.input_type() {
            InputType::Date(_) => Some(1.0),
            InputType::Month(_) => Some(1.0),
            InputType::Week(_) => Some(1.0),
            InputType::Time(_) => Some(60.0),
            InputType::DatetimeLocal(_) => Some(60.0),
            InputType::Number(_) => Some(1.0),
            InputType::Range(_) => Some(1.0),
            _ => None,
        }
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-step-scale>
    fn step_scale_factor(&self) -> f64 {
        match *self.input_type() {
            InputType::Date(_) => 86400000.0,
            InputType::Month(_) => 1.0,
            InputType::Week(_) => 604800000.0,
            InputType::Time(_) => 1000.0,
            InputType::DatetimeLocal(_) => 1000.0,
            InputType::Number(_) => 1.0,
            InputType::Range(_) => 1.0,
            _ => unreachable!(),
        }
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-min-zero>
    pub(crate) fn step_base(&self) -> f64 {
        // Step 1. If the element has a min content attribute, and the result of applying
        // the algorithm to convert a string to a number to the value of the min content attribute
        // is not an error, then return that result.
        if let Some(minimum) = self
            .upcast::<Element>()
            .get_attribute_string_value(&local_name!("min"))
            .and_then(|value| self.convert_string_to_number(&value))
        {
            return minimum;
        }

        // Step 2. If the element has a value content attribute, and the result of applying the
        // algorithm to convert a string to a number to the value of the value content attribute
        // is not an error, then return that result.
        if let Some(value) = self
            .upcast::<Element>()
            .get_attribute_string_value(&local_name!("value"))
            .and_then(|value| self.convert_string_to_number(&value))
        {
            return value;
        }

        // Step 3. If a default step base is defined for this element given its type attribute's state, then return it.
        if let Some(default_step_base) = self.default_step_base() {
            return default_step_base;
        }

        // Step 4. Return zero.
        0.0
    }

    /// <https://html.spec.whatwg.org/multipage#concept-input-step-default-base>
    fn default_step_base(&self) -> Option<f64> {
        match *self.input_type() {
            InputType::Week(_) => Some(-259200000.0),
            _ => None,
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-stepup>
    ///
    /// <https://html.spec.whatwg.org/multipage/#dom-input-stepdown>
    fn step_up_or_down(&self, cx: &mut JSContext, n: i32, dir: StepDirection) -> ErrorResult {
        // Step 1. If the stepDown() and stepUp() methods do not apply, as defined for the
        // input element's type attribute's current state, then throw an "InvalidStateError" DOMException.
        if !self.does_value_as_number_apply() {
            return Err(Error::InvalidState(Some(
                "Input element does not implement `stepDown()` or `stepUp()`".into(),
            )));
        }
        let step_base = self.step_base();

        // Step 2. If the element has no allowed value step, then throw an "InvalidStateError" DOMException.
        let Some(allowed_value_step) = self.allowed_value_step() else {
            return Err(Error::InvalidState(Some(
                "Input element does not have a value step".into(),
            )));
        };

        // Step 3. If the element has a minimum and a maximum and the minimum is greater than the maximum,
        // then return.
        let minimum = self.minimum();
        let maximum = self.maximum();
        if let (Some(min), Some(max)) = (minimum, maximum) {
            if min > max {
                return Ok(());
            }

            // Step 4. If the element has a minimum and a maximum and there is no value greater than or equal to the
            // element's minimum and less than or equal to the element's maximum that, when subtracted from the step
            // base, is an integral multiple of the allowed value step, then return.
            if let Some(stepped_minimum) = self.stepped_minimum() &&
                stepped_minimum > max
            {
                return Ok(());
            }
        }

        // Step 5. If applying the algorithm to convert a string to a number to the string given
        // by the element's value does not result in an error, then let value be the result of
        // that algorithm. Otherwise, let value be zero.
        let mut value: f64 = self
            .convert_string_to_number(&self.Value().str())
            .unwrap_or(0.0);

        // Step 6. Let valueBeforeStepping be value.
        let valueBeforeStepping = value;

        // Step 7. If value subtracted from the step base is not an integral multiple of the allowed value step,
        // then set value to the nearest value that, when subtracted from the step base, is an integral multiple
        // of the allowed value step, and that is less than value if the method invoked was the stepDown() method,
        // and more than value otherwise.
        if (value - step_base) % allowed_value_step != 0.0 {
            value = match dir {
                StepDirection::Down =>
                // step down a fractional step to be on a step multiple
                {
                    let intervals_from_base = ((value - step_base) / allowed_value_step).floor();
                    intervals_from_base * allowed_value_step + step_base
                },
                StepDirection::Up =>
                // step up a fractional step to be on a step multiple
                {
                    let intervals_from_base = ((value - step_base) / allowed_value_step).ceil();
                    intervals_from_base * allowed_value_step + step_base
                },
            };
        }
        // Otherwise (value subtracted from the step base is an integral multiple of the allowed value step):
        else {
            // Step 7.1 Let n be the argument.
            // Step 7.2 Let delta be the allowed value step multiplied by n.
            // Step 7.3 If the method invoked was the stepDown() method, negate delta.
            // Step 7.4 Let value be the result of adding delta to value.
            value += match dir {
                StepDirection::Down => -f64::from(n) * allowed_value_step,
                StepDirection::Up => f64::from(n) * allowed_value_step,
            };
        }

        // Step 8. If the element has a minimum, and value is less than that minimum, then set value to the smallest
        // value that, when subtracted from the step base, is an integral multiple of the allowed value step, and that
        // is more than or equal to that minimum.
        if let Some(min) = minimum &&
            value < min
        {
            value = self.stepped_minimum().unwrap_or(value);
        }

        // Step 9. If the element has a maximum, and value is greater than that maximum, then set value to the largest
        // value that, when subtracted from the step base, is an integral multiple of the allowed value step, and that
        // is less than or equal to that maximum.
        if let Some(max) = maximum &&
            value > max
        {
            value = self.stepped_maximum().unwrap_or(value);
        }

        // Step 10. If either the method invoked was the stepDown() method and value is greater than
        // valueBeforeStepping, or the method invoked was the stepUp() method and value is less than
        // valueBeforeStepping, then return.
        match dir {
            StepDirection::Down => {
                if value > valueBeforeStepping {
                    return Ok(());
                }
            },
            StepDirection::Up => {
                if value < valueBeforeStepping {
                    return Ok(());
                }
            },
        }

        // Step 11. Let value as string be the result of running the algorithm to convert a number to a string,
        // as defined for the input element's type attribute's current state, on value.
        // Step 12. Set the value of the element to value as string.
        self.SetValueAsNumber(cx, value)
    }

    /// <https://html.spec.whatwg.org/multipage/#concept-input-list>
    fn suggestions_source_element(&self) -> Option<DomRoot<HTMLDataListElement>> {
        let list_string = self
            .upcast::<Element>()
            .get_string_attribute(&local_name!("list"));
        if list_string.is_empty() {
            return None;
        }
        let ancestor = self
            .upcast::<Node>()
            .GetRootNode(&GetRootNodeOptions::empty());
        let first_with_id = &ancestor
            .traverse_preorder(ShadowIncluding::No)
            .find(|node| {
                node.downcast::<Element>()
                    .is_some_and(|e| e.Id() == list_string)
            });
        first_with_id
            .as_ref()
            .and_then(|el| el.downcast::<HTMLDataListElement>())
            .map(DomRoot::from_ref)
    }

    /// <https://html.spec.whatwg.org/multipage/#suffering-from-being-missing>
    fn suffers_from_being_missing(&self, value: &DOMString) -> bool {
        self.input_type()
            .as_specific()
            .suffers_from_being_missing(self, value)
    }

    /// <https://html.spec.whatwg.org/multipage/#suffering-from-a-type-mismatch>
    fn suffers_from_type_mismatch(&self, value: &DOMString) -> bool {
        if value.is_empty() {
            return false;
        }

        self.input_type()
            .as_specific()
            .suffers_from_type_mismatch(self, value)
    }

    /// <https://html.spec.whatwg.org/multipage/#suffering-from-a-pattern-mismatch>
    fn suffers_from_pattern_mismatch(&self, cx: &mut JSContext, value: &DOMString) -> bool {
        // https://html.spec.whatwg.org/multipage/#the-pattern-attribute%3Asuffering-from-a-pattern-mismatch
        // https://html.spec.whatwg.org/multipage/#the-pattern-attribute%3Asuffering-from-a-pattern-mismatch-2
        let pattern_str = self.Pattern();
        if value.is_empty() || pattern_str.is_empty() || !self.does_pattern_apply() {
            return false;
        }

        let mut realm = enter_auto_realm(cx, self);
        let cx = &mut realm;

        // Rust's regex is not compatible, we need to use mozjs RegExp.
        rooted!(&in(cx) let mut pattern = ptr::null_mut::<JSObject>());
        if compile_pattern(cx, &pattern_str.str(), pattern.handle_mut()) {
            if self.Multiple() && self.does_multiple_apply() {
                !split_commas(&value.str())
                    .all(|s| matches_js_regex(cx, pattern.handle(), s).unwrap_or(true))
            } else {
                !matches_js_regex(cx, pattern.handle(), &value.str()).unwrap_or(true)
            }
        } else {
            // Element doesn't suffer from pattern mismatch if pattern is invalid.
            false
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#suffering-from-bad-input>
    fn suffers_from_bad_input(&self, value: &DOMString) -> bool {
        if value.is_empty() {
            return false;
        }

        self.input_type()
            .as_specific()
            .suffers_from_bad_input(value)
    }

    /// <https://html.spec.whatwg.org/multipage/#suffering-from-being-too-long>
    /// <https://html.spec.whatwg.org/multipage/#suffering-from-being-too-short>
    fn suffers_from_length_issues(&self, value: &DOMString) -> ValidationFlags {
        // https://html.spec.whatwg.org/multipage/#limiting-user-input-length%3A-the-maxlength-attribute%3Asuffering-from-being-too-long
        // https://html.spec.whatwg.org/multipage/#setting-minimum-input-length-requirements%3A-the-minlength-attribute%3Asuffering-from-being-too-short
        let value_dirty = self.value_dirty.get();
        let text_input = self.text_input.borrow();
        let edit_by_user = !text_input.was_last_change_by_set_content();

        if value.is_empty() || !value_dirty || !edit_by_user || !self.does_minmaxlength_apply() {
            return ValidationFlags::empty();
        }

        let mut failed_flags = ValidationFlags::empty();
        let Utf16CodeUnits(value_len) = text_input.len_utf16();
        let min_length = self.MinLength();
        let max_length = self.MaxLength();

        if min_length != DEFAULT_MIN_LENGTH && value_len < (min_length as u32) {
            failed_flags.insert(ValidationFlags::TOO_SHORT);
        }

        if max_length != DEFAULT_MAX_LENGTH && value_len > (max_length as u32) {
            failed_flags.insert(ValidationFlags::TOO_LONG);
        }

        failed_flags
    }

    /// * <https://html.spec.whatwg.org/multipage/#suffering-from-an-underflow>
    /// * <https://html.spec.whatwg.org/multipage/#suffering-from-an-overflow>
    /// * <https://html.spec.whatwg.org/multipage/#suffering-from-a-step-mismatch>
    fn suffers_from_range_issues(&self, value: &DOMString) -> ValidationFlags {
        if value.is_empty() || !self.does_value_as_number_apply() {
            return ValidationFlags::empty();
        }

        let Some(value_as_number) = self.convert_string_to_number(&value.str()) else {
            return ValidationFlags::empty();
        };

        let mut failed_flags = ValidationFlags::empty();
        let min_value = self.minimum();
        let max_value = self.maximum();

        // https://html.spec.whatwg.org/multipage/#has-a-reversed-range
        let has_reversed_range = match (min_value, max_value) {
            (Some(min), Some(max)) => self.input_type().has_periodic_domain() && min > max,
            _ => false,
        };

        if has_reversed_range {
            // https://html.spec.whatwg.org/multipage/#the-min-and-max-attributes:has-a-reversed-range-3
            if value_as_number > max_value.unwrap() && value_as_number < min_value.unwrap() {
                failed_flags.insert(ValidationFlags::RANGE_UNDERFLOW);
                failed_flags.insert(ValidationFlags::RANGE_OVERFLOW);
            }
        } else {
            // https://html.spec.whatwg.org/multipage/#the-min-and-max-attributes%3Asuffering-from-an-underflow-2
            if let Some(min_value) = min_value &&
                value_as_number < min_value
            {
                failed_flags.insert(ValidationFlags::RANGE_UNDERFLOW);
            }
            // https://html.spec.whatwg.org/multipage/#the-min-and-max-attributes%3Asuffering-from-an-overflow-2
            if let Some(max_value) = max_value &&
                value_as_number > max_value
            {
                failed_flags.insert(ValidationFlags::RANGE_OVERFLOW);
            }
        }

        // https://html.spec.whatwg.org/multipage/#the-step-attribute%3Asuffering-from-a-step-mismatch
        if let Some(step) = self.allowed_value_step() {
            // TODO: Spec has some issues here, see https://github.com/whatwg/html/issues/5207.
            // Chrome and Firefox parse values as decimals to get exact results,
            // we probably should too.
            let diff = (self.step_base() - value_as_number) % step / value_as_number;
            if diff.abs() > 1e-12 {
                failed_flags.insert(ValidationFlags::STEP_MISMATCH);
            }
        }

        failed_flags
    }

    /// Whether this input type renders as a basic text input widget.
    pub(crate) fn is_textual_or_password(&self) -> bool {
        self.is_textual_or_password.get()
    }

    fn may_have_embedder_control(&self) -> bool {
        let el = self.upcast::<Element>();
        matches!(*self.input_type(), InputType::Color(_)) && !el.disabled_state()
    }

    /// Return a string that represents the contents of the element in its displayed shadow DOM.
    pub(crate) fn value_for_shadow_dom(&self) -> DOMString {
        let input_type = &*self.input_type();
        match input_type {
            InputType::Checkbox(_) |
            InputType::Radio(_) |
            InputType::Image(_) |
            InputType::Hidden(_) |
            InputType::Range(_) => input_type.as_specific().value_for_shadow_dom(self),
            _ => {
                if let Some(attribute_value) = self
                    .upcast::<Element>()
                    .get_attribute_string_value(&local_name!("value"))
                {
                    return attribute_value.into();
                }
                input_type.as_specific().value_for_shadow_dom(self)
            },
        }
    }

    /// <https://w3c.github.io/selection-api/#dfn-schedule-a-selectionchange-event>
    fn schedule_a_selection_change_event(&self) {
        // Step 1. If target's has scheduled selectionchange event is true, abort these steps.
        if self.has_scheduled_selectionchange_event.get() {
            return;
        }
        // Step 2. Set target's has scheduled selectionchange event to true.
        self.has_scheduled_selectionchange_event.set(true);
        // Step 3. Queue a task on the user interaction task source to fire a selectionchange event on target.
        let this = Trusted::new(self);
        self.owner_global()
            .task_manager()
            .user_interaction_task_source()
            .queue(
                // https://w3c.github.io/selection-api/#firing-selectionchange-event
                task!(selectionchange_task_steps: move |cx| {
                    let this = this.root();
                    // Step 1. Set target's has scheduled selectionchange event to false.
                    this.has_scheduled_selectionchange_event.set(false);
                    // Step 2. If target is an element, fire an event named selectionchange, which bubbles and not cancelable, at target.
                    this.upcast::<EventTarget>().fire_event_with_params(
                        cx,
                        atom!("selectionchange"),
                        EventBubbles::Bubbles,
                        EventCancelable::NotCancelable,
                        EventComposed::Composed,
                    );
                    // Step 3. Otherwise, if target is a document, fire an event named selectionchange,
                    // which does not bubble and not cancelable, at target.
                    //
                    // n/a
                }),
            );
    }

    /// <https://html.spec.whatwg.org/multipage/#input-img-dimensions>
    fn dimensions(&self, cx: &mut JSContext) -> (u32, u32) {
        // Step 1. If input's type attribute is not in the Image Button state,
        // then return a width of 0 and a height of 0. (In that case no image is available.)
        let InputType::Image(ref image_input_type) = *self.input_type() else {
            return Default::default();
        };
        // The rest of the steps
        image_input_type.dimensions(cx, self)
    }
}

impl<'dom> LayoutDom<'dom, HTMLInputElement> {
    /// Textual input, specifically text entry and domain specific input has
    /// a default preferred size.
    ///
    /// <https://html.spec.whatwg.org/multipage/#the-input-element-as-a-text-entry-widget>
    /// <https://html.spec.whatwg.org/multipage/#the-input-element-as-domain-specific-widgets>
    // FIXME(stevennovaryo): Implement the calculation of default preferred size
    //                       for domain specific input widgets correctly.
    // FIXME(#4378): Implement the calculation of average character width for
    //               textual input correctly.
    pub(crate) fn size_for_layout(self) -> u32 {
        self.unsafe_get().size.get()
    }

    pub(crate) fn selection_for_layout(self) -> Option<RangeAny<Utf32CodeUnits>> {
        let element = self.unsafe_get();
        if !element.is_textual_or_password.get() {
            return None;
        }
        let text_input = element.text_input.borrow_mut();
        text_input.selection_for_layout
    }

    pub(crate) fn width(self) -> LengthOrPercentageOrAuto {
        self.image_button_dimension(&local_name!("width"))
    }

    pub(crate) fn height(self) -> LengthOrPercentageOrAuto {
        self.image_button_dimension(&local_name!("height"))
    }

    pub(crate) fn margin_right_left(self) -> LengthOrPercentageOrAuto {
        self.image_button_dimension(&local_name!("hspace"))
    }

    pub(crate) fn margin_top_bottom(self) -> LengthOrPercentageOrAuto {
        self.image_button_dimension(&local_name!("vspace"))
    }

    fn image_button_dimension(self, name: &LocalName) -> LengthOrPercentageOrAuto {
        let element = self.upcast::<Element>();
        let is_image_button = element
            .get_attr_val_for_layout(&ns!(), &local_name!("type"))
            .is_some_and(|value| value.eq_ignore_ascii_case("image"));

        if !is_image_button {
            return LengthOrPercentageOrAuto::Auto;
        }

        element
            .get_attr_for_layout(&ns!(), name)
            .map(AttrValue::as_dimension)
            .cloned()
            .unwrap_or(LengthOrPercentageOrAuto::Auto)
    }
}

impl TextControlElement for HTMLInputElement {
    fn as_element(&self) -> &Element {
        self.upcast()
    }

    fn text_input(&self) -> AtomicRef<'_, TextInput<EmbedderClipboardProvider>> {
        self.text_input.borrow()
    }

    fn text_input_mut(&self) -> AtomicRefMut<'_, TextInput<EmbedderClipboardProvider>> {
        self.text_input.borrow_mut()
    }

    /// <https://html.spec.whatwg.org/multipage/#concept-input-apply>
    fn selection_api_applies(&self) -> bool {
        matches!(
            *self.input_type(),
            InputType::Text(_) |
                InputType::Search(_) |
                InputType::Url(_) |
                InputType::Tel(_) |
                InputType::Password(_)
        )
    }

    // https://html.spec.whatwg.org/multipage/#concept-input-apply
    //
    // Defines input types to which the select() IDL method applies. These are a superset of the
    // types for which selection_api_applies() returns true.
    //
    // Types omitted which could theoretically be included if they were
    // rendered as a text control: file
    fn has_selectable_text(&self) -> bool {
        self.is_textual_or_password() && !self.text_input.borrow().get_content().is_empty()
    }

    fn has_uncollapsed_selection(&self) -> bool {
        self.text_input.borrow().has_uncollapsed_selection()
    }

    fn set_dirty_value_flag(&self, value: bool) {
        self.value_dirty.set(value)
    }

    fn select_all(&self) {
        self.text_input.borrow_mut().select_all();
        self.maybe_update_shared_selection();
    }

    fn maybe_update_shared_selection(&self) {
        let selection = {
            let mut text_input = self.text_input.borrow_mut();
            let selection_range = text_input.selection_start()..text_input.selection_end();
            let enabled = self.is_textual_or_password() && self.upcast::<Element>().focus_state();

            let range_remained_equal = selection_range == text_input.previous_selection_range;
            if range_remained_equal && enabled == text_input.selection_for_layout.is_some() {
                return;
            }

            if !range_remained_equal {
                // https://w3c.github.io/selection-api/#selectionchange-event
                // > When an input or textarea element provide a text selection and its selection changes
                // > (in either extent or direction),
                // > the user agent must schedule a selectionchange event on the element.
                self.schedule_a_selection_change_event();
            }

            let selection = enabled.then(|| text_input.sorted_selection_character_offsets_range());
            text_input.previous_selection_range = selection_range;
            text_input.selection_for_layout = selection;
            selection
        };

        // If an already laid out text run exists, we only need to repaint. If it doesn't
        // exist (or the layout box is for different element type), it indicates that
        // layout is not up-to-date and layout will get the selection value from the DOM
        // when it rebuilds the box tree.
        if let Some(text_input_widget) = self.input_type.borrow().as_specific().text_input_widget() &&
            text_input_widget.borrow().set_text_run_selection(selection)
        {
            self.owner_window().layout().set_needs_new_display_list();
        }
    }

    fn is_password_field(&self) -> bool {
        matches!(*self.input_type(), InputType::Password(_))
    }

    fn placeholder_text<'a>(&'a self) -> Ref<'a, TracedDOMString> {
        self.placeholder.borrow()
    }

    fn value_text(&self) -> DOMString {
        self.Value()
    }

    fn read_only_or_disabled(&self) -> bool {
        self.ReadOnly() || self.Disabled()
    }

    fn handle_text_content_changed(&self, cx: &mut JSContext) {
        self.update_placeholder_shown_state(cx.no_gc());
        self.upcast::<Node>()
            .dirty(cx.no_gc(), NodeDamage::ContentOrHeritage);
    }

    fn handle_key_reaction(&self, cx: &mut JSContext, action: KeyReaction) {
        match action {
            KeyReaction::TriggerDefaultAction => {
                self.implicit_submission(cx);
            },
            KeyReaction::DispatchInput(text, input_type) => {
                self.queue_input_event(text, input_type);
                self.value_dirty.set(true);
                self.update_placeholder_shown_state(cx.no_gc());
                self.upcast::<Node>().dirty(cx.no_gc(), NodeDamage::Other);
                self.maybe_update_shared_selection();
            },
            KeyReaction::RedrawSelection => {
                self.maybe_update_shared_selection();
            },
            KeyReaction::Nothing => (),
        }
    }
}

impl HTMLInputElementMethods<crate::DomTypeHolder> for HTMLInputElement {
    // https://html.spec.whatwg.org/multipage/#dom-input-accept
    make_getter!(Accept, "accept");

    // https://html.spec.whatwg.org/multipage/#dom-input-accept
    make_setter!(SetAccept, "accept");

    // https://html.spec.whatwg.org/multipage/#dom-input-alpha
    make_bool_getter!(Alpha, "alpha");

    // https://html.spec.whatwg.org/multipage/#dom-input-alpha
    make_bool_setter!(SetAlpha, "alpha");

    // https://html.spec.whatwg.org/multipage/#dom-input-alt
    make_getter!(Alt, "alt");

    // https://html.spec.whatwg.org/multipage/#dom-input-alt
    make_setter!(SetAlt, "alt");

    // https://html.spec.whatwg.org/multipage/#dom-input-dirName
    make_getter!(DirName, "dirname");

    // https://html.spec.whatwg.org/multipage/#dom-input-dirName
    make_setter!(SetDirName, "dirname");

    // https://html.spec.whatwg.org/multipage/#dom-fe-disabled
    make_bool_getter!(Disabled, "disabled");

    // https://html.spec.whatwg.org/multipage/#dom-fe-disabled
    make_bool_setter!(SetDisabled, "disabled");

    /// <https://html.spec.whatwg.org/multipage/#dom-input-width>
    fn Width(&self, cx: &mut JSContext) -> u32 {
        // > The width and height getter steps are to return the
        // > respective component of the result of determining the dimensions of this.
        self.dimensions(cx).0
    }

    // <https://html.spec.whatwg.org/multipage/#dom-input-width>
    make_dimension_uint_setter!(SetWidth, "width");

    // <https://html.spec.whatwg.org/multipage/#dom-input-height>
    fn Height(&self, cx: &mut JSContext) -> u32 {
        // > The width and height getter steps are to return the
        // > respective component of the result of determining the dimensions of this.
        self.dimensions(cx).1
    }
    // <https://html.spec.whatwg.org/multipage/#dom-input-height>
    make_dimension_uint_setter!(SetHeight, "height");

    // https://html.spec.whatwg.org/multipage/#dom-input-hspace
    make_dimension_uint_getter!(Hspace, "hspace");
    // https://html.spec.whatwg.org/multipage/#dom-input-hspace
    make_dimension_uint_setter!(SetHspace, "hspace");

    // https://html.spec.whatwg.org/multipage/#dom-input-vspace
    make_dimension_uint_getter!(Vspace, "vspace");
    // https://html.spec.whatwg.org/multipage/#dom-input-vspace
    make_dimension_uint_setter!(SetVspace, "vspace");

    /// <https://html.spec.whatwg.org/multipage/#dom-fae-form>
    fn GetForm(&self) -> Option<DomRoot<HTMLFormElement>> {
        self.form_owner()
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-files>
    fn GetFiles(&self) -> Option<DomRoot<FileList>> {
        self.input_type()
            .as_specific()
            .get_files()
            .as_ref()
            .cloned()
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-files>
    fn SetFiles(&self, _cx: &mut JSContext, files: Option<&FileList>) {
        if let Some(files) = files {
            self.input_type().as_specific().set_files(files)
        }
    }

    // https://html.spec.whatwg.org/multipage/#dom-input-defaultchecked
    make_bool_getter!(DefaultChecked, "checked");

    // https://html.spec.whatwg.org/multipage/#dom-input-defaultchecked
    make_bool_setter!(SetDefaultChecked, "checked");

    /// <https://html.spec.whatwg.org/multipage/#dom-input-checked>
    fn Checked(&self) -> bool {
        self.checkedness.get()
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-checked>
    fn SetChecked(&self, cx: &mut JSContext, checked: bool) {
        self.update_checkedness(cx, checked, true);
        self.value_changed(cx);
    }

    // https://html.spec.whatwg.org/multipage/#attr-input-colorspace
    make_enumerated_getter!(
        ColorSpace,
        "colorspace",
        "limited-srgb" | "display-p3",
        missing => "limited-srgb",
        invalid => "limited-srgb"
    );

    // https://html.spec.whatwg.org/multipage/#attr-input-colorspace
    make_setter!(SetColorSpace, "colorspace");

    // https://html.spec.whatwg.org/multipage/#dom-input-readonly
    make_bool_getter!(ReadOnly, "readonly");

    // https://html.spec.whatwg.org/multipage/#dom-input-readonly
    make_bool_setter!(SetReadOnly, "readonly");

    // https://html.spec.whatwg.org/multipage/#dom-input-size
    make_uint_getter!(Size, "size", DEFAULT_INPUT_SIZE);

    // https://html.spec.whatwg.org/multipage/#dom-input-size
    make_limited_uint_setter!(SetSize, "size", DEFAULT_INPUT_SIZE);

    /// <https://html.spec.whatwg.org/multipage/#dom-input-type>
    fn Type(&self) -> DOMString {
        DOMString::from(self.input_type().as_str())
    }

    // https://html.spec.whatwg.org/multipage/#dom-input-type
    make_atomic_setter!(SetType, "type");

    /// <https://html.spec.whatwg.org/multipage/#dom-input-value>
    fn Value(&self) -> DOMString {
        match self.value_mode() {
            ValueMode::Value => self.text_input.borrow().get_content(),
            ValueMode::Default => self
                .upcast::<Element>()
                .get_attribute_string_value(&local_name!("value"))
                .map(|value| value.into())
                .unwrap_or_default(),
            ValueMode::DefaultOn => self
                .upcast::<Element>()
                .get_attribute_string_value(&local_name!("value"))
                .map(|value| value.into())
                .unwrap_or(DOMString::from_static("on")),
            ValueMode::Filename => {
                let mut path = DOMString::new();
                match self.input_type().as_specific().get_files() {
                    Some(ref fl) => match fl.Item(0) {
                        Some(ref f) => {
                            path.push_str("C:\\fakepath\\");
                            path.push_str(&f.name().str());
                            path
                        },
                        None => path,
                    },
                    None => path,
                }
            },
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-value>
    fn SetValue(&self, cx: &mut JSContext, mut value: DOMString) -> ErrorResult {
        match self.value_mode() {
            ValueMode::Value => {
                {
                    // Step 3. Set the element's dirty value flag to true.
                    self.value_dirty.set(true);

                    // Step 4. Invoke the value sanitization algorithm, if the element's type
                    // attribute's current state defines one.
                    self.sanitize_value(&mut value);

                    let mut text_input = self.text_input.safe_borrow_mut(cx.no_gc());

                    // Step 5. If the element's value (after applying the value sanitization algorithm)
                    // is different from oldValue, and the element has a text entry cursor position,
                    // move the text entry cursor position to the end of the text control,
                    // unselecting any selected text and resetting the selection direction to "none".
                    if text_input.get_content() != value {
                        // Step 2. Set the element's value to the new value.
                        text_input.set_content(value);

                        text_input.clear_selection_to_end();
                    }
                }

                // Additionally, update the placeholder shown state in another
                // scope to prevent the borrow checker issue. This is normally
                // being done in the attributed mutated.
                self.update_placeholder_shown_state(cx.no_gc());
                self.maybe_update_shared_selection();
            },
            ValueMode::Default | ValueMode::DefaultOn => {
                self.upcast::<Element>()
                    .set_string_attribute(cx, &local_name!("value"), value);
            },
            ValueMode::Filename => {
                if value.is_empty() {
                    let window = self.owner_window();
                    let fl = FileList::new(cx, &window, vec![]);
                    self.input_type().as_specific().set_files(&fl)
                } else {
                    return Err(Error::InvalidState(Some(
                        "Non-empty value provided for filename".into(),
                    )));
                }
            },
        }

        self.value_changed(cx);
        self.upcast::<Node>().dirty(cx.no_gc(), NodeDamage::Other);
        Ok(())
    }

    // https://html.spec.whatwg.org/multipage/#dom-input-defaultvalue
    make_getter!(DefaultValue, "value");

    // https://html.spec.whatwg.org/multipage/#dom-input-defaultvalue
    make_setter!(SetDefaultValue, "value");

    // https://html.spec.whatwg.org/multipage/#dom-input-min
    make_getter!(Min, "min");

    // https://html.spec.whatwg.org/multipage/#dom-input-min
    make_setter!(SetMin, "min");

    /// <https://html.spec.whatwg.org/multipage/#dom-input-list>
    fn GetList(&self) -> Option<DomRoot<HTMLDataListElement>> {
        self.suggestions_source_element()
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-valueasdate>
    #[expect(unsafe_code)]
    fn GetValueAsDate(&self, cx: &mut JSContext, mut return_value: MutableHandleObject) {
        if let Some(date_time) = self
            .input_type()
            .as_specific()
            .convert_string_to_naive_datetime(self.Value())
        {
            let time = ClippedTime {
                t: (date_time - OffsetDateTime::UNIX_EPOCH).whole_milliseconds() as f64,
            };
            return_value.set(unsafe { NewDateObject(cx, time) });
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-valueasdate>
    #[expect(unsafe_code)]
    fn SetValueAsDate(&self, cx: &mut JSContext, value: *mut JSObject) -> ErrorResult {
        rooted!(&in(cx) let value = value);
        if !self.does_value_as_date_apply() {
            return Err(Error::InvalidState(Some(
                "Input element cannot be treated as a date".into(),
            )));
        }
        if value.is_null() {
            return self.SetValue(cx, DOMString::new());
        }
        let mut msecs: f64 = 0.0;
        // We need to go through unsafe code to interrogate jsapi about a Date.
        // To minimize the amount of unsafe code to maintain, this just gets the milliseconds,
        // which we then reinflate into a NaiveDate for use in safe code.
        unsafe {
            let mut is_date = false;
            if !ObjectIsDate(cx, value.handle(), &mut is_date) {
                return Err(Error::JSFailed);
            }
            if !is_date {
                return Err(Error::Type(c"Value was not a date".to_owned()));
            }
            if !DateGetMsecSinceEpoch(cx, value.handle(), &mut msecs) {
                return Err(Error::JSFailed);
            }
            if !msecs.is_finite() {
                return self.SetValue(cx, DOMString::new());
            }
        }

        let Ok(date_time) = OffsetDateTime::from_unix_timestamp_nanos((msecs * 1e6) as i128) else {
            return self.SetValue(cx, DOMString::new());
        };
        self.SetValue(
            cx,
            self.input_type()
                .as_specific()
                .convert_datetime_to_dom_string(date_time),
        )
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-valueasnumber>
    fn ValueAsNumber(&self) -> f64 {
        self.convert_string_to_number(&self.Value().str())
            .unwrap_or(f64::NAN)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-valueasnumber>
    fn SetValueAsNumber(&self, cx: &mut JSContext, value: f64) -> ErrorResult {
        if value.is_infinite() {
            Err(Error::Type(c"value is not finite".to_owned()))
        } else if !self.does_value_as_number_apply() {
            Err(Error::InvalidState(Some(
                "Input element value cannot be treated as a number".into(),
            )))
        } else if value.is_nan() {
            self.SetValue(cx, DOMString::new())
        } else if let Some(converted) = self.convert_number_to_string(value) {
            self.SetValue(cx, converted)
        } else {
            // The most literal spec-compliant implementation would use bignum types so
            // overflow is impossible, but just setting an overflow to the empty string
            // matches Firefox's behavior. For example, try input.valueAsNumber=1e30 on
            // a type="date" input.
            self.SetValue(cx, DOMString::new())
        }
    }

    // https://html.spec.whatwg.org/multipage/#attr-fe-name
    make_getter!(Name, "name");

    // https://html.spec.whatwg.org/multipage/#attr-fe-name
    make_atomic_setter!(SetName, "name");

    // https://html.spec.whatwg.org/multipage/#dom-input-placeholder
    make_getter!(Placeholder, "placeholder");

    // https://html.spec.whatwg.org/multipage/#dom-input-placeholder
    make_setter!(SetPlaceholder, "placeholder");

    // https://html.spec.whatwg.org/multipage/#dom-input-formaction
    make_form_action_getter!(FormAction, "formaction");

    // https://html.spec.whatwg.org/multipage/#dom-input-formaction
    make_setter!(SetFormAction, "formaction");

    // https://html.spec.whatwg.org/multipage/#dom-fs-formenctype
    make_enumerated_getter!(
        FormEnctype,
        "formenctype",
        "application/x-www-form-urlencoded" | "text/plain" | "multipart/form-data",
        invalid => "application/x-www-form-urlencoded"
    );

    // https://html.spec.whatwg.org/multipage/#dom-input-formenctype
    make_setter!(SetFormEnctype, "formenctype");

    // https://html.spec.whatwg.org/multipage/#dom-fs-formmethod
    make_enumerated_getter!(
        FormMethod,
        "formmethod",
        "get" | "post" | "dialog",
        invalid => "get"
    );

    // https://html.spec.whatwg.org/multipage/#dom-fs-formmethod
    make_setter!(SetFormMethod, "formmethod");

    // https://html.spec.whatwg.org/multipage/#dom-input-formtarget
    make_getter!(FormTarget, "formtarget");

    // https://html.spec.whatwg.org/multipage/#dom-input-formtarget
    make_setter!(SetFormTarget, "formtarget");

    // https://html.spec.whatwg.org/multipage/#attr-fs-formnovalidate
    make_bool_getter!(FormNoValidate, "formnovalidate");

    // https://html.spec.whatwg.org/multipage/#attr-fs-formnovalidate
    make_bool_setter!(SetFormNoValidate, "formnovalidate");

    // https://html.spec.whatwg.org/multipage/#dom-input-max
    make_getter!(Max, "max");

    // https://html.spec.whatwg.org/multipage/#dom-input-max
    make_setter!(SetMax, "max");

    // https://html.spec.whatwg.org/multipage/#dom-input-maxlength
    make_int_getter!(MaxLength, "maxlength", DEFAULT_MAX_LENGTH);

    // https://html.spec.whatwg.org/multipage/#dom-input-maxlength
    make_limited_int_setter!(SetMaxLength, "maxlength", DEFAULT_MAX_LENGTH);

    // https://html.spec.whatwg.org/multipage/#dom-input-minlength
    make_int_getter!(MinLength, "minlength", DEFAULT_MIN_LENGTH);

    // https://html.spec.whatwg.org/multipage/#dom-input-minlength
    make_limited_int_setter!(SetMinLength, "minlength", DEFAULT_MIN_LENGTH);

    // https://html.spec.whatwg.org/multipage/#dom-input-multiple
    make_bool_getter!(Multiple, "multiple");

    // https://html.spec.whatwg.org/multipage/#dom-input-multiple
    make_bool_setter!(SetMultiple, "multiple");

    // https://html.spec.whatwg.org/multipage/#dom-input-pattern
    make_getter!(Pattern, "pattern");

    // https://html.spec.whatwg.org/multipage/#dom-input-pattern
    make_setter!(SetPattern, "pattern");

    // https://html.spec.whatwg.org/multipage/#dom-input-required
    make_bool_getter!(Required, "required");

    // https://html.spec.whatwg.org/multipage/#dom-input-required
    make_bool_setter!(SetRequired, "required");

    // https://html.spec.whatwg.org/multipage/#dom-input-src
    make_url_getter!(Src, "src");

    // https://html.spec.whatwg.org/multipage/#dom-input-src
    make_url_setter!(SetSrc, "src");

    // https://html.spec.whatwg.org/multipage/#dom-input-step
    make_getter!(Step, "step");

    // https://html.spec.whatwg.org/multipage/#dom-input-step
    make_setter!(SetStep, "step");

    // https://html.spec.whatwg.org/multipage/#dom-input-usemap
    make_getter!(UseMap, "usemap");

    // https://html.spec.whatwg.org/multipage/#dom-input-usemap
    make_setter!(SetUseMap, "usemap");

    /// <https://html.spec.whatwg.org/multipage/#dom-input-indeterminate>
    fn Indeterminate(&self) -> bool {
        self.indeterminateness.get()
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-indeterminate>
    fn SetIndeterminate(&self, cx: &mut JSContext, val: bool) {
        self.indeterminateness.set(val);
        self.update_indeterminate_state(cx.no_gc());
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-lfe-labels>
    /// Different from make_labels_getter because this one
    /// conditionally returns null.
    fn GetLabels(&self, cx: &mut JSContext) -> Option<DomRoot<NodeList>> {
        if matches!(*self.input_type(), InputType::Hidden(_)) {
            None
        } else {
            Some(self.labels_node_list.or_init(|| {
                NodeList::new_labels_list(
                    cx,
                    self.upcast::<Node>().owner_doc().window(),
                    self.upcast::<HTMLElement>(),
                )
            }))
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-select>
    fn Select(&self, cx: &mut JSContext) {
        self.dom_select(cx);
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-selectionstart>
    fn GetSelectionStart(&self) -> Option<u32> {
        self.dom_start().map(|start| start.0)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-selectionstart>
    fn SetSelectionStart(&self, _cx: &mut JSContext, start: Option<u32>) -> ErrorResult {
        self.set_dom_start(start.map(Utf16CodeUnits::from))
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-selectionend>
    fn GetSelectionEnd(&self) -> Option<u32> {
        self.dom_end().map(|end| end.0)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-selectionend>
    fn SetSelectionEnd(&self, _cx: &mut JSContext, end: Option<u32>) -> ErrorResult {
        self.set_dom_end(end.map(Utf16CodeUnits::from))
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-selectiondirection>
    fn GetSelectionDirection(&self) -> Option<DOMString> {
        self.dom_direction()
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-selectiondirection>
    fn SetSelectionDirection(
        &self,
        _cx: &mut JSContext,
        direction: Option<DOMString>,
    ) -> ErrorResult {
        self.set_dom_direction(direction)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-setselectionrange>
    fn SetSelectionRange(&self, start: u32, end: u32, direction: Option<DOMString>) -> ErrorResult {
        self.set_dom_range(
            Utf16CodeUnits::from(start),
            Utf16CodeUnits::from(end),
            direction,
        )
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-setrangetext>
    fn SetRangeText(&self, cx: &mut JSContext, replacement: DOMString) -> ErrorResult {
        self.set_dom_range_text(cx, replacement, None, None, Default::default())?;
        self.value_changed(cx);
        Ok(())
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-textarea/input-setrangetext>
    fn SetRangeText_(
        &self,
        cx: &mut JSContext,
        replacement: DOMString,
        start: u32,
        end: u32,
        selection_mode: SelectionMode,
    ) -> ErrorResult {
        self.set_dom_range_text(
            cx,
            replacement,
            Some(Utf16CodeUnits::from(start)),
            Some(Utf16CodeUnits::from(end)),
            selection_mode,
        )?;
        self.value_changed(cx);
        Ok(())
    }

    /// Select the files based on filepaths passed in, enabled by
    /// `dom_testing_html_input_element_select_files_enabled`, used for test purpose.
    fn SelectFiles(&self, cx: &mut JSContext, paths: Vec<DOMString>) {
        self.input_type()
            .as_specific()
            .select_files(cx, self, Some(paths));
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-stepup>
    fn StepUp(&self, cx: &mut JSContext, n: i32) -> ErrorResult {
        self.step_up_or_down(cx, n, StepDirection::Up)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-input-stepdown>
    fn StepDown(&self, cx: &mut JSContext, n: i32) -> ErrorResult {
        self.step_up_or_down(cx, n, StepDirection::Down)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-cva-willvalidate>
    fn WillValidate(&self, no_gc: &NoGC) -> bool {
        self.is_instance_validatable(no_gc)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-cva-validity>
    fn Validity(&self, cx: &mut JSContext) -> DomRoot<ValidityState> {
        self.validity_state(cx)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-cva-checkvalidity>
    fn CheckValidity(&self, cx: &mut JSContext) -> bool {
        self.check_validity(cx)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-cva-reportvalidity>
    fn ReportValidity(&self, cx: &mut JSContext) -> bool {
        self.report_validity(cx)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-cva-validationmessage>
    fn ValidationMessage(&self, cx: &mut JSContext) -> DOMString {
        self.validation_message(cx)
    }

    /// <https://html.spec.whatwg.org/multipage/#dom-cva-setcustomvalidity>
    fn SetCustomValidity(&self, cx: &mut JSContext, error: DOMString) {
        self.validity_state(cx).set_custom_error_message(cx, error);
    }
}

impl HTMLInputElement {
    /// <https://html.spec.whatwg.org/multipage/#constructing-the-form-data-set>
    /// Steps range from 5.1 to 5.10 (specific to HTMLInputElement)
    pub(crate) fn form_datums(
        &self,
        submitter: Option<FormSubmitterElement>,
        encoding: Option<&'static Encoding>,
    ) -> (Vec<FormDatum>, bool) {
        let ty = self.Type();
        let name = self.Name();
        let is_submitter = match submitter {
            Some(FormSubmitterElement::Input(s)) => self == s,
            _ => false,
        };

        // 5.1: disabled state check is in get_unclean_dataset
        match *self.input_type() {
            // Step 5.1: it's a button but it is not submitter.
            InputType::Submit(_) | InputType::Button(_) | InputType::Reset(_) if !is_submitter => {
                return (vec![], true);
            },

            // Step 5.1: it's the "Checkbox" or "Radio Button" and whose checkedness is false.
            InputType::Radio(_) | InputType::Checkbox(_) if !self.Checked() => {
                return (vec![], true);
            },
            InputType::Image(_) => {
                // Step 5.2.1 If the field element is not submitter, then continue.
                if !is_submitter {
                    return (vec![], true);
                }
            },
            // Step 5.4: If either the field element does not have a name attribute specified, or its name attribute's value is the empty string, then continue.
            _ => {
                if name.is_empty() {
                    return (vec![], true);
                }
            },
        }

        let datums = match *self.input_type() {
            // Step 5.2: If the field element is an input element whose type attribute is in the Image Button state:
            InputType::Image(ref image_input_type) => {
                // Step 5.2.2: If the field element has a name attribute specified and its value is not
                // the empty string, let name be that value followed by U+002E (.); otherwise, let name
                // be the empty string.
                // Note: step 5.2.1 is handled above.
                let prefix = if name.is_empty() {
                    String::new()
                } else {
                    format!("{name}.")
                };

                // Step 5.2.3: Let namex be the concatenation of name and "x", and let namey be the
                // concatenation of name and "y".
                let name_x: DOMString = format!("{prefix}x").into();
                let name_y: DOMString = format!("{prefix}y").into();

                // Step 5.2.4: The field element's selected coordinate consists of an x-component and a
                // y-component. Create an entry with namex and the x-component, and an entry with namey
                // and the y-component, and append them to entry list.
                let coordinate = image_input_type.selected_coordinate();

                vec![
                    FormDatum {
                        name: name_x,
                        ty: ty.clone(),
                        value: FormDatumValue::String(coordinate.x.to_string().into()),
                    },
                    FormDatum {
                        name: name_y,
                        ty,
                        value: FormDatumValue::String(coordinate.y.to_string().into()),
                    },
                ]
            },
            // Step 5.7: Otherwise, if the field element is an input element whose type attribute is in the Checkbox state or the Radio Button state:
            InputType::Checkbox(_) | InputType::Radio(_) => {
                // Step 5.7.1: If the field element has a value attribute specified, then let value be the value of that attribute; otherwise, let value be the string "on".
                let field_value = self.Value();
                let value = if field_value.is_empty() {
                    DOMString::from_static("on")
                } else {
                    field_value
                };
                // Step 5.7.2: Create an entry with name and value, and append it to entry list.
                vec![FormDatum {
                    ty,
                    name,
                    value: FormDatumValue::String(value),
                }]
            },

            // Step 5.8: Otherwise, if the field element is an input element whose type attribute is in the File Upload state:
            InputType::File(_) => {
                let mut datums = vec![];

                // Step 5.2-5.7
                let name = self.Name();

                match self.GetFiles() {
                    // Step 5.8.1: If there are no selected files, then create an entry with name and a new File object with an empty name, application/octet-stream as type, and an empty body, and append it to entry list.
                    None => {
                        datums.push(FormDatum {
                            // XXX(izgzhen): Spec says 'application/octet-stream' as the type,
                            // but this is _type_ of element rather than content right?
                            ty,
                            name,
                            value: FormDatumValue::String(DOMString::new()),
                        })
                    },
                    // Step 5.8.2: Otherwise, for each file in selected files, create an entry with name and a File object representing the file, and append it to entry list.
                    Some(fl) => {
                        for f in fl.iter_files() {
                            datums.push(FormDatum {
                                ty: ty.clone(),
                                name: name.clone(),
                                value: FormDatumValue::File(DomRoot::from_ref(f)),
                            });
                        }
                    },
                }

                datums
            },

            // Step 5.9: Otherwise, if the field element is an input element whose type attribute is in the Hidden state and name is an ASCII case-insensitive match for "_charset_":
            InputType::Hidden(_) if name.eq_ignore_ascii_case("_charset_") => {
                // Step 5.9.1: Let charset be the name of encoding.
                let charset = match encoding {
                    None => DOMString::from_static("UTF-8"),
                    Some(enc) => DOMString::from(enc.name()),
                };
                // Step 5.9.2: Create an entry with name and charset, and append it to entry list.
                vec![FormDatum {
                    ty,
                    name,
                    value: FormDatumValue::String(charset),
                }]
            },

            // Step 5.10: Otherwise, create an entry with name and the value of the field element, and append it to entry list.
            _ => vec![FormDatum {
                ty,
                name,
                value: FormDatumValue::String(self.Value()),
            }],
        };
        (datums, false)
    }

    /// <https://html.spec.whatwg.org/multipage/#radio-button-group>
    pub(crate) fn radio_group_name(&self) -> Option<Atom> {
        self.upcast::<Element>()
            .get_name()
            .filter(|name| !name.is_empty())
    }

    fn update_checkedness(&self, cx: &mut JSContext, checked: bool, dirty: bool) {
        let previously_checked = self.checkedness.replace(checked);
        self.update_checked_state(cx.no_gc());

        if dirty {
            self.checked_changed.set(true);
        }

        self.input_type()
            .as_specific()
            .update_checkedness(cx, self, checked, previously_checked);

        self.upcast::<Node>().dirty(cx.no_gc(), NodeDamage::Other);
    }

    /// <https://html.spec.whatwg.org/multipage/#selector-checked>
    fn update_checked_state(&self, no_gc: &NoGC) {
        // input elements whose type attribute is in the Checkbox state and whose checkedness state is true
        // input elements whose type attribute is in the Radio Button state and whose checkedness state is true
        let should_checked_state_apply = matches!(
            *self.input_type(),
            InputType::Checkbox(_) | InputType::Radio(_)
        ) && self.Checked();
        self.upcast::<Element>().set_state(
            no_gc,
            ElementState::CHECKED,
            should_checked_state_apply,
        );
    }

    /// <https://html.spec.whatwg.org/multipage/#selector-default>
    pub(crate) fn update_default_state(&self, is_default_button: bool, no_gc: &NoGC) {
        // > The :default pseudo-class must match any element falling into one of the following categories:
        // > - Submit buttons that are default buttons of their form owner.
        // > - input elements to which the checked attribute applies and that have a checked attribute
        let is_default = self.is_submit_button() && is_default_button;
        let checked_attribute = matches!(
            *self.input_type(),
            InputType::Checkbox(_) | InputType::Radio(_)
        ) && self
            .upcast::<Element>()
            .has_attribute(&local_name!("checked"));
        self.upcast::<Element>().set_state(
            no_gc,
            ElementState::DEFAULT,
            is_default || checked_attribute,
        );
    }

    /// This updates the default state via the form owner in order to determine if this is the default button.
    fn update_default_state_indirectly(&self, no_gc: &NoGC) {
        match self.form_owner() {
            Some(form) => form.invalidate_default_button(no_gc),
            None => self.update_default_state(false, no_gc),
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#selector-indeterminate>
    pub(crate) fn update_indeterminate_state(&self, no_gc: &NoGC) {
        // > The :indeterminate pseudo-class must match any element falling into one of the following categories:
        // > - input elements whose type attribute is in the Checkbox state and whose indeterminateness is true
        // > - input elements whose type attribute is in the Radio Button state and whose radio button
        // >   group contains no input elements whose checkedness state is true.
        let should_indeterminate_state_apply = match *self.input_type() {
            InputType::Checkbox(_) => self.Indeterminate(),
            InputType::Radio(_) => {
                let group = self.radio_group_name();
                let form = self.form_owner();
                let root = self
                    .upcast::<Node>()
                    .GetRootNode(&GetRootNodeOptions::empty());
                radio_group_iter(self, group.as_ref(), form.as_deref(), &root)
                    .all(|elem| !elem.Checked())
            },
            _ => false,
        };
        self.upcast::<Element>().set_state(
            no_gc,
            ElementState::INDETERMINATE,
            should_indeterminate_state_apply,
        );
    }

    /// <https://html.spec.whatwg.org/multipage/#concept-fe-mutable>
    pub(crate) fn is_mutable(&self) -> bool {
        // https://html.spec.whatwg.org/multipage/#the-input-element:concept-fe-mutable
        // https://html.spec.whatwg.org/multipage/#the-readonly-attribute:concept-fe-mutable
        !(self.upcast::<Element>().disabled_state() || self.ReadOnly())
    }

    /// <https://html.spec.whatwg.org/multipage/#the-input-element:concept-form-reset-control>:
    ///
    /// > The reset algorithm for input elements is to set its user validity, dirty value
    /// > flag, and dirty checkedness flag back to false, set the value of the element to
    /// > the value of the value content attribute, if there is one, or the empty string
    /// > otherwise, set the checkedness of the element to true if the element has a checked
    /// > content attribute and false if it does not, empty the list of selected files, and
    /// > then invoke the value sanitization algorithm, if the type attribute's current
    /// > state defines one.
    pub(crate) fn reset(&self, cx: &mut JSContext) {
        self.value_dirty.set(false);

        // We set the value and sanitize all in one go.
        let mut value = self.DefaultValue();
        self.sanitize_value(&mut value);
        self.text_input
            .safe_borrow_mut(cx.no_gc())
            .set_content(value);

        let input_type = &*self.input_type();
        if matches!(input_type, InputType::Radio(_) | InputType::Checkbox(_)) {
            self.update_checkedness(cx, self.DefaultChecked(), false);
            self.checked_changed.set(false);
        }

        if matches!(input_type, InputType::File(_)) {
            input_type
                .as_specific()
                .set_files(&FileList::new(cx, &self.owner_window(), vec![]));
        }

        self.value_changed(cx);
    }

    /// <https://w3c.github.io/webdriver/#ref-for-dfn-clear-algorithm-3>
    /// Used by WebDriver to clear the input element.
    pub(crate) fn clear(&self, cx: &mut JSContext) {
        // Step 1. Reset dirty value and dirty checkedness flags.
        self.value_dirty.set(false);
        self.checked_changed.set(false);
        // Step 2. Set value to empty string.
        self.text_input
            .safe_borrow_mut(cx.no_gc())
            .set_content(DOMString::new());
        // Step 3. Set checkedness based on presence of content attribute.
        self.update_checkedness(cx, self.DefaultChecked(), false);
        // Step 4. Empty selected files
        if self.input_type().as_specific().get_files().is_some() {
            let window = self.owner_window();
            let filelist = FileList::new(cx, &window, vec![]);
            self.input_type().as_specific().set_files(&filelist);
        }

        // Step 5. Invoke the value sanitization algorithm iff the type attribute's
        // current state defines one.
        {
            let mut text_input = self.text_input.safe_borrow_mut(cx.no_gc());
            let mut value = text_input.get_content();
            self.sanitize_value(&mut value);
            text_input.set_content(value);
        }

        self.value_changed(cx);
    }

    fn update_placeholder_shown_state(&self, no_gc: &NoGC) {
        if !self.input_type().is_textual_or_password() {
            self.upcast::<Element>()
                .set_placeholder_shown_state(no_gc, false);
        } else {
            let has_placeholder = !self.placeholder.borrow().is_empty();
            let has_value = !self.text_input.borrow().is_empty();
            self.upcast::<Element>()
                .set_placeholder_shown_state(no_gc, has_placeholder && !has_value);
        }
    }

    pub(crate) fn select_files_for_webdriver(
        &self,
        cx: &mut JSContext,
        test_paths: Vec<DOMString>,
        response_sender: GenericSender<Result<bool, ErrorStatus>>,
    ) {
        let mut stored_sender = self.pending_webdriver_response.borrow_mut();
        assert!(stored_sender.is_none());

        *stored_sender = Some(Box::new(PendingWebDriverResponse {
            response_sender,
            expected_file_count: test_paths.len(),
        }));

        self.input_type()
            .as_specific()
            .select_files(cx, self, Some(test_paths));
    }

    pub(crate) fn take_pending_webdriver_response(&self) -> Option<Box<PendingWebDriverResponse>> {
        self.pending_webdriver_response.borrow_mut().take()
    }

    /// <https://html.spec.whatwg.org/multipage/#value-sanitization-algorithm>
    fn sanitize_value(&self, value: &mut DOMString) {
        self.input_type().as_specific().sanitize_value(self, value);
    }

    /// <https://html.spec.whatwg.org/multipage/#implicit-submission>
    fn implicit_submission(&self, cx: &mut JSContext) {
        let doc = self.owner_document();
        let node = doc.upcast::<Node>();
        let owner = self.form_owner();
        let form = match owner {
            None => return,
            Some(ref f) => f,
        };

        if self.upcast::<Element>().click_in_progress() {
            return;
        }
        match form.default_button() {
            Some(ref button) => {
                if button
                    .as_maybe_activatable()
                    .is_some_and(|button| button.is_instance_activatable())
                {
                    // spec does not actually say to set the not trusted flag,
                    // but we can get here from synthetic keydown events
                    button
                        .upcast::<Node>()
                        .fire_synthetic_pointer_event_not_trusted(cx, atom!("click"));
                }
            },
            None => {
                let mut inputs = node
                    .traverse_preorder(ShadowIncluding::No)
                    .filter_map(DomRoot::downcast::<HTMLInputElement>)
                    .filter(|input| {
                        input.form_owner() == owner &&
                            matches!(
                                *input.input_type(),
                                InputType::Text(_) |
                                    InputType::Search(_) |
                                    InputType::Url(_) |
                                    InputType::Tel(_) |
                                    InputType::Email(_) |
                                    InputType::Password(_) |
                                    InputType::Date(_) |
                                    InputType::Month(_) |
                                    InputType::Week(_) |
                                    InputType::Time(_) |
                                    InputType::DatetimeLocal(_) |
                                    InputType::Number(_)
                            )
                    });

                if inputs.nth(1).is_some() {
                    // lazily test for > 1 submission-blocking inputs
                    return;
                }

                form.submit(
                    cx,
                    SubmittedFrom::NotFromForm,
                    FormSubmitterElement::Form(form),
                );
            },
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#concept-input-value-string-number>
    pub(crate) fn convert_string_to_number(&self, value: &str) -> Option<f64> {
        self.input_type()
            .as_specific()
            .convert_string_to_number(value)
    }

    /// <https://html.spec.whatwg.org/multipage/#concept-input-value-string-number>
    fn convert_number_to_string(&self, value: f64) -> Option<DOMString> {
        self.input_type()
            .as_specific()
            .convert_number_to_string(value)
    }

    fn update_related_validity_states(&self, cx: &mut JSContext) {
        match *self.input_type() {
            InputType::Radio(_) => {
                perform_radio_group_validation(cx, self, self.radio_group_name().as_ref())
            },
            _ => {
                self.validity_state(cx)
                    .perform_validation_and_update(cx, ValidationFlags::all());
            },
        }
    }

    fn value_changed(&self, cx: &mut JSContext) {
        self.maybe_update_shared_selection();
        self.update_related_validity_states(cx);
        if self.upcast::<Node>().is_connected() {
            self.input_type().as_specific().update_shadow_tree(cx, self);
        }
    }

    /// Fire the events a value change asks for, in spec order.
    ///
    /// Shared function for the "fire `input`, then fire `change`" pair that several input
    /// types need after a user interaction changed this element's value.
    pub(crate) fn fire_value_change_events(&self, cx: &mut JSContext, events: ValueChangeEvents) {
        let target = self.upcast::<EventTarget>();

        // Fire an event named input at the element with the bubbles and composed attributes
        // initialized to true.
        if events.contains(ValueChangeEvents::Input) {
            target.fire_event_with_params(
                cx,
                atom!("input"),
                EventBubbles::Bubbles,
                EventCancelable::NotCancelable,
                EventComposed::Composed,
            );
        }

        // Fire an event named change at the element with the bubbles attribute initialized
        // to true.
        if events.contains(ValueChangeEvents::Change) {
            target.fire_bubbling_event(cx, atom!("change"));
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#show-the-picker,-if-applicable>
    pub(crate) fn show_the_picker_if_applicable(&self, cx: &mut JSContext) {
        // FIXME: Implement most of this algorithm

        // Step 2. If element is not mutable, then return.
        if !self.is_mutable() {
            return;
        }

        // Step 6. Otherwise, the user agent should show the relevant user interface for selecting a value for element,
        // in the way it normally would when the user interacts with the control.
        self.input_type()
            .as_specific()
            .show_the_picker_if_applicable(cx, self);
    }

    pub(crate) fn handle_color_picker_response(
        &self,
        cx: &mut JSContext,
        response: Option<RgbColor>,
    ) {
        if let InputType::Color(ref color_input_type) = *self.input_type() {
            color_input_type.handle_color_picker_response(cx, self, response)
        }
    }

    pub(crate) fn handle_file_picker_response(
        &self,
        cx: &mut JSContext,
        response: Option<Vec<SelectedFile>>,
    ) {
        if let InputType::File(ref file_input_type) = *self.input_type() {
            file_input_type.handle_file_picker_response(cx, self, response)
        }
    }

    fn handle_focus_event(&self, cx: &mut JSContext, event: &FocusEvent) {
        let event_type = event.upcast::<Event>().type_();
        let document = self.owner_document();

        // This hides the control if the input element has lost focus, but doesn't do this for
        // file selection dialogs, which are often modal dialogs that may be represented as
        // separate windows.
        if *event_type == *"blur" && !matches!(&*self.input_type(), InputType::File(..)) {
            document
                .embedder_controls()
                .hide_embedder_control(self.upcast());
        } else if *event_type == *"focus" {
            let input_type = &*self.input_type();
            let Ok(input_method_type) = input_type.try_into() else {
                return;
            };

            // If there is a Document selection collapse it. This isn't really specified
            // and there are quite a few open specification issues about the interaction
            // of input and Document selection:
            // See <https://github.com/w3c/selection-api/issues/83>.
            if self.is_textual_or_password() &&
                let Some(selection) = document.selection()
            {
                let _ = selection.Collapse(cx, None, 0);
            }

            document.embedder_controls().show_embedder_control(
                cx,
                ControlElement::Ime(Dom::from_ref(self.upcast())),
                EmbedderControlRequest::InputMethod(InputMethodRequest {
                    input_method_type,
                    text: String::from(self.Value()),
                    insertion_point: self.GetSelectionEnd(),
                    multiline: false,
                    // We follow chromium's heuristic to show the virtual keyboard only if user had interacted before.
                    allow_virtual_keyboard: self.owner_window().has_sticky_activation(),
                }),
                None,
            );
        }
    }
}

impl VirtualMethods for HTMLInputElement {
    fn super_type(&self) -> Option<&dyn VirtualMethods> {
        Some(self.upcast::<HTMLElement>() as &dyn VirtualMethods)
    }

    fn attribute_mutated(
        &self,
        cx: &mut JSContext,
        attr: AttrRef<'_>,
        mutation: AttributeMutation,
    ) {
        let could_have_had_embedder_control = self.may_have_embedder_control();

        self.super_type()
            .unwrap()
            .attribute_mutated(cx, attr, mutation);

        match *attr.local_name() {
            local_name!("disabled") => {
                let element = self.upcast::<Element>();
                if self.input_type().is_textual() {
                    let read_write = !(self.ReadOnly() || element.disabled_state());
                    element.set_read_write_state(cx.no_gc(), read_write);
                }
            },
            local_name!("checked") => {
                if !self.checked_changed.get() {
                    let checked_state = match mutation {
                        AttributeMutation::Set(None) => true,
                        AttributeMutation::Set(Some(_)) => {
                            // Input was already checked before.
                            return;
                        },
                        AttributeMutation::Removed => false,
                    };
                    self.update_checkedness(cx, checked_state, false);
                }
                self.update_default_state_indirectly(cx.no_gc());
            },
            local_name!("min") | local_name!("max") => {
                self.validity_state(cx)
                    .perform_validation_and_update(cx, ValidationFlags::all());
            },
            local_name!("size") => {
                let size = mutation.new_value(attr).map(|value| value.as_uint());
                self.size.set(size.unwrap_or(DEFAULT_INPUT_SIZE));
            },
            local_name!("type") => {
                let element = self.upcast::<Element>();

                match mutation {
                    AttributeMutation::Set(previous_value) => {
                        // https://html.spec.whatwg.org/multipage/#input-type-change

                        // Ensure there was actually a change in type
                        if previous_value
                            .is_some_and(|previous_value| **previous_value == **attr.value())
                        {
                            return;
                        }

                        let (old_value_mode, old_idl_value) = (self.value_mode(), self.Value());
                        let previously_selectable = self.selection_api_applies();

                        *self.input_type.safe_borrow_mut(cx.no_gc()) =
                            InputType::new_from_atom(attr.value().as_atom());
                        self.is_textual_or_password
                            .set(self.input_type().is_textual_or_password());

                        if self.input_type().is_textual() {
                            let read_write = !(self.ReadOnly() || element.disabled_state());
                            element.set_read_write_state(cx.no_gc(), read_write);
                        } else {
                            element.set_read_write_state(cx.no_gc(), false);
                        }

                        let new_value_mode = self.value_mode();
                        match (&old_value_mode, old_idl_value.is_empty(), new_value_mode) {
                            // Step 1
                            (&ValueMode::Value, false, ValueMode::Default) |
                            (&ValueMode::Value, false, ValueMode::DefaultOn) => {
                                self.SetValue(cx, old_idl_value)
                                    .expect("Failed to set input value on type change to a default ValueMode.");
                            },

                            // Step 2
                            (_, _, ValueMode::Value) if old_value_mode != ValueMode::Value => {
                                self.SetValue(
                                    cx,
                                    self.upcast::<Element>()
                                        .get_attribute_string_value(&local_name!("value"))
                                        .unwrap_or_default()
                                        .into(),
                                )
                                .expect(
                                    "Failed to set input value on type change to ValueMode::Value.",
                                );
                                self.value_dirty.set(false);
                            },

                            // Step 3
                            (_, _, ValueMode::Filename)
                                if old_value_mode != ValueMode::Filename =>
                            {
                                self.SetValue(cx, DOMString::new())
                                    .expect("Failed to set input value on type change to ValueMode::Filename.");
                            },
                            _ => {},
                        }

                        // Step 5
                        self.input_type().as_specific().signal_type_change(cx, self);

                        // Step 6
                        let mut text_input = self.text_input.safe_borrow_mut(cx.no_gc());
                        let mut value = text_input.get_content();
                        self.sanitize_value(&mut value);
                        text_input.set_content(value);
                        self.upcast::<Node>().dirty(cx.no_gc(), NodeDamage::Other);

                        // Set or remove the length restrictions depending on whether they apply
                        if self.does_minmaxlength_apply() {
                            text_input
                                .set_min_length(self.MinLength().to_u32().map(Utf16CodeUnits));
                            text_input
                                .set_max_length(self.MaxLength().to_u32().map(Utf16CodeUnits));
                        } else {
                            text_input.set_min_length(None);
                            text_input.set_max_length(None);
                        }

                        // Steps 7-9
                        if !previously_selectable && self.selection_api_applies() {
                            text_input.clear_selection_to_start();
                        }
                    },
                    AttributeMutation::Removed => {
                        self.input_type().as_specific().signal_type_change(cx, self);
                        *self.input_type.safe_borrow_mut(cx.no_gc()) = InputType::new_text();
                        self.is_textual_or_password
                            .set(self.input_type().is_textual_or_password());

                        let element = self.upcast::<Element>();
                        let read_write = !(self.ReadOnly() || element.disabled_state());
                        element.set_read_write_state(cx.no_gc(), read_write);
                    },
                }

                self.update_placeholder_shown_state(cx.no_gc());
                self.input_type()
                    .as_specific()
                    .update_placeholder_contents(cx, self);

                self.validity_state(cx)
                    .perform_validation_and_update(cx, ValidationFlags::all());
                self.update_checked_state(cx.no_gc());
                self.update_indeterminate_state(cx.no_gc());
                self.update_default_state_indirectly(cx.no_gc());
                if element.focus_state() {
                    element.set_focusring_state(cx.no_gc(), self.is_textual_or_password());
                }
                self.update_required_and_optional_state(cx.no_gc());
            },
            local_name!("value") if !self.value_dirty.get() => {
                // This is only run when the `value` or `defaultValue` attribute is set. It
                // has a different behavior than `SetValue` which is triggered by setting the
                // value property in script.
                let value = mutation.new_value(attr).map(|value| (**value).to_owned());
                let mut value = value.map_or(DOMString::new(), DOMString::from);

                self.sanitize_value(&mut value);
                self.text_input
                    .safe_borrow_mut(cx.no_gc())
                    .set_content(value);
                self.update_placeholder_shown_state(cx.no_gc());
            },
            local_name!("maxlength") if self.does_minmaxlength_apply() => match *attr.value() {
                AttrValue::Int(_, value) => {
                    let mut text_input = self.text_input.safe_borrow_mut(cx.no_gc());

                    if value < 0 {
                        text_input.set_max_length(None);
                    } else {
                        text_input.set_max_length(Some(Utf16CodeUnits(value as u32)))
                    }
                },
                _ => panic!("Expected an AttrValue::Int"),
            },
            local_name!("minlength") if self.does_minmaxlength_apply() => match *attr.value() {
                AttrValue::Int(_, value) => {
                    let mut text_input = self.text_input.safe_borrow_mut(cx.no_gc());

                    if value < 0 {
                        text_input.set_min_length(None);
                    } else {
                        text_input.set_min_length(Some(Utf16CodeUnits(value as u32)))
                    }
                },
                _ => panic!("Expected an AttrValue::Int"),
            },
            local_name!("placeholder") => {
                {
                    let mut placeholder = self.placeholder.safe_borrow_mut(cx.no_gc());
                    placeholder.clear();
                    if let AttributeMutation::Set(_) = mutation {
                        placeholder
                            .extend(attr.value().chars().filter(|&c| c != '\n' && c != '\r'));
                    }
                }
                self.update_placeholder_shown_state(cx.no_gc());
                self.input_type()
                    .as_specific()
                    .update_placeholder_contents(cx, self);
            },
            local_name!("readonly") => {
                if self.input_type().is_textual() {
                    let el = self.upcast::<Element>();
                    match mutation {
                        AttributeMutation::Set(_) => {
                            el.set_read_write_state(cx.no_gc(), false);
                        },
                        AttributeMutation::Removed => {
                            el.set_read_write_state(cx.no_gc(), !el.disabled_state());
                        },
                    }
                }
            },
            local_name!("form") => {
                self.form_attribute_mutated(cx, mutation);
            },
            local_name!("required") => {
                self.update_required_and_optional_state(cx.no_gc());
            },
            _ => {
                self.input_type()
                    .as_specific()
                    .attribute_mutated(cx, self, attr, mutation);
            },
        }

        self.value_changed(cx);

        if could_have_had_embedder_control && !self.may_have_embedder_control() {
            self.owner_document()
                .embedder_controls()
                .hide_embedder_control(self.upcast());
        }
    }

    fn parse_plain_attribute(&self, name: &LocalName, value: DOMString) -> AttrValue {
        match *name {
            local_name!("accept") => AttrValue::from_comma_separated_tokenlist(value.into()),
            local_name!("size") => AttrValue::from_limited_u32(value.into(), DEFAULT_INPUT_SIZE),
            local_name!("type") => AttrValue::from_atomic(value.into()),
            local_name!("maxlength") => {
                AttrValue::from_limited_i32(value.into(), DEFAULT_MAX_LENGTH)
            },
            local_name!("minlength") => {
                AttrValue::from_limited_i32(value.into(), DEFAULT_MIN_LENGTH)
            },
            local_name!("width") |
            local_name!("height") |
            local_name!("hspace") |
            local_name!("vspace") => AttrValue::from_dimension(value.into()),
            _ => self
                .super_type()
                .unwrap()
                .parse_plain_attribute(name, value),
        }
    }

    fn bind_to_tree(&self, cx: &mut JSContext, context: &BindContext) {
        if let Some(super_type) = self.super_type() {
            super_type.bind_to_tree(cx, context);
        }
        self.input_type()
            .as_specific()
            .run_shared_bind_to_tree_or_moving_steps(cx, self);
        self.value_changed(cx);
    }

    fn moving_steps(&self, cx: &mut JSContext, context: &MoveContext) {
        if let Some(super_type) = self.super_type() {
            super_type.moving_steps(cx, context);
        }
        self.input_type()
            .as_specific()
            .run_shared_bind_to_tree_or_moving_steps(cx, self);
    }

    fn unbind_from_tree(&self, cx: &mut JSContext, context: &UnbindContext) {
        // Always attempt to hide IME when unbinding input elements from the tree.
        self.owner_document_unrooted(cx.no_gc())
            .embedder_controls()
            .hide_embedder_control(self.upcast());

        let form_owner = self.form_owner();
        self.super_type().unwrap().unbind_from_tree(cx, context);

        self.input_type()
            .as_specific()
            .unbind_from_tree(cx, self, form_owner, context);

        self.validity_state(cx)
            .perform_validation_and_update(cx, ValidationFlags::all());
    }

    // This represents behavior for which the UIEvents spec and the
    // DOM/HTML specs are out of sync.
    // Compare:
    // https://w3c.github.io/uievents/#default-action
    /// <https://dom.spec.whatwg.org/#action-versus-occurance>
    fn handle_event(&self, cx: &mut JSContext, event: &Event) {
        if let Some(event) = event.downcast::<FocusEvent>() {
            self.handle_focus_event(cx, event)
        }

        let value_change_events = self
            .input_type()
            .as_specific()
            .handle_event(cx, self, event);

        self.value_changed(cx);

        self.fire_value_change_events(cx, value_change_events);

        if let Some(super_type) = self.super_type() {
            super_type.handle_event(cx, event);
        }
    }

    /// <https://html.spec.whatwg.org/multipage/#the-input-element%3Aconcept-node-clone-ext>
    fn cloning_steps(
        &self,
        cx: &mut JSContext,
        copy: &Node,
        maybe_doc: Option<&Document>,
        clone_children: CloneChildrenFlag,
    ) {
        if let Some(s) = self.super_type() {
            s.cloning_steps(cx, copy, maybe_doc, clone_children);
        }
        let elem = copy.downcast::<HTMLInputElement>().unwrap();
        elem.value_dirty.set(self.value_dirty.get());
        elem.update_checkedness(cx, self.Checked(), false);
        elem.checked_changed.set(self.checked_changed.get());
        // The spec does not mention cloning the indeterminate state, but other browsers
        // do it and there are WPT tests expecting cloned nodes to preserve this attribute.
        elem.SetIndeterminate(cx, self.Indeterminate());
        elem.text_input
            .safe_borrow_mut(cx.no_gc())
            .clone_content_from(&self.text_input.borrow());
        elem.value_changed(cx);
    }

    fn attribute_affects_presentational_hints(&self, attr: AttrRef<'_>) -> bool {
        match attr.local_name() {
            &local_name!("width") |
            &local_name!("height") |
            &local_name!("hspace") |
            &local_name!("vspace") => {
                matches!(*self.input_type(), InputType::Image(_))
            },
            _ => self
                .super_type()
                .unwrap()
                .attribute_affects_presentational_hints(attr),
        }
    }
}

impl FormControl for HTMLInputElement {
    fn form_owner(&self) -> Option<DomRoot<HTMLFormElement>> {
        self.form_owner.get()
    }

    fn set_form_owner(&self, cx: &mut JSContext, form: Option<&HTMLFormElement>) {
        self.form_owner.set(form);
        self.input_type().as_specific().form_owner_changed(cx, self);
    }

    fn to_html_element(&self) -> &HTMLElement {
        self.upcast::<HTMLElement>()
    }
}

impl Validatable for HTMLInputElement {
    fn as_element(&self) -> &Element {
        self.upcast()
    }

    /// <https://html.spec.whatwg.org/multipage/#have-range-limitations>
    fn has_range_limitations(&self) -> bool {
        self.does_value_as_number_apply() && (self.minimum().is_some() || self.maximum().is_some())
    }

    fn validity_state(&self, cx: &mut JSContext) -> DomRoot<ValidityState> {
        self.validity_state
            .or_init(|| ValidityState::new(cx, &self.owner_window(), self.upcast()))
    }

    fn is_instance_validatable(&self, no_gc: &NoGC) -> bool {
        // https://html.spec.whatwg.org/multipage/#hidden-state-(type%3Dhidden)%3Abarred-from-constraint-validation
        // https://html.spec.whatwg.org/multipage/#button-state-(type%3Dbutton)%3Abarred-from-constraint-validation
        // https://html.spec.whatwg.org/multipage/#reset-button-state-(type%3Dreset)%3Abarred-from-constraint-validation
        // https://html.spec.whatwg.org/multipage/#enabling-and-disabling-form-controls%3A-the-disabled-attribute%3Abarred-from-constraint-validation
        // https://html.spec.whatwg.org/multipage/#the-readonly-attribute%3Abarred-from-constraint-validation
        // https://html.spec.whatwg.org/multipage/#the-datalist-element%3Abarred-from-constraint-validation
        match *self.input_type() {
            InputType::Hidden(_) | InputType::Button(_) | InputType::Reset(_) => false,
            _ => {
                !(self.upcast::<Element>().disabled_state() ||
                    self.ReadOnly() ||
                    is_barred_by_datalist_ancestor(no_gc, self.upcast()))
            },
        }
    }

    fn perform_validation(
        &self,
        cx: &mut JSContext,
        validate_flags: ValidationFlags,
    ) -> ValidationFlags {
        let mut failed_flags = ValidationFlags::empty();
        let value = self.Value();

        if validate_flags.contains(ValidationFlags::VALUE_MISSING) &&
            self.suffers_from_being_missing(&value)
        {
            failed_flags.insert(ValidationFlags::VALUE_MISSING);
        }

        if validate_flags.contains(ValidationFlags::TYPE_MISMATCH) &&
            self.suffers_from_type_mismatch(&value)
        {
            failed_flags.insert(ValidationFlags::TYPE_MISMATCH);
        }

        if validate_flags.contains(ValidationFlags::PATTERN_MISMATCH) &&
            self.suffers_from_pattern_mismatch(cx, &value)
        {
            failed_flags.insert(ValidationFlags::PATTERN_MISMATCH);
        }

        if validate_flags.contains(ValidationFlags::BAD_INPUT) &&
            self.suffers_from_bad_input(&value)
        {
            failed_flags.insert(ValidationFlags::BAD_INPUT);
        }

        if validate_flags.intersects(ValidationFlags::TOO_LONG | ValidationFlags::TOO_SHORT) {
            failed_flags |= self.suffers_from_length_issues(&value);
        }

        if validate_flags.intersects(
            ValidationFlags::RANGE_UNDERFLOW |
                ValidationFlags::RANGE_OVERFLOW |
                ValidationFlags::STEP_MISMATCH,
        ) {
            failed_flags |= self.suffers_from_range_issues(&value);
        }

        failed_flags & validate_flags
    }
}

impl Activatable for HTMLInputElement {
    fn as_element(&self) -> &Element {
        self.upcast()
    }

    /// <https://html.spec.whatwg.org/multipage/#the-input-element:activation-behaviour>
    fn is_instance_activatable(&self) -> bool {
        // Step 1. If element is not mutable, and element's type attribute is
        // neither in the Checkbox nor in the Radio state, then return.
        match *self.input_type() {
            InputType::Checkbox(_) | InputType::Radio(_) => true,
            // https://html.spec.whatwg.org/multipage/#hidden-state-(type=hidden)
            // > The input element represents a value that is not intended
            // > to be examined or manipulated by the user.
            InputType::Hidden(_) => false,
            _ => self.is_mutable(),
        }
    }

    /// <https://dom.spec.whatwg.org/#eventtarget-legacy-pre-activation-behavior>
    fn legacy_pre_activation_behavior(&self, cx: &mut JSContext) -> Option<InputActivationState> {
        let activation_state = self
            .input_type()
            .as_specific()
            .legacy_pre_activation_behavior(cx, self);

        if activation_state.is_some() {
            self.value_changed(cx);
        }

        activation_state
    }

    /// <https://dom.spec.whatwg.org/#eventtarget-legacy-canceled-activation-behavior>
    fn legacy_canceled_activation_behavior(
        &self,
        cx: &mut JSContext,
        cache: Option<InputActivationState>,
    ) {
        // Step 1
        let ty = self.input_type();
        let cache = match cache {
            Some(cache) => {
                if (cache.was_radio && !matches!(*ty, InputType::Radio(_))) ||
                    (cache.was_checkbox && !matches!(*ty, InputType::Checkbox(_)))
                {
                    // Type changed, abandon ship
                    // https://www.w3.org/Bugs/Public/show_bug.cgi?id=27414
                    return;
                }
                cache
            },
            None => {
                return;
            },
        };

        // Step 2 and 3
        ty.as_specific()
            .legacy_canceled_activation_behavior(cx, self, cache);

        self.value_changed(cx);
    }

    /// <https://html.spec.whatwg.org/multipage/#the-input-element:activation-behaviour>
    fn activation_behavior(&self, cx: &mut JSContext, event: &Event, target: &EventTarget) {
        // Step 1. If element is not mutable, and element's type attribute is
        // neither in the Checkbox nor in the Radio state, then return.
        if !self.is_instance_activatable() {
            return;
        }

        // Step 2. Run element's input activation behavior, if any, and do nothing otherwise.
        let input_activation_type = {
            let input_type = self.input_type();
            InputActivationType::new_from_input_type(&input_type)
        };

        if let Some(input_activation_type) = input_activation_type {
            input_activation_type
                .as_specific()
                .activation_behavior(cx, self, event, target);
        }

        // Step 3. If element has a form owner and element's type attribute
        // is not in the Button state, then return.
        // TODO

        // Step 4. Run the popover target attribute activation behavior
        // given element and event's target.
        // TODO
    }
}

/// This is used to compile JS-compatible regex provided in pattern attribute
/// that matches only the entirety of string.
/// <https://html.spec.whatwg.org/multipage/#compiled-pattern-regular-expression>
fn compile_pattern(cx: &mut JSContext, pattern_str: &str, out_regex: MutableHandleObject) -> bool {
    // First check if pattern compiles...
    if check_js_regex_syntax(cx, pattern_str) {
        // ...and if it does make pattern that matches only the entirety of string
        let pattern_str = format!("^(?:{})$", pattern_str);
        let flags = RegExpFlags {
            flags_: RegExpFlag_UnicodeSets,
        };
        new_js_regex(cx, &pattern_str, flags, out_regex)
    } else {
        false
    }
}

#[expect(unsafe_code)]
/// Check if the pattern by itself is valid first, and not that it only becomes
/// valid once we add ^(?: and )$.
fn check_js_regex_syntax(cx: &mut JSContext, pattern: &str) -> bool {
    let pattern: Vec<u16> = pattern.encode_utf16().collect();
    rooted!(&in(cx) let mut exception = UndefinedValue());

    let valid = unsafe {
        CheckRegExpSyntax(
            cx,
            pattern.as_ptr(),
            pattern.len(),
            RegExpFlags {
                flags_: RegExpFlag_UnicodeSets,
            },
            exception.handle_mut(),
        )
    };

    if !valid {
        unsafe { JS_ClearPendingException(cx) };
        return false;
    }

    // TODO(cybai): report `exception` to devtools
    // exception will be `undefined` if the regex is valid
    exception.is_undefined()
}

#[expect(unsafe_code)]
fn new_js_regex(
    cx: &mut JSContext,
    pattern: &str,
    flags: RegExpFlags,
    mut out_regex: MutableHandleObject,
) -> bool {
    let pattern: Vec<u16> = pattern.encode_utf16().collect();
    out_regex.set(unsafe { NewUCRegExpObject(cx, pattern.as_ptr(), pattern.len(), flags) });

    if out_regex.is_null() {
        unsafe { JS_ClearPendingException(cx) };
        return false;
    }
    true
}

#[expect(unsafe_code)]
fn matches_js_regex(cx: &mut JSContext, regex_obj: HandleObject, value: &str) -> Result<bool, ()> {
    let mut value: Vec<u16> = value.encode_utf16().collect();

    let mut is_regex = false;
    assert!(unsafe { ObjectIsRegExp(cx, regex_obj, &mut is_regex) });
    assert!(is_regex);

    rooted!(&in(cx) let mut rval = UndefinedValue());
    let mut index = 0;

    let ok = unsafe {
        ExecuteRegExpNoStatics(
            cx,
            regex_obj,
            value.as_mut_ptr(),
            value.len(),
            &mut index,
            true,
            rval.handle_mut(),
        )
    };

    if ok {
        Ok(!rval.is_null())
    } else {
        unsafe { JS_ClearPendingException(cx) };
        Err(())
    }
}

/// When WebDriver asks the [`HTMLInputElement`] to do some asynchronous actions, such
/// as selecting files, this stores the details necessary to complete the response when
/// the action is complete.
#[derive(MallocSizeOf)]
pub(crate) struct PendingWebDriverResponse {
    /// An [`IpcSender`] to use to send the reply when the response is ready.
    response_sender: GenericSender<Result<bool, ErrorStatus>>,
    /// The number of files expected to be selected when the selection process is done.
    expected_file_count: usize,
}

impl PendingWebDriverResponse {
    pub(crate) fn finish(self, number_files_selected: usize) {
        if number_files_selected == self.expected_file_count {
            let _ = self.response_sender.send(Ok(false));
        } else {
            // If not all files are found the WebDriver specification says to return
            // the InvalidArgument error.
            let _ = self.response_sender.send(Err(ErrorStatus::InvalidArgument));
        }
    }
}