| 2106 |
} else { |
} else { |
| 2107 |
die "$0: $token->{type}: Unknown token type"; |
die "$0: $token->{type}: Unknown token type"; |
| 2108 |
} |
} |
| 2109 |
|
## TODO: application cache selection algorithm |
| 2110 |
my $root_element; !!!create-element ($root_element, 'html'); |
my $root_element; !!!create-element ($root_element, 'html'); |
| 2111 |
$self->{document}->append_child ($root_element); |
$self->{document}->append_child ($root_element); |
| 2112 |
push @{$self->{open_elements}}, [$root_element, 'html']; |
push @{$self->{open_elements}}, [$root_element, 'html']; |