JasonWoof Got questions, comments, patches, etc.? Contact Jason Woofenden
switch to tests from html5lib-tests/tree-construction
[peach-html5-editor.git] / parse-html.coffee
index 25fa20d..385a2a0 100644 (file)
 #   0: a "end of the list", "current node", "bottommost", "last"
 
 
+# browser
+# note: to get this to run outside a browser, you'll have to write a native
+# implementation of decode_named_char_ref()
+unless module?.exports?
+       window.wheic = {}
+       module = exports: window.wheic
 
 # Each node is an obect of the Node class. Here are the Node types:
 TYPE_TAG = 0 # name, {attributes}, [children]
@@ -85,6 +91,7 @@ class Node
                @children = args.children ? []
                @namespace = args.namespace ? NS_HTML
                @parent = args.parent ? null
+               @token = args.token ? null
                if args.id?
                        @id = "#{args.id}+"
                else
@@ -93,7 +100,14 @@ class Node
                # WARNING this doesn't work right on open tags that are still being parsed
                attrs = {}
                attrs[k] = v for k, v of @attrs
-               return new Node @type, name: @name, text: @text, attrs: attrs, namespace: @namespace, id: @id
+               return new Node @type, name: @name, text: @text, attrs: attrs, namespace: @namespace, id: @id, token: @token
+       acknowledge_self_closing: ->
+               if @token?
+                       @token.flag 'did_self_close'
+               else
+                       @flag 'did_self_close', true
+       flag: ->
+               # fixfull
        serialize: (shallow = false, show_ids = false) -> # for unit tests
                ret = ''
                switch @type
@@ -105,8 +119,17 @@ class Node
                                        ret += "##{@id},"
                                if shallow
                                        break
-                               ret += JSON.stringify @attrs
-                               ret += ',['
+                               attr_keys = []
+                               for k of @attrs
+                                       attr_keys.push k
+                               attr_keys.sort()
+                               ret += '{'
+                               sep = ''
+                               for k in attr_keys
+                                       ret += sep
+                                       sep = ','
+                                       ret += "#{JSON.stringify k}:#{JSON.stringify @attrs[k]}"
+                               ret += '},['
                                sep = ''
                                for c in @children
                                        ret += sep
@@ -140,6 +163,7 @@ new_element = (name) ->
        return new Node TYPE_TAG, name: name
 new_text_node = (txt) ->
        return new Node TYPE_TEXT, text: txt
+new_character_token = new_text_node
 new_comment_node = (txt) ->
        return new Node TYPE_COMMENT, text: txt
 new_eof_token = ->
@@ -149,8 +173,8 @@ new_afe_marker = ->
 new_aaa_bookmark = ->
        return new Node TYPE_AAA_BOOKMARK
 
-lc_alpha = "abcdefghijklmnopqrstuvwxqz"
-uc_alpha = "ABCDEFGHIJKLMNOPQRSTUVWXQZ"
+lc_alpha = "abcdefghijklmnopqrstuvwxyz"
+uc_alpha = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
 digits = "0123456789"
 alnum = lc_alpha + uc_alpha + digits
 hex_chars = digits + "abcdefABCDEF"
@@ -160,6 +184,10 @@ tag_name_chars = alnum + "-"
 
 # http://www.w3.org/TR/html5/infrastructure.html#space-character
 space_chars = "\u0009\u000a\u000c\u000d\u0020"
+is_space = (txt) ->
+       return txt.length is 1 and space_chars.indexOf(txt) > -1
+is_space_tok = (t) ->
+       return t.type is TYPE_TEXT && t.text.length is 1 and space_chars.indexOf(t.text) > -1
 
 # https://en.wikipedia.org/wiki/Whitespace_character#Unicode
 whitespace_chars = "\u0009\u000a\u000b\u000c\u000d\u0020\u0085\u00a0\u1680\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u2028\u2029\u202f\u205f\u3000"
@@ -301,9 +329,7 @@ end_tag_implied = {
 }
 
 el_is_special = (e) ->
-       return special_elements[e.name]?
-       # FIXME it should really be:
-       #return special_elements[e.name] is e.namespace
+       return special_elements[e.name] is e.namespace
 
 # decode_named_char_ref()
 #
@@ -329,17 +355,27 @@ decode_named_char_ref = (txt) ->
 
 parse_html = (txt, parse_error_cb = null) ->
        cur = 0 # index of next char in txt to be parsed
-       # declare tree and tokenizer variables so they're in scope below
-       tree = null
-       open_els = [] # stack of open elements
+       # declare doc and tokenizer variables so they're in scope below
+       doc = null
+       open_els = null # stack of open elements
+       afe = null # active formatting elements
+       template_insertion_modes = null
        insertion_mode = null
+       original_insertion_mode = null
        tok_state = null
        tok_cur_tag = null # partially parsed tag
+       flag_scripting = null
        flag_frameset_ok = null
        flag_parsing = null
        flag_foster_parenting = null
        form_element_pointer = null
-       afe = [] # active formatting elements
+       temporary_buffer = null
+       pending_table_character_tokens = null
+       head_element_pointer = null
+       flag_fragment_parsing = null
+
+       stop_parsing = ->
+               flag_parsing = false
 
        parse_error = ->
                if parse_error_cb?
@@ -347,6 +383,21 @@ parse_html = (txt, parse_error_cb = null) ->
                else
                        console.log "Parse error at character #{cur} of #{txt.length}"
 
+       afe_push = (new_el) ->
+               matches = 0
+               for el, i in afe
+                       if el.name is new_el.name and el.namespace is new_el.namespace
+                               for k, v of el.attrs
+                                       continue unless new_el.attrs[k] is v
+                               for k, v of new_el.attrs
+                                       continue unless el.attrs[k] is v
+                               matches += 1
+                               if matches is 3
+                                       afe.splice i, 1
+                                       break
+               afe.unshift new_el
+       afe_push_marker = ->
+               afe.unshift new_afe_marker()
 
        # the functions below impliment the Tree Contstruction algorithm
        # http://www.w3.org/TR/html5/syntax.html#tree-construction
@@ -408,6 +459,47 @@ parse_html = (txt, parse_error_cb = null) ->
                                return false
                return false
 
+       clear_to_table_stopers = {
+               'table': true
+               'template': true
+               'html': true
+       }
+       clear_stack_to_table_context = ->
+               loop
+                       if clear_to_table_stopers[open_els[0].name]?
+                               break
+                       open_els.shift()
+               return
+       clear_to_table_body_stopers = {
+               'tbody': true
+               'tfoot': true
+               'thead': true
+               'template': true
+               'html': true
+       }
+       clear_stack_to_table_body_context = ->
+               loop
+                       if clear_to_table_body_stopers[open_els[0].name]?
+                               break
+                       open_els.shift()
+               return
+       clear_to_table_row_stopers = {
+               'tr': true
+               'template': true
+               'html': true
+       }
+       clear_stack_to_table_row_context = ->
+               loop
+                       if clear_to_table_row_stopers[open_els[0].name]?
+                               break
+                       open_els.shift()
+               return
+       clear_afe_to_marker = ->
+               loop
+                       el = afe.shift()
+                       if el.type is TYPE_AFE_MARKER
+                               return
+
        # 8.2.3.1 ...
        # http://www.w3.org/TR/html5/syntax.html#reset-the-insertion-mode-appropriately
        reset_insertion_mode = ->
@@ -563,7 +655,7 @@ parse_html = (txt, parse_error_cb = null) ->
        #   http://www.w3.org/TR/html5/syntax.html#unclosed-formatting-elements
        adoption_agency = (subject) ->
                debug_log "adoption_agency()"
-               debug_log "tree: #{serialize_els tree.children, false, true}"
+               debug_log "tree: #{serialize_els doc.children, false, true}"
                debug_log "open_els: #{serialize_els open_els, true, true}"
                debug_log "afe: #{serialize_els afe, true, true}"
                if open_els[0].name is subject
@@ -675,7 +767,7 @@ parse_html = (txt, parse_error_cb = null) ->
                                                break
                                node = node_next ? node_above
                                debug_log "inner loop #{inner}"
