| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 1 | use crate::syntax::{NamedType, Ty1, Type}; |
| 2 | use proc_macro2::{Ident, Span}; |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame] | 3 | use std::hash::{Hash, Hasher}; |
| 4 | use syn::Token; |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 5 | |
| David Tolnay | e352c1e | 2020-12-31 16:41:05 -0800 | [diff] [blame] | 6 | #[derive(Copy, Clone, PartialEq, Eq, Hash)] |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 7 | pub enum ImplKey<'a> { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame] | 8 | RustBox(NamedImplKey<'a>), |
| 9 | RustVec(NamedImplKey<'a>), |
| 10 | UniquePtr(NamedImplKey<'a>), |
| 11 | SharedPtr(NamedImplKey<'a>), |
| 12 | WeakPtr(NamedImplKey<'a>), |
| 13 | CxxVector(NamedImplKey<'a>), |
| 14 | } |
| 15 | |
| 16 | #[derive(Copy, Clone)] |
| 17 | pub struct NamedImplKey<'a> { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 18 | pub begin_span: Span, |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame] | 19 | pub rust: &'a Ident, |
| 20 | pub lt_token: Option<Token![<]>, |
| 21 | pub gt_token: Option<Token![>]>, |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 22 | pub end_span: Span, |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 23 | } |
| 24 | |
| 25 | impl Type { |
| 26 | pub(crate) fn impl_key(&self) -> Option<ImplKey> { |
| 27 | if let Type::RustBox(ty) = self { |
| 28 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 29 | return Some(ImplKey::RustBox(NamedImplKey::new(ty, ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 30 | } |
| 31 | } else if let Type::RustVec(ty) = self { |
| 32 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 33 | return Some(ImplKey::RustVec(NamedImplKey::new(ty, ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 34 | } |
| 35 | } else if let Type::UniquePtr(ty) = self { |
| 36 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 37 | return Some(ImplKey::UniquePtr(NamedImplKey::new(ty, ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 38 | } |
| 39 | } else if let Type::SharedPtr(ty) = self { |
| 40 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 41 | return Some(ImplKey::SharedPtr(NamedImplKey::new(ty, ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 42 | } |
| 43 | } else if let Type::WeakPtr(ty) = self { |
| 44 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 45 | return Some(ImplKey::WeakPtr(NamedImplKey::new(ty, ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 46 | } |
| 47 | } else if let Type::CxxVector(ty) = self { |
| 48 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 49 | return Some(ImplKey::CxxVector(NamedImplKey::new(ty, ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 50 | } |
| 51 | } |
| 52 | None |
| 53 | } |
| 54 | } |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame] | 55 | |
| 56 | impl<'a> PartialEq for NamedImplKey<'a> { |
| 57 | fn eq(&self, other: &Self) -> bool { |
| 58 | PartialEq::eq(self.rust, other.rust) |
| 59 | } |
| 60 | } |
| 61 | |
| 62 | impl<'a> Eq for NamedImplKey<'a> {} |
| 63 | |
| 64 | impl<'a> Hash for NamedImplKey<'a> { |
| 65 | fn hash<H: Hasher>(&self, hasher: &mut H) { |
| 66 | self.rust.hash(hasher); |
| 67 | } |
| 68 | } |
| 69 | |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 70 | impl<'a> NamedImplKey<'a> { |
| 71 | fn new(outer: &Ty1, inner: &'a NamedType) -> Self { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame] | 72 | NamedImplKey { |
| David Tolnay | 9dab9d8 | 2021-03-27 01:46:01 -0400 | [diff] [blame] | 73 | begin_span: outer.name.span(), |
| 74 | rust: &inner.rust, |
| 75 | lt_token: inner.generics.lt_token, |
| 76 | gt_token: inner.generics.gt_token, |
| 77 | end_span: outer.rangle.span, |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame] | 78 | } |
| 79 | } |
| 80 | } |