
While we're still supporting both the old and the new parser, we have to deal with the way they load inline stylesheet (and scripts) a bit differently. The old parser loads all the text content up front, and then notifies the containing element. The new parser creates the containing element up front and appends text inside it afterwards. For now, we simply do an empty "children_changed" notification when first inserting a text node inside an element. This at least prevents the CSS parser from choking on a single-character stylesheet.
915 lines
29 KiB
C++
915 lines
29 KiB
C++
/*
|
|
* Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
|
|
* 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.
|
|
*/
|
|
|
|
#define PARSER_DEBUG
|
|
|
|
#include <AK/Utf32View.h>
|
|
#include <LibWeb/DOM/Comment.h>
|
|
#include <LibWeb/DOM/Document.h>
|
|
#include <LibWeb/DOM/DocumentType.h>
|
|
#include <LibWeb/DOM/ElementFactory.h>
|
|
#include <LibWeb/DOM/Event.h>
|
|
#include <LibWeb/DOM/HTMLFormElement.h>
|
|
#include <LibWeb/DOM/HTMLHeadElement.h>
|
|
#include <LibWeb/DOM/HTMLScriptElement.h>
|
|
#include <LibWeb/DOM/Text.h>
|
|
#include <LibWeb/Parser/HTMLDocumentParser.h>
|
|
#include <LibWeb/Parser/HTMLToken.h>
|
|
|
|
#define TODO() \
|
|
do { \
|
|
ASSERT_NOT_REACHED(); \
|
|
} while (0)
|
|
|
|
#define PARSE_ERROR() \
|
|
do { \
|
|
dbg() << "Parse error!"; \
|
|
} while (0)
|
|
|
|
namespace Web {
|
|
|
|
HTMLDocumentParser::HTMLDocumentParser(const StringView& input)
|
|
: m_tokenizer(input)
|
|
{
|
|
}
|
|
|
|
HTMLDocumentParser::~HTMLDocumentParser()
|
|
{
|
|
}
|
|
|
|
void HTMLDocumentParser::run(const URL& url)
|
|
{
|
|
m_document = adopt(*new Document);
|
|
m_document->set_url(url);
|
|
|
|
for (;;) {
|
|
auto optional_token = m_tokenizer.next_token();
|
|
if (!optional_token.has_value())
|
|
break;
|
|
auto& token = optional_token.value();
|
|
|
|
#ifdef PARSER_DEBUG
|
|
dbg() << "[" << insertion_mode_name() << "] " << token.to_string();
|
|
#endif
|
|
process_using_the_rules_for(m_insertion_mode, token);
|
|
}
|
|
|
|
// "The end"
|
|
|
|
m_document->dispatch_event(Event::create("DOMContentLoaded"));
|
|
}
|
|
|
|
void HTMLDocumentParser::process_using_the_rules_for(InsertionMode mode, HTMLToken& token)
|
|
{
|
|
switch (mode) {
|
|
case InsertionMode::Initial:
|
|
handle_initial(token);
|
|
break;
|
|
case InsertionMode::BeforeHTML:
|
|
handle_before_html(token);
|
|
break;
|
|
case InsertionMode::BeforeHead:
|
|
handle_before_head(token);
|
|
break;
|
|
case InsertionMode::InHead:
|
|
handle_in_head(token);
|
|
break;
|
|
case InsertionMode::InHeadNoscript:
|
|
handle_in_head_noscript(token);
|
|
break;
|
|
case InsertionMode::AfterHead:
|
|
handle_after_head(token);
|
|
break;
|
|
case InsertionMode::InBody:
|
|
handle_in_body(token);
|
|
break;
|
|
case InsertionMode::AfterBody:
|
|
handle_after_body(token);
|
|
break;
|
|
case InsertionMode::AfterAfterBody:
|
|
handle_after_after_body(token);
|
|
break;
|
|
case InsertionMode::Text:
|
|
handle_text(token);
|
|
break;
|
|
case InsertionMode::InTable:
|
|
handle_in_table(token);
|
|
break;
|
|
default:
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_initial(HTMLToken& token)
|
|
{
|
|
if (token.is_character() && token.is_parser_whitespace()) {
|
|
return;
|
|
}
|
|
|
|
if (token.is_comment()) {
|
|
auto comment = adopt(*new Comment(document(), token.m_comment_or_character.data.to_string()));
|
|
document().append_child(move(comment));
|
|
return;
|
|
}
|
|
|
|
if (token.is_doctype()) {
|
|
auto doctype = adopt(*new DocumentType(document()));
|
|
doctype->set_name(token.m_doctype.name.to_string());
|
|
document().append_child(move(doctype));
|
|
m_insertion_mode = InsertionMode::BeforeHTML;
|
|
return;
|
|
}
|
|
|
|
PARSE_ERROR();
|
|
document().set_quirks_mode(true);
|
|
m_insertion_mode = InsertionMode::BeforeHTML;
|
|
process_using_the_rules_for(InsertionMode::BeforeHTML, token);
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_before_html(HTMLToken& token)
|
|
{
|
|
if (token.is_doctype()) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
if (token.is_comment()) {
|
|
auto comment = adopt(*new Comment(document(), token.m_comment_or_character.data.to_string()));
|
|
document().append_child(move(comment));
|
|
return;
|
|
}
|
|
|
|
if (token.is_character() && token.is_parser_whitespace()) {
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "html") {
|
|
auto element = create_element_for(token);
|
|
document().append_child(element);
|
|
m_stack_of_open_elements.push(move(element));
|
|
m_insertion_mode = InsertionMode::BeforeHead;
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name().is_one_of("head", "body", "html", "br")) {
|
|
goto AnythingElse;
|
|
}
|
|
|
|
if (token.is_end_tag()) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
AnythingElse:
|
|
auto element = create_element(document(), "html");
|
|
m_stack_of_open_elements.push(element);
|
|
// FIXME: If the Document is being loaded as part of navigation of a browsing context, then: run the application cache selection algorithm with no manifest, passing it the Document object.
|
|
m_insertion_mode = InsertionMode::BeforeHead;
|
|
process_using_the_rules_for(InsertionMode::BeforeHead, token);
|
|
return;
|
|
}
|
|
|
|
Element& HTMLDocumentParser::current_node()
|
|
{
|
|
return m_stack_of_open_elements.current_node();
|
|
}
|
|
|
|
RefPtr<Node> HTMLDocumentParser::find_appropriate_place_for_inserting_node()
|
|
{
|
|
auto& target = current_node();
|
|
if (m_foster_parenting) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
return target;
|
|
}
|
|
|
|
NonnullRefPtr<Element> HTMLDocumentParser::create_element_for(HTMLToken& token)
|
|
{
|
|
auto element = create_element(document(), token.tag_name());
|
|
for (auto& attribute : token.m_tag.attributes) {
|
|
element->set_attribute(attribute.name_builder.to_string(), attribute.value_builder.to_string());
|
|
}
|
|
return element;
|
|
}
|
|
|
|
RefPtr<Element> HTMLDocumentParser::insert_html_element(HTMLToken& token)
|
|
{
|
|
auto adjusted_insertion_location = find_appropriate_place_for_inserting_node();
|
|
auto element = create_element_for(token);
|
|
// FIXME: Check if it's possible to insert `element` at `adjusted_insertion_location`
|
|
adjusted_insertion_location->append_child(element);
|
|
m_stack_of_open_elements.push(element);
|
|
return element;
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_before_head(HTMLToken& token)
|
|
{
|
|
if (token.is_character() && token.is_parser_whitespace()) {
|
|
return;
|
|
}
|
|
|
|
if (token.is_comment()) {
|
|
insert_comment(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_doctype()) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "html") {
|
|
process_using_the_rules_for(InsertionMode::InBody, token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "head") {
|
|
auto element = insert_html_element(token);
|
|
m_head_element = to<HTMLHeadElement>(element);
|
|
m_insertion_mode = InsertionMode::InHead;
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name().is_one_of("head", "body", "html", "br")) {
|
|
goto AnythingElse;
|
|
}
|
|
|
|
if (token.is_end_tag()) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
AnythingElse:
|
|
HTMLToken fake_head_token;
|
|
fake_head_token.m_type = HTMLToken::Type::StartTag;
|
|
fake_head_token.m_tag.tag_name.append("head");
|
|
m_head_element = to<HTMLHeadElement>(insert_html_element(fake_head_token));
|
|
m_insertion_mode = InsertionMode::InHead;
|
|
process_using_the_rules_for(InsertionMode::InHead, token);
|
|
return;
|
|
}
|
|
|
|
void HTMLDocumentParser::insert_comment(HTMLToken& token)
|
|
{
|
|
auto data = token.m_comment_or_character.data.to_string();
|
|
auto adjusted_insertion_location = find_appropriate_place_for_inserting_node();
|
|
adjusted_insertion_location->append_child(adopt(*new Comment(document(), data)));
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_in_head(HTMLToken& token)
|
|
{
|
|
if (token.is_parser_whitespace()) {
|
|
insert_character(token.codepoint());
|
|
return;
|
|
}
|
|
|
|
if (token.is_comment()) {
|
|
insert_comment(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_doctype()) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "html") {
|
|
process_using_the_rules_for(InsertionMode::InBody, token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("base", "basefont", "bgsound", "link")) {
|
|
insert_html_element(token);
|
|
m_stack_of_open_elements.pop();
|
|
token.acknowledge_self_closing_flag_if_set();
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "title") {
|
|
insert_html_element(token);
|
|
m_tokenizer.switch_to({}, HTMLTokenizer::State::RCDATA);
|
|
m_original_insertion_mode = m_insertion_mode;
|
|
m_insertion_mode = InsertionMode::Text;
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && ((token.tag_name() == "noscript" && m_scripting_enabled) || token.tag_name() == "noframes" || token.tag_name() == "style")) {
|
|
parse_generic_raw_text_element(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "script") {
|
|
auto adjusted_insertion_location = find_appropriate_place_for_inserting_node();
|
|
auto element = create_element_for(token);
|
|
auto& script_element = to<HTMLScriptElement>(*element);
|
|
script_element.set_parser_document({}, document());
|
|
script_element.set_non_blocking({}, false);
|
|
|
|
if (m_parsing_fragment) {
|
|
TODO();
|
|
}
|
|
|
|
if (m_invoked_via_document_write) {
|
|
TODO();
|
|
}
|
|
|
|
adjusted_insertion_location->append_child(element, false);
|
|
m_stack_of_open_elements.push(element);
|
|
m_tokenizer.switch_to({}, HTMLTokenizer::State::ScriptData);
|
|
m_original_insertion_mode = m_insertion_mode;
|
|
m_insertion_mode = InsertionMode::Text;
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "meta") {
|
|
auto element = insert_html_element(token);
|
|
m_stack_of_open_elements.pop();
|
|
token.acknowledge_self_closing_flag_if_set();
|
|
return;
|
|
}
|
|
if (token.is_end_tag() && token.tag_name() == "head") {
|
|
m_stack_of_open_elements.pop();
|
|
m_insertion_mode = InsertionMode::AfterHead;
|
|
return;
|
|
}
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_in_head_noscript(HTMLToken&)
|
|
{
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
void HTMLDocumentParser::parse_generic_raw_text_element(HTMLToken& token)
|
|
{
|
|
insert_html_element(token);
|
|
m_tokenizer.switch_to({}, HTMLTokenizer::State::RAWTEXT);
|
|
m_original_insertion_mode = m_insertion_mode;
|
|
m_insertion_mode = InsertionMode::Text;
|
|
}
|
|
|
|
void HTMLDocumentParser::insert_character(u32 data)
|
|
{
|
|
auto adjusted_insertion_location = find_appropriate_place_for_inserting_node();
|
|
if (adjusted_insertion_location->is_document())
|
|
return;
|
|
if (adjusted_insertion_location->last_child() && adjusted_insertion_location->last_child()->is_text()) {
|
|
auto& existing_text_node = to<Text>(*adjusted_insertion_location->last_child());
|
|
StringBuilder builder;
|
|
builder.append(existing_text_node.data());
|
|
builder.append(Utf32View { &data, 1 });
|
|
existing_text_node.set_data(builder.to_string());
|
|
return;
|
|
}
|
|
auto new_text_node = adopt(*new Text(document(), ""));
|
|
adjusted_insertion_location->append_child(new_text_node);
|
|
StringBuilder builder;
|
|
builder.append(Utf32View { &data, 1 });
|
|
new_text_node->set_data(builder.to_string());
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_after_head(HTMLToken& token)
|
|
{
|
|
if (token.is_character()) {
|
|
if (token.is_parser_whitespace()) {
|
|
insert_character(token.codepoint());
|
|
return;
|
|
}
|
|
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_comment()) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_doctype()) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "html") {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "body") {
|
|
insert_html_element(token);
|
|
m_frameset_ok = false;
|
|
m_insertion_mode = InsertionMode::InBody;
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "frameset") {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("base", "basefont", "bgsound", "link", "meta", "noframes", "script", "style", "template", "title")) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name() == "template") {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name().is_one_of("body", "html", "br")) {
|
|
goto AnythingElse;
|
|
}
|
|
|
|
if ((token.is_start_tag() && token.tag_name() == "head") || token.is_end_tag()) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
AnythingElse:
|
|
HTMLToken fake_body_token;
|
|
fake_body_token.m_type = HTMLToken::Type::StartTag;
|
|
fake_body_token.m_tag.tag_name.append("body");
|
|
insert_html_element(fake_body_token);
|
|
m_insertion_mode = InsertionMode::InBody;
|
|
// FIXME: Reprocess the current token in InBody!
|
|
}
|
|
|
|
void HTMLDocumentParser::generate_implied_end_tags(const FlyString& exception)
|
|
{
|
|
while (current_node().tag_name() != exception && current_node().tag_name().is_one_of("dd", "dt", "li", "optgroup", "option", "p", "rb", "rp", "rt", "rtc"))
|
|
m_stack_of_open_elements.pop();
|
|
}
|
|
|
|
void HTMLDocumentParser::close_a_p_element()
|
|
{
|
|
generate_implied_end_tags("p");
|
|
if (current_node().tag_name() != "p") {
|
|
PARSE_ERROR();
|
|
}
|
|
for (;;) {
|
|
auto popped_element = m_stack_of_open_elements.pop();
|
|
if (popped_element->tag_name() == "p")
|
|
break;
|
|
}
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_after_body(HTMLToken& token)
|
|
{
|
|
if (token.is_character() && token.is_parser_whitespace()) {
|
|
process_using_the_rules_for(InsertionMode::InBody, token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name() == "html") {
|
|
if (m_parsing_fragment) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
m_insertion_mode = InsertionMode::AfterAfterBody;
|
|
return;
|
|
}
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_after_after_body(HTMLToken& token)
|
|
{
|
|
if (token.is_doctype() || token.is_parser_whitespace() || (token.is_start_tag() && token.tag_name() == "html")) {
|
|
process_using_the_rules_for(InsertionMode::InBody, token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_of_file()) {
|
|
dbg() << "Stop parsing! :^)";
|
|
return;
|
|
}
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
void HTMLDocumentParser::reconstruct_the_active_formatting_elements()
|
|
{
|
|
// FIXME: This needs to care about "markers"
|
|
|
|
if (m_list_of_active_formatting_elements.is_empty())
|
|
return;
|
|
|
|
if (m_stack_of_open_elements.contains(*m_list_of_active_formatting_elements.entries().last().element))
|
|
return;
|
|
|
|
ssize_t index = m_list_of_active_formatting_elements.entries().size() - 1;
|
|
RefPtr<Element> entry = m_list_of_active_formatting_elements.entries().at(index).element;
|
|
ASSERT(entry);
|
|
|
|
Rewind:
|
|
if (index == 0) {
|
|
goto Create;
|
|
}
|
|
|
|
--index;
|
|
entry = m_list_of_active_formatting_elements.entries().at(index).element;
|
|
ASSERT(entry);
|
|
|
|
if (!m_stack_of_open_elements.contains(*entry))
|
|
goto Rewind;
|
|
|
|
Advance:
|
|
++index;
|
|
entry = m_list_of_active_formatting_elements.entries().at(index).element;
|
|
ASSERT(entry);
|
|
|
|
Create:
|
|
// FIXME: Hold on to the real token!
|
|
HTMLToken fake_token;
|
|
fake_token.m_type = HTMLToken::Type::StartTag;
|
|
fake_token.m_tag.tag_name.append(entry->tag_name());
|
|
auto new_element = insert_html_element(fake_token);
|
|
|
|
m_list_of_active_formatting_elements.entries().at(index).element = *new_element;
|
|
|
|
if (index != (ssize_t)m_list_of_active_formatting_elements.entries().size() - 1)
|
|
goto Advance;
|
|
}
|
|
|
|
void HTMLDocumentParser::run_the_adoption_agency_algorithm(HTMLToken& token)
|
|
{
|
|
auto subject = token.tag_name();
|
|
|
|
// If the current node is an HTML element whose tag name is subject,
|
|
// and the current node is not in the list of active formatting elements,
|
|
// then pop the current node off the stack of open elements, and return.
|
|
if (current_node().tag_name() == subject && !m_list_of_active_formatting_elements.contains(current_node())) {
|
|
m_stack_of_open_elements.pop();
|
|
return;
|
|
}
|
|
|
|
size_t outer_loop_counter = 0;
|
|
|
|
//OuterLoop:
|
|
if (outer_loop_counter >= 8)
|
|
return;
|
|
|
|
++outer_loop_counter;
|
|
|
|
auto formatting_element = m_list_of_active_formatting_elements.last_element_with_tag_name_before_marker(subject);
|
|
if (!formatting_element) {
|
|
// FIXME: If there is no such element, then return and instead act as
|
|
// described in the "any other end tag" entry above.
|
|
TODO();
|
|
}
|
|
|
|
if (!m_stack_of_open_elements.contains(*formatting_element)) {
|
|
PARSE_ERROR();
|
|
// FIXME: If formatting element is not in the stack of open elements,
|
|
// then this is a parse error; remove the element from the list, and return.
|
|
TODO();
|
|
}
|
|
|
|
if (!m_stack_of_open_elements.has_in_scope(*formatting_element)) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
if (formatting_element != ¤t_node()) {
|
|
PARSE_ERROR();
|
|
}
|
|
|
|
// FIXME: Let furthest block be the topmost node in the stack of open elements
|
|
// that is lower in the stack than formatting element, and is an element
|
|
// in the special category. There might not be one.
|
|
RefPtr<Element> furthest_block = nullptr;
|
|
|
|
if (!furthest_block) {
|
|
while (¤t_node() != formatting_element)
|
|
m_stack_of_open_elements.pop();
|
|
m_stack_of_open_elements.pop();
|
|
|
|
m_list_of_active_formatting_elements.remove(*formatting_element);
|
|
return;
|
|
}
|
|
|
|
// FIXME: Implement the rest of the AAA :^)
|
|
|
|
TODO();
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_in_body(HTMLToken& token)
|
|
{
|
|
if (token.is_character()) {
|
|
if (token.codepoint() == 0) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
if (token.is_parser_whitespace()) {
|
|
reconstruct_the_active_formatting_elements();
|
|
insert_character(token.codepoint());
|
|
return;
|
|
}
|
|
reconstruct_the_active_formatting_elements();
|
|
insert_character(token.codepoint());
|
|
m_frameset_ok = false;
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name() == "body") {
|
|
if (!m_stack_of_open_elements.has_in_scope("body")) {
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
// FIXME: Otherwise, if there is a node in the stack of open elements that is
|
|
// not either a dd element, a dt element, an li element, an optgroup element,
|
|
// an option element, a p element, an rb element, an rp element, an rt element,
|
|
// an rtc element, a tbody element, a td element, a tfoot element, a th element,
|
|
// a thead element, a tr element, the body element, or the html element,
|
|
// then this is a parse error.
|
|
|
|
m_insertion_mode = InsertionMode::AfterBody;
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("h1", "h2", "h3", "h4", "h5", "h6")) {
|
|
if (m_stack_of_open_elements.has_in_button_scope("p"))
|
|
close_a_p_element();
|
|
if (current_node().tag_name().is_one_of("h1", "h2", "h3", "h4", "h5", "h6")) {
|
|
PARSE_ERROR();
|
|
m_stack_of_open_elements.pop();
|
|
}
|
|
insert_html_element(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name().is_one_of("h1", "h2", "h3", "h4", "h5", "h6")) {
|
|
if (!m_stack_of_open_elements.has_in_scope("h1")
|
|
&& !m_stack_of_open_elements.has_in_scope("h2")
|
|
&& !m_stack_of_open_elements.has_in_scope("h3")
|
|
&& !m_stack_of_open_elements.has_in_scope("h4")
|
|
&& !m_stack_of_open_elements.has_in_scope("h5")
|
|
&& !m_stack_of_open_elements.has_in_scope("h6")) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
generate_implied_end_tags();
|
|
if (current_node().tag_name() != token.tag_name()) {
|
|
PARSE_ERROR();
|
|
}
|
|
|
|
for (;;) {
|
|
auto popped_element = m_stack_of_open_elements.pop();
|
|
if (popped_element->tag_name().is_one_of("h1", "h2", "h3", "h4", "h5", "h6"))
|
|
break;
|
|
}
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name() == "p") {
|
|
if (!m_stack_of_open_elements.has_in_button_scope("p")) {
|
|
TODO();
|
|
}
|
|
close_a_p_element();
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("b", "big", "code", "em", "font", "i", "s", "small", "strike", "strong", "tt", "u")) {
|
|
reconstruct_the_active_formatting_elements();
|
|
auto element = insert_html_element(token);
|
|
m_list_of_active_formatting_elements.add(*element);
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name().is_one_of("a", "b", "big", "code", "em", "font", "i", "nobr", "s", "small", "strike", "strong", "tt", "u")) {
|
|
run_the_adoption_agency_algorithm(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("address", "article", "aside", "blockquote", "center", "details", "dialog", "dir", "div", "dl", "fieldset", "figcaption", "figure", "footer", "header", "hgroup", "main", "menu", "nav", "ol", "p", "section", "summary", "ul")) {
|
|
if (m_stack_of_open_elements.has_in_button_scope("p"))
|
|
close_a_p_element();
|
|
insert_html_element(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag() && token.tag_name().is_one_of("address", "article", "aside", "blockquote", "center", "details", "dialog", "dir", "div", "dl", "fieldset", "figcaption", "figure", "footer", "header", "hgroup", "main", "menu", "nav", "ol", "p", "section", "summary", "ul")) {
|
|
if (m_stack_of_open_elements.has_in_button_scope("p"))
|
|
close_a_p_element();
|
|
|
|
if (!m_stack_of_open_elements.has_in_scope(token.tag_name())) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
|
|
generate_implied_end_tags();
|
|
|
|
if (current_node().tag_name() != token.tag_name()) {
|
|
PARSE_ERROR();
|
|
}
|
|
|
|
m_stack_of_open_elements.pop();
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag() && token.tag_name() == "table") {
|
|
// FIXME: If the Document is not set to quirks mode,
|
|
// and the stack of open elements has a p element in button scope, then close a p element.
|
|
|
|
insert_html_element(token);
|
|
m_frameset_ok = false;
|
|
m_insertion_mode = InsertionMode::InTable;
|
|
return;
|
|
}
|
|
|
|
if (token.is_start_tag()) {
|
|
reconstruct_the_active_formatting_elements();
|
|
insert_html_element(token);
|
|
return;
|
|
}
|
|
|
|
if (token.is_end_tag()) {
|
|
RefPtr<Element> node;
|
|
for (ssize_t i = m_stack_of_open_elements.elements().size() - 1; i >= 0; --i) {
|
|
node = m_stack_of_open_elements.elements()[i];
|
|
if (node->tag_name() == token.tag_name()) {
|
|
generate_implied_end_tags(token.tag_name());
|
|
if (node != current_node()) {
|
|
PARSE_ERROR();
|
|
}
|
|
while (¤t_node() != node) {
|
|
m_stack_of_open_elements.pop();
|
|
}
|
|
m_stack_of_open_elements.pop();
|
|
break;
|
|
}
|
|
// FIXME: Handle special elements!
|
|
}
|
|
return;
|
|
}
|
|
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
void HTMLDocumentParser::increment_script_nesting_level()
|
|
{
|
|
++m_script_nesting_level;
|
|
}
|
|
|
|
void HTMLDocumentParser::decrement_script_nesting_level()
|
|
{
|
|
ASSERT(m_script_nesting_level);
|
|
--m_script_nesting_level;
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_text(HTMLToken& token)
|
|
{
|
|
if (token.is_character()) {
|
|
insert_character(token.codepoint());
|
|
return;
|
|
}
|
|
if (token.is_end_tag() && token.tag_name() == "script") {
|
|
NonnullRefPtr<HTMLScriptElement> script = to<HTMLScriptElement>(current_node());
|
|
m_stack_of_open_elements.pop();
|
|
m_insertion_mode = m_original_insertion_mode;
|
|
// FIXME: Handle tokenizer insertion point stuff here.
|
|
increment_script_nesting_level();
|
|
script->prepare_script({});
|
|
decrement_script_nesting_level();
|
|
if (script_nesting_level() == 0)
|
|
m_parser_pause_flag = false;
|
|
// FIXME: Handle tokenizer insertion point stuff here too.
|
|
|
|
while (document().pending_parsing_blocking_script()) {
|
|
if (script_nesting_level() != 0) {
|
|
m_parser_pause_flag = true;
|
|
// FIXME: Abort the processing of any nested invocations of the tokenizer,
|
|
// yielding control back to the caller. (Tokenization will resume when
|
|
// the caller returns to the "outer" tree construction stage.)
|
|
TODO();
|
|
} else {
|
|
auto the_script = document().take_pending_parsing_blocking_script({});
|
|
m_tokenizer.set_blocked(true);
|
|
|
|
// FIXME: If the parser's Document has a style sheet that is blocking scripts
|
|
// or the script's "ready to be parser-executed" flag is not set:
|
|
// spin the event loop until the parser's Document has no style sheet
|
|
// that is blocking scripts and the script's "ready to be parser-executed"
|
|
// flag is set.
|
|
|
|
ASSERT(the_script->is_ready_to_be_parser_executed());
|
|
|
|
if (m_aborted)
|
|
return;
|
|
|
|
m_tokenizer.set_blocked(false);
|
|
|
|
// FIXME: Handle tokenizer insertion point stuff here too.
|
|
|
|
ASSERT(script_nesting_level() == 0);
|
|
increment_script_nesting_level();
|
|
|
|
the_script->execute_script();
|
|
|
|
decrement_script_nesting_level();
|
|
ASSERT(script_nesting_level() == 0);
|
|
m_parser_pause_flag = false;
|
|
|
|
// FIXME: Handle tokenizer insertion point stuff here too.
|
|
}
|
|
}
|
|
return;
|
|
}
|
|
|
|
// FIXME: This is a bit hackish, we can simplify this once we don't need to support
|
|
// the old parser anymore, since then we don't need to maintain its children_changed() semantics.
|
|
if (token.is_end_tag() && token.tag_name() == "style") {
|
|
current_node().children_changed();
|
|
// NOTE: We don't return here, keep going.
|
|
}
|
|
|
|
if (token.is_end_tag()) {
|
|
m_stack_of_open_elements.pop();
|
|
m_insertion_mode = m_original_insertion_mode;
|
|
return;
|
|
}
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
void HTMLDocumentParser::handle_in_table(HTMLToken& token)
|
|
{
|
|
if (token.is_character() && current_node().tag_name().is_one_of("table", "tbody", "tfoot", "thead", "tr")) {
|
|
TODO();
|
|
}
|
|
if (token.is_comment()) {
|
|
insert_comment(token);
|
|
return;
|
|
}
|
|
if (token.is_doctype()) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
if (token.is_start_tag() && token.tag_name() == "caption") {
|
|
TODO();
|
|
}
|
|
if (token.is_start_tag() && token.tag_name() == "colgroup") {
|
|
TODO();
|
|
}
|
|
if (token.is_start_tag() && token.tag_name() == "col") {
|
|
TODO();
|
|
}
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("tbody", "tfoot", "thead")) {
|
|
TODO();
|
|
}
|
|
if (token.is_start_tag() && token.tag_name().is_one_of("td", "th", "tr")) {
|
|
TODO();
|
|
}
|
|
if (token.is_start_tag() && token.tag_name() == "table") {
|
|
PARSE_ERROR();
|
|
TODO();
|
|
}
|
|
if (token.is_end_tag()) {
|
|
if (!m_stack_of_open_elements.has_in_table_scope("table")) {
|
|
PARSE_ERROR();
|
|
return;
|
|
}
|
|
while (current_node().tag_name() != "table")
|
|
m_stack_of_open_elements.pop();
|
|
m_stack_of_open_elements.pop();
|
|
|
|
reset_the_insertion_mode_appropriately();
|
|
return;
|
|
}
|
|
TODO();
|
|
}
|
|
|
|
void HTMLDocumentParser::reset_the_insertion_mode_appropriately()
|
|
{
|
|
TODO();
|
|
}
|
|
|
|
const char* HTMLDocumentParser::insertion_mode_name() const
|
|
{
|
|
switch (m_insertion_mode) {
|
|
#define __ENUMERATE_INSERTION_MODE(mode) \
|
|
case InsertionMode::mode: \
|
|
return #mode;
|
|
ENUMERATE_INSERTION_MODES
|
|
#undef __ENUMERATE_INSERTION_MODE
|
|
}
|
|
ASSERT_NOT_REACHED();
|
|
}
|
|
|
|
Document& HTMLDocumentParser::document()
|
|
{
|
|
return *m_document;
|
|
}
|
|
}
|