-                               debug_log "tree: #{serialize_els tree.children, false, true}"
+                               debug_log "tree: #{serialize_els doc.children, false, true}"
                                debug_log "open_els: #{serialize_els open_els, true, true}"
                                debug_log "afe: #{serialize_els afe, true, true}"
                                debug_log "ca: #{ca.name}##{ca.id} children: #{serialize_els ca.children, true, true}"
@@ -769,7 +861,7 @@ parse_html = (txt, parse_error_cb = null) ->
                        # at the appropriate place for inserting a node, but using common
                        # ancestor as the override target.
 
-                       # JASON: In the case where fe is immediately followed by fb:
+                       # In the case where fe is immediately followed by fb:
                        #   * inner loop exits out early (node==fe)
                        #   * last_node is fb
                        #   * last_node is still in the tree (not a duplicate)
@@ -786,7 +878,7 @@ parse_html = (txt, parse_error_cb = null) ->
                        debug_log "fe: #{fe.name}##{fe.id} children: #{serialize_els fe.children, true, true}"
                        debug_log "fb: #{fb.name}##{fb.id} children: #{serialize_els fb.children, true, true}"
                        debug_log "last_node: #{last_node.name}##{last_node.id} children: #{serialize_els last_node.children, true, true}"
-                       debug_log "tree: #{serialize_els tree.children, false, true}"
+                       debug_log "tree: #{serialize_els doc.children, false, true}"
 
                        debug_log "insert"
 
@@ -802,7 +894,7 @@ parse_html = (txt, parse_error_cb = null) ->
                        debug_log "fe: #{fe.name}##{fe.id} children: #{serialize_els fe.children, true, true}"
                        debug_log "fb: #{fb.name}##{fb.id} children: #{serialize_els fb.children, true, true}"
                        debug_log "last_node: #{last_node.name}##{last_node.id} children: #{serialize_els last_node.children, true, true}"
-                       debug_log "tree: #{serialize_els tree.children, false, true}"
+                       debug_log "tree: #{serialize_els doc.children, false, true}"
 
                        # 15. Create an element for the token for which formatting element
                        # was created, in the HTML namespace, with furthest block as the
@@ -842,13 +934,12 @@ parse_html = (txt, parse_error_cb = null) ->
                                        break
                        # 20. Jump back to the step labeled outer loop.
                        debug_log "done wrapping fb's children. new_element: #{new_element.name}##{new_element.id}"
-                       debug_log "tree: #{serialize_els tree.children, false, true}"
+                       debug_log "tree: #{serialize_els doc.children, false, true}"
                        debug_log "open_els: #{serialize_els open_els, true, true}"
                        debug_log "afe: #{serialize_els afe, true, true}"
                debug_log "AAA DONE"
 
        # http://www.w3.org/TR/html5/syntax.html#close-a-p-element
-       # FIXME test this (particularly emplied end tags)
        close_p_element = ->
                generate_implied_end_tags 'p' # arg is exception
                if open_els[0].name isnt 'p'
@@ -859,10 +950,11 @@ parse_html = (txt, parse_error_cb = null) ->
                                return
        close_p_if_in_button_scope = ->
                if is_in_button_scope 'p'
-                       close_a_p_element()
+                       close_p_element()
 
        # http://www.w3.org/TR/html5/syntax.html#insert-a-character
-       tree_insert_text = (t) ->
+       # aka insert_a_character = (t) ->
+       insert_character = (t) ->
                dest = adjusted_insertion_location()
                # fixfull check for Document node
                if dest[1] > 0
@@ -973,7 +1065,7 @@ parse_html = (txt, parse_error_cb = null) ->
                while t.attrs_a.length
                        a = t.attrs_a.pop()
                        attrs[a[0]] = a[1] # TODO check what to do with dupilcate attrs
-               el = new Node TYPE_TAG, name: t.name, namespace: namespace, attrs: attrs
+               el = new Node TYPE_TAG, name: t.name, namespace: namespace, attrs: attrs, token: t
 
                # TODO 2. If the newly created element has an xmlns attribute in the
                # XMLNS namespace whose value is not exactly the same as the element's
@@ -1022,17 +1114,256 @@ parse_html = (txt, parse_error_cb = null) ->
 
        # http://www.w3.org/TR/html5/syntax.html#insert-a-comment
        # position should be [node, index_within_children]
-       tree_insert_a_comment = (t, position = null) ->
+       insert_comment = (t, position = null) ->
                position ?= adjusted_insertion_location()
                position[0].children.splice position[1], 0, t
 
+       # 8.2.5.2
+       # http://www.w3.org/TR/html5/syntax.html#generic-raw-text-element-parsing-algorithm
+       parse_generic_raw_text = (t) ->
+               insert_html_element t
+               tok_state = tok_state_rawtext
+               original_insertion_mode = insertion_mode
+               insertion_mode = ins_mode_text
+       parse_generic_rcdata_text = (t) ->
+               insert_html_element t
+               tok_state = tok_state_rcdata
+               original_insertion_mode = insertion_mode
+               insertion_mode = ins_mode_text
+
        # 8.2.5.3 http://www.w3.org/TR/html5/syntax.html#closing-elements-that-have-implied-end-tags
        # http://www.w3.org/TR/html5/syntax.html#generate-implied-end-tags
        generate_implied_end_tags = (except = null) ->
                while end_tag_implied[open_els[0].name] and open_els[0].name isnt except
                        open_els.shift()
 
