+ if t.type is TYPE_START_TAG and (t.name is 'pre' or t.name is 'listing')
+ close_p_if_in_button_scope()
+ insert_html_element t
+ # spec: If the next token is a "LF" (U+000A) character token, then
+ # ignore that token and move on to the next one. (Newlines at the
+ # start of pre blocks are ignored as an authoring convenience.)
+ if txt.charAt(cur) is "\u000a" # FIXME check for crlf?
+ cur += 1
+ flag_frameset_ok = false
+ return
+ if t.type is TYPE_START_TAG and t.name is 'form'
+ unless form_element_pointer is null or template_tag_is_open()
+ parse_error()
+ return
+ close_p_if_in_button_scope()
+ el = insert_html_element t
+ unless template_tag_is_open()
+ form_element_pointer = el
+ return
+ if t.type is TYPE_START_TAG and t.name is 'li'
+ flag_frameset_ok = false
+ for node in open_els
+ if node.name is 'li' and node.namespace is NS_HTML
+ generate_implied_end_tags 'li' # arg is exception
+ if open_els[0].name isnt 'li' or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is 'li' and el.namespace is NS_HTML
+ break
+ break
+ if el_is_special_not_adp node
+ break
+ close_p_if_in_button_scope()
+ insert_html_element t
+ return
+ if t.type is TYPE_START_TAG and (t.name is 'dd' or t.name is 'dt')
+ flag_frameset_ok = false
+ for node in open_els
+ if node.name is 'dd' and node.namespace is NS_HTML
+ generate_implied_end_tags 'dd' # arg is exception
+ if open_els[0].name isnt 'dd' or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is 'dd' and el.namespace is NS_HTML
+ break
+ break
+ if node.name is 'dt' and node.namespace is NS_HTML
+ generate_implied_end_tags 'dt' # arg is exception
+ if open_els[0].name isnt 'dt' or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is 'dt' and el.namespace is NS_HTML
+ break
+ break
+ if el_is_special_not_adp node
+ break
+ close_p_if_in_button_scope()
+ insert_html_element t
+ return
+ if t.type is TYPE_START_TAG and t.name is 'plaintext'
+ close_p_if_in_button_scope()
+ insert_html_element t
+ tok_state = tok_state_plaintext
+ return
+ if t.type is TYPE_START_TAG and t.name is 'button'
+ if is_in_scope 'button', NS_HTML
+ parse_error()
+ generate_implied_end_tags()
+ loop
+ el = open_els.shift()
+ if el.name is 'button' and el.namespace is NS_HTML
+ break
+ reconstruct_afe()
+ insert_html_element t
+ flag_frameset_ok = false
+ return
+ if t.type is TYPE_END_TAG and (t.name is 'address' or t.name is 'article' or t.name is 'aside' or t.name is 'blockquote' or t.name is 'button' or t.name is 'center' or t.name is 'details' or t.name is 'dialog' or t.name is 'dir' or t.name is 'div' or t.name is 'dl' or t.name is 'fieldset' or t.name is 'figcaption' or t.name is 'figure' or t.name is 'footer' or t.name is 'header' or t.name is 'hgroup' or t.name is 'listing' or t.name is 'main' or t.name is 'nav' or t.name is 'ol' or t.name is 'pre' or t.name is 'section' or t.name is 'summary' or t.name is 'ul')
+ unless is_in_scope t.name, NS_HTML
+ parse_error()
+ return
+ generate_implied_end_tags()
+ unless open_els[0].name is t.name and open_els[0].namespace is NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is t.name and el.namespace is NS_HTML
+ return
+ return
+ if t.type is TYPE_END_TAG and t.name is 'form'
+ unless template_tag_is_open()
+ node = form_element_pointer
+ form_element_pointer = null
+ if node is null or not el_is_in_scope node
+ parse_error()
+ return
+ generate_implied_end_tags()
+ if open_els[0] isnt node
+ parse_error()
+ for el, i in open_els
+ if el is node
+ open_els.splice i, 1
+ break
+ else
+ unless is_in_scope 'form', NS_HTML
+ parse_error()
+ return
+ generate_implied_end_tags()
+ if open_els[0].name isnt 'form' or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is 'form' and el.namespace is NS_HTML
+ break
+ return
+ if t.type is TYPE_END_TAG and t.name is 'p'
+ unless is_in_button_scope 'p', NS_HTML
+ parse_error()
+ insert_html_element new_open_tag 'p'
+ close_p_element()
+ return
+ if t.type is TYPE_END_TAG and t.name is 'li'
+ unless is_in_li_scope 'li', NS_HTML
+ parse_error()
+ return
+ generate_implied_end_tags 'li' # arg is exception
+ if open_els[0].name isnt 'li' or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is 'li' and el.namespace is NS_HTML
+ break
+ return
+ if t.type is TYPE_END_TAG and (t.name is 'dd' or t.name is 'dt')
+ unless is_in_scope t.name, NS_HTML
+ parse_error()
+ return
+ generate_implied_end_tags t.name # arg is exception
+ if open_els[0].name isnt t.name or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if el.name is t.name and el.namespace is NS_HTML
+ break
+ return
+ if t.type is TYPE_END_TAG and h_tags[t.name]?
+ h_in_scope = false
+ for el in open_els
+ if h_tags[el.name] is el.namespace
+ h_in_scope = true
+ break
+ if standard_scopers[el.name] is el.namespace
+ break
+ unless h_in_scope
+ parse_error()
+ return
+ generate_implied_end_tags()
+ if open_els[0].name isnt t.name or open_els[0].namespace isnt NS_HTML
+ parse_error()
+ loop
+ el = open_els.shift()
+ if h_tags[el.name] is el.namespace
+ break
+ return
+ # deep breath!