]> git.wh0rd.org - tt-rss.git/blob - lib/htmlpurifier/library/HTMLPurifier/Lexer/PH5P.php
strip_tags_long: use htmlpurifier to properly reformat html content
[tt-rss.git] / lib / htmlpurifier / library / HTMLPurifier / Lexer / PH5P.php
1 <?php
2
3 /**
4 * Experimental HTML5-based parser using Jeroen van der Meer's PH5P library.
5 * Occupies space in the HTML5 pseudo-namespace, which may cause conflicts.
6 *
7 * @note
8 * Recent changes to PHP's DOM extension have resulted in some fatal
9 * error conditions with the original version of PH5P. Pending changes,
10 * this lexer will punt to DirectLex if DOM throughs an exception.
11 */
12
13 class HTMLPurifier_Lexer_PH5P extends HTMLPurifier_Lexer_DOMLex {
14
15 public function tokenizeHTML($html, $config, $context) {
16 $new_html = $this->normalize($html, $config, $context);
17 $new_html = $this->wrapHTML($new_html, $config, $context);
18 try {
19 $parser = new HTML5($new_html);
20 $doc = $parser->save();
21 } catch (DOMException $e) {
22 // Uh oh, it failed. Punt to DirectLex.
23 $lexer = new HTMLPurifier_Lexer_DirectLex();
24 $context->register('PH5PError', $e); // save the error, so we can detect it
25 return $lexer->tokenizeHTML($html, $config, $context); // use original HTML
26 }
27 $tokens = array();
28 $this->tokenizeDOM(
29 $doc->getElementsByTagName('html')->item(0)-> // <html>
30 getElementsByTagName('body')->item(0)-> // <body>
31 getElementsByTagName('div')->item(0) // <div>
32 , $tokens);
33 return $tokens;
34 }
35
36 }
37
38 /*
39
40 Copyright 2007 Jeroen van der Meer <http://jero.net/>
41
42 Permission is hereby granted, free of charge, to any person obtaining a
43 copy of this software and associated documentation files (the
44 "Software"), to deal in the Software without restriction, including
45 without limitation the rights to use, copy, modify, merge, publish,
46 distribute, sublicense, and/or sell copies of the Software, and to
47 permit persons to whom the Software is furnished to do so, subject to
48 the following conditions:
49
50 The above copyright notice and this permission notice shall be included
51 in all copies or substantial portions of the Software.
52
53 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
54 OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
55 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
56 IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
57 CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
58 TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
59 SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
60
61 */
62
63 class HTML5 {
64 private $data;
65 private $char;
66 private $EOF;
67 private $state;
68 private $tree;
69 private $token;
70 private $content_model;
71 private $escape = false;
72 private $entities = array('AElig;','AElig','AMP;','AMP','Aacute;','Aacute',
73 'Acirc;','Acirc','Agrave;','Agrave','Alpha;','Aring;','Aring','Atilde;',
74 'Atilde','Auml;','Auml','Beta;','COPY;','COPY','Ccedil;','Ccedil','Chi;',
75 'Dagger;','Delta;','ETH;','ETH','Eacute;','Eacute','Ecirc;','Ecirc','Egrave;',
76 'Egrave','Epsilon;','Eta;','Euml;','Euml','GT;','GT','Gamma;','Iacute;',
77 'Iacute','Icirc;','Icirc','Igrave;','Igrave','Iota;','Iuml;','Iuml','Kappa;',
78 'LT;','LT','Lambda;','Mu;','Ntilde;','Ntilde','Nu;','OElig;','Oacute;',
79 'Oacute','Ocirc;','Ocirc','Ograve;','Ograve','Omega;','Omicron;','Oslash;',
80 'Oslash','Otilde;','Otilde','Ouml;','Ouml','Phi;','Pi;','Prime;','Psi;',
81 'QUOT;','QUOT','REG;','REG','Rho;','Scaron;','Sigma;','THORN;','THORN',
82 'TRADE;','Tau;','Theta;','Uacute;','Uacute','Ucirc;','Ucirc','Ugrave;',
83 'Ugrave','Upsilon;','Uuml;','Uuml','Xi;','Yacute;','Yacute','Yuml;','Zeta;',
84 'aacute;','aacute','acirc;','acirc','acute;','acute','aelig;','aelig',
85 'agrave;','agrave','alefsym;','alpha;','amp;','amp','and;','ang;','apos;',
86 'aring;','aring','asymp;','atilde;','atilde','auml;','auml','bdquo;','beta;',
87 'brvbar;','brvbar','bull;','cap;','ccedil;','ccedil','cedil;','cedil',
88 'cent;','cent','chi;','circ;','clubs;','cong;','copy;','copy','crarr;',
89 'cup;','curren;','curren','dArr;','dagger;','darr;','deg;','deg','delta;',
90 'diams;','divide;','divide','eacute;','eacute','ecirc;','ecirc','egrave;',
91 'egrave','empty;','emsp;','ensp;','epsilon;','equiv;','eta;','eth;','eth',
92 'euml;','euml','euro;','exist;','fnof;','forall;','frac12;','frac12',
93 'frac14;','frac14','frac34;','frac34','frasl;','gamma;','ge;','gt;','gt',
94 'hArr;','harr;','hearts;','hellip;','iacute;','iacute','icirc;','icirc',
95 'iexcl;','iexcl','igrave;','igrave','image;','infin;','int;','iota;',
96 'iquest;','iquest','isin;','iuml;','iuml','kappa;','lArr;','lambda;','lang;',
97 'laquo;','laquo','larr;','lceil;','ldquo;','le;','lfloor;','lowast;','loz;',
98 'lrm;','lsaquo;','lsquo;','lt;','lt','macr;','macr','mdash;','micro;','micro',
99 'middot;','middot','minus;','mu;','nabla;','nbsp;','nbsp','ndash;','ne;',
100 'ni;','not;','not','notin;','nsub;','ntilde;','ntilde','nu;','oacute;',
101 'oacute','ocirc;','ocirc','oelig;','ograve;','ograve','oline;','omega;',
102 'omicron;','oplus;','or;','ordf;','ordf','ordm;','ordm','oslash;','oslash',
103 'otilde;','otilde','otimes;','ouml;','ouml','para;','para','part;','permil;',
104 'perp;','phi;','pi;','piv;','plusmn;','plusmn','pound;','pound','prime;',
105 'prod;','prop;','psi;','quot;','quot','rArr;','radic;','rang;','raquo;',
106 'raquo','rarr;','rceil;','rdquo;','real;','reg;','reg','rfloor;','rho;',
107 'rlm;','rsaquo;','rsquo;','sbquo;','scaron;','sdot;','sect;','sect','shy;',
108 'shy','sigma;','sigmaf;','sim;','spades;','sub;','sube;','sum;','sup1;',
109 'sup1','sup2;','sup2','sup3;','sup3','sup;','supe;','szlig;','szlig','tau;',
110 'there4;','theta;','thetasym;','thinsp;','thorn;','thorn','tilde;','times;',
111 'times','trade;','uArr;','uacute;','uacute','uarr;','ucirc;','ucirc',
112 'ugrave;','ugrave','uml;','uml','upsih;','upsilon;','uuml;','uuml','weierp;',
113 'xi;','yacute;','yacute','yen;','yen','yuml;','yuml','zeta;','zwj;','zwnj;');
114
115 const PCDATA = 0;
116 const RCDATA = 1;
117 const CDATA = 2;
118 const PLAINTEXT = 3;
119
120 const DOCTYPE = 0;
121 const STARTTAG = 1;
122 const ENDTAG = 2;
123 const COMMENT = 3;
124 const CHARACTR = 4;
125 const EOF = 5;
126
127 public function __construct($data) {
128 $data = str_replace("\r\n", "\n", $data);
129 $data = str_replace("\r", null, $data);
130
131 $this->data = $data;
132 $this->char = -1;
133 $this->EOF = strlen($data);
134 $this->tree = new HTML5TreeConstructer;
135 $this->content_model = self::PCDATA;
136
137 $this->state = 'data';
138
139 while($this->state !== null) {
140 $this->{$this->state.'State'}();
141 }
142 }
143
144 public function save() {
145 return $this->tree->save();
146 }
147
148 private function char() {
149 return ($this->char < $this->EOF)
150 ? $this->data[$this->char]
151 : false;
152 }
153
154 private function character($s, $l = 0) {
155 if($s + $l < $this->EOF) {
156 if($l === 0) {
157 return $this->data[$s];
158 } else {
159 return substr($this->data, $s, $l);
160 }
161 }
162 }
163
164 private function characters($char_class, $start) {
165 return preg_replace('#^(['.$char_class.']+).*#s', '\\1', substr($this->data, $start));
166 }
167
168 private function dataState() {
169 // Consume the next input character
170 $this->char++;
171 $char = $this->char();
172
173 if($char === '&' && ($this->content_model === self::PCDATA || $this->content_model === self::RCDATA)) {
174 /* U+0026 AMPERSAND (&)
175 When the content model flag is set to one of the PCDATA or RCDATA
176 states: switch to the entity data state. Otherwise: treat it as per
177 the "anything else" entry below. */
178 $this->state = 'entityData';
179
180 } elseif($char === '-') {
181 /* If the content model flag is set to either the RCDATA state or
182 the CDATA state, and the escape flag is false, and there are at
183 least three characters before this one in the input stream, and the
184 last four characters in the input stream, including this one, are
185 U+003C LESS-THAN SIGN, U+0021 EXCLAMATION MARK, U+002D HYPHEN-MINUS,
186 and U+002D HYPHEN-MINUS ("<!--"), then set the escape flag to true. */
187 if(($this->content_model === self::RCDATA || $this->content_model ===
188 self::CDATA) && $this->escape === false &&
189 $this->char >= 3 && $this->character($this->char - 4, 4) === '<!--') {
190 $this->escape = true;
191 }
192
193 /* In any case, emit the input character as a character token. Stay
194 in the data state. */
195 $this->emitToken(array(
196 'type' => self::CHARACTR,
197 'data' => $char
198 ));
199
200 /* U+003C LESS-THAN SIGN (<) */
201 } elseif($char === '<' && ($this->content_model === self::PCDATA ||
202 (($this->content_model === self::RCDATA ||
203 $this->content_model === self::CDATA) && $this->escape === false))) {
204 /* When the content model flag is set to the PCDATA state: switch
205 to the tag open state.
206
207 When the content model flag is set to either the RCDATA state or
208 the CDATA state and the escape flag is false: switch to the tag
209 open state.
210
211 Otherwise: treat it as per the "anything else" entry below. */
212 $this->state = 'tagOpen';
213
214 /* U+003E GREATER-THAN SIGN (>) */
215 } elseif($char === '>') {
216 /* If the content model flag is set to either the RCDATA state or
217 the CDATA state, and the escape flag is true, and the last three
218 characters in the input stream including this one are U+002D
219 HYPHEN-MINUS, U+002D HYPHEN-MINUS, U+003E GREATER-THAN SIGN ("-->"),
220 set the escape flag to false. */
221 if(($this->content_model === self::RCDATA ||
222 $this->content_model === self::CDATA) && $this->escape === true &&
223 $this->character($this->char, 3) === '-->') {
224 $this->escape = false;
225 }
226
227 /* In any case, emit the input character as a character token.
228 Stay in the data state. */
229 $this->emitToken(array(
230 'type' => self::CHARACTR,
231 'data' => $char
232 ));
233
234 } elseif($this->char === $this->EOF) {
235 /* EOF
236 Emit an end-of-file token. */
237 $this->EOF();
238
239 } elseif($this->content_model === self::PLAINTEXT) {
240 /* When the content model flag is set to the PLAINTEXT state
241 THIS DIFFERS GREATLY FROM THE SPEC: Get the remaining characters of
242 the text and emit it as a character token. */
243 $this->emitToken(array(
244 'type' => self::CHARACTR,
245 'data' => substr($this->data, $this->char)
246 ));
247
248 $this->EOF();
249
250 } else {
251 /* Anything else
252 THIS DIFFERS GREATLY FROM THE SPEC: Get as many character that
253 otherwise would also be treated as a character token and emit it
254 as a single character token. Stay in the data state. */
255 $len = strcspn($this->data, '<&', $this->char);
256 $char = substr($this->data, $this->char, $len);
257 $this->char += $len - 1;
258
259 $this->emitToken(array(
260 'type' => self::CHARACTR,
261 'data' => $char
262 ));
263
264 $this->state = 'data';
265 }
266 }
267
268 private function entityDataState() {
269 // Attempt to consume an entity.
270 $entity = $this->entity();
271
272 // If nothing is returned, emit a U+0026 AMPERSAND character token.
273 // Otherwise, emit the character token that was returned.
274 $char = (!$entity) ? '&' : $entity;
275 $this->emitToken(array(
276 'type' => self::CHARACTR,
277 'data' => $char
278 ));
279
280 // Finally, switch to the data state.
281 $this->state = 'data';
282 }
283
284 private function tagOpenState() {
285 switch($this->content_model) {
286 case self::RCDATA:
287 case self::CDATA:
288 /* If the next input character is a U+002F SOLIDUS (/) character,
289 consume it and switch to the close tag open state. If the next
290 input character is not a U+002F SOLIDUS (/) character, emit a
291 U+003C LESS-THAN SIGN character token and switch to the data
292 state to process the next input character. */
293 if($this->character($this->char + 1) === '/') {
294 $this->char++;
295 $this->state = 'closeTagOpen';
296
297 } else {
298 $this->emitToken(array(
299 'type' => self::CHARACTR,
300 'data' => '<'
301 ));
302
303 $this->state = 'data';
304 }
305 break;
306
307 case self::PCDATA:
308 // If the content model flag is set to the PCDATA state
309 // Consume the next input character:
310 $this->char++;
311 $char = $this->char();
312
313 if($char === '!') {
314 /* U+0021 EXCLAMATION MARK (!)
315 Switch to the markup declaration open state. */
316 $this->state = 'markupDeclarationOpen';
317
318 } elseif($char === '/') {
319 /* U+002F SOLIDUS (/)
320 Switch to the close tag open state. */
321 $this->state = 'closeTagOpen';
322
323 } elseif(preg_match('/^[A-Za-z]$/', $char)) {
324 /* U+0041 LATIN LETTER A through to U+005A LATIN LETTER Z
325 Create a new start tag token, set its tag name to the lowercase
326 version of the input character (add 0x0020 to the character's code
327 point), then switch to the tag name state. (Don't emit the token
328 yet; further details will be filled in before it is emitted.) */
329 $this->token = array(
330 'name' => strtolower($char),
331 'type' => self::STARTTAG,
332 'attr' => array()
333 );
334
335 $this->state = 'tagName';
336
337 } elseif($char === '>') {
338 /* U+003E GREATER-THAN SIGN (>)
339 Parse error. Emit a U+003C LESS-THAN SIGN character token and a
340 U+003E GREATER-THAN SIGN character token. Switch to the data state. */
341 $this->emitToken(array(
342 'type' => self::CHARACTR,
343 'data' => '<>'
344 ));
345
346 $this->state = 'data';
347
348 } elseif($char === '?') {
349 /* U+003F QUESTION MARK (?)
350 Parse error. Switch to the bogus comment state. */
351 $this->state = 'bogusComment';
352
353 } else {
354 /* Anything else
355 Parse error. Emit a U+003C LESS-THAN SIGN character token and
356 reconsume the current input character in the data state. */
357 $this->emitToken(array(
358 'type' => self::CHARACTR,
359 'data' => '<'
360 ));
361
362 $this->char--;
363 $this->state = 'data';
364 }
365 break;
366 }
367 }
368
369 private function closeTagOpenState() {
370 $next_node = strtolower($this->characters('A-Za-z', $this->char + 1));
371 $the_same = count($this->tree->stack) > 0 && $next_node === end($this->tree->stack)->nodeName;
372
373 if(($this->content_model === self::RCDATA || $this->content_model === self::CDATA) &&
374 (!$the_same || ($the_same && (!preg_match('/[\t\n\x0b\x0c >\/]/',
375 $this->character($this->char + 1 + strlen($next_node))) || $this->EOF === $this->char)))) {
376 /* If the content model flag is set to the RCDATA or CDATA states then
377 examine the next few characters. If they do not match the tag name of
378 the last start tag token emitted (case insensitively), or if they do but
379 they are not immediately followed by one of the following characters:
380 * U+0009 CHARACTER TABULATION
381 * U+000A LINE FEED (LF)
382 * U+000B LINE TABULATION
383 * U+000C FORM FEED (FF)
384 * U+0020 SPACE
385 * U+003E GREATER-THAN SIGN (>)
386 * U+002F SOLIDUS (/)
387 * EOF
388 ...then there is a parse error. Emit a U+003C LESS-THAN SIGN character
389 token, a U+002F SOLIDUS character token, and switch to the data state
390 to process the next input character. */
391 $this->emitToken(array(
392 'type' => self::CHARACTR,
393 'data' => '</'
394 ));
395
396 $this->state = 'data';
397
398 } else {
399 /* Otherwise, if the content model flag is set to the PCDATA state,
400 or if the next few characters do match that tag name, consume the
401 next input character: */
402 $this->char++;
403 $char = $this->char();
404
405 if(preg_match('/^[A-Za-z]$/', $char)) {
406 /* U+0041 LATIN LETTER A through to U+005A LATIN LETTER Z
407 Create a new end tag token, set its tag name to the lowercase version
408 of the input character (add 0x0020 to the character's code point), then
409 switch to the tag name state. (Don't emit the token yet; further details
410 will be filled in before it is emitted.) */
411 $this->token = array(
412 'name' => strtolower($char),
413 'type' => self::ENDTAG
414 );
415
416 $this->state = 'tagName';
417
418 } elseif($char === '>') {
419 /* U+003E GREATER-THAN SIGN (>)
420 Parse error. Switch to the data state. */
421 $this->state = 'data';
422
423 } elseif($this->char === $this->EOF) {
424 /* EOF
425 Parse error. Emit a U+003C LESS-THAN SIGN character token and a U+002F
426 SOLIDUS character token. Reconsume the EOF character in the data state. */
427 $this->emitToken(array(
428 'type' => self::CHARACTR,
429 'data' => '</'
430 ));
431
432 $this->char--;
433 $this->state = 'data';
434
435 } else {
436 /* Parse error. Switch to the bogus comment state. */
437 $this->state = 'bogusComment';
438 }
439 }
440 }
441
442 private function tagNameState() {
443 // Consume the next input character:
444 $this->char++;
445 $char = $this->character($this->char);
446
447 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
448 /* U+0009 CHARACTER TABULATION
449 U+000A LINE FEED (LF)
450 U+000B LINE TABULATION
451 U+000C FORM FEED (FF)
452 U+0020 SPACE
453 Switch to the before attribute name state. */
454 $this->state = 'beforeAttributeName';
455
456 } elseif($char === '>') {
457 /* U+003E GREATER-THAN SIGN (>)
458 Emit the current tag token. Switch to the data state. */
459 $this->emitToken($this->token);
460 $this->state = 'data';
461
462 } elseif($this->char === $this->EOF) {
463 /* EOF
464 Parse error. Emit the current tag token. Reconsume the EOF
465 character in the data state. */
466 $this->emitToken($this->token);
467
468 $this->char--;
469 $this->state = 'data';
470
471 } elseif($char === '/') {
472 /* U+002F SOLIDUS (/)
473 Parse error unless this is a permitted slash. Switch to the before
474 attribute name state. */
475 $this->state = 'beforeAttributeName';
476
477 } else {
478 /* Anything else
479 Append the current input character to the current tag token's tag name.
480 Stay in the tag name state. */
481 $this->token['name'] .= strtolower($char);
482 $this->state = 'tagName';
483 }
484 }
485
486 private function beforeAttributeNameState() {
487 // Consume the next input character:
488 $this->char++;
489 $char = $this->character($this->char);
490
491 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
492 /* U+0009 CHARACTER TABULATION
493 U+000A LINE FEED (LF)
494 U+000B LINE TABULATION
495 U+000C FORM FEED (FF)
496 U+0020 SPACE
497 Stay in the before attribute name state. */
498 $this->state = 'beforeAttributeName';
499
500 } elseif($char === '>') {
501 /* U+003E GREATER-THAN SIGN (>)
502 Emit the current tag token. Switch to the data state. */
503 $this->emitToken($this->token);
504 $this->state = 'data';
505
506 } elseif($char === '/') {
507 /* U+002F SOLIDUS (/)
508 Parse error unless this is a permitted slash. Stay in the before
509 attribute name state. */
510 $this->state = 'beforeAttributeName';
511
512 } elseif($this->char === $this->EOF) {
513 /* EOF
514 Parse error. Emit the current tag token. Reconsume the EOF
515 character in the data state. */
516 $this->emitToken($this->token);
517
518 $this->char--;
519 $this->state = 'data';
520
521 } else {
522 /* Anything else
523 Start a new attribute in the current tag token. Set that attribute's
524 name to the current input character, and its value to the empty string.
525 Switch to the attribute name state. */
526 $this->token['attr'][] = array(
527 'name' => strtolower($char),
528 'value' => null
529 );
530
531 $this->state = 'attributeName';
532 }
533 }
534
535 private function attributeNameState() {
536 // Consume the next input character:
537 $this->char++;
538 $char = $this->character($this->char);
539
540 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
541 /* U+0009 CHARACTER TABULATION
542 U+000A LINE FEED (LF)
543 U+000B LINE TABULATION
544 U+000C FORM FEED (FF)
545 U+0020 SPACE
546 Stay in the before attribute name state. */
547 $this->state = 'afterAttributeName';
548
549 } elseif($char === '=') {
550 /* U+003D EQUALS SIGN (=)
551 Switch to the before attribute value state. */
552 $this->state = 'beforeAttributeValue';
553
554 } elseif($char === '>') {
555 /* U+003E GREATER-THAN SIGN (>)
556 Emit the current tag token. Switch to the data state. */
557 $this->emitToken($this->token);
558 $this->state = 'data';
559
560 } elseif($char === '/' && $this->character($this->char + 1) !== '>') {
561 /* U+002F SOLIDUS (/)
562 Parse error unless this is a permitted slash. Switch to the before
563 attribute name state. */
564 $this->state = 'beforeAttributeName';
565
566 } elseif($this->char === $this->EOF) {
567 /* EOF
568 Parse error. Emit the current tag token. Reconsume the EOF
569 character in the data state. */
570 $this->emitToken($this->token);
571
572 $this->char--;
573 $this->state = 'data';
574
575 } else {
576 /* Anything else
577 Append the current input character to the current attribute's name.
578 Stay in the attribute name state. */
579 $last = count($this->token['attr']) - 1;
580 $this->token['attr'][$last]['name'] .= strtolower($char);
581
582 $this->state = 'attributeName';
583 }
584 }
585
586 private function afterAttributeNameState() {
587 // Consume the next input character:
588 $this->char++;
589 $char = $this->character($this->char);
590
591 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
592 /* U+0009 CHARACTER TABULATION
593 U+000A LINE FEED (LF)
594 U+000B LINE TABULATION
595 U+000C FORM FEED (FF)
596 U+0020 SPACE
597 Stay in the after attribute name state. */
598 $this->state = 'afterAttributeName';
599
600 } elseif($char === '=') {
601 /* U+003D EQUALS SIGN (=)
602 Switch to the before attribute value state. */
603 $this->state = 'beforeAttributeValue';
604
605 } elseif($char === '>') {
606 /* U+003E GREATER-THAN SIGN (>)
607 Emit the current tag token. Switch to the data state. */
608 $this->emitToken($this->token);
609 $this->state = 'data';
610
611 } elseif($char === '/' && $this->character($this->char + 1) !== '>') {
612 /* U+002F SOLIDUS (/)
613 Parse error unless this is a permitted slash. Switch to the
614 before attribute name state. */
615 $this->state = 'beforeAttributeName';
616
617 } elseif($this->char === $this->EOF) {
618 /* EOF
619 Parse error. Emit the current tag token. Reconsume the EOF
620 character in the data state. */
621 $this->emitToken($this->token);
622
623 $this->char--;
624 $this->state = 'data';
625
626 } else {
627 /* Anything else
628 Start a new attribute in the current tag token. Set that attribute's
629 name to the current input character, and its value to the empty string.
630 Switch to the attribute name state. */
631 $this->token['attr'][] = array(
632 'name' => strtolower($char),
633 'value' => null
634 );
635
636 $this->state = 'attributeName';
637 }
638 }
639
640 private function beforeAttributeValueState() {
641 // Consume the next input character:
642 $this->char++;
643 $char = $this->character($this->char);
644
645 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
646 /* U+0009 CHARACTER TABULATION
647 U+000A LINE FEED (LF)
648 U+000B LINE TABULATION
649 U+000C FORM FEED (FF)
650 U+0020 SPACE
651 Stay in the before attribute value state. */
652 $this->state = 'beforeAttributeValue';
653
654 } elseif($char === '"') {
655 /* U+0022 QUOTATION MARK (")
656 Switch to the attribute value (double-quoted) state. */
657 $this->state = 'attributeValueDoubleQuoted';
658
659 } elseif($char === '&') {
660 /* U+0026 AMPERSAND (&)
661 Switch to the attribute value (unquoted) state and reconsume
662 this input character. */
663 $this->char--;
664 $this->state = 'attributeValueUnquoted';
665
666 } elseif($char === '\'') {
667 /* U+0027 APOSTROPHE (')
668 Switch to the attribute value (single-quoted) state. */
669 $this->state = 'attributeValueSingleQuoted';
670
671 } elseif($char === '>') {
672 /* U+003E GREATER-THAN SIGN (>)
673 Emit the current tag token. Switch to the data state. */
674 $this->emitToken($this->token);
675 $this->state = 'data';
676
677 } else {
678 /* Anything else
679 Append the current input character to the current attribute's value.
680 Switch to the attribute value (unquoted) state. */
681 $last = count($this->token['attr']) - 1;
682 $this->token['attr'][$last]['value'] .= $char;
683
684 $this->state = 'attributeValueUnquoted';
685 }
686 }
687
688 private function attributeValueDoubleQuotedState() {
689 // Consume the next input character:
690 $this->char++;
691 $char = $this->character($this->char);
692
693 if($char === '"') {
694 /* U+0022 QUOTATION MARK (")
695 Switch to the before attribute name state. */
696 $this->state = 'beforeAttributeName';
697
698 } elseif($char === '&') {
699 /* U+0026 AMPERSAND (&)
700 Switch to the entity in attribute value state. */
701 $this->entityInAttributeValueState('double');
702
703 } elseif($this->char === $this->EOF) {
704 /* EOF
705 Parse error. Emit the current tag token. Reconsume the character
706 in the data state. */
707 $this->emitToken($this->token);
708
709 $this->char--;
710 $this->state = 'data';
711
712 } else {
713 /* Anything else
714 Append the current input character to the current attribute's value.
715 Stay in the attribute value (double-quoted) state. */
716 $last = count($this->token['attr']) - 1;
717 $this->token['attr'][$last]['value'] .= $char;
718
719 $this->state = 'attributeValueDoubleQuoted';
720 }
721 }
722
723 private function attributeValueSingleQuotedState() {
724 // Consume the next input character:
725 $this->char++;
726 $char = $this->character($this->char);
727
728 if($char === '\'') {
729 /* U+0022 QUOTATION MARK (')
730 Switch to the before attribute name state. */
731 $this->state = 'beforeAttributeName';
732
733 } elseif($char === '&') {
734 /* U+0026 AMPERSAND (&)
735 Switch to the entity in attribute value state. */
736 $this->entityInAttributeValueState('single');
737
738 } elseif($this->char === $this->EOF) {
739 /* EOF
740 Parse error. Emit the current tag token. Reconsume the character
741 in the data state. */
742 $this->emitToken($this->token);
743
744 $this->char--;
745 $this->state = 'data';
746
747 } else {
748 /* Anything else
749 Append the current input character to the current attribute's value.
750 Stay in the attribute value (single-quoted) state. */
751 $last = count($this->token['attr']) - 1;
752 $this->token['attr'][$last]['value'] .= $char;
753
754 $this->state = 'attributeValueSingleQuoted';
755 }
756 }
757
758 private function attributeValueUnquotedState() {
759 // Consume the next input character:
760 $this->char++;
761 $char = $this->character($this->char);
762
763 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
764 /* U+0009 CHARACTER TABULATION
765 U+000A LINE FEED (LF)
766 U+000B LINE TABULATION
767 U+000C FORM FEED (FF)
768 U+0020 SPACE
769 Switch to the before attribute name state. */
770 $this->state = 'beforeAttributeName';
771
772 } elseif($char === '&') {
773 /* U+0026 AMPERSAND (&)
774 Switch to the entity in attribute value state. */
775 $this->entityInAttributeValueState();
776
777 } elseif($char === '>') {
778 /* U+003E GREATER-THAN SIGN (>)
779 Emit the current tag token. Switch to the data state. */
780 $this->emitToken($this->token);
781 $this->state = 'data';
782
783 } else {
784 /* Anything else
785 Append the current input character to the current attribute's value.
786 Stay in the attribute value (unquoted) state. */
787 $last = count($this->token['attr']) - 1;
788 $this->token['attr'][$last]['value'] .= $char;
789
790 $this->state = 'attributeValueUnquoted';
791 }
792 }
793
794 private function entityInAttributeValueState() {
795 // Attempt to consume an entity.
796 $entity = $this->entity();
797
798 // If nothing is returned, append a U+0026 AMPERSAND character to the
799 // current attribute's value. Otherwise, emit the character token that
800 // was returned.
801 $char = (!$entity)
802 ? '&'
803 : $entity;
804
805 $last = count($this->token['attr']) - 1;
806 $this->token['attr'][$last]['value'] .= $char;
807 }
808
809 private function bogusCommentState() {
810 /* Consume every character up to the first U+003E GREATER-THAN SIGN
811 character (>) or the end of the file (EOF), whichever comes first. Emit
812 a comment token whose data is the concatenation of all the characters
813 starting from and including the character that caused the state machine
814 to switch into the bogus comment state, up to and including the last
815 consumed character before the U+003E character, if any, or up to the
816 end of the file otherwise. (If the comment was started by the end of
817 the file (EOF), the token is empty.) */
818 $data = $this->characters('^>', $this->char);
819 $this->emitToken(array(
820 'data' => $data,
821 'type' => self::COMMENT
822 ));
823
824 $this->char += strlen($data);
825
826 /* Switch to the data state. */
827 $this->state = 'data';
828
829 /* If the end of the file was reached, reconsume the EOF character. */
830 if($this->char === $this->EOF) {
831 $this->char = $this->EOF - 1;
832 }
833 }
834
835 private function markupDeclarationOpenState() {
836 /* If the next two characters are both U+002D HYPHEN-MINUS (-)
837 characters, consume those two characters, create a comment token whose
838 data is the empty string, and switch to the comment state. */
839 if($this->character($this->char + 1, 2) === '--') {
840 $this->char += 2;
841 $this->state = 'comment';
842 $this->token = array(
843 'data' => null,
844 'type' => self::COMMENT
845 );
846
847 /* Otherwise if the next seven chacacters are a case-insensitive match
848 for the word "DOCTYPE", then consume those characters and switch to the
849 DOCTYPE state. */
850 } elseif(strtolower($this->character($this->char + 1, 7)) === 'doctype') {
851 $this->char += 7;
852 $this->state = 'doctype';
853
854 /* Otherwise, is is a parse error. Switch to the bogus comment state.
855 The next character that is consumed, if any, is the first character
856 that will be in the comment. */
857 } else {
858 $this->char++;
859 $this->state = 'bogusComment';
860 }
861 }
862
863 private function commentState() {
864 /* Consume the next input character: */
865 $this->char++;
866 $char = $this->char();
867
868 /* U+002D HYPHEN-MINUS (-) */
869 if($char === '-') {
870 /* Switch to the comment dash state */
871 $this->state = 'commentDash';
872
873 /* EOF */
874 } elseif($this->char === $this->EOF) {
875 /* Parse error. Emit the comment token. Reconsume the EOF character
876 in the data state. */
877 $this->emitToken($this->token);
878 $this->char--;
879 $this->state = 'data';
880
881 /* Anything else */
882 } else {
883 /* Append the input character to the comment token's data. Stay in
884 the comment state. */
885 $this->token['data'] .= $char;
886 }
887 }
888
889 private function commentDashState() {
890 /* Consume the next input character: */
891 $this->char++;
892 $char = $this->char();
893
894 /* U+002D HYPHEN-MINUS (-) */
895 if($char === '-') {
896 /* Switch to the comment end state */
897 $this->state = 'commentEnd';
898
899 /* EOF */
900 } elseif($this->char === $this->EOF) {
901 /* Parse error. Emit the comment token. Reconsume the EOF character
902 in the data state. */
903 $this->emitToken($this->token);
904 $this->char--;
905 $this->state = 'data';
906
907 /* Anything else */
908 } else {
909 /* Append a U+002D HYPHEN-MINUS (-) character and the input
910 character to the comment token's data. Switch to the comment state. */
911 $this->token['data'] .= '-'.$char;
912 $this->state = 'comment';
913 }
914 }
915
916 private function commentEndState() {
917 /* Consume the next input character: */
918 $this->char++;
919 $char = $this->char();
920
921 if($char === '>') {
922 $this->emitToken($this->token);
923 $this->state = 'data';
924
925 } elseif($char === '-') {
926 $this->token['data'] .= '-';
927
928 } elseif($this->char === $this->EOF) {
929 $this->emitToken($this->token);
930 $this->char--;
931 $this->state = 'data';
932
933 } else {
934 $this->token['data'] .= '--'.$char;
935 $this->state = 'comment';
936 }
937 }
938
939 private function doctypeState() {
940 /* Consume the next input character: */
941 $this->char++;
942 $char = $this->char();
943
944 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
945 $this->state = 'beforeDoctypeName';
946
947 } else {
948 $this->char--;
949 $this->state = 'beforeDoctypeName';
950 }
951 }
952
953 private function beforeDoctypeNameState() {
954 /* Consume the next input character: */
955 $this->char++;
956 $char = $this->char();
957
958 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
959 // Stay in the before DOCTYPE name state.
960
961 } elseif(preg_match('/^[a-z]$/', $char)) {
962 $this->token = array(
963 'name' => strtoupper($char),
964 'type' => self::DOCTYPE,
965 'error' => true
966 );
967
968 $this->state = 'doctypeName';
969
970 } elseif($char === '>') {
971 $this->emitToken(array(
972 'name' => null,
973 'type' => self::DOCTYPE,
974 'error' => true
975 ));
976
977 $this->state = 'data';
978
979 } elseif($this->char === $this->EOF) {
980 $this->emitToken(array(
981 'name' => null,
982 'type' => self::DOCTYPE,
983 'error' => true
984 ));
985
986 $this->char--;
987 $this->state = 'data';
988
989 } else {
990 $this->token = array(
991 'name' => $char,
992 'type' => self::DOCTYPE,
993 'error' => true
994 );
995
996 $this->state = 'doctypeName';
997 }
998 }
999
1000 private function doctypeNameState() {
1001 /* Consume the next input character: */
1002 $this->char++;
1003 $char = $this->char();
1004
1005 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
1006 $this->state = 'AfterDoctypeName';
1007
1008 } elseif($char === '>') {
1009 $this->emitToken($this->token);
1010 $this->state = 'data';
1011
1012 } elseif(preg_match('/^[a-z]$/', $char)) {
1013 $this->token['name'] .= strtoupper($char);
1014
1015 } elseif($this->char === $this->EOF) {
1016 $this->emitToken($this->token);
1017 $this->char--;
1018 $this->state = 'data';
1019
1020 } else {
1021 $this->token['name'] .= $char;
1022 }
1023
1024 $this->token['error'] = ($this->token['name'] === 'HTML')
1025 ? false
1026 : true;
1027 }
1028
1029 private function afterDoctypeNameState() {
1030 /* Consume the next input character: */
1031 $this->char++;
1032 $char = $this->char();
1033
1034 if(preg_match('/^[\t\n\x0b\x0c ]$/', $char)) {
1035 // Stay in the DOCTYPE name state.
1036
1037 } elseif($char === '>') {
1038 $this->emitToken($this->token);
1039 $this->state = 'data';
1040
1041 } elseif($this->char === $this->EOF) {
1042 $this->emitToken($this->token);
1043 $this->char--;
1044 $this->state = 'data';
1045
1046 } else {
1047 $this->token['error'] = true;
1048 $this->state = 'bogusDoctype';
1049 }
1050 }
1051
1052 private function bogusDoctypeState() {
1053 /* Consume the next input character: */
1054 $this->char++;
1055 $char = $this->char();
1056
1057 if($char === '>') {
1058 $this->emitToken($this->token);
1059 $this->state = 'data';
1060
1061 } elseif($this->char === $this->EOF) {
1062 $this->emitToken($this->token);
1063 $this->char--;
1064 $this->state = 'data';
1065
1066 } else {
1067 // Stay in the bogus DOCTYPE state.
1068 }
1069 }
1070
1071 private function entity() {
1072 $start = $this->char;
1073
1074 // This section defines how to consume an entity. This definition is
1075 // used when parsing entities in text and in attributes.
1076
1077 // The behaviour depends on the identity of the next character (the
1078 // one immediately after the U+0026 AMPERSAND character):
1079
1080 switch($this->character($this->char + 1)) {
1081 // U+0023 NUMBER SIGN (#)
1082 case '#':
1083
1084 // The behaviour further depends on the character after the
1085 // U+0023 NUMBER SIGN:
1086 switch($this->character($this->char + 1)) {
1087 // U+0078 LATIN SMALL LETTER X
1088 // U+0058 LATIN CAPITAL LETTER X
1089 case 'x':
1090 case 'X':
1091 // Follow the steps below, but using the range of
1092 // characters U+0030 DIGIT ZERO through to U+0039 DIGIT
1093 // NINE, U+0061 LATIN SMALL LETTER A through to U+0066
1094 // LATIN SMALL LETTER F, and U+0041 LATIN CAPITAL LETTER
1095 // A, through to U+0046 LATIN CAPITAL LETTER F (in other
1096 // words, 0-9, A-F, a-f).
1097 $char = 1;
1098 $char_class = '0-9A-Fa-f';
1099 break;
1100
1101 // Anything else
1102 default:
1103 // Follow the steps below, but using the range of
1104 // characters U+0030 DIGIT ZERO through to U+0039 DIGIT
1105 // NINE (i.e. just 0-9).
1106 $char = 0;
1107 $char_class = '0-9';
1108 break;
1109 }
1110
1111 // Consume as many characters as match the range of characters
1112 // given above.
1113 $this->char++;
1114 $e_name = $this->characters($char_class, $this->char + $char + 1);
1115 $entity = $this->character($start, $this->char);
1116 $cond = strlen($e_name) > 0;
1117
1118 // The rest of the parsing happens bellow.
1119 break;
1120
1121 // Anything else
1122 default:
1123 // Consume the maximum number of characters possible, with the
1124 // consumed characters case-sensitively matching one of the
1125 // identifiers in the first column of the entities table.
1126 $e_name = $this->characters('0-9A-Za-z;', $this->char + 1);
1127 $len = strlen($e_name);
1128
1129 for($c = 1; $c <= $len; $c++) {
1130 $id = substr($e_name, 0, $c);
1131 $this->char++;
1132
1133 if(in_array($id, $this->entities)) {
1134 if ($e_name[$c-1] !== ';') {
1135 if ($c < $len && $e_name[$c] == ';') {
1136 $this->char++; // consume extra semicolon
1137 }
1138 }
1139 $entity = $id;
1140 break;
1141 }
1142 }
1143
1144 $cond = isset($entity);
1145 // The rest of the parsing happens bellow.
1146 break;
1147 }
1148
1149 if(!$cond) {
1150 // If no match can be made, then this is a parse error. No
1151 // characters are consumed, and nothing is returned.
1152 $this->char = $start;
1153 return false;
1154 }
1155
1156 // Return a character token for the character corresponding to the
1157 // entity name (as given by the second column of the entities table).
1158 return html_entity_decode('&'.$entity.';', ENT_QUOTES, 'UTF-8');
1159 }
1160
1161 private function emitToken($token) {
1162 $emit = $this->tree->emitToken($token);
1163
1164 if(is_int($emit)) {
1165 $this->content_model = $emit;
1166
1167 } elseif($token['type'] === self::ENDTAG) {
1168 $this->content_model = self::PCDATA;
1169 }
1170 }
1171
1172 private function EOF() {
1173 $this->state = null;
1174 $this->tree->emitToken(array(
1175 'type' => self::EOF
1176 ));
1177 }
1178 }
1179
1180 class HTML5TreeConstructer {
1181 public $stack = array();
1182
1183 private $phase;
1184 private $mode;
1185 private $dom;
1186 private $foster_parent = null;
1187 private $a_formatting = array();
1188
1189 private $head_pointer = null;
1190 private $form_pointer = null;
1191
1192 private $scoping = array('button','caption','html','marquee','object','table','td','th');
1193 private $formatting = array('a','b','big','em','font','i','nobr','s','small','strike','strong','tt','u');
1194 private $special = array('address','area','base','basefont','bgsound',
1195 'blockquote','body','br','center','col','colgroup','dd','dir','div','dl',
1196 'dt','embed','fieldset','form','frame','frameset','h1','h2','h3','h4','h5',
1197 'h6','head','hr','iframe','image','img','input','isindex','li','link',
1198 'listing','menu','meta','noembed','noframes','noscript','ol','optgroup',
1199 'option','p','param','plaintext','pre','script','select','spacer','style',
1200 'tbody','textarea','tfoot','thead','title','tr','ul','wbr');
1201
1202 // The different phases.
1203 const INIT_PHASE = 0;
1204 const ROOT_PHASE = 1;
1205 const MAIN_PHASE = 2;
1206 const END_PHASE = 3;
1207
1208 // The different insertion modes for the main phase.
1209 const BEFOR_HEAD = 0;
1210 const IN_HEAD = 1;
1211 const AFTER_HEAD = 2;
1212 const IN_BODY = 3;
1213 const IN_TABLE = 4;
1214 const IN_CAPTION = 5;
1215 const IN_CGROUP = 6;
1216 const IN_TBODY = 7;
1217 const IN_ROW = 8;
1218 const IN_CELL = 9;
1219 const IN_SELECT = 10;
1220 const AFTER_BODY = 11;
1221 const IN_FRAME = 12;
1222 const AFTR_FRAME = 13;
1223
1224 // The different types of elements.
1225 const SPECIAL = 0;
1226 const SCOPING = 1;
1227 const FORMATTING = 2;
1228 const PHRASING = 3;
1229
1230 const MARKER = 0;
1231
1232 public function __construct() {
1233 $this->phase = self::INIT_PHASE;
1234 $this->mode = self::BEFOR_HEAD;
1235 $this->dom = new DOMDocument;
1236
1237 $this->dom->encoding = 'UTF-8';
1238 $this->dom->preserveWhiteSpace = true;
1239 $this->dom->substituteEntities = true;
1240 $this->dom->strictErrorChecking = false;
1241 }
1242
1243 // Process tag tokens
1244 public function emitToken($token) {
1245 switch($this->phase) {
1246 case self::INIT_PHASE: return $this->initPhase($token); break;
1247 case self::ROOT_PHASE: return $this->rootElementPhase($token); break;
1248 case self::MAIN_PHASE: return $this->mainPhase($token); break;
1249 case self::END_PHASE : return $this->trailingEndPhase($token); break;
1250 }
1251 }
1252
1253 private function initPhase($token) {
1254 /* Initially, the tree construction stage must handle each token
1255 emitted from the tokenisation stage as follows: */
1256
1257 /* A DOCTYPE token that is marked as being in error
1258 A comment token
1259 A start tag token
1260 An end tag token
1261 A character token that is not one of one of U+0009 CHARACTER TABULATION,
1262 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1263 or U+0020 SPACE
1264 An end-of-file token */
1265 if((isset($token['error']) && $token['error']) ||
1266 $token['type'] === HTML5::COMMENT ||
1267 $token['type'] === HTML5::STARTTAG ||
1268 $token['type'] === HTML5::ENDTAG ||
1269 $token['type'] === HTML5::EOF ||
1270 ($token['type'] === HTML5::CHARACTR && isset($token['data']) &&
1271 !preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data']))) {
1272 /* This specification does not define how to handle this case. In
1273 particular, user agents may ignore the entirety of this specification
1274 altogether for such documents, and instead invoke special parse modes
1275 with a greater emphasis on backwards compatibility. */
1276
1277 $this->phase = self::ROOT_PHASE;
1278 return $this->rootElementPhase($token);
1279
1280 /* A DOCTYPE token marked as being correct */
1281 } elseif(isset($token['error']) && !$token['error']) {
1282 /* Append a DocumentType node to the Document node, with the name
1283 attribute set to the name given in the DOCTYPE token (which will be
1284 "HTML"), and the other attributes specific to DocumentType objects
1285 set to null, empty lists, or the empty string as appropriate. */
1286 $doctype = new DOMDocumentType(null, null, 'HTML');
1287
1288 /* Then, switch to the root element phase of the tree construction
1289 stage. */
1290 $this->phase = self::ROOT_PHASE;
1291
1292 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1293 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1294 or U+0020 SPACE */
1295 } elseif(isset($token['data']) && preg_match('/^[\t\n\x0b\x0c ]+$/',
1296 $token['data'])) {
1297 /* Append that character to the Document node. */
1298 $text = $this->dom->createTextNode($token['data']);
1299 $this->dom->appendChild($text);
1300 }
1301 }
1302
1303 private function rootElementPhase($token) {
1304 /* After the initial phase, as each token is emitted from the tokenisation
1305 stage, it must be processed as described in this section. */
1306
1307 /* A DOCTYPE token */
1308 if($token['type'] === HTML5::DOCTYPE) {
1309 // Parse error. Ignore the token.
1310
1311 /* A comment token */
1312 } elseif($token['type'] === HTML5::COMMENT) {
1313 /* Append a Comment node to the Document object with the data
1314 attribute set to the data given in the comment token. */
1315 $comment = $this->dom->createComment($token['data']);
1316 $this->dom->appendChild($comment);
1317
1318 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1319 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1320 or U+0020 SPACE */
1321 } elseif($token['type'] === HTML5::CHARACTR &&
1322 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
1323 /* Append that character to the Document node. */
1324 $text = $this->dom->createTextNode($token['data']);
1325 $this->dom->appendChild($text);
1326
1327 /* A character token that is not one of U+0009 CHARACTER TABULATION,
1328 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED
1329 (FF), or U+0020 SPACE
1330 A start tag token
1331 An end tag token
1332 An end-of-file token */
1333 } elseif(($token['type'] === HTML5::CHARACTR &&
1334 !preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) ||
1335 $token['type'] === HTML5::STARTTAG ||
1336 $token['type'] === HTML5::ENDTAG ||
1337 $token['type'] === HTML5::EOF) {
1338 /* Create an HTMLElement node with the tag name html, in the HTML
1339 namespace. Append it to the Document object. Switch to the main
1340 phase and reprocess the current token. */
1341 $html = $this->dom->createElement('html');
1342 $this->dom->appendChild($html);
1343 $this->stack[] = $html;
1344
1345 $this->phase = self::MAIN_PHASE;
1346 return $this->mainPhase($token);
1347 }
1348 }
1349
1350 private function mainPhase($token) {
1351 /* Tokens in the main phase must be handled as follows: */
1352
1353 /* A DOCTYPE token */
1354 if($token['type'] === HTML5::DOCTYPE) {
1355 // Parse error. Ignore the token.
1356
1357 /* A start tag token with the tag name "html" */
1358 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'html') {
1359 /* If this start tag token was not the first start tag token, then
1360 it is a parse error. */
1361
1362 /* For each attribute on the token, check to see if the attribute
1363 is already present on the top element of the stack of open elements.
1364 If it is not, add the attribute and its corresponding value to that
1365 element. */
1366 foreach($token['attr'] as $attr) {
1367 if(!$this->stack[0]->hasAttribute($attr['name'])) {
1368 $this->stack[0]->setAttribute($attr['name'], $attr['value']);
1369 }
1370 }
1371
1372 /* An end-of-file token */
1373 } elseif($token['type'] === HTML5::EOF) {
1374 /* Generate implied end tags. */
1375 $this->generateImpliedEndTags();
1376
1377 /* Anything else. */
1378 } else {
1379 /* Depends on the insertion mode: */
1380 switch($this->mode) {
1381 case self::BEFOR_HEAD: return $this->beforeHead($token); break;
1382 case self::IN_HEAD: return $this->inHead($token); break;
1383 case self::AFTER_HEAD: return $this->afterHead($token); break;
1384 case self::IN_BODY: return $this->inBody($token); break;
1385 case self::IN_TABLE: return $this->inTable($token); break;
1386 case self::IN_CAPTION: return $this->inCaption($token); break;
1387 case self::IN_CGROUP: return $this->inColumnGroup($token); break;
1388 case self::IN_TBODY: return $this->inTableBody($token); break;
1389 case self::IN_ROW: return $this->inRow($token); break;
1390 case self::IN_CELL: return $this->inCell($token); break;
1391 case self::IN_SELECT: return $this->inSelect($token); break;
1392 case self::AFTER_BODY: return $this->afterBody($token); break;
1393 case self::IN_FRAME: return $this->inFrameset($token); break;
1394 case self::AFTR_FRAME: return $this->afterFrameset($token); break;
1395 case self::END_PHASE: return $this->trailingEndPhase($token); break;
1396 }
1397 }
1398 }
1399
1400 private function beforeHead($token) {
1401 /* Handle the token as follows: */
1402
1403 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1404 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1405 or U+0020 SPACE */
1406 if($token['type'] === HTML5::CHARACTR &&
1407 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
1408 /* Append the character to the current node. */
1409 $this->insertText($token['data']);
1410
1411 /* A comment token */
1412 } elseif($token['type'] === HTML5::COMMENT) {
1413 /* Append a Comment node to the current node with the data attribute
1414 set to the data given in the comment token. */
1415 $this->insertComment($token['data']);
1416
1417 /* A start tag token with the tag name "head" */
1418 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'head') {
1419 /* Create an element for the token, append the new element to the
1420 current node and push it onto the stack of open elements. */
1421 $element = $this->insertElement($token);
1422
1423 /* Set the head element pointer to this new element node. */
1424 $this->head_pointer = $element;
1425
1426 /* Change the insertion mode to "in head". */
1427 $this->mode = self::IN_HEAD;
1428
1429 /* A start tag token whose tag name is one of: "base", "link", "meta",
1430 "script", "style", "title". Or an end tag with the tag name "html".
1431 Or a character token that is not one of U+0009 CHARACTER TABULATION,
1432 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1433 or U+0020 SPACE. Or any other start tag token */
1434 } elseif($token['type'] === HTML5::STARTTAG ||
1435 ($token['type'] === HTML5::ENDTAG && $token['name'] === 'html') ||
1436 ($token['type'] === HTML5::CHARACTR && !preg_match('/^[\t\n\x0b\x0c ]$/',
1437 $token['data']))) {
1438 /* Act as if a start tag token with the tag name "head" and no
1439 attributes had been seen, then reprocess the current token. */
1440 $this->beforeHead(array(
1441 'name' => 'head',
1442 'type' => HTML5::STARTTAG,
1443 'attr' => array()
1444 ));
1445
1446 return $this->inHead($token);
1447
1448 /* Any other end tag */
1449 } elseif($token['type'] === HTML5::ENDTAG) {
1450 /* Parse error. Ignore the token. */
1451 }
1452 }
1453
1454 private function inHead($token) {
1455 /* Handle the token as follows: */
1456
1457 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1458 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1459 or U+0020 SPACE.
1460
1461 THIS DIFFERS FROM THE SPEC: If the current node is either a title, style
1462 or script element, append the character to the current node regardless
1463 of its content. */
1464 if(($token['type'] === HTML5::CHARACTR &&
1465 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) || (
1466 $token['type'] === HTML5::CHARACTR && in_array(end($this->stack)->nodeName,
1467 array('title', 'style', 'script')))) {
1468 /* Append the character to the current node. */
1469 $this->insertText($token['data']);
1470
1471 /* A comment token */
1472 } elseif($token['type'] === HTML5::COMMENT) {
1473 /* Append a Comment node to the current node with the data attribute
1474 set to the data given in the comment token. */
1475 $this->insertComment($token['data']);
1476
1477 } elseif($token['type'] === HTML5::ENDTAG &&
1478 in_array($token['name'], array('title', 'style', 'script'))) {
1479 array_pop($this->stack);
1480 return HTML5::PCDATA;
1481
1482 /* A start tag with the tag name "title" */
1483 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'title') {
1484 /* Create an element for the token and append the new element to the
1485 node pointed to by the head element pointer, or, if that is null
1486 (innerHTML case), to the current node. */
1487 if($this->head_pointer !== null) {
1488 $element = $this->insertElement($token, false);
1489 $this->head_pointer->appendChild($element);
1490
1491 } else {
1492 $element = $this->insertElement($token);
1493 }
1494
1495 /* Switch the tokeniser's content model flag to the RCDATA state. */
1496 return HTML5::RCDATA;
1497
1498 /* A start tag with the tag name "style" */
1499 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'style') {
1500 /* Create an element for the token and append the new element to the
1501 node pointed to by the head element pointer, or, if that is null
1502 (innerHTML case), to the current node. */
1503 if($this->head_pointer !== null) {
1504 $element = $this->insertElement($token, false);
1505 $this->head_pointer->appendChild($element);
1506
1507 } else {
1508 $this->insertElement($token);
1509 }
1510
1511 /* Switch the tokeniser's content model flag to the CDATA state. */
1512 return HTML5::CDATA;
1513
1514 /* A start tag with the tag name "script" */
1515 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'script') {
1516 /* Create an element for the token. */
1517 $element = $this->insertElement($token, false);
1518 $this->head_pointer->appendChild($element);
1519
1520 /* Switch the tokeniser's content model flag to the CDATA state. */
1521 return HTML5::CDATA;
1522
1523 /* A start tag with the tag name "base", "link", or "meta" */
1524 } elseif($token['type'] === HTML5::STARTTAG && in_array($token['name'],
1525 array('base', 'link', 'meta'))) {
1526 /* Create an element for the token and append the new element to the
1527 node pointed to by the head element pointer, or, if that is null
1528 (innerHTML case), to the current node. */
1529 if($this->head_pointer !== null) {
1530 $element = $this->insertElement($token, false);
1531 $this->head_pointer->appendChild($element);
1532 array_pop($this->stack);
1533
1534 } else {
1535 $this->insertElement($token);
1536 }
1537
1538 /* An end tag with the tag name "head" */
1539 } elseif($token['type'] === HTML5::ENDTAG && $token['name'] === 'head') {
1540 /* If the current node is a head element, pop the current node off
1541 the stack of open elements. */
1542 if($this->head_pointer->isSameNode(end($this->stack))) {
1543 array_pop($this->stack);
1544
1545 /* Otherwise, this is a parse error. */
1546 } else {
1547 // k
1548 }
1549
1550 /* Change the insertion mode to "after head". */
1551 $this->mode = self::AFTER_HEAD;
1552
1553 /* A start tag with the tag name "head" or an end tag except "html". */
1554 } elseif(($token['type'] === HTML5::STARTTAG && $token['name'] === 'head') ||
1555 ($token['type'] === HTML5::ENDTAG && $token['name'] !== 'html')) {
1556 // Parse error. Ignore the token.
1557
1558 /* Anything else */
1559 } else {
1560 /* If the current node is a head element, act as if an end tag
1561 token with the tag name "head" had been seen. */
1562 if($this->head_pointer->isSameNode(end($this->stack))) {
1563 $this->inHead(array(
1564 'name' => 'head',
1565 'type' => HTML5::ENDTAG
1566 ));
1567
1568 /* Otherwise, change the insertion mode to "after head". */
1569 } else {
1570 $this->mode = self::AFTER_HEAD;
1571 }
1572
1573 /* Then, reprocess the current token. */
1574 return $this->afterHead($token);
1575 }
1576 }
1577
1578 private function afterHead($token) {
1579 /* Handle the token as follows: */
1580
1581 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
1582 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
1583 or U+0020 SPACE */
1584 if($token['type'] === HTML5::CHARACTR &&
1585 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
1586 /* Append the character to the current node. */
1587 $this->insertText($token['data']);
1588
1589 /* A comment token */
1590 } elseif($token['type'] === HTML5::COMMENT) {
1591 /* Append a Comment node to the current node with the data attribute
1592 set to the data given in the comment token. */
1593 $this->insertComment($token['data']);
1594
1595 /* A start tag token with the tag name "body" */
1596 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'body') {
1597 /* Insert a body element for the token. */
1598 $this->insertElement($token);
1599
1600 /* Change the insertion mode to "in body". */
1601 $this->mode = self::IN_BODY;
1602
1603 /* A start tag token with the tag name "frameset" */
1604 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'frameset') {
1605 /* Insert a frameset element for the token. */
1606 $this->insertElement($token);
1607
1608 /* Change the insertion mode to "in frameset". */
1609 $this->mode = self::IN_FRAME;
1610
1611 /* A start tag token whose tag name is one of: "base", "link", "meta",
1612 "script", "style", "title" */
1613 } elseif($token['type'] === HTML5::STARTTAG && in_array($token['name'],
1614 array('base', 'link', 'meta', 'script', 'style', 'title'))) {
1615 /* Parse error. Switch the insertion mode back to "in head" and
1616 reprocess the token. */
1617 $this->mode = self::IN_HEAD;
1618 return $this->inHead($token);
1619
1620 /* Anything else */
1621 } else {
1622 /* Act as if a start tag token with the tag name "body" and no
1623 attributes had been seen, and then reprocess the current token. */
1624 $this->afterHead(array(
1625 'name' => 'body',
1626 'type' => HTML5::STARTTAG,
1627 'attr' => array()
1628 ));
1629
1630 return $this->inBody($token);
1631 }
1632 }
1633
1634 private function inBody($token) {
1635 /* Handle the token as follows: */
1636
1637 switch($token['type']) {
1638 /* A character token */
1639 case HTML5::CHARACTR:
1640 /* Reconstruct the active formatting elements, if any. */
1641 $this->reconstructActiveFormattingElements();
1642
1643 /* Append the token's character to the current node. */
1644 $this->insertText($token['data']);
1645 break;
1646
1647 /* A comment token */
1648 case HTML5::COMMENT:
1649 /* Append a Comment node to the current node with the data
1650 attribute set to the data given in the comment token. */
1651 $this->insertComment($token['data']);
1652 break;
1653
1654 case HTML5::STARTTAG:
1655 switch($token['name']) {
1656 /* A start tag token whose tag name is one of: "script",
1657 "style" */
1658 case 'script': case 'style':
1659 /* Process the token as if the insertion mode had been "in
1660 head". */
1661 return $this->inHead($token);
1662 break;
1663
1664 /* A start tag token whose tag name is one of: "base", "link",
1665 "meta", "title" */
1666 case 'base': case 'link': case 'meta': case 'title':
1667 /* Parse error. Process the token as if the insertion mode
1668 had been "in head". */
1669 return $this->inHead($token);
1670 break;
1671
1672 /* A start tag token with the tag name "body" */
1673 case 'body':
1674 /* Parse error. If the second element on the stack of open
1675 elements is not a body element, or, if the stack of open
1676 elements has only one node on it, then ignore the token.
1677 (innerHTML case) */
1678 if(count($this->stack) === 1 || $this->stack[1]->nodeName !== 'body') {
1679 // Ignore
1680
1681 /* Otherwise, for each attribute on the token, check to see
1682 if the attribute is already present on the body element (the
1683 second element) on the stack of open elements. If it is not,
1684 add the attribute and its corresponding value to that
1685 element. */
1686 } else {
1687 foreach($token['attr'] as $attr) {
1688 if(!$this->stack[1]->hasAttribute($attr['name'])) {
1689 $this->stack[1]->setAttribute($attr['name'], $attr['value']);
1690 }
1691 }
1692 }
1693 break;
1694
1695 /* A start tag whose tag name is one of: "address",
1696 "blockquote", "center", "dir", "div", "dl", "fieldset",
1697 "listing", "menu", "ol", "p", "ul" */
1698 case 'address': case 'blockquote': case 'center': case 'dir':
1699 case 'div': case 'dl': case 'fieldset': case 'listing':
1700 case 'menu': case 'ol': case 'p': case 'ul':
1701 /* If the stack of open elements has a p element in scope,
1702 then act as if an end tag with the tag name p had been
1703 seen. */
1704 if($this->elementInScope('p')) {
1705 $this->emitToken(array(
1706 'name' => 'p',
1707 'type' => HTML5::ENDTAG
1708 ));
1709 }
1710
1711 /* Insert an HTML element for the token. */
1712 $this->insertElement($token);
1713 break;
1714
1715 /* A start tag whose tag name is "form" */
1716 case 'form':
1717 /* If the form element pointer is not null, ignore the
1718 token with a parse error. */
1719 if($this->form_pointer !== null) {
1720 // Ignore.
1721
1722 /* Otherwise: */
1723 } else {
1724 /* If the stack of open elements has a p element in
1725 scope, then act as if an end tag with the tag name p
1726 had been seen. */
1727 if($this->elementInScope('p')) {
1728 $this->emitToken(array(
1729 'name' => 'p',
1730 'type' => HTML5::ENDTAG
1731 ));
1732 }
1733
1734 /* Insert an HTML element for the token, and set the
1735 form element pointer to point to the element created. */
1736 $element = $this->insertElement($token);
1737 $this->form_pointer = $element;
1738 }
1739 break;
1740
1741 /* A start tag whose tag name is "li", "dd" or "dt" */
1742 case 'li': case 'dd': case 'dt':
1743 /* If the stack of open elements has a p element in scope,
1744 then act as if an end tag with the tag name p had been
1745 seen. */
1746 if($this->elementInScope('p')) {
1747 $this->emitToken(array(
1748 'name' => 'p',
1749 'type' => HTML5::ENDTAG
1750 ));
1751 }
1752
1753 $stack_length = count($this->stack) - 1;
1754
1755 for($n = $stack_length; 0 <= $n; $n--) {
1756 /* 1. Initialise node to be the current node (the
1757 bottommost node of the stack). */
1758 $stop = false;
1759 $node = $this->stack[$n];
1760 $cat = $this->getElementCategory($node->tagName);
1761
1762 /* 2. If node is an li, dd or dt element, then pop all
1763 the nodes from the current node up to node, including
1764 node, then stop this algorithm. */
1765 if($token['name'] === $node->tagName || ($token['name'] !== 'li'
1766 && ($node->tagName === 'dd' || $node->tagName === 'dt'))) {
1767 for($x = $stack_length; $x >= $n ; $x--) {
1768 array_pop($this->stack);
1769 }
1770
1771 break;
1772 }
1773
1774 /* 3. If node is not in the formatting category, and is
1775 not in the phrasing category, and is not an address or
1776 div element, then stop this algorithm. */
1777 if($cat !== self::FORMATTING && $cat !== self::PHRASING &&
1778 $node->tagName !== 'address' && $node->tagName !== 'div') {
1779 break;
1780 }
1781 }
1782
1783 /* Finally, insert an HTML element with the same tag
1784 name as the token's. */
1785 $this->insertElement($token);
1786 break;
1787
1788 /* A start tag token whose tag name is "plaintext" */
1789 case 'plaintext':
1790 /* If the stack of open elements has a p element in scope,
1791 then act as if an end tag with the tag name p had been
1792 seen. */
1793 if($this->elementInScope('p')) {
1794 $this->emitToken(array(
1795 'name' => 'p',
1796 'type' => HTML5::ENDTAG
1797 ));
1798 }
1799
1800 /* Insert an HTML element for the token. */
1801 $this->insertElement($token);
1802
1803 return HTML5::PLAINTEXT;
1804 break;
1805
1806 /* A start tag whose tag name is one of: "h1", "h2", "h3", "h4",
1807 "h5", "h6" */
1808 case 'h1': case 'h2': case 'h3': case 'h4': case 'h5': case 'h6':
1809 /* If the stack of open elements has a p element in scope,
1810 then act as if an end tag with the tag name p had been seen. */
1811 if($this->elementInScope('p')) {
1812 $this->emitToken(array(
1813 'name' => 'p',
1814 'type' => HTML5::ENDTAG
1815 ));
1816 }
1817
1818 /* If the stack of open elements has in scope an element whose
1819 tag name is one of "h1", "h2", "h3", "h4", "h5", or "h6", then
1820 this is a parse error; pop elements from the stack until an
1821 element with one of those tag names has been popped from the
1822 stack. */
1823 while($this->elementInScope(array('h1', 'h2', 'h3', 'h4', 'h5', 'h6'))) {
1824 array_pop($this->stack);
1825 }
1826
1827 /* Insert an HTML element for the token. */
1828 $this->insertElement($token);
1829 break;
1830
1831 /* A start tag whose tag name is "a" */
1832 case 'a':
1833 /* If the list of active formatting elements contains
1834 an element whose tag name is "a" between the end of the
1835 list and the last marker on the list (or the start of
1836 the list if there is no marker on the list), then this
1837 is a parse error; act as if an end tag with the tag name
1838 "a" had been seen, then remove that element from the list
1839 of active formatting elements and the stack of open
1840 elements if the end tag didn't already remove it (it
1841 might not have if the element is not in table scope). */
1842 $leng = count($this->a_formatting);
1843
1844 for($n = $leng - 1; $n >= 0; $n--) {
1845 if($this->a_formatting[$n] === self::MARKER) {
1846 break;
1847
1848 } elseif($this->a_formatting[$n]->nodeName === 'a') {
1849 $this->emitToken(array(
1850 'name' => 'a',
1851 'type' => HTML5::ENDTAG
1852 ));
1853 break;
1854 }
1855 }
1856
1857 /* Reconstruct the active formatting elements, if any. */
1858 $this->reconstructActiveFormattingElements();
1859
1860 /* Insert an HTML element for the token. */
1861 $el = $this->insertElement($token);
1862
1863 /* Add that element to the list of active formatting
1864 elements. */
1865 $this->a_formatting[] = $el;
1866 break;
1867
1868 /* A start tag whose tag name is one of: "b", "big", "em", "font",
1869 "i", "nobr", "s", "small", "strike", "strong", "tt", "u" */
1870 case 'b': case 'big': case 'em': case 'font': case 'i':
1871 case 'nobr': case 's': case 'small': case 'strike':
1872 case 'strong': case 'tt': case 'u':
1873 /* Reconstruct the active formatting elements, if any. */
1874 $this->reconstructActiveFormattingElements();
1875
1876 /* Insert an HTML element for the token. */
1877 $el = $this->insertElement($token);
1878
1879 /* Add that element to the list of active formatting
1880 elements. */
1881 $this->a_formatting[] = $el;
1882 break;
1883
1884 /* A start tag token whose tag name is "button" */
1885 case 'button':
1886 /* If the stack of open elements has a button element in scope,
1887 then this is a parse error; act as if an end tag with the tag
1888 name "button" had been seen, then reprocess the token. (We don't
1889 do that. Unnecessary.) */
1890 if($this->elementInScope('button')) {
1891 $this->inBody(array(
1892 'name' => 'button',
1893 'type' => HTML5::ENDTAG
1894 ));
1895 }
1896
1897 /* Reconstruct the active formatting elements, if any. */
1898 $this->reconstructActiveFormattingElements();
1899
1900 /* Insert an HTML element for the token. */
1901 $this->insertElement($token);
1902
1903 /* Insert a marker at the end of the list of active
1904 formatting elements. */
1905 $this->a_formatting[] = self::MARKER;
1906 break;
1907
1908 /* A start tag token whose tag name is one of: "marquee", "object" */
1909 case 'marquee': case 'object':
1910 /* Reconstruct the active formatting elements, if any. */
1911 $this->reconstructActiveFormattingElements();
1912
1913 /* Insert an HTML element for the token. */
1914 $this->insertElement($token);
1915
1916 /* Insert a marker at the end of the list of active
1917 formatting elements. */
1918 $this->a_formatting[] = self::MARKER;
1919 break;
1920
1921 /* A start tag token whose tag name is "xmp" */
1922 case 'xmp':
1923 /* Reconstruct the active formatting elements, if any. */
1924 $this->reconstructActiveFormattingElements();
1925
1926 /* Insert an HTML element for the token. */
1927 $this->insertElement($token);
1928
1929 /* Switch the content model flag to the CDATA state. */
1930 return HTML5::CDATA;
1931 break;
1932
1933 /* A start tag whose tag name is "table" */
1934 case 'table':
1935 /* If the stack of open elements has a p element in scope,
1936 then act as if an end tag with the tag name p had been seen. */
1937 if($this->elementInScope('p')) {
1938 $this->emitToken(array(
1939 'name' => 'p',
1940 'type' => HTML5::ENDTAG
1941 ));
1942 }
1943
1944 /* Insert an HTML element for the token. */
1945 $this->insertElement($token);
1946
1947 /* Change the insertion mode to "in table". */
1948 $this->mode = self::IN_TABLE;
1949 break;
1950
1951 /* A start tag whose tag name is one of: "area", "basefont",
1952 "bgsound", "br", "embed", "img", "param", "spacer", "wbr" */
1953 case 'area': case 'basefont': case 'bgsound': case 'br':
1954 case 'embed': case 'img': case 'param': case 'spacer':
1955 case 'wbr':
1956 /* Reconstruct the active formatting elements, if any. */
1957 $this->reconstructActiveFormattingElements();
1958
1959 /* Insert an HTML element for the token. */
1960 $this->insertElement($token);
1961
1962 /* Immediately pop the current node off the stack of open elements. */
1963 array_pop($this->stack);
1964 break;
1965
1966 /* A start tag whose tag name is "hr" */
1967 case 'hr':
1968 /* If the stack of open elements has a p element in scope,
1969 then act as if an end tag with the tag name p had been seen. */
1970 if($this->elementInScope('p')) {
1971 $this->emitToken(array(
1972 'name' => 'p',
1973 'type' => HTML5::ENDTAG
1974 ));
1975 }
1976
1977 /* Insert an HTML element for the token. */
1978 $this->insertElement($token);
1979
1980 /* Immediately pop the current node off the stack of open elements. */
1981 array_pop($this->stack);
1982 break;
1983
1984 /* A start tag whose tag name is "image" */
1985 case 'image':
1986 /* Parse error. Change the token's tag name to "img" and
1987 reprocess it. (Don't ask.) */
1988 $token['name'] = 'img';
1989 return $this->inBody($token);
1990 break;
1991
1992 /* A start tag whose tag name is "input" */
1993 case 'input':
1994 /* Reconstruct the active formatting elements, if any. */
1995 $this->reconstructActiveFormattingElements();
1996
1997 /* Insert an input element for the token. */
1998 $element = $this->insertElement($token, false);
1999
2000 /* If the form element pointer is not null, then associate the
2001 input element with the form element pointed to by the form
2002 element pointer. */
2003 $this->form_pointer !== null
2004 ? $this->form_pointer->appendChild($element)
2005 : end($this->stack)->appendChild($element);
2006
2007 /* Pop that input element off the stack of open elements. */
2008 array_pop($this->stack);
2009 break;
2010
2011 /* A start tag whose tag name is "isindex" */
2012 case 'isindex':
2013 /* Parse error. */
2014 // w/e
2015
2016 /* If the form element pointer is not null,
2017 then ignore the token. */
2018 if($this->form_pointer === null) {
2019 /* Act as if a start tag token with the tag name "form" had
2020 been seen. */
2021 $this->inBody(array(
2022 'name' => 'body',
2023 'type' => HTML5::STARTTAG,
2024 'attr' => array()
2025 ));
2026
2027 /* Act as if a start tag token with the tag name "hr" had
2028 been seen. */
2029 $this->inBody(array(
2030 'name' => 'hr',
2031 'type' => HTML5::STARTTAG,
2032 'attr' => array()
2033 ));
2034
2035 /* Act as if a start tag token with the tag name "p" had
2036 been seen. */
2037 $this->inBody(array(
2038 'name' => 'p',
2039 'type' => HTML5::STARTTAG,
2040 'attr' => array()
2041 ));
2042
2043 /* Act as if a start tag token with the tag name "label"
2044 had been seen. */
2045 $this->inBody(array(
2046 'name' => 'label',
2047 'type' => HTML5::STARTTAG,
2048 'attr' => array()
2049 ));
2050
2051 /* Act as if a stream of character tokens had been seen. */
2052 $this->insertText('This is a searchable index. '.
2053 'Insert your search keywords here: ');
2054
2055 /* Act as if a start tag token with the tag name "input"
2056 had been seen, with all the attributes from the "isindex"
2057 token, except with the "name" attribute set to the value
2058 "isindex" (ignoring any explicit "name" attribute). */
2059 $attr = $token['attr'];
2060 $attr[] = array('name' => 'name', 'value' => 'isindex');
2061
2062 $this->inBody(array(
2063 'name' => 'input',
2064 'type' => HTML5::STARTTAG,
2065 'attr' => $attr
2066 ));
2067
2068 /* Act as if a stream of character tokens had been seen
2069 (see below for what they should say). */
2070 $this->insertText('This is a searchable index. '.
2071 'Insert your search keywords here: ');
2072
2073 /* Act as if an end tag token with the tag name "label"
2074 had been seen. */
2075 $this->inBody(array(
2076 'name' => 'label',
2077 'type' => HTML5::ENDTAG
2078 ));
2079
2080 /* Act as if an end tag token with the tag name "p" had
2081 been seen. */
2082 $this->inBody(array(
2083 'name' => 'p',
2084 'type' => HTML5::ENDTAG
2085 ));
2086
2087 /* Act as if a start tag token with the tag name "hr" had
2088 been seen. */
2089 $this->inBody(array(
2090 'name' => 'hr',
2091 'type' => HTML5::ENDTAG
2092 ));
2093
2094 /* Act as if an end tag token with the tag name "form" had
2095 been seen. */
2096 $this->inBody(array(
2097 'name' => 'form',
2098 'type' => HTML5::ENDTAG
2099 ));
2100 }
2101 break;
2102
2103 /* A start tag whose tag name is "textarea" */
2104 case 'textarea':
2105 $this->insertElement($token);
2106
2107 /* Switch the tokeniser's content model flag to the
2108 RCDATA state. */
2109 return HTML5::RCDATA;
2110 break;
2111
2112 /* A start tag whose tag name is one of: "iframe", "noembed",
2113 "noframes" */
2114 case 'iframe': case 'noembed': case 'noframes':
2115 $this->insertElement($token);
2116
2117 /* Switch the tokeniser's content model flag to the CDATA state. */
2118 return HTML5::CDATA;
2119 break;
2120
2121 /* A start tag whose tag name is "select" */
2122 case 'select':
2123 /* Reconstruct the active formatting elements, if any. */
2124 $this->reconstructActiveFormattingElements();
2125
2126 /* Insert an HTML element for the token. */
2127 $this->insertElement($token);
2128
2129 /* Change the insertion mode to "in select". */
2130 $this->mode = self::IN_SELECT;
2131 break;
2132
2133 /* A start or end tag whose tag name is one of: "caption", "col",
2134 "colgroup", "frame", "frameset", "head", "option", "optgroup",
2135 "tbody", "td", "tfoot", "th", "thead", "tr". */
2136 case 'caption': case 'col': case 'colgroup': case 'frame':
2137 case 'frameset': case 'head': case 'option': case 'optgroup':
2138 case 'tbody': case 'td': case 'tfoot': case 'th': case 'thead':
2139 case 'tr':
2140 // Parse error. Ignore the token.
2141 break;
2142
2143 /* A start or end tag whose tag name is one of: "event-source",
2144 "section", "nav", "article", "aside", "header", "footer",
2145 "datagrid", "command" */
2146 case 'event-source': case 'section': case 'nav': case 'article':
2147 case 'aside': case 'header': case 'footer': case 'datagrid':
2148 case 'command':
2149 // Work in progress!
2150 break;
2151
2152 /* A start tag token not covered by the previous entries */
2153 default:
2154 /* Reconstruct the active formatting elements, if any. */
2155 $this->reconstructActiveFormattingElements();
2156
2157 $this->insertElement($token, true, true);
2158 break;
2159 }
2160 break;
2161
2162 case HTML5::ENDTAG:
2163 switch($token['name']) {
2164 /* An end tag with the tag name "body" */
2165 case 'body':
2166 /* If the second element in the stack of open elements is
2167 not a body element, this is a parse error. Ignore the token.
2168 (innerHTML case) */
2169 if(count($this->stack) < 2 || $this->stack[1]->nodeName !== 'body') {
2170 // Ignore.
2171
2172 /* If the current node is not the body element, then this
2173 is a parse error. */
2174 } elseif(end($this->stack)->nodeName !== 'body') {
2175 // Parse error.
2176 }
2177
2178 /* Change the insertion mode to "after body". */
2179 $this->mode = self::AFTER_BODY;
2180 break;
2181
2182 /* An end tag with the tag name "html" */
2183 case 'html':
2184 /* Act as if an end tag with tag name "body" had been seen,
2185 then, if that token wasn't ignored, reprocess the current
2186 token. */
2187 $this->inBody(array(
2188 'name' => 'body',
2189 'type' => HTML5::ENDTAG
2190 ));
2191
2192 return $this->afterBody($token);
2193 break;
2194
2195 /* An end tag whose tag name is one of: "address", "blockquote",
2196 "center", "dir", "div", "dl", "fieldset", "listing", "menu",
2197 "ol", "pre", "ul" */
2198 case 'address': case 'blockquote': case 'center': case 'dir':
2199 case 'div': case 'dl': case 'fieldset': case 'listing':
2200 case 'menu': case 'ol': case 'pre': case 'ul':
2201 /* If the stack of open elements has an element in scope
2202 with the same tag name as that of the token, then generate
2203 implied end tags. */
2204 if($this->elementInScope($token['name'])) {
2205 $this->generateImpliedEndTags();
2206
2207 /* Now, if the current node is not an element with
2208 the same tag name as that of the token, then this
2209 is a parse error. */
2210 // w/e
2211
2212 /* If the stack of open elements has an element in
2213 scope with the same tag name as that of the token,
2214 then pop elements from this stack until an element
2215 with that tag name has been popped from the stack. */
2216 for($n = count($this->stack) - 1; $n >= 0; $n--) {
2217 if($this->stack[$n]->nodeName === $token['name']) {
2218 $n = -1;
2219 }
2220
2221 array_pop($this->stack);
2222 }
2223 }
2224 break;
2225
2226 /* An end tag whose tag name is "form" */
2227 case 'form':
2228 /* If the stack of open elements has an element in scope
2229 with the same tag name as that of the token, then generate
2230 implied end tags. */
2231 if($this->elementInScope($token['name'])) {
2232 $this->generateImpliedEndTags();
2233
2234 }
2235
2236 if(end($this->stack)->nodeName !== $token['name']) {
2237 /* Now, if the current node is not an element with the
2238 same tag name as that of the token, then this is a parse
2239 error. */
2240 // w/e
2241
2242 } else {
2243 /* Otherwise, if the current node is an element with
2244 the same tag name as that of the token pop that element
2245 from the stack. */
2246 array_pop($this->stack);
2247 }
2248
2249 /* In any case, set the form element pointer to null. */
2250 $this->form_pointer = null;
2251 break;
2252
2253 /* An end tag whose tag name is "p" */
2254 case 'p':
2255 /* If the stack of open elements has a p element in scope,
2256 then generate implied end tags, except for p elements. */
2257 if($this->elementInScope('p')) {
2258 $this->generateImpliedEndTags(array('p'));
2259
2260 /* If the current node is not a p element, then this is
2261 a parse error. */
2262 // k
2263
2264 /* If the stack of open elements has a p element in
2265 scope, then pop elements from this stack until the stack
2266 no longer has a p element in scope. */
2267 for($n = count($this->stack) - 1; $n >= 0; $n--) {
2268 if($this->elementInScope('p')) {
2269 array_pop($this->stack);
2270
2271 } else {
2272 break;
2273 }
2274 }
2275 }
2276 break;
2277
2278 /* An end tag whose tag name is "dd", "dt", or "li" */
2279 case 'dd': case 'dt': case 'li':
2280 /* If the stack of open elements has an element in scope
2281 whose tag name matches the tag name of the token, then
2282 generate implied end tags, except for elements with the
2283 same tag name as the token. */
2284 if($this->elementInScope($token['name'])) {
2285 $this->generateImpliedEndTags(array($token['name']));
2286
2287 /* If the current node is not an element with the same
2288 tag name as the token, then this is a parse error. */
2289 // w/e
2290
2291 /* If the stack of open elements has an element in scope
2292 whose tag name matches the tag name of the token, then
2293 pop elements from this stack until an element with that
2294 tag name has been popped from the stack. */
2295 for($n = count($this->stack) - 1; $n >= 0; $n--) {
2296 if($this->stack[$n]->nodeName === $token['name']) {
2297 $n = -1;
2298 }
2299
2300 array_pop($this->stack);
2301 }
2302 }
2303 break;
2304
2305 /* An end tag whose tag name is one of: "h1", "h2", "h3", "h4",
2306 "h5", "h6" */
2307 case 'h1': case 'h2': case 'h3': case 'h4': case 'h5': case 'h6':
2308 $elements = array('h1', 'h2', 'h3', 'h4', 'h5', 'h6');
2309
2310 /* If the stack of open elements has in scope an element whose
2311 tag name is one of "h1", "h2", "h3", "h4", "h5", or "h6", then
2312 generate implied end tags. */
2313 if($this->elementInScope($elements)) {
2314 $this->generateImpliedEndTags();
2315
2316 /* Now, if the current node is not an element with the same
2317 tag name as that of the token, then this is a parse error. */
2318 // w/e
2319
2320 /* If the stack of open elements has in scope an element
2321 whose tag name is one of "h1", "h2", "h3", "h4", "h5", or
2322 "h6", then pop elements from the stack until an element
2323 with one of those tag names has been popped from the stack. */
2324 while($this->elementInScope($elements)) {
2325 array_pop($this->stack);
2326 }
2327 }
2328 break;
2329
2330 /* An end tag whose tag name is one of: "a", "b", "big", "em",
2331 "font", "i", "nobr", "s", "small", "strike", "strong", "tt", "u" */
2332 case 'a': case 'b': case 'big': case 'em': case 'font':
2333 case 'i': case 'nobr': case 's': case 'small': case 'strike':
2334 case 'strong': case 'tt': case 'u':
2335 /* 1. Let the formatting element be the last element in
2336 the list of active formatting elements that:
2337 * is between the end of the list and the last scope
2338 marker in the list, if any, or the start of the list
2339 otherwise, and
2340 * has the same tag name as the token.
2341 */
2342 while(true) {
2343 for($a = count($this->a_formatting) - 1; $a >= 0; $a--) {
2344 if($this->a_formatting[$a] === self::MARKER) {
2345 break;
2346
2347 } elseif($this->a_formatting[$a]->tagName === $token['name']) {
2348 $formatting_element = $this->a_formatting[$a];
2349 $in_stack = in_array($formatting_element, $this->stack, true);
2350 $fe_af_pos = $a;
2351 break;
2352 }
2353 }
2354
2355 /* If there is no such node, or, if that node is
2356 also in the stack of open elements but the element
2357 is not in scope, then this is a parse error. Abort
2358 these steps. The token is ignored. */
2359 if(!isset($formatting_element) || ($in_stack &&
2360 !$this->elementInScope($token['name']))) {
2361 break;
2362
2363 /* Otherwise, if there is such a node, but that node
2364 is not in the stack of open elements, then this is a
2365 parse error; remove the element from the list, and
2366 abort these steps. */
2367 } elseif(isset($formatting_element) && !$in_stack) {
2368 unset($this->a_formatting[$fe_af_pos]);
2369 $this->a_formatting = array_merge($this->a_formatting);
2370 break;
2371 }
2372
2373 /* 2. Let the furthest block be the topmost node in the
2374 stack of open elements that is lower in the stack
2375 than the formatting element, and is not an element in
2376 the phrasing or formatting categories. There might
2377 not be one. */
2378 $fe_s_pos = array_search($formatting_element, $this->stack, true);
2379 $length = count($this->stack);
2380
2381 for($s = $fe_s_pos + 1; $s < $length; $s++) {
2382 $category = $this->getElementCategory($this->stack[$s]->nodeName);
2383
2384 if($category !== self::PHRASING && $category !== self::FORMATTING) {
2385 $furthest_block = $this->stack[$s];
2386 }
2387 }
2388
2389 /* 3. If there is no furthest block, then the UA must
2390 skip the subsequent steps and instead just pop all
2391 the nodes from the bottom of the stack of open
2392 elements, from the current node up to the formatting
2393 element, and remove the formatting element from the
2394 list of active formatting elements. */
2395 if(!isset($furthest_block)) {
2396 for($n = $length - 1; $n >= $fe_s_pos; $n--) {
2397 array_pop($this->stack);
2398 }
2399
2400 unset($this->a_formatting[$fe_af_pos]);
2401 $this->a_formatting = array_merge($this->a_formatting);
2402 break;
2403 }
2404
2405 /* 4. Let the common ancestor be the element
2406 immediately above the formatting element in the stack
2407 of open elements. */
2408 $common_ancestor = $this->stack[$fe_s_pos - 1];
2409
2410 /* 5. If the furthest block has a parent node, then
2411 remove the furthest block from its parent node. */
2412 if($furthest_block->parentNode !== null) {
2413 $furthest_block->parentNode->removeChild($furthest_block);
2414 }
2415
2416 /* 6. Let a bookmark note the position of the
2417 formatting element in the list of active formatting
2418 elements relative to the elements on either side
2419 of it in the list. */
2420 $bookmark = $fe_af_pos;
2421
2422 /* 7. Let node and last node be the furthest block.
2423 Follow these steps: */
2424 $node = $furthest_block;
2425 $last_node = $furthest_block;
2426
2427 while(true) {
2428 for($n = array_search($node, $this->stack, true) - 1; $n >= 0; $n--) {
2429 /* 7.1 Let node be the element immediately
2430 prior to node in the stack of open elements. */
2431 $node = $this->stack[$n];
2432
2433 /* 7.2 If node is not in the list of active
2434 formatting elements, then remove node from
2435 the stack of open elements and then go back
2436 to step 1. */
2437 if(!in_array($node, $this->a_formatting, true)) {
2438 unset($this->stack[$n]);
2439 $this->stack = array_merge($this->stack);
2440
2441 } else {
2442 break;
2443 }
2444 }
2445
2446 /* 7.3 Otherwise, if node is the formatting
2447 element, then go to the next step in the overall
2448 algorithm. */
2449 if($node === $formatting_element) {
2450 break;
2451
2452 /* 7.4 Otherwise, if last node is the furthest
2453 block, then move the aforementioned bookmark to
2454 be immediately after the node in the list of
2455 active formatting elements. */
2456 } elseif($last_node === $furthest_block) {
2457 $bookmark = array_search($node, $this->a_formatting, true) + 1;
2458 }
2459
2460 /* 7.5 If node has any children, perform a
2461 shallow clone of node, replace the entry for
2462 node in the list of active formatting elements
2463 with an entry for the clone, replace the entry
2464 for node in the stack of open elements with an
2465 entry for the clone, and let node be the clone. */
2466 if($node->hasChildNodes()) {
2467 $clone = $node->cloneNode();
2468 $s_pos = array_search($node, $this->stack, true);
2469 $a_pos = array_search($node, $this->a_formatting, true);
2470
2471 $this->stack[$s_pos] = $clone;
2472 $this->a_formatting[$a_pos] = $clone;
2473 $node = $clone;
2474 }
2475
2476 /* 7.6 Insert last node into node, first removing
2477 it from its previous parent node if any. */
2478 if($last_node->parentNode !== null) {
2479 $last_node->parentNode->removeChild($last_node);
2480 }
2481
2482 $node->appendChild($last_node);
2483
2484 /* 7.7 Let last node be node. */
2485 $last_node = $node;
2486 }
2487
2488 /* 8. Insert whatever last node ended up being in
2489 the previous step into the common ancestor node,
2490 first removing it from its previous parent node if
2491 any. */
2492 if($last_node->parentNode !== null) {
2493 $last_node->parentNode->removeChild($last_node);
2494 }
2495
2496 $common_ancestor->appendChild($last_node);
2497
2498 /* 9. Perform a shallow clone of the formatting
2499 element. */
2500 $clone = $formatting_element->cloneNode();
2501
2502 /* 10. Take all of the child nodes of the furthest
2503 block and append them to the clone created in the
2504 last step. */
2505 while($furthest_block->hasChildNodes()) {
2506 $child = $furthest_block->firstChild;
2507 $furthest_block->removeChild($child);
2508 $clone->appendChild($child);
2509 }
2510
2511 /* 11. Append that clone to the furthest block. */
2512 $furthest_block->appendChild($clone);
2513
2514 /* 12. Remove the formatting element from the list
2515 of active formatting elements, and insert the clone
2516 into the list of active formatting elements at the
2517 position of the aforementioned bookmark. */
2518 $fe_af_pos = array_search($formatting_element, $this->a_formatting, true);
2519 unset($this->a_formatting[$fe_af_pos]);
2520 $this->a_formatting = array_merge($this->a_formatting);
2521
2522 $af_part1 = array_slice($this->a_formatting, 0, $bookmark - 1);
2523 $af_part2 = array_slice($this->a_formatting, $bookmark, count($this->a_formatting));
2524 $this->a_formatting = array_merge($af_part1, array($clone), $af_part2);
2525
2526 /* 13. Remove the formatting element from the stack
2527 of open elements, and insert the clone into the stack
2528 of open elements immediately after (i.e. in a more
2529 deeply nested position than) the position of the
2530 furthest block in that stack. */
2531 $fe_s_pos = array_search($formatting_element, $this->stack, true);
2532 $fb_s_pos = array_search($furthest_block, $this->stack, true);
2533 unset($this->stack[$fe_s_pos]);
2534
2535 $s_part1 = array_slice($this->stack, 0, $fb_s_pos);
2536 $s_part2 = array_slice($this->stack, $fb_s_pos + 1, count($this->stack));
2537 $this->stack = array_merge($s_part1, array($clone), $s_part2);
2538
2539 /* 14. Jump back to step 1 in this series of steps. */
2540 unset($formatting_element, $fe_af_pos, $fe_s_pos, $furthest_block);
2541 }
2542 break;
2543
2544 /* An end tag token whose tag name is one of: "button",
2545 "marquee", "object" */
2546 case 'button': case 'marquee': case 'object':
2547 /* If the stack of open elements has an element in scope whose
2548 tag name matches the tag name of the token, then generate implied
2549 tags. */
2550 if($this->elementInScope($token['name'])) {
2551 $this->generateImpliedEndTags();
2552
2553 /* Now, if the current node is not an element with the same
2554 tag name as the token, then this is a parse error. */
2555 // k
2556
2557 /* Now, if the stack of open elements has an element in scope
2558 whose tag name matches the tag name of the token, then pop
2559 elements from the stack until that element has been popped from
2560 the stack, and clear the list of active formatting elements up
2561 to the last marker. */
2562 for($n = count($this->stack) - 1; $n >= 0; $n--) {
2563 if($this->stack[$n]->nodeName === $token['name']) {
2564 $n = -1;
2565 }
2566
2567 array_pop($this->stack);
2568 }
2569
2570 $marker = end(array_keys($this->a_formatting, self::MARKER, true));
2571
2572 for($n = count($this->a_formatting) - 1; $n > $marker; $n--) {
2573 array_pop($this->a_formatting);
2574 }
2575 }
2576 break;
2577
2578 /* Or an end tag whose tag name is one of: "area", "basefont",
2579 "bgsound", "br", "embed", "hr", "iframe", "image", "img",
2580 "input", "isindex", "noembed", "noframes", "param", "select",
2581 "spacer", "table", "textarea", "wbr" */
2582 case 'area': case 'basefont': case 'bgsound': case 'br':
2583 case 'embed': case 'hr': case 'iframe': case 'image':
2584 case 'img': case 'input': case 'isindex': case 'noembed':
2585 case 'noframes': case 'param': case 'select': case 'spacer':
2586 case 'table': case 'textarea': case 'wbr':
2587 // Parse error. Ignore the token.
2588 break;
2589
2590 /* An end tag token not covered by the previous entries */
2591 default:
2592 for($n = count($this->stack) - 1; $n >= 0; $n--) {
2593 /* Initialise node to be the current node (the bottommost
2594 node of the stack). */
2595 $node = end($this->stack);
2596
2597 /* If node has the same tag name as the end tag token,
2598 then: */
2599 if($token['name'] === $node->nodeName) {
2600 /* Generate implied end tags. */
2601 $this->generateImpliedEndTags();
2602
2603 /* If the tag name of the end tag token does not
2604 match the tag name of the current node, this is a
2605 parse error. */
2606 // k
2607
2608 /* Pop all the nodes from the current node up to
2609 node, including node, then stop this algorithm. */
2610 for($x = count($this->stack) - $n; $x >= $n; $x--) {
2611 array_pop($this->stack);
2612 }
2613
2614 } else {
2615 $category = $this->getElementCategory($node);
2616
2617 if($category !== self::SPECIAL && $category !== self::SCOPING) {
2618 /* Otherwise, if node is in neither the formatting
2619 category nor the phrasing category, then this is a
2620 parse error. Stop this algorithm. The end tag token
2621 is ignored. */
2622 return false;
2623 }
2624 }
2625 }
2626 break;
2627 }
2628 break;
2629 }
2630 }
2631
2632 private function inTable($token) {
2633 $clear = array('html', 'table');
2634
2635 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
2636 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
2637 or U+0020 SPACE */
2638 if($token['type'] === HTML5::CHARACTR &&
2639 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
2640 /* Append the character to the current node. */
2641 $text = $this->dom->createTextNode($token['data']);
2642 end($this->stack)->appendChild($text);
2643
2644 /* A comment token */
2645 } elseif($token['type'] === HTML5::COMMENT) {
2646 /* Append a Comment node to the current node with the data
2647 attribute set to the data given in the comment token. */
2648 $comment = $this->dom->createComment($token['data']);
2649 end($this->stack)->appendChild($comment);
2650
2651 /* A start tag whose tag name is "caption" */
2652 } elseif($token['type'] === HTML5::STARTTAG &&
2653 $token['name'] === 'caption') {
2654 /* Clear the stack back to a table context. */
2655 $this->clearStackToTableContext($clear);
2656
2657 /* Insert a marker at the end of the list of active
2658 formatting elements. */
2659 $this->a_formatting[] = self::MARKER;
2660
2661 /* Insert an HTML element for the token, then switch the
2662 insertion mode to "in caption". */
2663 $this->insertElement($token);
2664 $this->mode = self::IN_CAPTION;
2665
2666 /* A start tag whose tag name is "colgroup" */
2667 } elseif($token['type'] === HTML5::STARTTAG &&
2668 $token['name'] === 'colgroup') {
2669 /* Clear the stack back to a table context. */
2670 $this->clearStackToTableContext($clear);
2671
2672 /* Insert an HTML element for the token, then switch the
2673 insertion mode to "in column group". */
2674 $this->insertElement($token);
2675 $this->mode = self::IN_CGROUP;
2676
2677 /* A start tag whose tag name is "col" */
2678 } elseif($token['type'] === HTML5::STARTTAG &&
2679 $token['name'] === 'col') {
2680 $this->inTable(array(
2681 'name' => 'colgroup',
2682 'type' => HTML5::STARTTAG,
2683 'attr' => array()
2684 ));
2685
2686 $this->inColumnGroup($token);
2687
2688 /* A start tag whose tag name is one of: "tbody", "tfoot", "thead" */
2689 } elseif($token['type'] === HTML5::STARTTAG && in_array($token['name'],
2690 array('tbody', 'tfoot', 'thead'))) {
2691 /* Clear the stack back to a table context. */
2692 $this->clearStackToTableContext($clear);
2693
2694 /* Insert an HTML element for the token, then switch the insertion
2695 mode to "in table body". */
2696 $this->insertElement($token);
2697 $this->mode = self::IN_TBODY;
2698
2699 /* A start tag whose tag name is one of: "td", "th", "tr" */
2700 } elseif($token['type'] === HTML5::STARTTAG &&
2701 in_array($token['name'], array('td', 'th', 'tr'))) {
2702 /* Act as if a start tag token with the tag name "tbody" had been
2703 seen, then reprocess the current token. */
2704 $this->inTable(array(
2705 'name' => 'tbody',
2706 'type' => HTML5::STARTTAG,
2707 'attr' => array()
2708 ));
2709
2710 return $this->inTableBody($token);
2711
2712 /* A start tag whose tag name is "table" */
2713 } elseif($token['type'] === HTML5::STARTTAG &&
2714 $token['name'] === 'table') {
2715 /* Parse error. Act as if an end tag token with the tag name "table"
2716 had been seen, then, if that token wasn't ignored, reprocess the
2717 current token. */
2718 $this->inTable(array(
2719 'name' => 'table',
2720 'type' => HTML5::ENDTAG
2721 ));
2722
2723 return $this->mainPhase($token);
2724
2725 /* An end tag whose tag name is "table" */
2726 } elseif($token['type'] === HTML5::ENDTAG &&
2727 $token['name'] === 'table') {
2728 /* If the stack of open elements does not have an element in table
2729 scope with the same tag name as the token, this is a parse error.
2730 Ignore the token. (innerHTML case) */
2731 if(!$this->elementInScope($token['name'], true)) {
2732 return false;
2733
2734 /* Otherwise: */
2735 } else {
2736 /* Generate implied end tags. */
2737 $this->generateImpliedEndTags();
2738
2739 /* Now, if the current node is not a table element, then this
2740 is a parse error. */
2741 // w/e
2742
2743 /* Pop elements from this stack until a table element has been
2744 popped from the stack. */
2745 while(true) {
2746 $current = end($this->stack)->nodeName;
2747 array_pop($this->stack);
2748
2749 if($current === 'table') {
2750 break;
2751 }
2752 }
2753
2754 /* Reset the insertion mode appropriately. */
2755 $this->resetInsertionMode();
2756 }
2757
2758 /* An end tag whose tag name is one of: "body", "caption", "col",
2759 "colgroup", "html", "tbody", "td", "tfoot", "th", "thead", "tr" */
2760 } elseif($token['type'] === HTML5::ENDTAG && in_array($token['name'],
2761 array('body', 'caption', 'col', 'colgroup', 'html', 'tbody', 'td',
2762 'tfoot', 'th', 'thead', 'tr'))) {
2763 // Parse error. Ignore the token.
2764
2765 /* Anything else */
2766 } else {
2767 /* Parse error. Process the token as if the insertion mode was "in
2768 body", with the following exception: */
2769
2770 /* If the current node is a table, tbody, tfoot, thead, or tr
2771 element, then, whenever a node would be inserted into the current
2772 node, it must instead be inserted into the foster parent element. */
2773 if(in_array(end($this->stack)->nodeName,
2774 array('table', 'tbody', 'tfoot', 'thead', 'tr'))) {
2775 /* The foster parent element is the parent element of the last
2776 table element in the stack of open elements, if there is a
2777 table element and it has such a parent element. If there is no
2778 table element in the stack of open elements (innerHTML case),
2779 then the foster parent element is the first element in the
2780 stack of open elements (the html element). Otherwise, if there
2781 is a table element in the stack of open elements, but the last
2782 table element in the stack of open elements has no parent, or
2783 its parent node is not an element, then the foster parent
2784 element is the element before the last table element in the
2785 stack of open elements. */
2786 for($n = count($this->stack) - 1; $n >= 0; $n--) {
2787 if($this->stack[$n]->nodeName === 'table') {
2788 $table = $this->stack[$n];
2789 break;
2790 }
2791 }
2792
2793 if(isset($table) && $table->parentNode !== null) {
2794 $this->foster_parent = $table->parentNode;
2795
2796 } elseif(!isset($table)) {
2797 $this->foster_parent = $this->stack[0];
2798
2799 } elseif(isset($table) && ($table->parentNode === null ||
2800 $table->parentNode->nodeType !== XML_ELEMENT_NODE)) {
2801 $this->foster_parent = $this->stack[$n - 1];
2802 }
2803 }
2804
2805 $this->inBody($token);
2806 }
2807 }
2808
2809 private function inCaption($token) {
2810 /* An end tag whose tag name is "caption" */
2811 if($token['type'] === HTML5::ENDTAG && $token['name'] === 'caption') {
2812 /* If the stack of open elements does not have an element in table
2813 scope with the same tag name as the token, this is a parse error.
2814 Ignore the token. (innerHTML case) */
2815 if(!$this->elementInScope($token['name'], true)) {
2816 // Ignore
2817
2818 /* Otherwise: */
2819 } else {
2820 /* Generate implied end tags. */
2821 $this->generateImpliedEndTags();
2822
2823 /* Now, if the current node is not a caption element, then this
2824 is a parse error. */
2825 // w/e
2826
2827 /* Pop elements from this stack until a caption element has
2828 been popped from the stack. */
2829 while(true) {
2830 $node = end($this->stack)->nodeName;
2831 array_pop($this->stack);
2832
2833 if($node === 'caption') {
2834 break;
2835 }
2836 }
2837
2838 /* Clear the list of active formatting elements up to the last
2839 marker. */
2840 $this->clearTheActiveFormattingElementsUpToTheLastMarker();
2841
2842 /* Switch the insertion mode to "in table". */
2843 $this->mode = self::IN_TABLE;
2844 }
2845
2846 /* A start tag whose tag name is one of: "caption", "col", "colgroup",
2847 "tbody", "td", "tfoot", "th", "thead", "tr", or an end tag whose tag
2848 name is "table" */
2849 } elseif(($token['type'] === HTML5::STARTTAG && in_array($token['name'],
2850 array('caption', 'col', 'colgroup', 'tbody', 'td', 'tfoot', 'th',
2851 'thead', 'tr'))) || ($token['type'] === HTML5::ENDTAG &&
2852 $token['name'] === 'table')) {
2853 /* Parse error. Act as if an end tag with the tag name "caption"
2854 had been seen, then, if that token wasn't ignored, reprocess the
2855 current token. */
2856 $this->inCaption(array(
2857 'name' => 'caption',
2858 'type' => HTML5::ENDTAG
2859 ));
2860
2861 return $this->inTable($token);
2862
2863 /* An end tag whose tag name is one of: "body", "col", "colgroup",
2864 "html", "tbody", "td", "tfoot", "th", "thead", "tr" */
2865 } elseif($token['type'] === HTML5::ENDTAG && in_array($token['name'],
2866 array('body', 'col', 'colgroup', 'html', 'tbody', 'tfoot', 'th',
2867 'thead', 'tr'))) {
2868 // Parse error. Ignore the token.
2869
2870 /* Anything else */
2871 } else {
2872 /* Process the token as if the insertion mode was "in body". */
2873 $this->inBody($token);
2874 }
2875 }
2876
2877 private function inColumnGroup($token) {
2878 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
2879 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
2880 or U+0020 SPACE */
2881 if($token['type'] === HTML5::CHARACTR &&
2882 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
2883 /* Append the character to the current node. */
2884 $text = $this->dom->createTextNode($token['data']);
2885 end($this->stack)->appendChild($text);
2886
2887 /* A comment token */
2888 } elseif($token['type'] === HTML5::COMMENT) {
2889 /* Append a Comment node to the current node with the data
2890 attribute set to the data given in the comment token. */
2891 $comment = $this->dom->createComment($token['data']);
2892 end($this->stack)->appendChild($comment);
2893
2894 /* A start tag whose tag name is "col" */
2895 } elseif($token['type'] === HTML5::STARTTAG && $token['name'] === 'col') {
2896 /* Insert a col element for the token. Immediately pop the current
2897 node off the stack of open elements. */
2898 $this->insertElement($token);
2899 array_pop($this->stack);
2900
2901 /* An end tag whose tag name is "colgroup" */
2902 } elseif($token['type'] === HTML5::ENDTAG &&
2903 $token['name'] === 'colgroup') {
2904 /* If the current node is the root html element, then this is a
2905 parse error, ignore the token. (innerHTML case) */
2906 if(end($this->stack)->nodeName === 'html') {
2907 // Ignore
2908
2909 /* Otherwise, pop the current node (which will be a colgroup
2910 element) from the stack of open elements. Switch the insertion
2911 mode to "in table". */
2912 } else {
2913 array_pop($this->stack);
2914 $this->mode = self::IN_TABLE;
2915 }
2916
2917 /* An end tag whose tag name is "col" */
2918 } elseif($token['type'] === HTML5::ENDTAG && $token['name'] === 'col') {
2919 /* Parse error. Ignore the token. */
2920
2921 /* Anything else */
2922 } else {
2923 /* Act as if an end tag with the tag name "colgroup" had been seen,
2924 and then, if that token wasn't ignored, reprocess the current token. */
2925 $this->inColumnGroup(array(
2926 'name' => 'colgroup',
2927 'type' => HTML5::ENDTAG
2928 ));
2929
2930 return $this->inTable($token);
2931 }
2932 }
2933
2934 private function inTableBody($token) {
2935 $clear = array('tbody', 'tfoot', 'thead', 'html');
2936
2937 /* A start tag whose tag name is "tr" */
2938 if($token['type'] === HTML5::STARTTAG && $token['name'] === 'tr') {
2939 /* Clear the stack back to a table body context. */
2940 $this->clearStackToTableContext($clear);
2941
2942 /* Insert a tr element for the token, then switch the insertion
2943 mode to "in row". */
2944 $this->insertElement($token);
2945 $this->mode = self::IN_ROW;
2946
2947 /* A start tag whose tag name is one of: "th", "td" */
2948 } elseif($token['type'] === HTML5::STARTTAG &&
2949 ($token['name'] === 'th' || $token['name'] === 'td')) {
2950 /* Parse error. Act as if a start tag with the tag name "tr" had
2951 been seen, then reprocess the current token. */
2952 $this->inTableBody(array(
2953 'name' => 'tr',
2954 'type' => HTML5::STARTTAG,
2955 'attr' => array()
2956 ));
2957
2958 return $this->inRow($token);
2959
2960 /* An end tag whose tag name is one of: "tbody", "tfoot", "thead" */
2961 } elseif($token['type'] === HTML5::ENDTAG &&
2962 in_array($token['name'], array('tbody', 'tfoot', 'thead'))) {
2963 /* If the stack of open elements does not have an element in table
2964 scope with the same tag name as the token, this is a parse error.
2965 Ignore the token. */
2966 if(!$this->elementInScope($token['name'], true)) {
2967 // Ignore
2968
2969 /* Otherwise: */
2970 } else {
2971 /* Clear the stack back to a table body context. */
2972 $this->clearStackToTableContext($clear);
2973
2974 /* Pop the current node from the stack of open elements. Switch
2975 the insertion mode to "in table". */
2976 array_pop($this->stack);
2977 $this->mode = self::IN_TABLE;
2978 }
2979
2980 /* A start tag whose tag name is one of: "caption", "col", "colgroup",
2981 "tbody", "tfoot", "thead", or an end tag whose tag name is "table" */
2982 } elseif(($token['type'] === HTML5::STARTTAG && in_array($token['name'],
2983 array('caption', 'col', 'colgroup', 'tbody', 'tfoor', 'thead'))) ||
2984 ($token['type'] === HTML5::STARTTAG && $token['name'] === 'table')) {
2985 /* If the stack of open elements does not have a tbody, thead, or
2986 tfoot element in table scope, this is a parse error. Ignore the
2987 token. (innerHTML case) */
2988 if(!$this->elementInScope(array('tbody', 'thead', 'tfoot'), true)) {
2989 // Ignore.
2990
2991 /* Otherwise: */
2992 } else {
2993 /* Clear the stack back to a table body context. */
2994 $this->clearStackToTableContext($clear);
2995
2996 /* Act as if an end tag with the same tag name as the current
2997 node ("tbody", "tfoot", or "thead") had been seen, then
2998 reprocess the current token. */
2999 $this->inTableBody(array(
3000 'name' => end($this->stack)->nodeName,
3001 'type' => HTML5::ENDTAG
3002 ));
3003
3004 return $this->mainPhase($token);
3005 }
3006
3007 /* An end tag whose tag name is one of: "body", "caption", "col",
3008 "colgroup", "html", "td", "th", "tr" */
3009 } elseif($token['type'] === HTML5::ENDTAG && in_array($token['name'],
3010 array('body', 'caption', 'col', 'colgroup', 'html', 'td', 'th', 'tr'))) {
3011 /* Parse error. Ignore the token. */
3012
3013 /* Anything else */
3014 } else {
3015 /* Process the token as if the insertion mode was "in table". */
3016 $this->inTable($token);
3017 }
3018 }
3019
3020 private function inRow($token) {
3021 $clear = array('tr', 'html');
3022
3023 /* A start tag whose tag name is one of: "th", "td" */
3024 if($token['type'] === HTML5::STARTTAG &&
3025 ($token['name'] === 'th' || $token['name'] === 'td')) {
3026 /* Clear the stack back to a table row context. */
3027 $this->clearStackToTableContext($clear);
3028
3029 /* Insert an HTML element for the token, then switch the insertion
3030 mode to "in cell". */
3031 $this->insertElement($token);
3032 $this->mode = self::IN_CELL;
3033
3034 /* Insert a marker at the end of the list of active formatting
3035 elements. */
3036 $this->a_formatting[] = self::MARKER;
3037
3038 /* An end tag whose tag name is "tr" */
3039 } elseif($token['type'] === HTML5::ENDTAG && $token['name'] === 'tr') {
3040 /* If the stack of open elements does not have an element in table
3041 scope with the same tag name as the token, this is a parse error.
3042 Ignore the token. (innerHTML case) */
3043 if(!$this->elementInScope($token['name'], true)) {
3044 // Ignore.
3045
3046 /* Otherwise: */
3047 } else {
3048 /* Clear the stack back to a table row context. */
3049 $this->clearStackToTableContext($clear);
3050
3051 /* Pop the current node (which will be a tr element) from the
3052 stack of open elements. Switch the insertion mode to "in table
3053 body". */
3054 array_pop($this->stack);
3055 $this->mode = self::IN_TBODY;
3056 }
3057
3058 /* A start tag whose tag name is one of: "caption", "col", "colgroup",
3059 "tbody", "tfoot", "thead", "tr" or an end tag whose tag name is "table" */
3060 } elseif($token['type'] === HTML5::STARTTAG && in_array($token['name'],
3061 array('caption', 'col', 'colgroup', 'tbody', 'tfoot', 'thead', 'tr'))) {
3062 /* Act as if an end tag with the tag name "tr" had been seen, then,
3063 if that token wasn't ignored, reprocess the current token. */
3064 $this->inRow(array(
3065 'name' => 'tr',
3066 'type' => HTML5::ENDTAG
3067 ));
3068
3069 return $this->inCell($token);
3070
3071 /* An end tag whose tag name is one of: "tbody", "tfoot", "thead" */
3072 } elseif($token['type'] === HTML5::ENDTAG &&
3073 in_array($token['name'], array('tbody', 'tfoot', 'thead'))) {
3074 /* If the stack of open elements does not have an element in table
3075 scope with the same tag name as the token, this is a parse error.
3076 Ignore the token. */
3077 if(!$this->elementInScope($token['name'], true)) {
3078 // Ignore.
3079
3080 /* Otherwise: */
3081 } else {
3082 /* Otherwise, act as if an end tag with the tag name "tr" had
3083 been seen, then reprocess the current token. */
3084 $this->inRow(array(
3085 'name' => 'tr',
3086 'type' => HTML5::ENDTAG
3087 ));
3088
3089 return $this->inCell($token);
3090 }
3091
3092 /* An end tag whose tag name is one of: "body", "caption", "col",
3093 "colgroup", "html", "td", "th" */
3094 } elseif($token['type'] === HTML5::ENDTAG && in_array($token['name'],
3095 array('body', 'caption', 'col', 'colgroup', 'html', 'td', 'th', 'tr'))) {
3096 /* Parse error. Ignore the token. */
3097
3098 /* Anything else */
3099 } else {
3100 /* Process the token as if the insertion mode was "in table". */
3101 $this->inTable($token);
3102 }
3103 }
3104
3105 private function inCell($token) {
3106 /* An end tag whose tag name is one of: "td", "th" */
3107 if($token['type'] === HTML5::ENDTAG &&
3108 ($token['name'] === 'td' || $token['name'] === 'th')) {
3109 /* If the stack of open elements does not have an element in table
3110 scope with the same tag name as that of the token, then this is a
3111 parse error and the token must be ignored. */
3112 if(!$this->elementInScope($token['name'], true)) {
3113 // Ignore.
3114
3115 /* Otherwise: */
3116 } else {
3117 /* Generate implied end tags, except for elements with the same
3118 tag name as the token. */
3119 $this->generateImpliedEndTags(array($token['name']));
3120
3121 /* Now, if the current node is not an element with the same tag
3122 name as the token, then this is a parse error. */
3123 // k
3124
3125 /* Pop elements from this stack until an element with the same
3126 tag name as the token has been popped from the stack. */
3127 while(true) {
3128 $node = end($this->stack)->nodeName;
3129 array_pop($this->stack);
3130
3131 if($node === $token['name']) {
3132 break;
3133 }
3134 }
3135
3136 /* Clear the list of active formatting elements up to the last
3137 marker. */
3138 $this->clearTheActiveFormattingElementsUpToTheLastMarker();
3139
3140 /* Switch the insertion mode to "in row". (The current node
3141 will be a tr element at this point.) */
3142 $this->mode = self::IN_ROW;
3143 }
3144
3145 /* A start tag whose tag name is one of: "caption", "col", "colgroup",
3146 "tbody", "td", "tfoot", "th", "thead", "tr" */
3147 } elseif($token['type'] === HTML5::STARTTAG && in_array($token['name'],
3148 array('caption', 'col', 'colgroup', 'tbody', 'td', 'tfoot', 'th',
3149 'thead', 'tr'))) {
3150 /* If the stack of open elements does not have a td or th element
3151 in table scope, then this is a parse error; ignore the token.
3152 (innerHTML case) */
3153 if(!$this->elementInScope(array('td', 'th'), true)) {
3154 // Ignore.
3155
3156 /* Otherwise, close the cell (see below) and reprocess the current
3157 token. */
3158 } else {
3159 $this->closeCell();
3160 return $this->inRow($token);
3161 }
3162
3163 /* A start tag whose tag name is one of: "caption", "col", "colgroup",
3164 "tbody", "td", "tfoot", "th", "thead", "tr" */
3165 } elseif($token['type'] === HTML5::STARTTAG && in_array($token['name'],
3166 array('caption', 'col', 'colgroup', 'tbody', 'td', 'tfoot', 'th',
3167 'thead', 'tr'))) {
3168 /* If the stack of open elements does not have a td or th element
3169 in table scope, then this is a parse error; ignore the token.
3170 (innerHTML case) */
3171 if(!$this->elementInScope(array('td', 'th'), true)) {
3172 // Ignore.
3173
3174 /* Otherwise, close the cell (see below) and reprocess the current
3175 token. */
3176 } else {
3177 $this->closeCell();
3178 return $this->inRow($token);
3179 }
3180
3181 /* An end tag whose tag name is one of: "body", "caption", "col",
3182 "colgroup", "html" */
3183 } elseif($token['type'] === HTML5::ENDTAG && in_array($token['name'],
3184 array('body', 'caption', 'col', 'colgroup', 'html'))) {
3185 /* Parse error. Ignore the token. */
3186
3187 /* An end tag whose tag name is one of: "table", "tbody", "tfoot",
3188 "thead", "tr" */
3189 } elseif($token['type'] === HTML5::ENDTAG && in_array($token['name'],
3190 array('table', 'tbody', 'tfoot', 'thead', 'tr'))) {
3191 /* If the stack of open elements does not have an element in table
3192 scope with the same tag name as that of the token (which can only
3193 happen for "tbody", "tfoot" and "thead", or, in the innerHTML case),
3194 then this is a parse error and the token must be ignored. */
3195 if(!$this->elementInScope($token['name'], true)) {
3196 // Ignore.
3197
3198 /* Otherwise, close the cell (see below) and reprocess the current
3199 token. */
3200 } else {
3201 $this->closeCell();
3202 return $this->inRow($token);
3203 }
3204
3205 /* Anything else */
3206 } else {
3207 /* Process the token as if the insertion mode was "in body". */
3208 $this->inBody($token);
3209 }
3210 }
3211
3212 private function inSelect($token) {
3213 /* Handle the token as follows: */
3214
3215 /* A character token */
3216 if($token['type'] === HTML5::CHARACTR) {
3217 /* Append the token's character to the current node. */
3218 $this->insertText($token['data']);
3219
3220 /* A comment token */
3221 } elseif($token['type'] === HTML5::COMMENT) {
3222 /* Append a Comment node to the current node with the data
3223 attribute set to the data given in the comment token. */
3224 $this->insertComment($token['data']);
3225
3226 /* A start tag token whose tag name is "option" */
3227 } elseif($token['type'] === HTML5::STARTTAG &&
3228 $token['name'] === 'option') {
3229 /* If the current node is an option element, act as if an end tag
3230 with the tag name "option" had been seen. */
3231 if(end($this->stack)->nodeName === 'option') {
3232 $this->inSelect(array(
3233 'name' => 'option',
3234 'type' => HTML5::ENDTAG
3235 ));
3236 }
3237
3238 /* Insert an HTML element for the token. */
3239 $this->insertElement($token);
3240
3241 /* A start tag token whose tag name is "optgroup" */
3242 } elseif($token['type'] === HTML5::STARTTAG &&
3243 $token['name'] === 'optgroup') {
3244 /* If the current node is an option element, act as if an end tag
3245 with the tag name "option" had been seen. */
3246 if(end($this->stack)->nodeName === 'option') {
3247 $this->inSelect(array(
3248 'name' => 'option',
3249 'type' => HTML5::ENDTAG
3250 ));
3251 }
3252
3253 /* If the current node is an optgroup element, act as if an end tag
3254 with the tag name "optgroup" had been seen. */
3255 if(end($this->stack)->nodeName === 'optgroup') {
3256 $this->inSelect(array(
3257 'name' => 'optgroup',
3258 'type' => HTML5::ENDTAG
3259 ));
3260 }
3261
3262 /* Insert an HTML element for the token. */
3263 $this->insertElement($token);
3264
3265 /* An end tag token whose tag name is "optgroup" */
3266 } elseif($token['type'] === HTML5::ENDTAG &&
3267 $token['name'] === 'optgroup') {
3268 /* First, if the current node is an option element, and the node
3269 immediately before it in the stack of open elements is an optgroup
3270 element, then act as if an end tag with the tag name "option" had
3271 been seen. */
3272 $elements_in_stack = count($this->stack);
3273
3274 if($this->stack[$elements_in_stack - 1]->nodeName === 'option' &&
3275 $this->stack[$elements_in_stack - 2]->nodeName === 'optgroup') {
3276 $this->inSelect(array(
3277 'name' => 'option',
3278 'type' => HTML5::ENDTAG
3279 ));
3280 }
3281
3282 /* If the current node is an optgroup element, then pop that node
3283 from the stack of open elements. Otherwise, this is a parse error,
3284 ignore the token. */
3285 if($this->stack[$elements_in_stack - 1] === 'optgroup') {
3286 array_pop($this->stack);
3287 }
3288
3289 /* An end tag token whose tag name is "option" */
3290 } elseif($token['type'] === HTML5::ENDTAG &&
3291 $token['name'] === 'option') {
3292 /* If the current node is an option element, then pop that node
3293 from the stack of open elements. Otherwise, this is a parse error,
3294 ignore the token. */
3295 if(end($this->stack)->nodeName === 'option') {
3296 array_pop($this->stack);
3297 }
3298
3299 /* An end tag whose tag name is "select" */
3300 } elseif($token['type'] === HTML5::ENDTAG &&
3301 $token['name'] === 'select') {
3302 /* If the stack of open elements does not have an element in table
3303 scope with the same tag name as the token, this is a parse error.
3304 Ignore the token. (innerHTML case) */
3305 if(!$this->elementInScope($token['name'], true)) {
3306 // w/e
3307
3308 /* Otherwise: */
3309 } else {
3310 /* Pop elements from the stack of open elements until a select
3311 element has been popped from the stack. */
3312 while(true) {
3313 $current = end($this->stack)->nodeName;
3314 array_pop($this->stack);
3315
3316 if($current === 'select') {
3317 break;
3318 }
3319 }
3320
3321 /* Reset the insertion mode appropriately. */
3322 $this->resetInsertionMode();
3323 }
3324
3325 /* A start tag whose tag name is "select" */
3326 } elseif($token['name'] === 'select' &&
3327 $token['type'] === HTML5::STARTTAG) {
3328 /* Parse error. Act as if the token had been an end tag with the
3329 tag name "select" instead. */
3330 $this->inSelect(array(
3331 'name' => 'select',
3332 'type' => HTML5::ENDTAG
3333 ));
3334
3335 /* An end tag whose tag name is one of: "caption", "table", "tbody",
3336 "tfoot", "thead", "tr", "td", "th" */
3337 } elseif(in_array($token['name'], array('caption', 'table', 'tbody',
3338 'tfoot', 'thead', 'tr', 'td', 'th')) && $token['type'] === HTML5::ENDTAG) {
3339 /* Parse error. */
3340 // w/e
3341
3342 /* If the stack of open elements has an element in table scope with
3343 the same tag name as that of the token, then act as if an end tag
3344 with the tag name "select" had been seen, and reprocess the token.
3345 Otherwise, ignore the token. */
3346 if($this->elementInScope($token['name'], true)) {
3347 $this->inSelect(array(
3348 'name' => 'select',
3349 'type' => HTML5::ENDTAG
3350 ));
3351
3352 $this->mainPhase($token);
3353 }
3354
3355 /* Anything else */
3356 } else {
3357 /* Parse error. Ignore the token. */
3358 }
3359 }
3360
3361 private function afterBody($token) {
3362 /* Handle the token as follows: */
3363
3364 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
3365 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
3366 or U+0020 SPACE */
3367 if($token['type'] === HTML5::CHARACTR &&
3368 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
3369 /* Process the token as it would be processed if the insertion mode
3370 was "in body". */
3371 $this->inBody($token);
3372
3373 /* A comment token */
3374 } elseif($token['type'] === HTML5::COMMENT) {
3375 /* Append a Comment node to the first element in the stack of open
3376 elements (the html element), with the data attribute set to the
3377 data given in the comment token. */
3378 $comment = $this->dom->createComment($token['data']);
3379 $this->stack[0]->appendChild($comment);
3380
3381 /* An end tag with the tag name "html" */
3382 } elseif($token['type'] === HTML5::ENDTAG && $token['name'] === 'html') {
3383 /* If the parser was originally created in order to handle the
3384 setting of an element's innerHTML attribute, this is a parse error;
3385 ignore the token. (The element will be an html element in this
3386 case.) (innerHTML case) */
3387
3388 /* Otherwise, switch to the trailing end phase. */
3389 $this->phase = self::END_PHASE;
3390
3391 /* Anything else */
3392 } else {
3393 /* Parse error. Set the insertion mode to "in body" and reprocess
3394 the token. */
3395 $this->mode = self::IN_BODY;
3396 return $this->inBody($token);
3397 }
3398 }
3399
3400 private function inFrameset($token) {
3401 /* Handle the token as follows: */
3402
3403 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
3404 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
3405 U+000D CARRIAGE RETURN (CR), or U+0020 SPACE */
3406 if($token['type'] === HTML5::CHARACTR &&
3407 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
3408 /* Append the character to the current node. */
3409 $this->insertText($token['data']);
3410
3411 /* A comment token */
3412 } elseif($token['type'] === HTML5::COMMENT) {
3413 /* Append a Comment node to the current node with the data
3414 attribute set to the data given in the comment token. */
3415 $this->insertComment($token['data']);
3416
3417 /* A start tag with the tag name "frameset" */
3418 } elseif($token['name'] === 'frameset' &&
3419 $token['type'] === HTML5::STARTTAG) {
3420 $this->insertElement($token);
3421
3422 /* An end tag with the tag name "frameset" */
3423 } elseif($token['name'] === 'frameset' &&
3424 $token['type'] === HTML5::ENDTAG) {
3425 /* If the current node is the root html element, then this is a
3426 parse error; ignore the token. (innerHTML case) */
3427 if(end($this->stack)->nodeName === 'html') {
3428 // Ignore
3429
3430 } else {
3431 /* Otherwise, pop the current node from the stack of open
3432 elements. */
3433 array_pop($this->stack);
3434
3435 /* If the parser was not originally created in order to handle
3436 the setting of an element's innerHTML attribute (innerHTML case),
3437 and the current node is no longer a frameset element, then change
3438 the insertion mode to "after frameset". */
3439 $this->mode = self::AFTR_FRAME;
3440 }
3441
3442 /* A start tag with the tag name "frame" */
3443 } elseif($token['name'] === 'frame' &&
3444 $token['type'] === HTML5::STARTTAG) {
3445 /* Insert an HTML element for the token. */
3446 $this->insertElement($token);
3447
3448 /* Immediately pop the current node off the stack of open elements. */
3449 array_pop($this->stack);
3450
3451 /* A start tag with the tag name "noframes" */
3452 } elseif($token['name'] === 'noframes' &&
3453 $token['type'] === HTML5::STARTTAG) {
3454 /* Process the token as if the insertion mode had been "in body". */
3455 $this->inBody($token);
3456
3457 /* Anything else */
3458 } else {
3459 /* Parse error. Ignore the token. */
3460 }
3461 }
3462
3463 private function afterFrameset($token) {
3464 /* Handle the token as follows: */
3465
3466 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
3467 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
3468 U+000D CARRIAGE RETURN (CR), or U+0020 SPACE */
3469 if($token['type'] === HTML5::CHARACTR &&
3470 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
3471 /* Append the character to the current node. */
3472 $this->insertText($token['data']);
3473
3474 /* A comment token */
3475 } elseif($token['type'] === HTML5::COMMENT) {
3476 /* Append a Comment node to the current node with the data
3477 attribute set to the data given in the comment token. */
3478 $this->insertComment($token['data']);
3479
3480 /* An end tag with the tag name "html" */
3481 } elseif($token['name'] === 'html' &&
3482 $token['type'] === HTML5::ENDTAG) {
3483 /* Switch to the trailing end phase. */
3484 $this->phase = self::END_PHASE;
3485
3486 /* A start tag with the tag name "noframes" */
3487 } elseif($token['name'] === 'noframes' &&
3488 $token['type'] === HTML5::STARTTAG) {
3489 /* Process the token as if the insertion mode had been "in body". */
3490 $this->inBody($token);
3491
3492 /* Anything else */
3493 } else {
3494 /* Parse error. Ignore the token. */
3495 }
3496 }
3497
3498 private function trailingEndPhase($token) {
3499 /* After the main phase, as each token is emitted from the tokenisation
3500 stage, it must be processed as described in this section. */
3501
3502 /* A DOCTYPE token */
3503 if($token['type'] === HTML5::DOCTYPE) {
3504 // Parse error. Ignore the token.
3505
3506 /* A comment token */
3507 } elseif($token['type'] === HTML5::COMMENT) {
3508 /* Append a Comment node to the Document object with the data
3509 attribute set to the data given in the comment token. */
3510 $comment = $this->dom->createComment($token['data']);
3511 $this->dom->appendChild($comment);
3512
3513 /* A character token that is one of one of U+0009 CHARACTER TABULATION,
3514 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
3515 or U+0020 SPACE */
3516 } elseif($token['type'] === HTML5::CHARACTR &&
3517 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) {
3518 /* Process the token as it would be processed in the main phase. */
3519 $this->mainPhase($token);
3520
3521 /* A character token that is not one of U+0009 CHARACTER TABULATION,
3522 U+000A LINE FEED (LF), U+000B LINE TABULATION, U+000C FORM FEED (FF),
3523 or U+0020 SPACE. Or a start tag token. Or an end tag token. */
3524 } elseif(($token['type'] === HTML5::CHARACTR &&
3525 preg_match('/^[\t\n\x0b\x0c ]+$/', $token['data'])) ||
3526 $token['type'] === HTML5::STARTTAG || $token['type'] === HTML5::ENDTAG) {
3527 /* Parse error. Switch back to the main phase and reprocess the
3528 token. */
3529 $this->phase = self::MAIN_PHASE;
3530 return $this->mainPhase($token);
3531
3532 /* An end-of-file token */
3533 } elseif($token['type'] === HTML5::EOF) {
3534 /* OMG DONE!! */
3535 }
3536 }
3537
3538 private function insertElement($token, $append = true, $check = false) {
3539 // Proprietary workaround for libxml2's limitations with tag names
3540 if ($check) {
3541 // Slightly modified HTML5 tag-name modification,
3542 // removing anything that's not an ASCII letter, digit, or hyphen
3543 $token['name'] = preg_replace('/[^a-z0-9-]/i', '', $token['name']);
3544 // Remove leading hyphens and numbers
3545 $token['name'] = ltrim($token['name'], '-0..9');
3546 // In theory, this should ever be needed, but just in case
3547 if ($token['name'] === '') $token['name'] = 'span'; // arbitrary generic choice
3548 }
3549
3550 $el = $this->dom->createElement($token['name']);
3551
3552 foreach($token['attr'] as $attr) {
3553 if(!$el->hasAttribute($attr['name'])) {
3554 $el->setAttribute($attr['name'], $attr['value']);
3555 }
3556 }
3557
3558 $this->appendToRealParent($el);
3559 $this->stack[] = $el;
3560
3561 return $el;
3562 }
3563
3564 private function insertText($data) {
3565 $text = $this->dom->createTextNode($data);
3566 $this->appendToRealParent($text);
3567 }
3568
3569 private function insertComment($data) {
3570 $comment = $this->dom->createComment($data);
3571 $this->appendToRealParent($comment);
3572 }
3573
3574 private function appendToRealParent($node) {
3575 if($this->foster_parent === null) {
3576 end($this->stack)->appendChild($node);
3577
3578 } elseif($this->foster_parent !== null) {
3579 /* If the foster parent element is the parent element of the
3580 last table element in the stack of open elements, then the new
3581 node must be inserted immediately before the last table element
3582 in the stack of open elements in the foster parent element;
3583 otherwise, the new node must be appended to the foster parent
3584 element. */
3585 for($n = count($this->stack) - 1; $n >= 0; $n--) {
3586 if($this->stack[$n]->nodeName === 'table' &&
3587 $this->stack[$n]->parentNode !== null) {
3588 $table = $this->stack[$n];
3589 break;
3590 }
3591 }
3592
3593 if(isset($table) && $this->foster_parent->isSameNode($table->parentNode))
3594 $this->foster_parent->insertBefore($node, $table);
3595 else
3596 $this->foster_parent->appendChild($node);
3597
3598 $this->foster_parent = null;
3599 }
3600 }
3601
3602 private function elementInScope($el, $table = false) {
3603 if(is_array($el)) {
3604 foreach($el as $element) {
3605 if($this->elementInScope($element, $table)) {
3606 return true;
3607 }
3608 }
3609
3610 return false;
3611 }
3612
3613 $leng = count($this->stack);
3614
3615 for($n = 0; $n < $leng; $n++) {
3616 /* 1. Initialise node to be the current node (the bottommost node of
3617 the stack). */
3618 $node = $this->stack[$leng - 1 - $n];
3619
3620 if($node->tagName === $el) {
3621 /* 2. If node is the target node, terminate in a match state. */
3622 return true;
3623
3624 } elseif($node->tagName === 'table') {
3625 /* 3. Otherwise, if node is a table element, terminate in a failure
3626 state. */
3627 return false;
3628
3629 } elseif($table === true && in_array($node->tagName, array('caption', 'td',
3630 'th', 'button', 'marquee', 'object'))) {
3631 /* 4. Otherwise, if the algorithm is the "has an element in scope"
3632 variant (rather than the "has an element in table scope" variant),
3633 and node is one of the following, terminate in a failure state. */
3634 return false;
3635
3636 } elseif($node === $node->ownerDocument->documentElement) {
3637 /* 5. Otherwise, if node is an html element (root element), terminate
3638 in a failure state. (This can only happen if the node is the topmost
3639 node of the stack of open elements, and prevents the next step from
3640 being invoked if there are no more elements in the stack.) */
3641 return false;
3642 }
3643
3644 /* Otherwise, set node to the previous entry in the stack of open
3645 elements and return to step 2. (This will never fail, since the loop
3646 will always terminate in the previous step if the top of the stack
3647 is reached.) */
3648 }
3649 }
3650
3651 private function reconstructActiveFormattingElements() {
3652 /* 1. If there are no entries in the list of active formatting elements,
3653 then there is nothing to reconstruct; stop this algorithm. */
3654 $formatting_elements = count($this->a_formatting);
3655
3656 if($formatting_elements === 0) {
3657 return false;
3658 }
3659
3660 /* 3. Let entry be the last (most recently added) element in the list
3661 of active formatting elements. */
3662 $entry = end($this->a_formatting);
3663
3664 /* 2. If the last (most recently added) entry in the list of active
3665 formatting elements is a marker, or if it is an element that is in the
3666 stack of open elements, then there is nothing to reconstruct; stop this
3667 algorithm. */
3668 if($entry === self::MARKER || in_array($entry, $this->stack, true)) {
3669 return false;
3670 }
3671
3672 for($a = $formatting_elements - 1; $a >= 0; true) {
3673 /* 4. If there are no entries before entry in the list of active
3674 formatting elements, then jump to step 8. */
3675 if($a === 0) {
3676 $step_seven = false;
3677 break;
3678 }
3679
3680 /* 5. Let entry be the entry one earlier than entry in the list of
3681 active formatting elements. */
3682 $a--;
3683 $entry = $this->a_formatting[$a];
3684
3685 /* 6. If entry is neither a marker nor an element that is also in
3686 thetack of open elements, go to step 4. */
3687 if($entry === self::MARKER || in_array($entry, $this->stack, true)) {
3688 break;
3689 }
3690 }
3691
3692 while(true) {
3693 /* 7. Let entry be the element one later than entry in the list of
3694 active formatting elements. */
3695 if(isset($step_seven) && $step_seven === true) {
3696 $a++;
3697 $entry = $this->a_formatting[$a];
3698 }
3699
3700 /* 8. Perform a shallow clone of the element entry to obtain clone. */
3701 $clone = $entry->cloneNode();
3702
3703 /* 9. Append clone to the current node and push it onto the stack
3704 of open elements so that it is the new current node. */
3705 end($this->stack)->appendChild($clone);
3706 $this->stack[] = $clone;
3707
3708 /* 10. Replace the entry for entry in the list with an entry for
3709 clone. */
3710 $this->a_formatting[$a] = $clone;
3711
3712 /* 11. If the entry for clone in the list of active formatting
3713 elements is not the last entry in the list, return to step 7. */
3714 if(end($this->a_formatting) !== $clone) {
3715 $step_seven = true;
3716 } else {
3717 break;
3718 }
3719 }
3720 }
3721
3722 private function clearTheActiveFormattingElementsUpToTheLastMarker() {
3723 /* When the steps below require the UA to clear the list of active
3724 formatting elements up to the last marker, the UA must perform the
3725 following steps: */
3726
3727 while(true) {
3728 /* 1. Let entry be the last (most recently added) entry in the list
3729 of active formatting elements. */
3730 $entry = end($this->a_formatting);
3731
3732 /* 2. Remove entry from the list of active formatting elements. */
3733 array_pop($this->a_formatting);
3734
3735 /* 3. If entry was a marker, then stop the algorithm at this point.
3736 The list has been cleared up to the last marker. */
3737 if($entry === self::MARKER) {
3738 break;
3739 }
3740 }
3741 }
3742
3743 private function generateImpliedEndTags($exclude = array()) {
3744 /* When the steps below require the UA to generate implied end tags,
3745 then, if the current node is a dd element, a dt element, an li element,
3746 a p element, a td element, a th element, or a tr element, the UA must
3747 act as if an end tag with the respective tag name had been seen and
3748 then generate implied end tags again. */
3749 $node = end($this->stack);
3750 $elements = array_diff(array('dd', 'dt', 'li', 'p', 'td', 'th', 'tr'), $exclude);
3751
3752 while(in_array(end($this->stack)->nodeName, $elements)) {
3753 array_pop($this->stack);
3754 }
3755 }
3756
3757 private function getElementCategory($node) {
3758 $name = $node->tagName;
3759 if(in_array($name, $this->special))
3760 return self::SPECIAL;
3761
3762 elseif(in_array($name, $this->scoping))
3763 return self::SCOPING;
3764
3765 elseif(in_array($name, $this->formatting))
3766 return self::FORMATTING;
3767
3768 else
3769 return self::PHRASING;
3770 }
3771
3772 private function clearStackToTableContext($elements) {
3773 /* When the steps above require the UA to clear the stack back to a
3774 table context, it means that the UA must, while the current node is not
3775 a table element or an html element, pop elements from the stack of open
3776 elements. If this causes any elements to be popped from the stack, then
3777 this is a parse error. */
3778 while(true) {
3779 $node = end($this->stack)->nodeName;
3780
3781 if(in_array($node, $elements)) {
3782 break;
3783 } else {
3784 array_pop($this->stack);
3785 }
3786 }
3787 }
3788
3789 private function resetInsertionMode() {
3790 /* 1. Let last be false. */
3791 $last = false;
3792 $leng = count($this->stack);
3793
3794 for($n = $leng - 1; $n >= 0; $n--) {
3795 /* 2. Let node be the last node in the stack of open elements. */
3796 $node = $this->stack[$n];
3797
3798 /* 3. If node is the first node in the stack of open elements, then
3799 set last to true. If the element whose innerHTML attribute is being
3800 set is neither a td element nor a th element, then set node to the
3801 element whose innerHTML attribute is being set. (innerHTML case) */
3802 if($this->stack[0]->isSameNode($node)) {
3803 $last = true;
3804 }
3805
3806 /* 4. If node is a select element, then switch the insertion mode to
3807 "in select" and abort these steps. (innerHTML case) */
3808 if($node->nodeName === 'select') {
3809 $this->mode = self::IN_SELECT;
3810 break;
3811
3812 /* 5. If node is a td or th element, then switch the insertion mode
3813 to "in cell" and abort these steps. */
3814 } elseif($node->nodeName === 'td' || $node->nodeName === 'th') {
3815 $this->mode = self::IN_CELL;
3816 break;
3817
3818 /* 6. If node is a tr element, then switch the insertion mode to
3819 "in row" and abort these steps. */
3820 } elseif($node->nodeName === 'tr') {
3821 $this->mode = self::IN_ROW;
3822 break;
3823
3824 /* 7. If node is a tbody, thead, or tfoot element, then switch the
3825 insertion mode to "in table body" and abort these steps. */
3826 } elseif(in_array($node->nodeName, array('tbody', 'thead', 'tfoot'))) {
3827 $this->mode = self::IN_TBODY;
3828 break;
3829
3830 /* 8. If node is a caption element, then switch the insertion mode
3831 to "in caption" and abort these steps. */
3832 } elseif($node->nodeName === 'caption') {
3833 $this->mode = self::IN_CAPTION;
3834 break;
3835
3836 /* 9. If node is a colgroup element, then switch the insertion mode
3837 to "in column group" and abort these steps. (innerHTML case) */
3838 } elseif($node->nodeName === 'colgroup') {
3839 $this->mode = self::IN_CGROUP;
3840 break;
3841
3842 /* 10. If node is a table element, then switch the insertion mode
3843 to "in table" and abort these steps. */
3844 } elseif($node->nodeName === 'table') {
3845 $this->mode = self::IN_TABLE;
3846 break;
3847
3848 /* 11. If node is a head element, then switch the insertion mode
3849 to "in body" ("in body"! not "in head"!) and abort these steps.
3850 (innerHTML case) */
3851 } elseif($node->nodeName === 'head') {
3852 $this->mode = self::IN_BODY;
3853 break;
3854
3855 /* 12. If node is a body element, then switch the insertion mode to
3856 "in body" and abort these steps. */
3857 } elseif($node->nodeName === 'body') {
3858 $this->mode = self::IN_BODY;
3859 break;
3860
3861 /* 13. If node is a frameset element, then switch the insertion
3862 mode to "in frameset" and abort these steps. (innerHTML case) */
3863 } elseif($node->nodeName === 'frameset') {
3864 $this->mode = self::IN_FRAME;
3865 break;
3866
3867 /* 14. If node is an html element, then: if the head element
3868 pointer is null, switch the insertion mode to "before head",
3869 otherwise, switch the insertion mode to "after head". In either
3870 case, abort these steps. (innerHTML case) */
3871 } elseif($node->nodeName === 'html') {
3872 $this->mode = ($this->head_pointer === null)
3873 ? self::BEFOR_HEAD
3874 : self::AFTER_HEAD;
3875
3876 break;
3877
3878 /* 15. If last is true, then set the insertion mode to "in body"
3879 and abort these steps. (innerHTML case) */
3880 } elseif($last) {
3881 $this->mode = self::IN_BODY;
3882 break;
3883 }
3884 }
3885 }
3886
3887 private function closeCell() {
3888 /* If the stack of open elements has a td or th element in table scope,
3889 then act as if an end tag token with that tag name had been seen. */
3890 foreach(array('td', 'th') as $cell) {
3891 if($this->elementInScope($cell, true)) {
3892 $this->inCell(array(
3893 'name' => $cell,
3894 'type' => HTML5::ENDTAG
3895 ));
3896
3897 break;
3898 }
3899 }
3900 }
3901
3902 public function save() {
3903 return $this->dom;
3904 }
3905 }
3906 ?>