| David Tolnay | a52602b | 2020-03-06 10:24:34 -0800 | [diff] [blame] | 1 | use crate::syntax::atom::Atom::*; |
| David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 2 | use crate::syntax::{ |
| 3 | Derive, Enum, ExternFn, ExternType, Receiver, Ref, Signature, Slice, Struct, Ty1, Type, Var, |
| 4 | }; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 5 | use proc_macro2::{Ident, Span, TokenStream}; |
| David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 6 | use quote::{quote_spanned, ToTokens}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 7 | use syn::Token; |
| 8 | |
| 9 | impl ToTokens for Type { |
| 10 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 11 | match self { |
| 12 | Type::Ident(ident) => { |
| David Tolnay | a52602b | 2020-03-06 10:24:34 -0800 | [diff] [blame] | 13 | if ident == CxxString { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 14 | let span = ident.span(); |
| 15 | tokens.extend(quote_spanned!(span=> ::cxx::)); |
| 16 | } |
| 17 | ident.to_tokens(tokens); |
| 18 | } |
| David Tolnay | 4377a9e | 2020-04-24 15:20:26 -0700 | [diff] [blame] | 19 | Type::RustBox(ty) | Type::UniquePtr(ty) | Type::CxxVector(ty) | Type::RustVec(ty) => { |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 20 | ty.to_tokens(tokens) |
| 21 | } |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 22 | Type::Ref(r) | Type::Str(r) | Type::SliceRefU8(r) => r.to_tokens(tokens), |
| 23 | Type::Slice(s) => s.to_tokens(tokens), |
| David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 24 | Type::Fn(f) => f.to_tokens(tokens), |
| David Tolnay | d0bb364 | 2020-03-15 23:27:11 -0700 | [diff] [blame] | 25 | Type::Void(span) => tokens.extend(quote_spanned!(*span=> ())), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 26 | } |
| 27 | } |
| 28 | } |
| 29 | |
| 30 | impl ToTokens for Var { |
| 31 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 32 | self.ident.to_tokens(tokens); |
| 33 | Token).to_tokens(tokens); |
| 34 | self.ty.to_tokens(tokens); |
| 35 | } |
| 36 | } |
| 37 | |
| 38 | impl ToTokens for Ty1 { |
| 39 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| David Tolnay | 51cc8ee | 2020-04-25 14:10:29 -0700 | [diff] [blame] | 40 | let span = self.name.span(); |
| 41 | let name = self.name.to_string(); |
| 42 | if let "UniquePtr" | "CxxVector" = name.as_str() { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 43 | tokens.extend(quote_spanned!(span=> ::cxx::)); |
| David Tolnay | 51cc8ee | 2020-04-25 14:10:29 -0700 | [diff] [blame] | 44 | } else if name == "Vec" { |
| 45 | tokens.extend(quote_spanned!(span=> ::std::vec::)); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 46 | } |
| 47 | self.name.to_tokens(tokens); |
| 48 | self.langle.to_tokens(tokens); |
| 49 | self.inner.to_tokens(tokens); |
| 50 | self.rangle.to_tokens(tokens); |
| 51 | } |
| 52 | } |
| 53 | |
| 54 | impl ToTokens for Ref { |
| 55 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 56 | self.ampersand.to_tokens(tokens); |
| David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 57 | self.lifetime.to_tokens(tokens); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 58 | self.mutability.to_tokens(tokens); |
| 59 | self.inner.to_tokens(tokens); |
| 60 | } |
| 61 | } |
| 62 | |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 63 | impl ToTokens for Slice { |
| 64 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 65 | self.bracket.surround(tokens, |tokens| { |
| 66 | self.inner.to_tokens(tokens); |
| 67 | }); |
| 68 | } |
| 69 | } |
| 70 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 71 | impl ToTokens for Derive { |
| 72 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 73 | let name = match self { |
| 74 | Derive::Clone => "Clone", |
| 75 | Derive::Copy => "Copy", |
| 76 | }; |
| 77 | Ident::new(name, Span::call_site()).to_tokens(tokens); |
| 78 | } |
| 79 | } |
| 80 | |
| David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 81 | impl ToTokens for ExternType { |
| 82 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 83 | // Notional token range for error reporting purposes. |
| 84 | self.type_token.to_tokens(tokens); |
| 85 | self.ident.to_tokens(tokens); |
| 86 | } |
| 87 | } |
| 88 | |
| 89 | impl ToTokens for Struct { |
| 90 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 91 | // Notional token range for error reporting purposes. |
| 92 | self.struct_token.to_tokens(tokens); |
| 93 | self.ident.to_tokens(tokens); |
| 94 | } |
| 95 | } |
| 96 | |
| 97 | impl ToTokens for Enum { |
| 98 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 99 | // Notional token range for error reporting purposes. |
| 100 | self.enum_token.to_tokens(tokens); |
| 101 | self.ident.to_tokens(tokens); |
| 102 | } |
| 103 | } |
| 104 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 105 | impl ToTokens for ExternFn { |
| 106 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 107 | // Notional token range for error reporting purposes. |
| 108 | self.sig.fn_token.to_tokens(tokens); |
| 109 | self.semi_token.to_tokens(tokens); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 110 | } |
| 111 | } |
| David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 112 | |
| 113 | impl ToTokens for Signature { |
| 114 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 115 | self.fn_token.to_tokens(tokens); |
| 116 | self.paren_token.surround(tokens, |tokens| { |
| 117 | self.args.to_tokens(tokens); |
| 118 | }); |
| 119 | if let Some(ret) = &self.ret { |
| 120 | Token.to_tokens(tokens); |
| 121 | if let Some((result, langle, rangle)) = self.throws_tokens { |
| 122 | result.to_tokens(tokens); |
| 123 | langle.to_tokens(tokens); |
| 124 | ret.to_tokens(tokens); |
| 125 | rangle.to_tokens(tokens); |
| 126 | } else { |
| 127 | ret.to_tokens(tokens); |
| 128 | } |
| 129 | } |
| David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 130 | } |
| 131 | } |
| David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 132 | |
| David Tolnay | 18ba92c | 2020-04-22 16:17:30 -0700 | [diff] [blame] | 133 | pub struct ReceiverType<'a>(&'a Receiver); |
| 134 | |
| 135 | impl Receiver { |
| 136 | // &TheType |
| 137 | pub fn ty(&self) -> ReceiverType { |
| 138 | ReceiverType(self) |
| 139 | } |
| 140 | } |
| 141 | |
| 142 | impl ToTokens for ReceiverType<'_> { |
| David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 143 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| David Tolnay | 18ba92c | 2020-04-22 16:17:30 -0700 | [diff] [blame] | 144 | self.0.ampersand.to_tokens(tokens); |
| David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 145 | self.0.lifetime.to_tokens(tokens); |
| David Tolnay | 18ba92c | 2020-04-22 16:17:30 -0700 | [diff] [blame] | 146 | self.0.mutability.to_tokens(tokens); |
| 147 | self.0.ty.to_tokens(tokens); |
| David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 148 | } |
| 149 | } |