Parser.cpp 58 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787
  1. /*
  2. * Copyright (c) 2022, Ali Mohammad Pur <mpfard@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibXML/DOM/Document.h>
  7. #include <LibXML/Parser/Parser.h>
  8. struct Range {
  9. consteval Range(u32 start, u32 end)
  10. : start(start)
  11. , end(end)
  12. {
  13. }
  14. u32 start;
  15. u32 end;
  16. };
  17. template<auto... ranges>
  18. struct ranges_for_search {
  19. auto contains(u32 value) const
  20. {
  21. return ((value >= ranges.start && value <= ranges.end) || ...);
  22. }
  23. bool operator()(u32 value) const
  24. {
  25. return contains(value);
  26. }
  27. template<auto... ranges_to_include>
  28. consteval auto with() const
  29. {
  30. return ranges_for_search<ranges..., ranges_to_include...>();
  31. }
  32. template<auto... ranges_to_include>
  33. consteval auto unify(ranges_for_search<ranges_to_include...> const&) const
  34. {
  35. return ranges_for_search<ranges..., ranges_to_include...>();
  36. }
  37. };
  38. template<size_t Count, typename Element>
  39. struct StringSet {
  40. consteval StringSet(Element const (&entries)[Count])
  41. {
  42. for (size_t i = 0; i < Count - 1; ++i)
  43. elements[i] = entries[i];
  44. }
  45. consteval auto operator[](size_t i) const { return elements[i]; }
  46. Element elements[Count - 1];
  47. };
  48. template<StringSet chars>
  49. consteval static auto set_to_search()
  50. {
  51. return ([&]<auto... Ix>(IndexSequence<Ix...>) {
  52. return ranges_for_search<Range(chars[Ix], chars[Ix])...>();
  53. }(MakeIndexSequence<array_size(chars.elements)>()));
  54. }
  55. namespace XML {
  56. size_t Parser::s_debug_indent_level { 0 };
  57. void Parser::append_node(NonnullOwnPtr<Node> node)
  58. {
  59. if (m_entered_node) {
  60. auto& entered_element = m_entered_node->content.get<Node::Element>();
  61. entered_element.children.append(move(node));
  62. enter_node(*entered_element.children.last());
  63. } else {
  64. m_root_node = move(node);
  65. enter_node(*m_root_node);
  66. }
  67. }
  68. void Parser::append_text(StringView text, LineTrackingLexer::Position position)
  69. {
  70. if (m_listener) {
  71. m_listener->text(text);
  72. return;
  73. }
  74. if (!m_entered_node) {
  75. Node::Text node;
  76. node.builder.append(text);
  77. m_root_node = make<Node>(position, move(node));
  78. return;
  79. }
  80. m_entered_node->content.visit(
  81. [&](Node::Element& node) {
  82. if (!node.children.is_empty()) {
  83. auto* text_node = node.children.last()->content.get_pointer<Node::Text>();
  84. if (text_node) {
  85. text_node->builder.append(text);
  86. return;
  87. }
  88. }
  89. Node::Text text_node;
  90. text_node.builder.append(text);
  91. node.children.append(make<Node>(position, move(text_node), m_entered_node));
  92. },
  93. [&](auto&) {
  94. // Can't enter a text or comment node.
  95. VERIFY_NOT_REACHED();
  96. });
  97. }
  98. void Parser::append_comment(StringView text, LineTrackingLexer::Position position)
  99. {
  100. if (m_listener) {
  101. m_listener->comment(text);
  102. return;
  103. }
  104. // If there's no node to attach this to, drop it on the floor.
  105. // This can happen to comments in the prolog.
  106. if (!m_entered_node)
  107. return;
  108. m_entered_node->content.visit(
  109. [&](Node::Element& node) {
  110. node.children.append(make<Node>(position, Node::Comment { text }, m_entered_node));
  111. },
  112. [&](auto&) {
  113. // Can't enter a text or comment node.
  114. VERIFY_NOT_REACHED();
  115. });
  116. }
  117. void Parser::enter_node(Node& node)
  118. {
  119. if (m_listener) {
  120. auto& element = node.content.get<Node::Element>();
  121. m_listener->element_start(element.name, element.attributes);
  122. }
  123. if (&node != m_root_node.ptr())
  124. node.parent = m_entered_node;
  125. m_entered_node = &node;
  126. }
  127. void Parser::leave_node()
  128. {
  129. if (m_listener) {
  130. auto& element = m_entered_node->content.get<Node::Element>();
  131. m_listener->element_end(element.name);
  132. }
  133. m_entered_node = m_entered_node->parent;
  134. }
  135. ErrorOr<Document, ParseError> Parser::parse()
  136. {
  137. if (auto result = parse_internal(); result.is_error()) {
  138. if (m_parse_errors.is_empty())
  139. return result.release_error();
  140. return m_parse_errors.take_first();
  141. }
  142. return Document {
  143. m_root_node.release_nonnull(),
  144. move(m_doctype),
  145. move(m_processing_instructions),
  146. m_version,
  147. };
  148. }
  149. ErrorOr<void, ParseError> Parser::parse_with_listener(Listener& listener)
  150. {
  151. m_listener = &listener;
  152. ScopeGuard unset_listener { [this] { m_listener = nullptr; } };
  153. m_listener->set_source(m_source);
  154. m_listener->document_start();
  155. auto result = parse_internal();
  156. if (result.is_error())
  157. m_listener->error(result.error());
  158. m_listener->document_end();
  159. m_root_node.clear();
  160. return result;
  161. }
  162. // 2.3.3. S, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-S
  163. ErrorOr<void, ParseError> Parser::skip_whitespace(Required required)
  164. {
  165. auto rollback = rollback_point();
  166. auto rule = enter_rule();
  167. // S ::= (#x20 | #x9 | #xD | #xA)+
  168. auto matched = m_lexer.consume_while(is_any_of("\x20\x09\x0d\x0a"sv));
  169. if (required == Required::Yes && matched.is_empty())
  170. return parse_error(m_lexer.current_position(), "Expected whitespace");
  171. rollback.disarm();
  172. return {};
  173. }
  174. // 2.2.a. RestrictedChar, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-RestrictedChar
  175. constexpr static auto s_restricted_characters = ranges_for_search<Range(0x1, 0x8), Range(0xb, 0xc), Range(0xe, 0x1f), Range(0x7f, 0x84), Range(0x86, 0x9f)>();
  176. // 2.1.1. Document, https://www.w3.org/TR/2006/REC-xml11-20060816/#sec-well-formed
  177. ErrorOr<void, ParseError> Parser::parse_internal()
  178. {
  179. auto rule = enter_rule();
  180. // document ::= ( prolog element Misc* ) - ( Char* RestrictedChar Char* )
  181. TRY(parse_prolog());
  182. TRY(parse_element());
  183. while (true) {
  184. if (auto result = parse_misc(); result.is_error())
  185. break;
  186. }
  187. auto matched_source = m_source.substring_view(0, m_lexer.tell());
  188. if (auto it = find_if(matched_source.begin(), matched_source.end(), s_restricted_characters); !it.is_end()) {
  189. return parse_error(
  190. m_lexer.position_for(it.index()),
  191. ByteString::formatted("Invalid character #{:x} used in document", *it));
  192. }
  193. if (!m_lexer.is_eof())
  194. return parse_error(m_lexer.current_position(), "Garbage after document");
  195. return {};
  196. }
  197. ErrorOr<void, ParseError> Parser::expect(StringView expected)
  198. {
  199. auto rollback = rollback_point();
  200. if (!m_lexer.consume_specific(expected)) {
  201. if (m_options.treat_errors_as_fatal)
  202. return parse_error(m_lexer.current_position(), ByteString::formatted("Expected '{}'", expected));
  203. }
  204. rollback.disarm();
  205. return {};
  206. }
  207. template<typename Pred>
  208. requires(IsCallableWithArguments<Pred, bool, char>) ErrorOr<StringView, ParseError> Parser::expect(Pred predicate, StringView description)
  209. {
  210. auto rollback = rollback_point();
  211. auto start = m_lexer.tell();
  212. if (!m_lexer.next_is(predicate)) {
  213. if (m_options.treat_errors_as_fatal)
  214. return parse_error(m_lexer.current_position(), ByteString::formatted("Expected {}", description));
  215. }
  216. m_lexer.ignore();
  217. rollback.disarm();
  218. return m_source.substring_view(start, m_lexer.tell() - start);
  219. }
  220. template<typename Pred>
  221. requires(IsCallableWithArguments<Pred, bool, char>) ErrorOr<StringView, ParseError> Parser::expect_many(Pred predicate, StringView description)
  222. {
  223. auto rollback = rollback_point();
  224. auto start = m_lexer.tell();
  225. while (m_lexer.next_is(predicate)) {
  226. if (m_lexer.is_eof())
  227. break;
  228. m_lexer.ignore();
  229. }
  230. if (m_lexer.tell() == start) {
  231. if (m_options.treat_errors_as_fatal) {
  232. return parse_error(m_lexer.current_position(), ByteString::formatted("Expected {}", description));
  233. }
  234. }
  235. rollback.disarm();
  236. return m_source.substring_view(start, m_lexer.tell() - start);
  237. }
  238. // 2.8.22. Prolog, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-prolog
  239. ErrorOr<void, ParseError> Parser::parse_prolog()
  240. {
  241. auto rollback = rollback_point();
  242. auto rule = enter_rule();
  243. // prolog ::= XMLDecl Misc* (doctypedecl Misc*)?
  244. // The following is valid in XML 1.0.
  245. // prolog ::= XMLDecl? Misc* (doctypedecl Misc*)?
  246. if (auto result = parse_xml_decl(); result.is_error()) {
  247. m_version = Version::Version10;
  248. m_in_compatibility_mode = true;
  249. }
  250. auto accept = accept_rule();
  251. while (true) {
  252. if (auto result = parse_misc(); result.is_error())
  253. break;
  254. }
  255. if (auto result = parse_doctype_decl(); !result.is_error()) {
  256. while (true) {
  257. if (auto result = parse_misc(); result.is_error())
  258. break;
  259. }
  260. }
  261. rollback.disarm();
  262. return {};
  263. }
  264. // 2.8.23. XMLDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-XMLDecl
  265. ErrorOr<void, ParseError> Parser::parse_xml_decl()
  266. {
  267. auto rollback = rollback_point();
  268. auto rule = enter_rule();
  269. // XMLDecl::= '<?xml' VersionInfo EncodingDecl? SDDecl? S? '?>'
  270. TRY(expect("<?xml"sv));
  271. auto accept = accept_rule();
  272. TRY(parse_version_info());
  273. (void)parse_encoding_decl();
  274. (void)parse_standalone_document_decl();
  275. TRY(skip_whitespace());
  276. TRY(expect("?>"sv));
  277. rollback.disarm();
  278. return {};
  279. }
  280. // 2.8.24. VersionInfo, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-VersionInfo
  281. ErrorOr<void, ParseError> Parser::parse_version_info()
  282. {
  283. auto rollback = rollback_point();
  284. auto rule = enter_rule();
  285. // VersionInfo ::= S 'version' Eq ("'" VersionNum "'" | '"' VersionNum '"')
  286. TRY(skip_whitespace(Required::Yes));
  287. TRY(expect("version"sv));
  288. auto accept = accept_rule();
  289. TRY(parse_eq());
  290. TRY(expect(is_any_of("'\""sv), "one of ' or \""sv));
  291. m_lexer.retreat();
  292. auto version_string = m_lexer.consume_quoted_string();
  293. if (version_string == "1.0") {
  294. // FIXME: Compatibility mode, figure out which rules are different in XML 1.0.
  295. m_version = Version::Version10;
  296. m_in_compatibility_mode = true;
  297. } else {
  298. if (version_string != "1.1" && m_options.treat_errors_as_fatal)
  299. return parse_error(m_lexer.current_position(), ByteString::formatted("Expected '1.1', found '{}'", version_string));
  300. }
  301. m_version = Version::Version11;
  302. rollback.disarm();
  303. return {};
  304. }
  305. // 2.8.25. Eq, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Eq
  306. ErrorOr<void, ParseError> Parser::parse_eq()
  307. {
  308. auto rollback = rollback_point();
  309. auto rule = enter_rule();
  310. // Eq ::= S? '=' S?
  311. auto accept = accept_rule();
  312. TRY(skip_whitespace());
  313. TRY(expect("="sv));
  314. TRY(skip_whitespace());
  315. rollback.disarm();
  316. return {};
  317. }
  318. // 4.3.3.80. EncodingDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-EncodingDecl
  319. ErrorOr<void, ParseError> Parser::parse_encoding_decl()
  320. {
  321. auto rollback = rollback_point();
  322. auto rule = enter_rule();
  323. // EncodingDecl ::= S 'encoding' Eq ('"' EncName '"' | "'" EncName "'" )
  324. TRY(skip_whitespace(Required::Yes));
  325. TRY(expect("encoding"sv));
  326. auto accept = accept_rule();
  327. TRY(parse_eq());
  328. TRY(expect(is_any_of("'\""sv), "one of ' or \""sv));
  329. m_lexer.retreat();
  330. // FIXME: Actually do something with this encoding.
  331. m_encoding = m_lexer.consume_quoted_string();
  332. rollback.disarm();
  333. return {};
  334. }
  335. // 2.9.32 SDDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#sec-rmd
  336. ErrorOr<void, ParseError> Parser::parse_standalone_document_decl()
  337. {
  338. auto rollback = rollback_point();
  339. auto rule = enter_rule();
  340. // SDDecl ::= S 'standalone' Eq (("'" ('yes' | 'no') "'") | ('"' ('yes' | 'no') '"'))
  341. TRY(skip_whitespace(Required::Yes));
  342. TRY(expect("standalone"sv));
  343. auto accept = accept_rule();
  344. TRY(parse_eq());
  345. TRY(expect(is_any_of("'\""sv), "one of ' or \""sv));
  346. m_lexer.retreat();
  347. auto value = m_lexer.consume_quoted_string();
  348. if (!value.is_one_of("yes", "no"))
  349. return parse_error(m_lexer.position_for(m_lexer.tell() - value.length()), "Expected one of 'yes' or 'no'");
  350. m_standalone = value == "yes";
  351. rollback.disarm();
  352. return {};
  353. }
  354. // 2.8.27. Misc, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Misc
  355. ErrorOr<void, ParseError> Parser::parse_misc()
  356. {
  357. auto rollback = rollback_point();
  358. auto rule = enter_rule();
  359. // Misc ::= Comment | PI | S
  360. if (auto result = parse_comment(); !result.is_error()) {
  361. rollback.disarm();
  362. return {};
  363. }
  364. if (auto result = parse_processing_instruction(); !result.is_error()) {
  365. rollback.disarm();
  366. return {};
  367. }
  368. if (auto result = skip_whitespace(Required::Yes); !result.is_error()) {
  369. rollback.disarm();
  370. return {};
  371. }
  372. return parse_error(m_lexer.current_position(), "Expected a match for 'Misc', but found none");
  373. }
  374. // 2.5.15 Comment, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Comment
  375. ErrorOr<void, ParseError> Parser::parse_comment()
  376. {
  377. auto rollback = rollback_point();
  378. auto rule = enter_rule();
  379. // Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->'
  380. auto comment_start = m_lexer.tell();
  381. TRY(expect("<!--"sv));
  382. auto accept = accept_rule();
  383. bool last_seen_a_dash = false;
  384. // FIXME: This should disallow surrogate blocks
  385. auto text = m_lexer.consume_while([&](auto ch) {
  386. if (ch != '-') {
  387. last_seen_a_dash = false;
  388. return true;
  389. }
  390. if (last_seen_a_dash)
  391. return false;
  392. last_seen_a_dash = true;
  393. return true;
  394. });
  395. if (last_seen_a_dash) {
  396. m_lexer.retreat();
  397. text = text.substring_view(0, text.length() - 1);
  398. }
  399. TRY(expect("-->"sv));
  400. if (m_options.preserve_comments)
  401. append_comment(text, m_lexer.position_for(comment_start));
  402. rollback.disarm();
  403. return {};
  404. }
  405. // 2.6.16 PI, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-PI
  406. ErrorOr<void, ParseError> Parser::parse_processing_instruction()
  407. {
  408. auto rollback = rollback_point();
  409. auto rule = enter_rule();
  410. // PI ::= '<?' PITarget (S (Char* - (Char* '?>' Char*)))? '?>'
  411. TRY(expect("<?"sv));
  412. auto accept = accept_rule();
  413. auto target = TRY(parse_processing_instruction_target());
  414. ByteString data;
  415. if (auto result = skip_whitespace(Required::Yes); !result.is_error())
  416. data = m_lexer.consume_until("?>");
  417. TRY(expect("?>"sv));
  418. m_processing_instructions.set(target, data);
  419. rollback.disarm();
  420. return {};
  421. }
  422. // 2.6.17. PITarget, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-PITarget
  423. ErrorOr<Name, ParseError> Parser::parse_processing_instruction_target()
  424. {
  425. auto rollback = rollback_point();
  426. auto rule = enter_rule();
  427. // PITarget ::= Name - (('X' | 'x') ('M' | 'm') ('L' | 'l'))
  428. auto target = TRY(parse_name());
  429. auto accept = accept_rule();
  430. if (target.equals_ignoring_ascii_case("xml"sv) && m_options.treat_errors_as_fatal) {
  431. return parse_error(
  432. m_lexer.position_for(m_lexer.tell() - target.length()),
  433. "Use of the reserved 'xml' name for processing instruction target name is disallowed");
  434. }
  435. rollback.disarm();
  436. return target;
  437. }
  438. // NameStartChar ::= ":" | [A-Z] | "_" | [a-z] | [#xC0-#xD6] | [#xD8-#xF6] | [#xF8-#x2FF] | [#x370-#x37D] | [#x37F-#x1FFF] | [#x200C-#x200D] | [#x2070-#x218F] | [#x2C00-#x2FEF] | [#x3001-#xD7FF] | [#xF900-#xFDCF] | [#xFDF0-#xFFFD] | [#x10000-#xEFFFF]
  439. constexpr static auto s_name_start_characters = ranges_for_search<Range(':', ':'), Range('A', 'Z'), Range('_', '_'), Range('a', 'z'), Range(0xc0, 0xd6), Range(0xd8, 0xf6), Range(0xf8, 0x2ff), Range(0x370, 0x37d), Range(0x37f, 0x1fff), Range(0x200c, 0x200d), Range(0x2070, 0x218f), Range(0x2c00, 0x2fef), Range(0x3001, 0xd7ff), Range(0xf900, 0xfdcf), Range(0xfdf0, 0xfffd), Range(0x10000, 0xeffff)> {};
  440. // NameChar ::= NameStartChar | "-" | "." | [0-9] | #xB7 | [#x0300-#x036F] | [#x203F-#x2040]
  441. constexpr static auto s_name_characters = s_name_start_characters.with<Range('-', '-'), Range('.', '.'), Range('0', '9'), Range(0xb7, 0xb7), Range(0x0300, 0x036f), Range(0x203f, 0x2040)>();
  442. // 2.3.5. Name, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Name
  443. ErrorOr<Name, ParseError> Parser::parse_name()
  444. {
  445. auto rollback = rollback_point();
  446. auto rule = enter_rule();
  447. // Name ::= NameStartChar (NameChar)*
  448. auto start = TRY(expect(s_name_start_characters, "a NameStartChar"sv));
  449. auto accept = accept_rule();
  450. auto rest = m_lexer.consume_while(s_name_characters);
  451. StringBuilder builder;
  452. builder.append(start);
  453. builder.append(rest);
  454. rollback.disarm();
  455. return builder.to_byte_string();
  456. }
  457. // 2.8.28. doctypedecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-doctypedecl
  458. ErrorOr<void, ParseError> Parser::parse_doctype_decl()
  459. {
  460. auto rollback = rollback_point();
  461. auto rule = enter_rule();
  462. Doctype doctype;
  463. // doctypedecl ::= '<!DOCTYPE' S Name (S ExternalID)? S? ('[' intSubset ']' S?)? '>'
  464. TRY(expect("<!DOCTYPE"sv));
  465. auto accept = accept_rule();
  466. TRY(skip_whitespace(Required::Yes));
  467. doctype.type = TRY(parse_name());
  468. if (auto result = skip_whitespace(Required::Yes); !result.is_error()) {
  469. if (auto id_result = parse_external_id(); !id_result.is_error()) {
  470. doctype.external_id = id_result.release_value();
  471. if (m_options.resolve_external_resource) {
  472. auto resource_result = m_options.resolve_external_resource(doctype.external_id->system_id, doctype.external_id->public_id);
  473. if (!resource_result.is_error()) {
  474. StringView resolved_source = resource_result.value();
  475. TemporaryChange source { m_source, resolved_source };
  476. TemporaryChange lexer { m_lexer, LineTrackingLexer(m_source) };
  477. auto declarations = TRY(parse_external_subset());
  478. if (!m_lexer.is_eof()) {
  479. return parse_error(
  480. m_lexer.current_position(),
  481. ByteString::formatted("Failed to resolve external subset '{}': garbage after declarations", doctype.external_id->system_id.system_literal));
  482. }
  483. doctype.markup_declarations.extend(move(declarations));
  484. }
  485. }
  486. }
  487. }
  488. TRY(skip_whitespace(Required::No));
  489. if (m_lexer.consume_specific('[')) {
  490. auto internal_subset = TRY(parse_internal_subset());
  491. TRY(expect("]"sv));
  492. TRY(skip_whitespace());
  493. doctype.markup_declarations.extend(internal_subset);
  494. }
  495. TRY(expect(">"sv));
  496. rollback.disarm();
  497. m_doctype = move(doctype);
  498. return {};
  499. }
  500. // 3.39. element, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-element
  501. ErrorOr<void, ParseError> Parser::parse_element()
  502. {
  503. auto rollback = rollback_point();
  504. auto rule = enter_rule();
  505. // element ::= EmptyElemTag
  506. // | STag content ETag
  507. if (auto result = parse_empty_element_tag(); !result.is_error()) {
  508. append_node(result.release_value());
  509. leave_node();
  510. rollback.disarm();
  511. return {};
  512. }
  513. auto start_tag = TRY(parse_start_tag());
  514. auto& node = *start_tag;
  515. auto& tag = node.content.get<Node::Element>();
  516. append_node(move(start_tag));
  517. ScopeGuard quit {
  518. [&] {
  519. leave_node();
  520. }
  521. };
  522. TRY(parse_content());
  523. auto tag_location = m_lexer.tell();
  524. auto closing_name = TRY(parse_end_tag());
  525. // Well-formedness constraint: The Name in an element's end-tag MUST match the element type in the start-tag.
  526. if (m_options.treat_errors_as_fatal && closing_name != tag.name)
  527. return parse_error(m_lexer.position_for(tag_location), "Invalid closing tag");
  528. rollback.disarm();
  529. return {};
  530. }
  531. // 3.1.44. EmptyElemTag, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-EmptyElemTag
  532. ErrorOr<NonnullOwnPtr<Node>, ParseError> Parser::parse_empty_element_tag()
  533. {
  534. auto rollback = rollback_point();
  535. auto rule = enter_rule();
  536. // EmptyElemTag ::= '<' Name (S Attribute)* S? '/>'
  537. auto tag_start = m_lexer.tell();
  538. TRY(expect("<"sv));
  539. auto accept = accept_rule();
  540. auto name = TRY(parse_name());
  541. HashMap<Name, ByteString> attributes;
  542. while (true) {
  543. if (auto result = skip_whitespace(Required::Yes); result.is_error())
  544. break;
  545. if (auto result = parse_attribute(); !result.is_error()) {
  546. auto attribute = result.release_value();
  547. attributes.set(move(attribute.name), move(attribute.value));
  548. } else {
  549. break;
  550. }
  551. }
  552. TRY(skip_whitespace());
  553. TRY(expect("/>"sv));
  554. rollback.disarm();
  555. return make<Node>(m_lexer.position_for(tag_start), Node::Element { move(name), move(attributes), {} });
  556. }
  557. // 3.1.41. Attribute, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Attribute
  558. ErrorOr<Attribute, ParseError> Parser::parse_attribute()
  559. {
  560. auto rollback = rollback_point();
  561. auto rule = enter_rule();
  562. // Attribute ::= Name Eq AttValue
  563. auto name = TRY(parse_name());
  564. auto accept = accept_rule();
  565. TRY(parse_eq());
  566. auto value = TRY(parse_attribute_value());
  567. rollback.disarm();
  568. return Attribute {
  569. move(name),
  570. move(value),
  571. };
  572. }
  573. // 2.3.10. AttValue, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-AttValue
  574. ErrorOr<ByteString, ParseError> Parser::parse_attribute_value()
  575. {
  576. auto rollback = rollback_point();
  577. auto rule = enter_rule();
  578. // AttValue ::= '"' ([^<&"] | Reference)* '"'
  579. // | "'" ([^<&'] | Reference)* "'"
  580. auto quote = TRY(expect(is_any_of("'\""sv), "one of ' or \""sv));
  581. auto accept = accept_rule();
  582. auto text = TRY(parse_attribute_value_inner(quote));
  583. TRY(expect(quote));
  584. rollback.disarm();
  585. return text;
  586. }
  587. ErrorOr<ByteString, ParseError> Parser::parse_attribute_value_inner(StringView disallow)
  588. {
  589. StringBuilder builder;
  590. while (true) {
  591. if (m_lexer.next_is(is_any_of(disallow)) || m_lexer.is_eof())
  592. break;
  593. if (m_lexer.next_is('<')) {
  594. // Not allowed, return a nice error to make it easier to debug.
  595. return parse_error(m_lexer.current_position(), "Unescaped '<' not allowed in attribute values");
  596. }
  597. if (m_lexer.next_is('&')) {
  598. auto reference = TRY(parse_reference());
  599. if (auto* char_reference = reference.get_pointer<ByteString>())
  600. builder.append(*char_reference);
  601. else
  602. builder.append(TRY(resolve_reference(reference.get<EntityReference>(), ReferencePlacement::AttributeValue)));
  603. } else {
  604. builder.append(m_lexer.consume());
  605. }
  606. }
  607. return builder.to_byte_string();
  608. }
  609. // Char ::= [#x1-#xD7FF] | [#xE000-#xFFFD] | [#x10000-#x10FFFF]
  610. constexpr static auto s_characters = ranges_for_search<Range(0x1, 0xd7ff), Range(0xe000, 0xfffd), Range(0x10000, 0x10ffff)>();
  611. // 4.1.67. Reference, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Reference
  612. ErrorOr<Variant<Parser::EntityReference, ByteString>, ParseError> Parser::parse_reference()
  613. {
  614. auto rollback = rollback_point();
  615. auto rule = enter_rule();
  616. // Reference ::= EntityRef | CharRef
  617. // 4.1.68. EntityRef
  618. // EntityRef ::= '&' Name ';'
  619. // 4.1.66. CharRef
  620. // CharRef ::= '&#' [0-9]+ ';'
  621. // | '&#x' [0-9a-fA-F]+ ';'
  622. auto reference_start = m_lexer.tell();
  623. TRY(expect("&"sv));
  624. auto accept = accept_rule();
  625. auto name_result = parse_name();
  626. if (name_result.is_error()) {
  627. TRY(expect("#"sv));
  628. Optional<u32> code_point;
  629. if (m_lexer.consume_specific('x')) {
  630. auto hex = TRY(expect_many(
  631. ranges_for_search<Range('0', '9'), Range('a', 'f'), Range('A', 'F')>(),
  632. "any of [0-9a-fA-F]"sv));
  633. code_point = AK::StringUtils::convert_to_uint_from_hex<u32>(hex);
  634. } else {
  635. auto decimal = TRY(expect_many(
  636. ranges_for_search<Range('0', '9')>(),
  637. "any of [0-9]"sv));
  638. code_point = decimal.to_number<u32>();
  639. }
  640. if (!code_point.has_value() || !s_characters.contains(*code_point))
  641. return parse_error(m_lexer.position_for(reference_start), "Invalid character reference");
  642. TRY(expect(";"sv));
  643. StringBuilder builder;
  644. builder.append_code_point(*code_point);
  645. rollback.disarm();
  646. return builder.to_byte_string();
  647. }
  648. auto name = name_result.release_value();
  649. TRY(expect(";"sv));
  650. rollback.disarm();
  651. return EntityReference { move(name) };
  652. }
  653. // 3.1.40 STag, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-STag
  654. ErrorOr<NonnullOwnPtr<Node>, ParseError> Parser::parse_start_tag()
  655. {
  656. auto rollback = rollback_point();
  657. auto rule = enter_rule();
  658. // STag ::= '<' Name (S Attribute)* S? '>'
  659. auto tag_start = m_lexer.tell();
  660. TRY(expect("<"sv));
  661. auto accept = accept_rule();
  662. auto name = TRY(parse_name());
  663. HashMap<Name, ByteString> attributes;
  664. while (true) {
  665. if (auto result = skip_whitespace(Required::Yes); result.is_error())
  666. break;
  667. if (auto result = parse_attribute(); !result.is_error()) {
  668. auto attribute = result.release_value();
  669. attributes.set(move(attribute.name), move(attribute.value));
  670. } else {
  671. break;
  672. }
  673. }
  674. TRY(skip_whitespace());
  675. TRY(expect(">"sv));
  676. rollback.disarm();
  677. return make<Node>(m_lexer.position_for(tag_start), Node::Element { move(name), move(attributes), {} });
  678. }
  679. // 3.1.42 ETag, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-ETag
  680. ErrorOr<Name, ParseError> Parser::parse_end_tag()
  681. {
  682. auto rollback = rollback_point();
  683. auto rule = enter_rule();
  684. // ETag ::= '</' Name S? '>'
  685. TRY(expect("</"sv));
  686. auto accept = accept_rule();
  687. auto name = TRY(parse_name());
  688. TRY(skip_whitespace());
  689. TRY(expect(">"sv));
  690. rollback.disarm();
  691. return name;
  692. }
  693. // 3.1.42 content, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-content
  694. ErrorOr<void, ParseError> Parser::parse_content()
  695. {
  696. auto rollback = rollback_point();
  697. auto rule = enter_rule();
  698. // content ::= CharData? ((element | Reference | CDSect | PI | Comment) CharData?)*
  699. auto content_start = m_lexer.tell();
  700. if (auto result = parse_char_data(); !result.is_error())
  701. append_text(result.release_value(), m_lexer.position_for(content_start));
  702. while (true) {
  703. auto node_start = m_lexer.tell();
  704. if (auto result = parse_element(); !result.is_error())
  705. goto try_char_data;
  706. if (auto result = parse_reference(); !result.is_error()) {
  707. auto reference = result.release_value();
  708. auto reference_offset = m_lexer.position_for(node_start);
  709. if (auto char_reference = reference.get_pointer<ByteString>())
  710. append_text(*char_reference, reference_offset);
  711. else
  712. append_text(TRY(resolve_reference(reference.get<EntityReference>(), ReferencePlacement::Content)), reference_offset);
  713. goto try_char_data;
  714. }
  715. if (auto result = parse_cdata_section(); !result.is_error()) {
  716. if (m_options.preserve_cdata)
  717. append_text(result.release_value(), m_lexer.position_for(node_start));
  718. goto try_char_data;
  719. }
  720. if (auto result = parse_processing_instruction(); !result.is_error())
  721. goto try_char_data;
  722. if (auto result = parse_comment(); !result.is_error())
  723. goto try_char_data;
  724. break;
  725. try_char_data:;
  726. if (auto result = parse_char_data(); !result.is_error())
  727. append_text(result.release_value(), m_lexer.position_for(node_start));
  728. }
  729. rollback.disarm();
  730. return {};
  731. }
  732. // 2.4.14 CharData, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-CharData
  733. ErrorOr<StringView, ParseError> Parser::parse_char_data()
  734. {
  735. auto rollback = rollback_point();
  736. auto rule = enter_rule();
  737. // CharData ::= [^<&]* - ([^<&]* ']]>' [^<&]*)
  738. auto cend_state = 0; // 1: ], 2: ], 3: >
  739. auto text = m_lexer.consume_while([&](auto ch) {
  740. if (ch == '<' || ch == '&' || cend_state == 3)
  741. return false;
  742. switch (cend_state) {
  743. case 0:
  744. case 1:
  745. if (ch == ']')
  746. cend_state++;
  747. else
  748. cend_state = 0;
  749. return true;
  750. case 2:
  751. if (ch == '>') {
  752. cend_state++;
  753. return true;
  754. }
  755. cend_state = 0;
  756. return true;
  757. default:
  758. VERIFY_NOT_REACHED();
  759. }
  760. });
  761. if (cend_state == 3) {
  762. m_lexer.retreat(3);
  763. text = text.substring_view(0, text.length() - 3);
  764. }
  765. rollback.disarm();
  766. return text;
  767. }
  768. // 2.8.28b intSubset, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-intSubset
  769. ErrorOr<Vector<MarkupDeclaration>, ParseError> Parser::parse_internal_subset()
  770. {
  771. auto rollback = rollback_point();
  772. auto rule = enter_rule();
  773. Vector<MarkupDeclaration> declarations;
  774. // intSubset ::= (markupdecl | DeclSep)*
  775. while (true) {
  776. if (auto result = parse_markup_declaration(); !result.is_error()) {
  777. auto maybe_declaration = result.release_value();
  778. if (maybe_declaration.has_value())
  779. declarations.append(maybe_declaration.release_value());
  780. continue;
  781. }
  782. if (auto result = parse_declaration_separator(); !result.is_error()) {
  783. // The markup declarations may be made up in whole or in part of the replacement text of parameter entities.
  784. // The replacement text of a parameter entity reference in a DeclSep MUST match the production extSubsetDecl.
  785. auto maybe_replacement_text = result.release_value();
  786. if (maybe_replacement_text.has_value()) {
  787. TemporaryChange<StringView> source { m_source, maybe_replacement_text.value() };
  788. TemporaryChange lexer { m_lexer, LineTrackingLexer { m_source } };
  789. auto contained_declarations = TRY(parse_external_subset_declaration());
  790. declarations.extend(move(contained_declarations));
  791. }
  792. continue;
  793. }
  794. break;
  795. }
  796. rollback.disarm();
  797. return declarations;
  798. }
  799. // 2.8.29 markupdecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-markupdecl
  800. ErrorOr<Optional<MarkupDeclaration>, ParseError> Parser::parse_markup_declaration()
  801. {
  802. auto rollback = rollback_point();
  803. auto rule = enter_rule();
  804. // markupdecl ::= elementdecl | AttlistDecl | EntityDecl | NotationDecl | PI | Comment
  805. if (auto result = parse_element_declaration(); !result.is_error()) {
  806. rollback.disarm();
  807. return MarkupDeclaration { result.release_value() };
  808. }
  809. if (auto result = parse_attribute_list_declaration(); !result.is_error()) {
  810. rollback.disarm();
  811. return MarkupDeclaration { result.release_value() };
  812. }
  813. if (auto result = parse_entity_declaration(); !result.is_error()) {
  814. rollback.disarm();
  815. return MarkupDeclaration { result.release_value() };
  816. }
  817. if (auto result = parse_notation_declaration(); !result.is_error()) {
  818. rollback.disarm();
  819. return MarkupDeclaration { result.release_value() };
  820. }
  821. if (auto result = parse_processing_instruction(); !result.is_error()) {
  822. rollback.disarm();
  823. return Optional<MarkupDeclaration> {};
  824. }
  825. if (auto result = parse_comment(); !result.is_error()) {
  826. rollback.disarm();
  827. return Optional<MarkupDeclaration> {};
  828. }
  829. return parse_error(m_lexer.current_position(), "Expected one of elementdecl, attlistdecl, entitydecl, notationdecl, PI or comment");
  830. }
  831. // 2.8.28a DeclSep, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-DeclSep
  832. ErrorOr<Optional<ByteString>, ParseError> Parser::parse_declaration_separator()
  833. {
  834. auto rollback = rollback_point();
  835. auto rule = enter_rule();
  836. // DeclSep ::= PEReference | S
  837. if (auto name = parse_parameter_entity_reference(); !name.is_error()) {
  838. rollback.disarm();
  839. // FIXME: Resolve this PEReference.
  840. return "";
  841. }
  842. if (auto result = skip_whitespace(Required::Yes); !result.is_error()) {
  843. rollback.disarm();
  844. return Optional<ByteString> {};
  845. }
  846. return parse_error(m_lexer.current_position(), "Expected either whitespace, or a PEReference");
  847. }
  848. // 4.1.69 PEReference, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-PEReference
  849. ErrorOr<Name, ParseError> Parser::parse_parameter_entity_reference()
  850. {
  851. auto rollback = rollback_point();
  852. auto rule = enter_rule();
  853. // PEReference ::= '%' Name ';'
  854. TRY(expect("%"sv));
  855. auto accept = accept_rule();
  856. auto name = TRY(parse_name());
  857. TRY(expect(";"sv));
  858. rollback.disarm();
  859. return name;
  860. }
  861. // 3.2.46 elementdecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-elementdecl
  862. ErrorOr<ElementDeclaration, ParseError> Parser::parse_element_declaration()
  863. {
  864. auto rollback = rollback_point();
  865. auto rule = enter_rule();
  866. // FIXME: Apparently both name _and_ contentspec here are allowed to be PEReferences,
  867. // but the grammar does not allow that, figure this out.
  868. // elementdecl ::= '<!ELEMENT' S Name S contentspec S? '>'
  869. TRY(expect("<!ELEMENT"sv));
  870. auto accept = accept_rule();
  871. TRY(skip_whitespace(Required::Yes));
  872. auto name = TRY(parse_name());
  873. TRY(skip_whitespace(Required::Yes));
  874. auto spec = TRY(parse_content_spec());
  875. TRY(expect(">"sv));
  876. rollback.disarm();
  877. return ElementDeclaration {
  878. move(name),
  879. move(spec),
  880. };
  881. }
  882. // 3.3.52 AttlistDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-AttlistDecl
  883. ErrorOr<AttributeListDeclaration, ParseError> Parser::parse_attribute_list_declaration()
  884. {
  885. auto rollback = rollback_point();
  886. auto rule = enter_rule();
  887. AttributeListDeclaration declaration;
  888. // AttlistDecl ::= '<!ATTLIST' S Name AttDef* S? '>'
  889. TRY(expect("<!ATTLIST"sv));
  890. auto accept = accept_rule();
  891. TRY(skip_whitespace(Required::Yes));
  892. declaration.type = TRY(parse_name());
  893. while (true) {
  894. if (auto result = parse_attribute_definition(); !result.is_error())
  895. declaration.attributes.append(result.release_value());
  896. else
  897. break;
  898. }
  899. TRY(skip_whitespace());
  900. TRY(expect(">"sv));
  901. rollback.disarm();
  902. return declaration;
  903. }
  904. // 3.3.53 AttDef, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-AttDef
  905. ErrorOr<AttributeListDeclaration::Definition, ParseError> Parser::parse_attribute_definition()
  906. {
  907. auto rollback = rollback_point();
  908. auto rule = enter_rule();
  909. Optional<AttributeListDeclaration::Type> type;
  910. Optional<AttributeListDeclaration::Default> default_;
  911. // AttDef ::= S Name S AttType S DefaultDecl
  912. TRY(skip_whitespace(Required::Yes));
  913. auto name = TRY(parse_name());
  914. auto accept = accept_rule();
  915. TRY(skip_whitespace(Required::Yes));
  916. // AttType ::= StringType | TokenizedType | EnumeratedType
  917. // StringType ::= 'CDATA'
  918. // TokenizedType ::= 'ID'
  919. // | 'IDREF'
  920. // | 'IDREFS'
  921. // | 'ENTITY'
  922. // | 'ENTITIES'
  923. // | 'NMTOKEN'
  924. // | 'NMTOKENS'
  925. // EnumeratedType ::= NotationType | Enumeration
  926. // NotationType ::= 'NOTATION' S '(' S? Name (S? '|' S? Name)* S? ')'
  927. // Enumeration ::= '(' S? Nmtoken (S? '|' S? Nmtoken)* S? ')'
  928. if (m_lexer.consume_specific("CDATA"sv)) {
  929. type = AttributeListDeclaration::StringType::CData;
  930. } else if (m_lexer.consume_specific("IDREFS"sv)) {
  931. type = AttributeListDeclaration::TokenizedType::IDRefs;
  932. } else if (m_lexer.consume_specific("IDREF"sv)) {
  933. type = AttributeListDeclaration::TokenizedType::IDRef;
  934. } else if (m_lexer.consume_specific("ID"sv)) {
  935. type = AttributeListDeclaration::TokenizedType::ID;
  936. } else if (m_lexer.consume_specific("ENTITIES"sv)) {
  937. type = AttributeListDeclaration::TokenizedType::Entities;
  938. } else if (m_lexer.consume_specific("ENTITY"sv)) {
  939. type = AttributeListDeclaration::TokenizedType::Entity;
  940. } else if (m_lexer.consume_specific("NMTOKENS"sv)) {
  941. type = AttributeListDeclaration::TokenizedType::NMTokens;
  942. } else if (m_lexer.consume_specific("NMTOKEN"sv)) {
  943. type = AttributeListDeclaration::TokenizedType::NMToken;
  944. } else if (m_lexer.consume_specific("NOTATION"sv)) {
  945. HashTable<Name> names;
  946. TRY(skip_whitespace(Required::Yes));
  947. TRY(expect("("sv));
  948. TRY(skip_whitespace());
  949. names.set(TRY(parse_name()));
  950. while (true) {
  951. TRY(skip_whitespace());
  952. if (auto result = expect("|"sv); result.is_error())
  953. break;
  954. TRY(skip_whitespace());
  955. names.set(TRY(parse_name()));
  956. }
  957. TRY(skip_whitespace());
  958. TRY(expect(")"sv));
  959. type = AttributeListDeclaration::NotationType { move(names) };
  960. } else {
  961. HashTable<ByteString> names;
  962. TRY(expect("("sv));
  963. TRY(skip_whitespace());
  964. names.set(TRY(parse_nm_token()));
  965. while (true) {
  966. TRY(skip_whitespace());
  967. if (auto result = expect("|"sv); result.is_error())
  968. break;
  969. TRY(skip_whitespace());
  970. names.set(TRY(parse_nm_token()));
  971. }
  972. TRY(skip_whitespace());
  973. TRY(expect(")"sv));
  974. type = AttributeListDeclaration::Enumeration { move(names) };
  975. }
  976. TRY(skip_whitespace(Required::Yes));
  977. // DefaultDecl ::= '#REQUIRED' | '#IMPLIED'
  978. // | (('#FIXED' S)? AttValue)
  979. if (m_lexer.consume_specific("#REQUIRED"sv)) {
  980. default_ = AttributeListDeclaration::Required {};
  981. } else if (m_lexer.consume_specific("#IMPLIED"sv)) {
  982. default_ = AttributeListDeclaration::Implied {};
  983. } else {
  984. bool fixed = false;
  985. if (m_lexer.consume_specific("#FIXED"sv)) {
  986. TRY(skip_whitespace(Required::Yes));
  987. fixed = true;
  988. }
  989. auto value = TRY(parse_attribute_value());
  990. if (fixed)
  991. default_ = AttributeListDeclaration::Fixed { move(value) };
  992. else
  993. default_ = AttributeListDeclaration::DefaultValue { move(value) };
  994. }
  995. rollback.disarm();
  996. return AttributeListDeclaration::Definition {
  997. move(name),
  998. type.release_value(),
  999. default_.release_value(),
  1000. };
  1001. }
  1002. // 2.3.7 Nmtoken, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-Nmtoken
  1003. ErrorOr<StringView, ParseError> Parser::parse_nm_token()
  1004. {
  1005. auto rollback = rollback_point();
  1006. auto rule = enter_rule();
  1007. // Nmtoken ::= (NameChar)+
  1008. auto token = TRY(expect_many(s_name_characters, "a NameChar"sv));
  1009. rollback.disarm();
  1010. return token;
  1011. }
  1012. // 4.7.82 NotationDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#Notations
  1013. ErrorOr<NotationDeclaration, ParseError> Parser::parse_notation_declaration()
  1014. {
  1015. auto rollback = rollback_point();
  1016. auto rule = enter_rule();
  1017. Variant<ExternalID, PublicID, Empty> notation;
  1018. // NotationDecl ::= '<!NOTATION' S Name S (ExternalID | PublicID) S? '>'
  1019. TRY(expect("<!NOTATION"sv));
  1020. auto accept = accept_rule();
  1021. TRY(skip_whitespace(Required::Yes));
  1022. auto name = TRY(parse_name());
  1023. TRY(skip_whitespace(Required::Yes));
  1024. if (auto result = parse_external_id(); !result.is_error())
  1025. notation = result.release_value();
  1026. else
  1027. notation = TRY(parse_public_id());
  1028. TRY(expect(">"sv));
  1029. rollback.disarm();
  1030. return NotationDeclaration {
  1031. move(name),
  1032. move(notation).downcast<ExternalID, PublicID>(),
  1033. };
  1034. }
  1035. // 3.2.46 contentspec, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-contentspec
  1036. ErrorOr<ElementDeclaration::ContentSpec, ParseError> Parser::parse_content_spec()
  1037. {
  1038. auto rollback = rollback_point();
  1039. auto rule = enter_rule();
  1040. Optional<ElementDeclaration::ContentSpec> content_spec;
  1041. // contentspec ::= 'EMPTY' | 'ANY' | Mixed | children
  1042. if (m_lexer.consume_specific("EMPTY"sv)) {
  1043. content_spec = ElementDeclaration::Empty {};
  1044. } else if (m_lexer.consume_specific("ANY"sv)) {
  1045. content_spec = ElementDeclaration::Any {};
  1046. } else {
  1047. TRY(expect("("sv));
  1048. TRY(skip_whitespace());
  1049. if (m_lexer.consume_specific("#PCDATA"sv)) {
  1050. HashTable<Name> names;
  1051. // Mixed ::= '(' S? '#PCDATA' (S? '|' S? Name)* S? ')*'
  1052. // | '(' S? '#PCDATA' S? ')'
  1053. TRY(skip_whitespace());
  1054. if (m_lexer.consume_specific(")*"sv)) {
  1055. content_spec = ElementDeclaration::Mixed { .types = {}, .many = true };
  1056. } else if (m_lexer.consume_specific(')')) {
  1057. content_spec = ElementDeclaration::Mixed { .types = {}, .many = false };
  1058. } else {
  1059. while (true) {
  1060. TRY(skip_whitespace());
  1061. if (!m_lexer.consume_specific('|'))
  1062. break;
  1063. TRY(skip_whitespace());
  1064. if (auto result = parse_name(); !result.is_error())
  1065. names.set(result.release_value());
  1066. else
  1067. return parse_error(m_lexer.current_position(), "Expected a Name");
  1068. }
  1069. TRY(skip_whitespace());
  1070. TRY(expect(")*"sv));
  1071. content_spec = ElementDeclaration::Mixed { .types = move(names), .many = true };
  1072. }
  1073. } else {
  1074. while (!m_lexer.next_is('('))
  1075. m_lexer.retreat();
  1076. // children ::= (choice | seq) ('?' | '*' | '+')?
  1077. // cp ::= (Name | choice | seq) ('?' | '*' | '+')?
  1078. // choice ::= '(' S? cp ( S? '|' S? cp )+ S? ')'
  1079. // seq ::= '(' S? cp ( S? ',' S? cp )* S? ')'
  1080. Function<ErrorOr<ElementDeclaration::Children::Choice, ParseError>()> parse_choice;
  1081. Function<ErrorOr<ElementDeclaration::Children::Sequence, ParseError>()> parse_sequence;
  1082. auto parse_cp_init = [&]() -> ErrorOr<Variant<Name, ElementDeclaration::Children::Choice, ElementDeclaration::Children::Sequence>, ParseError> {
  1083. if (auto result = parse_name(); !result.is_error())
  1084. return result.release_value();
  1085. if (auto result = parse_choice(); !result.is_error())
  1086. return result.release_value();
  1087. return TRY(parse_sequence());
  1088. };
  1089. auto parse_qualifier = [&]() -> ElementDeclaration::Children::Qualifier {
  1090. ElementDeclaration::Children::Qualifier qualifier { ElementDeclaration::Children::Qualifier::ExactlyOnce };
  1091. if (m_lexer.consume_specific('?'))
  1092. qualifier = ElementDeclaration::Children::Qualifier::Optional;
  1093. else if (m_lexer.consume_specific('*'))
  1094. qualifier = ElementDeclaration::Children::Qualifier::Any;
  1095. else if (m_lexer.consume_specific('+'))
  1096. qualifier = ElementDeclaration::Children::Qualifier::OneOrMore;
  1097. return qualifier;
  1098. };
  1099. auto parse_cp = [&]() -> ErrorOr<ElementDeclaration::Children::Entry, ParseError> {
  1100. auto sub_entry = TRY(parse_cp_init());
  1101. auto qualifier = parse_qualifier();
  1102. return ElementDeclaration::Children::Entry {
  1103. move(sub_entry),
  1104. qualifier,
  1105. };
  1106. };
  1107. parse_choice = [&]() -> ErrorOr<ElementDeclaration::Children::Choice, ParseError> {
  1108. auto rollback = rollback_point();
  1109. auto rule = enter_rule();
  1110. TRY(expect("("sv));
  1111. auto accept = accept_rule();
  1112. TRY(skip_whitespace());
  1113. Vector<ElementDeclaration::Children::Entry> choices;
  1114. choices.append(TRY(parse_cp()));
  1115. while (true) {
  1116. TRY(skip_whitespace());
  1117. if (!m_lexer.consume_specific('|'))
  1118. break;
  1119. TRY(skip_whitespace());
  1120. choices.append(TRY(parse_cp()));
  1121. }
  1122. TRY(expect(")"sv));
  1123. if (choices.size() < 2)
  1124. return parse_error(m_lexer.current_position(), "Expected more than one choice");
  1125. TRY(skip_whitespace());
  1126. auto qualifier = parse_qualifier();
  1127. rollback.disarm();
  1128. return ElementDeclaration::Children::Choice {
  1129. move(choices),
  1130. qualifier,
  1131. };
  1132. };
  1133. parse_sequence = [&]() -> ErrorOr<ElementDeclaration::Children::Sequence, ParseError> {
  1134. auto rollback = rollback_point();
  1135. auto rule = enter_rule();
  1136. TRY(expect("("sv));
  1137. auto accept = accept_rule();
  1138. TRY(skip_whitespace());
  1139. Vector<ElementDeclaration::Children::Entry> entries;
  1140. entries.append(TRY(parse_cp()));
  1141. while (true) {
  1142. TRY(skip_whitespace());
  1143. if (!m_lexer.consume_specific(','))
  1144. break;
  1145. TRY(skip_whitespace());
  1146. entries.append(TRY(parse_cp()));
  1147. }
  1148. TRY(expect(")"sv));
  1149. TRY(skip_whitespace());
  1150. auto qualifier = parse_qualifier();
  1151. rollback.disarm();
  1152. return ElementDeclaration::Children::Sequence {
  1153. move(entries),
  1154. qualifier,
  1155. };
  1156. };
  1157. if (auto result = parse_choice(); !result.is_error()) {
  1158. auto qualifier = parse_qualifier();
  1159. content_spec = ElementDeclaration::Children {
  1160. result.release_value(),
  1161. qualifier,
  1162. };
  1163. } else {
  1164. auto sequence = TRY(parse_sequence());
  1165. auto qualifier = parse_qualifier();
  1166. content_spec = ElementDeclaration::Children {
  1167. move(sequence),
  1168. qualifier,
  1169. };
  1170. }
  1171. }
  1172. }
  1173. rollback.disarm();
  1174. return content_spec.release_value();
  1175. }
  1176. // 2.8.31 extSubsetDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-extSubsetDecl
  1177. ErrorOr<Vector<MarkupDeclaration>, ParseError> Parser::parse_external_subset_declaration()
  1178. {
  1179. auto rollback = rollback_point();
  1180. auto rule = enter_rule();
  1181. Vector<MarkupDeclaration> declarations;
  1182. // extSubsetDecl ::= ( markupdecl | conditionalSect | DeclSep )*
  1183. while (true) {
  1184. if (auto result = parse_markup_declaration(); !result.is_error()) {
  1185. if (result.value().has_value())
  1186. declarations.append(result.release_value().release_value());
  1187. continue;
  1188. }
  1189. // FIXME: conditionalSect
  1190. if (auto result = parse_declaration_separator(); !result.is_error())
  1191. continue;
  1192. break;
  1193. }
  1194. rollback.disarm();
  1195. return declarations;
  1196. }
  1197. // 4.2.70 EntityDecl, https://www.w3.org/TR/xml/#NT-EntityDecl
  1198. ErrorOr<EntityDeclaration, ParseError> Parser::parse_entity_declaration()
  1199. {
  1200. // EntityDecl ::= GEDecl | PEDecl
  1201. if (auto result = parse_general_entity_declaration(); !result.is_error())
  1202. return result;
  1203. return parse_parameter_entity_declaration();
  1204. }
  1205. // 4.2.71 GEDecl, https://www.w3.org/TR/xml/#NT-GEDecl
  1206. ErrorOr<EntityDeclaration, ParseError> Parser::parse_general_entity_declaration()
  1207. {
  1208. auto rollback = rollback_point();
  1209. auto rule = enter_rule();
  1210. Variant<ByteString, EntityDefinition, Empty> definition;
  1211. // GEDecl ::= '<!ENTITY' S Name S EntityDef S? '>'
  1212. TRY(expect("<!ENTITY"sv));
  1213. auto accept = accept_rule();
  1214. TRY(skip_whitespace(Required::Yes));
  1215. auto name = TRY(parse_name());
  1216. TRY(skip_whitespace(Required::Yes));
  1217. // EntityDef ::= EntityValue | (ExternalID NDataDecl?)
  1218. if (auto result = parse_entity_value(); !result.is_error()) {
  1219. definition = result.release_value();
  1220. } else {
  1221. auto external_id = TRY(parse_external_id());
  1222. Optional<Name> notation;
  1223. if (auto notation_result = parse_notation_data_declaration(); !notation_result.is_error())
  1224. notation = notation_result.release_value();
  1225. definition = EntityDefinition {
  1226. move(external_id),
  1227. move(notation),
  1228. };
  1229. }
  1230. TRY(skip_whitespace());
  1231. TRY(expect(">"sv));
  1232. rollback.disarm();
  1233. return GEDeclaration {
  1234. move(name),
  1235. move(definition).downcast<ByteString, EntityDefinition>(),
  1236. };
  1237. }
  1238. // 4.2.72 PEDecl, https://www.w3.org/TR/xml/#NT-PEDecl
  1239. ErrorOr<EntityDeclaration, ParseError> Parser::parse_parameter_entity_declaration()
  1240. {
  1241. auto rollback = rollback_point();
  1242. auto rule = enter_rule();
  1243. Variant<ByteString, ExternalID, Empty> definition;
  1244. // PEDecl ::= '<!ENTITY' S '%' S Name S PEDef S? '>'
  1245. TRY(expect("<!ENTITY"sv));
  1246. auto accept = accept_rule();
  1247. TRY(skip_whitespace(Required::Yes));
  1248. TRY(expect("%"sv));
  1249. TRY(skip_whitespace(Required::Yes));
  1250. auto name = TRY(parse_name());
  1251. TRY(skip_whitespace(Required::Yes));
  1252. // PEDef ::= EntityValue | ExternalID
  1253. if (auto result = parse_entity_value(); !result.is_error())
  1254. definition = result.release_value();
  1255. else
  1256. definition = TRY(parse_external_id());
  1257. TRY(skip_whitespace());
  1258. TRY(expect(">"sv));
  1259. rollback.disarm();
  1260. return PEDeclaration {
  1261. move(name),
  1262. move(definition).downcast<ByteString, ExternalID>(),
  1263. };
  1264. }
  1265. // 4.7.83 PublicID, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-PublicID
  1266. ErrorOr<PublicID, ParseError> Parser::parse_public_id()
  1267. {
  1268. auto rollback = rollback_point();
  1269. auto rule = enter_rule();
  1270. // PublicID ::= 'PUBLIC' S PubidLiteral
  1271. TRY(expect("PUBLIC"sv));
  1272. auto accept = accept_rule();
  1273. TRY(skip_whitespace(Required::Yes));
  1274. auto text = TRY(parse_public_id_literal());
  1275. rollback.disarm();
  1276. return PublicID {
  1277. text,
  1278. };
  1279. }
  1280. constexpr static auto s_public_id_characters = set_to_search<StringSet("\x20\x0d\x0a-'()+,./:=?;!*#@$_%")>().unify(ranges_for_search<Range('a', 'z'), Range('A', 'Z'), Range('0', '9')>());
  1281. // 2.3.12, PubidLiteral, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-PubidLiteral
  1282. ErrorOr<StringView, ParseError> Parser::parse_public_id_literal()
  1283. {
  1284. auto rollback = rollback_point();
  1285. auto rule = enter_rule();
  1286. // PubidLiteral ::= '"' PubidChar* '"' | "'" (PubidChar - "'")* "'"
  1287. auto quote = TRY(expect(is_any_of("'\""sv), "any of ' or \""sv));
  1288. auto accept = accept_rule();
  1289. auto id = TRY(expect_many(
  1290. [q = quote[0]](auto x) {
  1291. return (q == '\'' ? x != '\'' : true) && s_public_id_characters.contains(x);
  1292. },
  1293. "a PubidChar"sv));
  1294. TRY(expect(quote));
  1295. rollback.disarm();
  1296. return id;
  1297. }
  1298. // 2.3.11 SystemLiteral, https://www.w3.org/TR/xml/#NT-SystemLiteral
  1299. ErrorOr<StringView, ParseError> Parser::parse_system_id_literal()
  1300. {
  1301. auto rollback = rollback_point();
  1302. auto rule = enter_rule();
  1303. // SystemLiteral ::= ('"' [^"]* '"') | ("'" [^']* "'")
  1304. auto quote = TRY(expect(is_any_of("'\""sv), "any of ' or \""sv));
  1305. auto accept = accept_rule();
  1306. auto id = TRY(expect_many(is_not_any_of(quote), "not a quote"sv));
  1307. TRY(expect(quote));
  1308. rollback.disarm();
  1309. return id;
  1310. }
  1311. // 4.2.75 ExternalID, https://www.w3.org/TR/xml/#NT-ExternalID
  1312. ErrorOr<ExternalID, ParseError> Parser::parse_external_id()
  1313. {
  1314. auto rollback = rollback_point();
  1315. auto rule = enter_rule();
  1316. // ExternalID ::= 'SYSTEM' S SystemLiteral
  1317. // | 'PUBLIC' S PubidLiteral S SystemLiteral
  1318. Optional<PublicID> public_id;
  1319. SystemID system_id;
  1320. if (m_lexer.consume_specific("SYSTEM"sv)) {
  1321. auto accept = accept_rule();
  1322. TRY(skip_whitespace(Required::Yes));
  1323. system_id = SystemID { TRY(parse_system_id_literal()) };
  1324. } else {
  1325. TRY(expect("PUBLIC"sv));
  1326. auto accept = accept_rule();
  1327. TRY(skip_whitespace(Required::Yes));
  1328. public_id = PublicID { TRY(parse_public_id_literal()) };
  1329. TRY(skip_whitespace(Required::Yes));
  1330. system_id = SystemID { TRY(parse_system_id_literal()) };
  1331. }
  1332. rollback.disarm();
  1333. return ExternalID {
  1334. move(public_id),
  1335. move(system_id),
  1336. };
  1337. }
  1338. // 4.2.2.76 NDataDecl, https://www.w3.org/TR/xml/#NT-NDataDecl
  1339. ErrorOr<Name, ParseError> Parser::parse_notation_data_declaration()
  1340. {
  1341. auto rollback = rollback_point();
  1342. auto rule = enter_rule();
  1343. // NDataDecl ::= S 'NDATA' S Name
  1344. TRY(skip_whitespace(Required::Yes));
  1345. auto accept = accept_rule();
  1346. TRY(expect("NDATA"sv));
  1347. TRY(skip_whitespace(Required::Yes));
  1348. auto name = TRY(parse_name());
  1349. rollback.disarm();
  1350. return name;
  1351. }
  1352. // 2.3.9 EntityValue, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-EntityValue
  1353. ErrorOr<ByteString, ParseError> Parser::parse_entity_value()
  1354. {
  1355. auto rollback = rollback_point();
  1356. auto rule = enter_rule();
  1357. StringBuilder builder;
  1358. // EntityValue ::= '"' ([^%&"] | PEReference | Reference)* '"'
  1359. // | "'" ([^%&'] | PEReference | Reference)* "'"
  1360. auto quote = TRY(expect(is_any_of("'\""sv), "any of ' or \""sv));
  1361. auto accept = accept_rule();
  1362. while (true) {
  1363. if (m_lexer.is_eof())
  1364. break;
  1365. if (m_lexer.next_is(quote))
  1366. break;
  1367. if (m_lexer.next_is('%')) {
  1368. auto start = m_lexer.tell();
  1369. TRY(parse_parameter_entity_reference());
  1370. builder.append(m_source.substring_view(start, m_lexer.tell() - start));
  1371. continue;
  1372. }
  1373. if (m_lexer.next_is('&')) {
  1374. auto start = m_lexer.tell();
  1375. TRY(parse_reference());
  1376. builder.append(m_source.substring_view(start, m_lexer.tell() - start));
  1377. continue;
  1378. }
  1379. builder.append(m_lexer.consume());
  1380. }
  1381. TRY(expect(quote));
  1382. rollback.disarm();
  1383. return builder.to_byte_string();
  1384. }
  1385. // 2.7.18 CDSect, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-CDSect
  1386. ErrorOr<StringView, ParseError> Parser::parse_cdata_section()
  1387. {
  1388. auto rollback = rollback_point();
  1389. auto rule = enter_rule();
  1390. // CDSect ::= CDStart CData CDEnd
  1391. // CDStart ::= '<![CDATA['
  1392. // CData ::= (Char* - (Char* ']]>' Char*))
  1393. // CDEnd ::= ']]>'
  1394. TRY(expect("<![CDATA["sv));
  1395. auto accept = accept_rule();
  1396. auto section_start = m_lexer.tell();
  1397. while (!m_lexer.next_is("]]>")) {
  1398. if (m_lexer.is_eof())
  1399. break;
  1400. m_lexer.ignore();
  1401. }
  1402. auto section_end = m_lexer.tell();
  1403. TRY(expect("]]>"sv));
  1404. rollback.disarm();
  1405. return m_source.substring_view(section_start, section_end - section_start);
  1406. }
  1407. // 2.8.30 extSubset, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-extSubset
  1408. ErrorOr<Vector<MarkupDeclaration>, ParseError> Parser::parse_external_subset()
  1409. {
  1410. auto rollback = rollback_point();
  1411. auto rule = enter_rule();
  1412. // extSubset ::= TextDecl? extSubsetDecl
  1413. (void)parse_text_declaration();
  1414. auto result = TRY(parse_external_subset_declaration());
  1415. rollback.disarm();
  1416. return result;
  1417. }
  1418. // 4.3.1.77 TextDecl, https://www.w3.org/TR/2006/REC-xml11-20060816/#NT-TextDecl
  1419. ErrorOr<void, ParseError> Parser::parse_text_declaration()
  1420. {
  1421. auto rollback = rollback_point();
  1422. auto rule = enter_rule();
  1423. // TextDecl ::= '<?xml' VersionInfo? EncodingDecl S? '?>'
  1424. TRY(expect("<?xml"sv));
  1425. auto accept = accept_rule();
  1426. (void)parse_version_info();
  1427. TRY(parse_encoding_decl());
  1428. TRY(skip_whitespace());
  1429. TRY(expect("?>"sv));
  1430. rollback.disarm();
  1431. return {};
  1432. }
  1433. ErrorOr<ByteString, ParseError> Parser::resolve_reference(EntityReference const& reference, ReferencePlacement placement)
  1434. {
  1435. static HashTable<Name> reference_lookup {};
  1436. if (reference_lookup.contains(reference.name))
  1437. return parse_error(m_lexer.current_position(), ByteString::formatted("Invalid recursive definition for '{}'", reference.name));
  1438. reference_lookup.set(reference.name);
  1439. ScopeGuard remove_lookup {
  1440. [&] {
  1441. reference_lookup.remove(reference.name);
  1442. }
  1443. };
  1444. Optional<ByteString> resolved;
  1445. if (m_doctype.has_value()) {
  1446. // FIXME: Split these up and resolve them ahead of time.
  1447. for (auto& declaration : m_doctype->markup_declarations) {
  1448. auto entity = declaration.get_pointer<EntityDeclaration>();
  1449. if (!entity)
  1450. continue;
  1451. auto ge_declaration = entity->get_pointer<GEDeclaration>();
  1452. if (!ge_declaration)
  1453. continue;
  1454. if (ge_declaration->name != reference.name)
  1455. continue;
  1456. TRY(ge_declaration->definition.visit(
  1457. [&](ByteString const& definition) -> ErrorOr<void, ParseError> {
  1458. resolved = definition;
  1459. return {};
  1460. },
  1461. [&](EntityDefinition const& definition) -> ErrorOr<void, ParseError> {
  1462. if (placement == ReferencePlacement::AttributeValue)
  1463. return parse_error(m_lexer.current_position(), ByteString::formatted("Attribute references external entity '{}'", reference.name));
  1464. if (definition.notation.has_value())
  1465. return parse_error(m_lexer.position_for(0), ByteString::formatted("Entity reference to unparsed entity '{}'", reference.name));
  1466. if (!m_options.resolve_external_resource)
  1467. return parse_error(m_lexer.position_for(0), ByteString::formatted("Failed to resolve external entity '{}'", reference.name));
  1468. auto result = m_options.resolve_external_resource(definition.id.system_id, definition.id.public_id);
  1469. if (result.is_error())
  1470. return parse_error(m_lexer.position_for(0), ByteString::formatted("Failed to resolve external entity '{}': {}", reference.name, result.error()));
  1471. resolved = result.release_value();
  1472. return {};
  1473. }));
  1474. break;
  1475. }
  1476. }
  1477. if (!resolved.has_value()) {
  1478. if (reference.name == "amp")
  1479. return "&";
  1480. if (reference.name == "lt")
  1481. return "<";
  1482. if (reference.name == "gt")
  1483. return ">";
  1484. if (reference.name == "apos")
  1485. return "'";
  1486. if (reference.name == "quot")
  1487. return "\"";
  1488. return parse_error(m_lexer.position_for(0), ByteString::formatted("Reference to undeclared entity '{}'", reference.name));
  1489. }
  1490. StringView resolved_source = *resolved;
  1491. TemporaryChange source { m_source, resolved_source };
  1492. TemporaryChange lexer { m_lexer, LineTrackingLexer(m_source) };
  1493. switch (placement) {
  1494. case ReferencePlacement::AttributeValue:
  1495. return TRY(parse_attribute_value_inner(""sv));
  1496. case ReferencePlacement::Content:
  1497. TRY(parse_content());
  1498. return "";
  1499. default:
  1500. VERIFY_NOT_REACHED();
  1501. }
  1502. }
  1503. }