1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
use crate::ast;
use crate::{
Parse, ParseError, Parser, Peek, Peeker, Resolve, ResolveError, ResolveErrorKind, ResolveOwned,
Spanned, Storage, ToTokens,
};
use runestick::{Source, Span};
use std::borrow::Cow;
#[derive(Debug, Clone, Copy, PartialEq, Eq, ToTokens, Spanned)]
pub struct Ident {
pub token: ast::Token,
#[rune(skip)]
pub source: ast::StringSource,
}
impl Ident {
pub fn new(ident: &str) -> Self {
crate::macros::current_context(|ctx| Self::new_with(ident, ctx.macro_span(), ctx.storage()))
}
pub(crate) fn new_with(ident: &str, span: Span, storage: &Storage) -> ast::Ident {
let id = storage.insert_str(ident);
let source = ast::StringSource::Synthetic(id);
ast::Ident {
token: ast::Token {
span,
kind: ast::Kind::Ident(source),
},
source,
}
}
}
impl Parse for Ident {
fn parse(parser: &mut Parser<'_>) -> Result<Self, ParseError> {
let token = parser.next()?;
match token.kind {
ast::Kind::Ident(source) => Ok(Self { token, source }),
_ => Err(ParseError::expected(&token, "ident")),
}
}
}
impl Peek for Ident {
fn peek(p: &mut Peeker<'_>) -> bool {
matches!(p.nth(0), K![ident])
}
}
impl<'a> Resolve<'a> for Ident {
type Output = Cow<'a, str>;
fn resolve(&self, storage: &Storage, source: &'a Source) -> Result<Cow<'a, str>, ResolveError> {
let span = self.token.span();
match self.source {
ast::StringSource::Text => {
let ident = source
.source(span)
.ok_or_else(|| ResolveError::new(span, ResolveErrorKind::BadSlice))?;
Ok(Cow::Borrowed(ident))
}
ast::StringSource::Synthetic(id) => {
let ident = storage.get_string(id).ok_or_else(|| {
ResolveError::new(span, ResolveErrorKind::BadSyntheticId { kind: "label", id })
})?;
Ok(Cow::Owned(ident))
}
ast::StringSource::BuiltIn(builtin) => Ok(Cow::Borrowed(builtin.as_str())),
}
}
}
impl ResolveOwned for Ident {
type Owned = String;
fn resolve_owned(
&self,
storage: &Storage,
source: &Source,
) -> Result<Self::Owned, ResolveError> {
let output = self.resolve(storage, source)?;
match output {
Cow::Borrowed(borrowed) => Ok(borrowed.to_owned()),
Cow::Owned(owned) => Ok(owned),
}
}
}