blob: 0e50c0396996c3146edad14b55f966fe4decb043 [file] [log] [blame]
use crate::error::{Error, Result};
use proc_macro::{Ident, Span, TokenStream, TokenTree};
use std::iter;
#[derive(PartialOrd, PartialEq)]
enum Qualifiers {
None,
Async,
Unsafe,
Extern,
Abi,
}
impl Qualifiers {
fn from_ident(ident: &Ident) -> Self {
match ident.to_string().as_str() {
"async" => Qualifiers::Async,
"unsafe" => Qualifiers::Unsafe,
"extern" => Qualifiers::Extern,
_ => Qualifiers::None,
}
}
}
pub(crate) fn insert_const(input: TokenStream, const_span: Span) -> Result<TokenStream> {
let ref mut input = crate::iter::new(input);
let mut out = TokenStream::new();
let mut qualifiers = Qualifiers::None;
let mut pending = Vec::new();
while let Some(token) = input.next() {
match token {
TokenTree::Ident(ref ident) if ident.to_string() == "fn" => {
let const_ident = Ident::new("const", const_span);
out.extend(iter::once(TokenTree::Ident(const_ident)));
out.extend(pending);
out.extend(iter::once(token));
out.extend(input);
return Ok(out);
}
TokenTree::Ident(ref ident) if Qualifiers::from_ident(ident) > qualifiers => {
qualifiers = Qualifiers::from_ident(ident);
pending.push(token);
}
TokenTree::Literal(_) if qualifiers == Qualifiers::Extern => {
qualifiers = Qualifiers::Abi;
pending.push(token);
}
_ => {
qualifiers = Qualifiers::None;
out.extend(pending.drain(..));
out.extend(iter::once(token));
}
}
}
Err(Error::new(const_span, "only allowed on a fn item"))
}