blob: 26bb3d18db29d6856922d42b2db21ff2ae9e812a [file] [log] [blame]
David Tolnaya52602b2020-03-06 10:24:34 -08001use crate::syntax::atom::Atom::*;
David Tolnayfb6e3862020-04-20 01:33:23 -07002use crate::syntax::{Derive, ExternFn, Receiver, Ref, Signature, Slice, Ty1, Type, Var};
David Tolnay7db73692019-10-20 14:51:12 -04003use proc_macro2::{Ident, Span, TokenStream};
David Tolnayc071b892020-03-18 16:59:53 -07004use quote::{quote_spanned, ToTokens};
David Tolnay7db73692019-10-20 14:51:12 -04005use syn::Token;
6
7impl ToTokens for Type {
8 fn to_tokens(&self, tokens: &mut TokenStream) {
9 match self {
10 Type::Ident(ident) => {
David Tolnaya52602b2020-03-06 10:24:34 -080011 if ident == CxxString {
David Tolnay7db73692019-10-20 14:51:12 -040012 let span = ident.span();
13 tokens.extend(quote_spanned!(span=> ::cxx::));
14 }
15 ident.to_tokens(tokens);
16 }
17 Type::RustBox(ty) | Type::UniquePtr(ty) => ty.to_tokens(tokens),
Adrian Taylorf5dd5522020-04-13 16:50:14 -070018 Type::Ref(r) | Type::Str(r) | Type::SliceRefU8(r) => r.to_tokens(tokens),
19 Type::Slice(s) => s.to_tokens(tokens),
David Tolnayc071b892020-03-18 16:59:53 -070020 Type::Fn(f) => f.to_tokens(tokens),
David Tolnayd0bb3642020-03-15 23:27:11 -070021 Type::Void(span) => tokens.extend(quote_spanned!(*span=> ())),
David Tolnay7db73692019-10-20 14:51:12 -040022 }
23 }
24}
25
26impl ToTokens for Var {
27 fn to_tokens(&self, tokens: &mut TokenStream) {
28 self.ident.to_tokens(tokens);
29 Token![:](self.ident.span()).to_tokens(tokens);
30 self.ty.to_tokens(tokens);
31 }
32}
33
34impl ToTokens for Ty1 {
35 fn to_tokens(&self, tokens: &mut TokenStream) {
36 if self.name == "UniquePtr" {
37 let span = self.name.span();
38 tokens.extend(quote_spanned!(span=> ::cxx::));
39 }
40 self.name.to_tokens(tokens);
41 self.langle.to_tokens(tokens);
42 self.inner.to_tokens(tokens);
43 self.rangle.to_tokens(tokens);
44 }
45}
46
47impl ToTokens for Ref {
48 fn to_tokens(&self, tokens: &mut TokenStream) {
49 self.ampersand.to_tokens(tokens);
David Tolnay0bd50fa2020-04-22 15:31:33 -070050 self.lifetime.to_tokens(tokens);
David Tolnay7db73692019-10-20 14:51:12 -040051 self.mutability.to_tokens(tokens);
52 self.inner.to_tokens(tokens);
53 }
54}
55
Adrian Taylorf5dd5522020-04-13 16:50:14 -070056impl ToTokens for Slice {
57 fn to_tokens(&self, tokens: &mut TokenStream) {
58 self.bracket.surround(tokens, |tokens| {
59 self.inner.to_tokens(tokens);
60 });
61 }
62}
63
David Tolnay7db73692019-10-20 14:51:12 -040064impl ToTokens for Derive {
65 fn to_tokens(&self, tokens: &mut TokenStream) {
66 let name = match self {
67 Derive::Clone => "Clone",
68 Derive::Copy => "Copy",
69 };
70 Ident::new(name, Span::call_site()).to_tokens(tokens);
71 }
72}
73
74impl ToTokens for ExternFn {
75 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnaye3a48152020-04-08 19:38:05 -070076 // Notional token range for error reporting purposes.
77 self.sig.fn_token.to_tokens(tokens);
78 self.semi_token.to_tokens(tokens);
David Tolnay7db73692019-10-20 14:51:12 -040079 }
80}
David Tolnayc071b892020-03-18 16:59:53 -070081
82impl ToTokens for Signature {
83 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnaye3a48152020-04-08 19:38:05 -070084 self.fn_token.to_tokens(tokens);
85 self.paren_token.surround(tokens, |tokens| {
86 self.args.to_tokens(tokens);
87 });
88 if let Some(ret) = &self.ret {
89 Token![->](self.paren_token.span).to_tokens(tokens);
90 if let Some((result, langle, rangle)) = self.throws_tokens {
91 result.to_tokens(tokens);
92 langle.to_tokens(tokens);
93 ret.to_tokens(tokens);
94 rangle.to_tokens(tokens);
95 } else {
96 ret.to_tokens(tokens);
97 }
98 }
David Tolnayc071b892020-03-18 16:59:53 -070099 }
100}
David Tolnayfb6e3862020-04-20 01:33:23 -0700101
David Tolnay18ba92c2020-04-22 16:17:30 -0700102pub struct ReceiverType<'a>(&'a Receiver);
103
104impl Receiver {
105 // &TheType
106 pub fn ty(&self) -> ReceiverType {
107 ReceiverType(self)
108 }
109}
110
111impl ToTokens for ReceiverType<'_> {
David Tolnayfb6e3862020-04-20 01:33:23 -0700112 fn to_tokens(&self, tokens: &mut TokenStream) {
David Tolnay18ba92c2020-04-22 16:17:30 -0700113 self.0.ampersand.to_tokens(tokens);
David Tolnay0bd50fa2020-04-22 15:31:33 -0700114 self.0.lifetime.to_tokens(tokens);
David Tolnay18ba92c2020-04-22 16:17:30 -0700115 self.0.mutability.to_tokens(tokens);
116 self.0.ty.to_tokens(tokens);
David Tolnayfb6e3862020-04-20 01:33:23 -0700117 }
118}