/* * Copyright (c) 2020, Andreas Kling * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: * * 1. Redistributions of source code must retain the above copyright notice, this * list of conditions and the following disclaimer. * * 2. Redistributions in binary form must reproduce the above copyright notice, * this list of conditions and the following disclaimer in the documentation * and/or other materials provided with the distribution. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ #pragma once #include #include #include #include #include #include namespace Web::HTML { class HTMLToken { friend class HTMLDocumentParser; friend class HTMLTokenizer; public: enum class Type { Invalid, DOCTYPE, StartTag, EndTag, Comment, Character, EndOfFile, }; static HTMLToken make_character(u32 code_point) { HTMLToken token; token.m_type = Type::Character; token.m_comment_or_character.data.append(code_point); return token; } static HTMLToken make_start_tag(const FlyString& tag_name) { HTMLToken token; token.m_type = Type::StartTag; token.m_tag.tag_name.append(tag_name); return token; } bool is_doctype() const { return m_type == Type::DOCTYPE; } bool is_start_tag() const { return m_type == Type::StartTag; } bool is_end_tag() const { return m_type == Type::EndTag; } bool is_comment() const { return m_type == Type::Comment; } bool is_character() const { return m_type == Type::Character; } bool is_end_of_file() const { return m_type == Type::EndOfFile; } u32 code_point() const { VERIFY(is_character()); Utf8View view(m_comment_or_character.data.string_view()); VERIFY(view.length() == 1); return *view.begin(); } bool is_parser_whitespace() const { // NOTE: The parser considers '\r' to be whitespace, while the tokenizer does not. if (!is_character()) return false; switch (code_point()) { case '\t': case '\n': case '\f': case '\r': case ' ': return true; default: return false; } } String tag_name() const { VERIFY(is_start_tag() || is_end_tag()); return m_tag.tag_name.to_string(); } bool is_self_closing() const { VERIFY(is_start_tag() || is_end_tag()); return m_tag.self_closing; } bool has_acknowledged_self_closing_flag() const { VERIFY(is_self_closing()); return m_tag.self_closing_acknowledged; } void acknowledge_self_closing_flag_if_set() { if (is_self_closing()) m_tag.self_closing_acknowledged = true; } StringView attribute(const FlyString& attribute_name) { VERIFY(is_start_tag() || is_end_tag()); for (auto& attribute : m_tag.attributes) { if (attribute_name == attribute.local_name_builder.string_view()) return attribute.value_builder.string_view(); } return {}; } bool has_attribute(const FlyString& attribute_name) { return !attribute(attribute_name).is_null(); } void adjust_tag_name(const FlyString& old_name, const FlyString& new_name) { VERIFY(is_start_tag() || is_end_tag()); if (old_name == m_tag.tag_name.string_view()) { m_tag.tag_name.clear(); m_tag.tag_name.append(new_name); } } void adjust_attribute_name(const FlyString& old_name, const FlyString& new_name) { VERIFY(is_start_tag() || is_end_tag()); for (auto& attribute : m_tag.attributes) { if (old_name == attribute.local_name_builder.string_view()) { attribute.local_name_builder.clear(); attribute.local_name_builder.append(new_name); } } } void adjust_foreign_attribute(const FlyString& old_name, const FlyString& prefix, const FlyString& local_name, const FlyString& namespace_) { VERIFY(is_start_tag() || is_end_tag()); for (auto& attribute : m_tag.attributes) { if (old_name == attribute.local_name_builder.string_view()) { attribute.prefix_builder.clear(); attribute.prefix_builder.append(prefix); attribute.local_name_builder.clear(); attribute.local_name_builder.append(local_name); attribute.namespace_builder.clear(); attribute.namespace_builder.append(namespace_); } } } void drop_attributes() { VERIFY(is_start_tag() || is_end_tag()); m_tag.attributes.clear(); } Type type() const { return m_type; } String to_string() const; private: struct AttributeBuilder { StringBuilder prefix_builder; StringBuilder local_name_builder; StringBuilder namespace_builder; StringBuilder value_builder; }; Type m_type { Type::Invalid }; // Type::DOCTYPE struct { // NOTE: "Missing" is a distinct state from the empty string. StringBuilder name; bool missing_name { true }; StringBuilder public_identifier; bool missing_public_identifier { true }; StringBuilder system_identifier; bool missing_system_identifier { true }; bool force_quirks { false }; } m_doctype; // Type::StartTag // Type::EndTag struct { StringBuilder tag_name; bool self_closing { false }; bool self_closing_acknowledged { false }; Vector attributes; } m_tag; // Type::Comment // Type::Character struct { StringBuilder data; } m_comment_or_character; }; }