mirror of
https://github.com/servo/servo.git
synced 2025-08-01 19:50:30 +01:00
Remove extra definition of WHITESPACE under components/util/str.rs
This commit is contained in:
parent
bebc1dc859
commit
95bebb9945
3 changed files with 14 additions and 18 deletions
|
@ -124,19 +124,6 @@ impl Extend<char> for DOMString {
|
|||
pub type StaticCharVec = &'static [char];
|
||||
pub type StaticStringVec = &'static [&'static str];
|
||||
|
||||
/// Whitespace as defined by HTML5 § 2.4.1.
|
||||
// TODO(SimonSapin) Maybe a custom Pattern can be more efficient?
|
||||
pub const WHITESPACE: &'static [char] = &[' ', '\t', '\x0a', '\x0c', '\x0d'];
|
||||
|
||||
pub fn is_whitespace(s: &str) -> bool {
|
||||
s.chars().all(char_is_whitespace)
|
||||
}
|
||||
|
||||
#[inline]
|
||||
pub fn char_is_whitespace(c: char) -> bool {
|
||||
WHITESPACE.contains(&c)
|
||||
}
|
||||
|
||||
/// A "space character" according to:
|
||||
///
|
||||
/// https://html.spec.whatwg.org/multipage/#space-character
|
||||
|
@ -148,6 +135,15 @@ pub static HTML_SPACE_CHARACTERS: StaticCharVec = &[
|
|||
'\u{000d}',
|
||||
];
|
||||
|
||||
#[inline]
|
||||
pub fn char_is_whitespace(c: char) -> bool {
|
||||
HTML_SPACE_CHARACTERS.contains(&c)
|
||||
}
|
||||
|
||||
pub fn is_whitespace(s: &str) -> bool {
|
||||
s.chars().all(char_is_whitespace)
|
||||
}
|
||||
|
||||
pub fn split_html_space_chars<'a>(s: &'a str) ->
|
||||
Filter<Split<'a, StaticCharVec>, fn(&&str) -> bool> {
|
||||
fn not_empty(&split: &&str) -> bool { !split.is_empty() }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue