blob: 6dd60738dc808e573c142b6eb80e405da6297b85 [file] [log] [blame]
David Tolnaya52602b2020-03-06 10:24:34 -08001use crate::syntax::atom::Atom::*;
David Tolnay83496eb2020-05-04 00:36:53 -07002use crate::syntax::{
David Tolnay99383812020-05-04 02:34:33 -07003 Derive, Enum, ExternFn, ExternType, Receiver, Ref, Signature, Slice, Struct, Ty1, Type,
4 TypeAlias, Var,
David Tolnay83496eb2020-05-04 00:36:53 -07005};
David Tolnay7db73692019-10-20 14:51:12 -04006use proc_macro2::{Ident, Span, TokenStream};
David Tolnayc071b892020-03-18 16:59:53 -07007use quote::{quote_spanned, ToTokens};
David Tolnay7db73692019-10-20 14:51:12 -04008use syn::Token;
9
10impl ToTokens for Type {
11 fn to_tokens(&self, tokens: &mut TokenStream) {
12 match self {
13 Type::Ident(ident) => {
David Tolnaya52602b2020-03-06 10:24:34 -080014 if ident == CxxString {
David Tolnay7db73692019-10-20 14:51:12 -040015 let span = ident.span();
16 tokens.extend(quote_spanned!(span=> ::cxx::));
17 }
18 ident.to_tokens(tokens);
19 }
David Tolnay4377a9e2020-04-24 15:20:26 -070020 Type::RustBox(ty) | Type::UniquePtr(ty) | Type::CxxVector(ty) | Type::RustVec(ty) => {
Myron Ahneba35cf2020-02-05 19:41:51 +070021 ty.to_tokens(tokens)
22 }
Adrian Taylorf5dd5522020-04-13 16:50:14 -070023 Type::Ref(r) | Type::Str(r) | Type::SliceRefU8(r) => r.to_tokens(tokens),
24 Type::Slice(s) => s.to_tokens(tokens),
David Tolnayc071b892020-03-18 16:59:53 -070025 Type::Fn(f) => f.to_tokens(tokens),
David Tolnayd0bb3642020-03-15 23:27:11 -070026 Type::Void(span) => tokens.extend(quote_spanned!(*span=> ())),
David Tolnay7db73692019-10-20 14:51:12 -040027 }
28 }
29}
30
31impl ToTokens for Var {
32 fn to_tokens(&self, tokens: &mut TokenStream) {
33 self.ident.to_tokens(tokens);
34 Token![:](self.ident.span()).to_tokens(tokens);
35 self.ty.to_tokens(tokens);
36 }
37}
38
39impl ToTokens for Ty1 {
40 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnay51cc8ee2020-04-25 14:10:29 -070041 let span = self.name.span();
42 let name = self.name.to_string();
43 if let "UniquePtr" | "CxxVector" = name.as_str() {
David Tolnay7db73692019-10-20 14:51:12 -040044 tokens.extend(quote_spanned!(span=> ::cxx::));
David Tolnay51cc8ee2020-04-25 14:10:29 -070045 } else if name == "Vec" {
46 tokens.extend(quote_spanned!(span=> ::std::vec::));
David Tolnay7db73692019-10-20 14:51:12 -040047 }
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
55impl ToTokens for Ref {
56 fn to_tokens(&self, tokens: &mut TokenStream) {
57 self.ampersand.to_tokens(tokens);
David Tolnay0bd50fa2020-04-22 15:31:33 -070058 self.lifetime.to_tokens(tokens);
David Tolnay7db73692019-10-20 14:51:12 -040059 self.mutability.to_tokens(tokens);
60 self.inner.to_tokens(tokens);
61 }
62}
63
Adrian Taylorf5dd5522020-04-13 16:50:14 -070064impl 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 Tolnay7db73692019-10-20 14:51:12 -040072impl 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 Tolnay83496eb2020-05-04 00:36:53 -070082impl 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 Tolnay99383812020-05-04 02:34:33 -070090impl 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 Tolnay83496eb2020-05-04 00:36:53 -070098impl 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
106impl 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 Tolnay7db73692019-10-20 14:51:12 -0400114impl ToTokens for ExternFn {
115 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnaye3a48152020-04-08 19:38:05 -0700116 // Notional token range for error reporting purposes.
117 self.sig.fn_token.to_tokens(tokens);
118 self.semi_token.to_tokens(tokens);
David Tolnay7db73692019-10-20 14:51:12 -0400119 }
120}
David Tolnayc071b892020-03-18 16:59:53 -0700121
122impl ToTokens for Signature {
123 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnaye3a48152020-04-08 19:38:05 -0700124 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![->](self.paren_token.span).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 Tolnayc071b892020-03-18 16:59:53 -0700139 }
140}
David Tolnayfb6e3862020-04-20 01:33:23 -0700141
David Tolnay18ba92c2020-04-22 16:17:30 -0700142pub struct ReceiverType<'a>(&'a Receiver);
143
144impl Receiver {
145 // &TheType
146 pub fn ty(&self) -> ReceiverType {
147 ReceiverType(self)
148 }
149}
150
151impl ToTokens for ReceiverType<'_> {
David Tolnayfb6e3862020-04-20 01:33:23 -0700152 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnay18ba92c2020-04-22 16:17:30 -0700153 self.0.ampersand.to_tokens(tokens);
David Tolnay0bd50fa2020-04-22 15:31:33 -0700154 self.0.lifetime.to_tokens(tokens);
David Tolnay18ba92c2020-04-22 16:17:30 -0700155 self.0.mutability.to_tokens(tokens);
156 self.0.ty.to_tokens(tokens);
David Tolnayfb6e3862020-04-20 01:33:23 -0700157 }
158}