| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 1 | use crate::syntax::{NamedType, Type}; |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 2 | use proc_macro2::Ident; |
| 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> { |
| 18 | pub rust: &'a Ident, |
| 19 | pub lt_token: Option<Token![<]>, |
| 20 | pub gt_token: Option<Token![>]>, |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 21 | } |
| 22 | |
| 23 | impl Type { |
| 24 | pub(crate) fn impl_key(&self) -> Option<ImplKey> { |
| 25 | if let Type::RustBox(ty) = self { |
| 26 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 27 | return Some(ImplKey::RustBox(NamedImplKey::from(ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 28 | } |
| 29 | } else if let Type::RustVec(ty) = self { |
| 30 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 31 | return Some(ImplKey::RustVec(NamedImplKey::from(ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 32 | } |
| 33 | } else if let Type::UniquePtr(ty) = self { |
| 34 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 35 | return Some(ImplKey::UniquePtr(NamedImplKey::from(ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 36 | } |
| 37 | } else if let Type::SharedPtr(ty) = self { |
| 38 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 39 | return Some(ImplKey::SharedPtr(NamedImplKey::from(ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 40 | } |
| 41 | } else if let Type::WeakPtr(ty) = self { |
| 42 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 43 | return Some(ImplKey::WeakPtr(NamedImplKey::from(ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 44 | } |
| 45 | } else if let Type::CxxVector(ty) = self { |
| 46 | if let Type::Ident(ident) = &ty.inner { |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 47 | return Some(ImplKey::CxxVector(NamedImplKey::from(ident))); |
| David Tolnay | 4c6052d | 2020-12-31 15:01:04 -0800 | [diff] [blame] | 48 | } |
| 49 | } |
| 50 | None |
| 51 | } |
| 52 | } |
| David Tolnay | dde6302 | 2021-03-26 22:22:35 -0400 | [diff] [blame^] | 53 | |
| 54 | impl<'a> PartialEq for NamedImplKey<'a> { |
| 55 | fn eq(&self, other: &Self) -> bool { |
| 56 | PartialEq::eq(self.rust, other.rust) |
| 57 | } |
| 58 | } |
| 59 | |
| 60 | impl<'a> Eq for NamedImplKey<'a> {} |
| 61 | |
| 62 | impl<'a> Hash for NamedImplKey<'a> { |
| 63 | fn hash<H: Hasher>(&self, hasher: &mut H) { |
| 64 | self.rust.hash(hasher); |
| 65 | } |
| 66 | } |
| 67 | |
| 68 | impl<'a> From<&'a NamedType> for NamedImplKey<'a> { |
| 69 | fn from(ty: &'a NamedType) -> Self { |
| 70 | NamedImplKey { |
| 71 | rust: &ty.rust, |
| 72 | lt_token: ty.generics.lt_token, |
| 73 | gt_token: ty.generics.gt_token, |
| 74 | } |
| 75 | } |
| 76 | } |