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::{ |
Xiangpeng Hao | 7876235 | 2020-11-12 10:24:18 +0800 | [diff] [blame] | 3 | Array, Atom, Derive, Enum, ExternFn, ExternType, Impl, Receiver, Ref, ResolvableName, |
David Tolnay | e0dca7b | 2020-11-25 17:18:57 -0800 | [diff] [blame^] | 4 | Signature, SliceRef, Struct, Ty1, Type, 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 | 57c166d | 2020-11-14 23:38:31 -0800 | [diff] [blame] | 8 | use syn::{token, Token}; |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 9 | |
| 10 | impl ToTokens for Type { |
| 11 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 12 | match self { |
| 13 | Type::Ident(ident) => { |
Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 14 | if ident.rust == CxxString { |
| 15 | let span = ident.rust.span(); |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 16 | tokens.extend(quote_spanned!(span=> ::cxx::)); |
| 17 | } |
Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 18 | ident.rust.to_tokens(tokens); |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 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 | } |
David Tolnay | e0dca7b | 2020-11-25 17:18:57 -0800 | [diff] [blame^] | 23 | Type::Ref(r) | Type::Str(r) => r.to_tokens(tokens), |
Xiangpeng Hao | 7876235 | 2020-11-12 10:24:18 +0800 | [diff] [blame] | 24 | Type::Array(a) => a.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 | e0dca7b | 2020-11-25 17:18:57 -0800 | [diff] [blame^] | 27 | Type::SliceRefU8(r) => r.to_tokens(tokens), |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 28 | } |
| 29 | } |
| 30 | } |
| 31 | |
| 32 | impl ToTokens for Var { |
| 33 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 34 | self.ident.to_tokens(tokens); |
| 35 | Token).to_tokens(tokens); |
| 36 | self.ty.to_tokens(tokens); |
| 37 | } |
| 38 | } |
| 39 | |
| 40 | impl ToTokens for Ty1 { |
| 41 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | 51cc8ee | 2020-04-25 14:10:29 -0700 | [diff] [blame] | 42 | let span = self.name.span(); |
David Tolnay | da71ef6 | 2020-11-02 00:36:00 -0800 | [diff] [blame] | 43 | let name = self.name.to_string(); |
David Tolnay | 51cc8ee | 2020-04-25 14:10:29 -0700 | [diff] [blame] | 44 | if let "UniquePtr" | "CxxVector" = name.as_str() { |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 45 | tokens.extend(quote_spanned!(span=> ::cxx::)); |
David Tolnay | 51cc8ee | 2020-04-25 14:10:29 -0700 | [diff] [blame] | 46 | } else if name == "Vec" { |
| 47 | tokens.extend(quote_spanned!(span=> ::std::vec::)); |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 48 | } |
| 49 | self.name.to_tokens(tokens); |
| 50 | self.langle.to_tokens(tokens); |
| 51 | self.inner.to_tokens(tokens); |
| 52 | self.rangle.to_tokens(tokens); |
| 53 | } |
| 54 | } |
| 55 | |
| 56 | impl ToTokens for Ref { |
| 57 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | c967384 | 2020-11-15 16:26:10 -0800 | [diff] [blame] | 58 | if let Some((pin, langle, _rangle)) = self.pin_tokens { |
| 59 | tokens.extend(quote_spanned!(pin.span=> ::std::pin::Pin)); |
| 60 | langle.to_tokens(tokens); |
| 61 | } |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 62 | self.ampersand.to_tokens(tokens); |
David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 63 | self.lifetime.to_tokens(tokens); |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 64 | self.mutability.to_tokens(tokens); |
| 65 | self.inner.to_tokens(tokens); |
David Tolnay | c967384 | 2020-11-15 16:26:10 -0800 | [diff] [blame] | 66 | if let Some((_pin, _langle, rangle)) = self.pin_tokens { |
| 67 | rangle.to_tokens(tokens); |
| 68 | } |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 69 | } |
| 70 | } |
| 71 | |
David Tolnay | e0dca7b | 2020-11-25 17:18:57 -0800 | [diff] [blame^] | 72 | impl ToTokens for SliceRef { |
| 73 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 74 | self.ampersand.to_tokens(tokens); |
| 75 | self.lifetime.to_tokens(tokens); |
| 76 | self.mutability.to_tokens(tokens); |
| 77 | self.bracket.surround(tokens, |tokens| { |
| 78 | self.inner.to_tokens(tokens); |
| 79 | }); |
| 80 | } |
| 81 | } |
| 82 | |
Xiangpeng Hao | 7876235 | 2020-11-12 10:24:18 +0800 | [diff] [blame] | 83 | impl ToTokens for Array { |
| 84 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 85 | self.bracket.surround(tokens, |tokens| { |
| 86 | self.inner.to_tokens(tokens); |
| 87 | self.semi_token.to_tokens(tokens); |
David Tolnay | c351dc4 | 2020-11-24 20:45:13 -0800 | [diff] [blame] | 88 | self.len_token.to_tokens(tokens); |
Xiangpeng Hao | 7876235 | 2020-11-12 10:24:18 +0800 | [diff] [blame] | 89 | }); |
| 90 | } |
| 91 | } |
| 92 | |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 93 | impl ToTokens for Derive { |
| 94 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | e86b9cf | 2020-05-10 14:24:29 -0700 | [diff] [blame] | 95 | Ident::new(self.as_ref(), Span::call_site()).to_tokens(tokens); |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 96 | } |
| 97 | } |
| 98 | |
David Tolnay | c605e6f | 2020-05-10 23:37:12 -0700 | [diff] [blame] | 99 | impl ToTokens for Atom { |
| 100 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 101 | Ident::new(self.as_ref(), Span::call_site()).to_tokens(tokens); |
| 102 | } |
| 103 | } |
| 104 | |
David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 105 | impl ToTokens for ExternType { |
| 106 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 107 | // Notional token range for error reporting purposes. |
| 108 | self.type_token.to_tokens(tokens); |
David Tolnay | 9bb232b | 2020-11-02 00:55:18 -0800 | [diff] [blame] | 109 | self.name.rust.to_tokens(tokens); |
David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 110 | } |
| 111 | } |
| 112 | |
David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 113 | impl ToTokens for TypeAlias { |
| 114 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 115 | // Notional token range for error reporting purposes. |
| 116 | self.type_token.to_tokens(tokens); |
David Tolnay | 9bb232b | 2020-11-02 00:55:18 -0800 | [diff] [blame] | 117 | self.name.rust.to_tokens(tokens); |
David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 118 | } |
| 119 | } |
| 120 | |
David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 121 | impl ToTokens for Struct { |
| 122 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 123 | // Notional token range for error reporting purposes. |
| 124 | self.struct_token.to_tokens(tokens); |
David Tolnay | 9bb232b | 2020-11-02 00:55:18 -0800 | [diff] [blame] | 125 | self.name.rust.to_tokens(tokens); |
David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 126 | } |
| 127 | } |
| 128 | |
| 129 | impl ToTokens for Enum { |
| 130 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 131 | // Notional token range for error reporting purposes. |
| 132 | self.enum_token.to_tokens(tokens); |
David Tolnay | 9bb232b | 2020-11-02 00:55:18 -0800 | [diff] [blame] | 133 | self.name.rust.to_tokens(tokens); |
David Tolnay | 83496eb | 2020-05-04 00:36:53 -0700 | [diff] [blame] | 134 | } |
| 135 | } |
| 136 | |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 137 | impl ToTokens for ExternFn { |
| 138 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 139 | // Notional token range for error reporting purposes. |
| 140 | self.sig.fn_token.to_tokens(tokens); |
| 141 | self.semi_token.to_tokens(tokens); |
David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 142 | } |
| 143 | } |
David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 144 | |
David Tolnay | 7e69f89 | 2020-10-03 22:20:22 -0700 | [diff] [blame] | 145 | impl ToTokens for Impl { |
| 146 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 147 | self.impl_token.to_tokens(tokens); |
| 148 | self.ty.to_tokens(tokens); |
| 149 | self.brace_token.surround(tokens, |_tokens| {}); |
| 150 | } |
| 151 | } |
| 152 | |
David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 153 | impl ToTokens for Signature { |
| 154 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 155 | self.fn_token.to_tokens(tokens); |
| 156 | self.paren_token.surround(tokens, |tokens| { |
| 157 | self.args.to_tokens(tokens); |
| 158 | }); |
| 159 | if let Some(ret) = &self.ret { |
| 160 | Token.to_tokens(tokens); |
| 161 | if let Some((result, langle, rangle)) = self.throws_tokens { |
| 162 | result.to_tokens(tokens); |
| 163 | langle.to_tokens(tokens); |
| 164 | ret.to_tokens(tokens); |
| 165 | rangle.to_tokens(tokens); |
| 166 | } else { |
| 167 | ret.to_tokens(tokens); |
| 168 | } |
David Tolnay | 57c166d | 2020-11-14 23:38:31 -0800 | [diff] [blame] | 169 | } else if let Some((result, langle, rangle)) = self.throws_tokens { |
| 170 | Token.to_tokens(tokens); |
| 171 | result.to_tokens(tokens); |
| 172 | langle.to_tokens(tokens); |
| 173 | token::Paren(langle.span).surround(tokens, |_| ()); |
| 174 | rangle.to_tokens(tokens); |
David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 175 | } |
David Tolnay | c071b89 | 2020-03-18 16:59:53 -0700 | [diff] [blame] | 176 | } |
| 177 | } |
David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 178 | |
Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 179 | impl ToTokens for ResolvableName { |
| 180 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 181 | self.rust.to_tokens(tokens); |
| 182 | } |
| 183 | } |
| 184 | |
David Tolnay | 18ba92c | 2020-04-22 16:17:30 -0700 | [diff] [blame] | 185 | pub struct ReceiverType<'a>(&'a Receiver); |
| 186 | |
| 187 | impl Receiver { |
| 188 | // &TheType |
| 189 | pub fn ty(&self) -> ReceiverType { |
| 190 | ReceiverType(self) |
| 191 | } |
| 192 | } |
| 193 | |
| 194 | impl ToTokens for ReceiverType<'_> { |
David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 195 | fn to_tokens(&self, tokens: &mut TokenStream) { |
David Tolnay | c967384 | 2020-11-15 16:26:10 -0800 | [diff] [blame] | 196 | if let Some((pin, langle, _rangle)) = self.0.pin_tokens { |
| 197 | tokens.extend(quote_spanned!(pin.span=> ::std::pin::Pin)); |
| 198 | langle.to_tokens(tokens); |
| 199 | } |
David Tolnay | 18ba92c | 2020-04-22 16:17:30 -0700 | [diff] [blame] | 200 | self.0.ampersand.to_tokens(tokens); |
David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 201 | self.0.lifetime.to_tokens(tokens); |
David Tolnay | 18ba92c | 2020-04-22 16:17:30 -0700 | [diff] [blame] | 202 | self.0.mutability.to_tokens(tokens); |
| 203 | self.0.ty.to_tokens(tokens); |
David Tolnay | c967384 | 2020-11-15 16:26:10 -0800 | [diff] [blame] | 204 | if let Some((_pin, _langle, rangle)) = self.0.pin_tokens { |
| 205 | rangle.to_tokens(tokens); |
| 206 | } |
David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 207 | } |
| 208 | } |