-       # 8.2.5.4 http://www.w3.org/TR/html5/syntax.html#parsing-main-inbody
+       # 8.2.5.4 The rules for parsing tokens in HTML content
+       # http://www.w3.org/TR/html5/syntax.html#parsing-main-inhtml
+
+       # 8.2.5.4.1 The "initial" insertion mode
+       # http://www.w3.org/TR/html5/syntax.html#the-initial-insertion-mode
+       ins_mode_initial = (t) ->
+               if is_space_tok t
+                       return
+               if t.type is TYPE_COMMENT
+                       # fixfull this is supposed to be "the last child of the document object"
+                       doc.children.push t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       # fixfull
+                       t.name = 'html'
+                       doc.children.push t
+                       insertion_mode = ins_mode_before_html
+                       return
+               # Anything else
+               #fixfull (iframe, quirks)
+               insertion_mode = ins_mode_before_html
+               insertion_mode t # reprocess the token
+               return
+
+       # 8.2.5.4.2 http://www.w3.org/TR/html5/syntax.html#the-before-html-insertion-mode
+       ins_mode_before_html = (t) ->
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_COMMENT
+                       doc.children.push t
+                       return
+               if is_space_tok t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       el = token_to_element t, NS_HTML, doc
+                       open_els.unshift(el)
+                       # fixfull (big paragraph in spec about manifest, fragment, urls, etc)
+                       insertion_mode = ins_mode_before_head
+                       return
+               if t.type is TYPE_END_TAG
+                       if t.name is 'head' or t.name is 'body' or t.name is 'html' or t.name is 'br'
+                               # fall through to "anything else"
+                       else
+                               parse_error()
+                               return
+               # Anything else
+               html_tok = new_open_tag 'html'
+               el = token_to_element html_tok, NS_HTML, doc
+               doc.children.push el
+               open_els.unshift el
+               # ?fixfull browsing context
+               insertion_mode = ins_mode_before_head
+               insertion_mode t
+               return
+
+       # 8.2.5.4.3 http://www.w3.org/TR/html5/syntax.html#the-before-head-insertion-mode
+       ins_mode_before_head = (t) ->
+               if is_space_tok t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'head'
+                       el = insert_html_element t
+                       head_element_pointer = el
+                       insertion_mode = ins_mode_in_head
+               if t.type is TYPE_END_TAG
+                       if t.name is 'head' or t.name is 'body' or t.name is 'html' or t.name is 'br'
+                               # fall through to Anything else below
+                       else
+                               parse_error()
+                               return
+               # Anything else
+               head_tok = new_open_tag 'head'
+               el = insert_html_element head_tok
+               head_element_pointer = el
+               insertion_mode = ins_mode_in_head
+               insertion_mode t # reprocess current token
+
+       # 8.2.5.4.4 http://www.w3.org/TR/html5/syntax.html#parsing-main-inhead
+       ins_mode_in_head_else = (t) -> # factored out for same-as-spec flow control
+               open_els.shift() # spec says this will be a 'head' node
+               insertion_mode = ins_mode_after_head
+               insertion_mode t
+       ins_mode_in_head = (t) ->
+               if t.type is TYPE_TEXT and (t.text is "\t" or t.text is "\n" or t.text is "\u000c" or t.text is ' ')
+                       insert_character t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_START_TAG and (t.name is 'base' or t.name is 'basefont' or t.name is 'bgsound' or t.name is 'link')
+                       el = insert_html_element t
+                       open_els.shift()
+                       t.acknowledge_self_closing()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'meta'
+                       el = insert_html_element t
+                       open_els.shift()
+                       t.acknowledge_self_closing()
+                       # fixfull encoding stuff
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'title'
+                       parse_generic_rcdata_element t
+                       return
+               if t.type is TYPE_START_TAG and ((t.name is 'noscript' and flag_scripting) or (t.name is 'noframes' or t.name is 'style'))
+                       parse_generic_raw_text t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'noscript' and flag_scripting is false
+                       insert_html_element t
+                       insertion_mode = in_head_noscript # FIXME implement
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'script'
+                       ail = adjusted_insertion_location()
+                       el = token_to_element t, NS_HTML, ail
+                       el.flag_parser_inserted true # FIXME implement
+                       # fixfull frament case
+                       ail[0].children.splice ail[1], 0, el
+                       open_els.unshift el
+                       tok_state = tok_state_script_data
+                       original_insertion_mode = insertion_mode # make sure orig... is defined
+                       insertion_mode = ins_mode_text # FIXME implement
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'head'
+                       open_els.shift() # will be a head element... spec says so
+                       insertion_mode = ins_mode_after_head
+                       return
+               if t.type is TYPE_END_TAG and (t.name is 'body' or t.name is 'html' or t.name is 'br')
+                       ins_mode_in_head_else t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'template'
+                       insert_html_element t
+                       afe_push_marker()
+                       flag_frameset_ok = false
+                       insertion_mode = ins_mode_in_template
+                       template_insertion_modes.unshift ins_mode_in_template # FIXME implement
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'template'
+                       if template_tag_is_open()
+                               generate_implied_end_tags
+                               if open_els[0].name isnt 'template'
+                                       parse_error()
+                               loop
+                                       el = open_els.shift()
+                                       if el.name is 'template'
+                                               break
+                               clear_afe_to_marker()
+                               template_insertion_modes.shift()
+                               reset_insertion_mode()
+                       else
+                               parse_error()
+                       return
+               if (t.type is TYPE_START_TAG and t.name is 'head') or t.type is TYPE_END_TAG
+                       parse_error()
+                       return
+               ins_mode_in_head_else t
+       
+       # 8.2.5.4.5 http://www.w3.org/TR/html5/syntax.html#parsing-main-inheadnoscript
+       ins_mode_in_head_noscript = (t) ->
+               # FIXME ?fixfull
+               console.log "ins_mode_in_head_noscript unimplemented"
+       
+       # 8.2.5.4.6 http://www.w3.org/TR/html5/syntax.html#the-after-head-insertion-mode
+       ins_mode_after_head_else = (t) ->
+               body_tok = new_open_tag 'body'
+               insert_html_element body_tok
+               insertion_mode = ins_mode_in_body
+               insertion_mode t # reprocess token
+               return
+       ins_mode_after_head = (t) ->
+               if is_space_tok t
+                       insert_character t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'body'
+                       insert_html_element t
+                       flag_frameset_ok = false
+                       insertion_mode = ins_mode_in_body
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'frameset'
+                       insert_html_element t
+                       insertion_mode = ins_mode_in_frameset
+                       return
+               if t.type is TYPE_START_TAG and (t.name is 'base' or t.name is 'basefont' or t.name is 'bgsound' or t.name is 'link' or t.name is 'meta' or t.name is 'noframes' or t.name is 'script' or t.name is 'style' or t.name is 'template' or t.name is 'title')
+                       parse_error()
+                       open_els.unshift head_element_pointer
+                       ins_mode_in_head t
+                       for el, i of open_els
+                               if el is head_element_pointer
+                                       open_els.splice i, 1
+                                       return
+                       console.log "warning: 23904 couldn't find head element in open_els"
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'template'
+                       ins_mode_in_head t
+                       return
+               if t.type is TYPE_END_TAG and (t.name is 'body' or t.name is 'html' or t.name is 'br')
+                       ins_mode_after_head_else t
+                       return
+               if (t.type is TYPE_START_TAG and t.name is 'head') or t.type is TYPE_END_TAG
+                       parse_error()
+                       return
+               # Anything else
+               ins_mode_after_head_else t
+
+       # 8.2.5.4.7 http://www.w3.org/TR/html5/syntax.html#parsing-main-inbody
        in_body_any_other_end_tag = (name) -> # factored out because adoption agency calls it
                for node, i in open_els
                        if node.name is name # FIXME check namespace too
@@ -1053,13 +1384,13 @@ parse_html = (txt, parse_error_cb = null) ->
                                                parse_error()
                                        when "\t", "\u000a", "\u000c", "\u000d", ' '
                                                reconstruct_active_formatting_elements()
-                                               tree_insert_text t
+                                               insert_character t
                                        else
                                                reconstruct_active_formatting_elements()
-                                               tree_insert_text t
+                                               insert_character t
                                                flag_frameset_ok = false
                        when TYPE_COMMENT
-                               tree_insert_a_comment t
+                               insert_comment t
                        when TYPE_DOCTYPE
                                parse_error()
                        when TYPE_START_TAG
@@ -1072,7 +1403,7 @@ parse_html = (txt, parse_error_cb = null) ->
                                                        root_attrs[k] = v unless root_attrs[k]?
                                        when 'base', 'basefont', 'bgsound', 'link', 'meta', 'noframes', 'script', 'style', 'template', 'title'
                                                # FIXME also do this for </template> (end tag)
-                                               return tree_in_head t
+                                               return ins_mode_in_head t
                                        when 'body'
                                                parse_error()
                                                # TODO
@@ -1117,11 +1448,11 @@ parse_html = (txt, parse_error_cb = null) ->
                                                                        open_els.splice i, 1
                                                reconstruct_active_formatting_elements()
                                                el = insert_html_element t
-                                               afe.unshift el
+                                               afe_push el
                                        when 'b', 'big', 'code', 'em', 'font', 'i', 's', 'small', 'strike', 'strong', 'tt', 'u'
                                                reconstruct_active_formatting_elements()
                                                el = insert_html_element t
-                                               afe.unshift el
+                                               afe_push el
                                        when 'table'
                                                # fixfull quirksmode thing
                                                close_p_if_in_button_scope()
@@ -1141,7 +1472,7 @@ parse_html = (txt, parse_error_cb = null) ->
                                                parse_error()
                                                break
                                # TODO stack of template insertion modes thing
-                               flag_parsing = false # stop parsing
+                               stop_parsing()
                        when TYPE_END_TAG
                                switch t.name
                                        when 'body'
@@ -1184,53 +1515,43 @@ parse_html = (txt, parse_error_cb = null) ->
                flag_foster_parenting = true # FIXME
                ins_mode_in_body t
                flag_foster_parenting = false
