/[suikacvs]/markup/html/whatpm/Whatpm/HTML.pm.src

Diff of /markup/html/whatpm/Whatpm/HTML.pm.src

Parent Directory | Revision Log | View Patch Patch

-revision 1.185 by wakaba,
Mon Sep 15 09:27:53 2008 UTC
+revision 1.205 by wakaba,
Mon Oct 13 06:18:31 2008 UTC
 Line 66 
 sub TABLE_ROWS_EL () {
  }
  ## NOTE: Used in "generate implied end tags" algorithm.
- ## NOTE: There is a code where a modified version of END_TAG_OPTIONAL_EL
+ ## NOTE: There is a code where a modified version of
- ## is used in "generate implied end tags" implementation (search for the
+ ## END_TAG_OPTIONAL_EL is used in "generate implied end tags"
- ## function mae).
+ ## implementation (search for the algorithm name).
  sub END_TAG_OPTIONAL_EL () {
    DD_EL |
    DT_EL |
    LI_EL |
+   OPTION_EL |
+   OPTGROUP_EL |
    P_EL |
    RUBY_COMPONENT_EL
  }
-Line 84 
 sub ALL_END_TAG_OPTIONAL_EL () {
+Line 86 
 sub ALL_END_TAG_OPTIONAL_EL () {
    LI_EL |
    P_EL |
+   ## ISSUE: option, optgroup, rt, rp?
    BODY_EL |
    HTML_EL |
    TABLE_CELL_EL |
-Line 128 
 sub SPECIAL_EL () {
+Line 132 
 sub SPECIAL_EL () {
    FORM_EL |
    FRAMESET_EL |
    HEADING_EL |
-   OPTION_EL |
-   OPTGROUP_EL |
    SELECT_EL |
    TABLE_ROW_EL |
    TABLE_ROW_GROUP_EL |
-Line 141 
 my $el_category = {
+Line 143 
 my $el_category = {
    address => ADDRESS_EL,
    applet => MISC_SCOPING_EL,
    area => MISC_SPECIAL_EL,
+   article => MISC_SPECIAL_EL,
+   aside => MISC_SPECIAL_EL,
    b => FORMATTING_EL,
    base => MISC_SPECIAL_EL,
    basefont => MISC_SPECIAL_EL,
-Line 154 
 my $el_category = {
+Line 158 
 my $el_category = {
    center => MISC_SPECIAL_EL,
    col => MISC_SPECIAL_EL,
    colgroup => MISC_SPECIAL_EL,
+   command => MISC_SPECIAL_EL,
+   datagrid => MISC_SPECIAL_EL,
    dd => DD_EL,
+   details => MISC_SPECIAL_EL,
+   dialog => MISC_SPECIAL_EL,
    dir => MISC_SPECIAL_EL,
    div => DIV_EL,
    dl => MISC_SPECIAL_EL,
    dt => DT_EL,
    em => FORMATTING_EL,
    embed => MISC_SPECIAL_EL,
+   eventsource => MISC_SPECIAL_EL,
    fieldset => MISC_SPECIAL_EL,
+   figure => MISC_SPECIAL_EL,
    font => FORMATTING_EL,
+   footer => MISC_SPECIAL_EL,
    form => FORM_EL,
    frame => MISC_SPECIAL_EL,
    frameset => FRAMESET_EL,
-Line 173 
 my $el_category = {
+Line 184 
 my $el_category = {
    h5 => HEADING_EL,
    h6 => HEADING_EL,
    head => MISC_SPECIAL_EL,
+   header => MISC_SPECIAL_EL,
    hr => MISC_SPECIAL_EL,
    html => HTML_EL,
    i => FORMATTING_EL,
    iframe => MISC_SPECIAL_EL,
    img => MISC_SPECIAL_EL,
+   #image => MISC_SPECIAL_EL, ## NOTE: Commented out in the spec.
    input => MISC_SPECIAL_EL,
    isindex => MISC_SPECIAL_EL,
    li => LI_EL,
-Line 186 
 my $el_category = {
+Line 199 
 my $el_category = {
    marquee => MISC_SCOPING_EL,
    menu => MISC_SPECIAL_EL,
    meta => MISC_SPECIAL_EL,
+   nav => MISC_SPECIAL_EL,
    nobr => NOBR_EL | FORMATTING_EL,
    noembed => MISC_SPECIAL_EL,
    noframes => MISC_SPECIAL_EL,
-Line 204 
 my $el_category = {
+Line 218 
 my $el_category = {
    s => FORMATTING_EL,
    script => MISC_SPECIAL_EL,
    select => SELECT_EL,
+   section => MISC_SPECIAL_EL,
    small => FORMATTING_EL,
    spacer => MISC_SPECIAL_EL,
    strike => FORMATTING_EL,
-Line 234 
 my $el_category_f = {
+Line 249 
 my $el_category_f = {
      mtext => FOREIGN_FLOW_CONTENT_EL,
    },
    $SVG_NS => {
-     foreignObject => FOREIGN_FLOW_CONTENT_EL,
+     foreignObject => FOREIGN_FLOW_CONTENT_EL | MISC_SCOPING_EL,
      desc => FOREIGN_FLOW_CONTENT_EL,
      title => FOREIGN_FLOW_CONTENT_EL,
    },
-Line 323 
 my $foreign_attr_xname = {
+Line 338 
 my $foreign_attr_xname = {
  ## ISSUE: xmlns:xlink="non-xlink-ns" is not an error.
- my $c1_entity_char = {
+ my $charref_map = {
+x0D => 0x000A,
 x80 => 0x20AC,
 x81 => 0xFFFD,
 x82 => 0x201A,
-Line 356 
 my $c1_entity_char = {
+Line 372 
 my $c1_entity_char = {
 x9D => 0xFFFD,
 x9E => 0x017E,
 x9F => 0x0178,
- }; # $c1_entity_char
+ }; # $charref_map
+ $charref_map->{$_} = 0xFFFD
+     for 0x0000..0x0008, 0x000B, 0x000E..0x001F, 0x007F,
+xD800..0xDFFF, 0xFDD0..0xFDDF, ## ISSUE: 0xFDEF
+xFFFE, 0xFFFF, 0x1FFFE, 0x1FFFF, 0x2FFFE, 0x2FFFF, 0x3FFFE, 0x3FFFF,
+x4FFFE, 0x4FFFF, 0x5FFFE, 0x5FFFF, 0x6FFFE, 0x6FFFF, 0x7FFFE,
+x7FFFF, 0x8FFFE, 0x8FFFF, 0x9FFFE, 0x9FFFF, 0xAFFFE, 0xAFFFF,
+xBFFFE, 0xBFFFF, 0xCFFFE, 0xCFFFF, 0xDFFFE, 0xDFFFF, 0xEFFFE,
+xEFFFF, 0xFFFFE, 0xFFFFF, 0x10FFFE, 0x10FFFF;
+ ## TODO: Invoke the reset algorithm when a resettable element is
+ ## created (cf. HTML5 revision 2259).
  sub parse_byte_string ($$$$;$) {
    my $self = shift;
-Line 401 
 sub parse_byte_stream ($$$$;$$) {
+Line 428 
 sub parse_byte_stream ($$$$;$$) {
            ## TODO: Is this ok?  Transfer protocol's parameter should be
            ## interpreted in its semantics?
-       ## ISSUE: Unsupported encoding is not ignored according to the spec.
        ($char_stream, $e_status) = $charset->get_decode_handle
            ($byte_stream, allow_error_reporting => 1,
             allow_fallback => 1);
-Line 409 
 sub parse_byte_stream ($$$$;$$) {
+Line 435 
 sub parse_byte_stream ($$$$;$$) {
          $self->{confident} = 1;
          last SNIFFING;
        } else {
-         ## TODO: unsupported error
+         !!!parse-error (type => 'charset:not supported',
+                         layer => 'encode',
+                         line => 1, column => 1,
+                         value => $charset_name,
+                         level => $self->{level}->{uncertain});
        }
      }
-Line 458 
 sub parse_byte_stream ($$$$;$$) {
+Line 488 
 sub parse_byte_stream ($$$$;$$) {
      if (defined $charset_name) {
        $charset = Message::Charset::Info->get_by_html_name ($charset_name);
-       ## ISSUE: Unsupported encoding is not ignored according to the spec.
        require Whatpm::Charset::DecodeHandle;
        $buffer = Whatpm::Charset::DecodeHandle::ByteBuffer->new
            ($byte_stream);
-Line 889 
 sub IN_FOREIGN_CONTENT_IM () { 0b1000000
+Line 918 
 sub IN_FOREIGN_CONTENT_IM () { 0b1000000
      ## NOTE: "in foreign content" insertion mode is special; it is combined
      ## with the secondary insertion mode.  In this parser, they are stored
      ## together in the bit-or'ed form.
+ sub IN_CDATA_RCDATA_IM () { 0b1000000000000 }
+     ## NOTE: "in CDATA/RCDATA" insertion mode is also special; it is
+     ## combined with the original insertion mode.  In thie parser,
+     ## they are stored together in the bit-or'ed form.
  ## NOTE: "initial" and "before html" insertion modes have no constants.
-Line 966 
 sub _initialize_tokenizer ($) {
+Line 999 
 sub _initialize_tokenizer ($) {
  ## TODO: Polytheistic slash SHOULD NOT be used. (Applied only to atheists.)
  ## (This requirement was dropped from HTML5 spec, unfortunately.)
+ my $is_space = {
+x0009 => 1, # CHARACTER TABULATION (HT)
+x000A => 1, # LINE FEED (LF)
+   #0x000B => 0, # LINE TABULATION (VT)
+x000C => 1, # FORM FEED (FF)
+   #0x000D => 1, # CARRIAGE RETURN (CR)
+x0020 => 1, # SPACE (SP)
+ };
  sub _get_next_token ($) {
    my $self = shift;
-Line 1336 
 sub _get_next_token ($) {
+Line 1378 
 sub _get_next_token ($) {
            redo A;
          }
        } else { # after "<{tag-name}"
-         unless ({
+         unless ($is_space->{$self->{nc}} or
-x0009 => 1, # HT
+                 {
-x000A => 1, # LF
-x000B => 1, # VT
-x000C => 1, # FF
-x0020 => 1, # SP
 x003E => 1, # >
 x002F => 1, # /
                   -1 => 1, # EOF
-Line 1368 
 sub _get_next_token ($) {
+Line 1406 
 sub _get_next_token ($) {
          }
        }
      } elsif ($self->{state} == TAG_NAME_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (34);
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
-Line 1444 
 sub _get_next_token ($) {
+Line 1478 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_ATTRIBUTE_NAME_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (45);
          ## Stay in the state
          !!!next-input-character;
-Line 1544 
 sub _get_next_token ($) {
+Line 1574 
 sub _get_next_token ($) {
          }
        }; # $before_leave
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (59);
          $before_leave->();
          $self->{state} = AFTER_ATTRIBUTE_NAME_STATE;
-Line 1631 
 sub _get_next_token ($) {
+Line 1657 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == AFTER_ATTRIBUTE_NAME_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (71);
          ## Stay in the state
          !!!next-input-character;
-Line 1722 
 sub _get_next_token ($) {
+Line 1744 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_ATTRIBUTE_VALUE_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (83);
          ## Stay in the state
          !!!next-input-character;
-Line 1907 
 sub _get_next_token ($) {
+Line 1925 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == ATTRIBUTE_VALUE_UNQUOTED_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # HT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (107);
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
-Line 1993 
 sub _get_next_token ($) {
+Line 2007 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == AFTER_ATTRIBUTE_VALUE_QUOTED_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (118);
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
-Line 2438 
 sub _get_next_token ($) {
+Line 2448 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == DOCTYPE_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (155);
          $self->{state} = BEFORE_DOCTYPE_NAME_STATE;
          !!!next-input-character;
-Line 2455 
 sub _get_next_token ($) {
+Line 2461 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_DOCTYPE_NAME_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (157);
          ## Stay in the state
          !!!next-input-character;
-Line 2486 
 sub _get_next_token ($) {
+Line 2488 
 sub _get_next_token ($) {
          !!!cp (160);
          $self->{ct}->{name} = chr $self->{nc};
          delete $self->{ct}->{quirks};
- ## ISSUE: "Set the token's name name to the" in the spec
          $self->{state} = DOCTYPE_NAME_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == DOCTYPE_NAME_STATE) {
  ## ISSUE: Redundant "First," in the spec.
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (161);
          $self->{state} = AFTER_DOCTYPE_NAME_STATE;
          !!!next-input-character;
-Line 2529 
 sub _get_next_token ($) {
+Line 2526 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == AFTER_DOCTYPE_NAME_STATE) {
-       if ($self->{nc} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $self->{nc} == 0x000A or # LF
-           $self->{nc} == 0x000B or # VT
-           $self->{nc} == 0x000C or # FF
-           $self->{nc} == 0x0020) { # SP
          !!!cp (165);
          ## Stay in the state
          !!!next-input-character;
-Line 2656 
 sub _get_next_token ($) {
+Line 2649 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_DOCTYPE_PUBLIC_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
-             #0x000D => 1, # HT, LF, VT, FF, SP, CR
-           }->{$self->{nc}}) {
          !!!cp (181);
          ## Stay in the state
          !!!next-input-character;
-Line 2786 
 sub _get_next_token ($) {
+Line 2776 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
-             #0x000D => 1, # HT, LF, VT, FF, SP, CR
-           }->{$self->{nc}}) {
          !!!cp (195);
          ## Stay in the state
          !!!next-input-character;
-Line 2835 
 sub _get_next_token ($) {
+Line 2822 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
-             #0x000D => 1, # HT, LF, VT, FF, SP, CR
-           }->{$self->{nc}}) {
          !!!cp (201);
          ## Stay in the state
          !!!next-input-character;
-Line 2964 
 sub _get_next_token ($) {
+Line 2948 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
-             #0x000D => 1, # HT, LF, VT, FF, SP, CR
-           }->{$self->{nc}}) {
          !!!cp (215);
          ## Stay in the state
          !!!next-input-character;
-Line 3010 
 sub _get_next_token ($) {
+Line 2991 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{nc} == -1) {
          !!!cp (220);
-         !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 3099 
 sub _get_next_token ($) {
+Line 3079 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == ENTITY_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}} or
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, # HT, LF, VT, FF,
+           {
-x0020 => 1, 0x003C => 1, 0x0026 => 1, -1 => 1, # SP, <, &
+x003C => 1, 0x0026 => 1, -1 => 1, # <, &
-         $self->{entity_add} => 1,
+             $self->{entity_add} => 1,
-       }->{$self->{nc}}) {
+           }->{$self->{nc}}) {
          !!!cp (1001);
          ## Don't consume
          ## No error
-Line 3222 
 sub _get_next_token ($) {
+Line 3202 
 sub _get_next_token ($) {
        my $code = $self->{s_kwd};
        my $l = $self->{line_prev};
        my $c = $self->{column_prev};
-       if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
+       if ($charref_map->{$code}) {
          !!!cp (1015);
          !!!parse-error (type => 'invalid character reference',
                          text => (sprintf 'U+%04X', $code),
                          line => $l, column => $c);
-         $code = 0xFFFD;
+         $code = $charref_map->{$code};
        } elsif ($code > 0x10FFFF) {
          !!!cp (1016);
          !!!parse-error (type => 'invalid character reference',
                          text => (sprintf 'U-%08X', $code),
                          line => $l, column => $c);
          $code = 0xFFFD;
-       } elsif ($code == 0x000D) {
-         !!!cp (1017);
-         !!!parse-error (type => 'CR character reference',
-                         line => $l, column => $c);
-         $code = 0x000A;
-       } elsif (0x80 <= $code and $code <= 0x9F) {
-         !!!cp (1018);
-         !!!parse-error (type => 'C1 character reference',
-                         text => (sprintf 'U+%04X', $code),
-                         line => $l, column => $c);
-         $code = $c1_entity_char->{$code};
        }
        if ($self->{prev_state} == DATA_STATE) {
-Line 3341 
 sub _get_next_token ($) {
+Line 3310 
 sub _get_next_token ($) {
        my $code = $self->{s_kwd};
        my $l = $self->{line_prev};
        my $c = $self->{column_prev};
-       if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
+       if ($charref_map->{$code}) {
          !!!cp (1008);
          !!!parse-error (type => 'invalid character reference',
                          text => (sprintf 'U+%04X', $code),
                          line => $l, column => $c);
-         $code = 0xFFFD;
+         $code = $charref_map->{$code};
        } elsif ($code > 0x10FFFF) {
          !!!cp (1009);
          !!!parse-error (type => 'invalid character reference',
                          text => (sprintf 'U-%08X', $code),
                          line => $l, column => $c);
          $code = 0xFFFD;
-       } elsif ($code == 0x000D) {
-         !!!cp (1010);
-         !!!parse-error (type => 'CR character reference', line => $l, column => $c);
-         $code = 0x000A;
-       } elsif (0x80 <= $code and $code <= 0x9F) {
-         !!!cp (1011);
-         !!!parse-error (type => 'C1 character reference', text => (sprintf 'U+%04X', $code), line => $l, column => $c);
-         $code = $c1_entity_char->{$code};
        }
        if ($self->{prev_state} == DATA_STATE) {
-Line 3509 
 sub _construct_tree ($) {
+Line 3470 
 sub _construct_tree ($) {
    ## When an interactive UA render the $self->{document} available
    ## to the user, or when it begin accepting user input, are
    ## not defined.
-   ## Append a character: collect it and all subsequent consecutive
-   ## characters and insert one Text node whose data is concatenation
-   ## of all those characters. # MUST
    !!!next-token;
    undef $self->{form_element};
    undef $self->{head_element};
+   undef $self->{head_element_inserted};
    $self->{open_elements} = [];
    undef $self->{inner_html_node};
-Line 3701 
 sub _tree_construction_initial ($) {
+Line 3659 
 sub _tree_construction_initial ($) {
        !!!ack-later;
        return;
      } elsif ($token->{type} == CHARACTER_TOKEN) {
-       if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) { # \x0D
+       if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
          ## Ignore the token
          unless (length $token->{data}) {
-Line 3758 
 sub _tree_construction_root_element ($)
+Line 3716 
 sub _tree_construction_root_element ($)
          !!!next-token;
          redo B;
        } elsif ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) { # \x0D
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            ## Ignore the token.
            unless (length $token->{data}) {
-Line 3825 
 sub _tree_construction_root_element ($)
+Line 3783 
 sub _tree_construction_root_element ($)
      ## NOTE: Reprocess the token.
      !!!ack-later;
      return; ## Go to the "before head" insertion mode.
-     ## ISSUE: There is an issue in the spec
    } # B
    die "$0: _tree_construction_root_element: This should never be reached";
-Line 4023 
 sub _tree_construction_main ($) {
+Line 3979 
 sub _tree_construction_main ($) {
      ## Step 1
      my $start_tag_name = $token->{tag_name};
-     my $el;
+     !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-     !!!create-element ($el, $HTML_NS, $start_tag_name, $token->{attributes}, $token);
      ## Step 2
-     $insert->($el);
-     ## Step 3
      $self->{content_model} = $content_model_flag; # CDATA or RCDATA
      delete $self->{escape}; # MUST
-     ## Step 4
+     ## Step 3, 4
-     my $text = '';
+     $self->{insertion_mode} |= IN_CDATA_RCDATA_IM;
-     !!!nack ('t40.1');
-     !!!next-token;
-     while ($token->{type} == CHARACTER_TOKEN) { # or until stop tokenizing
-       !!!cp ('t40');
-       $text .= $token->{data};
-       !!!next-token;
-     }
-     ## Step 5
-     if (length $text) {
-       !!!cp ('t41');
-       my $text = $self->{document}->create_text_node ($text);
-       $el->append_child ($text);
-     }
-     ## Step 6
+     !!!nack ('t40.1');
-     $self->{content_model} = PCDATA_CONTENT_MODEL;
-     ## Step 7
-     if ($token->{type} == END_TAG_TOKEN and
-         $token->{tag_name} eq $start_tag_name) {
-       !!!cp ('t42');
-       ## Ignore the token
-     } else {
-       ## NOTE: An end-of-file token.
-       if ($content_model_flag == CDATA_CONTENT_MODEL) {
-         !!!cp ('t43');
-         !!!parse-error (type => 'in CDATA:#eof', token => $token);
-       } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
-         !!!cp ('t44');
-         !!!parse-error (type => 'in RCDATA:#eof', token => $token);
-       } else {
-         die "$0: $content_model_flag in parse_rcdata";
-       }
-     }
      !!!next-token;
    }; # $parse_rcdata
    my $script_start_tag = sub () {
+     ## Step 1
      my $script_el;
      !!!create-element ($script_el, $HTML_NS, 'script', $token->{attributes}, $token);
+     ## Step 2
      ## TODO: mark as "parser-inserted"
+     ## Step 3
+     ## TODO: Mark as "already executed", if ...
+     ## Step 4
+     $insert->($script_el);
+     ## ISSUE: $script_el is not put into the stack
+     push @{$self->{open_elements}}, [$script_el, $el_category->{script}];
+     ## Step 5
      $self->{content_model} = CDATA_CONTENT_MODEL;
      delete $self->{escape}; # MUST
-     my $text = '';
-     !!!nack ('t45.1');
-     !!!next-token;
-     while ($token->{type} == CHARACTER_TOKEN) {
-       !!!cp ('t45');
-       $text .= $token->{data};
-       !!!next-token;
-     } # stop if non-character token or tokenizer stops tokenising
-     if (length $text) {
-       !!!cp ('t46');
-       $script_el->manakai_append_text ($text);
-     }
-     $self->{content_model} = PCDATA_CONTENT_MODEL;
-     if ($token->{type} == END_TAG_TOKEN and
+     ## Step 6-7
-         $token->{tag_name} eq 'script') {
+     $self->{insertion_mode} |= IN_CDATA_RCDATA_IM;
-       !!!cp ('t47');
-       ## Ignore the token
-     } else {
-       !!!cp ('t48');
-       !!!parse-error (type => 'in CDATA:#eof', token => $token);
-       ## ISSUE: And ignore?
-       ## TODO: mark as "already executed"
-     }
-     if (defined $self->{inner_html_node}) {
-       !!!cp ('t49');
-       ## TODO: mark as "already executed"
-     } else {
-       !!!cp ('t50');
-       ## TODO: $old_insertion_point = current insertion point
-       ## TODO: insertion point = just before the next input character
-       $insert->($script_el);
+     !!!nack ('t40.2');
-       ## TODO: insertion point = $old_insertion_point (might be "undefined")
-       ## TODO: if there is a script that will execute as soon as the parser resume, then...
-     }
      !!!next-token;
    }; # $script_start_tag
    ## NOTE: $open_tables->[-1]->[0] is the "current table" element node.
    ## NOTE: $open_tables->[-1]->[1] is the "tainted" flag.
+   ## NOTE: $open_tables->[-1]->[2] is set false when non-Text node inserted.
    my $open_tables = [[$self->{open_elements}->[0]->[0]]];
    my $formatting_end_tag = sub {
-Line 4211 
 sub _tree_construction_main ($) {
+Line 4107 
 sub _tree_construction_main ($) {
            !!!cp ('t59');
            $furthest_block = $node;
            $furthest_block_i_in_open = $_;
+           ## NOTE: The topmost (eldest) node.
          } elsif ($node->[0] eq $formatting_element->[0]) {
            !!!cp ('t60');
            last OE;
-Line 4357 
 sub _tree_construction_main ($) {
+Line 4254 
 sub _tree_construction_main ($) {
            $i = $_;
          }
        } # OE
-       splice @{$self->{open_elements}}, $i + 1, 1, $clone;
+       splice @{$self->{open_elements}}, $i + 1, 0, $clone;
        ## Step 14
        redo FET;
-Line 4400 
 sub _tree_construction_main ($) {
+Line 4297 
 sub _tree_construction_main ($) {
      }
    }; # $insert_to_foster
+   ## NOTE: Insert a character (MUST): When a character is inserted, if
+   ## the last node that was inserted by the parser is a Text node and
+   ## the character has to be inserted after that node, then the
+   ## character is appended to the Text node.  However, if any other
+   ## node is inserted by the parser, then a new Text node is created
+   ## and the character is appended as that Text node.  If I'm not
+   ## wrong, for a parser with scripting disabled, there are only two
+   ## cases where this occurs.  One is the case where an element node
+   ## is inserted to the |head| element.  This is covered by using the
+   ## |$self->{head_element_inserted}| flag.  Another is the case where
+   ## an element or comment is inserted into the |table| subtree while
+   ## foster parenting happens.  This is covered by using the [2] flag
+   ## of the |$open_tables| structure.  All other cases are handled
+   ## simply by calling |manakai_append_text| method.
+   ## TODO: |<body><script>document.write("a<br>");
+   ## document.body.removeChild (document.body.lastChild);
+   ## document.write ("b")</script>|
    B: while (1) {
      if ($token->{type} == DOCTYPE_TOKEN) {
        !!!cp ('t73');
-Line 4447 
 sub _tree_construction_main ($) {
+Line 4363 
 sub _tree_construction_main ($) {
        } else {
          !!!cp ('t87');
          $self->{open_elements}->[-1]->[0]->append_child ($comment);
+         $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
        }
        !!!next-token;
        next B;
+     } elsif ($self->{insertion_mode} & IN_CDATA_RCDATA_IM) {
+       if ($token->{type} == CHARACTER_TOKEN) {
+         $token->{data} =~ s/^\x0A// if $self->{ignore_newline};
+         delete $self->{ignore_newline};
+         if (length $token->{data}) {
+           !!!cp ('t43');
+           $self->{open_elements}->[-1]->[0]->manakai_append_text
+               ($token->{data});
+         } else {
+           !!!cp ('t43.1');
+         }
+         !!!next-token;
+         next B;
+       } elsif ($token->{type} == END_TAG_TOKEN) {
+         delete $self->{ignore_newline};
+         if ($token->{tag_name} eq 'script') {
+           !!!cp ('t50');
+           ## Para 1-2
+           my $script = pop @{$self->{open_elements}};
+           ## Para 3
+           $self->{insertion_mode} &= ~ IN_CDATA_RCDATA_IM;
+           ## Para 4
+           ## TODO: $old_insertion_point = $current_insertion_point;
+           ## TODO: $current_insertion_point = just before $self->{nc};
+           ## Para 5
+           ## TODO: Run the $script->[0].
+           ## Para 6
+           ## TODO: $current_insertion_point = $old_insertion_point;
+           ## Para 7
+           ## TODO: if ($pending_external_script) {
+             ## TODO: ...
+           ## TODO: }
+           !!!next-token;
+           next B;
+         } else {
+           !!!cp ('t42');
+           pop @{$self->{open_elements}};
+           $self->{insertion_mode} &= ~ IN_CDATA_RCDATA_IM;
+           !!!next-token;
+           next B;
+         }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         delete $self->{ignore_newline};
+         !!!cp ('t44');
+         !!!parse-error (type => 'not closed',
+                         text => $self->{open_elements}->[-1]->[0]
+                             ->manakai_local_name,
+                         token => $token);
+         #if ($self->{open_elements}->[-1]->[1] & SCRIPT_EL) {
+         #  ## TODO: Mark as "already executed"
+         #}
+         pop @{$self->{open_elements}};
+         $self->{insertion_mode} &= ~ IN_CDATA_RCDATA_IM;
+         ## Reprocess.
+         next B;
+       } else {
+         die "$0: $token->{type}: In CDATA/RCDATA: Unknown token type";
+       }
      } elsif ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM) {
        if ($token->{type} == CHARACTER_TOKEN) {
          !!!cp ('t87.1');
-Line 4562 
 sub _tree_construction_main ($) {
+Line 4552 
 sub _tree_construction_main ($) {
          pop @{$self->{open_elements}}
              while $self->{open_elements}->[-1]->[1] & FOREIGN_EL;
+         ## NOTE: |<span><svg>| ... two parse errors, |<svg>| ... a parse error.
          $self->{insertion_mode} &= ~ IN_FOREIGN_CONTENT_IM;
          ## Reprocess.
          next B;
-Line 4572 
 sub _tree_construction_main ($) {
+Line 4564 
 sub _tree_construction_main ($) {
      if ($self->{insertion_mode} & HEAD_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            unless ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-             !!!cp ('t88.2');
+             if ($self->{head_element_inserted}) {
-             $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+               !!!cp ('t88.3');
-             #
+               $self->{open_elements}->[-1]->[0]->append_child
+                 ($self->{document}->create_text_node ($1));
+               delete $self->{head_element_inserted};
+               ## NOTE: |</head> <link> |
+               #
+             } else {
+               !!!cp ('t88.2');
+               $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+               ## NOTE: |</head> &#x20;|
+               #
+             }
            } else {
              !!!cp ('t88.1');
              ## Ignore the token.
-Line 4672 
 sub _tree_construction_main ($) {
+Line 4674 
 sub _tree_construction_main ($) {
            !!!cp ('t97');
          }
-             if ($token->{tag_name} eq 'base') {
+         if ($token->{tag_name} eq 'base') {
-               if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t98');
+             !!!cp ('t98');
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript', text => 'base',
+             !!!parse-error (type => 'in noscript', text => 'base',
-                                 token => $token);
+                             token => $token);
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-               } else {
+           } else {
-                 !!!cp ('t99');
+             !!!cp ('t99');
-               }
+           }
-               ## NOTE: There is a "as if in head" code clone.
+           ## NOTE: There is a "as if in head" code clone.
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t100');
+             !!!cp ('t100');
-                 !!!parse-error (type => 'after head',
+             !!!parse-error (type => 'after head',
-                                 text => $token->{tag_name}, token => $token);
+                             text => $token->{tag_name}, token => $token);
-                 push @{$self->{open_elements}},
+             push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
+                 [$self->{head_element}, $el_category->{head}];
-               } else {
+             $self->{head_element_inserted} = 1;
-                 !!!cp ('t101');
+           } else {
-               }
+             !!!cp ('t101');
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           }
-               pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               pop @{$self->{open_elements}} # <head>
+           pop @{$self->{open_elements}};
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           pop @{$self->{open_elements}} # <head>
-               !!!nack ('t101.1');
+               if $self->{insertion_mode} == AFTER_HEAD_IM;
-               !!!next-token;
+           !!!nack ('t101.1');
-               next B;
+           !!!next-token;
-             } elsif ($token->{tag_name} eq 'link') {
+           next B;
-               ## NOTE: There is a "as if in head" code clone.
+         } elsif ($token->{tag_name} eq 'link') {
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           ## NOTE: There is a "as if in head" code clone.
-                 !!!cp ('t102');
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head',
+             !!!cp ('t102');
-                                 text => $token->{tag_name}, token => $token);
+             !!!parse-error (type => 'after head',
-                 push @{$self->{open_elements}},
+                             text => $token->{tag_name}, token => $token);
-                     [$self->{head_element}, $el_category->{head}];
+             push @{$self->{open_elements}},
-               } else {
+                 [$self->{head_element}, $el_category->{head}];
-                 !!!cp ('t103');
+             $self->{head_element_inserted} = 1;
-               }
+           } else {
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             !!!cp ('t103');
-               pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+           }
-               pop @{$self->{open_elements}} # <head>
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           pop @{$self->{open_elements}};
-               !!!ack ('t103.1');
+           pop @{$self->{open_elements}} # <head>
-               !!!next-token;
+               if $self->{insertion_mode} == AFTER_HEAD_IM;
-               next B;
+           !!!ack ('t103.1');
-             } elsif ($token->{tag_name} eq 'meta') {
+           !!!next-token;
-               ## NOTE: There is a "as if in head" code clone.
+           next B;
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+         } elsif ($token->{tag_name} eq 'command' or
-                 !!!cp ('t104');
+                  $token->{tag_name} eq 'eventsource') {
-                 !!!parse-error (type => 'after head',
+           if ($self->{insertion_mode} == IN_HEAD_IM) {
-                                 text => $token->{tag_name}, token => $token);
+             ## NOTE: If the insertion mode at the time of the emission
-                 push @{$self->{open_elements}},
+             ## of the token was "before head", $self->{insertion_mode}
-                     [$self->{head_element}, $el_category->{head}];
+             ## is already changed to |IN_HEAD_IM|.
-               } else {
-                 !!!cp ('t105');
+             ## NOTE: There is a "as if in head" code clone.
-               }
+             !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             pop @{$self->{open_elements}};
-               my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+             pop @{$self->{open_elements}} # <head>
+                 if $self->{insertion_mode} == AFTER_HEAD_IM;
+             !!!ack ('t103.2');
+             !!!next-token;
+             next B;
+           } else {
+             ## NOTE: "in head noscript" or "after head" insertion mode
+             ## - in these cases, these tags are treated as same as
+             ## normal in-body tags.
+             !!!cp ('t103.3');
+             #
+           }
+         } elsif ($token->{tag_name} eq 'meta') {
+           ## NOTE: There is a "as if in head" code clone.
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+             !!!cp ('t104');
+             !!!parse-error (type => 'after head',
+                             text => $token->{tag_name}, token => $token);
+             push @{$self->{open_elements}},
+                 [$self->{head_element}, $el_category->{head}];
+             $self->{head_element_inserted} = 1;
+           } else {
+             !!!cp ('t105');
+           }
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           my $meta_el = pop @{$self->{open_elements}};
                unless ($self->{confident}) {
                  if ($token->{attributes}->{charset}) {
-Line 4751 
 sub _tree_construction_main ($) {
+Line 4778 
 sub _tree_construction_main ($) {
                  } elsif ($token->{attributes}->{content}) {
                    if ($token->{attributes}->{content}->{value}
                        =~ /[Cc][Hh][Aa][Rr][Ss][Ee][Tt]
-                           [\x09-\x0D\x20]*=
+                           [\x09\x0A\x0C\x0D\x20]*=
-                           [\x09-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
+                           [\x09\x0A\x0C\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
-                           ([^"'\x09-\x0D\x20][^\x09-\x0D\x20\x3B]*))/x) {
+                           ([^"'\x09\x0A\x0C\x0D\x20]
+                            [^\x09\x0A\x0C\x0D\x20\x3B]*))/x) {
                      !!!cp ('t107');
                      ## NOTE: Whether the encoding is supported or not is handled
                      ## in the {change_encoding} callback.
-Line 4790 
 sub _tree_construction_main ($) {
+Line 4818 
 sub _tree_construction_main ($) {
                !!!ack ('t110.1');
                !!!next-token;
                next B;
-             } elsif ($token->{tag_name} eq 'title') {
+         } elsif ($token->{tag_name} eq 'title') {
-               if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t111');
+             !!!cp ('t111');
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript', text => 'title',
+             !!!parse-error (type => 'in noscript', text => 'title',
-                                 token => $token);
+                             token => $token);
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t112');
+             !!!cp ('t112');
-                 !!!parse-error (type => 'after head',
+             !!!parse-error (type => 'after head',
-                                 text => $token->{tag_name}, token => $token);
+                             text => $token->{tag_name}, token => $token);
-                 push @{$self->{open_elements}},
+             push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
+                 [$self->{head_element}, $el_category->{head}];
-               } else {
+             $self->{head_element_inserted} = 1;
-                 !!!cp ('t113');
+           } else {
-               }
+             !!!cp ('t113');
+           }
-               ## NOTE: There is a "as if in head" code clone.
+           ## NOTE: There is a "as if in head" code clone.
-               my $parent = defined $self->{head_element} ? $self->{head_element}
+           $parse_rcdata->(RCDATA_CONTENT_MODEL);
-                   : $self->{open_elements}->[-1]->[0];
+           ## ISSUE: A spec bug [Bug 6038]
-               $parse_rcdata->(RCDATA_CONTENT_MODEL);
+           splice @{$self->{open_elements}}, -2, 1, () # <head>
-               pop @{$self->{open_elements}} # <head>
+               if ($self->{insertion_mode} & AFTER_HEAD_IM) == AFTER_HEAD_IM;
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           next B;
-               next B;
+         } elsif ($token->{tag_name} eq 'style' or
-             } elsif ($token->{tag_name} eq 'style' or
+                  $token->{tag_name} eq 'noframes') {
-                      $token->{tag_name} eq 'noframes') {
+           ## NOTE: Or (scripting is enabled and tag_name eq 'noscript' and
-               ## NOTE: Or (scripting is enabled and tag_name eq 'noscript' and
+           ## insertion mode IN_HEAD_IM)
-               ## insertion mode IN_HEAD_IM)
+           ## NOTE: There is a "as if in head" code clone.
-               ## NOTE: There is a "as if in head" code clone.
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+             !!!cp ('t114');
-                 !!!cp ('t114');
+             !!!parse-error (type => 'after head',
-                 !!!parse-error (type => 'after head',
+                             text => $token->{tag_name}, token => $token);
-                                 text => $token->{tag_name}, token => $token);
+             push @{$self->{open_elements}},
-                 push @{$self->{open_elements}},
+                 [$self->{head_element}, $el_category->{head}];
-                     [$self->{head_element}, $el_category->{head}];
+             $self->{head_element_inserted} = 1;
-               } else {
+           } else {
-                 !!!cp ('t115');
+             !!!cp ('t115');
-               }
+           }
-               $parse_rcdata->(CDATA_CONTENT_MODEL);
+           $parse_rcdata->(CDATA_CONTENT_MODEL);
-               pop @{$self->{open_elements}} # <head>
+           ## ISSUE: A spec bug [Bug 6038]
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           splice @{$self->{open_elements}}, -2, 1, () # <head>
-               next B;
+               if ($self->{insertion_mode} & AFTER_HEAD_IM) == AFTER_HEAD_IM;
-             } elsif ($token->{tag_name} eq 'noscript') {
+           next B;
+         } elsif ($token->{tag_name} eq 'noscript') {
                if ($self->{insertion_mode} == IN_HEAD_IM) {
                  !!!cp ('t116');
                  ## NOTE: and scripting is disalbed
-Line 4856 
 sub _tree_construction_main ($) {
+Line 4886 
 sub _tree_construction_main ($) {
                  !!!cp ('t118');
                  #
                }
-             } elsif ($token->{tag_name} eq 'script') {
+         } elsif ($token->{tag_name} eq 'script') {
-               if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t119');
+             !!!cp ('t119');
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript', text => 'script',
+             !!!parse-error (type => 'in noscript', text => 'script',
-                                 token => $token);
+                             token => $token);
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t120');
+             !!!cp ('t120');
-                 !!!parse-error (type => 'after head',
+             !!!parse-error (type => 'after head',
-                                 text => $token->{tag_name}, token => $token);
+                             text => $token->{tag_name}, token => $token);
-                 push @{$self->{open_elements}},
+             push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
+                 [$self->{head_element}, $el_category->{head}];
-               } else {
+             $self->{head_element_inserted} = 1;
-                 !!!cp ('t121');
+           } else {
-               }
+             !!!cp ('t121');
+           }
-               ## NOTE: There is a "as if in head" code clone.
+           ## NOTE: There is a "as if in head" code clone.
-               $script_start_tag->();
+           $script_start_tag->();
-               pop @{$self->{open_elements}} # <head>
+           ## ISSUE: A spec bug  [Bug 6038]
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           splice @{$self->{open_elements}}, -2, 1 # <head>
-               next B;
+               if ($self->{insertion_mode} & AFTER_HEAD_IM) == AFTER_HEAD_IM;
-             } elsif ($token->{tag_name} eq 'body' or
+           next B;
-                      $token->{tag_name} eq 'frameset') {
+         } elsif ($token->{tag_name} eq 'body' or
+                  $token->{tag_name} eq 'frameset') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t122');
                  ## As if </noscript>
-Line 5017 
 sub _tree_construction_main ($) {
+Line 5049 
 sub _tree_construction_main ($) {
              } elsif ({
                        body => 1, html => 1,
                       }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == BEFORE_HEAD_IM or
+               ## TODO: This branch is entirely redundant.
+               if ($self->{insertion_mode} == BEFORE_HEAD_IM or
                    $self->{insertion_mode} == IN_HEAD_IM or
                    $self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t140');
-Line 5189 
 sub _tree_construction_main ($) {
+Line 5222 
 sub _tree_construction_main ($) {
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-           ## ISSUE: An issue in the spec.
      } elsif ($self->{insertion_mode} & BODY_IMS) {
            if ($token->{type} == CHARACTER_TOKEN) {
              !!!cp ('t150');
-Line 5562 
 sub _tree_construction_main ($) {
+Line 5593 
 sub _tree_construction_main ($) {
      } elsif ($self->{insertion_mode} & TABLE_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          if (not $open_tables->[-1]->[1] and # tainted
-             $token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+             $token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
            unless (length $token->{data}) {
-Line 5576 
 sub _tree_construction_main ($) {
+Line 5607 
 sub _tree_construction_main ($) {
          !!!parse-error (type => 'in table:#text', token => $token);
-             ## As if in body, but insert into foster parent element
+         ## NOTE: As if in body, but insert into the foster parent element.
-             ## ISSUE: Spec says that "whenever a node would be inserted
+         $reconstruct_active_formatting_elements->($insert_to_foster);
-             ## into the current node" while characters might not be
-             ## result in a new Text node.
-             $reconstruct_active_formatting_elements->($insert_to_foster);
-             if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
+         if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
-               # MUST
+           # MUST
-               my $foster_parent_element;
+           my $foster_parent_element;
-               my $next_sibling;
+           my $next_sibling;
-               my $prev_sibling;
+           my $prev_sibling;
-               OE: for (reverse 0..$#{$self->{open_elements}}) {
+           OE: for (reverse 0..$#{$self->{open_elements}}) {
-                 if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
+             if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
-                   my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
+               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
-                   if (defined $parent and $parent->node_type == 1) {
+               if (defined $parent and $parent->node_type == 1) {
-                     !!!cp ('t196');
+                 $foster_parent_element = $parent;
-                     $foster_parent_element = $parent;
+                 !!!cp ('t196');
-                     $next_sibling = $self->{open_elements}->[$_]->[0];
+                 $next_sibling = $self->{open_elements}->[$_]->[0];
-                     $prev_sibling = $next_sibling->previous_sibling;
+                 $prev_sibling = $next_sibling->previous_sibling;
-                   } else {
+                 #
-                     !!!cp ('t197');
-                     $foster_parent_element = $self->{open_elements}->[$_ - 1]->[0];
-                     $prev_sibling = $foster_parent_element->last_child;
-                   }
-                   last OE;
-                 }
-               } # OE
-               $foster_parent_element = $self->{open_elements}->[0]->[0] and
-               $prev_sibling = $foster_parent_element->last_child
-                 unless defined $foster_parent_element;
-               if (defined $prev_sibling and
-                   $prev_sibling->node_type == 3) {
-                 !!!cp ('t198');
-                 $prev_sibling->manakai_append_text ($token->{data});
                } else {
-                 !!!cp ('t199');
+                 !!!cp ('t197');
-                 $foster_parent_element->insert_before
+                 $foster_parent_element = $self->{open_elements}->[$_ - 1]->[0];
-                   ($self->{document}->create_text_node ($token->{data}),
+                 $prev_sibling = $foster_parent_element->last_child;
-                    $next_sibling);
+                 #
                }
+               last OE;
+             }
+           } # OE
+           $foster_parent_element = $self->{open_elements}->[0]->[0] and
+           $prev_sibling = $foster_parent_element->last_child
+               unless defined $foster_parent_element;
+           undef $prev_sibling unless $open_tables->[-1]->[2]; # ~node inserted
+           if (defined $prev_sibling and
+               $prev_sibling->node_type == 3) {
+             !!!cp ('t198');
+             $prev_sibling->manakai_append_text ($token->{data});
+           } else {
+             !!!cp ('t199');
+             $foster_parent_element->insert_before
+                 ($self->{document}->create_text_node ($token->{data}),
+                  $next_sibling);
+           }
            $open_tables->[-1]->[1] = 1; # tainted
+           $open_tables->[-1]->[2] = 1; # ~node inserted
          } else {
+           ## NOTE: Fragment case or in a foster parent'ed element
+           ## (e.g. |<table><span>a|).  In fragment case, whether the
+           ## character is appended to existing node or a new node is
+           ## created is irrelevant, since the foster parent'ed nodes
+           ## are discarded and fragment parsing does not invoke any
+           ## script.
            !!!cp ('t200');
-           $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+           $self->{open_elements}->[-1]->[0]->manakai_append_text
+               ($token->{data});
          }
          !!!next-token;
-Line 5656 
 sub _tree_construction_main ($) {
+Line 5695 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}};
              }
-                 $self->{insertion_mode} = IN_ROW_IM;
+             $self->{insertion_mode} = IN_ROW_IM;
-                 if ($token->{tag_name} eq 'tr') {
+             if ($token->{tag_name} eq 'tr') {
-                   !!!cp ('t204');
+               !!!cp ('t204');
-                   !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-                   !!!nack ('t204');
+               $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
-                   !!!next-token;
+               !!!nack ('t204');
-                   next B;
+               !!!next-token;
-                 } else {
+               next B;
-                   !!!cp ('t205');
+             } else {
-                   !!!insert-element ('tr',, $token);
+               !!!cp ('t205');
-                   ## reprocess in the "in row" insertion mode
+               !!!insert-element ('tr',, $token);
-                 }
+               ## reprocess in the "in row" insertion mode
-               } else {
+             }
-                 !!!cp ('t206');
+           } else {
-               }
+             !!!cp ('t206');
+           }
                ## Clear back to table row context
                while (not ($self->{open_elements}->[-1]->[1]
-Line 5679 
 sub _tree_construction_main ($) {
+Line 5719 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                }
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               $self->{insertion_mode} = IN_CELL_IM;
+           $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
+           $self->{insertion_mode} = IN_CELL_IM;
-               push @$active_formatting_elements, ['#marker', ''];
+           push @$active_formatting_elements, ['#marker', ''];
-               !!!nack ('t207.1');
+           !!!nack ('t207.1');
+           !!!next-token;
+           next B;
+         } elsif ({
+                   caption => 1, col => 1, colgroup => 1,
+                   tbody => 1, tfoot => 1, thead => 1,
+                   tr => 1, # $self->{insertion_mode} == IN_ROW_IM
+                  }->{$token->{tag_name}}) {
+           if ($self->{insertion_mode} == IN_ROW_IM) {
+             ## As if </tr>
+             ## have an element in table scope
+             my $i;
+             INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+               my $node = $self->{open_elements}->[$_];
+               if ($node->[1] & TABLE_ROW_EL) {
+                 !!!cp ('t208');
+                 $i = $_;
+                 last INSCOPE;
+               } elsif ($node->[1] & TABLE_SCOPING_EL) {
+                 !!!cp ('t209');
+                 last INSCOPE;
+               }
+             } # INSCOPE
+             unless (defined $i) {
+               !!!cp ('t210');
+               ## TODO: This type is wrong.
+               !!!parse-error (type => 'unmacthed end tag',
+                               text => $token->{tag_name}, token => $token);
+               ## Ignore the token
+               !!!nack ('t210.1');
                !!!next-token;
                next B;
-             } elsif ({
+             }
-                       caption => 1, col => 1, colgroup => 1,
-                       tbody => 1, tfoot => 1, thead => 1,
-                       tr => 1, # $self->{insertion_mode} == IN_ROW_IM
-                      }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == IN_ROW_IM) {
-                 ## As if </tr>
-                 ## have an element in table scope
-                 my $i;
-                 INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                   my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_ROW_EL) {
-                     !!!cp ('t208');
-                     $i = $_;
-                     last INSCOPE;
-                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                     !!!cp ('t209');
-                     last INSCOPE;
-                   }
-                 } # INSCOPE
-                 unless (defined $i) {
-                   !!!cp ('t210');
- ## TODO: This type is wrong.
-                   !!!parse-error (type => 'unmacthed end tag',
-                                   text => $token->{tag_name}, token => $token);
-                   ## Ignore the token
-                   !!!nack ('t210.1');
-                   !!!next-token;
-                   next B;
-                 }
                  ## Clear back to table row context
                  while (not ($self->{open_elements}->[-1]->[1]
-Line 5786 
 sub _tree_construction_main ($) {
+Line 5827 
 sub _tree_construction_main ($) {
                  !!!cp ('t218');
                }
-               if ($token->{tag_name} eq 'col') {
+           if ($token->{tag_name} eq 'col') {
-                 ## Clear back to table context
+             ## Clear back to table context
-                 while (not ($self->{open_elements}->[-1]->[1]
+             while (not ($self->{open_elements}->[-1]->[1]
-                                 & TABLE_SCOPING_EL)) {
+                             & TABLE_SCOPING_EL)) {
-                   !!!cp ('t219');
+               !!!cp ('t219');
-                   ## ISSUE: Can this state be reached?
+               ## ISSUE: Can this state be reached?
-                   pop @{$self->{open_elements}};
+               pop @{$self->{open_elements}};
-                 }
+             }
-                 !!!insert-element ('colgroup',, $token);
+             !!!insert-element ('colgroup',, $token);
-                 $self->{insertion_mode} = IN_COLUMN_GROUP_IM;
+             $self->{insertion_mode} = IN_COLUMN_GROUP_IM;
-                 ## reprocess
+             ## reprocess
-                 !!!ack-later;
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
-                 next B;
+             !!!ack-later;
-               } elsif ({
+             next B;
-                         caption => 1,
+           } elsif ({
-                         colgroup => 1,
+                     caption => 1,
-                         tbody => 1, tfoot => 1, thead => 1,
+                     colgroup => 1,
-                        }->{$token->{tag_name}}) {
+                     tbody => 1, tfoot => 1, thead => 1,
-                 ## Clear back to table context
+                    }->{$token->{tag_name}}) {
+             ## Clear back to table context
                  while (not ($self->{open_elements}->[-1]->[1]
                                  & TABLE_SCOPING_EL)) {
                    !!!cp ('t220');
-Line 5813 
 sub _tree_construction_main ($) {
+Line 5855 
 sub _tree_construction_main ($) {
                    pop @{$self->{open_elements}};
                  }
-                 push @$active_formatting_elements, ['#marker', '']
+             push @$active_formatting_elements, ['#marker', '']
-                     if $token->{tag_name} eq 'caption';
+                 if $token->{tag_name} eq 'caption';
-                 !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-                 $self->{insertion_mode} = {
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
-                                            caption => IN_CAPTION_IM,
+             $self->{insertion_mode} = {
-                                            colgroup => IN_COLUMN_GROUP_IM,
+                                        caption => IN_CAPTION_IM,
-                                            tbody => IN_TABLE_BODY_IM,
+                                        colgroup => IN_COLUMN_GROUP_IM,
-                                            tfoot => IN_TABLE_BODY_IM,
+                                        tbody => IN_TABLE_BODY_IM,
-                                            thead => IN_TABLE_BODY_IM,
+                                        tfoot => IN_TABLE_BODY_IM,
-                                           }->{$token->{tag_name}};
+                                        thead => IN_TABLE_BODY_IM,
-                 !!!next-token;
+                                       }->{$token->{tag_name}};
-                 !!!nack ('t220.1');
+             !!!next-token;
-                 next B;
+             !!!nack ('t220.1');
-               } else {
+             next B;
-                 die "$0: in table: <>: $token->{tag_name}";
+           } else {
-               }
+             die "$0: in table: <>: $token->{tag_name}";
+           }
              } elsif ($token->{tag_name} eq 'table') {
                !!!parse-error (type => 'not closed',
                                text => $self->{open_elements}->[-1]->[0]
-Line 5892 
 sub _tree_construction_main ($) {
+Line 5935 
 sub _tree_construction_main ($) {
              !!!cp ('t227.8');
              ## NOTE: This is a "as if in head" code clone.
              $parse_rcdata->(CDATA_CONTENT_MODEL);
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
              next B;
            } else {
              !!!cp ('t227.7');
-Line 5902 
 sub _tree_construction_main ($) {
+Line 5946 
 sub _tree_construction_main ($) {
              !!!cp ('t227.6');
              ## NOTE: This is a "as if in head" code clone.
              $script_start_tag->();
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
              next B;
            } else {
              !!!cp ('t227.5');
-Line 5917 
 sub _tree_construction_main ($) {
+Line 5962 
 sub _tree_construction_main ($) {
                                  text => $token->{tag_name}, token => $token);
                  !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+                 $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
                  ## TODO: form element pointer
-Line 6246 
 sub _tree_construction_main ($) {
+Line 6292 
 sub _tree_construction_main ($) {
        }
      } elsif ($self->{insertion_mode} == IN_COLUMN_GROUP_IM) {
            if ($token->{type} == CHARACTER_TOKEN) {
-             if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+             if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
                $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
                unless (length $token->{data}) {
                  !!!cp ('t260');
-Line 6587 
 sub _tree_construction_main ($) {
+Line 6633 
 sub _tree_construction_main ($) {
        }
      } elsif ($self->{insertion_mode} & BODY_AFTER_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            my $data = $1;
            ## As if in body
            $reconstruct_active_formatting_elements->($insert_to_current);
-Line 6604 
 sub _tree_construction_main ($) {
+Line 6650 
 sub _tree_construction_main ($) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
            !!!cp ('t301');
            !!!parse-error (type => 'after html:#text', token => $token);
+           #
-           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t302');
+           ## "after body" insertion mode
+           !!!parse-error (type => 'after body:#text', token => $token);
+           #
          }
-         ## "after body" insertion mode
-         !!!parse-error (type => 'after body:#text', token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## reprocess
-Line 6621 
 sub _tree_construction_main ($) {
+Line 6666 
 sub _tree_construction_main ($) {
            !!!cp ('t303');
            !!!parse-error (type => 'after html',
                            text => $token->{tag_name}, token => $token);
+           #
-           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t304');
+           ## "after body" insertion mode
+           !!!parse-error (type => 'after body',
+                           text => $token->{tag_name}, token => $token);
+           #
          }
-         ## "after body" insertion mode
-         !!!parse-error (type => 'after body',
-                         text => $token->{tag_name}, token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          !!!ack-later;
          ## reprocess
-Line 6641 
 sub _tree_construction_main ($) {
+Line 6685 
 sub _tree_construction_main ($) {
            !!!parse-error (type => 'after html:/',
                            text => $token->{tag_name}, token => $token);
-           $self->{insertion_mode} = AFTER_BODY_IM;
+           $self->{insertion_mode} = IN_BODY_IM;
-           ## Reprocess in the "after body" insertion mode.
+           ## Reprocess.
+           next B;
          } else {
            !!!cp ('t306');
          }
-Line 6680 
 sub _tree_construction_main ($) {
+Line 6725 
 sub _tree_construction_main ($) {
        }
      } elsif ($self->{insertion_mode} & FRAME_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
            unless (length $token->{data}) {
-Line 6690 
 sub _tree_construction_main ($) {
+Line 6735 
 sub _tree_construction_main ($) {
            }
          }
-         if ($token->{data} =~ s/^[^\x09\x0A\x0B\x0C\x20]+//) {
+         if ($token->{data} =~ s/^[^\x09\x0A\x0C\x20]+//) {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
              !!!cp ('t311');
              !!!parse-error (type => 'in frameset:#text', token => $token);
-Line 6819 
 sub _tree_construction_main ($) {
+Line 6864 
 sub _tree_construction_main ($) {
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-       ## ISSUE: An issue in spec here
      } else {
        die "$0: $self->{insertion_mode}: Unknown insertion mode";
      }
-Line 6838 
 sub _tree_construction_main ($) {
+Line 6881 
 sub _tree_construction_main ($) {
          $parse_rcdata->(CDATA_CONTENT_MODEL);
          next B;
        } elsif ({
-                 base => 1, link => 1,
+                 base => 1, command => 1, eventsource => 1, link => 1,
                 }->{$token->{tag_name}}) {
          !!!cp ('t334');
          ## NOTE: This is an "as if in head" code clone, only "-t" differs
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+         pop @{$self->{open_elements}};
          !!!ack ('t334.1');
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'meta') {
          ## NOTE: This is an "as if in head" code clone, only "-t" differs
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+         my $meta_el = pop @{$self->{open_elements}};
          unless ($self->{confident}) {
            if ($token->{attributes}->{charset}) {
-Line 6867 
 sub _tree_construction_main ($) {
+Line 6910 
 sub _tree_construction_main ($) {
            } elsif ($token->{attributes}->{content}) {
              if ($token->{attributes}->{content}->{value}
                  =~ /[Cc][Hh][Aa][Rr][Ss][Ee][Tt]
-                     [\x09-\x0D\x20]*=
+                     [\x09\x0A\x0C\x0D\x20]*=
-                     [\x09-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
+                     [\x09\x0A\x0C\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
-                     ([^"'\x09-\x0D\x20][^\x09-\x0D\x20\x3B]*))/x) {
+                     ([^"'\x09\x0A\x0C\x0D\x20][^\x09\x0A\x0C\x0D\x20\x3B]*))
+                    /x) {
                !!!cp ('t336');
                ## NOTE: Whether the encoding is supported or not is handled
                ## in the {change_encoding} callback.
-Line 6928 
 sub _tree_construction_main ($) {
+Line 6972 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ({
-                 address => 1, blockquote => 1, center => 1, dir => 1,
+                 ## NOTE: Start tags for non-phrasing flow content elements
-                 div => 1, dl => 1, fieldset => 1,
-                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
+                 ## NOTE: The normal one
-                 menu => 1, ol => 1, p => 1, ul => 1,
+                 address => 1, article => 1, aside => 1, blockquote => 1,
+                 center => 1, datagrid => 1, details => 1, dialog => 1,
+                 dir => 1, div => 1, dl => 1, fieldset => 1, figure => 1,
+                 footer => 1, h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1,
+                 h6 => 1, header => 1, menu => 1, nav => 1, ol => 1, p => 1,
+                 section => 1, ul => 1,
+                 ## NOTE: As normal, but drops leading newline
                  pre => 1, listing => 1,
+                 ## NOTE: As normal, but interacts with the form element pointer
                  form => 1,
                  table => 1,
                  hr => 1,
                 }->{$token->{tag_name}}) {
-Line 7000 
 sub _tree_construction_main ($) {
+Line 7052 
 sub _tree_construction_main ($) {
            !!!next-token;
          }
          next B;
-       } elsif ({li => 1, dt => 1, dd => 1}->{$token->{tag_name}}) {
+       } elsif ($token->{tag_name} eq 'li') {
-         ## has a p element in scope
+         ## NOTE: As normal, but imply </li> when there's another <li> ...
+         ## NOTE: Special, Scope (<li><foo><li> == <li><foo><li/></foo></li>)
+           ## Interpreted as <li><foo/></li><li/> (non-conforming)
+           ## blockquote (O9.27), center (O), dd (Fx3, O, S3.1.2, IE7),
+           ## dt (Fx, O, S, IE), dl (O), fieldset (O, S, IE), form (Fx, O, S),
+           ## hn (O), pre (O), applet (O, S), button (O, S), marquee (Fx, O, S),
+           ## object (Fx)
+           ## Generate non-tree (non-conforming)
+           ## basefont (IE7 (where basefont is non-void)), center (IE),
+           ## form (IE), hn (IE)
+         ## address, div, p (<li><foo><li> == <li><foo/></li><li/>)
+           ## Interpreted as <li><foo><li/></foo></li> (non-conforming)
+           ## div (Fx, S)
+         my $non_optional;
+         my $i = -1;
+         ## 1.
+         for my $node (reverse @{$self->{open_elements}}) {
+           if ($node->[1] & LI_EL) {
+             ## 2. (a) As if </li>
+             {
+               ## If no </li> - not applied
+               #
+               ## Otherwise
+               ## 1. generate implied end tags, except for </li>
+               #
+               ## 2. If current node != "li", parse error
+               if ($non_optional) {
+                 !!!parse-error (type => 'not closed',
+                                 text => $non_optional->[0]->manakai_local_name,
+                                 token => $token);
+                 !!!cp ('t355');
+               } else {
+                 !!!cp ('t356');
+               }
+               ## 3. Pop
+               splice @{$self->{open_elements}}, $i;
+             }
+             last; ## 2. (b) goto 5.
+           } elsif (
+                    ## NOTE: not "formatting" and not "phrasing"
+                    ($node->[1] & SPECIAL_EL or
+                     $node->[1] & SCOPING_EL) and
+                    ## NOTE: "li", "dt", and "dd" are in |SPECIAL_EL|.
+                    (not $node->[1] & ADDRESS_EL) &
+                    (not $node->[1] & DIV_EL) &
+                    (not $node->[1] & P_EL)) {
+             ## 3.
+             !!!cp ('t357');
+             last; ## goto 5.
+           } elsif ($node->[1] & END_TAG_OPTIONAL_EL) {
+             !!!cp ('t358');
+             #
+           } else {
+             !!!cp ('t359');
+             $non_optional ||= $node;
+             #
+           }
+           ## 4.
+           ## goto 2.
+           $i--;
+         }
+         ## 5. (a) has a |p| element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
            if ($_->[1] & P_EL) {
              !!!cp ('t353');
+             ## NOTE: |<p><li>|, for example.
              !!!back-token; # <x>
              $token = {type => END_TAG_TOKEN, tag_name => 'p',
                        line => $token->{line}, column => $token->{column}};
-Line 7014 
 sub _tree_construction_main ($) {
+Line 7140 
 sub _tree_construction_main ($) {
              last INSCOPE;
            }
          } # INSCOPE
-         ## Step 1
+         ## 5. (b) insert
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         !!!nack ('t359.1');
+         !!!next-token;
+         next B;
+       } elsif ($token->{tag_name} eq 'dt' or
+                $token->{tag_name} eq 'dd') {
+         ## NOTE: As normal, but imply </dt> or </dd> when ...
+         my $non_optional;
          my $i = -1;
-         my $node = $self->{open_elements}->[$i];
-         my $li_or_dtdd = {li => {li => 1},
+         ## 1.
-                           dt => {dt => 1, dd => 1},
+         for my $node (reverse @{$self->{open_elements}}) {
-                           dd => {dt => 1, dd => 1}}->{$token->{tag_name}};
+           if ($node->[1] & DT_EL or $node->[1] & DD_EL) {
-         LI: {
+             ## 2. (a) As if </li>
-           ## Step 2
+             {
-           if ($li_or_dtdd->{$node->[0]->manakai_local_name}) {
+               ## If no </li> - not applied
-             if ($i != -1) {
+               #
-               !!!cp ('t355');
-               !!!parse-error (type => 'not closed',
+               ## Otherwise
-                               text => $self->{open_elements}->[-1]->[0]
-                                   ->manakai_local_name,
+               ## 1. generate implied end tags, except for </dt> or </dd>
-                               token => $token);
+               #
-             } else {
-               !!!cp ('t356');
+               ## 2. If current node != "dt"|"dd", parse error
+               if ($non_optional) {
+                 !!!parse-error (type => 'not closed',
+                                 text => $non_optional->[0]->manakai_local_name,
+                                 token => $token);
+                 !!!cp ('t355.1');
+               } else {
+                 !!!cp ('t356.1');
+               }
+               ## 3. Pop
+               splice @{$self->{open_elements}}, $i;
              }
-             splice @{$self->{open_elements}}, $i;
-             last LI;
+             last; ## 2. (b) goto 5.
+           } elsif (
+                    ## NOTE: not "formatting" and not "phrasing"
+                    ($node->[1] & SPECIAL_EL or
+                     $node->[1] & SCOPING_EL) and
+                    ## NOTE: "li", "dt", and "dd" are in |SPECIAL_EL|.
+                    (not $node->[1] & ADDRESS_EL) &
+                    (not $node->[1] & DIV_EL) &
+                    (not $node->[1] & P_EL)) {
+             ## 3.
+             !!!cp ('t357.1');
+             last; ## goto 5.
+           } elsif ($node->[1] & END_TAG_OPTIONAL_EL) {
+             !!!cp ('t358.1');
+             #
            } else {
-             !!!cp ('t357');
+             !!!cp ('t359.1');
-           }
+             $non_optional ||= $node;
+             #
-           ## Step 3
-           if (not ($node->[1] & FORMATTING_EL) and
-               #not $phrasing_category->{$node->[1]} and
-               ($node->[1] & SPECIAL_EL or
-                $node->[1] & SCOPING_EL) and
-               not ($node->[1] & ADDRESS_EL) and
-               not ($node->[1] & DIV_EL)) {
-             !!!cp ('t358');
-             last LI;
            }
+           ## 4.
-           !!!cp ('t359');
+           ## goto 2.
-           ## Step 4
            $i--;
-           $node = $self->{open_elements}->[$i];
+         }
-           redo LI;
-         } # LI
+         ## 5. (a) has a |p| element in scope
+         INSCOPE: for (reverse @{$self->{open_elements}}) {
+           if ($_->[1] & P_EL) {
+             !!!cp ('t353.1');
+             !!!back-token; # <x>
+             $token = {type => END_TAG_TOKEN, tag_name => 'p',
+                       line => $token->{line}, column => $token->{column}};
+             next B;
+           } elsif ($_->[1] & SCOPING_EL) {
+             !!!cp ('t354.1');
+             last INSCOPE;
+           }
+         } # INSCOPE
+         ## 5. (b) insert
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         !!!nack ('t359.1');
+         !!!nack ('t359.2');
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'plaintext') {
+         ## NOTE: As normal, but effectively ends parsing
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
            if ($_->[1] & P_EL) {
-Line 7253 
 sub _tree_construction_main ($) {
+Line 7419 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ($token->{tag_name} eq 'textarea') {
-         my $tag_name = $token->{tag_name};
+         ## Step 1
-         my $el;
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         !!!create-element ($el, $HTML_NS, $token->{tag_name}, $token->{attributes}, $token);
+         ## Step 2
          ## TODO: $self->{form_element} if defined
+         ## Step 3
+         $self->{ignore_newline} = 1;
+         ## Step 4
+         ## ISSUE: This step is wrong. (r2302 enbugged)
+         ## Step 5
          $self->{content_model} = RCDATA_CONTENT_MODEL;
          delete $self->{escape}; # MUST
-         $insert->($el);
+         ## Step 6-7
+         $self->{insertion_mode} |= IN_CDATA_RCDATA_IM;
-         my $text = '';
          !!!nack ('t392.1');
          !!!next-token;
-         if ($token->{type} == CHARACTER_TOKEN) {
+         next B;
-           $token->{data} =~ s/^\x0A//;
+       } elsif ($token->{tag_name} eq 'optgroup' or
-           unless (length $token->{data}) {
+                $token->{tag_name} eq 'option') {
-             !!!cp ('t392');
+         ## has an |option| element in scope
-             !!!next-token;
+         INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-           } else {
+           my $node = $self->{open_elements}->[$_];
-             !!!cp ('t393');
+           if ($node->[1] & OPTION_EL) {
+             !!!cp ('t397.1');
+             ## NOTE: As if </option>
+             !!!back-token; # <option> or <optgroup>
+             $token = {type => END_TAG_TOKEN, tag_name => 'option',
+                       line => $token->{line}, column => $token->{column}};
+             next B;
+           } elsif ($node->[1] & SCOPING_EL) {
+             !!!cp ('t397.2');
+             last INSCOPE;
            }
-         } else {
+         } # INSCOPE
-           !!!cp ('t394');
-         }
+         $reconstruct_active_formatting_elements->($insert_to_current);
-         while ($token->{type} == CHARACTER_TOKEN) {
-           !!!cp ('t395');
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-           $text .= $token->{data};
-           !!!next-token;
+         !!!nack ('t397.3');
-         }
-         if (length $text) {
-           !!!cp ('t396');
-           $el->manakai_append_text ($text);
-         }
-         $self->{content_model} = PCDATA_CONTENT_MODEL;
-         if ($token->{type} == END_TAG_TOKEN and
-             $token->{tag_name} eq $tag_name) {
-           !!!cp ('t397');
-           ## Ignore the token
-         } else {
-           !!!cp ('t398');
-           !!!parse-error (type => 'in RCDATA:#eof', token => $token);
-         }
          !!!next-token;
-         next B;
+         redo B;
        } elsif ($token->{tag_name} eq 'rt' or
                 $token->{tag_name} eq 'rp') {
          ## has a |ruby| element in scope
-Line 7346 
 sub _tree_construction_main ($) {
+Line 7513 
 sub _tree_construction_main ($) {
          if ($self->{self_closing}) {
            pop @{$self->{open_elements}};
-           !!!ack ('t398.1');
+           !!!ack ('t398.6');
          } else {
-           !!!cp ('t398.2');
+           !!!cp ('t398.7');
            $self->{insertion_mode} |= IN_FOREIGN_CONTENT_IM;
            ## NOTE: |<body><math><mi><svg>| -> "in foreign content" insertion
            ## mode, "in body" (not "in foreign content") secondary insertion
-Line 7359 
 sub _tree_construction_main ($) {
+Line 7526 
 sub _tree_construction_main ($) {
          next B;
        } elsif ({
                  caption => 1, col => 1, colgroup => 1, frame => 1,
-                 frameset => 1, head => 1, option => 1, optgroup => 1,
+                 frameset => 1, head => 1,
                  tbody => 1, td => 1, tfoot => 1, th => 1,
                  thead => 1, tr => 1,
                 }->{$token->{tag_name}}) {
-Line 7370 
 sub _tree_construction_main ($) {
+Line 7537 
 sub _tree_construction_main ($) {
          !!!nack ('t401.1'); ## NOTE: |<col/>| or |<frame/>| here is an error.
          !!!next-token;
          next B;
+       } elsif ($token->{tag_name} eq 'param' or
-         ## ISSUE: An issue on HTML5 new elements in the spec.
+                $token->{tag_name} eq 'source') {
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         pop @{$self->{open_elements}};
+         !!!ack ('t398.5');
+         !!!next-token;
+         redo B;
        } else {
          if ($token->{tag_name} eq 'image') {
            !!!cp ('t384');
-Line 7394 
 sub _tree_construction_main ($) {
+Line 7567 
 sub _tree_construction_main ($) {
            !!!nack ('t380.1');
          } elsif ({
                    b => 1, big => 1, em => 1, font => 1, i => 1,
-                   s => 1, small => 1, strile => 1,
+                   s => 1, small => 1, strike => 1,
                    strong => 1, tt => 1, u => 1,
                   }->{$token->{tag_name}}) {
            !!!cp ('t375');
-Line 7407 
 sub _tree_construction_main ($) {
+Line 7580 
 sub _tree_construction_main ($) {
            !!!ack ('t388.2');
          } elsif ({
                    area => 1, basefont => 1, bgsound => 1, br => 1,
-                   embed => 1, img => 1, param => 1, spacer => 1, wbr => 1,
+                   embed => 1, img => 1, spacer => 1, wbr => 1,
-                   #image => 1,
                   }->{$token->{tag_name}}) {
            !!!cp ('t388.1');
            pop @{$self->{open_elements}};
-Line 7449 
 sub _tree_construction_main ($) {
+Line 7621 
 sub _tree_construction_main ($) {
              }
            }
-           !!!parse-error (type => 'start tag not allowed',
+           ## NOTE: |<marquee></body>|, |<svg><foreignobject></body>|
+           !!!parse-error (type => 'unmatched end tag',
                            text => $token->{tag_name}, token => $token);
            ## NOTE: Ignore the token.
            !!!next-token;
-Line 7476 
 sub _tree_construction_main ($) {
+Line 7650 
 sub _tree_construction_main ($) {
          ## up-to-date, though it has same effect as speced.
          if (@{$self->{open_elements}} > 1 and
              $self->{open_elements}->[1]->[1] & BODY_EL) {
-           ## ISSUE: There is an issue in the spec.
            unless ($self->{open_elements}->[-1]->[1] & BODY_EL) {
              !!!cp ('t406');
              !!!parse-error (type => 'not closed',
-Line 7498 
 sub _tree_construction_main ($) {
+Line 7671 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ({
-                 address => 1, blockquote => 1, center => 1, dir => 1,
+                 ## NOTE: End tags for non-phrasing flow content elements
-                 div => 1, dl => 1, fieldset => 1, listing => 1,
-                 menu => 1, ol => 1, pre => 1, ul => 1,
+                 ## NOTE: The normal ones
+                 address => 1, article => 1, aside => 1, blockquote => 1,
+                 center => 1, datagrid => 1, details => 1, dialog => 1,
+                 dir => 1, div => 1, dl => 1, fieldset => 1, figure => 1,
+                 footer => 1, header => 1, listing => 1, menu => 1, nav => 1,
+                 ol => 1, pre => 1, section => 1, ul => 1,
+                 ## NOTE: As normal, but ... optional tags
                  dd => 1, dt => 1, li => 1,
                  applet => 1, button => 1, marquee => 1, object => 1,
                 }->{$token->{tag_name}}) {
+         ## NOTE: Code for <li> start tags includes "as if </li>" code.
+         ## Code for <dt> or <dd> start tags includes "as if </dt> or
+         ## </dd>" code.
          ## has an element in scope
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-Line 7530 
 sub _tree_construction_main ($) {
+Line 7715 
 sub _tree_construction_main ($) {
                    dd => ($token->{tag_name} ne 'dd'),
                    dt => ($token->{tag_name} ne 'dt'),
                    li => ($token->{tag_name} ne 'li'),
+                   option => 1,
+                   optgroup => 1,
                    p => 1,
                    rt => 1,
                    rp => 1,
-Line 7562 
 sub _tree_construction_main ($) {
+Line 7749 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'form') {
+         ## NOTE: As normal, but interacts with the form element pointer
          undef $self->{form_element};
          ## has an element in scope
-Line 7609 
 sub _tree_construction_main ($) {
+Line 7798 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ({
+                 ## NOTE: As normal, except acts as a closer for any ...
                  h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
                 }->{$token->{tag_name}}) {
          ## has an element in scope
-Line 7654 
 sub _tree_construction_main ($) {
+Line 7844 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'p') {
+         ## NOTE: As normal, except </p> implies <p> and ...
          ## has an element in scope
+         my $non_optional;
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-Line 7665 
 sub _tree_construction_main ($) {
+Line 7858 
 sub _tree_construction_main ($) {
            } elsif ($node->[1] & SCOPING_EL) {
              !!!cp ('t411.1');
              last INSCOPE;
+           } elsif ($node->[1] & END_TAG_OPTIONAL_EL) {
+             ## NOTE: |END_TAG_OPTIONAL_EL| includes "p"
+             !!!cp ('t411.2');
+             #
+           } else {
+             !!!cp ('t411.3');
+             $non_optional ||= $node;
+             #
            }
          } # INSCOPE
          if (defined $i) {
-           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+           ## 1. Generate implied end tags
-                   ne $token->{tag_name}) {
+           #
+           ## 2. If current node != "p", parse error
+           if ($non_optional) {
              !!!cp ('t412.1');
              !!!parse-error (type => 'not closed',
-                             text => $self->{open_elements}->[-1]->[0]
+                             text => $non_optional->[0]->manakai_local_name,
-                                 ->manakai_local_name,
                              token => $token);
            } else {
              !!!cp ('t414.1');
            }
+           ## 3. Pop
            splice @{$self->{open_elements}}, $i;
          } else {
            !!!cp ('t413.1');
-Line 7699 
 sub _tree_construction_main ($) {
+Line 7903 
 sub _tree_construction_main ($) {
        } elsif ({
                  a => 1,
                  b => 1, big => 1, em => 1, font => 1, i => 1,
-                 nobr => 1, s => 1, small => 1, strile => 1,
+                 nobr => 1, s => 1, small => 1, strike => 1,
                  strong => 1, tt => 1, u => 1,
                 }->{$token->{tag_name}}) {
          !!!cp ('t427');
-Line 7720 
 sub _tree_construction_main ($) {
+Line 7924 
 sub _tree_construction_main ($) {
          ## Ignore the token.
          !!!next-token;
          next B;
-       } elsif ({
-                 caption => 1, col => 1, colgroup => 1, frame => 1,
-                 frameset => 1, head => 1, option => 1, optgroup => 1,
-                 tbody => 1, td => 1, tfoot => 1, th => 1,
-                 thead => 1, tr => 1,
-                 area => 1, basefont => 1, bgsound => 1,
-                 embed => 1, hr => 1, iframe => 1, image => 1,
-                 img => 1, input => 1, isindex => 1, noembed => 1,
-                 noframes => 1, param => 1, select => 1, spacer => 1,
-                 table => 1, textarea => 1, wbr => 1,
-                 noscript => 0, ## TODO: if scripting is enabled
-                }->{$token->{tag_name}}) {
-         !!!cp ('t429');
-         !!!parse-error (type => 'unmatched end tag',
-                         text => $token->{tag_name}, token => $token);
-         ## Ignore the token
-         !!!next-token;
-         next B;
-         ## ISSUE: Issue on HTML5 new elements in spec
        } else {
+         if ($token->{tag_name} eq 'sarcasm') {
+           sleep 0.001; # take a deep breath
+         }
          ## Step 1
          my $node_i = -1;
          my $node = $self->{open_elements}->[$node_i];
          ## Step 2
          S2: {
-           if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
+           my $node_tag_name = $node->[0]->manakai_local_name;
+           $node_tag_name =~ tr/A-Z/a-z/; # for SVG camelCase tag names
+           if ($node_tag_name eq $token->{tag_name}) {
              ## Step 1
              ## generate implied end tags
              while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-Line 7761 
 sub _tree_construction_main ($) {
+Line 7950 
 sub _tree_construction_main ($) {
              }
              ## Step 2
-             if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+             my $current_tag_name
-                     ne $token->{tag_name}) {
+                 = $self->{open_elements}->[-1]->[0]->manakai_local_name;
+             $current_tag_name =~ tr/A-Z/a-z/;
+             if ($current_tag_name ne $token->{tag_name}) {
                !!!cp ('t431');
                ## NOTE: <x><y></x>
                !!!parse-error (type => 'not closed',
-Line 7790 
 sub _tree_construction_main ($) {
+Line 7981 
 sub _tree_construction_main ($) {
                ## Ignore the token
                !!!next-token;
                last S2;
-             }
+               ## NOTE: |<span><dd></span>a|: In Safari 3.1.2 and Opera
+               ## 9.27, "a" is a child of <dd> (conforming).  In
+               ## Firefox 3.0.2, "a" is a child of <body>.  In WinIE 7,
+               ## "a" is a child of both <body> and <dd>.
+             }
              !!!cp ('t434');
            }
-Line 8027 
 sub set_inner_html ($$$$;$) {
+Line 8223 
 sub set_inner_html ($$$$;$) {
      push @{$p->{open_elements}}, [$root, $el_category->{html}];
      undef $p->{head_element};
+     undef $p->{head_element_inserted};
      ## Step 6 # MUST
      $p->_reset_insertion_mode;

 Legend:



Removed from v.1.185
 


changed lines


 
Added in v.1.205
 Legend:



Removed from v.1.185
 


changed lines


 
Added in v.1.205
-Removed from v.1.185
+Added in v.1.205

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24