TestHTMLTokenizer.cpp 8.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236
  1. /*
  2. * Copyright (c) 2021, Max Wipfli <max.wipfli@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibTest/TestCase.h>
  7. #include <LibCore/File.h>
  8. #include <LibWeb/HTML/Parser/HTMLTokenizer.h>
  9. using Tokenizer = Web::HTML::HTMLTokenizer;
  10. using Token = Web::HTML::HTMLToken;
  11. #define BEGIN_ENUMERATION(tokens) \
  12. auto current_token = (tokens).begin(); \
  13. [[maybe_unused]] Token* last_token;
  14. #define END_ENUMERATION() \
  15. EXPECT(current_token.is_end());
  16. #define NEXT_TOKEN() \
  17. last_token = &*current_token; \
  18. ++current_token;
  19. #define EXPECT_START_TAG_TOKEN(_tag_name, start_column, end_column) \
  20. EXPECT_EQ(current_token->type(), Token::Type::StartTag); \
  21. EXPECT_EQ(current_token->tag_name(), #_tag_name); \
  22. EXPECT_EQ(current_token->start_position().column, start_column); \
  23. EXPECT_EQ(current_token->end_position().column, end_column); \
  24. NEXT_TOKEN();
  25. #define EXPECT_END_TAG_TOKEN(_tag_name, start_column, end_column) \
  26. EXPECT_EQ(current_token->type(), Token::Type::EndTag); \
  27. EXPECT_EQ(current_token->tag_name(), #_tag_name); \
  28. EXPECT_EQ(current_token->start_position().column, start_column); \
  29. EXPECT_EQ(current_token->end_position().column, end_column); \
  30. NEXT_TOKEN();
  31. #define EXPECT_END_OF_FILE_TOKEN() \
  32. EXPECT_EQ(current_token->type(), Token::Type::EndOfFile); \
  33. NEXT_TOKEN();
  34. #define EXPECT_CHARACTER_TOKEN(character) \
  35. EXPECT_EQ(current_token->type(), Token::Type::Character); \
  36. EXPECT_EQ(current_token->code_point(), (u32)(character)); \
  37. NEXT_TOKEN();
  38. #define EXPECT_CHARACTER_TOKENS(string) \
  39. for (auto c : #string##sv) { \
  40. EXPECT_CHARACTER_TOKEN(c); \
  41. }
  42. #define EXPECT_COMMENT_TOKEN() \
  43. EXPECT_EQ(current_token->type(), Token::Type::Comment); \
  44. NEXT_TOKEN();
  45. #define EXPECT_DOCTYPE_TOKEN() \
  46. EXPECT_EQ(current_token->type(), Token::Type::DOCTYPE); \
  47. NEXT_TOKEN();
  48. #define EXPECT_TAG_TOKEN_ATTRIBUTE(name, attribute_value, name_start_column, name_end_column, value_start_column, value_end_column) \
  49. VERIFY(last_token); \
  50. auto name##_attr = last_token->raw_attribute(#name##_fly_string); \
  51. VERIFY(name##_attr.has_value()); \
  52. EXPECT_EQ(name##_attr->value, attribute_value); \
  53. EXPECT_EQ(name##_attr->name_start_position.column, name_start_column); \
  54. EXPECT_EQ(name##_attr->name_end_position.column, name_end_column); \
  55. EXPECT_EQ(name##_attr->value_start_position.column, value_start_column); \
  56. EXPECT_EQ(name##_attr->value_end_position.column, value_end_column);
  57. #define EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(count) \
  58. VERIFY(last_token); \
  59. EXPECT_EQ(last_token->attribute_count(), (size_t)(count));
  60. static Vector<Token> run_tokenizer(StringView input)
  61. {
  62. Vector<Token> tokens;
  63. Tokenizer tokenizer { input, "UTF-8"sv };
  64. while (true) {
  65. auto maybe_token = tokenizer.next_token();
  66. if (!maybe_token.has_value())
  67. break;
  68. tokens.append(maybe_token.release_value());
  69. }
  70. return tokens;
  71. }
  72. // FIXME: It's not very nice to rely on the format of HTMLToken::to_string() to stay the same.
  73. static u32 hash_tokens(Vector<Token> const& tokens)
  74. {
  75. StringBuilder builder;
  76. for (auto& token : tokens)
  77. builder.append(token.to_string());
  78. return (u32)builder.string_view().hash();
  79. }
  80. TEST_CASE(empty)
  81. {
  82. auto tokens = run_tokenizer(""sv);
  83. BEGIN_ENUMERATION(tokens);
  84. EXPECT_END_OF_FILE_TOKEN();
  85. END_ENUMERATION();
  86. }
  87. TEST_CASE(basic)
  88. {
  89. auto tokens = run_tokenizer("<html><head></head><body></body></html>"sv);
  90. BEGIN_ENUMERATION(tokens);
  91. EXPECT_START_TAG_TOKEN(html, 1u, 5u);
  92. EXPECT_START_TAG_TOKEN(head, 7u, 11u);
  93. EXPECT_END_TAG_TOKEN(head, 14u, 18u);
  94. EXPECT_START_TAG_TOKEN(body, 20u, 24u);
  95. EXPECT_END_TAG_TOKEN(body, 27u, 31u);
  96. EXPECT_END_TAG_TOKEN(html, 34u, 38u);
  97. EXPECT_END_OF_FILE_TOKEN();
  98. END_ENUMERATION();
  99. }
  100. TEST_CASE(basic_with_text)
  101. {
  102. auto tokens = run_tokenizer("<p>This is some text.</p>"sv);
  103. BEGIN_ENUMERATION(tokens);
  104. EXPECT_START_TAG_TOKEN(p, 1u, 2u);
  105. EXPECT_CHARACTER_TOKENS(This is some text.);
  106. EXPECT_END_TAG_TOKEN(p, 23u, 24u);
  107. EXPECT_END_OF_FILE_TOKEN();
  108. END_ENUMERATION();
  109. }
  110. TEST_CASE(unquoted_attributes)
  111. {
  112. auto tokens = run_tokenizer("<p foo=bar>"sv);
  113. BEGIN_ENUMERATION(tokens);
  114. EXPECT_START_TAG_TOKEN(p, 1u, 10u);
  115. EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(1);
  116. EXPECT_TAG_TOKEN_ATTRIBUTE(foo, "bar", 3u, 6u, 7u, 10u);
  117. EXPECT_END_OF_FILE_TOKEN();
  118. END_ENUMERATION();
  119. }
  120. TEST_CASE(single_quoted_attributes)
  121. {
  122. auto tokens = run_tokenizer("<p foo='bar'>"sv);
  123. BEGIN_ENUMERATION(tokens);
  124. EXPECT_START_TAG_TOKEN(p, 1u, 12u);
  125. EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(1);
  126. EXPECT_TAG_TOKEN_ATTRIBUTE(foo, "bar", 3u, 6u, 7u, 12u);
  127. EXPECT_END_OF_FILE_TOKEN();
  128. END_ENUMERATION();
  129. }
  130. TEST_CASE(double_quoted_attributes)
  131. {
  132. auto tokens = run_tokenizer("<p foo=\"bar\">"sv);
  133. BEGIN_ENUMERATION(tokens);
  134. EXPECT_START_TAG_TOKEN(p, 1u, 12u);
  135. EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(1);
  136. EXPECT_TAG_TOKEN_ATTRIBUTE(foo, "bar", 3u, 6u, 7u, 12u);
  137. EXPECT_END_OF_FILE_TOKEN();
  138. END_ENUMERATION();
  139. }
  140. TEST_CASE(valueless_attribute)
  141. {
  142. auto tokens = run_tokenizer("<p foo>"sv);
  143. BEGIN_ENUMERATION(tokens);
  144. EXPECT_START_TAG_TOKEN(p, 1u, 6u);
  145. EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(1);
  146. EXPECT_TAG_TOKEN_ATTRIBUTE(foo, "", 3u, 6u, 0u, 0u);
  147. EXPECT_END_OF_FILE_TOKEN();
  148. END_ENUMERATION();
  149. }
  150. TEST_CASE(multiple_attributes)
  151. {
  152. auto tokens = run_tokenizer("<p foo=\"bar\" baz=foobar biz foo2=\"bar2\">"sv);
  153. BEGIN_ENUMERATION(tokens);
  154. EXPECT_START_TAG_TOKEN(p, 1u, 39u);
  155. EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(4);
  156. EXPECT_TAG_TOKEN_ATTRIBUTE(foo, "bar", 3u, 6u, 7u, 12u);
  157. EXPECT_TAG_TOKEN_ATTRIBUTE(baz, "foobar", 13u, 16u, 17u, 23u);
  158. EXPECT_TAG_TOKEN_ATTRIBUTE(biz, "", 24u, 27u, 0u, 0u);
  159. EXPECT_TAG_TOKEN_ATTRIBUTE(foo2, "bar2", 28u, 32u, 33u, 39u);
  160. EXPECT_END_OF_FILE_TOKEN();
  161. END_ENUMERATION();
  162. }
  163. TEST_CASE(character_reference_in_attribute)
  164. {
  165. auto tokens = run_tokenizer("<p foo=a&amp;b bar='a&#38;b' baz=\"a&#x26;b\">"sv);
  166. BEGIN_ENUMERATION(tokens);
  167. EXPECT_START_TAG_TOKEN(p, 1u, 43u);
  168. EXPECT_TAG_TOKEN_ATTRIBUTE_COUNT(3);
  169. EXPECT_TAG_TOKEN_ATTRIBUTE(foo, "a&b", 3u, 6u, 7u, 14u);
  170. EXPECT_TAG_TOKEN_ATTRIBUTE(bar, "a&b", 15u, 18u, 19u, 28u);
  171. EXPECT_TAG_TOKEN_ATTRIBUTE(baz, "a&b", 29u, 32u, 33u, 43u);
  172. EXPECT_END_OF_FILE_TOKEN();
  173. END_ENUMERATION();
  174. }
  175. TEST_CASE(comment)
  176. {
  177. auto tokens = run_tokenizer("<p><!-- This is a comment --></p>"sv);
  178. BEGIN_ENUMERATION(tokens);
  179. EXPECT_START_TAG_TOKEN(p, 1u, 2u);
  180. EXPECT_COMMENT_TOKEN();
  181. EXPECT_END_TAG_TOKEN(p, 31u, 32u);
  182. EXPECT_END_OF_FILE_TOKEN();
  183. END_ENUMERATION();
  184. }
  185. TEST_CASE(doctype)
  186. {
  187. auto tokens = run_tokenizer("<!DOCTYPE html><html></html>"sv);
  188. BEGIN_ENUMERATION(tokens);
  189. EXPECT_DOCTYPE_TOKEN();
  190. EXPECT_START_TAG_TOKEN(html, 16u, 20u);
  191. EXPECT_END_TAG_TOKEN(html, 23u, 27u);
  192. }
  193. // NOTE: This relies on the format of HTMLToken::to_string() staying the same.
  194. // If that changes, or something is added to the test HTML, the hash needs to be adjusted.
  195. TEST_CASE(regression)
  196. {
  197. StringView path = "tokenizer-test.html"sv;
  198. auto file = MUST(Core::File::open(path, Core::File::OpenMode::Read));
  199. auto file_size = MUST(file->size());
  200. auto content = MUST(ByteBuffer::create_uninitialized(file_size));
  201. MUST(file->read_until_filled(content.bytes()));
  202. ByteString file_contents { content.bytes() };
  203. auto tokens = run_tokenizer(file_contents);
  204. u32 hash = hash_tokens(tokens);
  205. EXPECT_EQ(hash, 3657343287u);
  206. }