HTMLTokenizer.cpp 89 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631
  1. /*
  2. * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/Debug.h>
  7. #include <AK/SourceLocation.h>
  8. #include <LibTextCodec/Decoder.h>
  9. #include <LibWeb/HTML/Parser/Entities.h>
  10. #include <LibWeb/HTML/Parser/HTMLToken.h>
  11. #include <LibWeb/HTML/Parser/HTMLTokenizer.h>
  12. #include <ctype.h>
  13. #include <string.h>
  14. namespace Web::HTML {
  15. #pragma GCC diagnostic ignored "-Wunused-label"
  16. #define CONSUME_NEXT_INPUT_CHARACTER \
  17. current_input_character = next_code_point();
  18. #define SWITCH_TO(new_state) \
  19. do { \
  20. will_switch_to(State::new_state); \
  21. m_state = State::new_state; \
  22. CONSUME_NEXT_INPUT_CHARACTER; \
  23. goto new_state; \
  24. } while (0)
  25. #define RECONSUME_IN(new_state) \
  26. do { \
  27. will_reconsume_in(State::new_state); \
  28. m_state = State::new_state; \
  29. goto new_state; \
  30. } while (0)
  31. #define SWITCH_TO_RETURN_STATE \
  32. do { \
  33. will_switch_to(m_return_state); \
  34. m_state = m_return_state; \
  35. goto _StartOfFunction; \
  36. } while (0)
  37. #define RECONSUME_IN_RETURN_STATE \
  38. do { \
  39. will_reconsume_in(m_return_state); \
  40. m_state = m_return_state; \
  41. if (current_input_character.has_value()) \
  42. m_utf8_iterator = m_prev_utf8_iterator; \
  43. goto _StartOfFunction; \
  44. } while (0)
  45. #define SWITCH_TO_AND_EMIT_CURRENT_TOKEN(new_state) \
  46. do { \
  47. will_switch_to(State::new_state); \
  48. m_state = State::new_state; \
  49. will_emit(m_current_token); \
  50. m_queued_tokens.enqueue(m_current_token); \
  51. return m_queued_tokens.dequeue(); \
  52. } while (0)
  53. #define EMIT_CHARACTER_AND_RECONSUME_IN(code_point, new_state) \
  54. do { \
  55. m_queued_tokens.enqueue(HTMLToken::make_character(code_point)); \
  56. will_reconsume_in(State::new_state); \
  57. m_state = State::new_state; \
  58. goto new_state; \
  59. } while (0)
  60. #define FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE \
  61. do { \
  62. for (auto code_point : m_temporary_buffer) { \
  63. if (consumed_as_part_of_an_attribute()) { \
  64. m_current_token.m_tag.attributes.last().value_builder.append_code_point(code_point); \
  65. } else { \
  66. create_new_token(HTMLToken::Type::Character); \
  67. m_current_token.m_comment_or_character.data.append_code_point(code_point); \
  68. m_queued_tokens.enqueue(m_current_token); \
  69. } \
  70. } \
  71. } while (0)
  72. #define DONT_CONSUME_NEXT_INPUT_CHARACTER \
  73. do { \
  74. m_utf8_iterator = m_prev_utf8_iterator; \
  75. } while (0)
  76. #define ON(code_point) \
  77. if (current_input_character.has_value() && current_input_character.value() == code_point)
  78. #define ON_EOF \
  79. if (!current_input_character.has_value())
  80. #define ON_ASCII_ALPHA \
  81. if (current_input_character.has_value() && isalpha(current_input_character.value()))
  82. #define ON_ASCII_ALPHANUMERIC \
  83. if (current_input_character.has_value() && isalnum(current_input_character.value()))
  84. #define ON_ASCII_UPPER_ALPHA \
  85. if (current_input_character.has_value() && current_input_character.value() >= 'A' && current_input_character.value() <= 'Z')
  86. #define ON_ASCII_LOWER_ALPHA \
  87. if (current_input_character.has_value() && current_input_character.value() >= 'a' && current_input_character.value() <= 'z')
  88. #define ON_ASCII_DIGIT \
  89. if (current_input_character.has_value() && isdigit(current_input_character.value()))
  90. #define ON_ASCII_HEX_DIGIT \
  91. if (current_input_character.has_value() && isxdigit(current_input_character.value()))
  92. #define ON_WHITESPACE \
  93. if (current_input_character.has_value() && strchr("\t\n\f ", current_input_character.value()))
  94. #define ANYTHING_ELSE if (1)
  95. #define EMIT_EOF \
  96. do { \
  97. if (m_has_emitted_eof) \
  98. return {}; \
  99. m_has_emitted_eof = true; \
  100. create_new_token(HTMLToken::Type::EndOfFile); \
  101. will_emit(m_current_token); \
  102. m_queued_tokens.enqueue(m_current_token); \
  103. return m_queued_tokens.dequeue(); \
  104. } while (0)
  105. #define EMIT_CURRENT_TOKEN \
  106. do { \
  107. will_emit(m_current_token); \
  108. m_queued_tokens.enqueue(m_current_token); \
  109. return m_queued_tokens.dequeue(); \
  110. } while (0)
  111. #define EMIT_CHARACTER(code_point) \
  112. do { \
  113. create_new_token(HTMLToken::Type::Character); \
  114. m_current_token.m_comment_or_character.data.append_code_point(code_point); \
  115. m_queued_tokens.enqueue(m_current_token); \
  116. return m_queued_tokens.dequeue(); \
  117. } while (0)
  118. #define EMIT_CURRENT_CHARACTER \
  119. EMIT_CHARACTER(current_input_character.value());
  120. #define SWITCH_TO_AND_EMIT_CHARACTER(code_point, new_state) \
  121. do { \
  122. will_switch_to(State::new_state); \
  123. m_state = State::new_state; \
  124. EMIT_CHARACTER(code_point); \
  125. } while (0)
  126. #define SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(new_state) \
  127. SWITCH_TO_AND_EMIT_CHARACTER(current_input_character.value(), new_state)
  128. #define BEGIN_STATE(state) \
  129. state: \
  130. case State::state: { \
  131. { \
  132. {
  133. #define END_STATE \
  134. VERIFY_NOT_REACHED(); \
  135. break; \
  136. } \
  137. } \
  138. }
  139. static inline void log_parse_error(const SourceLocation& location = SourceLocation::current())
  140. {
  141. dbgln_if(TOKENIZER_TRACE_DEBUG, "Parse error (tokenization) {}", location);
  142. }
  143. static inline bool is_surrogate(u32 code_point)
  144. {
  145. return (code_point & 0xfffff800) == 0xd800;
  146. }
  147. static inline bool is_noncharacter(u32 code_point)
  148. {
  149. return code_point >= 0xfdd0 && (code_point <= 0xfdef || (code_point & 0xfffe) == 0xfffe) && code_point <= 0x10ffff;
  150. }
  151. static inline bool is_c0_control(u32 code_point)
  152. {
  153. return code_point <= 0x1f;
  154. }
  155. static inline bool is_control(u32 code_point)
  156. {
  157. return is_c0_control(code_point) || (code_point >= 0x7f && code_point <= 0x9f);
  158. }
  159. Optional<u32> HTMLTokenizer::next_code_point()
  160. {
  161. if (m_utf8_iterator == m_utf8_view.end())
  162. return {};
  163. m_prev_utf8_iterator = m_utf8_iterator;
  164. ++m_utf8_iterator;
  165. dbgln_if(TOKENIZER_TRACE_DEBUG, "(Tokenizer) Next code_point: {}", (char)*m_prev_utf8_iterator);
  166. return *m_prev_utf8_iterator;
  167. }
  168. Optional<u32> HTMLTokenizer::peek_code_point(size_t offset) const
  169. {
  170. auto it = m_utf8_iterator;
  171. for (size_t i = 0; i < offset && it != m_utf8_view.end(); ++i)
  172. ++it;
  173. if (it == m_utf8_view.end())
  174. return {};
  175. return *it;
  176. }
  177. Optional<HTMLToken> HTMLTokenizer::next_token()
  178. {
  179. _StartOfFunction:
  180. if (!m_queued_tokens.is_empty())
  181. return m_queued_tokens.dequeue();
  182. for (;;) {
  183. auto current_input_character = next_code_point();
  184. switch (m_state) {
  185. BEGIN_STATE(Data)
  186. {
  187. ON('&')
  188. {
  189. m_return_state = State::Data;
  190. SWITCH_TO(CharacterReference);
  191. }
  192. ON('<')
  193. {
  194. SWITCH_TO(TagOpen);
  195. }
  196. ON(0)
  197. {
  198. log_parse_error();
  199. EMIT_CURRENT_CHARACTER;
  200. }
  201. ON_EOF
  202. {
  203. EMIT_EOF;
  204. }
  205. ANYTHING_ELSE
  206. {
  207. EMIT_CURRENT_CHARACTER;
  208. }
  209. }
  210. END_STATE
  211. BEGIN_STATE(TagOpen)
  212. {
  213. ON('!')
  214. {
  215. SWITCH_TO(MarkupDeclarationOpen);
  216. }
  217. ON('/')
  218. {
  219. SWITCH_TO(EndTagOpen);
  220. }
  221. ON_ASCII_ALPHA
  222. {
  223. create_new_token(HTMLToken::Type::StartTag);
  224. RECONSUME_IN(TagName);
  225. }
  226. ON('?')
  227. {
  228. log_parse_error();
  229. create_new_token(HTMLToken::Type::Comment);
  230. RECONSUME_IN(BogusComment);
  231. }
  232. ON_EOF
  233. {
  234. log_parse_error();
  235. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  236. EMIT_EOF;
  237. }
  238. ANYTHING_ELSE
  239. {
  240. log_parse_error();
  241. EMIT_CHARACTER_AND_RECONSUME_IN('<', Data);
  242. }
  243. }
  244. END_STATE
  245. BEGIN_STATE(TagName)
  246. {
  247. ON_WHITESPACE
  248. {
  249. SWITCH_TO(BeforeAttributeName);
  250. }
  251. ON('/')
  252. {
  253. SWITCH_TO(SelfClosingStartTag);
  254. }
  255. ON('>')
  256. {
  257. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  258. }
  259. ON_ASCII_UPPER_ALPHA
  260. {
  261. m_current_token.m_tag.tag_name.append(tolower(current_input_character.value()));
  262. continue;
  263. }
  264. ON(0)
  265. {
  266. log_parse_error();
  267. m_current_token.m_tag.tag_name.append_code_point(0xFFFD);
  268. continue;
  269. }
  270. ON_EOF
  271. {
  272. log_parse_error();
  273. EMIT_EOF;
  274. }
  275. ANYTHING_ELSE
  276. {
  277. m_current_token.m_tag.tag_name.append_code_point(current_input_character.value());
  278. continue;
  279. }
  280. }
  281. END_STATE
  282. BEGIN_STATE(EndTagOpen)
  283. {
  284. ON_ASCII_ALPHA
  285. {
  286. create_new_token(HTMLToken::Type::EndTag);
  287. RECONSUME_IN(TagName);
  288. }
  289. ON('>')
  290. {
  291. log_parse_error();
  292. SWITCH_TO(Data);
  293. }
  294. ON_EOF
  295. {
  296. log_parse_error();
  297. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  298. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  299. EMIT_EOF;
  300. }
  301. ANYTHING_ELSE
  302. {
  303. log_parse_error();
  304. create_new_token(HTMLToken::Type::Comment);
  305. RECONSUME_IN(BogusComment);
  306. }
  307. }
  308. END_STATE
  309. BEGIN_STATE(MarkupDeclarationOpen)
  310. {
  311. DONT_CONSUME_NEXT_INPUT_CHARACTER;
  312. if (consume_next_if_match("--")) {
  313. create_new_token(HTMLToken::Type::Comment);
  314. SWITCH_TO(CommentStart);
  315. }
  316. if (consume_next_if_match("DOCTYPE", CaseSensitivity::CaseInsensitive)) {
  317. SWITCH_TO(DOCTYPE);
  318. }
  319. if (consume_next_if_match("[CDATA[")) {
  320. TODO();
  321. }
  322. ANYTHING_ELSE
  323. {
  324. log_parse_error();
  325. create_new_token(HTMLToken::Type::Comment);
  326. SWITCH_TO(BogusComment);
  327. }
  328. }
  329. END_STATE
  330. BEGIN_STATE(BogusComment)
  331. {
  332. ON('>')
  333. {
  334. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  335. }
  336. ON_EOF
  337. {
  338. m_queued_tokens.enqueue(m_current_token);
  339. EMIT_EOF;
  340. }
  341. ON(0)
  342. {
  343. log_parse_error();
  344. m_current_token.m_comment_or_character.data.append_code_point(0xFFFD);
  345. continue;
  346. }
  347. ANYTHING_ELSE
  348. {
  349. m_current_token.m_comment_or_character.data.append_code_point(current_input_character.value());
  350. continue;
  351. }
  352. }
  353. END_STATE
  354. BEGIN_STATE(DOCTYPE)
  355. {
  356. ON_WHITESPACE
  357. {
  358. SWITCH_TO(BeforeDOCTYPEName);
  359. }
  360. ON('>')
  361. {
  362. RECONSUME_IN(BeforeDOCTYPEName);
  363. }
  364. ON_EOF
  365. {
  366. log_parse_error();
  367. create_new_token(HTMLToken::Type::DOCTYPE);
  368. m_current_token.m_doctype.force_quirks = true;
  369. m_queued_tokens.enqueue(m_current_token);
  370. EMIT_EOF;
  371. }
  372. ANYTHING_ELSE
  373. {
  374. log_parse_error();
  375. RECONSUME_IN(BeforeDOCTYPEName);
  376. }
  377. }
  378. END_STATE
  379. BEGIN_STATE(BeforeDOCTYPEName)
  380. {
  381. ON_WHITESPACE
  382. {
  383. continue;
  384. }
  385. ON_ASCII_UPPER_ALPHA
  386. {
  387. create_new_token(HTMLToken::Type::DOCTYPE);
  388. m_current_token.m_doctype.name.append(tolower(current_input_character.value()));
  389. m_current_token.m_doctype.missing_name = false;
  390. SWITCH_TO(DOCTYPEName);
  391. }
  392. ON(0)
  393. {
  394. log_parse_error();
  395. create_new_token(HTMLToken::Type::DOCTYPE);
  396. m_current_token.m_doctype.name.append_code_point(0xFFFD);
  397. m_current_token.m_doctype.missing_name = false;
  398. SWITCH_TO(DOCTYPEName);
  399. }
  400. ON('>')
  401. {
  402. log_parse_error();
  403. create_new_token(HTMLToken::Type::DOCTYPE);
  404. m_current_token.m_doctype.force_quirks = true;
  405. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  406. }
  407. ON_EOF
  408. {
  409. log_parse_error();
  410. create_new_token(HTMLToken::Type::DOCTYPE);
  411. m_current_token.m_doctype.force_quirks = true;
  412. m_queued_tokens.enqueue(m_current_token);
  413. EMIT_EOF;
  414. }
  415. ANYTHING_ELSE
  416. {
  417. create_new_token(HTMLToken::Type::DOCTYPE);
  418. m_current_token.m_doctype.name.append_code_point(current_input_character.value());
  419. m_current_token.m_doctype.missing_name = false;
  420. SWITCH_TO(DOCTYPEName);
  421. }
  422. }
  423. END_STATE
  424. BEGIN_STATE(DOCTYPEName)
  425. {
  426. ON_WHITESPACE
  427. {
  428. SWITCH_TO(AfterDOCTYPEName);
  429. }
  430. ON('>')
  431. {
  432. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  433. }
  434. ON_ASCII_UPPER_ALPHA
  435. {
  436. m_current_token.m_doctype.name.append(tolower(current_input_character.value()));
  437. continue;
  438. }
  439. ON(0)
  440. {
  441. log_parse_error();
  442. m_current_token.m_doctype.name.append_code_point(0xFFFD);
  443. continue;
  444. }
  445. ON_EOF
  446. {
  447. log_parse_error();
  448. m_current_token.m_doctype.force_quirks = true;
  449. m_queued_tokens.enqueue(m_current_token);
  450. EMIT_EOF;
  451. }
  452. ANYTHING_ELSE
  453. {
  454. m_current_token.m_doctype.name.append_code_point(current_input_character.value());
  455. continue;
  456. }
  457. }
  458. END_STATE
  459. BEGIN_STATE(AfterDOCTYPEName)
  460. {
  461. ON_WHITESPACE
  462. {
  463. continue;
  464. }
  465. ON('>')
  466. {
  467. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  468. }
  469. ON_EOF
  470. {
  471. log_parse_error();
  472. m_current_token.m_doctype.force_quirks = true;
  473. m_queued_tokens.enqueue(m_current_token);
  474. EMIT_EOF;
  475. }
  476. ANYTHING_ELSE
  477. {
  478. if (toupper(current_input_character.value()) == 'P' && consume_next_if_match("UBLIC", CaseSensitivity::CaseInsensitive)) {
  479. SWITCH_TO(AfterDOCTYPEPublicKeyword);
  480. }
  481. if (toupper(current_input_character.value()) == 'S' && consume_next_if_match("YSTEM", CaseSensitivity::CaseInsensitive)) {
  482. SWITCH_TO(AfterDOCTYPESystemKeyword);
  483. }
  484. log_parse_error();
  485. m_current_token.m_doctype.force_quirks = true;
  486. RECONSUME_IN(BogusDOCTYPE);
  487. }
  488. }
  489. END_STATE
  490. BEGIN_STATE(AfterDOCTYPEPublicKeyword)
  491. {
  492. ON_WHITESPACE
  493. {
  494. SWITCH_TO(BeforeDOCTYPEPublicIdentifier);
  495. }
  496. ON('"')
  497. {
  498. log_parse_error();
  499. m_current_token.m_doctype.public_identifier.clear();
  500. m_current_token.m_doctype.missing_public_identifier = false;
  501. SWITCH_TO(DOCTYPEPublicIdentifierDoubleQuoted);
  502. }
  503. ON('\'')
  504. {
  505. log_parse_error();
  506. m_current_token.m_doctype.public_identifier.clear();
  507. m_current_token.m_doctype.missing_public_identifier = false;
  508. SWITCH_TO(DOCTYPEPublicIdentifierSingleQuoted);
  509. }
  510. ON('>')
  511. {
  512. log_parse_error();
  513. m_current_token.m_doctype.force_quirks = true;
  514. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  515. }
  516. ON_EOF
  517. {
  518. log_parse_error();
  519. m_current_token.m_doctype.force_quirks = true;
  520. m_queued_tokens.enqueue(m_current_token);
  521. EMIT_EOF;
  522. }
  523. ANYTHING_ELSE
  524. {
  525. log_parse_error();
  526. m_current_token.m_doctype.force_quirks = true;
  527. RECONSUME_IN(BogusDOCTYPE);
  528. }
  529. }
  530. END_STATE
  531. BEGIN_STATE(AfterDOCTYPESystemKeyword)
  532. {
  533. ON_WHITESPACE
  534. {
  535. SWITCH_TO(BeforeDOCTYPESystemIdentifier);
  536. }
  537. ON('"')
  538. {
  539. log_parse_error();
  540. m_current_token.m_doctype.system_identifier.clear();
  541. m_current_token.m_doctype.missing_system_identifier = false;
  542. SWITCH_TO(DOCTYPESystemIdentifierDoubleQuoted);
  543. }
  544. ON('\'')
  545. {
  546. log_parse_error();
  547. m_current_token.m_doctype.system_identifier.clear();
  548. m_current_token.m_doctype.missing_system_identifier = false;
  549. SWITCH_TO(DOCTYPESystemIdentifierSingleQuoted);
  550. }
  551. ON('>')
  552. {
  553. log_parse_error();
  554. m_current_token.m_doctype.force_quirks = true;
  555. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  556. }
  557. ON_EOF
  558. {
  559. log_parse_error();
  560. m_current_token.m_doctype.force_quirks = true;
  561. m_queued_tokens.enqueue(m_current_token);
  562. EMIT_EOF;
  563. }
  564. ANYTHING_ELSE
  565. {
  566. log_parse_error();
  567. m_current_token.m_doctype.force_quirks = true;
  568. RECONSUME_IN(BogusDOCTYPE);
  569. }
  570. }
  571. END_STATE
  572. BEGIN_STATE(BeforeDOCTYPEPublicIdentifier)
  573. {
  574. ON_WHITESPACE
  575. {
  576. continue;
  577. }
  578. ON('"')
  579. {
  580. m_current_token.m_doctype.public_identifier.clear();
  581. m_current_token.m_doctype.missing_public_identifier = false;
  582. SWITCH_TO(DOCTYPEPublicIdentifierDoubleQuoted);
  583. }
  584. ON('\'')
  585. {
  586. m_current_token.m_doctype.public_identifier.clear();
  587. m_current_token.m_doctype.missing_public_identifier = false;
  588. SWITCH_TO(DOCTYPEPublicIdentifierSingleQuoted);
  589. }
  590. ON('>')
  591. {
  592. log_parse_error();
  593. m_current_token.m_doctype.force_quirks = true;
  594. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  595. }
  596. ON_EOF
  597. {
  598. log_parse_error();
  599. m_current_token.m_doctype.force_quirks = true;
  600. m_queued_tokens.enqueue(m_current_token);
  601. EMIT_EOF;
  602. }
  603. ANYTHING_ELSE
  604. {
  605. log_parse_error();
  606. m_current_token.m_doctype.force_quirks = true;
  607. RECONSUME_IN(BogusDOCTYPE);
  608. }
  609. }
  610. END_STATE
  611. BEGIN_STATE(BeforeDOCTYPESystemIdentifier)
  612. {
  613. ON_WHITESPACE
  614. {
  615. continue;
  616. }
  617. ON('"')
  618. {
  619. m_current_token.m_doctype.system_identifier.clear();
  620. m_current_token.m_doctype.missing_system_identifier = false;
  621. SWITCH_TO(DOCTYPESystemIdentifierDoubleQuoted);
  622. }
  623. ON('\'')
  624. {
  625. m_current_token.m_doctype.system_identifier.clear();
  626. m_current_token.m_doctype.missing_system_identifier = false;
  627. SWITCH_TO(DOCTYPESystemIdentifierSingleQuoted);
  628. }
  629. ON('>')
  630. {
  631. log_parse_error();
  632. m_current_token.m_doctype.force_quirks = true;
  633. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  634. }
  635. ON_EOF
  636. {
  637. log_parse_error();
  638. m_current_token.m_doctype.force_quirks = true;
  639. m_queued_tokens.enqueue(m_current_token);
  640. EMIT_EOF;
  641. }
  642. ANYTHING_ELSE
  643. {
  644. log_parse_error();
  645. m_current_token.m_doctype.force_quirks = true;
  646. RECONSUME_IN(BogusDOCTYPE);
  647. }
  648. }
  649. END_STATE
  650. BEGIN_STATE(DOCTYPEPublicIdentifierDoubleQuoted)
  651. {
  652. ON('"')
  653. {
  654. SWITCH_TO(AfterDOCTYPEPublicIdentifier);
  655. }
  656. ON(0)
  657. {
  658. log_parse_error();
  659. m_current_token.m_doctype.public_identifier.append_code_point(0xFFFD);
  660. continue;
  661. }
  662. ON('>')
  663. {
  664. log_parse_error();
  665. m_current_token.m_doctype.force_quirks = true;
  666. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  667. }
  668. ON_EOF
  669. {
  670. log_parse_error();
  671. m_current_token.m_doctype.force_quirks = true;
  672. m_queued_tokens.enqueue(m_current_token);
  673. EMIT_EOF;
  674. }
  675. ANYTHING_ELSE
  676. {
  677. m_current_token.m_doctype.public_identifier.append_code_point(current_input_character.value());
  678. continue;
  679. }
  680. }
  681. END_STATE
  682. BEGIN_STATE(DOCTYPEPublicIdentifierSingleQuoted)
  683. {
  684. ON('\'')
  685. {
  686. SWITCH_TO(AfterDOCTYPEPublicIdentifier);
  687. }
  688. ON(0)
  689. {
  690. log_parse_error();
  691. m_current_token.m_doctype.public_identifier.append_code_point(0xFFFD);
  692. continue;
  693. }
  694. ON('>')
  695. {
  696. log_parse_error();
  697. m_current_token.m_doctype.force_quirks = true;
  698. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  699. }
  700. ON_EOF
  701. {
  702. log_parse_error();
  703. m_current_token.m_doctype.force_quirks = true;
  704. m_queued_tokens.enqueue(m_current_token);
  705. EMIT_EOF;
  706. }
  707. ANYTHING_ELSE
  708. {
  709. m_current_token.m_doctype.public_identifier.append_code_point(current_input_character.value());
  710. continue;
  711. }
  712. }
  713. END_STATE
  714. BEGIN_STATE(DOCTYPESystemIdentifierDoubleQuoted)
  715. {
  716. ON('"')
  717. {
  718. SWITCH_TO(AfterDOCTYPESystemIdentifier);
  719. }
  720. ON(0)
  721. {
  722. log_parse_error();
  723. m_current_token.m_doctype.system_identifier.append_code_point(0xFFFD);
  724. continue;
  725. }
  726. ON('>')
  727. {
  728. log_parse_error();
  729. m_current_token.m_doctype.force_quirks = true;
  730. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  731. }
  732. ON_EOF
  733. {
  734. log_parse_error();
  735. m_current_token.m_doctype.force_quirks = true;
  736. m_queued_tokens.enqueue(m_current_token);
  737. EMIT_EOF;
  738. }
  739. ANYTHING_ELSE
  740. {
  741. m_current_token.m_doctype.system_identifier.append_code_point(current_input_character.value());
  742. continue;
  743. }
  744. }
  745. END_STATE
  746. BEGIN_STATE(DOCTYPESystemIdentifierSingleQuoted)
  747. {
  748. ON('\'')
  749. {
  750. SWITCH_TO(AfterDOCTYPESystemIdentifier);
  751. }
  752. ON(0)
  753. {
  754. log_parse_error();
  755. m_current_token.m_doctype.system_identifier.append_code_point(0xFFFD);
  756. continue;
  757. }
  758. ON('>')
  759. {
  760. log_parse_error();
  761. m_current_token.m_doctype.force_quirks = true;
  762. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  763. }
  764. ON_EOF
  765. {
  766. log_parse_error();
  767. m_current_token.m_doctype.force_quirks = true;
  768. m_queued_tokens.enqueue(m_current_token);
  769. EMIT_EOF;
  770. }
  771. ANYTHING_ELSE
  772. {
  773. m_current_token.m_doctype.system_identifier.append_code_point(current_input_character.value());
  774. continue;
  775. }
  776. }
  777. END_STATE
  778. BEGIN_STATE(AfterDOCTYPEPublicIdentifier)
  779. {
  780. ON_WHITESPACE
  781. {
  782. SWITCH_TO(BetweenDOCTYPEPublicAndSystemIdentifiers);
  783. }
  784. ON('>')
  785. {
  786. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  787. }
  788. ON('"')
  789. {
  790. log_parse_error();
  791. m_current_token.m_doctype.system_identifier.clear();
  792. m_current_token.m_doctype.missing_system_identifier = false;
  793. SWITCH_TO(DOCTYPESystemIdentifierDoubleQuoted);
  794. }
  795. ON('\'')
  796. {
  797. log_parse_error();
  798. m_current_token.m_doctype.system_identifier.clear();
  799. m_current_token.m_doctype.missing_system_identifier = false;
  800. SWITCH_TO(DOCTYPESystemIdentifierSingleQuoted);
  801. }
  802. ON_EOF
  803. {
  804. log_parse_error();
  805. m_current_token.m_doctype.force_quirks = true;
  806. m_queued_tokens.enqueue(m_current_token);
  807. EMIT_EOF;
  808. }
  809. ANYTHING_ELSE
  810. {
  811. log_parse_error();
  812. m_current_token.m_doctype.force_quirks = true;
  813. RECONSUME_IN(BogusDOCTYPE);
  814. }
  815. }
  816. END_STATE
  817. BEGIN_STATE(BetweenDOCTYPEPublicAndSystemIdentifiers)
  818. {
  819. ON_WHITESPACE
  820. {
  821. continue;
  822. }
  823. ON('>')
  824. {
  825. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  826. }
  827. ON('"')
  828. {
  829. m_current_token.m_doctype.system_identifier.clear();
  830. m_current_token.m_doctype.missing_system_identifier = false;
  831. SWITCH_TO(DOCTYPESystemIdentifierDoubleQuoted);
  832. }
  833. ON('\'')
  834. {
  835. m_current_token.m_doctype.system_identifier.clear();
  836. m_current_token.m_doctype.missing_system_identifier = false;
  837. SWITCH_TO(DOCTYPESystemIdentifierSingleQuoted);
  838. }
  839. ON_EOF
  840. {
  841. log_parse_error();
  842. m_current_token.m_doctype.force_quirks = true;
  843. m_queued_tokens.enqueue(m_current_token);
  844. EMIT_EOF;
  845. }
  846. ANYTHING_ELSE
  847. {
  848. log_parse_error();
  849. m_current_token.m_doctype.force_quirks = true;
  850. RECONSUME_IN(BogusDOCTYPE);
  851. }
  852. }
  853. END_STATE
  854. BEGIN_STATE(AfterDOCTYPESystemIdentifier)
  855. {
  856. ON_WHITESPACE
  857. {
  858. continue;
  859. }
  860. ON('>')
  861. {
  862. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  863. }
  864. ON_EOF
  865. {
  866. log_parse_error();
  867. m_current_token.m_doctype.force_quirks = true;
  868. m_queued_tokens.enqueue(m_current_token);
  869. EMIT_EOF;
  870. }
  871. ANYTHING_ELSE
  872. {
  873. log_parse_error();
  874. RECONSUME_IN(BogusDOCTYPE);
  875. }
  876. }
  877. END_STATE
  878. BEGIN_STATE(BogusDOCTYPE)
  879. {
  880. ON('>')
  881. {
  882. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  883. }
  884. ON(0)
  885. {
  886. log_parse_error();
  887. continue;
  888. }
  889. ON_EOF
  890. {
  891. m_queued_tokens.enqueue(m_current_token);
  892. EMIT_EOF;
  893. }
  894. ANYTHING_ELSE
  895. {
  896. continue;
  897. }
  898. }
  899. END_STATE
  900. BEGIN_STATE(BeforeAttributeName)
  901. {
  902. ON_WHITESPACE
  903. {
  904. continue;
  905. }
  906. ON('/')
  907. {
  908. RECONSUME_IN(AfterAttributeName);
  909. }
  910. ON('>')
  911. {
  912. RECONSUME_IN(AfterAttributeName);
  913. }
  914. ON_EOF
  915. {
  916. RECONSUME_IN(AfterAttributeName);
  917. }
  918. ON('=')
  919. {
  920. log_parse_error();
  921. auto new_attribute = HTMLToken::AttributeBuilder();
  922. new_attribute.local_name_builder.append_code_point(current_input_character.value());
  923. m_current_token.m_tag.attributes.append(new_attribute);
  924. SWITCH_TO(AttributeName);
  925. }
  926. ANYTHING_ELSE
  927. {
  928. m_current_token.m_tag.attributes.append(HTMLToken::AttributeBuilder());
  929. RECONSUME_IN(AttributeName);
  930. }
  931. }
  932. END_STATE
  933. BEGIN_STATE(SelfClosingStartTag)
  934. {
  935. ON('>')
  936. {
  937. m_current_token.m_tag.self_closing = true;
  938. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  939. }
  940. ON_EOF
  941. {
  942. log_parse_error();
  943. EMIT_EOF;
  944. }
  945. ANYTHING_ELSE
  946. {
  947. log_parse_error();
  948. RECONSUME_IN(BeforeAttributeName);
  949. }
  950. }
  951. END_STATE
  952. BEGIN_STATE(AttributeName)
  953. {
  954. ON_WHITESPACE
  955. {
  956. RECONSUME_IN(AfterAttributeName);
  957. }
  958. ON('/')
  959. {
  960. RECONSUME_IN(AfterAttributeName);
  961. }
  962. ON('>')
  963. {
  964. RECONSUME_IN(AfterAttributeName);
  965. }
  966. ON_EOF
  967. {
  968. RECONSUME_IN(AfterAttributeName);
  969. }
  970. ON('=')
  971. {
  972. SWITCH_TO(BeforeAttributeValue);
  973. }
  974. ON_ASCII_UPPER_ALPHA
  975. {
  976. m_current_token.m_tag.attributes.last().local_name_builder.append_code_point(tolower(current_input_character.value()));
  977. continue;
  978. }
  979. ON(0)
  980. {
  981. log_parse_error();
  982. m_current_token.m_tag.attributes.last().local_name_builder.append_code_point(0xFFFD);
  983. continue;
  984. }
  985. ON('"')
  986. {
  987. log_parse_error();
  988. goto AnythingElseAttributeName;
  989. }
  990. ON('\'')
  991. {
  992. log_parse_error();
  993. goto AnythingElseAttributeName;
  994. }
  995. ON('<')
  996. {
  997. log_parse_error();
  998. goto AnythingElseAttributeName;
  999. }
  1000. ANYTHING_ELSE
  1001. {
  1002. AnythingElseAttributeName:
  1003. m_current_token.m_tag.attributes.last().local_name_builder.append_code_point(current_input_character.value());
  1004. continue;
  1005. }
  1006. }
  1007. END_STATE
  1008. BEGIN_STATE(AfterAttributeName)
  1009. {
  1010. ON_WHITESPACE
  1011. {
  1012. continue;
  1013. }
  1014. ON('/')
  1015. {
  1016. SWITCH_TO(SelfClosingStartTag);
  1017. }
  1018. ON('=')
  1019. {
  1020. SWITCH_TO(BeforeAttributeValue);
  1021. }
  1022. ON('>')
  1023. {
  1024. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1025. }
  1026. ON_EOF
  1027. {
  1028. log_parse_error();
  1029. EMIT_EOF;
  1030. }
  1031. ANYTHING_ELSE
  1032. {
  1033. m_current_token.m_tag.attributes.append(HTMLToken::AttributeBuilder());
  1034. RECONSUME_IN(AttributeName);
  1035. }
  1036. }
  1037. END_STATE
  1038. BEGIN_STATE(BeforeAttributeValue)
  1039. {
  1040. ON_WHITESPACE
  1041. {
  1042. continue;
  1043. }
  1044. ON('"')
  1045. {
  1046. SWITCH_TO(AttributeValueDoubleQuoted);
  1047. }
  1048. ON('\'')
  1049. {
  1050. SWITCH_TO(AttributeValueSingleQuoted);
  1051. }
  1052. ON('>')
  1053. {
  1054. log_parse_error();
  1055. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1056. }
  1057. ANYTHING_ELSE
  1058. {
  1059. RECONSUME_IN(AttributeValueUnquoted);
  1060. }
  1061. }
  1062. END_STATE
  1063. BEGIN_STATE(AttributeValueDoubleQuoted)
  1064. {
  1065. ON('"')
  1066. {
  1067. SWITCH_TO(AfterAttributeValueQuoted);
  1068. }
  1069. ON('&')
  1070. {
  1071. m_return_state = State::AttributeValueDoubleQuoted;
  1072. SWITCH_TO(CharacterReference);
  1073. }
  1074. ON(0)
  1075. {
  1076. log_parse_error();
  1077. m_current_token.m_tag.attributes.last().value_builder.append_code_point(0xFFFD);
  1078. continue;
  1079. }
  1080. ON_EOF
  1081. {
  1082. log_parse_error();
  1083. EMIT_EOF;
  1084. }
  1085. ANYTHING_ELSE
  1086. {
  1087. m_current_token.m_tag.attributes.last().value_builder.append_code_point(current_input_character.value());
  1088. continue;
  1089. }
  1090. }
  1091. END_STATE
  1092. BEGIN_STATE(AttributeValueSingleQuoted)
  1093. {
  1094. ON('\'')
  1095. {
  1096. SWITCH_TO(AfterAttributeValueQuoted);
  1097. }
  1098. ON('&')
  1099. {
  1100. m_return_state = State::AttributeValueSingleQuoted;
  1101. SWITCH_TO(CharacterReference);
  1102. }
  1103. ON(0)
  1104. {
  1105. log_parse_error();
  1106. m_current_token.m_tag.attributes.last().value_builder.append_code_point(0xFFFD);
  1107. continue;
  1108. }
  1109. ON_EOF
  1110. {
  1111. log_parse_error();
  1112. EMIT_EOF;
  1113. }
  1114. ANYTHING_ELSE
  1115. {
  1116. m_current_token.m_tag.attributes.last().value_builder.append_code_point(current_input_character.value());
  1117. continue;
  1118. }
  1119. }
  1120. END_STATE
  1121. BEGIN_STATE(AttributeValueUnquoted)
  1122. {
  1123. ON_WHITESPACE
  1124. {
  1125. SWITCH_TO(BeforeAttributeName);
  1126. }
  1127. ON('&')
  1128. {
  1129. m_return_state = State::AttributeValueUnquoted;
  1130. SWITCH_TO(CharacterReference);
  1131. }
  1132. ON('>')
  1133. {
  1134. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1135. }
  1136. ON(0)
  1137. {
  1138. log_parse_error();
  1139. m_current_token.m_tag.attributes.last().value_builder.append_code_point(0xFFFD);
  1140. continue;
  1141. }
  1142. ON('"')
  1143. {
  1144. log_parse_error();
  1145. goto AnythingElseAttributeValueUnquoted;
  1146. }
  1147. ON('\'')
  1148. {
  1149. log_parse_error();
  1150. goto AnythingElseAttributeValueUnquoted;
  1151. }
  1152. ON('<')
  1153. {
  1154. log_parse_error();
  1155. goto AnythingElseAttributeValueUnquoted;
  1156. }
  1157. ON('=')
  1158. {
  1159. log_parse_error();
  1160. goto AnythingElseAttributeValueUnquoted;
  1161. }
  1162. ON('`')
  1163. {
  1164. log_parse_error();
  1165. goto AnythingElseAttributeValueUnquoted;
  1166. }
  1167. ON_EOF
  1168. {
  1169. log_parse_error();
  1170. EMIT_EOF;
  1171. }
  1172. ANYTHING_ELSE
  1173. {
  1174. AnythingElseAttributeValueUnquoted:
  1175. m_current_token.m_tag.attributes.last().value_builder.append_code_point(current_input_character.value());
  1176. continue;
  1177. }
  1178. }
  1179. END_STATE
  1180. BEGIN_STATE(AfterAttributeValueQuoted)
  1181. {
  1182. ON_WHITESPACE
  1183. {
  1184. SWITCH_TO(BeforeAttributeName);
  1185. }
  1186. ON('/')
  1187. {
  1188. SWITCH_TO(SelfClosingStartTag);
  1189. }
  1190. ON('>')
  1191. {
  1192. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1193. }
  1194. ON_EOF
  1195. {
  1196. log_parse_error();
  1197. EMIT_EOF;
  1198. }
  1199. ANYTHING_ELSE
  1200. {
  1201. log_parse_error();
  1202. RECONSUME_IN(BeforeAttributeName);
  1203. }
  1204. }
  1205. END_STATE
  1206. BEGIN_STATE(CommentStart)
  1207. {
  1208. ON('-')
  1209. {
  1210. SWITCH_TO(CommentStartDash);
  1211. }
  1212. ON('>')
  1213. {
  1214. log_parse_error();
  1215. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1216. }
  1217. ANYTHING_ELSE
  1218. {
  1219. RECONSUME_IN(Comment);
  1220. }
  1221. }
  1222. END_STATE
  1223. BEGIN_STATE(CommentStartDash)
  1224. {
  1225. ON('-')
  1226. {
  1227. SWITCH_TO(CommentEnd);
  1228. }
  1229. ON('>')
  1230. {
  1231. log_parse_error();
  1232. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1233. }
  1234. ON_EOF
  1235. {
  1236. log_parse_error();
  1237. m_queued_tokens.enqueue(m_current_token);
  1238. EMIT_EOF;
  1239. }
  1240. ANYTHING_ELSE
  1241. {
  1242. m_current_token.m_comment_or_character.data.append('-');
  1243. RECONSUME_IN(Comment);
  1244. }
  1245. }
  1246. END_STATE
  1247. BEGIN_STATE(Comment)
  1248. {
  1249. ON('<')
  1250. {
  1251. m_current_token.m_comment_or_character.data.append_code_point(current_input_character.value());
  1252. SWITCH_TO(CommentLessThanSign);
  1253. }
  1254. ON('-')
  1255. {
  1256. SWITCH_TO(CommentEndDash);
  1257. }
  1258. ON(0)
  1259. {
  1260. log_parse_error();
  1261. m_current_token.m_comment_or_character.data.append_code_point(0xFFFD);
  1262. continue;
  1263. }
  1264. ON_EOF
  1265. {
  1266. log_parse_error();
  1267. m_queued_tokens.enqueue(m_current_token);
  1268. EMIT_EOF;
  1269. }
  1270. ANYTHING_ELSE
  1271. {
  1272. m_current_token.m_comment_or_character.data.append_code_point(current_input_character.value());
  1273. continue;
  1274. }
  1275. }
  1276. END_STATE
  1277. BEGIN_STATE(CommentEnd)
  1278. {
  1279. ON('>')
  1280. {
  1281. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1282. }
  1283. ON('!')
  1284. {
  1285. SWITCH_TO(CommentEndBang);
  1286. }
  1287. ON('-')
  1288. {
  1289. m_current_token.m_comment_or_character.data.append('-');
  1290. continue;
  1291. }
  1292. ON_EOF
  1293. {
  1294. log_parse_error();
  1295. m_queued_tokens.enqueue(m_current_token);
  1296. EMIT_EOF;
  1297. }
  1298. ANYTHING_ELSE
  1299. {
  1300. m_current_token.m_comment_or_character.data.append('-');
  1301. RECONSUME_IN(Comment);
  1302. }
  1303. }
  1304. END_STATE
  1305. BEGIN_STATE(CommentEndBang)
  1306. {
  1307. ON('-')
  1308. {
  1309. m_current_token.m_comment_or_character.data.append("--!");
  1310. SWITCH_TO(CommentEndDash);
  1311. }
  1312. ON('>')
  1313. {
  1314. log_parse_error();
  1315. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1316. }
  1317. ON_EOF
  1318. {
  1319. log_parse_error();
  1320. m_queued_tokens.enqueue(m_current_token);
  1321. EMIT_EOF;
  1322. }
  1323. ANYTHING_ELSE
  1324. {
  1325. m_current_token.m_comment_or_character.data.append("--!");
  1326. RECONSUME_IN(Comment);
  1327. }
  1328. }
  1329. END_STATE
  1330. BEGIN_STATE(CommentEndDash)
  1331. {
  1332. ON('-')
  1333. {
  1334. SWITCH_TO(CommentEnd);
  1335. }
  1336. ON_EOF
  1337. {
  1338. log_parse_error();
  1339. m_queued_tokens.enqueue(m_current_token);
  1340. EMIT_EOF;
  1341. }
  1342. ANYTHING_ELSE
  1343. {
  1344. m_current_token.m_comment_or_character.data.append('-');
  1345. RECONSUME_IN(Comment);
  1346. }
  1347. }
  1348. END_STATE
  1349. BEGIN_STATE(CommentLessThanSign)
  1350. {
  1351. ON('!')
  1352. {
  1353. m_current_token.m_comment_or_character.data.append_code_point(current_input_character.value());
  1354. SWITCH_TO(CommentLessThanSignBang);
  1355. }
  1356. ON('<')
  1357. {
  1358. m_current_token.m_comment_or_character.data.append_code_point(current_input_character.value());
  1359. continue;
  1360. }
  1361. ANYTHING_ELSE
  1362. {
  1363. RECONSUME_IN(Comment);
  1364. }
  1365. }
  1366. END_STATE
  1367. BEGIN_STATE(CommentLessThanSignBang)
  1368. {
  1369. ON('-')
  1370. {
  1371. SWITCH_TO(CommentLessThanSignBangDash);
  1372. }
  1373. ANYTHING_ELSE
  1374. {
  1375. RECONSUME_IN(Comment);
  1376. }
  1377. }
  1378. END_STATE
  1379. BEGIN_STATE(CommentLessThanSignBangDash)
  1380. {
  1381. ON('-')
  1382. {
  1383. SWITCH_TO(CommentLessThanSignBangDashDash);
  1384. }
  1385. ANYTHING_ELSE
  1386. {
  1387. RECONSUME_IN(CommentEndDash);
  1388. }
  1389. }
  1390. END_STATE
  1391. BEGIN_STATE(CommentLessThanSignBangDashDash)
  1392. {
  1393. ON('>')
  1394. {
  1395. RECONSUME_IN(CommentEnd);
  1396. }
  1397. ON_EOF
  1398. {
  1399. RECONSUME_IN(CommentEnd);
  1400. }
  1401. ANYTHING_ELSE
  1402. {
  1403. log_parse_error();
  1404. RECONSUME_IN(CommentEnd);
  1405. }
  1406. }
  1407. END_STATE
  1408. BEGIN_STATE(CharacterReference)
  1409. {
  1410. m_temporary_buffer.clear();
  1411. m_temporary_buffer.append('&');
  1412. ON_ASCII_ALPHANUMERIC
  1413. {
  1414. RECONSUME_IN(NamedCharacterReference);
  1415. }
  1416. ON('#')
  1417. {
  1418. m_temporary_buffer.append(current_input_character.value());
  1419. SWITCH_TO(NumericCharacterReference);
  1420. }
  1421. ANYTHING_ELSE
  1422. {
  1423. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1424. RECONSUME_IN_RETURN_STATE;
  1425. }
  1426. }
  1427. END_STATE
  1428. BEGIN_STATE(NamedCharacterReference)
  1429. {
  1430. size_t byte_offset = m_utf8_view.byte_offset_of(m_prev_utf8_iterator);
  1431. auto match = HTML::code_points_from_entity(m_decoded_input.substring_view(byte_offset, m_decoded_input.length() - byte_offset - 1));
  1432. if (match.has_value()) {
  1433. for (size_t i = 0; i < match.value().entity.length() - 1; ++i) {
  1434. m_prev_utf8_iterator = m_utf8_iterator;
  1435. ++m_utf8_iterator;
  1436. }
  1437. for (auto ch : match.value().entity)
  1438. m_temporary_buffer.append(ch);
  1439. if (consumed_as_part_of_an_attribute() && !match.value().entity.ends_with(';')) {
  1440. auto next_code_point = peek_code_point(0);
  1441. if (next_code_point.has_value() && (next_code_point.value() == '=' || isalnum(next_code_point.value()))) {
  1442. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1443. SWITCH_TO_RETURN_STATE;
  1444. }
  1445. }
  1446. if (!match.value().entity.ends_with(';')) {
  1447. log_parse_error();
  1448. }
  1449. m_temporary_buffer.clear();
  1450. m_temporary_buffer.append(match.value().code_points);
  1451. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1452. SWITCH_TO_RETURN_STATE;
  1453. } else {
  1454. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1455. // FIXME: This should be SWITCH_TO, but we always lose the first character on this path, so just reconsume it.
  1456. // I can't wrap my head around how to do it as the spec says.
  1457. RECONSUME_IN(AmbiguousAmpersand);
  1458. }
  1459. }
  1460. END_STATE
  1461. BEGIN_STATE(AmbiguousAmpersand)
  1462. {
  1463. ON_ASCII_ALPHANUMERIC
  1464. {
  1465. if (consumed_as_part_of_an_attribute()) {
  1466. m_current_token.m_tag.attributes.last().value_builder.append_code_point(current_input_character.value());
  1467. continue;
  1468. } else {
  1469. EMIT_CURRENT_CHARACTER;
  1470. }
  1471. }
  1472. ON(';')
  1473. {
  1474. log_parse_error();
  1475. RECONSUME_IN_RETURN_STATE;
  1476. }
  1477. ANYTHING_ELSE
  1478. {
  1479. RECONSUME_IN_RETURN_STATE;
  1480. }
  1481. }
  1482. END_STATE
  1483. BEGIN_STATE(NumericCharacterReference)
  1484. {
  1485. m_character_reference_code = 0;
  1486. ON('X')
  1487. {
  1488. m_temporary_buffer.append(current_input_character.value());
  1489. SWITCH_TO(HexadecimalCharacterReferenceStart);
  1490. }
  1491. ON('x')
  1492. {
  1493. m_temporary_buffer.append(current_input_character.value());
  1494. SWITCH_TO(HexadecimalCharacterReferenceStart);
  1495. }
  1496. ANYTHING_ELSE
  1497. {
  1498. RECONSUME_IN(DecimalCharacterReferenceStart);
  1499. }
  1500. }
  1501. END_STATE
  1502. BEGIN_STATE(HexadecimalCharacterReferenceStart)
  1503. {
  1504. ON_ASCII_HEX_DIGIT
  1505. {
  1506. RECONSUME_IN(HexadecimalCharacterReference);
  1507. }
  1508. ANYTHING_ELSE
  1509. {
  1510. log_parse_error();
  1511. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1512. RECONSUME_IN_RETURN_STATE;
  1513. }
  1514. }
  1515. END_STATE
  1516. BEGIN_STATE(DecimalCharacterReferenceStart)
  1517. {
  1518. ON_ASCII_DIGIT
  1519. {
  1520. RECONSUME_IN(DecimalCharacterReference);
  1521. }
  1522. ANYTHING_ELSE
  1523. {
  1524. log_parse_error();
  1525. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1526. RECONSUME_IN_RETURN_STATE;
  1527. }
  1528. }
  1529. END_STATE
  1530. BEGIN_STATE(HexadecimalCharacterReference)
  1531. {
  1532. ON_ASCII_DIGIT
  1533. {
  1534. m_character_reference_code *= 16;
  1535. m_character_reference_code += current_input_character.value() - 0x30;
  1536. continue;
  1537. }
  1538. ON_ASCII_UPPER_ALPHA
  1539. {
  1540. m_character_reference_code *= 16;
  1541. m_character_reference_code += current_input_character.value() - 0x37;
  1542. continue;
  1543. }
  1544. ON_ASCII_LOWER_ALPHA
  1545. {
  1546. m_character_reference_code *= 16;
  1547. m_character_reference_code += current_input_character.value() - 0x57;
  1548. continue;
  1549. }
  1550. ON(';')
  1551. {
  1552. SWITCH_TO(NumericCharacterReferenceEnd);
  1553. }
  1554. ANYTHING_ELSE
  1555. {
  1556. log_parse_error();
  1557. RECONSUME_IN(NumericCharacterReferenceEnd);
  1558. }
  1559. }
  1560. END_STATE
  1561. BEGIN_STATE(DecimalCharacterReference)
  1562. {
  1563. ON_ASCII_DIGIT
  1564. {
  1565. m_character_reference_code *= 10;
  1566. m_character_reference_code += current_input_character.value() - 0x30;
  1567. continue;
  1568. }
  1569. ON(';')
  1570. {
  1571. SWITCH_TO(NumericCharacterReferenceEnd);
  1572. }
  1573. ANYTHING_ELSE
  1574. {
  1575. log_parse_error();
  1576. RECONSUME_IN(NumericCharacterReferenceEnd);
  1577. }
  1578. }
  1579. END_STATE
  1580. BEGIN_STATE(NumericCharacterReferenceEnd)
  1581. {
  1582. DONT_CONSUME_NEXT_INPUT_CHARACTER;
  1583. if (m_character_reference_code == 0) {
  1584. log_parse_error();
  1585. m_character_reference_code = 0xFFFD;
  1586. }
  1587. if (m_character_reference_code > 0x10ffff) {
  1588. log_parse_error();
  1589. m_character_reference_code = 0xFFFD;
  1590. }
  1591. if (is_surrogate(m_character_reference_code)) {
  1592. log_parse_error();
  1593. m_character_reference_code = 0xFFFD;
  1594. }
  1595. if (is_noncharacter(m_character_reference_code)) {
  1596. log_parse_error();
  1597. }
  1598. if (m_character_reference_code == 0xd || (is_control(m_character_reference_code) && !isspace(m_character_reference_code))) {
  1599. log_parse_error();
  1600. constexpr struct {
  1601. u32 number;
  1602. u32 code_point;
  1603. } conversion_table[] = {
  1604. { 0x80, 0x20AC },
  1605. { 0x82, 0x201A },
  1606. { 0x83, 0x0192 },
  1607. { 0x84, 0x201E },
  1608. { 0x85, 0x2026 },
  1609. { 0x86, 0x2020 },
  1610. { 0x87, 0x2021 },
  1611. { 0x88, 0x02C6 },
  1612. { 0x89, 0x2030 },
  1613. { 0x8A, 0x0160 },
  1614. { 0x8B, 0x2039 },
  1615. { 0x8C, 0x0152 },
  1616. { 0x8E, 0x017D },
  1617. { 0x91, 0x2018 },
  1618. { 0x92, 0x2019 },
  1619. { 0x93, 0x201C },
  1620. { 0x94, 0x201D },
  1621. { 0x95, 0x2022 },
  1622. { 0x96, 0x2013 },
  1623. { 0x97, 0x2014 },
  1624. { 0x98, 0x02DC },
  1625. { 0x99, 0x2122 },
  1626. { 0x9A, 0x0161 },
  1627. { 0x9B, 0x203A },
  1628. { 0x9C, 0x0153 },
  1629. { 0x9E, 0x017E },
  1630. { 0x9F, 0x0178 },
  1631. };
  1632. for (auto& entry : conversion_table) {
  1633. if (m_character_reference_code == entry.number) {
  1634. m_character_reference_code = entry.code_point;
  1635. break;
  1636. }
  1637. }
  1638. }
  1639. m_temporary_buffer.clear();
  1640. m_temporary_buffer.append(m_character_reference_code);
  1641. FLUSH_CODEPOINTS_CONSUMED_AS_A_CHARACTER_REFERENCE;
  1642. SWITCH_TO_RETURN_STATE;
  1643. }
  1644. END_STATE
  1645. BEGIN_STATE(RCDATA)
  1646. {
  1647. ON('&')
  1648. {
  1649. m_return_state = State::RCDATA;
  1650. SWITCH_TO(CharacterReference);
  1651. }
  1652. ON('<')
  1653. {
  1654. SWITCH_TO(RCDATALessThanSign);
  1655. }
  1656. ON(0)
  1657. {
  1658. log_parse_error();
  1659. EMIT_CHARACTER(0xFFFD);
  1660. }
  1661. ON_EOF
  1662. {
  1663. EMIT_EOF;
  1664. }
  1665. ANYTHING_ELSE
  1666. {
  1667. EMIT_CURRENT_CHARACTER;
  1668. }
  1669. }
  1670. END_STATE
  1671. BEGIN_STATE(RCDATALessThanSign)
  1672. {
  1673. ON('/')
  1674. {
  1675. m_temporary_buffer.clear();
  1676. SWITCH_TO(RCDATAEndTagOpen);
  1677. }
  1678. ANYTHING_ELSE
  1679. {
  1680. EMIT_CHARACTER_AND_RECONSUME_IN('<', RCDATA);
  1681. }
  1682. }
  1683. END_STATE
  1684. BEGIN_STATE(RCDATAEndTagOpen)
  1685. {
  1686. ON_ASCII_ALPHA
  1687. {
  1688. create_new_token(HTMLToken::Type::EndTag);
  1689. RECONSUME_IN(RCDATAEndTagName);
  1690. }
  1691. ANYTHING_ELSE
  1692. {
  1693. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1694. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1695. RECONSUME_IN(RCDATA);
  1696. }
  1697. }
  1698. END_STATE
  1699. BEGIN_STATE(RCDATAEndTagName)
  1700. {
  1701. ON_WHITESPACE
  1702. {
  1703. if (!current_end_tag_token_is_appropriate()) {
  1704. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1705. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1706. for (auto code_point : m_temporary_buffer)
  1707. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1708. RECONSUME_IN(RCDATA);
  1709. }
  1710. SWITCH_TO(BeforeAttributeName);
  1711. }
  1712. ON('/')
  1713. {
  1714. if (!current_end_tag_token_is_appropriate()) {
  1715. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1716. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1717. for (auto code_point : m_temporary_buffer)
  1718. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1719. RECONSUME_IN(RCDATA);
  1720. }
  1721. SWITCH_TO(SelfClosingStartTag);
  1722. }
  1723. ON('>')
  1724. {
  1725. if (!current_end_tag_token_is_appropriate()) {
  1726. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1727. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1728. for (auto code_point : m_temporary_buffer)
  1729. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1730. RECONSUME_IN(RCDATA);
  1731. }
  1732. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1733. }
  1734. ON_ASCII_UPPER_ALPHA
  1735. {
  1736. m_current_token.m_tag.tag_name.append(tolower(current_input_character.value()));
  1737. m_temporary_buffer.append(current_input_character.value());
  1738. continue;
  1739. }
  1740. ON_ASCII_LOWER_ALPHA
  1741. {
  1742. m_current_token.m_tag.tag_name.append_code_point(current_input_character.value());
  1743. m_temporary_buffer.append(current_input_character.value());
  1744. continue;
  1745. }
  1746. ANYTHING_ELSE
  1747. {
  1748. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1749. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1750. for (auto code_point : m_temporary_buffer)
  1751. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1752. RECONSUME_IN(RCDATA);
  1753. }
  1754. }
  1755. END_STATE
  1756. BEGIN_STATE(RAWTEXT)
  1757. {
  1758. ON('<')
  1759. {
  1760. SWITCH_TO(RAWTEXTLessThanSign);
  1761. }
  1762. ON(0)
  1763. {
  1764. log_parse_error();
  1765. EMIT_CHARACTER(0xFFFD);
  1766. }
  1767. ON_EOF
  1768. {
  1769. EMIT_EOF;
  1770. }
  1771. ANYTHING_ELSE
  1772. {
  1773. EMIT_CURRENT_CHARACTER;
  1774. }
  1775. }
  1776. END_STATE
  1777. BEGIN_STATE(RAWTEXTLessThanSign)
  1778. {
  1779. ON('/')
  1780. {
  1781. m_temporary_buffer.clear();
  1782. SWITCH_TO(RAWTEXTEndTagOpen);
  1783. }
  1784. ANYTHING_ELSE
  1785. {
  1786. EMIT_CHARACTER_AND_RECONSUME_IN('<', RAWTEXT);
  1787. }
  1788. }
  1789. END_STATE
  1790. BEGIN_STATE(RAWTEXTEndTagOpen)
  1791. {
  1792. ON_ASCII_ALPHA
  1793. {
  1794. create_new_token(HTMLToken::Type::EndTag);
  1795. RECONSUME_IN(RAWTEXTEndTagName);
  1796. }
  1797. ANYTHING_ELSE
  1798. {
  1799. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1800. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1801. RECONSUME_IN(RAWTEXT);
  1802. }
  1803. }
  1804. END_STATE
  1805. BEGIN_STATE(RAWTEXTEndTagName)
  1806. {
  1807. ON_WHITESPACE
  1808. {
  1809. if (!current_end_tag_token_is_appropriate()) {
  1810. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1811. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1812. for (auto code_point : m_temporary_buffer)
  1813. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1814. RECONSUME_IN(RAWTEXT);
  1815. }
  1816. SWITCH_TO(BeforeAttributeName);
  1817. }
  1818. ON('/')
  1819. {
  1820. if (!current_end_tag_token_is_appropriate()) {
  1821. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1822. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1823. for (auto code_point : m_temporary_buffer)
  1824. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1825. RECONSUME_IN(RAWTEXT);
  1826. }
  1827. SWITCH_TO(SelfClosingStartTag);
  1828. }
  1829. ON('>')
  1830. {
  1831. if (!current_end_tag_token_is_appropriate()) {
  1832. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1833. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1834. for (auto code_point : m_temporary_buffer)
  1835. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1836. RECONSUME_IN(RAWTEXT);
  1837. }
  1838. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  1839. }
  1840. ON_ASCII_UPPER_ALPHA
  1841. {
  1842. m_current_token.m_tag.tag_name.append(tolower(current_input_character.value()));
  1843. m_temporary_buffer.append(current_input_character.value());
  1844. continue;
  1845. }
  1846. ON_ASCII_LOWER_ALPHA
  1847. {
  1848. m_current_token.m_tag.tag_name.append(current_input_character.value());
  1849. m_temporary_buffer.append(current_input_character.value());
  1850. continue;
  1851. }
  1852. ANYTHING_ELSE
  1853. {
  1854. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1855. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  1856. for (auto code_point : m_temporary_buffer)
  1857. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  1858. RECONSUME_IN(RAWTEXT);
  1859. }
  1860. }
  1861. END_STATE
  1862. BEGIN_STATE(ScriptData)
  1863. {
  1864. ON('<')
  1865. {
  1866. SWITCH_TO(ScriptDataLessThanSign);
  1867. }
  1868. ON(0)
  1869. {
  1870. log_parse_error();
  1871. EMIT_CHARACTER(0xFFFD);
  1872. }
  1873. ON_EOF
  1874. {
  1875. EMIT_EOF;
  1876. }
  1877. ANYTHING_ELSE
  1878. {
  1879. EMIT_CURRENT_CHARACTER;
  1880. }
  1881. }
  1882. END_STATE
  1883. BEGIN_STATE(PLAINTEXT)
  1884. {
  1885. ON(0)
  1886. {
  1887. log_parse_error();
  1888. EMIT_CHARACTER(0xFFFD);
  1889. }
  1890. ON_EOF
  1891. {
  1892. EMIT_EOF;
  1893. }
  1894. ANYTHING_ELSE
  1895. {
  1896. EMIT_CURRENT_CHARACTER;
  1897. }
  1898. }
  1899. END_STATE
  1900. BEGIN_STATE(ScriptDataLessThanSign)
  1901. {
  1902. ON('/')
  1903. {
  1904. m_temporary_buffer.clear();
  1905. SWITCH_TO(ScriptDataEndTagOpen);
  1906. }
  1907. ON('!')
  1908. {
  1909. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  1910. m_queued_tokens.enqueue(HTMLToken::make_character('!'));
  1911. SWITCH_TO(ScriptDataEscapeStart);
  1912. }
  1913. ANYTHING_ELSE
  1914. {
  1915. EMIT_CHARACTER_AND_RECONSUME_IN('<', ScriptData);
  1916. }
  1917. }
  1918. END_STATE
  1919. BEGIN_STATE(ScriptDataEscapeStart)
  1920. {
  1921. ON('-')
  1922. {
  1923. SWITCH_TO_AND_EMIT_CHARACTER('-', ScriptDataEscapeStartDash);
  1924. }
  1925. ANYTHING_ELSE
  1926. {
  1927. RECONSUME_IN(ScriptData);
  1928. }
  1929. }
  1930. END_STATE
  1931. BEGIN_STATE(ScriptDataEscapeStartDash)
  1932. {
  1933. ON('-')
  1934. {
  1935. SWITCH_TO_AND_EMIT_CHARACTER('-', ScriptDataEscapedDashDash);
  1936. }
  1937. ANYTHING_ELSE
  1938. {
  1939. RECONSUME_IN(ScriptData);
  1940. }
  1941. }
  1942. END_STATE
  1943. BEGIN_STATE(ScriptDataEscapedDashDash)
  1944. {
  1945. ON('-')
  1946. {
  1947. EMIT_CHARACTER('-');
  1948. }
  1949. ON('<')
  1950. {
  1951. SWITCH_TO(ScriptDataEscapedLessThanSign);
  1952. }
  1953. ON('>')
  1954. {
  1955. SWITCH_TO_AND_EMIT_CHARACTER('>', ScriptData);
  1956. }
  1957. ON(0)
  1958. {
  1959. log_parse_error();
  1960. SWITCH_TO_AND_EMIT_CHARACTER(0xFFFD, ScriptDataEscaped);
  1961. }
  1962. ON_EOF
  1963. {
  1964. log_parse_error();
  1965. EMIT_EOF;
  1966. }
  1967. ANYTHING_ELSE
  1968. {
  1969. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  1970. }
  1971. }
  1972. END_STATE
  1973. BEGIN_STATE(ScriptDataEscapedLessThanSign)
  1974. {
  1975. ON('/')
  1976. {
  1977. m_temporary_buffer.clear();
  1978. SWITCH_TO(ScriptDataEscapedEndTagOpen);
  1979. }
  1980. ON_ASCII_ALPHA
  1981. {
  1982. m_temporary_buffer.clear();
  1983. EMIT_CHARACTER_AND_RECONSUME_IN('<', ScriptDataDoubleEscapeStart);
  1984. }
  1985. ANYTHING_ELSE
  1986. {
  1987. EMIT_CHARACTER_AND_RECONSUME_IN('<', ScriptDataEscaped);
  1988. }
  1989. }
  1990. END_STATE
  1991. BEGIN_STATE(ScriptDataEscapedEndTagOpen)
  1992. {
  1993. ON_ASCII_ALPHA
  1994. {
  1995. create_new_token(HTMLToken::Type::EndTag);
  1996. RECONSUME_IN(ScriptDataEscapedEndTagName);
  1997. }
  1998. ANYTHING_ELSE
  1999. {
  2000. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2001. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2002. RECONSUME_IN(ScriptDataEscaped);
  2003. }
  2004. }
  2005. END_STATE
  2006. BEGIN_STATE(ScriptDataEscapedEndTagName)
  2007. {
  2008. ON_WHITESPACE
  2009. {
  2010. if (current_end_tag_token_is_appropriate())
  2011. SWITCH_TO(BeforeAttributeName);
  2012. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2013. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2014. for (auto code_point : m_temporary_buffer) {
  2015. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2016. }
  2017. RECONSUME_IN(ScriptDataEscaped);
  2018. }
  2019. ON('/')
  2020. {
  2021. if (current_end_tag_token_is_appropriate())
  2022. SWITCH_TO(SelfClosingStartTag);
  2023. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2024. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2025. for (auto code_point : m_temporary_buffer) {
  2026. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2027. }
  2028. RECONSUME_IN(ScriptDataEscaped);
  2029. }
  2030. ON('>')
  2031. {
  2032. if (current_end_tag_token_is_appropriate())
  2033. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  2034. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2035. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2036. for (auto code_point : m_temporary_buffer) {
  2037. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2038. }
  2039. RECONSUME_IN(ScriptDataEscaped);
  2040. }
  2041. ON_ASCII_UPPER_ALPHA
  2042. {
  2043. m_current_token.m_tag.tag_name.append(tolower(current_input_character.value()));
  2044. m_temporary_buffer.append(current_input_character.value());
  2045. continue;
  2046. }
  2047. ON_ASCII_LOWER_ALPHA
  2048. {
  2049. m_current_token.m_tag.tag_name.append(current_input_character.value());
  2050. m_temporary_buffer.append(current_input_character.value());
  2051. continue;
  2052. }
  2053. ANYTHING_ELSE
  2054. {
  2055. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2056. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2057. for (auto code_point : m_temporary_buffer) {
  2058. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2059. }
  2060. RECONSUME_IN(ScriptDataEscaped);
  2061. }
  2062. }
  2063. END_STATE
  2064. BEGIN_STATE(ScriptDataDoubleEscapeStart)
  2065. {
  2066. auto temporary_buffer_equal_to_script = [this]() -> bool {
  2067. if (m_temporary_buffer.size() != 6)
  2068. return false;
  2069. // FIXME: Is there a better way of doing this?
  2070. return m_temporary_buffer[0] == 's' && m_temporary_buffer[1] == 'c' && m_temporary_buffer[2] == 'r' && m_temporary_buffer[3] == 'i' && m_temporary_buffer[4] == 'p' && m_temporary_buffer[5] == 't';
  2071. };
  2072. ON_WHITESPACE
  2073. {
  2074. if (temporary_buffer_equal_to_script())
  2075. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2076. else
  2077. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2078. }
  2079. ON('/')
  2080. {
  2081. if (temporary_buffer_equal_to_script())
  2082. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2083. else
  2084. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2085. }
  2086. ON('>')
  2087. {
  2088. if (temporary_buffer_equal_to_script())
  2089. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2090. else
  2091. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2092. }
  2093. ON_ASCII_UPPER_ALPHA
  2094. {
  2095. m_temporary_buffer.append(tolower(current_input_character.value()));
  2096. EMIT_CURRENT_CHARACTER;
  2097. }
  2098. ON_ASCII_LOWER_ALPHA
  2099. {
  2100. m_temporary_buffer.append(current_input_character.value());
  2101. EMIT_CURRENT_CHARACTER;
  2102. }
  2103. ANYTHING_ELSE
  2104. {
  2105. RECONSUME_IN(ScriptDataEscaped);
  2106. }
  2107. }
  2108. END_STATE
  2109. BEGIN_STATE(ScriptDataDoubleEscaped)
  2110. {
  2111. ON('-')
  2112. {
  2113. SWITCH_TO_AND_EMIT_CHARACTER('-', ScriptDataDoubleEscapedDash);
  2114. }
  2115. ON('<')
  2116. {
  2117. SWITCH_TO_AND_EMIT_CHARACTER('<', ScriptDataDoubleEscapedLessThanSign);
  2118. }
  2119. ON(0)
  2120. {
  2121. log_parse_error();
  2122. EMIT_CHARACTER(0xFFFD);
  2123. }
  2124. ON_EOF
  2125. {
  2126. log_parse_error();
  2127. EMIT_EOF;
  2128. }
  2129. ANYTHING_ELSE
  2130. {
  2131. EMIT_CURRENT_CHARACTER;
  2132. }
  2133. }
  2134. END_STATE
  2135. BEGIN_STATE(ScriptDataDoubleEscapedDash)
  2136. {
  2137. ON('-')
  2138. {
  2139. SWITCH_TO_AND_EMIT_CHARACTER('-', ScriptDataDoubleEscapedDashDash);
  2140. }
  2141. ON('<')
  2142. {
  2143. SWITCH_TO_AND_EMIT_CHARACTER('<', ScriptDataDoubleEscapedLessThanSign);
  2144. }
  2145. ON(0)
  2146. {
  2147. log_parse_error();
  2148. SWITCH_TO_AND_EMIT_CHARACTER(0xFFFD, ScriptDataDoubleEscaped);
  2149. }
  2150. ON_EOF
  2151. {
  2152. log_parse_error();
  2153. EMIT_EOF;
  2154. }
  2155. ANYTHING_ELSE
  2156. {
  2157. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2158. }
  2159. }
  2160. END_STATE
  2161. BEGIN_STATE(ScriptDataDoubleEscapedDashDash)
  2162. {
  2163. ON('-')
  2164. {
  2165. EMIT_CHARACTER('-');
  2166. }
  2167. ON('<')
  2168. {
  2169. SWITCH_TO_AND_EMIT_CHARACTER('<', ScriptDataDoubleEscapedLessThanSign);
  2170. }
  2171. ON('>')
  2172. {
  2173. SWITCH_TO_AND_EMIT_CHARACTER('>', ScriptData);
  2174. }
  2175. ON(0)
  2176. {
  2177. log_parse_error();
  2178. SWITCH_TO_AND_EMIT_CHARACTER(0xFFFD, ScriptDataDoubleEscaped);
  2179. }
  2180. ON_EOF
  2181. {
  2182. log_parse_error();
  2183. EMIT_EOF;
  2184. }
  2185. ANYTHING_ELSE
  2186. {
  2187. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2188. }
  2189. }
  2190. END_STATE
  2191. BEGIN_STATE(ScriptDataDoubleEscapedLessThanSign)
  2192. {
  2193. ON('/')
  2194. {
  2195. m_temporary_buffer.clear();
  2196. SWITCH_TO_AND_EMIT_CHARACTER('/', ScriptDataDoubleEscapeEnd);
  2197. }
  2198. ANYTHING_ELSE
  2199. {
  2200. RECONSUME_IN(ScriptDataDoubleEscaped);
  2201. }
  2202. }
  2203. END_STATE
  2204. BEGIN_STATE(ScriptDataDoubleEscapeEnd)
  2205. {
  2206. auto temporary_buffer_equal_to_script = [this]() -> bool {
  2207. if (m_temporary_buffer.size() != 6)
  2208. return false;
  2209. // FIXME: Is there a better way of doing this?
  2210. return m_temporary_buffer[0] == 's' && m_temporary_buffer[1] == 'c' && m_temporary_buffer[2] == 'r' && m_temporary_buffer[3] == 'i' && m_temporary_buffer[4] == 'p' && m_temporary_buffer[5] == 't';
  2211. };
  2212. ON_WHITESPACE
  2213. {
  2214. if (temporary_buffer_equal_to_script())
  2215. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2216. else
  2217. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2218. }
  2219. ON('/')
  2220. {
  2221. if (temporary_buffer_equal_to_script())
  2222. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2223. else
  2224. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2225. }
  2226. ON('>')
  2227. {
  2228. if (temporary_buffer_equal_to_script())
  2229. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2230. else
  2231. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataDoubleEscaped);
  2232. }
  2233. ON_ASCII_UPPER_ALPHA
  2234. {
  2235. m_temporary_buffer.append(tolower(current_input_character.value()));
  2236. EMIT_CURRENT_CHARACTER;
  2237. }
  2238. ON_ASCII_LOWER_ALPHA
  2239. {
  2240. m_temporary_buffer.append(current_input_character.value());
  2241. EMIT_CURRENT_CHARACTER;
  2242. }
  2243. ANYTHING_ELSE
  2244. {
  2245. RECONSUME_IN(ScriptDataDoubleEscaped);
  2246. }
  2247. }
  2248. END_STATE
  2249. BEGIN_STATE(ScriptDataEscapedDash)
  2250. {
  2251. ON('-')
  2252. {
  2253. SWITCH_TO_AND_EMIT_CHARACTER('-', ScriptDataEscapedDashDash);
  2254. }
  2255. ON('<')
  2256. {
  2257. SWITCH_TO(ScriptDataEscapedLessThanSign);
  2258. }
  2259. ON(0)
  2260. {
  2261. log_parse_error();
  2262. SWITCH_TO_AND_EMIT_CHARACTER(0xFFFD, ScriptDataEscaped);
  2263. }
  2264. ON_EOF
  2265. {
  2266. log_parse_error();
  2267. EMIT_EOF;
  2268. }
  2269. ANYTHING_ELSE
  2270. {
  2271. SWITCH_TO_AND_EMIT_CURRENT_CHARACTER(ScriptDataEscaped);
  2272. }
  2273. }
  2274. END_STATE
  2275. BEGIN_STATE(ScriptDataEscaped)
  2276. {
  2277. ON('-')
  2278. {
  2279. SWITCH_TO_AND_EMIT_CHARACTER('-', ScriptDataEscapedDash);
  2280. }
  2281. ON('<')
  2282. {
  2283. SWITCH_TO(ScriptDataEscapedLessThanSign);
  2284. }
  2285. ON(0)
  2286. {
  2287. log_parse_error();
  2288. EMIT_CHARACTER(0xFFFD);
  2289. }
  2290. ON_EOF
  2291. {
  2292. log_parse_error();
  2293. EMIT_EOF;
  2294. }
  2295. ANYTHING_ELSE
  2296. {
  2297. EMIT_CURRENT_CHARACTER;
  2298. }
  2299. }
  2300. END_STATE
  2301. BEGIN_STATE(ScriptDataEndTagOpen)
  2302. {
  2303. ON_ASCII_ALPHA
  2304. {
  2305. create_new_token(HTMLToken::Type::EndTag);
  2306. RECONSUME_IN(ScriptDataEndTagName);
  2307. }
  2308. ANYTHING_ELSE
  2309. {
  2310. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2311. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2312. RECONSUME_IN(ScriptData);
  2313. }
  2314. }
  2315. END_STATE
  2316. BEGIN_STATE(ScriptDataEndTagName)
  2317. {
  2318. ON_WHITESPACE
  2319. {
  2320. if (current_end_tag_token_is_appropriate())
  2321. SWITCH_TO(BeforeAttributeName);
  2322. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2323. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2324. for (auto code_point : m_temporary_buffer)
  2325. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2326. RECONSUME_IN(ScriptData);
  2327. }
  2328. ON('/')
  2329. {
  2330. if (current_end_tag_token_is_appropriate())
  2331. SWITCH_TO(SelfClosingStartTag);
  2332. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2333. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2334. for (auto code_point : m_temporary_buffer)
  2335. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2336. RECONSUME_IN(ScriptData);
  2337. }
  2338. ON('>')
  2339. {
  2340. if (current_end_tag_token_is_appropriate())
  2341. SWITCH_TO_AND_EMIT_CURRENT_TOKEN(Data);
  2342. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2343. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2344. for (auto code_point : m_temporary_buffer)
  2345. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2346. RECONSUME_IN(ScriptData);
  2347. }
  2348. ON_ASCII_UPPER_ALPHA
  2349. {
  2350. m_current_token.m_tag.tag_name.append(tolower(current_input_character.value()));
  2351. m_temporary_buffer.append(current_input_character.value());
  2352. continue;
  2353. }
  2354. ON_ASCII_LOWER_ALPHA
  2355. {
  2356. m_current_token.m_tag.tag_name.append(current_input_character.value());
  2357. m_temporary_buffer.append(current_input_character.value());
  2358. continue;
  2359. }
  2360. ANYTHING_ELSE
  2361. {
  2362. m_queued_tokens.enqueue(HTMLToken::make_character('<'));
  2363. m_queued_tokens.enqueue(HTMLToken::make_character('/'));
  2364. for (auto code_point : m_temporary_buffer)
  2365. m_queued_tokens.enqueue(HTMLToken::make_character(code_point));
  2366. RECONSUME_IN(ScriptData);
  2367. }
  2368. }
  2369. END_STATE
  2370. BEGIN_STATE(CDATASection)
  2371. {
  2372. ON(']')
  2373. {
  2374. SWITCH_TO(CDATASectionBracket);
  2375. }
  2376. ON_EOF
  2377. {
  2378. log_parse_error();
  2379. EMIT_EOF;
  2380. }
  2381. ANYTHING_ELSE
  2382. {
  2383. EMIT_CURRENT_CHARACTER;
  2384. }
  2385. }
  2386. END_STATE
  2387. BEGIN_STATE(CDATASectionBracket)
  2388. {
  2389. ON(']')
  2390. {
  2391. SWITCH_TO(CDATASectionEnd);
  2392. }
  2393. ANYTHING_ELSE
  2394. {
  2395. EMIT_CHARACTER_AND_RECONSUME_IN(']', CDATASection);
  2396. }
  2397. }
  2398. END_STATE
  2399. BEGIN_STATE(CDATASectionEnd)
  2400. {
  2401. ON(']')
  2402. {
  2403. EMIT_CHARACTER(']');
  2404. }
  2405. ON('>')
  2406. {
  2407. SWITCH_TO(Data);
  2408. }
  2409. ANYTHING_ELSE
  2410. {
  2411. m_queued_tokens.enqueue(HTMLToken::make_character(']'));
  2412. m_queued_tokens.enqueue(HTMLToken::make_character(']'));
  2413. RECONSUME_IN(CDATASection);
  2414. }
  2415. }
  2416. END_STATE
  2417. default:
  2418. TODO();
  2419. }
  2420. }
  2421. }
  2422. bool HTMLTokenizer::consume_next_if_match(const StringView& string, CaseSensitivity case_sensitivity)
  2423. {
  2424. for (size_t i = 0; i < string.length(); ++i) {
  2425. auto code_point = peek_code_point(i);
  2426. if (!code_point.has_value())
  2427. return false;
  2428. // FIXME: This should be more Unicode-aware.
  2429. if (case_sensitivity == CaseSensitivity::CaseInsensitive) {
  2430. if (code_point.value() < 0x80) {
  2431. if (tolower(code_point.value()) != tolower(string[i]))
  2432. return false;
  2433. continue;
  2434. }
  2435. }
  2436. if (code_point.value() != (u32)string[i])
  2437. return false;
  2438. }
  2439. for (size_t i = 0; i < string.length(); ++i) {
  2440. m_prev_utf8_iterator = m_utf8_iterator;
  2441. ++m_utf8_iterator;
  2442. }
  2443. return true;
  2444. }
  2445. void HTMLTokenizer::create_new_token(HTMLToken::Type type)
  2446. {
  2447. m_current_token = {};
  2448. m_current_token.m_type = type;
  2449. }
  2450. HTMLTokenizer::HTMLTokenizer(const StringView& input, const String& encoding)
  2451. {
  2452. auto* decoder = TextCodec::decoder_for(encoding);
  2453. VERIFY(decoder);
  2454. m_decoded_input = decoder->to_utf8(input);
  2455. m_utf8_view = Utf8View(m_decoded_input);
  2456. m_utf8_iterator = m_utf8_view.begin();
  2457. }
  2458. void HTMLTokenizer::will_switch_to([[maybe_unused]] State new_state)
  2459. {
  2460. dbgln_if(TOKENIZER_TRACE_DEBUG, "[{}] Switch to {}", state_name(m_state), state_name(new_state));
  2461. }
  2462. void HTMLTokenizer::will_reconsume_in([[maybe_unused]] State new_state)
  2463. {
  2464. dbgln_if(TOKENIZER_TRACE_DEBUG, "[{}] Reconsume in {}", state_name(m_state), state_name(new_state));
  2465. }
  2466. void HTMLTokenizer::switch_to(Badge<HTMLDocumentParser>, State new_state)
  2467. {
  2468. dbgln_if(TOKENIZER_TRACE_DEBUG, "[{}] Parser switches tokenizer state to {}", state_name(m_state), state_name(new_state));
  2469. m_state = new_state;
  2470. }
  2471. void HTMLTokenizer::will_emit(HTMLToken& token)
  2472. {
  2473. if (token.is_start_tag())
  2474. m_last_emitted_start_tag = token;
  2475. }
  2476. bool HTMLTokenizer::current_end_tag_token_is_appropriate() const
  2477. {
  2478. VERIFY(m_current_token.is_end_tag());
  2479. if (!m_last_emitted_start_tag.is_start_tag())
  2480. return false;
  2481. return m_current_token.tag_name() == m_last_emitted_start_tag.tag_name();
  2482. }
  2483. bool HTMLTokenizer::consumed_as_part_of_an_attribute() const
  2484. {
  2485. return m_return_state == State::AttributeValueUnquoted || m_return_state == State::AttributeValueSingleQuoted || m_return_state == State::AttributeValueDoubleQuoted;
  2486. }
  2487. }