Track quoting style in the tokenizer (#10256)
This commit is contained in:
314
crates/ruff_python_parser/src/string_token_flags.rs
Normal file
314
crates/ruff_python_parser/src/string_token_flags.rs
Normal file
@@ -0,0 +1,314 @@
|
||||
use std::fmt;
|
||||
|
||||
use bitflags::bitflags;
|
||||
|
||||
use ruff_text_size::{TextLen, TextSize};
|
||||
|
||||
bitflags! {
|
||||
/// Flags that can be queried to obtain information
|
||||
/// regarding the prefixes and quotes used for a string literal.
|
||||
///
|
||||
/// Note that not all of these flags can be validly combined -- e.g.,
|
||||
/// it is invalid to combine the `U_PREFIX` flag with any other
|
||||
/// of the `*_PREFIX` flags. As such, the recommended way to set the
|
||||
/// prefix flags is by calling the `as_flags()` method on the
|
||||
/// `StringPrefix` enum.
|
||||
#[derive(Default, Debug, Copy, Clone, PartialEq, Eq, Hash)]
|
||||
struct StringFlags: u8 {
|
||||
/// The string uses double quotes (`"`).
|
||||
/// If this flag is not set, the string uses single quotes (`'`).
|
||||
const DOUBLE = 1 << 0;
|
||||
|
||||
/// The string is triple-quoted:
|
||||
/// it begins and ends with three consecutive quote characters.
|
||||
const TRIPLE_QUOTED = 1 << 1;
|
||||
|
||||
/// The string has a `u` or `U` prefix.
|
||||
/// While this prefix is a no-op at runtime,
|
||||
/// strings with this prefix can have no other prefixes set.
|
||||
const U_PREFIX = 1 << 2;
|
||||
|
||||
/// The string has a `b` or `B` prefix.
|
||||
/// This means that the string is a sequence of `int`s at runtime,
|
||||
/// rather than a sequence of `str`s.
|
||||
/// Strings with this flag can also be raw strings,
|
||||
/// but can have no other prefixes.
|
||||
const B_PREFIX = 1 << 3;
|
||||
|
||||
/// The string has a `f` or `F` prefix, meaning it is an f-string.
|
||||
/// F-strings can also be raw strings,
|
||||
/// but can have no other prefixes.
|
||||
const F_PREFIX = 1 << 4;
|
||||
|
||||
/// The string has an `r` or `R` prefix, meaning it is a raw string.
|
||||
/// F-strings and byte-strings can be raw,
|
||||
/// as can strings with no other prefixes.
|
||||
/// U-strings cannot be raw.
|
||||
const R_PREFIX = 1 << 5;
|
||||
}
|
||||
}
|
||||
|
||||
/// Enumeration of all the possible valid prefixes
|
||||
/// prior to a Python string literal.
|
||||
///
|
||||
/// Using the `as_flags()` method on variants of this enum
|
||||
/// is the recommended way to set `*_PREFIX` flags from the
|
||||
/// `StringFlags` bitflag, as it means that you cannot accidentally
|
||||
/// set a combination of `*_PREFIX` flags that would be invalid
|
||||
/// at runtime in Python.
|
||||
///
|
||||
/// [String and Bytes literals]: https://docs.python.org/3/reference/lexical_analysis.html#string-and-bytes-literals
|
||||
/// [PEP 701]: https://peps.python.org/pep-0701/
|
||||
#[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
|
||||
pub(crate) enum StringPrefix {
|
||||
/// The string has a `u` or `U` prefix.
|
||||
/// While this prefix is a no-op at runtime,
|
||||
/// strings with this prefix can have no other prefixes set.
|
||||
Unicode,
|
||||
|
||||
/// The string has an `r` or `R` prefix, meaning it is a raw string.
|
||||
/// F-strings and byte-strings can be raw,
|
||||
/// as can strings with no other prefixes.
|
||||
/// U-strings cannot be raw.
|
||||
Raw,
|
||||
|
||||
/// The string has a `f` or `F` prefix, meaning it is an f-string.
|
||||
/// F-strings can also be raw strings,
|
||||
/// but can have no other prefixes.
|
||||
Format,
|
||||
|
||||
/// The string has a `b` or `B` prefix.
|
||||
/// This means that the string is a sequence of `int`s at runtime,
|
||||
/// rather than a sequence of `str`s.
|
||||
/// Bytestrings can also be raw strings,
|
||||
/// but can have no other prefixes.
|
||||
Bytes,
|
||||
|
||||
/// A string that has has any one of the prefixes
|
||||
/// `{"rf", "rF", "Rf", "RF", "fr", "fR", "Fr", "FR"}`
|
||||
/// Semantically, these all have the same meaning:
|
||||
/// the string is both an f-string and a raw-string
|
||||
RawFormat,
|
||||
|
||||
/// A string that has has any one of the prefixes
|
||||
/// `{"rb", "rB", "Rb", "RB", "br", "bR", "Br", "BR"}`
|
||||
/// Semantically, these all have the same meaning:
|
||||
/// the string is both an bytestring and a raw-string
|
||||
RawBytes,
|
||||
}
|
||||
|
||||
impl TryFrom<char> for StringPrefix {
|
||||
type Error = String;
|
||||
|
||||
fn try_from(value: char) -> Result<Self, String> {
|
||||
let result = match value {
|
||||
'r' | 'R' => Self::Raw,
|
||||
'u' | 'U' => Self::Unicode,
|
||||
'b' | 'B' => Self::Bytes,
|
||||
'f' | 'F' => Self::Format,
|
||||
_ => return Err(format!("Unexpected prefix '{value}'")),
|
||||
};
|
||||
Ok(result)
|
||||
}
|
||||
}
|
||||
|
||||
impl TryFrom<[char; 2]> for StringPrefix {
|
||||
type Error = String;
|
||||
|
||||
fn try_from(value: [char; 2]) -> Result<Self, String> {
|
||||
match value {
|
||||
['r' | 'R', 'f' | 'F'] | ['f' | 'F', 'r' | 'R'] => Ok(Self::RawFormat),
|
||||
['r' | 'R', 'b' | 'B'] | ['b' | 'B', 'r' | 'R'] => Ok(Self::RawBytes),
|
||||
_ => Err(format!("Unexpected prefix '{}{}'", value[0], value[1])),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl StringPrefix {
|
||||
const fn as_flags(self) -> StringFlags {
|
||||
match self {
|
||||
Self::Bytes => StringFlags::B_PREFIX,
|
||||
Self::Format => StringFlags::F_PREFIX,
|
||||
Self::Raw => StringFlags::R_PREFIX,
|
||||
Self::RawBytes => StringFlags::R_PREFIX.union(StringFlags::B_PREFIX),
|
||||
Self::RawFormat => StringFlags::R_PREFIX.union(StringFlags::F_PREFIX),
|
||||
Self::Unicode => StringFlags::U_PREFIX,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Default, Clone, Copy, PartialEq, Eq, Hash)]
|
||||
pub struct StringKind(StringFlags);
|
||||
|
||||
impl StringKind {
|
||||
pub(crate) const fn from_prefix(prefix: Option<StringPrefix>) -> Self {
|
||||
if let Some(prefix) = prefix {
|
||||
Self(prefix.as_flags())
|
||||
} else {
|
||||
Self(StringFlags::empty())
|
||||
}
|
||||
}
|
||||
|
||||
/// Does the string have a `u` or `U` prefix?
|
||||
pub const fn is_u_string(self) -> bool {
|
||||
self.0.contains(StringFlags::U_PREFIX)
|
||||
}
|
||||
|
||||
/// Does the string have an `r` or `R` prefix?
|
||||
pub const fn is_raw_string(self) -> bool {
|
||||
self.0.contains(StringFlags::R_PREFIX)
|
||||
}
|
||||
|
||||
/// Does the string have an `f` or `F` prefix?
|
||||
pub const fn is_f_string(self) -> bool {
|
||||
self.0.contains(StringFlags::F_PREFIX)
|
||||
}
|
||||
|
||||
/// Does the string have a `b` or `B` prefix?
|
||||
pub const fn is_byte_string(self) -> bool {
|
||||
self.0.contains(StringFlags::B_PREFIX)
|
||||
}
|
||||
|
||||
/// Does the string use single or double quotes in its opener and closer?
|
||||
pub const fn quote_style(self) -> QuoteStyle {
|
||||
if self.0.contains(StringFlags::DOUBLE) {
|
||||
QuoteStyle::Double
|
||||
} else {
|
||||
QuoteStyle::Single
|
||||
}
|
||||
}
|
||||
|
||||
/// Is the string triple-quoted, i.e.,
|
||||
/// does it begin and end with three consecutive quote characters?
|
||||
pub const fn is_triple_quoted(self) -> bool {
|
||||
self.0.contains(StringFlags::TRIPLE_QUOTED)
|
||||
}
|
||||
|
||||
/// A `str` representation of the quotes used to start and close.
|
||||
/// This does not include any prefixes the string has in its opener.
|
||||
pub const fn quote_str(self) -> &'static str {
|
||||
if self.is_triple_quoted() {
|
||||
match self.quote_style() {
|
||||
QuoteStyle::Single => "'''",
|
||||
QuoteStyle::Double => r#"""""#,
|
||||
}
|
||||
} else {
|
||||
match self.quote_style() {
|
||||
QuoteStyle::Single => "'",
|
||||
QuoteStyle::Double => "\"",
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/// A `str` representation of the prefixes used (if any)
|
||||
/// in the string's opener.
|
||||
pub const fn prefix_str(self) -> &'static str {
|
||||
if self.0.contains(StringFlags::F_PREFIX) {
|
||||
if self.0.contains(StringFlags::R_PREFIX) {
|
||||
return "rf";
|
||||
}
|
||||
return "f";
|
||||
}
|
||||
if self.0.contains(StringFlags::B_PREFIX) {
|
||||
if self.0.contains(StringFlags::R_PREFIX) {
|
||||
return "rb";
|
||||
}
|
||||
return "b";
|
||||
}
|
||||
if self.0.contains(StringFlags::R_PREFIX) {
|
||||
return "r";
|
||||
}
|
||||
if self.0.contains(StringFlags::U_PREFIX) {
|
||||
return "u";
|
||||
}
|
||||
""
|
||||
}
|
||||
|
||||
/// The length of the prefixes used (if any) in the string's opener.
|
||||
pub fn prefix_len(self) -> TextSize {
|
||||
self.prefix_str().text_len()
|
||||
}
|
||||
|
||||
/// The length of the quotes used to start and close the string.
|
||||
/// This does not include the length of any prefixes the string has
|
||||
/// in its opener.
|
||||
pub const fn quote_len(self) -> TextSize {
|
||||
if self.is_triple_quoted() {
|
||||
TextSize::new(3)
|
||||
} else {
|
||||
TextSize::new(1)
|
||||
}
|
||||
}
|
||||
|
||||
/// The total length of the string's opener,
|
||||
/// i.e., the length of the prefixes plus the length
|
||||
/// of the quotes used to open the string.
|
||||
pub fn opener_len(self) -> TextSize {
|
||||
self.prefix_len() + self.quote_len()
|
||||
}
|
||||
|
||||
/// The total length of the string's closer.
|
||||
/// This is always equal to `self.quote_len()`,
|
||||
/// but is provided here for symmetry with the `opener_len()` method.
|
||||
pub const fn closer_len(self) -> TextSize {
|
||||
self.quote_len()
|
||||
}
|
||||
|
||||
pub fn format_string_contents(self, contents: &str) -> String {
|
||||
format!(
|
||||
"{}{}{}{}",
|
||||
self.prefix_str(),
|
||||
self.quote_str(),
|
||||
contents,
|
||||
self.quote_str()
|
||||
)
|
||||
}
|
||||
|
||||
#[must_use]
|
||||
pub fn with_double_quotes(mut self) -> Self {
|
||||
self.0 |= StringFlags::DOUBLE;
|
||||
self
|
||||
}
|
||||
|
||||
#[must_use]
|
||||
pub fn with_triple_quotes(mut self) -> Self {
|
||||
self.0 |= StringFlags::TRIPLE_QUOTED;
|
||||
self
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Debug for StringKind {
|
||||
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||
f.debug_struct("StringKind")
|
||||
.field("prefix", &self.prefix_str())
|
||||
.field("triple_quoted", &self.is_triple_quoted())
|
||||
.field("quote_style", &self.quote_style())
|
||||
.finish()
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, Default, Copy, Clone, Hash, PartialEq, Eq)]
|
||||
pub enum QuoteStyle {
|
||||
/// E.g. '
|
||||
Single,
|
||||
/// E.g. "
|
||||
#[default]
|
||||
Double,
|
||||
}
|
||||
|
||||
impl QuoteStyle {
|
||||
pub const fn as_char(self) -> char {
|
||||
match self {
|
||||
Self::Single => '\'',
|
||||
Self::Double => '"',
|
||||
}
|
||||
}
|
||||
|
||||
#[must_use]
|
||||
pub const fn opposite(self) -> Self {
|
||||
match self {
|
||||
Self::Single => Self::Double,
|
||||
Self::Double => Self::Single,
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user