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