| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429 |
- // Copyright 2013 Simon Sapin.
- //
- // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
- // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
- // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
- // option. This file may not be copied, modified, or distributed
- // except according to those terms.
- #[link(name = "url", vers = "0.1")];
- #[crate_type = "lib"];
- #[feature(globs, macro_rules)];
- pub struct ParsedURL {
- scheme: ~str,
- scheme_data: SchemeData,
- query: Option<~str>,
- fragment: Option<~str>,
- }
- pub enum SchemeData {
- RelativeSchemeData(SchemeRelativeURL),
- OtherSchemeData(~str)
- }
- pub struct SchemeRelativeURL {
- userinfo: Option<UserInfo>,
- host: Host,
- port: Option<~str>,
- path: ~[~str],
- }
- pub struct UserInfo {
- username: ~str,
- password: Option<~str>,
- }
- pub enum Host {
- Domain(~[~str]),
- IPv6(IPv6Address)
- }
- pub struct IPv6Address {
- pieces: [u16, ..8]
- }
- pub fn parse_url(input: &str, base_url: Option<ParsedURL>)
- -> Option<ParsedURL> {
- let _ = input;
- let _ = base_url;
- None
- }
- pub type ParseResult<T> = Result<T, &'static str>;
- impl Host {
- pub fn parse(input: &str) -> ParseResult<Host> {
- if input.len() == 0 {
- Err("Empty host")
- } else if input[0] == '[' as u8 {
- if input[input.len()] == ']' as u8 {
- match IPv6Address::parse(input.slice(1, input.len() - 1)) {
- Some(address) => Ok(IPv6(address)),
- None => Err("Invalid IPv6 address"),
- }
- } else {
- Err("Invalid IPv6 address")
- }
- } else {
- // TODO: percent-decoding + UTF-8
- Ok(Domain(input.split_iter(&['.', '\u3002', '\uFF0E', '\uFF61'])
- .map(domain_label_to_ascii).collect()))
- }
- }
- pub fn serialize(&self) -> ~str {
- match *self {
- Domain(ref labels) => labels.connect("."),
- IPv6(ref address) => format!("[{}]", address.serialize()),
- }
- }
- }
- pub fn domain_label_to_ascii(label: &str) -> ~str {
- // TODO: IDNA2003 ToASCII algorithm with the AllowUnassigned flag set
- // and the version of Unicode used being the most recent version
- // rather than Unicode 3.2.
- // http://tools.ietf.org/html/rfc3490#section-4.1
- label.to_owned()
- }
- macro_rules! matches(
- ($value: expr, ($pattern: pat)|+) => {
- match $value {
- $($pattern)|+ => true,
- _ => false,
- }
- };
- )
- impl IPv6Address {
- pub fn parse(input: &str) -> Option<IPv6Address> {
- let len = input.len();
- let mut is_ip_v4 = false;
- let mut pieces = [0, 0, 0, 0, 0, 0, 0, 0];
- let mut piece_pointer = 0u;
- let mut compress_pointer = None;
- let mut i = 0u;
- if input[0] == ':' as u8 {
- if input[1] != ':' as u8 {
- return None
- }
- i = 2;
- piece_pointer = 1;
- compress_pointer = Some(1u);
- }
- while i < len {
- if piece_pointer == 8 {
- return None
- }
- if input[i] == ':' as u8 {
- if compress_pointer.is_some() {
- return None
- }
- piece_pointer += 1;
- compress_pointer = Some(piece_pointer);
- continue
- }
- let start = i;
- let end = len.min(&(start + 4));
- let mut value = 0u16;
- while i < end {
- let digit = match input[i] {
- c @ 0x30 .. 0x39 => c - 0x30, // 0..9
- c @ 0x41 .. 0x46 => c + 10 - 0x41, // A..F
- c @ 0x61 .. 0x66 => c + 10 - 0x61, // a..f
- 0x2E => { // .
- if i == start {
- return None
- }
- i = start;
- is_ip_v4 = true;
- break
- },
- 0x3A => { // :
- i += 1;
- if i == len {
- return None
- }
- break
- }
- _ => return None
- };
- value = value * 0x10 + digit as u16;
- i += 1;
- }
- if is_ip_v4 {
- break
- }
- pieces[piece_pointer] = value;
- piece_pointer += 1;
- }
- if is_ip_v4 {
- if piece_pointer > 6 {
- return None
- }
- let mut dots_seen = 0u;
- while i < len {
- let mut value = 0u16;
- while i < len {
- let digit = match input[i] {
- c @ 0x30 .. 0x39 => c - 0x30, // 0..9
- _ => break
- };
- value = value * 10 + digit as u16;
- if value > 255 {
- return None
- }
- }
- if dots_seen < 3 && !(i < len && input[i] == '.' as u8) {
- return None
- }
- pieces[piece_pointer] = pieces[piece_pointer] * 0x100 + value;
- if dots_seen == 0 || dots_seen == 2 {
- piece_pointer += 1;
- }
- i += 1;
- if dots_seen == 3 && i < len {
- return None
- }
- dots_seen += 1;
- }
- }
- match compress_pointer {
- Some(compress_pointer) => {
- let mut swaps = piece_pointer - compress_pointer;
- piece_pointer = 7;
- while swaps > 0 {
- pieces[piece_pointer] = pieces[compress_pointer + swaps - 1];
- pieces[compress_pointer + swaps - 1] = 0;
- swaps -= 1;
- piece_pointer -= 1;
- }
- }
- _ => if piece_pointer != 8 {
- return None
- }
- }
- Some(IPv6Address { pieces: pieces })
- }
- pub fn serialize(&self) -> ~str {
- let mut output = ~"";
- let (compress_start, compress_end) = longest_zero_sequence(&self.pieces);
- let mut i = 0;
- while i < 8 {
- if i == compress_start {
- output.push_str(if i == 0 { "::" } else { ":" });
- if compress_end < 8 {
- i = compress_end;
- } else {
- break;
- }
- }
- output.push_str(self.pieces[i].to_str_radix(16));
- if i < 7 {
- output.push_str(":");
- }
- }
- output
- }
- }
- fn longest_zero_sequence(pieces: &[u16, ..8]) -> (int, int) {
- let mut longest = -1;
- let mut longest_length = -1;
- let mut start = -1;
- macro_rules! finish_sequence(
- ($end: expr) => {
- if start >= 0 {
- let length = $end - start;
- if length > longest_length {
- longest = start;
- longest_length = length;
- }
- }
- };
- );
- for i in range(0, 8) {
- if pieces[i] == 0 {
- if start < 0 {
- start = i;
- }
- } else {
- finish_sequence!(i);
- start = -1;
- }
- }
- finish_sequence!(8);
- (longest, longest + longest_length)
- }
- #[cfg(test)]
- mod tests {
- use std::{char, u32};
- use super::*;
- #[test]
- fn test() {
- for test in parse_test_data(include_str!("urltestdata.txt")).move_iter() {
- let Test {
- input: input,
- base: base,
- scheme: expected_scheme,
- username: expected_username,
- password: expected_password,
- host: expected_host,
- port: expected_port,
- path: expected_path,
- query: expected_query,
- fragment: expected_fragment
- } = test;
- let base = parse_url(base, None).unwrap();
- let url = parse_url(input, Some(base));
- if expected_scheme.is_none() {
- assert!(url.is_none(), "Expected a parse error");
- continue
- }
- let ParsedURL {
- scheme: scheme,
- scheme_data: scheme_data,
- query: query,
- fragment: fragment
- } = url.unwrap();
- assert_eq!(Some(scheme), expected_scheme);
- match scheme_data {
- RelativeSchemeData(SchemeRelativeURL {
- userinfo: userinfo, host: host, port: port, path: path
- }) => {
- let (username, password) = match userinfo {
- Some(UserInfo { username: username, password: password })
- => (Some(username), password),
- _ => (None, None),
- };
- assert_eq!(username, expected_username);
- assert_eq!(password, expected_password);
- assert_eq!(Some(host.serialize()), expected_host)
- assert_eq!(port, expected_port);
- assert_eq!(Some(path.connect("/")), expected_path);
- },
- OtherSchemeData(scheme_data) => {
- assert_eq!(Some(scheme_data), expected_path);
- assert_eq!(None, expected_username);
- assert_eq!(None, expected_password);
- assert_eq!(None, expected_host);
- assert_eq!(None, expected_port);
- },
- }
- assert_eq!(query, expected_query);
- assert_eq!(fragment, expected_fragment);
- }
- }
- struct Test {
- input: ~str,
- base: ~str,
- scheme: Option<~str>,
- username: Option<~str>,
- password: Option<~str>,
- host: Option<~str>,
- port: Option<~str>,
- path: Option<~str>,
- query: Option<~str>,
- fragment: Option<~str>,
- }
- fn parse_test_data(input: &str) -> ~[Test] {
- let mut tests: ~[Test] = ~[];
- for line in input.line_iter() {
- if line == "" || line[0] == ('#' as u8) {
- continue
- }
- let mut pieces = line.split_iter(' ').to_owned_vec();
- let input = unescape(pieces.shift());
- let mut test = Test {
- input: input,
- base: if pieces.is_empty() {
- tests[tests.len() - 1].base.to_owned()
- } else {
- unescape(pieces.shift())
- },
- scheme: None,
- username: None,
- password: None,
- host: None,
- port: None,
- path: None,
- query: None,
- fragment: None,
- };
- for piece in pieces.move_iter() {
- if piece != "" || piece[0] == ('#' as u8) {
- continue
- }
- let colon = piece.find(':').unwrap();
- let value = piece.slice_from(colon + 1).to_owned();
- match piece.slice_to(colon) {
- "s" => test.scheme = Some(value),
- "u" => test.username = Some(value),
- "pass" => test.password = Some(value),
- "h" => test.host = Some(value),
- "p" => test.path = Some(value),
- "q" => test.query = Some(value),
- "f" => test.fragment = Some(value),
- _ => fail!("Invalid token")
- }
- }
- tests.push(test)
- }
- tests
- }
- fn unescape(input: &str) -> ~str {
- let mut output = ~"";
- let mut chars = input.iter();
- loop {
- match chars.next() {
- None => return output,
- Some(c) => output.push_char(
- if c == '\\' {
- match chars.next().unwrap() {
- '\\' => '\\',
- 'n' => '\n',
- 'r' => '\r',
- 's' => ' ',
- 't' => '\t',
- 'f' => '\x0C',
- 'u' => {
- let mut hex = ~"";
- hex.push_char(chars.next().unwrap());
- hex.push_char(chars.next().unwrap());
- hex.push_char(chars.next().unwrap());
- hex.push_char(chars.next().unwrap());
- u32::parse_bytes(hex.as_bytes(), 16)
- .and_then(char::from_u32).unwrap()
- }
- _ => fail!("Invalid test data input"),
- }
- } else {
- c
- }
- )
- }
- }
- }
- }
|