use crate::ast;
use crate::{
Parse, ParseError, Parser, Resolve, ResolveError, ResolveErrorKind, ResolveOwned, Spanned,
Storage, ToTokens,
};
use runestick::{Source, Span};
#[derive(Debug, Clone, PartialEq, Eq, ToTokens, Spanned)]
pub struct LitChar {
pub token: ast::Token,
#[rune(skip)]
pub source: ast::CopySource<char>,
}
impl LitChar {
pub fn new(c: char) -> Self {
crate::macros::current_context(|ctx| Self {
token: ast::Token {
kind: ast::Kind::Char(ast::CopySource::Inline(c)),
span: ctx.macro_span(),
},
source: ast::CopySource::Inline(c),
})
}
}
impl Parse for LitChar {
fn parse(parser: &mut Parser<'_>) -> Result<Self, ParseError> {
let token = parser.next()?;
match token.kind {
K![char(source)] => Ok(LitChar { token, source }),
_ => Err(ParseError::expected(&token, "char")),
}
}
}
impl<'a> Resolve<'a> for LitChar {
type Output = char;
fn resolve(&self, _: &Storage, source: &'a Source) -> Result<char, ResolveError> {
match self.source {
ast::CopySource::Inline(c) => return Ok(c),
ast::CopySource::Text => (),
}
let span = self.token.span();
let string = source
.source(span.narrow(1))
.ok_or_else(|| ResolveError::new(span, ResolveErrorKind::BadSlice))?;
let start = span.start.into_usize();
let mut it = string
.char_indices()
.map(|(n, c)| (start + n, c))
.peekable();
let (start, c) = match it.next() {
Some(c) => c,
None => {
return Err(ResolveError::new(span, ResolveErrorKind::BadCharLiteral));
}
};
let c = match c {
'\\' => {
let c = match ast::utils::parse_char_escape(
&mut it,
ast::utils::WithTemplate(false),
ast::utils::WithLineCont(false),
) {
Ok(c) => c,
Err(kind) => {
let end = it
.next()
.map(|n| n.0)
.unwrap_or_else(|| span.end.into_usize());
return Err(ResolveError::new(Span::new(start, end), kind));
}
};
match c {
Some(c) => c,
None => {
let end = it
.next()
.map(|n| n.0)
.unwrap_or_else(|| span.end.into_usize());
return Err(ResolveError::new(
Span::new(start, end),
ResolveErrorKind::BadCharLiteral,
));
}
}
}
c => c,
};
if it.next().is_some() {
return Err(ResolveError::new(span, ResolveErrorKind::BadCharLiteral));
}
Ok(c)
}
}
impl ResolveOwned for LitChar {
type Owned = char;
fn resolve_owned(
&self,
storage: &Storage,
source: &Source,
) -> Result<Self::Owned, ResolveError> {
Ok(self.resolve(storage, source)?)
}
}