HTMLTokenizer.cpp 86 KB

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