-       can_in_table = {
+       can_in_table = { # FIXME do this inline like everywhere else
                'table': true
                'tbody': true
                'tfoot': true
                'thead': true
                'tr': true
        }
-       clear_to_table_stopers = {
-               'table': true
-               'template': true
-               'html': true
-       }
-       clear_stack_to_table_context = ->
-               loop
-                       if clear_to_table_stopers[open_els[0].name]?
-                               break
+
+       # 8.2.5.4.8 http://www.w3.org/TR/html5/syntax.html#parsing-main-incdata
+       ins_mode_text = (t) ->
+               if t.type is TYPE_TEXT
+                       insert_character t
+                       return
+               if t.type is TYPE_EOF
+                       parse_error()
+                       if open_els[0].name is 'script'
+                               open_els[0].flag 'already started', true
                        open_els.shift()
-               return
-       clear_to_table_body_stopers = {
-               'tbody': true
-               'tfoot': true
-               'thead': true
-               'template': true
-               'html': true
-       }
-       clear_stack_to_table_body_context = ->
-               loop
-                       if clear_to_table_body_stopers[open_els[0].name]?
-                               break
+                       insertion_mode = original_insertion_mode
+                       insertion_mode t
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'script'
                        open_els.shift()
-               return
-       clear_to_table_row_stopers = {
-               'tr': true
-               'template': true
-               'html': true
-       }
-       clear_stack_to_table_row_context = ->
-               loop
-                       if clear_to_table_row_stopers[open_els[0].name]?
-                               break
+                       insertion_mode = original_insertion_mode
+                       # fixfull the spec seems to assume that I'm going to run the script
+                       # http://www.w3.org/TR/html5/syntax.html#scriptEndTag
+                       return
+               if t.type is TYPE_END_TAG
                        open_els.shift()
-               return
-       clear_afe_to_marker = ->
-               loop
-                       el = afe.shift()
-                       if el.type is TYPE_AFE_MARKER
-                               return
+                       insertion_mode = original_insertion_mode
+                       return
+               console.log 'warning: end of ins_mode_text reached'
+
+       # the functions below implement the tokenizer stats described here:
+       # http://www.w3.org/TR/html5/syntax.html#tokenization
+
+       # 8.2.5.4.9 http://www.w3.org/TR/html5/syntax.html#parsing-main-intable
        ins_mode_in_table = (t) ->
                switch t.type
                        when TYPE_TEXT
@@ -1241,14 +1562,14 @@ parse_html = (txt, parse_error_cb = null) ->
                                else
                                        ins_mode_in_table_else t
                        when TYPE_COMMENT
-                               tree_insert_a_comment t
+                               insert_comment t
                        when TYPE_DOCTYPE
                                parse_error()
                        when TYPE_START_TAG
                                switch t.name
                                        when 'caption'
                                                clear_stack_to_table_context()
-                                               afe.unshift new_afe_marker()
+                                               afe_push_marker()
                                                insert_html_element t
                                                insertion_mode = ins_mode_in_caption
                                        when 'colgroup'
@@ -1285,9 +1606,9 @@ parse_html = (txt, parse_error_cb = null) ->
                                                        ins_mode_in_table_else t
                                                else
                                                        parse_error()
-                                                       insert_html_element t
+                                                       el = insert_html_element t
                                                        open_els.shift()
-                                                       # fixfull acknowledge sef-closing flag
+                                                       t.acknowledge_self_closing()
                                        when 'form'
                                                parse_error()
                                                if form_element_pointer?
@@ -1321,20 +1642,116 @@ parse_html = (txt, parse_error_cb = null) ->
                                ins_mode_in_table_else t
 
 
+       # 8.2.5.4.10 http://www.w3.org/TR/html5/syntax.html#parsing-main-intabletext
        ins_mode_in_table_text = (t) ->
-               switch t.type
-                       when TYPE_TEXT
-                               switch t.text
-                                       when "\u0000"
-                                               parse_error()
-                                               return
-               console.log "unimplemented ins_mode_in_table_text"
-               # FIXME CONTINUE
+               if t.type is TYPE_TEXT and t.text is "\u0000"
+                       # huh? I thought the tokenizer didn't emit these
+                       parse_error()
+                       return
+               if t.type is TYPE_TEXT
+                       pending_table_character_tokens.push t
+                       return
+               # Anything else
+               all_space = true
+               for old in pending_table_character_tokens
+                       unless is_space_tok old
+                               all_space = false
+                               break
+               if all_space
+                       for old in pending_table_character_tokens
+                               insert_character old
+               else
+                       for old in pending_table_character_tokens
+                               ins_mode_table_else old
+               pending_table_character_tokens = [] # FIXME test (spec doesn't say this)
+               insertion_mode = original_insertion_mode
+               insertion_mode t
+
+       # 8.2.5.4.11 http://www.w3.org/TR/html5/syntax.html#parsing-main-incaption
+       ins_mode_in_caption = (t) ->
+               if t.type is TYPE_END_TAG and t.name is 'caption'
+                       if is_in_table_scope 'caption'
+                               generate_implied_end_tags()
+                               if open_els[0].name isnt 'caption'
+                                       parse_error()
+                               loop
+                                       el = open_els.shift()
+                                       if el.name is 'caption'
+                                               break
+                               clear_afe_to_marker()
+                               insertion_mode = in_table
+                       else
+                               parse_error()
+                               # fragment case
+                       return
+               if (t.type is TYPE_START_TAG and (t.name is 'caption' or t.name is 'col' or t.name is 'colgroup' or t.name is 'tbody' or t.name is 'td' or t.name is 'tfoot' or t.name is 'th' or t.name is 'thead' or t.name is 'tr')) or t.type is TYPE_END_TAG and t.name is 'table'
+                       parse_error()
+                       if is_in_table_scope 'caption'
+                               loop
+                                       el = open_els.shift()
+                                       if el.name is 'caption'
+                                               break
+                               clear_afe_to_marker()
+                               insertion_mode = in_table
+                               insertion_mode t
+                       # else fragment case
+                       return
+               if t.type is TYPE_END_TAG and (t.name is 'body' or t.name is 'col' or t.name is 'colgroup' or t.name is 'html' or t.name is 'tbody' or t.name is 'td' or t.name is 'tfoot' or t.name is 'th' or t.name is 'thead' or t.name is 'tr')
+                       parse_error()
+                       return
+               # Anything else
+               ins_mode_in_body t
 
+       # 8.2.5.4.12 http://www.w3.org/TR/html5/syntax.html#parsing-main-incolgroup
+       ins_mode_in_column_group = (t) ->
+               if is_space_tok t
+                       insert_character t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'col'
+                       el = insert_html_element t
+                       open_els.shift()
+                       t.acknowledge_self_closing()
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'colgroup'
+                       if open_els[0].name is 'colgroup'
+                               open_els[0].shift()
+                               insertion_mode = ins_mode_in_table
+                       else
+                               parse_error()
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'col'
+                       parse_error()
+                       return
+               if (t.type is TYPE_START_TAG or t.type is TYPE_END_TAG) and t.name is 'template'
+                       ins_mode_in_head t
+                       return
+               if t.type is TYPE_EOF
+                       ins_mode_in_body t
+                       return
+               # Anything else
+               if open_els[0].name isnt 'colgroup'
+                       parse_error()
+                       return
+               open_els.shift()
+               insertion_mode = ins_mode_in_table
+               insertion_mode t
+               return
+
+       # 8.2.5.4.13 http://www.w3.org/TR/html5/syntax.html#parsing-main-intbody
        ins_mode_in_table_body = (t) ->
                if t.type is TYPE_START_TAG and t.name is 'tr'
                        clear_stack_to_table_body_context()
                        insert_html_element t
+                       insertion_mode = ins_mode_in_row
                        return
                if t.type is TYPE_START_TAG and (t.name is 'th' or t.name is 'td')
                        parse_error()
@@ -1373,12 +1790,13 @@ parse_html = (txt, parse_error_cb = null) ->
                # Anything else
                ins_mode_in_table t
 
+       # 8.2.5.4.14 http://www.w3.org/TR/html5/syntax.html#parsing-main-intr
        ins_mode_in_row = (t) ->
                if t.type is TYPE_START_TAG and (t.name is 'th' or t.name is 'td')
                        clear_stack_to_table_row_context()
                        insert_html_element t
                        insertion_mode = ins_mode_in_cell
-                       afe.unshift new_afe_marker()
+                       afe_push_marker()
                        return
                if t.type is TYPE_END_TAG and t.name is 'tr'
                        if is_in_table_scope 'tr'
@@ -1425,7 +1843,7 @@ parse_html = (txt, parse_error_cb = null) ->
                clear_afe_to_marker()
                insertion_mode = ins_mode_in_row
 
-       # http://www.w3.org/TR/html5/syntax.html#parsing-main-intd
+       # 8.2.5.4.15 http://www.w3.org/TR/html5/syntax.html#parsing-main-intd
        ins_mode_in_cell = (t) ->
                if t.type is TYPE_END_TAG and (t.name is 'td' or t.name is 'th')
                        if is_in_table_scope t.name
@@ -1468,15 +1886,311 @@ parse_html = (txt, parse_error_cb = null) ->
                # Anything Else
                ins_mode_in_body t
 
+       # 8.2.5.4.16 http://www.w3.org/TR/html5/syntax.html#parsing-main-inselect
+       ins_mode_in_select = (t) ->
+               if t.type is TYPE_TEXT and t.text is "\u0000"
+                       parse_error()
+                       return
+               if t.type is TYPE_TEXT
+                       insert_character t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'option'
+                       if open_els[0].name is 'option'
+                               open_els.shift()
+                       insert_html_element t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'optgroup'
+                       if open_els[0].name is 'option'
+                               open_els.shift()
+                       if open_els[0].name is 'optgroup'
+                               open_els.shift()
+                       insert_html_element t
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'optgroup'
+                       if open_els[0].name is 'option' and open_els[1].name is 'optgroup'
+                               open_els.shift()
+                       if open_els[0].name is 'optgroup'
+                               open_els.shift()
+                       else
+                               parse_error()
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'option'
+                       if open_els[0].name is 'option'
+                               open_els.shift()
+                       else
+                               parse_error()
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'select'
+                       if is_in_select_scope 'select'
+                               loop
+                                       el = open_els.shift()
+                                       if el.name is 'select'
+                                               break
+                               reset_insertion_mode()
+                       else
+                               parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'select'
+                       parse_error()
+                       loop
+                               el = open_els.shift()
+                               if el.name is 'select'
+                                       break
+                       reset_insertion_mode()
+                       # spec says that this is the same as </select> but it doesn't say
+                       # to check scope first
+                       return
+               if t.type is TYPE_START_TAG and (t.name is 'input' or t.name is 'keygen' or t.name is 'textarea')
+                       parse_error()
+                       if is_in_select_scope 'select'
+                               return
+                       loop
+                               el = open_els.shift()
+                               if el.name is 'select'
+                                       break
+                       reset_insertion_mode()
+                       insertion_mode t
+                       return
+               if t.type is TYPE_START_TAG and (t.name is 'script' or t.name is 'template')
+                       ins_mode_in_head t
+                       return
+               if t.type is TYPE_EOF
+                       ins_mode_in_body t
+                       return
+               # Anything else
+               parse_error()
+               return
+
+       # 8.2.5.4.17 http://www.w3.org/TR/html5/syntax.html#parsing-main-inselectintable
+       ins_mode_in_select_in_table = (t) ->
+               if t.type is TYPE_START_TAG and (t.name is 'caption' or t.name is 'table' or t.name is 'tbody' or t.name is 'tfoot' or t.name is 'thead' or t.name is 'tr' or t.name is 'td' or t.name is 'th')
+                       parse_error()
+                       loop
+                               el = open_els.shift()
+                               if el.name is 'select'
+                                       break
+                       reset_insertion_mode()
+                       insertion_mode t
+                       return
+               if t.type is TYPE_END_TAG and (t.name is 'caption' or t.name is 'table' or t.name is 'tbody' or t.name is 'tfoot' or t.name is 'thead' or t.name is 'tr' or t.name is 'td' or t.name is 'th')
+                       parse_error()
+                       unless is_in_table_scope t.name, NS_HTML
+                               return
+                       loop
+                               el = open_els.shift()
+                               if el.name is 'select'
+                                       break
+                       reset_insertion_mode()
+                       insertion_mode t
+                       return
+               # Anything else
+               ins_mode_in_select t
+               return
+
+       # 8.2.5.4.18 http://www.w3.org/TR/html5/syntax.html#parsing-main-intemplate
+       ins_mode_in_template = (t) ->
+               if t.type is TYPE_TEXT or t.type is TYPE_COMMENT or t.type is TYPE_DOCTYPE
+                       ins_mode_in_body t
+                       return
+               if (t.type is TYPE_START_TAG and (t.name is 'base' or t.name is 'basefont' or t.name is 'bgsound' or t.name is 'link' or t.name is 'meta' or t.name is 'noframes' or t.name is 'script' or t.name is 'style' or t.name is 'template' or t.name is 'title')) or (t.type is TYPE_END_TAG and t.name is 'template')
+                       ins_mode_in_head t
+                       return
+               if t.type is TYPE_START_TAG and (t.name is 'caption' or t.name is 'colgroup' or t.name is 'tbody' or t.name is 'tfoot' or t.name is 'thead')
+                       template_insertion_modes.shift()
+                       template_insertion_modes.unshift ins_mode_in_table
+                       insertion_mode = ins_mode_in_table
+                       insertion_mode t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'col'
+                       template_insertion_modes.shift()
+                       template_insertion_modes.unshift ins_mode_in_column_group
+                       insertion_mode = ins_mode_in_column_group
+                       insertion_mode t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'tr'
+                       template_insertion_modes.shift()
+                       template_insertion_modes.unshift ins_mode_in_table_body
+                       insertion_mode = ins_mode_in_table_body
+                       insertion_mode t
+                       return
+               if t.type is TYPE_START_TAG and (t.name is 'td' or t.name is 'th')
+                       template_insertion_modes.shift()
+                       template_insertion_modes.unshift ins_mode_in_row
+                       insertion_mode = ins_mode_in_row
+                       insertion_mode t
+                       return
+               if t.type is TYPE_START_TAG
+                       template_insertion_modes.shift()
+                       template_insertion_modes.unshift ins_mode_in_body
+                       insertion_mode = ins_mode_in_body
+                       insertion_mode t
+                       return
+               if t.type is TYPE_END_TAG
+                       parse_error()
+                       return
+               if t.type is EOF
+                       unless template_tag_is_open()
+                               stop_parsing()
+                               return
+                       parse_error()
+                       loop
+                               el = open_els.shift()
+                               if el.name is 'template' # fixfull check namespace
+                                       break
+                       clear_afe_to_marker()
+                       template_insertion_modes.shift()
+                       reset_insertion_mode()
+                       insertion_mode t
+
+       # 8.2.5.4.19 http://www.w3.org/TR/html5/syntax.html#parsing-main-afterbody
+       ins_mode_after_body = (t) ->
+               if is_space_tok t
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t, [open_els[0], open_els[0].children.length]
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'html'
+                       # fixfull fragment case
+                       insertion_mode = ins_mode_after_after_body
+                       return
+               if t.type is TYPE_EOF
+                       stop_parsing()
+                       return
+               # Anything ELse
+               parse_error()
+               insertion_mode = ins_mode_in_body
+               insertion_mode t
+
+       # 8.2.5.4.20 http://www.w3.org/TR/html5/syntax.html#parsing-main-inframeset
+       ins_mode_in_frameset = (t) ->
+               if is_space_tok t
+                       insert_character t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'frameset'
+                       insert_html_element t
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'frameset'
+                       # TODO ?correct for: "if the current node is the root html element"
+                       if open_els.length is 1
+                               parse_error()
+                               return # fragment case
+                       open_els.shift()
+                       if flag_fragment_parsing is false and open_els[0].name isnt 'frameset'
+                               insertion_mode = ins_mode_after_frameset
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'frame'
+                       insert_html_element t
+                       open_els.shift()
+                       t.acknowledge_self_closing()
+                       return
+               if t.type is TYPE_START TAG and t.name is 'noframes'
+                       ins_mode_in_head t
+                       return
+               if t.type is TYPE_EOF
+                       # TODO ?correct for: "if the current node is not the root html element"
+                       if open_els.length isnt 1
+                               parse_error()
+                       stop_parsing()
+                       return
+               # Anything else
+               parse_error()
+               return
+
+       # 8.2.5.4.21 http://www.w3.org/TR/html5/syntax.html#parsing-main-afterframeset
+       ins_mode_after_frameset = (t) ->
+               if is_space_tok t
+                       insert_character t
+                       return
+               if t.type is TYPE_COMMENT
+                       insert_comment t
+                       return
+               if t.type is TYPE_DOCTYPE
+                       parse_error()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'html'
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_END_TAG and t.name is 'html'
+                       insert_mode = ins_mode_after_after_frameset
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'noframes'
+                       ins_mode_in_head t
+                       return
+               if t.type is TYPE_EOF
+                       stop_parsing()
+                       return
+               # Anything else
+               parse_error()
+               return
+
+       # 8.2.5.4.22 http://www.w3.org/TR/html5/syntax.html#the-after-after-body-insertion-mode
+       ins_mode_after_after_body = (t) ->
+               if t.type is TYPE_COMMENT
+                       insert_comment t, [doc, doc.children.length]
+                       return
+               if t.type is TYPE_DOCTYPE or is_space_tok(t) or (t.type is TYPE_START_TAG and t.name is 'html')
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_EOF
+                       stop_parsing()
+                       return
+               # Anything else
+               parse_error()
+               insertion_mode = ins_mode_in_body
+               return
+
+       # 8.2.5.4.23 http://www.w3.org/TR/html5/syntax.html#the-after-after-frameset-insertion-mode
+       ins_mode_after_after_frameset = (t) ->
+               if t.type is TYPE_COMMENT
+                       insert_comment t, [doc, doc.children.length]
+                       return
+               if t.type is TYPE_DOCTYPE or is_space_tok(t) or (t.type is TYPE_START_TAG and t.name is 'html')
+                       ins_mode_in_body t
+                       return
+               if t.type is TYPE_EOF
+                       stop_parsing()
+                       return
+               if t.type is TYPE_START_TAG and t.name is 'noframes'
+                       ins_mode_in_head t
+                       return
+               # Anything else
+               parse_error()
+               return
+
+
+
 
-       # the functions below implement the tokenizer stats described here:
-       # http://www.w3.org/TR/html5/syntax.html#tokenization
 
        # 8.2.4.1 http://www.w3.org/TR/html5/syntax.html#data-state
        tok_state_data = ->
                switch c = txt.charAt(cur++)
                        when '&'
-                               return new_text_node tokenize_character_reference()
+                               return new_text_node parse_character_reference()
                        when '<'
                                tok_state = tok_state_tag_open
                        when "\u0000"
@@ -1490,7 +2204,68 @@ parse_html = (txt, parse_error_cb = null) ->
 
        # 8.2.4.2 http://www.w3.org/TR/html5/syntax.html#character-reference-in-data-state
        # not needed: tok_state_character_reference_in_data = ->
-       # just call tok_state_character_reference_in_data()
+       # just call parse_character_reference()
+
+       # 8.2.4.3 http://www.w3.org/TR/html5/syntax.html#rcdata-state
+       tok_state_rcdata = ->
+               switch c = txt.charAt(cur++)
+                       when '&'
+                               return new_text_node parse_character_reference()
+                       when '<'
+                               tok_state = tok_state_rcdata_less_than_sign
+                       when "\u0000"
+                               parse_error()
+                               return new_character_token "\ufffd"
+                       when '' # EOF
+                               return new_eof_token()
+                       else
+                               return new_character_token c
+               return null
+
+       # 8.2.4.4 http://www.w3.org/TR/html5/syntax.html#character-reference-in-rcdata-state
+       # not needed: tok_state_character_reference_in_rcdata = ->
+       # just call parse_character_reference()
+
+       # 8.2.4.5 http://www.w3.org/TR/html5/syntax.html#rawtext-state
+       tok_state_rawtext = ->
+               switch c = txt.charAt(cur++)
+                       when '<'
+                               tok_state = tok_state_rawtext_less_than_sign
+                       when "\u0000"
+                               parse_error()
+                               return new_character_token "\ufffd"
+                       when '' # EOF
+                               return new_eof_token()
+                       else
+                               return new_character_token c
+               return null
+
+       # 8.2.4.6 http://www.w3.org/TR/html5/syntax.html#script-data-state
+       tok_state_script_data = ->
+               switch c = txt.charAt(cur++)
+                       when '<'
+                               tok_state = tok_state_script_data_less_than_sign
+                       when "\u0000"
+                               parse_error()
+                               return new_character_token "\ufffd"
+                       when '' # EOF
+                               return new_eof_token()
+                       else
+                               return new_character_token c
+               return null
+
+       # 8.2.4.7 http://www.w3.org/TR/html5/syntax.html#plaintext-state
+       tok_state_plaintext = ->
+               switch c = txt.charAt(cur++)
+                       when "\u0000"
+                               parse_error()
+                               return new_character_token "\ufffd"
+                       when '' # EOF
+                               return new_eof_token()
+                       else
+                               return new_character_token c
+               return null
+
 
        # 8.2.4.8 http://www.w3.org/TR/html5/syntax.html#tag-open-state
        tok_state_tag_open = ->
@@ -1563,6 +2338,140 @@ parse_html = (txt, parse_error_cb = null) ->
                                        tok_cur_tag.name += c
                return null
 
+       # 8.2.4.11 http://www.w3.org/TR/html5/syntax.html#rcdata-less-than-sign-state
+       tok_state_rcdata_less_than_sign = ->
+               c = txt.charAt(cur++)
+               if c is '/'
+                       temporary_buffer = ''
+                       tok_state = tok_state_rcdata_end_tag_open
+                       return null
+               # Anything else
+               tok_state = tok_state_rcdata
+               cur -= 1 # reconsume the input character
+               return new_character_token '<'
+
+       # 8.2.4.12 http://www.w3.org/TR/html5/syntax.html#rcdata-end-tag-open-state
+       tok_state_rcdata_end_tag_open = ->
+               c = txt.charAt(cur++)
+               if uc_alpha.indexOf(c) > -1
+                       tok_cur_tag = new_end_tag c.toLowerCase()
+                       temporary_buffer += c
+                       tok_state = tok_state_rcdata_end_tag_name
+                       return null
+               if lc_alpha.indexOf(c) > -1
+                       tok_cur_tag = new_end_tag c
+                       temporary_buffer += c
+                       tok_state = tok_state_rcdata_end_tag_name
+                       return null
+               # Anything else
+               tok_state = tok_state_rcdata
+               cur -= 1 # reconsume the input character
+               return new_character_token "</" # fixfull separate these
+
+       # http://www.w3.org/TR/html5/syntax.html#appropriate-end-tag-token
+       is_appropriate_end_tag = (t) ->
+               # spec says to check against "the tag name of the last start tag to
+               # have been emitted from this tokenizer", but this is only called from
+               # the various "raw" states, which I'm pretty sure all push the start
+               # token onto open_els. TODO: verify this after the script data states
+               # are implemented
+               debug_log "#{t.type}, #{t.name} open_els: #{serialize_els open_els, true, true}"
+               return t.type is TYPE_END_TAG and t.name is open_els[0].name
+
+       # 8.2.4.13 http://www.w3.org/TR/html5/syntax.html#rcdata-end-tag-name-state
+       tok_state_rcdata_end_tag_name = ->
+               c = txt.charAt(cur++)
+               if c is "\t" or c is "\n" or c is "\u000c" or c is ' '
+                       if is_appropriate_end_tag tok_cur_tag
+                               tok_state = tok_state_before_attribute_name
+                               return
+                       # else fall through to "Anything else"
+               if c is '/'
+                       if is_appropriate_end_tag tok_cur_tag
+                               tok_state = tok_state_self_closing_start_tag # FIXME spec typo?
+                               return
+                       # else fall through to "Anything else"
+               if c is '>'
+                       if is_appropriate_end_tag tok_cur_tag
+                               tok_state = tok_state_data
+                               return tok_cur_tag
+                       # else fall through to "Anything else"
+               if uc_alpha.indexOf(c) > -1
+                       tok_cur_tag.name += c.toLowerCase()
+                       temporary_buffer += c
+                       return null
+               if lc_alpha.indexOf(c) > -1
+                       tok_cur_tag.name += c
+                       temporary_buffer += c
+                       return null
+               # Anything else
+               tok_state = tok_state_rcdata
+               cur -= 1 # reconsume the input character
+               return new_character_token '</' + temporary_buffer # fixfull separate these
+
+       # 8.2.4.14 http://www.w3.org/TR/html5/syntax.html#rawtext-less-than-sign-state
+       tok_state_rawtext_less_than_sign = ->
+               c = txt.charAt(cur++)
+               if c is '/'
+                       temporary_buffer = ''
+                       tok_state = tok_state_rawtext_end_tag_open
+                       return null
+               # Anything else
+               tok_state = tok_state_rawtext
+               cur -= 1 # reconsume the input character
+               return new_character_token '<'
+
+       # 8.2.4.15 http://www.w3.org/TR/html5/syntax.html#rawtext-end-tag-open-state
+       tok_state_rawtext_end_tag_open = ->
+               c = txt.charAt(cur++)
+               if uc_alpha.indexOf(c) > -1
+                       tok_cur_tag = new_end_tag c.toLowerCase()
+                       temporary_buffer += c
+                       tok_state = tok_state_rawtext_end_tag_name
+                       return null
+               if lc_alpha.indexOf(c) > -1
+                       tok_cur_tag = new_end_tag c
+                       temporary_buffer += c
+                       tok_state = tok_state_rawtext_end_tag_name
+                       return null
+               # Anything else
+               tok_state = tok_state_rawtext
+               cur -= 1 # reconsume the input character
+               return new_character_token "</" # fixfull separate these
+
+       # 8.2.4.16 http://www.w3.org/TR/html5/syntax.html#rawtext-end-tag-name-state
+       tok_state_rawtext_end_tag_name = ->
+               c = txt.charAt(cur++)
+               if c is "\t" or c is "\n" or c is "\u000c" or c is ' '
+                       if is_appropriate_end_tag tok_cur_tag
+                               tok_state = tok_state_before_attribute_name
+                               return
+                       # else fall through to "Anything else"
+               if c is '/'
+                       if is_appropriate_end_tag tok_cur_tag
+                               tok_state = tok_state_self_closing_start_tag
+                               return
+                       # else fall through to "Anything else"
+               if c is '>'
+                       if is_appropriate_end_tag tok_cur_tag
+                               tok_state = tok_state_data
+                               return tok_cur_tag
+                       # else fall through to "Anything else"
+               if uc_alpha.indexOf(c) > -1
+                       tok_cur_tag.name += c.toLowerCase()
+                       temporary_buffer += c
+                       return null
+               if lc_alpha.indexOf(c) > -1
+                       tok_cur_tag.name += c
+                       temporary_buffer += c
+                       return null
+               # Anything else
+               tok_state = tok_state_rawtext
+               cur -= 1 # reconsume the input character
+               return new_character_token '</' + temporary_buffer # fixfull separate these
+
+       # TODO _all_ of the missing states here (17-33) are for parsing script tags
+
        # 8.2.4.34 http://www.w3.org/TR/html5/syntax.html#before-attribute-name-state
        tok_state_before_attribute_name = ->
                attr_name = null
@@ -1626,6 +2535,41 @@ parse_html = (txt, parse_error_cb = null) ->
                                        tok_cur_tag.attrs_a[0][0] += c
                return null
 
+       # 8.2.4.36 http://www.w3.org/TR/html5/syntax.html#after-attribute-name-state
+       tok_state_after_attribute_name = ->
+               c = txt.charAt(cur++)
+               if c is "\t" or c is "\n" or c is "\u000c" or c is ' '
+                       return
+               if c is '/'
+                       tok_state = tok_state_self_closing_start_tag
+                       return
+               if c is '='
+                       tok_state = tok_state_before_attribute_value
+                       return
+               if c is '>'
+                       tok_state = tok_state_data
+                       return
+               if uc_alpha.indexOf(c) > -1
+                       tok_cur_tag.attrs_a.unshift [c.toLowerCase(), '']
+                       tok_state = tok_state_attribute_name
+                       return
+               if c is "\u0000"
+                       parse_error()
+                       tok_cur_tag.attrs_a.unshift ["\ufffd", '']
+                       tok_state = tok_state_attribute_name
+                       return
+               if c is '' # EOF
+                       parse_error()
+                       tok_state = tok_state_data
+                       cur -= 1 # reconsume
+                       return
+               if c is '"' or c is "'" or c is '<'
+                       parse_error()
+                       # fall through to Anything else
+               # Anything else
+               tok_cur_tag.attrs_a.unshift [c, '']
+               tok_state = tok_state_attribute_name
+
        # 8.2.4.37 http://www.w3.org/TR/html5/syntax.html#before-attribute-value-state
        tok_state_before_attribute_value = ->
                switch c = txt.charAt(cur++)
@@ -1662,7 +2606,7 @@ parse_html = (txt, parse_error_cb = null) ->
                        when '"'
                                tok_state = tok_state_after_attribute_value_quoted
                        when '&'
-                               tok_cur_tag.attrs_a[0][1] += tokenize_character_reference '"', true
+                               tok_cur_tag.attrs_a[0][1] += parse_character_reference '"', true
                        when "\u0000"
                                # Parse error
                                tok_cur_tag.attrs_a[0][1] += "\ufffd"
@@ -1679,7 +2623,7 @@ parse_html = (txt, parse_error_cb = null) ->
                        when "'"
                                tok_state = tok_state_after_attribute_value_quoted
                        when '&'
-                               tok_cur_tag.attrs_a[0][1] += tokenize_character_reference "'", true
+                               tok_cur_tag.attrs_a[0][1] += parse_character_reference "'", true
                        when "\u0000"
                                # Parse error
                                tok_cur_tag.attrs_a[0][1] += "\ufffd"
@@ -1696,7 +2640,7 @@ parse_html = (txt, parse_error_cb = null) ->
                        when "\t", "\n", "\u000c", ' '
                                tok_state = tok_state_before_attribute_name
                        when '&'
-                               tok_cur_tag.attrs_a[0][1] += tokenize_character_reference '>', true
+                               tok_cur_tag.attrs_a[0][1] += parse_character_reference '>', true
                        when '>'
                                tok_state = tok_state_data
                                tmp = tok_cur_tag
@@ -1736,7 +2680,7 @@ parse_html = (txt, parse_error_cb = null) ->
        # 8.2.4.69 http://www.w3.org/TR/html5/syntax.html#consume-a-character-reference
        # Don't set this as a state, just call it
        # returns a string (NOT a text node)
-       tokenize_character_reference = (allowed_char = null, in_attr = false) ->
+       parse_character_reference = (allowed_char = null, in_attr = false) ->
                if cur >= txt.length
                        return '&'
                switch c = txt.charAt(cur)
@@ -1811,14 +2755,21 @@ parse_html = (txt, parse_error_cb = null) ->
 
        # tree constructor initialization
        # see comments on TYPE_TAG/etc for the structure of this data
-       tree = new Node TYPE_TAG, name: 'html', namespace: NS_HTML
-       open_els = [tree]
-       insertion_mode = ins_mode_in_body
+       doc = new Node TYPE_TAG, name: 'html', namespace: NS_HTML
+       open_els = [doc]
+       afe = [] # active formatting elements
+       template_insertion_modes = []
+       insertion_mode = ins_mode_initial
+       original_insertion_mode = insertion_mode # TODO check spec
+       flag_scripting = true # TODO might need an extra flag to get <noscript> to parse correctly
        flag_frameset_ok = true
        flag_parsing = true
        flag_foster_parenting = false
        form_element_pointer = null
-       afe = [] # active formatting elements
+       temporary_buffer = null
+       pending_table_character_tokens = []
+       head_element_pointer = null
+       flag_fragment_parsing = false # parser originally created as part of the html fragment parsing algorithm (fragment case)
 
        # tokenizer initialization
        tok_state = tok_state_data
@@ -1828,16 +2779,9 @@ parse_html = (txt, parse_error_cb = null) ->
                t = tok_state()
                if t?
                        insertion_mode t
-       return tree.children
-
-# everything below is tests on the above
-test_equals = (description, output, expected_output) ->
-       if output is expected_output
-               console.log "passed." # don't say name, so smart consoles can merge all of these
-       else
-               console.log "FAILED: \"#{description}\""
-               console.log "   Expected: #{expected_output}"
-               console.log "     Actual: #{output}"
+                       # fixfull parse error if has self-closing flag, but it wasn't acknolwedged
+       return doc.children
+
 serialize_els = (els, shallow, show_ids) ->
        serialized = ''
        sep = ''
@@ -1846,106 +2790,12 @@ serialize_els = (els, shallow, show_ids) ->
                sep = ','
                serialized += t.serialize shallow, show_ids
        return serialized
-test_parser = (args) ->
-       debug_log_reset()
-       parse_errors = []
-       errors_cb = (i) ->
-               parse_errors.push i
-       prev_node_id = 0 # reset counter
-       parsed = parse_html args.html, errors_cb
-       serialized = serialize_els parsed, false, false
-       if serialized isnt args.expected
-               debug_log_each (str) ->
-                       console.log str
-               console.log "FAILED: \"#{args.name}\""
-               console.log "      Input: #{args.html}"
-               console.log "    Correct: #{args.expected}"
-               console.log "     Output: #{serialized}"
-               if parse_errors.length > 0
-                       console.log " parse errs: #{JSON.stringify parse_errors}"
-               else
-                       console.log "   No parse errors"
-       else
-               console.log "passed \"#{args.name}\""
-
-test_parser name: "empty", \
-       html: "",
-       expected: ''
-test_parser name: "just text", \
-       html: "abc",
-       expected: 'text:"abc"'
-test_parser name: "named entity", \
-       html: "a&amp;1234",
-       expected: 'text:"a&1234"'
-test_parser name: "broken named character references", \
-       html: "1&amp2&&amp;3&aabbcc;",
-       expected: 'text:"1&2&&3&aabbcc;"'
-test_parser name: "numbered entity overrides", \
-       html: "1&#X80&#x80; &#x83",
-       expected: 'text:"1€€ ƒ"'
-test_parser name: "open tag", \
-       html: "foo<span>bar",
-       expected: 'text:"foo",tag:"span",{},[text:"bar"]'
-test_parser name: "open tag with attributes", \
-       html: "foo<span style=\"foo: bar\" title=\"hi\">bar",
-       expected: 'text:"foo",tag:"span",{"style":"foo: bar","title":"hi"},[text:"bar"]'
-test_parser name: "open tag with attributes of various quotings", \
-       html: "foo<span abc=\"def\" g=hij klm='nopqrstuv\"' autofocus>bar",
-       expected: 'text:"foo",tag:"span",{"abc":"def","g":"hij","klm":"nopqrstuv\\"","autofocus":""},[text:"bar"]'
-test_parser name: "attribute entity exceptions dq", \
-       html: "foo<a href=\"foo?t=1&amp=2&ampo=3&amp;lt=foo\">bar",
-       expected: 'text:"foo",tag:"a",{"href":"foo?t=1&amp=2&ampo=3&lt=foo"},[text:"bar"]'
-test_parser name: "attribute entity exceptions sq", \
-       html: "foo<a href='foo?t=1&amp=2&ampo=3&amp;lt=foo'>bar",
-       expected: 'text:"foo",tag:"a",{"href":"foo?t=1&amp=2&ampo=3&lt=foo"},[text:"bar"]'
-test_parser name: "attribute entity exceptions uq", \
-       html: "foo<a href=foo?t=1&amp=2&ampo=3&amp;lt=foo>bar",
-       expected: 'text:"foo",tag:"a",{"href":"foo?t=1&amp=2&ampo=3&lt=foo"},[text:"bar"]'
-test_parser name: "matching closing tags", \
-       html: "foo<a href=\"hi\">hi</a><div>1<div>foo</div>2</div>bar",
-       expected: 'text:"foo",tag:"a",{"href":"hi"},[text:"hi"],tag:"div",{},[text:"1",tag:"div",{},[text:"foo"],text:"2"],text:"bar"'
-test_parser name: "missing closing tag inside", \
-       html: "foo<div>bar<span>baz</div>qux",
-       expected: 'text:"foo",tag:"div",{},[text:"bar",tag:"span",{},[text:"baz"]],text:"qux"'
-test_parser name: "mis-matched closing tags", \
-       html: "<span>12<div>34</span>56</div>78",
-       expected: 'tag:"span",{},[text:"12",tag:"div",{},[text:"3456"],text:"78"]'
-test_parser name: "mis-matched formatting elements", \
-       html: "12<b>34<i>56</b>78</i>90",
-       expected: 'text:"12",tag:"b",{},[text:"34",tag:"i",{},[text:"56"]],tag:"i",{},[text:"78"],text:"90"'
-test_parser name: "8.2.8.1 Misnested tags: <b><i></b></i>", \
-       html: '<p>1<b>2<i>3</b>4</i>5</p>',
-       expected: 'tag:"p",{},[text:"1",tag:"b",{},[text:"2",tag:"i",{},[text:"3"]],tag:"i",{},[text:"4"],text:"5"]'
-test_parser name: "8.2.8.2 Misnested tags: <b><p></b></p>", \
-       html: '<b>1<p>2</b>3</p>',
-       expected: 'tag:"b",{},[text:"1"],tag:"p",{},[tag:"b",{},[text:"2"],text:"3"]'
-test_parser name: "crazy formatting elements test", \
-       html: "<b><i><a><s><tt><div></b>first</b></div></tt></s></a>second</i>",
-       # chrome does this: expected: 'tag:"b",{},[tag:"i",{},[tag:"a",{},[tag:"s",{},[tag:"tt",{},[]]],text:"second"]],tag:"a",{},[tag:"s",{},[tag:"tt",{},[tag:"div",{},[tag:"b",{},[],text:"first"]]]]'
-       # firefox does this:
-       expected: 'tag:"b",{},[tag:"i",{},[tag:"a",{},[tag:"s",{},[tag:"tt",{},[]]]]],tag:"a",{},[tag:"s",{},[tag:"tt",{},[tag:"div",{},[tag:"b",{},[],text:"first"]]]],text:"second"'
-# tests from https://github.com/html5lib/html5lib-tests/blob/master/tree-construction/adoption01.dat
-test_parser name: "html5lib aaa 1", \
-       html: '<a><p></a></p>',
-       expected: 'tag:"a",{},[],tag:"p",{},[tag:"a",{},[]]'
-test_parser name: "html5lib aaa 2", \
-       html: '<a>1<p>2</a>3</p>',
-       expected: 'tag:"a",{},[text:"1"],tag:"p",{},[tag:"a",{},[text:"2"],text:"3"]'
-test_parser name: "html5lib aaa 3", \
-       html: '<a>1<button>2</a>3</button>',
-       expected: 'tag:"a",{},[text:"1"],tag:"button",{},[tag:"a",{},[text:"2"],text:"3"]'
-test_parser name: "html5lib aaa 4", \
-       html: '<a>1<b>2</a>3</b>',
-       expected: 'tag:"a",{},[text:"1",tag:"b",{},[text:"2"]],tag:"b",{},[text:"3"]'
-test_parser name: "html5lib aaa 5 (two divs deep)", \
-       html: '<a>1<div>2<div>3</a>4</div>5</div>',
-       expected: 'tag:"a",{},[text:"1"],tag:"div",{},[tag:"a",{},[text:"2"],tag:"div",{},[tag:"a",{},[text:"3"],text:"4"],text:"5"]'
-test_parser name: "html5lib aaa 6 (foster parenting)", \
-       html: '<table><a>1<p>2</a>3</p>',
-       expected: 'tag:"a",{},[text:"1"],tag:"p",{},[tag:"a",{},[text:"2"],text:"3"],tag:"table",{},[]'
-test_parser name: "html5lib aaa 10 (formatting, nesting, attrs, aaa)", \
-       html: '<p>1<s id="A">2<b id="B">3</p>4</s>5</b>',
-       expected: 'tag:"p",{},[text:"1",tag:"s",{"id":"A"},[text:"2",tag:"b",{"id":"B"},[text:"3"]]],tag:"s",{"id":"A"},[tag:"b",{"id":"B"},[text:"4"]],tag:"b",{"id":"B"},[text:"5"]'
-test_parser name: "html5lib aaa 11 (table with foster parenting, formatting el and td)", \
-       html: '<table><a>1<td>2</td>3</table>',
-       expected: 'tag:"a",{},[text:"1"],tag:"a",{},[text:"3"],tag:"table",{},[tag:"tbody",{},[tag:"tr",{},[tag:"td",{},[text:"2"]]]]'
+
+# TODO export TYPE_*
+module.exports.parse_html = parse_html
+module.exports.debug_log_reset = debug_log_reset
+module.exports.debug_log_each = debug_log_each
+module.exports.TYPE_TAG = TYPE_TAG
+module.exports.TYPE_TEXT = TYPE_TEXT
+module.exports.TYPE_COMMENT = TYPE_COMMENT
+module.exports.TYPE_DOCTYPE = TYPE_DOCTYPE