diff options
author | Margaret Meyerhofer <mmeyerhofer@mozilla.com> | 2012-06-20 16:28:30 -0700 |
---|---|---|
committer | Margaret Meyerhofer <mmeyerhofer@mozilla.com> | 2012-06-22 11:03:34 -0700 |
commit | e0ddaf50df95262a21024b655496399ad1397310 (patch) | |
tree | 6fb8fa2734cd44a8ca16738ad4add07d8b5ea24b /src/servo/parser/html_builder.rs | |
parent | b754510d533be548c58d0b1d2ce9d207cdd7f46a (diff) | |
download | servo-e0ddaf50df95262a21024b655496399ad1397310.tar.gz servo-e0ddaf50df95262a21024b655496399ad1397310.zip |
Refactored html and css lexing into separate files and capitalized those types
Diffstat (limited to 'src/servo/parser/html_builder.rs')
-rw-r--r-- | src/servo/parser/html_builder.rs | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/servo/parser/html_builder.rs b/src/servo/parser/html_builder.rs index db9df7a5e6f..eb02e142588 100644 --- a/src/servo/parser/html_builder.rs +++ b/src/servo/parser/html_builder.rs @@ -7,8 +7,8 @@ import dom::rcu::WriterMethods; import geom::size::Size2D; import gfx::geometry; import gfx::geometry::au; -import parser = parser::lexer::html; -import parser::token; +import parser = parser::html_lexer; +import parser::Token; import dvec::extensions; @@ -66,41 +66,41 @@ fn build_element_kind(tag_name: str) -> ~ElementKind { } } -fn build_dom(scope: NodeScope, stream: port<token>) -> Node { +fn build_dom(scope: NodeScope, stream: port<Token>) -> Node { // The current reference node. let mut cur = scope.new_node(Element(ElementData("html", ~HTMLDivElement))); loop { let token = stream.recv(); alt token { - parser::to_eof { break; } - parser::to_start_opening_tag(tag_name) { + parser::Eof { break; } + parser::StartOpeningTag(tag_name) { #debug["starting tag %s", tag_name]; let element_kind = build_element_kind(tag_name); let new_node = scope.new_node(Element(ElementData(copy tag_name, element_kind))); scope.add_child(cur, new_node); cur = new_node; } - parser::to_attr(key, value) { + parser::Attr(key, value) { #debug["attr: %? = %?", key, value]; link_up_attribute(scope, cur, copy key, copy value); } - parser::to_end_opening_tag { + parser::EndOpeningTag { #debug("end opening tag"); } - parser::to_end_tag(_) | parser::to_self_close_tag { + parser::EndTag(_) | parser::SelfCloseTag { // TODO: Assert that the closing tag has the right name. // TODO: Fail more gracefully (i.e. according to the HTML5 // spec) if we close more tags than we open. cur = scope.get_parent(cur).get(); } - parser::to_text(s) if !s.is_whitespace() { + parser::Text(s) if !s.is_whitespace() { let new_node = scope.new_node(Text(copy s)); scope.add_child(cur, new_node); } - parser::to_text(_) { + parser::Text(_) { // FIXME: Whitespace should not be ignored. } - parser::to_doctype { + parser::Doctype { // TODO: Do something here... } } |