// Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT // file at the top-level directory of this distribution and at // http://rust-lang.org/COPYRIGHT. // // Licensed under the Apache License, Version 2.0 or the MIT license // , at your // option. This file may not be copied, modified, or distributed // except according to those terms. //! Operations on ASCII strings and characters. //! //! Most string operations in Rust act on UTF-8 strings. However, at times it //! makes more sense to only consider the ASCII character set for a specific //! operation. //! //! The [`AsciiExt`] trait provides methods that allow for character //! operations that only act on the ASCII subset and leave non-ASCII characters //! alone. //! //! The [`escape_default`] function provides an iterator over the bytes of an //! escaped version of the character given. //! //! [`AsciiExt`]: trait.AsciiExt.html //! [`escape_default`]: fn.escape_default.html #![stable(feature = "rust1", since = "1.0.0")] use fmt; use ops::Range; use iter::FusedIterator; /// Extension methods for ASCII-subset only operations. /// /// Be aware that operations on seemingly non-ASCII characters can sometimes /// have unexpected results. Consider this example: /// /// ``` /// use std::ascii::AsciiExt; /// /// assert_eq!(AsciiExt::to_ascii_uppercase("café"), "CAFÉ"); /// assert_eq!(AsciiExt::to_ascii_uppercase("café"), "CAFé"); /// ``` /// /// In the first example, the lowercased string is represented `"cafe\u{301}"` /// (the last character is an acute accent [combining character]). Unlike the /// other characters in the string, the combining character will not get mapped /// to an uppercase variant, resulting in `"CAFE\u{301}"`. In the second /// example, the lowercased string is represented `"caf\u{e9}"` (the last /// character is a single Unicode character representing an 'e' with an acute /// accent). Since the last character is defined outside the scope of ASCII, /// it will not get mapped to an uppercase variant, resulting in `"CAF\u{e9}"`. /// /// [combining character]: https://en.wikipedia.org/wiki/Combining_character #[stable(feature = "rust1", since = "1.0.0")] pub trait AsciiExt { /// Container type for copied ASCII characters. #[stable(feature = "rust1", since = "1.0.0")] type Owned; /// Checks if the value is within the ASCII range. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[stable(feature = "rust1", since = "1.0.0")] fn is_ascii(&self) -> bool; /// Makes a copy of the value in its ASCII upper case equivalent. /// /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z', /// but non-ASCII letters are unchanged. /// /// To uppercase the value in-place, use [`make_ascii_uppercase`]. /// /// To uppercase ASCII characters in addition to non-ASCII characters, use /// [`str::to_uppercase`]. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. /// /// [`make_ascii_uppercase`]: #tymethod.make_ascii_uppercase /// [`str::to_uppercase`]: ../primitive.str.html#method.to_uppercase #[stable(feature = "rust1", since = "1.0.0")] fn to_ascii_uppercase(&self) -> Self::Owned; /// Makes a copy of the value in its ASCII lower case equivalent. /// /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z', /// but non-ASCII letters are unchanged. /// /// To lowercase the value in-place, use [`make_ascii_lowercase`]. /// /// To lowercase ASCII characters in addition to non-ASCII characters, use /// [`str::to_lowercase`]. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. /// /// [`make_ascii_lowercase`]: #tymethod.make_ascii_lowercase /// [`str::to_lowercase`]: ../primitive.str.html#method.to_lowercase #[stable(feature = "rust1", since = "1.0.0")] fn to_ascii_lowercase(&self) -> Self::Owned; /// Checks that two values are an ASCII case-insensitive match. /// /// Same as `to_ascii_lowercase(a) == to_ascii_lowercase(b)`, /// but without allocating and copying temporaries. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[stable(feature = "rust1", since = "1.0.0")] fn eq_ignore_ascii_case(&self, other: &Self) -> bool; /// Converts this type to its ASCII upper case equivalent in-place. /// /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z', /// but non-ASCII letters are unchanged. /// /// To return a new uppercased value without modifying the existing one, use /// [`to_ascii_uppercase`]. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. /// /// [`to_ascii_uppercase`]: #tymethod.to_ascii_uppercase #[stable(feature = "ascii", since = "1.9.0")] fn make_ascii_uppercase(&mut self); /// Converts this type to its ASCII lower case equivalent in-place. /// /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z', /// but non-ASCII letters are unchanged. /// /// To return a new lowercased value without modifying the existing one, use /// [`to_ascii_lowercase`]. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. /// /// [`to_ascii_lowercase`]: #tymethod.to_ascii_lowercase #[stable(feature = "ascii", since = "1.9.0")] fn make_ascii_lowercase(&mut self); /// Checks if the value is an ASCII alphabetic character: /// U+0041 'A' ... U+005A 'Z' or U+0061 'a' ... U+007A 'z'. /// For strings, true if all characters in the string are /// ASCII alphabetic. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_alphabetic(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII uppercase character: /// U+0041 'A' ... U+005A 'Z'. /// For strings, true if all characters in the string are /// ASCII uppercase. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_uppercase(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII lowercase character: /// U+0061 'a' ... U+007A 'z'. /// For strings, true if all characters in the string are /// ASCII lowercase. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_lowercase(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII alphanumeric character: /// U+0041 'A' ... U+005A 'Z', U+0061 'a' ... U+007A 'z', or /// U+0030 '0' ... U+0039 '9'. /// For strings, true if all characters in the string are /// ASCII alphanumeric. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_alphanumeric(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII decimal digit: /// U+0030 '0' ... U+0039 '9'. /// For strings, true if all characters in the string are /// ASCII digits. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_digit(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII hexadecimal digit: /// U+0030 '0' ... U+0039 '9', U+0041 'A' ... U+0046 'F', or /// U+0061 'a' ... U+0066 'f'. /// For strings, true if all characters in the string are /// ASCII hex digits. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_hexdigit(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII punctuation character: /// /// U+0021 ... U+002F `! " # $ % & ' ( ) * + , - . /` /// U+003A ... U+0040 `: ; < = > ? @` /// U+005B ... U+0060 ``[ \\ ] ^ _ ` `` /// U+007B ... U+007E `{ | } ~` /// /// For strings, true if all characters in the string are /// ASCII punctuation. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_punctuation(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII graphic character: /// U+0021 '@' ... U+007E '~'. /// For strings, true if all characters in the string are /// ASCII graphic characters. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_graphic(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII whitespace character: /// U+0020 SPACE, U+0009 HORIZONTAL TAB, U+000A LINE FEED, /// U+000C FORM FEED, or U+000D CARRIAGE RETURN. /// For strings, true if all characters in the string are /// ASCII whitespace. /// /// Rust uses the WhatWG Infra Standard's [definition of ASCII /// whitespace][infra-aw]. There are several other definitions in /// wide use. For instance, [the POSIX locale][pct] includes /// U+000B VERTICAL TAB as well as all the above characters, /// but—from the very same specification—[the default rule for /// "field splitting" in the Bourne shell][bfs] considers *only* /// SPACE, HORIZONTAL TAB, and LINE FEED as whitespace. /// /// If you are writing a program that will process an existing /// file format, check what that format's definition of whitespace is /// before using this function. /// /// [infra-aw]: https://infra.spec.whatwg.org/#ascii-whitespace /// [pct]: http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap07.html#tag_07_03_01 /// [bfs]: http://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#tag_18_06_05 /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_whitespace(&self) -> bool { unimplemented!(); } /// Checks if the value is an ASCII control character: /// U+0000 NUL ... U+001F UNIT SEPARATOR, or U+007F DELETE. /// Note that most ASCII whitespace characters are control /// characters, but SPACE is not. /// /// # Note /// /// This method will be deprecated in favor of the identically-named /// inherent methods on `u8`, `char`, `[u8]` and `str`. #[unstable(feature = "ascii_ctype", issue = "39658")] fn is_ascii_control(&self) -> bool { unimplemented!(); } } macro_rules! delegating_ascii_methods { () => { #[inline] fn is_ascii(&self) -> bool { self.is_ascii() } #[inline] fn to_ascii_uppercase(&self) -> Self::Owned { self.to_ascii_uppercase() } #[inline] fn to_ascii_lowercase(&self) -> Self::Owned { self.to_ascii_lowercase() } #[inline] fn eq_ignore_ascii_case(&self, o: &Self) -> bool { self.eq_ignore_ascii_case(o) } #[inline] fn make_ascii_uppercase(&mut self) { self.make_ascii_uppercase(); } #[inline] fn make_ascii_lowercase(&mut self) { self.make_ascii_lowercase(); } } } macro_rules! delegating_ascii_ctype_methods { () => { #[inline] fn is_ascii_alphabetic(&self) -> bool { self.is_ascii_alphabetic() } #[inline] fn is_ascii_uppercase(&self) -> bool { self.is_ascii_uppercase() } #[inline] fn is_ascii_lowercase(&self) -> bool { self.is_ascii_lowercase() } #[inline] fn is_ascii_alphanumeric(&self) -> bool { self.is_ascii_alphanumeric() } #[inline] fn is_ascii_digit(&self) -> bool { self.is_ascii_digit() } #[inline] fn is_ascii_hexdigit(&self) -> bool { self.is_ascii_hexdigit() } #[inline] fn is_ascii_punctuation(&self) -> bool { self.is_ascii_punctuation() } #[inline] fn is_ascii_graphic(&self) -> bool { self.is_ascii_graphic() } #[inline] fn is_ascii_whitespace(&self) -> bool { self.is_ascii_whitespace() } #[inline] fn is_ascii_control(&self) -> bool { self.is_ascii_control() } } } #[stable(feature = "rust1", since = "1.0.0")] impl AsciiExt for u8 { type Owned = u8; delegating_ascii_methods!(); delegating_ascii_ctype_methods!(); } #[stable(feature = "rust1", since = "1.0.0")] impl AsciiExt for char { type Owned = char; delegating_ascii_methods!(); delegating_ascii_ctype_methods!(); } #[stable(feature = "rust1", since = "1.0.0")] impl AsciiExt for [u8] { type Owned = Vec; delegating_ascii_methods!(); #[inline] fn is_ascii_alphabetic(&self) -> bool { self.iter().all(|b| b.is_ascii_alphabetic()) } #[inline] fn is_ascii_uppercase(&self) -> bool { self.iter().all(|b| b.is_ascii_uppercase()) } #[inline] fn is_ascii_lowercase(&self) -> bool { self.iter().all(|b| b.is_ascii_lowercase()) } #[inline] fn is_ascii_alphanumeric(&self) -> bool { self.iter().all(|b| b.is_ascii_alphanumeric()) } #[inline] fn is_ascii_digit(&self) -> bool { self.iter().all(|b| b.is_ascii_digit()) } #[inline] fn is_ascii_hexdigit(&self) -> bool { self.iter().all(|b| b.is_ascii_hexdigit()) } #[inline] fn is_ascii_punctuation(&self) -> bool { self.iter().all(|b| b.is_ascii_punctuation()) } #[inline] fn is_ascii_graphic(&self) -> bool { self.iter().all(|b| b.is_ascii_graphic()) } #[inline] fn is_ascii_whitespace(&self) -> bool { self.iter().all(|b| b.is_ascii_whitespace()) } #[inline] fn is_ascii_control(&self) -> bool { self.iter().all(|b| b.is_ascii_control()) } } #[stable(feature = "rust1", since = "1.0.0")] impl AsciiExt for str { type Owned = String; delegating_ascii_methods!(); #[inline] fn is_ascii_alphabetic(&self) -> bool { self.bytes().all(|b| b.is_ascii_alphabetic()) } #[inline] fn is_ascii_uppercase(&self) -> bool { self.bytes().all(|b| b.is_ascii_uppercase()) } #[inline] fn is_ascii_lowercase(&self) -> bool { self.bytes().all(|b| b.is_ascii_lowercase()) } #[inline] fn is_ascii_alphanumeric(&self) -> bool { self.bytes().all(|b| b.is_ascii_alphanumeric()) } #[inline] fn is_ascii_digit(&self) -> bool { self.bytes().all(|b| b.is_ascii_digit()) } #[inline] fn is_ascii_hexdigit(&self) -> bool { self.bytes().all(|b| b.is_ascii_hexdigit()) } #[inline] fn is_ascii_punctuation(&self) -> bool { self.bytes().all(|b| b.is_ascii_punctuation()) } #[inline] fn is_ascii_graphic(&self) -> bool { self.bytes().all(|b| b.is_ascii_graphic()) } #[inline] fn is_ascii_whitespace(&self) -> bool { self.bytes().all(|b| b.is_ascii_whitespace()) } #[inline] fn is_ascii_control(&self) -> bool { self.bytes().all(|b| b.is_ascii_control()) } } /// An iterator over the escaped version of a byte. /// /// This `struct` is created by the [`escape_default`] function. See its /// documentation for more. /// /// [`escape_default`]: fn.escape_default.html #[stable(feature = "rust1", since = "1.0.0")] pub struct EscapeDefault { range: Range, data: [u8; 4], } /// Returns an iterator that produces an escaped version of a `u8`. /// /// The default is chosen with a bias toward producing literals that are /// legal in a variety of languages, including C++11 and similar C-family /// languages. The exact rules are: /// /// - Tab, CR and LF are escaped as '\t', '\r' and '\n' respectively. /// - Single-quote, double-quote and backslash chars are backslash-escaped. /// - Any other chars in the range [0x20,0x7e] are not escaped. /// - Any other chars are given hex escapes of the form '\xNN'. /// - Unicode escapes are never generated by this function. /// /// # Examples /// /// ``` /// use std::ascii; /// /// let escaped = ascii::escape_default(b'0').next().unwrap(); /// assert_eq!(b'0', escaped); /// /// let mut escaped = ascii::escape_default(b'\t'); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b't', escaped.next().unwrap()); /// /// let mut escaped = ascii::escape_default(b'\r'); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b'r', escaped.next().unwrap()); /// /// let mut escaped = ascii::escape_default(b'\n'); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b'n', escaped.next().unwrap()); /// /// let mut escaped = ascii::escape_default(b'\''); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b'\'', escaped.next().unwrap()); /// /// let mut escaped = ascii::escape_default(b'"'); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b'"', escaped.next().unwrap()); /// /// let mut escaped = ascii::escape_default(b'\\'); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b'\\', escaped.next().unwrap()); /// /// let mut escaped = ascii::escape_default(b'\x9d'); /// /// assert_eq!(b'\\', escaped.next().unwrap()); /// assert_eq!(b'x', escaped.next().unwrap()); /// assert_eq!(b'9', escaped.next().unwrap()); /// assert_eq!(b'd', escaped.next().unwrap()); /// ``` #[stable(feature = "rust1", since = "1.0.0")] pub fn escape_default(c: u8) -> EscapeDefault { let (data, len) = match c { b'\t' => ([b'\\', b't', 0, 0], 2), b'\r' => ([b'\\', b'r', 0, 0], 2), b'\n' => ([b'\\', b'n', 0, 0], 2), b'\\' => ([b'\\', b'\\', 0, 0], 2), b'\'' => ([b'\\', b'\'', 0, 0], 2), b'"' => ([b'\\', b'"', 0, 0], 2), b'\x20' ... b'\x7e' => ([c, 0, 0, 0], 1), _ => ([b'\\', b'x', hexify(c >> 4), hexify(c & 0xf)], 4), }; return EscapeDefault { range: (0.. len), data: data }; fn hexify(b: u8) -> u8 { match b { 0 ... 9 => b'0' + b, _ => b'a' + b - 10, } } } #[stable(feature = "rust1", since = "1.0.0")] impl Iterator for EscapeDefault { type Item = u8; fn next(&mut self) -> Option { self.range.next().map(|i| self.data[i]) } fn size_hint(&self) -> (usize, Option) { self.range.size_hint() } } #[stable(feature = "rust1", since = "1.0.0")] impl DoubleEndedIterator for EscapeDefault { fn next_back(&mut self) -> Option { self.range.next_back().map(|i| self.data[i]) } } #[stable(feature = "rust1", since = "1.0.0")] impl ExactSizeIterator for EscapeDefault {} #[unstable(feature = "fused", issue = "35602")] impl FusedIterator for EscapeDefault {} #[stable(feature = "std_debug", since = "1.16.0")] impl fmt::Debug for EscapeDefault { fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { f.pad("EscapeDefault { .. }") } } #[cfg(test)] mod tests { //! Note that most of these tests are not testing `AsciiExt` methods, but //! test inherent ascii methods of char, u8, str and [u8]. `AsciiExt` is //! just using those methods, though. use super::AsciiExt; use char::from_u32; #[test] fn test_is_ascii() { assert!(b"".is_ascii()); assert!(b"banana\0\x7F".is_ascii()); assert!(b"banana\0\x7F".iter().all(|b| b.is_ascii())); assert!(!b"Vi\xe1\xbb\x87t Nam".is_ascii()); assert!(!b"Vi\xe1\xbb\x87t Nam".iter().all(|b| b.is_ascii())); assert!(!b"\xe1\xbb\x87".iter().any(|b| b.is_ascii())); assert!("".is_ascii()); assert!("banana\0\u{7F}".is_ascii()); assert!("banana\0\u{7F}".chars().all(|c| c.is_ascii())); assert!(!"ประเทศไทย中华Việt Nam".chars().all(|c| c.is_ascii())); assert!(!"ประเทศไทย中华ệ ".chars().any(|c| c.is_ascii())); } #[test] fn test_to_ascii_uppercase() { assert_eq!("url()URL()uRl()ürl".to_ascii_uppercase(), "URL()URL()URL()üRL"); assert_eq!("hıKß".to_ascii_uppercase(), "HıKß"); for i in 0..501 { let upper = if 'a' as u32 <= i && i <= 'z' as u32 { i + 'A' as u32 - 'a' as u32 } else { i }; assert_eq!((from_u32(i).unwrap()).to_string().to_ascii_uppercase(), (from_u32(upper).unwrap()).to_string()); } } #[test] fn test_to_ascii_lowercase() { assert_eq!("url()URL()uRl()Ürl".to_ascii_lowercase(), "url()url()url()Ürl"); // Dotted capital I, Kelvin sign, Sharp S. assert_eq!("HİKß".to_ascii_lowercase(), "hİKß"); for i in 0..501 { let lower = if 'A' as u32 <= i && i <= 'Z' as u32 { i + 'a' as u32 - 'A' as u32 } else { i }; assert_eq!((from_u32(i).unwrap()).to_string().to_ascii_lowercase(), (from_u32(lower).unwrap()).to_string()); } } #[test] fn test_make_ascii_lower_case() { macro_rules! test { ($from: expr, $to: expr) => { { let mut x = $from; x.make_ascii_lowercase(); assert_eq!(x, $to); } } } test!(b'A', b'a'); test!(b'a', b'a'); test!(b'!', b'!'); test!('A', 'a'); test!('À', 'À'); test!('a', 'a'); test!('!', '!'); test!(b"H\xc3\x89".to_vec(), b"h\xc3\x89"); test!("HİKß".to_string(), "hİKß"); } #[test] fn test_make_ascii_upper_case() { macro_rules! test { ($from: expr, $to: expr) => { { let mut x = $from; x.make_ascii_uppercase(); assert_eq!(x, $to); } } } test!(b'a', b'A'); test!(b'A', b'A'); test!(b'!', b'!'); test!('a', 'A'); test!('à', 'à'); test!('A', 'A'); test!('!', '!'); test!(b"h\xc3\xa9".to_vec(), b"H\xc3\xa9"); test!("hıKß".to_string(), "HıKß"); let mut x = "Hello".to_string(); x[..3].make_ascii_uppercase(); // Test IndexMut on String. assert_eq!(x, "HELlo") } #[test] fn test_eq_ignore_ascii_case() { assert!("url()URL()uRl()Ürl".eq_ignore_ascii_case("url()url()url()Ürl")); assert!(!"Ürl".eq_ignore_ascii_case("ürl")); // Dotted capital I, Kelvin sign, Sharp S. assert!("HİKß".eq_ignore_ascii_case("hİKß")); assert!(!"İ".eq_ignore_ascii_case("i")); assert!(!"K".eq_ignore_ascii_case("k")); assert!(!"ß".eq_ignore_ascii_case("s")); for i in 0..501 { let lower = if 'A' as u32 <= i && i <= 'Z' as u32 { i + 'a' as u32 - 'A' as u32 } else { i }; assert!((from_u32(i).unwrap()).to_string().eq_ignore_ascii_case( &from_u32(lower).unwrap().to_string())); } } #[test] fn inference_works() { let x = "a".to_string(); x.eq_ignore_ascii_case("A"); } // Shorthands used by the is_ascii_* tests. macro_rules! assert_all { ($what:ident, $($str:tt),+) => {{ $( for b in $str.chars() { if !b.$what() { panic!("expected {}({}) but it isn't", stringify!($what), b); } } for b in $str.as_bytes().iter() { if !b.$what() { panic!("expected {}(0x{:02x})) but it isn't", stringify!($what), b); } } assert!($str.$what()); assert!($str.as_bytes().$what()); )+ }}; ($what:ident, $($str:tt),+,) => (assert_all!($what,$($str),+)) } macro_rules! assert_none { ($what:ident, $($str:tt),+) => {{ $( for b in $str.chars() { if b.$what() { panic!("expected not-{}({}) but it is", stringify!($what), b); } } for b in $str.as_bytes().iter() { if b.$what() { panic!("expected not-{}(0x{:02x})) but it is", stringify!($what), b); } } )* }}; ($what:ident, $($str:tt),+,) => (assert_none!($what,$($str),+)) } #[test] fn test_is_ascii_alphabetic() { assert_all!(is_ascii_alphabetic, "", "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", ); assert_none!(is_ascii_alphabetic, "0123456789", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_uppercase() { assert_all!(is_ascii_uppercase, "", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", ); assert_none!(is_ascii_uppercase, "abcdefghijklmnopqrstuvwxyz", "0123456789", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_lowercase() { assert_all!(is_ascii_lowercase, "abcdefghijklmnopqrstuvwxyz", ); assert_none!(is_ascii_lowercase, "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "0123456789", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_alphanumeric() { assert_all!(is_ascii_alphanumeric, "", "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "0123456789", ); assert_none!(is_ascii_alphanumeric, "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_digit() { assert_all!(is_ascii_digit, "", "0123456789", ); assert_none!(is_ascii_digit, "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_hexdigit() { assert_all!(is_ascii_hexdigit, "", "0123456789", "abcdefABCDEF", ); assert_none!(is_ascii_hexdigit, "ghijklmnopqrstuvwxyz", "GHIJKLMNOQPRSTUVWXYZ", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_punctuation() { assert_all!(is_ascii_punctuation, "", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", ); assert_none!(is_ascii_punctuation, "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "0123456789", " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_graphic() { assert_all!(is_ascii_graphic, "", "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "0123456789", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", ); assert_none!(is_ascii_graphic, " \t\n\x0c\r", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_whitespace() { assert_all!(is_ascii_whitespace, "", " \t\n\x0c\r", ); assert_none!(is_ascii_whitespace, "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "0123456789", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x0b\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); } #[test] fn test_is_ascii_control() { assert_all!(is_ascii_control, "", "\x00\x01\x02\x03\x04\x05\x06\x07", "\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f", "\x10\x11\x12\x13\x14\x15\x16\x17", "\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f", "\x7f", ); assert_none!(is_ascii_control, "abcdefghijklmnopqrstuvwxyz", "ABCDEFGHIJKLMNOQPRSTUVWXYZ", "0123456789", "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~", " ", ); } }