1 | // Take a look at the license at the top of the repository in the LICENSE file. |
2 | |
3 | use proc_macro2::{Ident, TokenStream}; |
4 | use quote::quote; |
5 | |
6 | use crate::utils::{crate_ident_new, parse_nested_meta_items, NestedMetaItem}; |
7 | |
8 | fn gen_impl_to_value_optional(name: &Ident, crate_ident: &TokenStream) -> TokenStream { |
9 | let refcounted_type_prefix = refcounted_type_prefix(name, crate_ident); |
10 | |
11 | quote! { |
12 | impl #crate_ident::value::ToValueOptional for #name { |
13 | #[inline] |
14 | fn to_value_optional(s: ::core::option::Option<&Self>) -> #crate_ident::Value { |
15 | let mut value = #crate_ident::Value::for_value_type::<Self>(); |
16 | unsafe { |
17 | let ptr = match s { |
18 | ::core::option::Option::Some(s) => #refcounted_type_prefix::into_raw(s.0.clone()), |
19 | ::core::option::Option::None => ::std::ptr::null(), |
20 | }; |
21 | |
22 | #crate_ident::gobject_ffi::g_value_take_boxed( |
23 | #crate_ident::translate::ToGlibPtrMut::to_glib_none_mut(&mut value).0, |
24 | ptr as *mut _ |
25 | ); |
26 | } |
27 | |
28 | value |
29 | } |
30 | } |
31 | |
32 | impl #crate_ident::value::ValueTypeOptional for #name { } |
33 | } |
34 | } |
35 | |
36 | fn gen_impl_from_value_optional(name: &Ident, crate_ident: &TokenStream) -> TokenStream { |
37 | let refcounted_type_prefix: TokenStream = refcounted_type_prefix(name, crate_ident); |
38 | |
39 | quote! { |
40 | unsafe impl<'a> #crate_ident::value::FromValue<'a> for #name { |
41 | type Checker = #crate_ident::value::GenericValueTypeOrNoneChecker<Self>; |
42 | |
43 | #[inline] |
44 | unsafe fn from_value(value: &'a #crate_ident::Value) -> Self { |
45 | let ptr = #crate_ident::gobject_ffi::g_value_dup_boxed(#crate_ident::translate::ToGlibPtr::to_glib_none(value).0); |
46 | debug_assert!(!ptr.is_null()); |
47 | #name(#refcounted_type_prefix::from_raw(ptr as *mut _)) |
48 | } |
49 | } |
50 | } |
51 | } |
52 | |
53 | fn gen_impl_from_value(name: &Ident, crate_ident: &TokenStream) -> TokenStream { |
54 | let refcounted_type_prefix: TokenStream = refcounted_type_prefix(name, crate_ident); |
55 | |
56 | quote! { |
57 | unsafe impl<'a> #crate_ident::value::FromValue<'a> for #name { |
58 | type Checker = #crate_ident::value::GenericValueTypeChecker<Self>; |
59 | |
60 | #[inline] |
61 | unsafe fn from_value(value: &'a #crate_ident::Value) -> Self { |
62 | let ptr = #crate_ident::gobject_ffi::g_value_dup_boxed(#crate_ident::translate::ToGlibPtr::to_glib_none(value).0); |
63 | debug_assert!(!ptr.is_null()); |
64 | #name(#refcounted_type_prefix::from_raw(ptr as *mut _)) |
65 | } |
66 | } |
67 | } |
68 | } |
69 | |
70 | fn refcounted_type(input: &syn::DeriveInput) -> Option<&syn::TypePath> { |
71 | let fields: &Fields = match &input.data { |
72 | syn::Data::Struct(s: &DataStruct) => &s.fields, |
73 | _ => return None, |
74 | }; |
75 | |
76 | let unnamed: &Field = match fields { |
77 | syn::Fields::Unnamed(u: &FieldsUnnamed) if u.unnamed.len() == 1 => &u.unnamed[0], |
78 | _ => return None, |
79 | }; |
80 | |
81 | let refcounted: &TypePath = match &unnamed.ty { |
82 | syn::Type::Path(p: &TypePath) => p, |
83 | _ => return None, |
84 | }; |
85 | |
86 | Some(refcounted) |
87 | } |
88 | |
89 | fn refcounted_type_prefix(name: &Ident, crate_ident: &TokenStream) -> proc_macro2::TokenStream { |
90 | quote! { |
91 | <<#name as #crate_ident::subclass::shared::SharedType>::RefCountedType as #crate_ident::subclass::shared::RefCounted> |
92 | } |
93 | } |
94 | |
95 | pub fn impl_shared_boxed(input: &syn::DeriveInput) -> syn::Result<proc_macro2::TokenStream> { |
96 | let name = &input.ident; |
97 | |
98 | let Some(refcounted_type) = refcounted_type(input) else { |
99 | return Err(syn::Error::new_spanned( |
100 | input, |
101 | "#[derive(glib::SharedBoxed)] requires struct MyStruct(T: RefCounted)" , |
102 | )); |
103 | }; |
104 | |
105 | let mut gtype_name = NestedMetaItem::<syn::LitStr>::new("name" ) |
106 | .required() |
107 | .value_required(); |
108 | let mut nullable = NestedMetaItem::<syn::LitBool>::new("nullable" ).value_optional(); |
109 | let mut allow_name_conflict = |
110 | NestedMetaItem::<syn::LitBool>::new("allow_name_conflict" ).value_optional(); |
111 | |
112 | let found = parse_nested_meta_items( |
113 | &input.attrs, |
114 | "shared_boxed_type" , |
115 | &mut [&mut gtype_name, &mut nullable, &mut allow_name_conflict], |
116 | )?; |
117 | |
118 | if found.is_none() { |
119 | return Err(syn::Error::new_spanned(input, |
120 | "#[derive(glib::SharedBoxed)] requires #[shared_boxed_type(name = \"SharedBoxedTypeName \")]" |
121 | )); |
122 | } |
123 | |
124 | let gtype_name = gtype_name.value.unwrap(); |
125 | let nullable = nullable.found || nullable.value.map(|b| b.value()).unwrap_or(false); |
126 | let allow_name_conflict = allow_name_conflict.found |
127 | || allow_name_conflict |
128 | .value |
129 | .map(|b| b.value()) |
130 | .unwrap_or(false); |
131 | |
132 | let crate_ident = crate_ident_new(); |
133 | let refcounted_type_prefix = refcounted_type_prefix(name, &crate_ident); |
134 | |
135 | let impl_from_value = if !nullable { |
136 | gen_impl_from_value(name, &crate_ident) |
137 | } else { |
138 | gen_impl_from_value_optional(name, &crate_ident) |
139 | }; |
140 | |
141 | let impl_to_value_optional = if nullable { |
142 | gen_impl_to_value_optional(name, &crate_ident) |
143 | } else { |
144 | quote! {} |
145 | }; |
146 | |
147 | Ok(quote! { |
148 | impl #crate_ident::subclass::shared::SharedType for #name { |
149 | const NAME: &'static ::core::primitive::str = #gtype_name; |
150 | const ALLOW_NAME_CONFLICT: bool = #allow_name_conflict; |
151 | |
152 | type RefCountedType = #refcounted_type; |
153 | |
154 | #[inline] |
155 | fn from_refcounted(this: Self::RefCountedType) -> Self { |
156 | Self(this) |
157 | } |
158 | |
159 | #[inline] |
160 | fn into_refcounted(self) -> Self::RefCountedType { |
161 | self.0 |
162 | } |
163 | } |
164 | |
165 | impl #crate_ident::prelude::StaticType for #name { |
166 | #[inline] |
167 | fn static_type() -> #crate_ident::Type { |
168 | static TYPE: ::std::sync::OnceLock<#crate_ident::Type> = ::std::sync::OnceLock::new(); |
169 | *TYPE.get_or_init(|| { |
170 | #crate_ident::subclass::shared::register_shared_type::<#name>() |
171 | }) |
172 | } |
173 | } |
174 | |
175 | impl #crate_ident::value::ValueType for #name { |
176 | type Type = #name; |
177 | } |
178 | |
179 | impl #crate_ident::value::ToValue for #name { |
180 | #[inline] |
181 | fn to_value(&self) -> #crate_ident::Value { |
182 | unsafe { |
183 | let ptr = #refcounted_type_prefix::into_raw(self.0.clone()); |
184 | let mut value = #crate_ident::Value::from_type_unchecked(<#name as #crate_ident::prelude::StaticType>::static_type()); |
185 | #crate_ident::gobject_ffi::g_value_take_boxed( |
186 | #crate_ident::translate::ToGlibPtrMut::to_glib_none_mut(&mut value).0, |
187 | ptr as *mut _ |
188 | ); |
189 | value |
190 | } |
191 | } |
192 | |
193 | #[inline] |
194 | fn value_type(&self) -> #crate_ident::Type { |
195 | <#name as #crate_ident::prelude::StaticType>::static_type() |
196 | } |
197 | } |
198 | |
199 | impl ::std::convert::From<#name> for #crate_ident::Value { |
200 | #[inline] |
201 | fn from(v: #name) -> Self { |
202 | unsafe { |
203 | let mut value = #crate_ident::Value::from_type_unchecked(<#name as #crate_ident::prelude::StaticType>::static_type()); |
204 | #crate_ident::gobject_ffi::g_value_take_boxed( |
205 | #crate_ident::translate::ToGlibPtrMut::to_glib_none_mut(&mut value).0, |
206 | #crate_ident::translate::IntoGlibPtr::<*mut #refcounted_type_prefix::InnerType>::into_glib_ptr(v) as *mut _, |
207 | ); |
208 | value |
209 | } |
210 | } |
211 | } |
212 | |
213 | #impl_to_value_optional |
214 | |
215 | #impl_from_value |
216 | |
217 | impl #crate_ident::translate::GlibPtrDefault for #name { |
218 | type GlibType = *mut #refcounted_type_prefix::InnerType; |
219 | } |
220 | |
221 | impl #crate_ident::translate::FromGlibPtrBorrow<*const #refcounted_type_prefix::InnerType> for #name { |
222 | #[inline] |
223 | unsafe fn from_glib_borrow(ptr: *const #refcounted_type_prefix::InnerType) -> #crate_ident::translate::Borrowed<Self> { |
224 | debug_assert!(!ptr.is_null()); |
225 | |
226 | // from_raw is taking ownership of the raw pointer here, but wrapping its result |
227 | // in Borrowed::new ensures that it won't be deallocated when it will go out of |
228 | // scope, so the pointer will still be valid afterwards |
229 | #crate_ident::translate::Borrowed::new(#name(#refcounted_type_prefix::from_raw(ptr))) |
230 | } |
231 | } |
232 | |
233 | impl #crate_ident::translate::FromGlibPtrBorrow<*mut #refcounted_type_prefix::InnerType> for #name { |
234 | #[inline] |
235 | unsafe fn from_glib_borrow(ptr: *mut #refcounted_type_prefix::InnerType) -> #crate_ident::translate::Borrowed<Self> { |
236 | #crate_ident::translate::FromGlibPtrBorrow::from_glib_borrow(ptr as *const _) |
237 | } |
238 | } |
239 | |
240 | |
241 | impl #crate_ident::translate::FromGlibPtrNone<*const #refcounted_type_prefix::InnerType> for #name { |
242 | #[inline] |
243 | unsafe fn from_glib_none(ptr: *const #refcounted_type_prefix::InnerType) -> Self { |
244 | let ptr = #refcounted_type_prefix::ref_(ptr); |
245 | #name(#refcounted_type_prefix::from_raw(ptr)) |
246 | } |
247 | } |
248 | |
249 | impl #crate_ident::translate::FromGlibPtrNone<*mut #refcounted_type_prefix::InnerType> for #name { |
250 | #[inline] |
251 | unsafe fn from_glib_none(ptr: *mut #refcounted_type_prefix::InnerType) -> Self { |
252 | #crate_ident::translate::FromGlibPtrNone::from_glib_none(ptr as *const _) |
253 | } |
254 | } |
255 | |
256 | impl #crate_ident::translate::FromGlibPtrFull<*mut #refcounted_type_prefix::InnerType> for #name { |
257 | #[inline] |
258 | unsafe fn from_glib_full(ptr: *mut #refcounted_type_prefix::InnerType) -> Self { |
259 | #name(#refcounted_type_prefix::from_raw(ptr)) |
260 | } |
261 | } |
262 | |
263 | impl #crate_ident::translate::IntoGlibPtr<*mut #refcounted_type_prefix::InnerType> for #name { |
264 | #[inline] |
265 | unsafe fn into_glib_ptr(self) -> *mut #refcounted_type_prefix::InnerType { |
266 | let r = <Self as #crate_ident::subclass::shared::SharedType>::into_refcounted(self); |
267 | #refcounted_type_prefix::into_raw(r) as *mut _ |
268 | } |
269 | } |
270 | |
271 | impl<'a> #crate_ident::translate::ToGlibPtr<'a, *const #refcounted_type_prefix::InnerType> for #name { |
272 | type Storage = std::marker::PhantomData<&'a Self>; |
273 | |
274 | #[inline] |
275 | fn to_glib_none(&'a self) -> #crate_ident::translate::Stash<'a, *const #refcounted_type_prefix::InnerType, Self> { |
276 | unsafe { |
277 | #crate_ident::translate::Stash(#refcounted_type_prefix::as_ptr(&self.0), std::marker::PhantomData) |
278 | } |
279 | } |
280 | |
281 | #[inline] |
282 | fn to_glib_full(&self) -> *const #refcounted_type_prefix::InnerType { |
283 | let r = <#name as #crate_ident::subclass::shared::SharedType>::into_refcounted(self.clone()); |
284 | unsafe { |
285 | #refcounted_type_prefix::into_raw(r) |
286 | } |
287 | } |
288 | } |
289 | |
290 | impl<'a> #crate_ident::translate::ToGlibPtr<'a, *mut #refcounted_type_prefix::InnerType> for #name { |
291 | type Storage = std::marker::PhantomData<&'a Self>; |
292 | |
293 | #[inline] |
294 | fn to_glib_none(&'a self) -> #crate_ident::translate::Stash<'a, *mut #refcounted_type_prefix::InnerType, Self> { |
295 | unsafe { |
296 | #crate_ident::translate::Stash(#refcounted_type_prefix::as_ptr(&self.0) as *mut _, std::marker::PhantomData) |
297 | } |
298 | } |
299 | |
300 | #[inline] |
301 | fn to_glib_full(&self) -> *mut #refcounted_type_prefix::InnerType { |
302 | let r = <#name as #crate_ident::subclass::shared::SharedType>::into_refcounted(self.clone()); |
303 | unsafe { |
304 | #refcounted_type_prefix::into_raw(r) as *mut _ |
305 | } |
306 | } |
307 | } |
308 | |
309 | impl #crate_ident::HasParamSpec for #name { |
310 | type ParamSpec = #crate_ident::ParamSpecBoxed; |
311 | type SetValue = Self; |
312 | type BuilderFn = fn(&::core::primitive::str) -> #crate_ident::ParamSpecBoxedBuilder<Self>; |
313 | |
314 | fn param_spec_builder() -> Self::BuilderFn { |
315 | |name| Self::ParamSpec::builder(name) |
316 | } |
317 | } |
318 | }) |
319 | } |
320 | |