/[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.82 by wakaba,
Wed Mar  5 02:55:08 2008 UTC
+revision 1.106 by wakaba,
Sun Mar  9 10:31:19 2008 UTC
 Line 74 
 my $special_category = {
    textarea => 1, tfoot => 1, thead => 1, title => 1, tr => 1, ul => 1, wbr => 1,
  };
  my $scoping_category = {
-   button => 1, caption => 1, html => 1, marquee => 1, object => 1,
+   applet => 1, button => 1, caption => 1, html => 1, marquee => 1, object => 1,
    table => 1, td => 1, th => 1,
  };
  my $formatting_category = {
 Line 303 
 sub TABLE_IMS ()      { 0b1000000 }
  sub ROW_IMS ()        { 0b10000000 }
  sub BODY_AFTER_IMS () { 0b100000000 }
  sub FRAME_IMS ()      { 0b1000000000 }
+ sub SELECT_IMS ()     { 0b10000000000 }
+ ## NOTE: "initial" and "before html" insertion modes have no constants.
+ ## NOTE: "after after body" insertion mode.
  sub AFTER_HTML_BODY_IM () { AFTER_HTML_IMS | BODY_AFTER_IMS }
+ ## NOTE: "after after frameset" insertion mode.
  sub AFTER_HTML_FRAMESET_IM () { AFTER_HTML_IMS | FRAME_IMS }
  sub IN_HEAD_IM () { HEAD_IMS | 0b00 }
  sub IN_HEAD_NOSCRIPT_IM () { HEAD_IMS | 0b01 }
  sub AFTER_HEAD_IM () { HEAD_IMS | 0b10 }
-Line 319 
 sub IN_TABLE_IM () { TABLE_IMS }
+Line 326 
 sub IN_TABLE_IM () { TABLE_IMS }
  sub AFTER_BODY_IM () { BODY_AFTER_IMS }
  sub IN_FRAMESET_IM () { FRAME_IMS | 0b01 }
  sub AFTER_FRAMESET_IM () { FRAME_IMS | 0b10 }
- sub IN_SELECT_IM () { 0b01 }
+ sub IN_SELECT_IM () { SELECT_IMS | 0b01 }
+ sub IN_SELECT_IN_TABLE_IM () { SELECT_IMS | 0b10 }
  sub IN_COLUMN_GROUP_IM () { 0b10 }
  ## Implementations MUST act as if state machine in the spec
-Line 2420 
 sub _construct_tree ($) {
+Line 2428 
 sub _construct_tree ($) {
    !!!next-token;
-   $self->{insertion_mode} = BEFORE_HEAD_IM;
    undef $self->{form_element};
    undef $self->{head_element};
    $self->{open_elements} = [];
    undef $self->{inner_html_node};
+   ## NOTE: The "initial" insertion mode.
    $self->_tree_construction_initial; # MUST
+   ## NOTE: The "before html" insertion mode.
    $self->_tree_construction_root_element;
+   $self->{insertion_mode} = BEFORE_HEAD_IM;
+   ## NOTE: The "before head" insertion mode and so on.
    $self->_tree_construction_main;
  } # _construct_tree
  sub _tree_construction_initial ($) {
    my $self = shift;
+   ## NOTE: "initial" insertion mode
    INITIAL: {
      if ($token->{type} == DOCTYPE_TOKEN) {
        ## NOTE: Conformance checkers MAY, instead of reporting "not HTML5"
-Line 2579 
 sub _tree_construction_initial ($) {
+Line 2595 
 sub _tree_construction_initial ($) {
          !!!cp ('t13');
        }
-       ## Go to the root element phase.
+       ## Go to the "before html" insertion mode.
        !!!next-token;
        return;
      } elsif ({
-Line 2590 
 sub _tree_construction_initial ($) {
+Line 2606 
 sub _tree_construction_initial ($) {
        !!!cp ('t14');
        !!!parse-error (type => 'no DOCTYPE');
        $self->{document}->manakai_compat_mode ('quirks');
-       ## Go to the root element phase
+       ## Go to the "before html" insertion mode.
        ## reprocess
        return;
      } elsif ($token->{type} == CHARACTER_TOKEN) {
-Line 2599 
 sub _tree_construction_initial ($) {
+Line 2615 
 sub _tree_construction_initial ($) {
          unless (length $token->{data}) {
            !!!cp ('t15');
-           ## Stay in the phase
+           ## Stay in the insertion mode.
            !!!next-token;
            redo INITIAL;
          } else {
-Line 2611 
 sub _tree_construction_initial ($) {
+Line 2627 
 sub _tree_construction_initial ($) {
        !!!parse-error (type => 'no DOCTYPE');
        $self->{document}->manakai_compat_mode ('quirks');
-       ## Go to the root element phase
+       ## Go to the "before html" insertion mode.
        ## reprocess
        return;
      } elsif ($token->{type} == COMMENT_TOKEN) {
-Line 2619 
 sub _tree_construction_initial ($) {
+Line 2635 
 sub _tree_construction_initial ($) {
        my $comment = $self->{document}->create_comment ($token->{data});
        $self->{document}->append_child ($comment);
-       ## Stay in the phase.
+       ## Stay in the insertion mode.
        !!!next-token;
        redo INITIAL;
      } else {
-Line 2632 
 sub _tree_construction_initial ($) {
+Line 2648 
 sub _tree_construction_initial ($) {
  sub _tree_construction_root_element ($) {
    my $self = shift;
+   ## NOTE: "before html" insertion mode.
    B: {
        if ($token->{type} == DOCTYPE_TOKEN) {
          !!!cp ('t19');
          !!!parse-error (type => 'in html:#DOCTYPE');
          ## Ignore the token
-         ## Stay in the phase
+         ## Stay in the insertion mode.
          !!!next-token;
          redo B;
        } elsif ($token->{type} == COMMENT_TOKEN) {
          !!!cp ('t20');
          my $comment = $self->{document}->create_comment ($token->{data});
          $self->{document}->append_child ($comment);
-         ## Stay in the phase
+         ## Stay in the insertion mode.
          !!!next-token;
          redo B;
        } elsif ($token->{type} == CHARACTER_TOKEN) {
-Line 2654 
 sub _tree_construction_root_element ($)
+Line 2672 
 sub _tree_construction_root_element ($)
            unless (length $token->{data}) {
              !!!cp ('t21');
-             ## Stay in the phase
+             ## Stay in the insertion mode.
              !!!next-token;
              redo B;
            } else {
-Line 2668 
 sub _tree_construction_root_element ($)
+Line 2686 
 sub _tree_construction_root_element ($)
          #
        } elsif ($token->{type} == START_TAG_TOKEN) {
-         if ($token->{tag_name} eq 'html' and
+         if ($token->{tag_name} eq 'html') {
-             $token->{attributes}->{manifest}) {
+           my $root_element;
-           !!!cp ('t24');
+           !!!create-element ($root_element, $token->{tag_name}, $token->{attributes});
-           $self->{application_cache_selection}
+           $self->{document}->append_child ($root_element);
-                ->($token->{attributes}->{manifest}->{value});
+           push @{$self->{open_elements}}, [$root_element, 'html'];
-           ## ISSUE: No relative reference resolution?
+           if ($token->{attributes}->{manifest}) {
+             !!!cp ('t24');
+             $self->{application_cache_selection}
+                 ->($token->{attributes}->{manifest}->{value});
+             ## ISSUE: No relative reference resolution?
+           } else {
+             !!!cp ('t25');
+             $self->{application_cache_selection}->(undef);
+           }
+           !!!next-token;
+           return; ## Go to the "before head" insertion mode.
          } else {
-           !!!cp ('t25');
+           !!!cp ('t25.1');
-           $self->{application_cache_selection}->(undef);
+           #
          }
-         ## ISSUE: There is an issue in the spec
-         #
        } elsif ({
                  END_TAG_TOKEN, 1,
                  END_OF_FILE_TOKEN, 1,
                 }->{$token->{type}}) {
          !!!cp ('t26');
-         $self->{application_cache_selection}->(undef);
-         ## ISSUE: There is an issue in the spec
          #
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-       my $root_element; !!!create-element ($root_element, 'html');
+     my $root_element; !!!create-element ($root_element, 'html');
-       $self->{document}->append_child ($root_element);
+     $self->{document}->append_child ($root_element);
-       push @{$self->{open_elements}}, [$root_element, 'html'];
+     push @{$self->{open_elements}}, [$root_element, 'html'];
-       ## reprocess
-       #redo B;
+     $self->{application_cache_selection}->(undef);
-       return; ## Go to the main phase.
+     ## NOTE: Reprocess the token.
+     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 2717 
 sub _reset_insertion_mode ($) {
+Line 2745 
 sub _reset_insertion_mode ($) {
      ## Step 3
      S3: {
-       ## ISSUE: Oops! "If node is the first node in the stack of open
-       ## elements, then set last to true. If the context element of the
-       ## HTML fragment parsing algorithm is neither a td element nor a
-       ## th element, then set node to the context element. (fragment case)":
-       ## The second "if" is in the scope of the first "if"!?
        if ($self->{open_elements}->[0]->[0] eq $node->[0]) {
          $last = 1;
          if (defined $self->{inner_html_node}) {
-Line 2739 
 sub _reset_insertion_mode ($) {
+Line 2762 
 sub _reset_insertion_mode ($) {
        ## Step 4..13
        my $new_mode = {
                        select => IN_SELECT_IM,
+                       ## NOTE: |option| and |optgroup| do not set
+                       ## insertion mode to "in select" by themselves.
                        td => IN_CELL_IM,
                        th => IN_CELL_IM,
                        tr => IN_ROW_IM,
-Line 2880 
 sub _tree_construction_main ($) {
+Line 2905 
 sub _tree_construction_main ($) {
      !!!cp ('t39');
    }; # $clear_up_to_marker
-   my $parse_rcdata = sub ($$) {
+   my $insert;
-     my ($content_model_flag, $insert) = @_;
+   my $parse_rcdata = sub ($) {
+     my ($content_model_flag) = @_;
      ## Step 1
      my $start_tag_name = $token->{tag_name};
-Line 2889 
 sub _tree_construction_main ($) {
+Line 2916 
 sub _tree_construction_main ($) {
      !!!create-element ($el, $start_tag_name, $token->{attributes});
      ## Step 2
-     $insert->($el); # /context node/->append_child ($el)
+     $insert->($el);
      ## Step 3
      $self->{content_model} = $content_model_flag; # CDATA or RCDATA
-Line 2919 
 sub _tree_construction_main ($) {
+Line 2946 
 sub _tree_construction_main ($) {
          $token->{tag_name} eq $start_tag_name) {
        !!!cp ('t42');
        ## Ignore the token
-     } elsif ($content_model_flag == CDATA_CONTENT_MODEL) {
-       !!!cp ('t43');
-       !!!parse-error (type => 'in CDATA:#'.$token->{type});
-     } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
-       !!!cp ('t44');
-       !!!parse-error (type => 'in RCDATA:#'.$token->{type});
      } else {
-       die "$0: $content_model_flag in parse_rcdata";
+       ## NOTE: An end-of-file token.
+       if ($content_model_flag == CDATA_CONTENT_MODEL) {
+         !!!cp ('t43');
+         !!!parse-error (type => 'in CDATA:#'.$token->{type});
+       } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
+         !!!cp ('t44');
+         !!!parse-error (type => 'in RCDATA:#'.$token->{type});
+       } else {
+         die "$0: $content_model_flag in parse_rcdata";
+       }
      }
      !!!next-token;
    }; # $parse_rcdata
-   my $script_start_tag = sub ($) {
+   my $script_start_tag = sub () {
-     my $insert = $_[0];
      my $script_el;
      !!!create-element ($script_el, 'script', $token->{attributes});
      ## TODO: mark as "parser-inserted"
-Line 2983 
 sub _tree_construction_main ($) {
+Line 3012 
 sub _tree_construction_main ($) {
      !!!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.
+   my $open_tables = [[$self->{open_elements}->[0]->[0]]];
    my $formatting_end_tag = sub {
      my $tag_name = shift;
+     ## NOTE: The adoption agency algorithm (AAA).
      FET: {
        ## Step 1
        my $formatting_element;
-Line 3026 
 sub _tree_construction_main ($) {
+Line 3061 
 sub _tree_construction_main ($) {
              return;
            }
          } elsif ({
-                   table => 1, caption => 1, td => 1, th => 1,
+                   applet => 1, table => 1, caption => 1, td => 1, th => 1,
                    button => 1, marquee => 1, object => 1, html => 1,
                   }->{$node->[1]}) {
            !!!cp ('t56');
-Line 3053 
 sub _tree_construction_main ($) {
+Line 3088 
 sub _tree_construction_main ($) {
          if (not $formatting_category->{$node->[1]} and
              #not $phrasing_category->{$node->[1]} and
              ($special_category->{$node->[1]} or
-              $scoping_category->{$node->[1]})) {
+              $scoping_category->{$node->[1]})) { ## Scoping is redundant, maybe
            !!!cp ('t59');
            $furthest_block = $node;
            $furthest_block_i_in_open = $_;
-Line 3139 
 sub _tree_construction_main ($) {
+Line 3174 
 sub _tree_construction_main ($) {
        } # S7
        ## Step 8
-       $common_ancestor_node->[0]->append_child ($last_node->[0]);
+       if ({
+            table => 1, tbody => 1, tfoot => 1, thead => 1, tr => 1,
+           }->{$common_ancestor_node->[1]}) {
+         my $foster_parent_element;
+         my $next_sibling;
+                          OE: for (reverse 0..$#{$self->{open_elements}}) {
+                            if ($self->{open_elements}->[$_]->[1] eq 'table') {
+                              my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
+                              if (defined $parent and $parent->node_type == 1) {
+                                !!!cp ('t65.1');
+                                $foster_parent_element = $parent;
+                                $next_sibling = $self->{open_elements}->[$_]->[0];
+                              } else {
+                                !!!cp ('t65.2');
+                                $foster_parent_element
+                                  = $self->{open_elements}->[$_ - 1]->[0];
+                              }
+                              last OE;
+                            }
+                          } # OE
+                          $foster_parent_element = $self->{open_elements}->[0]->[0]
+                            unless defined $foster_parent_element;
+         $foster_parent_element->insert_before ($last_node->[0], $next_sibling);
+         $open_tables->[-1]->[1] = 1; # tainted
+       } else {
+         !!!cp ('t65.3');
+         $common_ancestor_node->[0]->append_child ($last_node->[0]);
+       }
        ## Step 9
        my $clone = [$formatting_element->[0]->clone_node (0),
-Line 3185 
 sub _tree_construction_main ($) {
+Line 3247 
 sub _tree_construction_main ($) {
      } # FET
    }; # $formatting_end_tag
-   my $insert_to_current = sub {
+   $insert = my $insert_to_current = sub {
      $self->{open_elements}->[-1]->[0]->append_child ($_[0]);
    }; # $insert_to_current
    my $insert_to_foster = sub {
-                        my $child = shift;
+     my $child = shift;
-                        if ({
+     if ({
-                             table => 1, tbody => 1, tfoot => 1,
+          table => 1, tbody => 1, tfoot => 1, thead => 1, tr => 1,
-                             thead => 1, tr => 1,
+         }->{$self->{open_elements}->[-1]->[1]}) {
-                            }->{$self->{open_elements}->[-1]->[1]}) {
+       # MUST
-                          # MUST
+       my $foster_parent_element;
-                          my $foster_parent_element;
+       my $next_sibling;
-                          my $next_sibling;
                           OE: for (reverse 0..$#{$self->{open_elements}}) {
                             if ($self->{open_elements}->[$_]->[1] eq 'table') {
                               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
-Line 3217 
 sub _tree_construction_main ($) {
+Line 3278 
 sub _tree_construction_main ($) {
                             unless defined $foster_parent_element;
                           $foster_parent_element->insert_before
                             ($child, $next_sibling);
-                        } else {
+       $open_tables->[-1]->[1] = 1; # tainted
-                          !!!cp ('t72');
+     } else {
-                          $self->{open_elements}->[-1]->[0]->append_child ($child);
+       !!!cp ('t72');
-                        }
+       $self->{open_elements}->[-1]->[0]->append_child ($child);
+     }
    }; # $insert_to_foster
-   my $insert;
    B: {
      if ($token->{type} == DOCTYPE_TOKEN) {
        !!!cp ('t73');
-Line 3233 
 sub _tree_construction_main ($) {
+Line 3293 
 sub _tree_construction_main ($) {
        ## Stay in the phase
        !!!next-token;
        redo B;
-     } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-       if ($self->{insertion_mode} & AFTER_HTML_IMS) {
-         !!!cp ('t74');
-         #
-       } else {
-         ## Generate implied end tags
-         if ({
-              dd => 1, dt => 1, li => 1, p => 1, td => 1, th => 1, tr => 1,
-              tbody => 1, tfoot=> 1, thead => 1,
-             }->{$self->{open_elements}->[-1]->[1]}) {
-           !!!cp ('t75');
-           !!!back-token;
-           $token = {type => END_TAG_TOKEN, tag_name => $self->{open_elements}->[-1]->[1]};
-           redo B;
-         }
-         if (@{$self->{open_elements}} > 2 or
-             (@{$self->{open_elements}} == 2 and $self->{open_elements}->[1]->[1] ne 'body')) {
-           !!!cp ('t76');
-           !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-         } elsif (defined $self->{inner_html_node} and
-                  @{$self->{open_elements}} > 1 and
-                  $self->{open_elements}->[1]->[1] ne 'body') {
- ## ISSUE: This case is never reached.
-           !!!cp ('t77');
-           !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-         } else {
-           !!!cp ('t78');
-         }
-         ## ISSUE: There is an issue in the spec.
-       }
-       ## Stop parsing
-       last B;
      } elsif ($token->{type} == START_TAG_TOKEN and
               $token->{tag_name} eq 'html') {
        if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
          !!!cp ('t79');
-         ## Turn into the main phase
          !!!parse-error (type => 'after html:html');
          $self->{insertion_mode} = AFTER_BODY_IM;
        } elsif ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
          !!!cp ('t80');
-         ## Turn into the main phase
          !!!parse-error (type => 'after html:html');
          $self->{insertion_mode} = AFTER_FRAMESET_IM;
        } else {
          !!!cp ('t81');
        }
- ## ISSUE: "aa<html>" is not a parse error.
+       !!!cp ('t82');
- ## ISSUE: "<html>" in fragment is not a parse error.
+       !!!parse-error (type => 'not first start tag');
-       unless ($token->{first_start_tag}) {
-         !!!cp ('t82');
-         !!!parse-error (type => 'not first start tag');
-       } else {
-         !!!cp ('t83');
-       }
        my $top_el = $self->{open_elements}->[0]->[0];
        for my $attr_name (keys %{$token->{attributes}}) {
          unless ($top_el->has_attribute_ns (undef, $attr_name)) {
-Line 3320 
 sub _tree_construction_main ($) {
+Line 3337 
 sub _tree_construction_main ($) {
      } elsif ($self->{insertion_mode} & HEAD_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
-           $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+           unless ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+             !!!cp ('t88.2');
+             $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+           } else {
+             !!!cp ('t88.1');
+             ## Ignore the token.
+             !!!next-token;
+             redo B;
+           }
            unless (length $token->{data}) {
              !!!cp ('t88');
              !!!next-token;
-Line 3421 
 sub _tree_construction_main ($) {
+Line 3446 
 sub _tree_construction_main ($) {
                }
                !!!insert-element ($token->{tag_name}, $token->{attributes});
                pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!next-token;
                redo B;
-Line 3436 
 sub _tree_construction_main ($) {
+Line 3461 
 sub _tree_construction_main ($) {
                }
                !!!insert-element ($token->{tag_name}, $token->{attributes});
                pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!next-token;
                redo B;
-Line 3497 
 sub _tree_construction_main ($) {
+Line 3522 
 sub _tree_construction_main ($) {
                  }
                }
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!next-token;
                redo B;
-Line 3521 
 sub _tree_construction_main ($) {
+Line 3546 
 sub _tree_construction_main ($) {
                ## NOTE: There is a "as if in head" code clone.
                my $parent = defined $self->{head_element} ? $self->{head_element}
                    : $self->{open_elements}->[-1]->[0];
-               $parse_rcdata->(RCDATA_CONTENT_MODEL,
+               $parse_rcdata->(RCDATA_CONTENT_MODEL);
-                               sub { $parent->append_child ($_[0]) });
+               pop @{$self->{open_elements}} # <head>
-               pop @{$self->{open_elements}}
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                redo B;
              } elsif ($token->{tag_name} eq 'style') {
-Line 3537 
 sub _tree_construction_main ($) {
+Line 3561 
 sub _tree_construction_main ($) {
                } else {
                  !!!cp ('t115');
                }
-               $parse_rcdata->(CDATA_CONTENT_MODEL, $insert_to_current);
+               $parse_rcdata->(CDATA_CONTENT_MODEL);
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                redo B;
              } elsif ($token->{tag_name} eq 'noscript') {
-Line 3577 
 sub _tree_construction_main ($) {
+Line 3601 
 sub _tree_construction_main ($) {
                }
                ## NOTE: There is a "as if in head" code clone.
-               $script_start_tag->($insert_to_current);
+               $script_start_tag->();
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                redo B;
              } elsif ($token->{tag_name} eq 'body' or
-Line 3787 
 sub _tree_construction_main ($) {
+Line 3811 
 sub _tree_construction_main ($) {
              $self->{insertion_mode} = IN_BODY_IM;
              ## reprocess
              redo B;
-           } else {
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-             die "$0: $token->{type}: Unknown token type";
+         if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-           }
+           !!!cp ('t149.1');
+           ## NOTE: As if <head>
+           !!!create-element ($self->{head_element}, 'head');
+           $self->{open_elements}->[-1]->[0]->append_child
+               ($self->{head_element});
+           #push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+           #$self->{insertion_mode} = IN_HEAD_IM;
+           ## NOTE: Reprocess.
+           ## NOTE: As if </head>
+           #pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_AFTER_HEAD_IM;
+           ## NOTE: Reprocess.
+           #
+         } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+           !!!cp ('t149.2');
+           ## NOTE: As if </head>
+           pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_AFTER_HEAD_IM;
+           ## NOTE: Reprocess.
+           #
+         } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           !!!cp ('t149.3');
+           !!!parse-error (type => 'in noscript:#eof');
+           ## As if </noscript>
+           pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_HEAD_IM;
+           ## NOTE: Reprocess.
+           ## NOTE: As if </head>
+           pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_AFTER_HEAD_IM;
+           ## NOTE: Reprocess.
+           #
+         } else {
+           !!!cp ('t149.4');
+           #
+         }
+         ## NOTE: As if <body>
+         !!!insert-element ('body');
+         $self->{insertion_mode} = IN_BODY_IM;
+         ## NOTE: Reprocess.
+         redo B;
+       } else {
+         die "$0: $token->{type}: Unknown token type";
+       }
            ## ISSUE: An issue in the spec.
      } elsif ($self->{insertion_mode} & BODY_IMS) {
-Line 3858 
 sub _tree_construction_main ($) {
+Line 3935 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                    unless (defined $i) {
                      !!!cp ('t157');
+ ## TODO: this type is wrong.
                      !!!parse-error (type => 'unmatched end tag:caption');
                      ## Ignore the token
                      !!!next-token;
-Line 3865 
 sub _tree_construction_main ($) {
+Line 3943 
 sub _tree_construction_main ($) {
                    }
                  ## generate implied end tags
-                 if ({
+                 while ({
-                      dd => 1, dt => 1, li => 1, p => 1,
+                         dd => 1, dt => 1, li => 1, p => 1,
-                      td => 1, th => 1, tr => 1,
+                        }->{$self->{open_elements}->[-1]->[1]}) {
-                      tbody => 1, tfoot=> 1, thead => 1,
-                     }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t158');
-                   !!!back-token; # <?>
+                   pop @{$self->{open_elements}};
-                   $token = {type => END_TAG_TOKEN, tag_name => 'caption'};
-                   !!!back-token;
-                   $token = {type => END_TAG_TOKEN,
-                             tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                   redo B;
                  }
                  if ($self->{open_elements}->[-1]->[1] ne 'caption') {
-Line 3929 
 sub _tree_construction_main ($) {
+Line 4000 
 sub _tree_construction_main ($) {
                    }
                  ## generate implied end tags
-                 if ({
+                 while ({
-                      dd => 1, dt => 1, li => 1, p => 1,
+                         dd => 1, dt => 1, li => 1, p => 1,
-                      td => ($token->{tag_name} eq 'th'),
+                        }->{$self->{open_elements}->[-1]->[1]}) {
-                      th => ($token->{tag_name} eq 'td'),
-                      tr => 1,
-                      tbody => 1, tfoot=> 1, thead => 1,
-                     }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t166');
-                   !!!back-token;
+                   pop @{$self->{open_elements}};
-                   $token = {type => END_TAG_TOKEN,
-                             tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                   redo B;
                  }
                  if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
                    !!!cp ('t167');
                    !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-Line 3994 
 sub _tree_construction_main ($) {
+Line 4058 
 sub _tree_construction_main ($) {
                    }
                  ## generate implied end tags
-                 if ({
+                 while ({
-                      dd => 1, dt => 1, li => 1, p => 1,
+                         dd => 1, dt => 1, li => 1, p => 1,
-                      td => 1, th => 1, tr => 1,
+                        }->{$self->{open_elements}->[-1]->[1]}) {
-                      tbody => 1, tfoot=> 1, thead => 1,
-                     }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t174');
-                   !!!back-token;
+                   pop @{$self->{open_elements}};
-                   $token = {type => END_TAG_TOKEN,
-                             tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                   redo B;
                  }
                  if ($self->{open_elements}->[-1]->[1] ne 'caption') {
-Line 4100 
 sub _tree_construction_main ($) {
+Line 4159 
 sub _tree_construction_main ($) {
                }
                ## generate implied end tags
-               if ({
+               while ({
-                    dd => 1, dt => 1, li => 1, p => 1,
+                       dd => 1, dt => 1, li => 1, p => 1,
-                    td => 1, th => 1, tr => 1,
+                      }->{$self->{open_elements}->[-1]->[1]}) {
-                    tbody => 1, tfoot=> 1, thead => 1,
-                   }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t187');
-                 !!!back-token; # </table>
+                 pop @{$self->{open_elements}};
-                 $token = {type => END_TAG_TOKEN, tag_name => 'caption'};
-                 !!!back-token;
-                 $token = {type => END_TAG_TOKEN,
-                           tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                 redo B;
                }
                if ($self->{open_elements}->[-1]->[1] ne 'caption') {
-Line 4156 
 sub _tree_construction_main ($) {
+Line 4208 
 sub _tree_construction_main ($) {
                !!!cp ('t193');
                #
              }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         for my $entry (@{$self->{open_elements}}) {
+           if (not {
+             dd => 1, dt => 1, li => 1, p => 1, tbody => 1, td => 1, tfoot => 1,
+             th => 1, thead => 1, tr => 1, body => 1, html => 1,
+           }->{$entry->[1]}) {
+             !!!cp ('t75');
+             !!!parse-error (type => 'in body:#eof');
+             last;
+           }
+         }
+         ## Stop parsing.
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 4164 
 sub _tree_construction_main ($) {
+Line 4230 
 sub _tree_construction_main ($) {
        #
      } elsif ($self->{insertion_mode} & TABLE_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-             if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if (not $open_tables->[-1]->[1] and # tainted
-               $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+             $token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+           $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
-               unless (length $token->{data}) {
+           unless (length $token->{data}) {
-                 !!!cp ('t194');
+             !!!cp ('t194');
-                 !!!next-token;
+             !!!next-token;
-                 redo B;
+             redo B;
-               } else {
+           } else {
-                 !!!cp ('t195');
+             !!!cp ('t195');
-               }
+           }
-             }
+         }
              !!!parse-error (type => 'in table:#character');
-Line 4221 
 sub _tree_construction_main ($) {
+Line 4288 
 sub _tree_construction_main ($) {
                    ($self->{document}->create_text_node ($token->{data}),
                     $next_sibling);
                }
-             } else {
+           $open_tables->[-1]->[1] = 1; # tainted
-               !!!cp ('t200');
+         } else {
-               $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+           !!!cp ('t200');
-             }
+           $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+         }
-             !!!next-token;
+         !!!next-token;
-             redo B;
+         redo B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
              if ({
                   tr => ($self->{insertion_mode} != IN_ROW_IM),
-Line 4238 
 sub _tree_construction_main ($) {
+Line 4306 
 sub _tree_construction_main ($) {
                  while ($self->{open_elements}->[-1]->[1] ne 'table' and
                         $self->{open_elements}->[-1]->[1] ne 'html') {
                    !!!cp ('t201');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
                    pop @{$self->{open_elements}};
                  }
-Line 4258 
 sub _tree_construction_main ($) {
+Line 4325 
 sub _tree_construction_main ($) {
                    tbody => 1, tfoot => 1, thead => 1, html => 1,
                  }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t203');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4282 
 sub _tree_construction_main ($) {
+Line 4349 
 sub _tree_construction_main ($) {
                  tr => 1, html => 1,
                }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t207');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
                  pop @{$self->{open_elements}};
                }
-Line 4309 
 sub _tree_construction_main ($) {
+Line 4375 
 sub _tree_construction_main ($) {
                      $i = $_;
                      last INSCOPE;
                    } elsif ({
-                             table => 1, html => 1,
+                             html => 1,
+                             ## NOTE: This element does not appear here, maybe.
+                             table => 1,
                             }->{$node->[1]}) {
                      !!!cp ('t209');
                      last INSCOPE;
-Line 4317 
 sub _tree_construction_main ($) {
+Line 4386 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                  unless (defined $i) {
                   !!!cp ('t210');
+ ## TODO: This type is wrong.
                   !!!parse-error (type => 'unmacthed end tag:'.$token->{tag_name});
                    ## Ignore the token
                    !!!next-token;
-Line 4328 
 sub _tree_construction_main ($) {
+Line 4398 
 sub _tree_construction_main ($) {
                    tr => 1, html => 1,
                  }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t211');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4376 
 sub _tree_construction_main ($) {
+Line 4446 
 sub _tree_construction_main ($) {
                    tbody => 1, tfoot => 1, thead => 1, html => 1,
                  }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t217');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4399 
 sub _tree_construction_main ($) {
+Line 4469 
 sub _tree_construction_main ($) {
                  while ($self->{open_elements}->[-1]->[1] ne 'table' and
                         $self->{open_elements}->[-1]->[1] ne 'html') {
                    !!!cp ('t219');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4416 
 sub _tree_construction_main ($) {
+Line 4486 
 sub _tree_construction_main ($) {
                  while ($self->{open_elements}->[-1]->[1] ne 'table' and
                         $self->{open_elements}->[-1]->[1] ne 'html') {
                    !!!cp ('t220');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4449 
 sub _tree_construction_main ($) {
+Line 4519 
 sub _tree_construction_main ($) {
                    $i = $_;
                    last INSCOPE;
                  } elsif ({
-                           table => 1, html => 1,
+                           #table => 1,
+                           html => 1,
                           }->{$node->[1]}) {
                    !!!cp ('t222');
                    last INSCOPE;
-Line 4457 
 sub _tree_construction_main ($) {
+Line 4528 
 sub _tree_construction_main ($) {
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t223');
+ ## TODO: The following is wrong, maybe.
                  !!!parse-error (type => 'unmatched end tag:table');
                  ## Ignore tokens </table><table>
                  !!!next-token;
                  redo B;
                }
+ ## TODO: Followings are removed from the latest spec.
                ## generate implied end tags
-               if ({
+               while ({
-                    dd => 1, dt => 1, li => 1, p => 1,
+                       dd => 1, dt => 1, li => 1, p => 1,
-                    td => 1, th => 1, tr => 1,
+                      }->{$self->{open_elements}->[-1]->[1]}) {
-                    tbody => 1, tfoot=> 1, thead => 1,
-                   }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t224');
-                 !!!back-token; # <table>
+                 pop @{$self->{open_elements}};
-                 $token = {type => END_TAG_TOKEN, tag_name => 'table'};
-                 !!!back-token;
-                 $token = {type => END_TAG_TOKEN,
-                           tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                 redo B;
                }
                if ($self->{open_elements}->[-1]->[1] ne 'table') {
                  !!!cp ('t225');
+ ## ISSUE: Can this case be reached?
                  !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
                } else {
                  !!!cp ('t226');
                }
                splice @{$self->{open_elements}}, $i;
+               pop @{$open_tables};
                $self->_reset_insertion_mode;
                ## reprocess
                redo B;
+         } elsif ($token->{tag_name} eq 'style') {
+           if (not $open_tables->[-1]->[1]) { # tainted
+             !!!cp ('t227.8');
+             ## NOTE: This is a "as if in head" code clone.
+             $parse_rcdata->(CDATA_CONTENT_MODEL);
+             redo B;
+           } else {
+             !!!cp ('t227.7');
+             #
+           }
+         } elsif ($token->{tag_name} eq 'script') {
+           if (not $open_tables->[-1]->[1]) { # tainted
+             !!!cp ('t227.6');
+             ## NOTE: This is a "as if in head" code clone.
+             $script_start_tag->();
+             redo B;
+           } else {
+             !!!cp ('t227.5');
+             #
+           }
+         } elsif ($token->{tag_name} eq 'input') {
+           if (not $open_tables->[-1]->[1]) { # tainted
+             if ($token->{attributes}->{type}) { ## TODO: case
+               my $type = lc $token->{attributes}->{type}->{value};
+               if ($type eq 'hidden') {
+                 !!!cp ('t227.3');
+                 !!!parse-error (type => 'in table:'.$token->{tag_name});
+                 !!!insert-element ($token->{tag_name}, $token->{attributes});
+                 ## TODO: form element pointer
+                 pop @{$self->{open_elements}};
+                 !!!next-token;
+                 redo B;
+               } else {
+                 !!!cp ('t227.2');
+                 #
+               }
+             } else {
+               !!!cp ('t227.1');
+               #
+             }
+           } else {
+             !!!cp ('t227.4');
+             #
+           }
          } else {
            !!!cp ('t227');
-           !!!parse-error (type => 'in table:'.$token->{tag_name});
-           $insert = $insert_to_foster;
            #
          }
+         !!!parse-error (type => 'in table:'.$token->{tag_name});
+         $insert = $insert_to_foster;
+         #
        } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'tr' and
                  $self->{insertion_mode} == IN_ROW_IM) {
-Line 4531 
 sub _tree_construction_main ($) {
+Line 4649 
 sub _tree_construction_main ($) {
                  tr => 1, html => 1,
                }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t231');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this state be reached?
                  pop @{$self->{open_elements}};
                }
-Line 4559 
 sub _tree_construction_main ($) {
+Line 4677 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                  unless (defined $i) {
                    !!!cp ('t235');
+ ## TODO: The following is wrong.
                    !!!parse-error (type => 'unmatched end tag:'.$token->{type});
                    ## Ignore the token
                    !!!next-token;
-Line 4570 
 sub _tree_construction_main ($) {
+Line 4689 
 sub _tree_construction_main ($) {
                    tr => 1, html => 1,
                  }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t236');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4610 
 sub _tree_construction_main ($) {
+Line 4729 
 sub _tree_construction_main ($) {
                    tbody => 1, tfoot => 1, thead => 1, html => 1,
                  }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t240');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
                    pop @{$self->{open_elements}};
                  }
-Line 4626 
 sub _tree_construction_main ($) {
+Line 4744 
 sub _tree_construction_main ($) {
                  ## reprocess in the "in table" insertion mode...
                }
+               ## NOTE: </table> in the "in table" insertion mode.
+               ## When you edit the code fragment below, please ensure that
+               ## the code for <table> in the "in table" insertion mode
+               ## is synced with it.
                ## have a table element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-Line 4648 
 sub _tree_construction_main ($) {
+Line 4771 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  redo B;
                }
-               ## generate implied end tags
-               if ({
-                    dd => 1, dt => 1, li => 1, p => 1,
-                    td => 1, th => 1, tr => 1,
-                    tbody => 1, tfoot=> 1, thead => 1,
-                   }->{$self->{open_elements}->[-1]->[1]}) {
-                 !!!cp ('t244');
-                 !!!back-token;
-                 $token = {type => END_TAG_TOKEN,
-                           tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                 redo B;
-               }
-               if ($self->{open_elements}->[-1]->[1] ne 'table') {
-                 !!!cp ('t245');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-               } else {
-                 !!!cp ('t246');
-               }
                splice @{$self->{open_elements}}, $i;
+               pop @{$open_tables};
                $self->_reset_insertion_mode;
-Line 4732 
 sub _tree_construction_main ($) {
+Line 4836 
 sub _tree_construction_main ($) {
                    tr => 1, html => 1,
                  }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t253');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4769 
 sub _tree_construction_main ($) {
+Line 4873 
 sub _tree_construction_main ($) {
                  tbody => 1, tfoot => 1, thead => 1, html => 1,
                }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t257');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this case be reached?
                  pop @{$self->{open_elements}};
                }
-Line 4795 
 sub _tree_construction_main ($) {
+Line 4899 
 sub _tree_construction_main ($) {
            $insert = $insert_to_foster;
            #
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         unless ($self->{open_elements}->[-1]->[1] eq 'html' and
+                 @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!parse-error (type => 'in body:#eof');
+           !!!cp ('t259.1');
+           #
+         } else {
+           !!!cp ('t259.2');
+           #
+         }
+         ## Stop parsing
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 4847 
 sub _tree_construction_main ($) {
+Line 4964 
 sub _tree_construction_main ($) {
                !!!cp ('t267');
                #
              }
-           } else {
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-             !!!cp ('t268');
+         if ($self->{open_elements}->[-1]->[1] eq 'html' or
-             #
+             @{$self->{open_elements}} == 1) { # redundant, maybe
-           }
+           !!!cp ('t270.2');
+           ## Stop parsing.
+           last B;
+         } else {
+           ## NOTE: As if </colgroup>.
+           !!!cp ('t270.1');
+           pop @{$self->{open_elements}}; # colgroup
+           $self->{insertion_mode} = IN_TABLE_IM;
+           ## Reprocess.
+           redo B;
+         }
+       } else {
+         die "$0: $token->{type}: Unknown token type";
+       }
            ## As if </colgroup>
            if ($self->{open_elements}->[-1]->[1] eq 'html') {
              !!!cp ('t269');
+ ## TODO: Wrong error type?
              !!!parse-error (type => 'unmatched end tag:colgroup');
              ## Ignore the token
              !!!next-token;
-Line 4866 
 sub _tree_construction_main ($) {
+Line 4997 
 sub _tree_construction_main ($) {
              ## reprocess
              redo B;
            }
-     } elsif ($self->{insertion_mode} == IN_SELECT_IM) {
+     } elsif ($self->{insertion_mode} & SELECT_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          !!!cp ('t271');
          $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
-Line 4905 
 sub _tree_construction_main ($) {
+Line 5036 
 sub _tree_construction_main ($) {
                !!!insert-element ($token->{tag_name}, $token->{attributes});
                !!!next-token;
                redo B;
-             } elsif ($token->{tag_name} eq 'select') {
+         } elsif ($token->{tag_name} eq 'select' or
-               !!!parse-error (type => 'not closed:select');
+                  $token->{tag_name} eq 'input' or
-               ## As if </select> instead
+                  ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
+                   {
+                    caption => 1, table => 1,
+                    tbody => 1, tfoot => 1, thead => 1,
+                    tr => 1, td => 1, th => 1,
+                   }->{$token->{tag_name}})) {
+           ## TODO: The type below is not good - <select> is replaced by </select>
+           !!!parse-error (type => 'not closed:select');
+           ## NOTE: As if the token were </select> (<select> case) or
+           ## as if there were </select> (otherwise).
                ## have an element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[1] eq 'select') {
                    !!!cp ('t278');
                    $i = $_;
                    last INSCOPE;
-Line 4936 
 sub _tree_construction_main ($) {
+Line 5076 
 sub _tree_construction_main ($) {
                $self->_reset_insertion_mode;
-               !!!next-token;
+           if ($token->{tag_name} eq 'select') {
-               redo B;
+             !!!cp ('t281.2');
+             !!!next-token;
+             redo B;
+           } else {
+             !!!cp ('t281.1');
+             ## Reprocess the token.
+             redo B;
+           }
          } else {
            !!!cp ('t282');
            !!!parse-error (type => 'in select:'.$token->{tag_name});
-Line 5004 
 sub _tree_construction_main ($) {
+Line 5151 
 sub _tree_construction_main ($) {
                !!!next-token;
                redo B;
-             } elsif ({
+         } elsif ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
-                       caption => 1, table => 1, tbody => 1,
+                  {
-                       tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
+                   caption => 1, table => 1, tbody => 1,
-                      }->{$token->{tag_name}}) {
+                   tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
+                  }->{$token->{tag_name}}) {
+ ## TODO: The following is wrong?
                !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
                ## have an element in table scope
-Line 5044 
 sub _tree_construction_main ($) {
+Line 5193 
 sub _tree_construction_main ($) {
                  } elsif ({
                            table => 1, html => 1,
                           }->{$node->[1]}) {
+ ## ISSUE: Can this state be reached?
                    !!!cp ('t296');
                    last INSCOPE;
                  }
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t297');
+ ## TODO: The following error type is correct?
                  !!!parse-error (type => 'unmatched end tag:select');
                  ## Ignore the </select> token
                  !!!next-token; ## TODO: ok?
-Line 5070 
 sub _tree_construction_main ($) {
+Line 5221 
 sub _tree_construction_main ($) {
            !!!next-token;
            redo B;
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         unless ($self->{open_elements}->[-1]->[1] eq 'html' and
+                 @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!cp ('t299.1');
+           !!!parse-error (type => 'in body:#eof');
+         } else {
+           !!!cp ('t299.2');
+         }
+         ## Stop parsing.
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 5093 
 sub _tree_construction_main ($) {
+Line 5255 
 sub _tree_construction_main ($) {
            !!!cp ('t301');
            !!!parse-error (type => 'after html:#character');
-           ## Reprocess in the "main" phase, "after body" insertion mode...
+           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t302');
          }
-Line 5109 
 sub _tree_construction_main ($) {
+Line 5271 
 sub _tree_construction_main ($) {
            !!!cp ('t303');
            !!!parse-error (type => 'after html:'.$token->{tag_name});
-           ## Reprocess in the "main" phase, "after body" insertion mode...
+           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t304');
          }
-Line 5126 
 sub _tree_construction_main ($) {
+Line 5288 
 sub _tree_construction_main ($) {
            !!!parse-error (type => 'after html:/'.$token->{tag_name});
            $self->{insertion_mode} = AFTER_BODY_IM;
-           ## Reprocess in the "main" phase, "after body" insertion mode...
+           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t306');
          }
-Line 5153 
 sub _tree_construction_main ($) {
+Line 5315 
 sub _tree_construction_main ($) {
            ## reprocess
            redo B;
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         !!!cp ('t309.2');
+         ## Stop parsing
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 5180 
 sub _tree_construction_main ($) {
+Line 5346 
 sub _tree_construction_main ($) {
              !!!parse-error (type => 'after html:#character');
              $self->{insertion_mode} = AFTER_FRAMESET_IM;
-             ## Reprocess in the "main" phase, "after frameset"...
+             ## Reprocess in the "after frameset" insertion mode.
              !!!parse-error (type => 'after frameset:#character');
            }
-Line 5202 
 sub _tree_construction_main ($) {
+Line 5368 
 sub _tree_construction_main ($) {
            !!!parse-error (type => 'after html:'.$token->{tag_name});
            $self->{insertion_mode} = AFTER_FRAMESET_IM;
-           ## Process in the "main" phase, "after frameset" insertion mode...
+           ## Process in the "after frameset" insertion mode.
          } else {
            !!!cp ('t317');
          }
-Line 5223 
 sub _tree_construction_main ($) {
+Line 5389 
 sub _tree_construction_main ($) {
          } elsif ($token->{tag_name} eq 'noframes') {
            !!!cp ('t320');
            ## NOTE: As if in body.
-           $parse_rcdata->(CDATA_CONTENT_MODEL, $insert_to_current);
+           $parse_rcdata->(CDATA_CONTENT_MODEL);
            redo B;
          } else {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
-Line 5243 
 sub _tree_construction_main ($) {
+Line 5409 
 sub _tree_construction_main ($) {
            !!!parse-error (type => 'after html:/'.$token->{tag_name});
            $self->{insertion_mode} = AFTER_FRAMESET_IM;
-           ## Process in the "main" phase, "after frameset" insertion mode...
+           ## Process in the "after frameset" insertion mode.
          } else {
            !!!cp ('t324');
          }
-Line 5288 
 sub _tree_construction_main ($) {
+Line 5454 
 sub _tree_construction_main ($) {
            !!!next-token;
            redo B;
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         unless ($self->{open_elements}->[-1]->[1] eq 'html' and
+                 @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!cp ('t331.1');
+           !!!parse-error (type => 'in body:#eof');
+         } else {
+           !!!cp ('t331.2');
+         }
+         ## Stop parsing
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 5302 
 sub _tree_construction_main ($) {
+Line 5479 
 sub _tree_construction_main ($) {
        if ($token->{tag_name} eq 'script') {
          !!!cp ('t332');
          ## NOTE: This is an "as if in head" code clone
-         $script_start_tag->($insert);
+         $script_start_tag->();
          redo B;
        } elsif ($token->{tag_name} eq 'style') {
          !!!cp ('t333');
          ## NOTE: This is an "as if in head" code clone
-         $parse_rcdata->(CDATA_CONTENT_MODEL, $insert);
+         $parse_rcdata->(CDATA_CONTENT_MODEL);
          redo B;
        } elsif ({
                  base => 1, link => 1,
-Line 5370 
 sub _tree_construction_main ($) {
+Line 5547 
 sub _tree_construction_main ($) {
          redo B;
        } elsif ($token->{tag_name} eq 'title') {
          !!!cp ('t341');
-         !!!parse-error (type => 'in body:title');
          ## NOTE: This is an "as if in head" code clone
-         $parse_rcdata->(RCDATA_CONTENT_MODEL, sub {
+         $parse_rcdata->(RCDATA_CONTENT_MODEL);
-           if (defined $self->{head_element}) {
-             !!!cp ('t339');
-             $self->{head_element}->append_child ($_[0]);
-           } else {
-             !!!cp ('t340');
-             $insert->($_[0]);
-           }
-         });
          redo B;
        } elsif ($token->{tag_name} eq 'body') {
          !!!parse-error (type => 'in body:body');
-Line 5404 
 sub _tree_construction_main ($) {
+Line 5572 
 sub _tree_construction_main ($) {
          redo B;
        } elsif ({
                  address => 1, blockquote => 1, center => 1, dir => 1,
-                 div => 1, dl => 1, fieldset => 1, listing => 1,
+                 div => 1, dl => 1, fieldset => 1,
+                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
                  menu => 1, ol => 1, p => 1, ul => 1,
-                 pre => 1,
+                 pre => 1, listing => 1,
                 }->{$token->{tag_name}}) {
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-Line 5416 
 sub _tree_construction_main ($) {
+Line 5585 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'p'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$_->[1]}) {
              !!!cp ('t345');
-Line 5425 
 sub _tree_construction_main ($) {
+Line 5594 
 sub _tree_construction_main ($) {
          } # INSCOPE
          !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         if ($token->{tag_name} eq 'pre') {
+         if ($token->{tag_name} eq 'pre' or $token->{tag_name} eq 'listing') {
            !!!next-token;
            if ($token->{type} == CHARACTER_TOKEN) {
              $token->{data} =~ s/^\x0A//;
-Line 5459 
 sub _tree_construction_main ($) {
+Line 5628 
 sub _tree_construction_main ($) {
                $token = {type => END_TAG_TOKEN, tag_name => 'p'};
                redo B;
              } elsif ({
-                       table => 1, caption => 1, td => 1, th => 1,
+                       applet => 1, table => 1, caption => 1, td => 1, th => 1,
                        button => 1, marquee => 1, object => 1, html => 1,
                       }->{$_->[1]}) {
                !!!cp ('t352');
-Line 5481 
 sub _tree_construction_main ($) {
+Line 5650 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'p'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$_->[1]}) {
              !!!cp ('t354');
-Line 5537 
 sub _tree_construction_main ($) {
+Line 5706 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'p'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$_->[1]}) {
              !!!cp ('t361');
-Line 5593 
 sub _tree_construction_main ($) {
+Line 5762 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'p'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$_->[1]}) {
              !!!cp ('t368');
-Line 5607 
 sub _tree_construction_main ($) {
+Line 5776 
 sub _tree_construction_main ($) {
          !!!next-token;
          redo B;
-       } elsif ({
-                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
-                }->{$token->{tag_name}}) {
-         ## has a p element in scope
-         INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-           my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq 'p') {
-             !!!cp ('t369');
-             !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
-             redo B;
-           } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
-             !!!cp ('t370');
-             last INSCOPE;
-           }
-         } # INSCOPE
-         ## NOTE: See <http://html5.org/tools/web-apps-tracker?from=925&to=926>
-         ## has an element in scope
-         #my $i;
-         #INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-         #  my $node = $self->{open_elements}->[$_];
-         #  if ({
-         #       h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
-         #      }->{$node->[1]}) {
-         #    $i = $_;
-         #    last INSCOPE;
-         #  } elsif ({
-         #            table => 1, caption => 1, td => 1, th => 1,
-         #            button => 1, marquee => 1, object => 1, html => 1,
-         #           }->{$node->[1]}) {
-         #    last INSCOPE;
-         #  }
-         #} # INSCOPE
-         #
-         #if (defined $i) {
-         #  !!! parse-error (type => 'in hn:hn');
-         #  splice @{$self->{open_elements}}, $i;
-         #}
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         !!!next-token;
-         redo B;
        } elsif ($token->{tag_name} eq 'a') {
          AFE: for my $i (reverse 0..$#$active_formatting_elements) {
            my $node = $active_formatting_elements->[$i];
-Line 5719 
 sub _tree_construction_main ($) {
+Line 5841 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'nobr'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$node->[1]}) {
              !!!cp ('t377');
-Line 5743 
 sub _tree_construction_main ($) {
+Line 5865 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'button'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$node->[1]}) {
              !!!cp ('t379');
-Line 5754 
 sub _tree_construction_main ($) {
+Line 5876 
 sub _tree_construction_main ($) {
          $reconstruct_active_formatting_elements->($insert_to_current);
          !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         ## TODO: associate with $self->{form_element} if defined
          push @$active_formatting_elements, ['#marker', ''];
          !!!next-token;
          redo B;
-       } elsif ($token->{tag_name} eq 'marquee' or
+       } elsif ({
-                $token->{tag_name} eq 'object') {
+                 applet => 1, marquee => 1, object => 1,
+                }->{$token->{tag_name}}) {
          !!!cp ('t380');
          $reconstruct_active_formatting_elements->($insert_to_current);
-Line 5771 
 sub _tree_construction_main ($) {
+Line 5897 
 sub _tree_construction_main ($) {
        } elsif ($token->{tag_name} eq 'xmp') {
          !!!cp ('t381');
          $reconstruct_active_formatting_elements->($insert_to_current);
-         $parse_rcdata->(CDATA_CONTENT_MODEL, $insert);
+         $parse_rcdata->(CDATA_CONTENT_MODEL);
          redo B;
        } elsif ($token->{tag_name} eq 'table') {
          ## has a p element in scope
-Line 5782 
 sub _tree_construction_main ($) {
+Line 5908 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'p'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$_->[1]}) {
              !!!cp ('t383');
-Line 5791 
 sub _tree_construction_main ($) {
+Line 5917 
 sub _tree_construction_main ($) {
          } # INSCOPE
          !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         push @{$open_tables}, [$self->{open_elements}->[-1]->[0]];
          $self->{insertion_mode} = IN_TABLE_IM;
          !!!next-token;
-Line 5826 
 sub _tree_construction_main ($) {
+Line 5953 
 sub _tree_construction_main ($) {
              $token = {type => END_TAG_TOKEN, tag_name => 'p'};
              redo B;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$_->[1]}) {
              !!!cp ('t387');
-Line 5946 
 sub _tree_construction_main ($) {
+Line 6073 
 sub _tree_construction_main ($) {
                 }->{$token->{tag_name}}) {
          !!!cp ('t399');
          ## NOTE: There is an "as if in body" code clone.
-         $parse_rcdata->(CDATA_CONTENT_MODEL, $insert);
+         $parse_rcdata->(CDATA_CONTENT_MODEL);
          redo B;
        } elsif ($token->{tag_name} eq 'select') {
          !!!cp ('t400');
          $reconstruct_active_formatting_elements->($insert_to_current);
          !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         ## TODO: associate with $self->{form_element} if defined
-         $self->{insertion_mode} = IN_SELECT_IM;
+         if ($self->{insertion_mode} & TABLE_IMS or
+             $self->{insertion_mode} & BODY_TABLE_IMS or
+             $self->{insertion_mode} == IN_COLUMN_GROUP_IM) {
+           !!!cp ('t400.1');
+           $self->{insertion_mode} = IN_SELECT_IN_TABLE_IM;
+         } else {
+           !!!cp ('t400.2');
+           $self->{insertion_mode} = IN_SELECT_IM;
+         }
          !!!next-token;
          redo B;
        } elsif ({
-Line 6029 
 sub _tree_construction_main ($) {
+Line 6166 
 sub _tree_construction_main ($) {
                  address => 1, blockquote => 1, center => 1, dir => 1,
                  div => 1, dl => 1, fieldset => 1, listing => 1,
                  menu => 1, ol => 1, pre => 1, ul => 1,
-                 p => 1,
                  dd => 1, dt => 1, li => 1,
-                 button => 1, marquee => 1, object => 1,
+                 applet => 1, button => 1, marquee => 1, object => 1,
                 }->{$token->{tag_name}}) {
          ## has an element in scope
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
            if ($node->[1] eq $token->{tag_name}) {
-             ## generate implied end tags
-             if ({
-                  dd => ($token->{tag_name} ne 'dd'),
-                  dt => ($token->{tag_name} ne 'dt'),
-                  li => ($token->{tag_name} ne 'li'),
-                  p => ($token->{tag_name} ne 'p'),
-                  td => 1, th => 1, tr => 1,
-                  tbody => 1, tfoot=> 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!cp ('t409');
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
-             }
              !!!cp ('t410');
              $i = $_;
-             last INSCOPE unless $token->{tag_name} eq 'p';
+             last INSCOPE;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$node->[1]}) {
              !!!cp ('t411');
              last INSCOPE;
            }
          } # INSCOPE
-         if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+         unless (defined $i) { # has an element in scope
-           if (defined $i) {
+           !!!cp ('t413');
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+         } else {
+           ## Step 1. generate implied end tags
+           while ({
+                   dd => ($token->{tag_name} ne 'dd'),
+                   dt => ($token->{tag_name} ne 'dt'),
+                   li => ($token->{tag_name} ne 'li'),
+                   p => 1,
+                  }->{$self->{open_elements}->[-1]->[1]}) {
+             !!!cp ('t409');
+             pop @{$self->{open_elements}};
+           }
+           ## Step 2.
+           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
              !!!cp ('t412');
              !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
            } else {
-             !!!cp ('t413');
+             !!!cp ('t414');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
            }
-         }
+           ## Step 3.
-         if (defined $i) {
-           !!!cp ('t414');
            splice @{$self->{open_elements}}, $i;
-         } elsif ($token->{tag_name} eq 'p') {
-           !!!cp ('t415');
+           ## Step 4.
-           ## As if <p>, then reprocess the current token
+           $clear_up_to_marker->()
-           my $el;
+               if {
-           !!!create-element ($el, 'p');
+                 applet => 1, button => 1, marquee => 1, object => 1,
-           $insert->($el);
+               }->{$token->{tag_name}};
-         } else {
-           !!!cp ('t416');
          }
-         $clear_up_to_marker->()
-           if {
-             button => 1, marquee => 1, object => 1,
-           }->{$token->{tag_name}};
          !!!next-token;
          redo B;
        } elsif ($token->{tag_name} eq 'form') {
+         undef $self->{form_element};
          ## has an element in scope
+         my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
            if ($node->[1] eq $token->{tag_name}) {
-             ## generate implied end tags
-             if ({
-                  dd => 1, dt => 1, li => 1, p => 1,
-                  td => 1, th => 1, tr => 1,
-                  tbody => 1, tfoot=> 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!cp ('t417');
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
-             }
              !!!cp ('t418');
+             $i = $_;
              last INSCOPE;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$node->[1]}) {
              !!!cp ('t419');
              last INSCOPE;
            }
          } # INSCOPE
-         if ($self->{open_elements}->[-1]->[1] eq $token->{tag_name}) {
+         unless (defined $i) { # has an element in scope
-           !!!cp ('t420');
-           pop @{$self->{open_elements}};
-         } else {
            !!!cp ('t421');
            !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+         } else {
+           ## Step 1. generate implied end tags
+           while ({
+                   dd => 1, dt => 1, li => 1, p => 1,
+                  }->{$self->{open_elements}->[-1]->[1]}) {
+             !!!cp ('t417');
+             pop @{$self->{open_elements}};
+           }
+           ## Step 2.
+           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+             !!!cp ('t417.1');
+             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+           } else {
+             !!!cp ('t420');
+           }
+           ## Step 3.
+           splice @{$self->{open_elements}}, $i;
          }
-         undef $self->{form_element};
          !!!next-token;
          redo B;
        } elsif ({
-Line 6144 
 sub _tree_construction_main ($) {
+Line 6276 
 sub _tree_construction_main ($) {
            if ({
                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
                }->{$node->[1]}) {
-             ## generate implied end tags
-             if ({
-                  dd => 1, dt => 1, li => 1, p => 1,
-                  td => 1, th => 1, tr => 1,
-                  tbody => 1, tfoot=> 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!cp ('t422');
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
-             }
              !!!cp ('t423');
              $i = $_;
              last INSCOPE;
            } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
                      button => 1, marquee => 1, object => 1, html => 1,
                     }->{$node->[1]}) {
              !!!cp ('t424');
              last INSCOPE;
            }
          } # INSCOPE
-         if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+         unless (defined $i) { # has an element in scope
-           !!!cp ('t425');
+           !!!cp ('t425.1');
            !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
          } else {
-           !!!cp ('t426');
+           ## Step 1. generate implied end tags
+           while ({
+                   dd => 1, dt => 1, li => 1, p => 1,
+                  }->{$self->{open_elements}->[-1]->[1]}) {
+             !!!cp ('t422');
+             pop @{$self->{open_elements}};
+           }
+           ## Step 2.
+           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+             !!!cp ('t425');
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+           } else {
+             !!!cp ('t426');
+           }
+           ## Step 3.
+           splice @{$self->{open_elements}}, $i;
          }
-         splice @{$self->{open_elements}}, $i if defined $i;
+         !!!next-token;
+         redo B;
+       } elsif ($token->{tag_name} eq 'p') {
+         ## has an element in scope
+         my $i;
+         INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           my $node = $self->{open_elements}->[$_];
+           if ($node->[1] eq $token->{tag_name}) {
+             !!!cp ('t410.1');
+             $i = $_;
+             last INSCOPE;
+           } elsif ({
+                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
+                     button => 1, marquee => 1, object => 1, html => 1,
+                    }->{$node->[1]}) {
+             !!!cp ('t411.1');
+             last INSCOPE;
+           }
+         } # INSCOPE
+         if (defined $i) {
+           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+             !!!cp ('t412.1');
+             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+           } else {
+             !!!cp ('t414.1');
+           }
+           splice @{$self->{open_elements}}, $i;
+         } else {
+           !!!cp ('t413.1');
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+           !!!cp ('t415.1');
+           ## As if <p>, then reprocess the current token
+           my $el;
+           !!!create-element ($el, 'p');
+           $insert->($el);
+           ## NOTE: Not inserted into |$self->{open_elements}|.
+         }
          !!!next-token;
          redo B;
        } elsif ({
-Line 6232 
 sub _tree_construction_main ($) {
+Line 6408 
 sub _tree_construction_main ($) {
            if ($node->[1] eq $token->{tag_name}) {
              ## Step 1
              ## generate implied end tags
-             if ({
+             while ({
-                  dd => 1, dt => 1, li => 1, p => 1,
+                     dd => 1, dt => 1, li => 1, p => 1,
-                  td => 1, th => 1, tr => 1,
+                    }->{$self->{open_elements}->[-1]->[1]}) {
-                  tbody => 1, tfoot => 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                !!!cp ('t430');
-               !!!back-token;
+               ## ISSUE: Can this case be reached?
-               $token = {type => END_TAG_TOKEN,
+               pop @{$self->{open_elements}};
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
              }
              ## Step 2
-Line 6287 
 sub _tree_construction_main ($) {
+Line 6459 
 sub _tree_construction_main ($) {
      redo B;
    } # B
-   ## NOTE: The "trailing end" phase in HTML5 is split into
-   ## two insertion modes: "after html body" and "after html frameset".
-   ## NOTE: States in the main stage is preserved while
-   ## the parser stays in the trailing end phase. # MUST
    ## Stop parsing # MUST
    ## TODO: script stuffs
-Line 6333 
 sub set_inner_html ($$$) {
+Line 6500 
 sub set_inner_html ($$$) {
      my $p = $class->new;
      $p->{document} = $doc;
-     ## Step 9 # MUST
+     ## Step 8 # MUST
      my $i = 0;
      my $line = 1;
      my $column = 0;
-Line 6400 
 sub set_inner_html ($$$) {
+Line 6567 
 sub set_inner_html ($$$) {
      $p->{inner_html_node} = [$node, $node_ln];
-     ## Step 4
+     ## Step 3
      my $root = $doc->create_element_ns
        ('http://www.w3.org/1999/xhtml', [undef, 'html']);
-     ## Step 5 # MUST
+     ## Step 4 # MUST
      $doc->append_child ($root);
-     ## Step 6 # MUST
+     ## Step 5 # MUST
      push @{$p->{open_elements}}, [$root, 'html'];
      undef $p->{head_element};
-     ## Step 7 # MUST
+     ## Step 6 # MUST
      $p->_reset_insertion_mode;
-     ## Step 8 # MUST
+     ## Step 7 # MUST
      my $anode = $node;
      AN: while (defined $anode) {
        if ($anode->node_type == 1) {
-Line 6431 
 sub set_inner_html ($$$) {
+Line 6598 
 sub set_inner_html ($$$) {
        $anode = $anode->parent_node;
      } # AN
-     ## Step 3 # MUST
+     ## Step 9 # MUST
-     ## Step 10 # MUST
      {
        my $self = $p;
        !!!next-token;
      }
      $p->_tree_construction_main;
-     ## Step 11 # MUST
+     ## Step 10 # MUST
      my @cn = @{$node->child_nodes};
      for (@cn) {
        $node->remove_child ($_);
      }
      ## ISSUE: mutation events? read-only?
-     ## Step 12 # MUST
+     ## Step 11 # MUST
      @cn = @{$root->child_nodes};
      for (@cn) {
        $this_doc->adopt_node ($_);

 Legend:



Removed from v.1.82
 


changed lines


 
Added in v.1.106
 Legend:



Removed from v.1.82
 


changed lines


 
Added in v.1.106
-Removed from v.1.82
+Added in v.1.106

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24