mirror of
https://github.com/servo/servo.git
synced 2025-07-23 15:23:42 +01:00
Invoke the HTML scanner when a filename is given
This commit is contained in:
parent
a671bb597a
commit
9103d928e6
1 changed files with 20 additions and 2 deletions
|
@ -4,8 +4,26 @@ import azure::*;
|
||||||
import azure::bindgen::*;
|
import azure::bindgen::*;
|
||||||
import azure::cairo;
|
import azure::cairo;
|
||||||
import azure::cairo::bindgen::*;
|
import azure::cairo::bindgen::*;
|
||||||
|
import parser::html;
|
||||||
|
import parser::html::methods;
|
||||||
|
import result::extensions;
|
||||||
|
|
||||||
|
fn parse(filename: str) {
|
||||||
|
let file_data = io::read_whole_file(filename).get();
|
||||||
|
let reader = io::bytes_reader(file_data);
|
||||||
|
let parser = html::parser(reader);
|
||||||
|
loop {
|
||||||
|
let t = parser.parse();
|
||||||
|
log(error, #fmt("token: %?", t));
|
||||||
|
if t == html::to_eof { break; }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main(args: [str]) {
|
||||||
|
if args.len() >= 2u {
|
||||||
|
parse(args[1]);
|
||||||
|
}
|
||||||
|
|
||||||
fn main() {
|
|
||||||
// The platform event handler thread
|
// The platform event handler thread
|
||||||
let osmain = osmain::osmain();
|
let osmain = osmain::osmain();
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue