Last active
August 29, 2015 14:27
-
-
Save m4rw3r/572c09d5b7b3698dbb08 to your computer and use it in GitHub Desktop.
Second version of the attoparsec benchmark for parsing HTTP header dumps writtien in rust using my experimental parser combinator.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
//! http parser comparable to the http-parser found in attoparsec's examples. | |
//! | |
//! Reads data in the following format: | |
//! | |
//! ```text | |
//! GET /robot.txt HTTP/1.1 | |
//! Host: localhost | |
//! Accept: text/html,application/xhtml+xml,application/xml;q=0.9,*/*;q=0.8 | |
//! | |
//! ``` | |
#[macro_use] | |
extern crate parser; | |
use parser::*; | |
use std::fs::File; | |
use std::env; | |
#[derive(Debug)] | |
struct Request<'a> { | |
method: &'a [u8], | |
uri: &'a [u8], | |
version: &'a [u8], | |
} | |
#[derive(Debug)] | |
struct Header<'a> { | |
name: &'a [u8], | |
value: Vec<&'a [u8]>, | |
} | |
fn is_token(c: u8) -> bool { | |
c < 128 && c > 31 && b"()<>@,;:\\\"/[]?={} \t".iter().position(|&i| i == c).is_none() | |
} | |
fn is_horizontal_space(c: u8) -> bool { c == b' ' || c == b'\t' } | |
fn is_space(c: u8) -> bool { c == b' ' } | |
fn is_not_space(c: u8) -> bool { c != b' ' } | |
fn is_end_of_line(c: u8) -> bool { c == b'\r' || c == b'\n' } | |
fn is_http_version(c: u8) -> bool { c >= b'0' && c <= b'9' || c == b'.' } | |
fn end_of_line<'a>(p: Empty<'a, u8>) -> Parser<'a, u8, u8, Error<u8>> { | |
or(mdo!{p, | |
char(b'\r'); | |
char(b'\n'); | |
ret u8, Error<u8>: b'\r' | |
}, |p| char(p, b'\n')) | |
} | |
fn http_version<'a>(p: Empty<'a, u8>) -> Parser<'a, u8, &'a [u8], Error<u8>> { | |
mdo!{p, | |
string(b"HTTP/"); | |
version = take_while1(is_http_version); | |
ret version | |
} | |
} | |
fn request_line<'a>(p: Empty<'a, u8>) -> Parser<'a, u8, Request<'a>, Error<u8>> { | |
mdo!{p, | |
method = take_while1(is_token); | |
take_while1(is_space); | |
uri = take_while1(is_not_space); | |
take_while1(is_space); | |
version = http_version; | |
ret Request { | |
method: method, | |
uri: uri, | |
version: version, | |
} | |
} | |
} | |
fn message_header_line<'a>(p: Empty<'a, u8>) -> Parser<'a, u8, &'a [u8], Error<u8>> { | |
mdo!{p, | |
take_while1(is_horizontal_space); | |
line = take_till(is_end_of_line); | |
end_of_line; | |
ret line | |
} | |
} | |
fn message_header<'a>(p: Empty<'a, u8>) -> Parser<'a, u8, Header, Error<u8>> { | |
mdo!{p, | |
name = take_while1(is_token); | |
char(b':'); | |
lines = many1(message_header_line); | |
ret Header { | |
name: name, | |
value: lines, | |
} | |
} | |
} | |
fn request<'a>(p: Empty<'a, u8>) -> Parser<'a, u8, (Request, Vec<Header>), Error<u8>> { | |
mdo!{p, | |
r = request_line; | |
end_of_line; | |
h = many(message_header); | |
end_of_line; | |
ret (r, h) | |
} | |
} | |
fn main() { | |
let mut contents: Vec<u8> = Vec::new(); | |
{ | |
use std::io::Read; | |
let mut file = File::open(env::args().nth(1).expect("File to read")).ok().expect("Failed to open file"); | |
let _ = file.read_to_end(&mut contents).unwrap(); | |
} | |
let i = parser::iter::Iter::new(&contents, request); | |
println!("num: {}", i.count()); | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment