Amend ?Sized on Id<T> for dyn Id<T>. Minor housekeeping on macros and imports. All unperturbed.
This commit is contained in:
parent
6e9c1c1213
commit
385a08b094
5 changed files with 45 additions and 46 deletions
|
|
@ -10,7 +10,4 @@ edition = "2018"
|
||||||
proc-macro = true
|
proc-macro = true
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
quote = "1"
|
|
||||||
proc-macro2 = "1.0"
|
|
||||||
syn = "1.0"
|
|
||||||
map = { path = "../map" }
|
map = { path = "../map" }
|
||||||
|
|
@ -6,49 +6,51 @@ use std::iter::Peekable;
|
||||||
|
|
||||||
type Tokens = Peekable<IntoIter>;
|
type Tokens = Peekable<IntoIter>;
|
||||||
|
|
||||||
fn entry(input: &mut Tokens) -> Option<MapEntry<String, TokenStream>> {
|
fn brackets(stream: TokenStream) -> TokenStream {
|
||||||
|
TokenStream::from(TokenTree::Group(Group::new(Delimiter::Brace,stream)))
|
||||||
|
}
|
||||||
|
|
||||||
|
fn entry(input: &mut Tokens) -> Option<MapEntry<String,TokenStream>> {
|
||||||
if input.peek().is_some() {
|
if input.peek().is_some() {
|
||||||
let index = match input.next() {
|
let index = match input.next() { // Take one literal as an index
|
||||||
// Take one literal as an index
|
Some(TokenTree::Literal(literal)) => literal.span().source_text().unwrap(),
|
||||||
Some(TokenTree::Literal(literal)) => literal.to_string(),
|
Some(index) => panic!(format!("Expected literal index {:?}",index)),
|
||||||
Some(_) => panic!("Expected literal index"),
|
|
||||||
None => return None,
|
None => return None,
|
||||||
};
|
};
|
||||||
match input.next() {
|
match input.next() { // Look for '=' in "=>"
|
||||||
// Look for '=' in "=>"
|
Some(TokenTree::Punct(punct)) if punct.as_char() == '=' => {},
|
||||||
Some(TokenTree::Punct(punct)) if punct.as_char() == '=' => {}
|
|
||||||
_ => panic!("Expected '=>'"),
|
_ => panic!("Expected '=>'"),
|
||||||
};
|
};
|
||||||
match input.next() {
|
match input.next() { // Look for '>' in "=>"
|
||||||
// Look for '>' in "=>"
|
Some(TokenTree::Punct(punct)) if punct.as_char() == '>' => {},
|
||||||
Some(TokenTree::Punct(punct)) if punct.as_char() == '>' => {}
|
|
||||||
_ => panic!("Expected '=>'"),
|
_ => panic!("Expected '=>'"),
|
||||||
};
|
};
|
||||||
let mut value = Vec::new();
|
let mut value = Vec::new();
|
||||||
let mut closure = false;
|
let mut closure = false;
|
||||||
loop {
|
loop { // Accumulate value token stream until ',' is found
|
||||||
// Accumulate value token stream until ',' is found
|
|
||||||
match input.next() {
|
match input.next() {
|
||||||
Some(TokenTree::Punct(punct)) if punct.as_char() == ',' && !closure => break,
|
Some(TokenTree::Punct(punct)) if punct.as_char() == ',' && !closure => break,
|
||||||
Some(ref it @ TokenTree::Punct(ref punct)) if punct.as_char() == '|' => {
|
Some(ref it@TokenTree::Punct(ref punct)) if punct.as_char() == '|' => {
|
||||||
value.push(it.clone());
|
value.push(it.clone());
|
||||||
closure = !closure
|
closure = !closure
|
||||||
}
|
},
|
||||||
Some(it) => value.push(it),
|
Some(it) => value.push(it),
|
||||||
None => break,
|
None => break,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
let mut value_stream = TokenStream::new();
|
let mut value_stream = TokenStream::new();
|
||||||
value_stream.extend(value);
|
value_stream.extend(value);
|
||||||
Some(MapEntry(Some((index, value_stream))))
|
Some(MapEntry(Some((
|
||||||
|
index,
|
||||||
|
value_stream,
|
||||||
|
))))
|
||||||
} else {
|
} else {
|
||||||
None
|
None
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[proc_macro]
|
#[proc_macro]
|
||||||
pub fn map(input: TokenStream) -> TokenStream {
|
pub fn map(input: TokenStream) -> TokenStream { // todo: only works for string literals right now
|
||||||
// todo: only works for string literals right now
|
|
||||||
let mut tokens = input.into_iter().peekable();
|
let mut tokens = input.into_iter().peekable();
|
||||||
let mut entries = DisplacementSet::new();
|
let mut entries = DisplacementSet::new();
|
||||||
while let Some(entry) = entry(&mut tokens) {
|
while let Some(entry) = entry(&mut tokens) {
|
||||||
|
|
@ -60,35 +62,34 @@ pub fn map(input: TokenStream) -> TokenStream {
|
||||||
let mut inner = TokenStream::new();
|
let mut inner = TokenStream::new();
|
||||||
inner.extend(vec![
|
inner.extend(vec![
|
||||||
TokenTree::Literal(Literal::string(entry.0.as_str())),
|
TokenTree::Literal(Literal::string(entry.0.as_str())),
|
||||||
TokenTree::Punct(Punct::new(',', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(',',Spacing::Alone)),
|
||||||
]);
|
]);
|
||||||
inner.extend(entry.1);
|
inner.extend(entry.1);
|
||||||
let inner =
|
let inner = TokenStream::from(TokenTree::Group(Group::new(Delimiter::Parenthesis,inner)));
|
||||||
TokenStream::from(TokenTree::Group(Group::new(Delimiter::Parenthesis, inner)));
|
|
||||||
let mut option = TokenStream::new();
|
let mut option = TokenStream::new();
|
||||||
option.extend(vec![
|
option.extend(vec![
|
||||||
TokenTree::Ident(Ident::new("Some", Span::mixed_site())),
|
TokenTree::Ident(Ident::new("Some",Span::mixed_site())),
|
||||||
TokenTree::Group(Group::new(Delimiter::Parenthesis, inner)),
|
TokenTree::Group(Group::new(Delimiter::Parenthesis,inner))
|
||||||
]);
|
]);
|
||||||
option
|
option
|
||||||
} else {
|
} else {
|
||||||
TokenStream::from(TokenTree::Ident(Ident::new("None", Span::mixed_site())))
|
TokenStream::from(TokenTree::Ident(Ident::new("None",Span::mixed_site())))
|
||||||
};
|
};
|
||||||
let mut set_entry = TokenStream::new();
|
let mut set_entry = TokenStream::new();
|
||||||
set_entry.extend(vec![
|
set_entry.extend(vec![
|
||||||
TokenTree::Ident(Ident::new("entry", Span::mixed_site())),
|
TokenTree::Ident(Ident::new("entry",Span::mixed_site())),
|
||||||
TokenTree::Punct(Punct::new(':', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(':',Spacing::Alone)),
|
||||||
TokenTree::Ident(Ident::new("MapEntry", Span::mixed_site())),
|
TokenTree::Ident(Ident::new("MapEntry",Span::mixed_site())),
|
||||||
TokenTree::Group(Group::new(Delimiter::Parenthesis, option)),
|
TokenTree::Group(Group::new(Delimiter::Parenthesis,option)),
|
||||||
TokenTree::Punct(Punct::new(',', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(',',Spacing::Alone)),
|
||||||
TokenTree::Ident(Ident::new("home", Span::mixed_site())),
|
TokenTree::Ident(Ident::new("home",Span::mixed_site())),
|
||||||
TokenTree::Punct(Punct::new(':', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(':',Spacing::Alone)),
|
||||||
TokenTree::Literal(Literal::usize_unsuffixed(entry.home)),
|
TokenTree::Literal(Literal::usize_unsuffixed(entry.home)),
|
||||||
TokenTree::Punct(Punct::new(',', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(',',Spacing::Alone)),
|
||||||
TokenTree::Ident(Ident::new("displacement", Span::mixed_site())),
|
TokenTree::Ident(Ident::new("displacement",Span::mixed_site())),
|
||||||
TokenTree::Punct(Punct::new(':', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(':',Spacing::Alone)),
|
||||||
TokenTree::Literal(Literal::usize_unsuffixed(entry.displacement as usize)),
|
TokenTree::Literal(Literal::usize_unsuffixed(entry.displacement as usize)),
|
||||||
TokenTree::Punct(Punct::new(',', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(',',Spacing::Alone)),
|
||||||
]);
|
]);
|
||||||
elements.extend(vec![
|
elements.extend(vec![
|
||||||
/*TokenTree::Ident(Ident::new("deimos",Span::mixed_site())),
|
/*TokenTree::Ident(Ident::new("deimos",Span::mixed_site())),
|
||||||
|
|
@ -97,10 +98,11 @@ pub fn map(input: TokenStream) -> TokenStream {
|
||||||
TokenTree::Ident(Ident::new("map",Span::mixed_site())),
|
TokenTree::Ident(Ident::new("map",Span::mixed_site())),
|
||||||
TokenTree::Punct(Punct::new(':',Spacing::Joint)),
|
TokenTree::Punct(Punct::new(':',Spacing::Joint)),
|
||||||
TokenTree::Punct(Punct::new(':',Spacing::Joint)),*/
|
TokenTree::Punct(Punct::new(':',Spacing::Joint)),*/
|
||||||
TokenTree::Ident(Ident::new("Entry", Span::mixed_site())),
|
TokenTree::Ident(Ident::new("Entry",Span::mixed_site())),
|
||||||
TokenTree::Group(Group::new(Delimiter::Brace, set_entry)),
|
TokenTree::Group(Group::new(Delimiter::Brace,set_entry)),
|
||||||
TokenTree::Punct(Punct::new(',', Spacing::Alone)),
|
TokenTree::Punct(Punct::new(',',Spacing::Alone)),
|
||||||
])
|
])
|
||||||
}
|
}
|
||||||
TokenStream::from(TokenTree::Group(Group::new(Delimiter::Bracket, elements)))
|
let mut array = TokenStream::from(TokenTree::Group(Group::new(Delimiter::Bracket,elements)));
|
||||||
}
|
array
|
||||||
|
}
|
||||||
|
|
@ -251,7 +251,7 @@ impl<E: TableEntry> DisplacementSet<E> {
|
||||||
if neighbour.entry.matches(&index) {
|
if neighbour.entry.matches(&index) {
|
||||||
neighbour.entry = E::VACANT;
|
neighbour.entry = E::VACANT;
|
||||||
self.map_count -= 1;
|
self.map_count -= 1;
|
||||||
#[cfg(feature = "assertions")]
|
#[cfg(feature = "assertions")]
|
||||||
{
|
{
|
||||||
assert!(!finished);
|
assert!(!finished);
|
||||||
finished = true;
|
finished = true;
|
||||||
|
|
|
||||||
|
|
@ -32,7 +32,7 @@ impl<T> From<AnyId> for Id<T> {
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub struct Id<T> {
|
pub struct Id<T: ?Sized> {
|
||||||
pub(crate) index: Index,
|
pub(crate) index: Index,
|
||||||
phantom_data: PhantomData<T>,
|
phantom_data: PhantomData<T>,
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@ pub use map;
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod tests {
|
mod tests {
|
||||||
use map::{Entry, MapEntry};
|
use map::{TableEntry,MapEntry,Entry};
|
||||||
extern crate self as deimos;
|
extern crate self as deimos;
|
||||||
|
|
||||||
// Makes a constant map
|
// Makes a constant map
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue