Stub an HTML scanner

2 files changed, 169 insertions, 0 deletions

diff --git a/src/servo/parser/html.rs b/src/servo/parser/html.rs
new file mode 100644
index 00000000000..0bfd79b5d2d
--- /dev/null
+++ b/src/servo/parser/html.rs
@@ -0,0 +1,164 @@
+type parser = {
+    mut lookahead: option<char_or_eof>,
+    reader: io::reader
+};
+
+enum token {
+    to_start_tag(str),
+    to_end_tag(str),
+    to_text(str),
+    to_doctype,
+    to_eof
+}
+
+enum char_or_eof {
+    coe_char(u8),
+    coe_eof
+}
+
+impl methods for parser {
+    fn get() -> char_or_eof {
+        alt self.lookahead {
+            some(coe) {
+                let rv = coe;
+                self.lookahead = none;
+                ret rv;
+            }
+            none {
+                /* fall through */
+            }
+        }
+
+        if self.reader.eof() { ret coe_eof; }
+        ret coe_char(self.reader.read_byte() as u8);
+    }
+
+    fn unget(ch: u8) {
+        assert self.lookahead.is_none();
+        self.lookahead = some(coe_char(ch));
+    }
+
+    fn parse_err(err: str) -> ! {
+        fail err
+    }
+
+    fn expect(ch: u8) {
+        alt self.get() {
+            coe_char(c) {
+                if c != ch {
+                    self.parse_err(#fmt("expected '%c'", ch as char));
+                }
+            }
+            coe_eof {
+                self.parse_err(#fmt("expected '%c' at eof", ch as char));
+            }
+        }
+    }
+
+    fn parse_ident() -> str {
+        let mut result: [u8] = [];
+        loop {
+            alt self.get() {
+                coe_char(c) {
+                    if (c >= ('A' as u8) && c <= ('Z' as u8)) ||
+                           (c >= ('a' as u8) && c <= ('z' as u8)) {
+                        result += [c];
+                    } else if result.len() == 0u {
+                        self.parse_err("expected ident");
+                    } else {
+                        self.unget(c);
+                        break;
+                    }
+                }
+                coe_eof {
+                    self.parse_err("expected ident");
+                }
+            }
+        }
+        ret str::from_bytes(result);
+    }
+
+    fn expect_ident(expected: str) {
+        let actual = self.parse_ident();
+        if expected != actual {
+            self.parse_err(#fmt("expected '%s' but found '%s'",
+                                expected, actual));
+        }
+    }
+
+    fn eat_whitespace() {
+        loop {
+            alt self.get() {
+                coe_char(c) {
+                    if c != (' ' as u8) && c != ('\n' as u8) &&
+                           c != ('\t' as u8) {
+                        self.unget(c);
+                        ret;
+                    }
+                }
+                coe_eof {
+                    ret;
+                }
+            }
+        }
+    }
+
+    fn parse() -> token {
+        let mut ch: u8;
+        alt self.get() {
+            coe_char(c) { ch = c; }
+            coe_eof { ret to_eof; }
+        }
+
+        if ch == ('<' as u8) {
+            alt self.get() {
+                coe_char(c) { ch = c; }
+                coe_eof { self.parse_err("eof after '<'") }
+            }
+
+            if ch == ('!' as u8) {
+                self.eat_whitespace();
+                self.expect_ident("DOCTYPE");
+                self.eat_whitespace();
+                self.expect_ident("html");
+                self.eat_whitespace();
+                self.expect('>' as u8);
+                ret to_doctype;
+            }
+
+            if ch == ('/' as u8) {
+                let ident = self.parse_ident();
+                self.expect('>' as u8);
+                ret to_end_tag(ident);
+            }
+
+            self.unget(ch);
+
+            self.eat_whitespace();
+            let ident = self.parse_ident();
+            self.eat_whitespace();
+            self.expect('>' as u8);
+            ret to_start_tag(ident);
+        }
+
+        // Make a text node.
+        let mut s: [u8] = [ch];
+        loop {
+            alt self.get() {
+                coe_char(c) {
+                    if c == ('<' as u8) {
+                        self.unget(c);
+                        ret to_text(str::from_bytes(s));
+                    }
+                    s += [c];
+                }
+                coe_eof { ret to_text(str::from_bytes(s)); }
+            }
+        }
+    }
+}
+
+fn parser(reader: io::reader) -> parser {
+    ret { mut lookahead: none, reader: reader };
+}
+
diff --git a/src/servo/servo.rc b/src/servo/servo.rc
index 3f5145bb57c..b79f2c16139 100755
--- a/src/servo/servo.rc
+++ b/src/servo/servo.rc
@@ -33,6 +33,10 @@ mod layout {
     mod layout;
 }
 
+mod parser {
+    mod html;
+}
+
 mod widget {
     mod base;
 }
@@ -42,3 +46,4 @@ mod util {
 }
 
 mod osmain;
+