cd5c8235c5
Sister pull request of https://github.com/rust-lang/rust/pull/19288, but for the other style of block doc comment.
340 lines
12 KiB
Rust
340 lines
12 KiB
Rust
// Copyright 2012-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 <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.
|
|
|
|
//! Unicode-intensive `char` methods.
|
|
//!
|
|
//! These methods implement functionality for `char` that requires knowledge of
|
|
//! Unicode definitions, including normalization, categorization, and display information.
|
|
|
|
use core::option::Option;
|
|
use tables::{derived_property, property, general_category, conversions, charwidth};
|
|
|
|
/// Returns whether the specified `char` is considered a Unicode alphabetic
|
|
/// code point
|
|
#[deprecated = "use UnicodeChar::is_alphabetic"]
|
|
pub fn is_alphabetic(c: char) -> bool {
|
|
c.is_alphabetic()
|
|
}
|
|
|
|
/// Returns whether the specified `char` satisfies the 'XID_Start' Unicode property
|
|
///
|
|
/// 'XID_Start' is a Unicode Derived Property specified in
|
|
/// [UAX #31](http://unicode.org/reports/tr31/#NFKC_Modifications),
|
|
/// mostly similar to ID_Start but modified for closure under NFKx.
|
|
#[allow(non_snake_case)]
|
|
#[deprecated = "use UnicodeChar::is_XID_start"]
|
|
pub fn is_XID_start(c: char) -> bool { derived_property::XID_Start(c) }
|
|
|
|
/// Returns whether the specified `char` satisfies the 'XID_Continue' Unicode property
|
|
///
|
|
/// 'XID_Continue' is a Unicode Derived Property specified in
|
|
/// [UAX #31](http://unicode.org/reports/tr31/#NFKC_Modifications),
|
|
/// mostly similar to 'ID_Continue' but modified for closure under NFKx.
|
|
#[allow(non_snake_case)]
|
|
#[deprecated = "use UnicodeChar::is_XID_continue"]
|
|
pub fn is_XID_continue(c: char) -> bool { derived_property::XID_Continue(c) }
|
|
|
|
///
|
|
/// Indicates whether a `char` is in lower case
|
|
///
|
|
/// This is defined according to the terms of the Unicode Derived Core Property 'Lowercase'.
|
|
///
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::is_lowercase"]
|
|
pub fn is_lowercase(c: char) -> bool {
|
|
c.is_lowercase()
|
|
}
|
|
|
|
///
|
|
/// Indicates whether a `char` is in upper case
|
|
///
|
|
/// This is defined according to the terms of the Unicode Derived Core Property 'Uppercase'.
|
|
///
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::is_uppercase"]
|
|
pub fn is_uppercase(c: char) -> bool {
|
|
c.is_uppercase()
|
|
}
|
|
|
|
///
|
|
/// Indicates whether a `char` is whitespace
|
|
///
|
|
/// Whitespace is defined in terms of the Unicode Property 'White_Space'.
|
|
///
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::is_whitespace"]
|
|
pub fn is_whitespace(c: char) -> bool {
|
|
c.is_whitespace()
|
|
}
|
|
|
|
///
|
|
/// Indicates whether a `char` is alphanumeric
|
|
///
|
|
/// Alphanumericness is defined in terms of the Unicode General Categories
|
|
/// 'Nd', 'Nl', 'No' and the Derived Core Property 'Alphabetic'.
|
|
///
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::is_alphanumeric"]
|
|
pub fn is_alphanumeric(c: char) -> bool {
|
|
c.is_alphanumeric()
|
|
}
|
|
|
|
///
|
|
/// Indicates whether a `char` is a control code point
|
|
///
|
|
/// Control code points are defined in terms of the Unicode General Category
|
|
/// 'Cc'.
|
|
///
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::is_control"]
|
|
pub fn is_control(c: char) -> bool { general_category::Cc(c) }
|
|
|
|
/// Indicates whether the `char` is numeric (Nd, Nl, or No)
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::is_numeric"]
|
|
pub fn is_digit(c: char) -> bool {
|
|
c.is_numeric()
|
|
}
|
|
|
|
/// Convert a char to its uppercase equivalent
|
|
///
|
|
/// The case-folding performed is the common or simple mapping:
|
|
/// it maps one Unicode codepoint (one char in Rust) to its uppercase equivalent according
|
|
/// to the Unicode database at ftp://ftp.unicode.org/Public/UNIDATA/UnicodeData.txt
|
|
/// The additional SpecialCasing.txt is not considered here, as it expands to multiple
|
|
/// codepoints in some cases.
|
|
///
|
|
/// A full reference can be found here
|
|
/// http://www.unicode.org/versions/Unicode4.0.0/ch03.pdf#G33992
|
|
///
|
|
/// # Return value
|
|
///
|
|
/// Returns the char itself if no conversion was made
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::to_uppercase"]
|
|
pub fn to_uppercase(c: char) -> char {
|
|
conversions::to_upper(c)
|
|
}
|
|
|
|
/// Convert a char to its lowercase equivalent
|
|
///
|
|
/// The case-folding performed is the common or simple mapping
|
|
/// see `to_uppercase` for references and more information
|
|
///
|
|
/// # Return value
|
|
///
|
|
/// Returns the char itself if no conversion if possible
|
|
#[inline]
|
|
#[deprecated = "use UnicodeChar::to_lowercase"]
|
|
pub fn to_lowercase(c: char) -> char {
|
|
conversions::to_lower(c)
|
|
}
|
|
|
|
/// Returns this character's displayed width in columns, or `None` if it is a
|
|
/// control character other than `'\x00'`.
|
|
///
|
|
/// `is_cjk` determines behavior for characters in the Ambiguous category:
|
|
/// if `is_cjk` is `true`, these are 2 columns wide; otherwise, they are 1.
|
|
/// In CJK contexts, `is_cjk` should be `true`, else it should be `false`.
|
|
/// [Unicode Standard Annex #11](http://www.unicode.org/reports/tr11/)
|
|
/// recommends that these characters be treated as 1 column (i.e.,
|
|
/// `is_cjk` = `false`) if the context cannot be reliably determined.
|
|
#[deprecated = "use UnicodeChar::width"]
|
|
pub fn width(c: char, is_cjk: bool) -> Option<uint> {
|
|
charwidth::width(c, is_cjk)
|
|
}
|
|
|
|
/// Useful functions for Unicode characters.
|
|
#[experimental = "pending prelude organization"]
|
|
pub trait UnicodeChar {
|
|
/// Returns whether the specified character is considered a Unicode
|
|
/// alphabetic code point.
|
|
fn is_alphabetic(self) -> bool;
|
|
|
|
/// Returns whether the specified character satisfies the 'XID_Start'
|
|
/// Unicode property.
|
|
///
|
|
/// 'XID_Start' is a Unicode Derived Property specified in
|
|
/// [UAX #31](http://unicode.org/reports/tr31/#NFKC_Modifications),
|
|
/// mostly similar to ID_Start but modified for closure under NFKx.
|
|
#[allow(non_snake_case)]
|
|
#[deprecated = "use is_xid_start"]
|
|
fn is_XID_start(self) -> bool;
|
|
|
|
/// Returns whether the specified character satisfies the 'XID_Start'
|
|
/// Unicode property.
|
|
///
|
|
/// 'XID_Start' is a Unicode Derived Property specified in
|
|
/// [UAX #31](http://unicode.org/reports/tr31/#NFKC_Modifications),
|
|
/// mostly similar to ID_Start but modified for closure under NFKx.
|
|
fn is_xid_start(self) -> bool;
|
|
|
|
/// Returns whether the specified `char` satisfies the 'XID_Continue'
|
|
/// Unicode property.
|
|
///
|
|
/// 'XID_Continue' is a Unicode Derived Property specified in
|
|
/// [UAX #31](http://unicode.org/reports/tr31/#NFKC_Modifications),
|
|
/// mostly similar to 'ID_Continue' but modified for closure under NFKx.
|
|
#[allow(non_snake_case)]
|
|
#[deprecated = "use is_xid_continue"]
|
|
fn is_XID_continue(self) -> bool;
|
|
|
|
/// Returns whether the specified `char` satisfies the 'XID_Continue'
|
|
/// Unicode property.
|
|
///
|
|
/// 'XID_Continue' is a Unicode Derived Property specified in
|
|
/// [UAX #31](http://unicode.org/reports/tr31/#NFKC_Modifications),
|
|
/// mostly similar to 'ID_Continue' but modified for closure under NFKx.
|
|
fn is_xid_continue(self) -> bool;
|
|
|
|
/// Indicates whether a character is in lowercase.
|
|
///
|
|
/// This is defined according to the terms of the Unicode Derived Core
|
|
/// Property `Lowercase`.
|
|
fn is_lowercase(self) -> bool;
|
|
|
|
/// Indicates whether a character is in uppercase.
|
|
///
|
|
/// This is defined according to the terms of the Unicode Derived Core
|
|
/// Property `Uppercase`.
|
|
fn is_uppercase(self) -> bool;
|
|
|
|
/// Indicates whether a character is whitespace.
|
|
///
|
|
/// Whitespace is defined in terms of the Unicode Property `White_Space`.
|
|
fn is_whitespace(self) -> bool;
|
|
|
|
/// Indicates whether a character is alphanumeric.
|
|
///
|
|
/// Alphanumericness is defined in terms of the Unicode General Categories
|
|
/// 'Nd', 'Nl', 'No' and the Derived Core Property 'Alphabetic'.
|
|
fn is_alphanumeric(self) -> bool;
|
|
|
|
/// Indicates whether a character is a control code point.
|
|
///
|
|
/// Control code points are defined in terms of the Unicode General
|
|
/// Category `Cc`.
|
|
fn is_control(self) -> bool;
|
|
|
|
/// Indicates whether the character is numeric (Nd, Nl, or No).
|
|
fn is_numeric(self) -> bool;
|
|
|
|
/// Converts a character to its lowercase equivalent.
|
|
///
|
|
/// The case-folding performed is the common or simple mapping. See
|
|
/// `to_uppercase()` for references and more information.
|
|
///
|
|
/// # Return value
|
|
///
|
|
/// Returns the lowercase equivalent of the character, or the character
|
|
/// itself if no conversion is possible.
|
|
fn to_lowercase(self) -> char;
|
|
|
|
/// Converts a character to its uppercase equivalent.
|
|
///
|
|
/// The case-folding performed is the common or simple mapping: it maps
|
|
/// one Unicode codepoint (one character in Rust) to its uppercase
|
|
/// equivalent according to the Unicode database [1]. The additional
|
|
/// [`SpecialCasing.txt`] is not considered here, as it expands to multiple
|
|
/// codepoints in some cases.
|
|
///
|
|
/// A full reference can be found here [2].
|
|
///
|
|
/// # Return value
|
|
///
|
|
/// Returns the uppercase equivalent of the character, or the character
|
|
/// itself if no conversion was made.
|
|
///
|
|
/// [1]: ftp://ftp.unicode.org/Public/UNIDATA/UnicodeData.txt
|
|
///
|
|
/// [`SpecialCasing`.txt`]: ftp://ftp.unicode.org/Public/UNIDATA/SpecialCasing.txt
|
|
///
|
|
/// [2]: http://www.unicode.org/versions/Unicode4.0.0/ch03.pdf#G33992
|
|
fn to_uppercase(self) -> char;
|
|
|
|
/// Returns this character's displayed width in columns, or `None` if it is a
|
|
/// control character other than `'\x00'`.
|
|
///
|
|
/// `is_cjk` determines behavior for characters in the Ambiguous category:
|
|
/// if `is_cjk` is `true`, these are 2 columns wide; otherwise, they are 1.
|
|
/// In CJK contexts, `is_cjk` should be `true`, else it should be `false`.
|
|
/// [Unicode Standard Annex #11](http://www.unicode.org/reports/tr11/)
|
|
/// recommends that these characters be treated as 1 column (i.e.,
|
|
/// `is_cjk` = `false`) if the context cannot be reliably determined.
|
|
#[experimental = "needs expert opinion. is_cjk flag stands out as ugly"]
|
|
fn width(self, is_cjk: bool) -> Option<uint>;
|
|
}
|
|
|
|
#[experimental = "pending prelude organization"]
|
|
impl UnicodeChar for char {
|
|
fn is_alphabetic(self) -> bool {
|
|
match self {
|
|
'a' ... 'z' | 'A' ... 'Z' => true,
|
|
c if c > '\x7f' => derived_property::Alphabetic(c),
|
|
_ => false
|
|
}
|
|
}
|
|
|
|
#[deprecated = "use is_xid_start"]
|
|
fn is_XID_start(self) -> bool { derived_property::XID_Start(self) }
|
|
|
|
#[deprecated = "use is_xid_continue"]
|
|
fn is_XID_continue(self) -> bool { derived_property::XID_Continue(self) }
|
|
|
|
fn is_xid_start(self) -> bool { derived_property::XID_Start(self) }
|
|
|
|
fn is_xid_continue(self) -> bool { derived_property::XID_Continue(self) }
|
|
|
|
fn is_lowercase(self) -> bool {
|
|
match self {
|
|
'a' ... 'z' => true,
|
|
c if c > '\x7f' => derived_property::Lowercase(c),
|
|
_ => false
|
|
}
|
|
}
|
|
|
|
fn is_uppercase(self) -> bool {
|
|
match self {
|
|
'A' ... 'Z' => true,
|
|
c if c > '\x7f' => derived_property::Uppercase(c),
|
|
_ => false
|
|
}
|
|
}
|
|
|
|
fn is_whitespace(self) -> bool {
|
|
match self {
|
|
' ' | '\x09' ... '\x0d' => true,
|
|
c if c > '\x7f' => property::White_Space(c),
|
|
_ => false
|
|
}
|
|
}
|
|
|
|
fn is_alphanumeric(self) -> bool {
|
|
self.is_alphabetic() || self.is_numeric()
|
|
}
|
|
|
|
fn is_control(self) -> bool { general_category::Cc(self) }
|
|
|
|
fn is_numeric(self) -> bool {
|
|
match self {
|
|
'0' ... '9' => true,
|
|
c if c > '\x7f' => general_category::N(c),
|
|
_ => false
|
|
}
|
|
}
|
|
|
|
fn to_lowercase(self) -> char { conversions::to_lower(self) }
|
|
|
|
fn to_uppercase(self) -> char { conversions::to_upper(self) }
|
|
|
|
#[experimental = "needs expert opinion. is_cjk flag stands out as ugly"]
|
|
fn width(self, is_cjk: bool) -> Option<uint> { charwidth::width(self, is_cjk) }
|
|
}
|