litrs/string/
mod.rs

1use std::{fmt, ops::Range};
2
3use crate::{
4    Buffer, ParseError,
5    err::{perr, ParseErrorKind::*},
6    escape::{scan_raw_string, unescape_string},
7    parse::first_byte_or_empty,
8};
9
10
11/// A string or raw string literal, e.g. `"foo"`, `"Grüße"` or `r#"a🦊c"d🦀f"#`.
12///
13/// See [the reference][ref] for more information.
14///
15/// [ref]: https://doc.rust-lang.org/reference/tokens.html#string-literals
16#[derive(Debug, Clone, PartialEq, Eq)]
17pub struct StringLit<B: Buffer> {
18    /// The raw input.
19    raw: B,
20
21    /// The string value (with all escapes unescaped), or `None` if there were
22    /// no escapes. In the latter case, the string value is in `raw`.
23    value: Option<String>,
24
25    /// The number of hash signs in case of a raw string literal, or `None` if
26    /// it's not a raw string literal.
27    num_hashes: Option<u32>,
28
29    /// Start index of the suffix or `raw.len()` if there is no suffix.
30    start_suffix: usize,
31}
32
33impl<B: Buffer> StringLit<B> {
34    /// Parses the input as a (raw) string literal. Returns an error if the
35    /// input is invalid or represents a different kind of literal.
36    pub fn parse(input: B) -> Result<Self, ParseError> {
37        match first_byte_or_empty(&input)? {
38            b'r' | b'"' => {
39                let (value, num_hashes, start_suffix) = parse_impl(&input)?;
40                Ok(Self { raw: input, value, num_hashes, start_suffix })
41            }
42            _ => Err(perr(0, InvalidStringLiteralStart)),
43        }
44    }
45
46    /// Returns the string value this literal represents (where all escapes have
47    /// been turned into their respective values).
48    pub fn value(&self) -> &str {
49        self.value.as_deref().unwrap_or(&self.raw[self.inner_range()])
50    }
51
52    /// Like `value` but returns a potentially owned version of the value.
53    ///
54    /// The return value is either `Cow<'static, str>` if `B = String`, or
55    /// `Cow<'a, str>` if `B = &'a str`.
56    pub fn into_value(self) -> B::Cow {
57        let inner_range = self.inner_range();
58        let Self { raw, value, .. } = self;
59        value.map(B::Cow::from).unwrap_or_else(|| raw.cut(inner_range).into_cow())
60    }
61
62    /// The optional suffix. Returns `""` if the suffix is empty/does not exist.
63    pub fn suffix(&self) -> &str {
64        &(*self.raw)[self.start_suffix..]
65    }
66
67    /// Returns whether this literal is a raw string literal (starting with
68    /// `r`).
69    pub fn is_raw_string(&self) -> bool {
70        self.num_hashes.is_some()
71    }
72
73    /// Returns the raw input that was passed to `parse`.
74    pub fn raw_input(&self) -> &str {
75        &self.raw
76    }
77
78    /// Returns the raw input that was passed to `parse`, potentially owned.
79    pub fn into_raw_input(self) -> B {
80        self.raw
81    }
82
83    /// The range within `self.raw` that excludes the quotes and potential `r#`.
84    fn inner_range(&self) -> Range<usize> {
85        match self.num_hashes {
86            None => 1..self.start_suffix - 1,
87            Some(n) => 1 + n as usize + 1..self.start_suffix - n as usize - 1,
88        }
89    }
90}
91
92impl StringLit<&str> {
93    /// Makes a copy of the underlying buffer and returns the owned version of
94    /// `Self`.
95    pub fn into_owned(self) -> StringLit<String> {
96        StringLit {
97            raw: self.raw.to_owned(),
98            value: self.value,
99            num_hashes: self.num_hashes,
100            start_suffix: self.start_suffix,
101        }
102    }
103}
104
105impl<B: Buffer> fmt::Display for StringLit<B> {
106    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
107        f.pad(&self.raw)
108    }
109}
110
111/// Precondition: input has to start with either `"` or `r`.
112#[inline(never)]
113pub(crate) fn parse_impl(input: &str) -> Result<(Option<String>, Option<u32>, usize), ParseError> {
114    if input.starts_with('r') {
115        scan_raw_string::<char>(&input, 1)
116            .map(|(v, hashes, start_suffix)| (v, Some(hashes), start_suffix))
117    } else {
118        unescape_string::<char>(&input, 1)
119            .map(|(v, start_suffix)| (v, None, start_suffix))
120    }
121}
122
123
124#[cfg(test)]
125mod tests;
litrs/string/mod.rs

litrs/string/
mod.rs
