ast.rs 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240
  1. use crate::{attr, ty_ext::*, AttrsContainer, Ctxt};
  2. use syn::{self, punctuated::Punctuated};
  3. pub struct ASTContainer<'a> {
  4. /// The struct or enum name (without generics).
  5. pub ident: syn::Ident,
  6. /// Attributes on the structure.
  7. pub attrs: AttrsContainer,
  8. /// The contents of the struct or enum.
  9. pub data: ASTData<'a>,
  10. }
  11. impl<'a> ASTContainer<'a> {
  12. pub fn from_ast(cx: &Ctxt, ast: &'a syn::DeriveInput) -> Option<ASTContainer<'a>> {
  13. let attrs = AttrsContainer::from_ast(cx, ast);
  14. // syn::DeriveInput
  15. // 1. syn::DataUnion
  16. // 2. syn::DataStruct
  17. // 3. syn::DataEnum
  18. let data = match &ast.data {
  19. syn::Data::Struct(data) => {
  20. // https://docs.rs/syn/1.0.48/syn/struct.DataStruct.html
  21. let (style, fields) = struct_from_ast(cx, &data.fields);
  22. ASTData::Struct(style, fields)
  23. },
  24. syn::Data::Union(_) => {
  25. cx.error_spanned_by(ast, "Does not support derive for unions");
  26. return None;
  27. },
  28. syn::Data::Enum(data) => {
  29. // https://docs.rs/syn/1.0.48/syn/struct.DataEnum.html
  30. ASTData::Enum(enum_from_ast(cx, &data.variants, &ast.attrs))
  31. },
  32. };
  33. let ident = ast.ident.clone();
  34. let item = ASTContainer { ident, attrs, data };
  35. Some(item)
  36. }
  37. }
  38. pub enum ASTData<'a> {
  39. Struct(ASTStyle, Vec<ASTField<'a>>),
  40. Enum(Vec<ASTEnumVariant<'a>>),
  41. }
  42. impl<'a> ASTData<'a> {
  43. pub fn all_fields(&'a self) -> Box<dyn Iterator<Item = &'a ASTField<'a>> + 'a> {
  44. match self {
  45. ASTData::Enum(variants) => {
  46. Box::new(variants.iter().flat_map(|variant| variant.fields.iter()))
  47. },
  48. ASTData::Struct(_, fields) => Box::new(fields.iter()),
  49. }
  50. }
  51. pub fn all_variants(&'a self) -> Box<dyn Iterator<Item = &'a attr::ASTEnumAttrVariant> + 'a> {
  52. match self {
  53. ASTData::Enum(variants) => {
  54. let iter = variants.iter().map(|variant| &variant.attrs);
  55. Box::new(iter)
  56. },
  57. ASTData::Struct(_, fields) => {
  58. let iter = fields.iter().flat_map(|_| None);
  59. Box::new(iter)
  60. },
  61. }
  62. }
  63. pub fn all_idents(&'a self) -> Box<dyn Iterator<Item = &'a syn::Ident> + 'a> {
  64. match self {
  65. ASTData::Enum(variants) => Box::new(variants.iter().map(|v| &v.ident)),
  66. ASTData::Struct(_, fields) => {
  67. let iter = fields.iter().flat_map(|f| match &f.member {
  68. syn::Member::Named(ident) => Some(ident),
  69. _ => None,
  70. });
  71. Box::new(iter)
  72. },
  73. }
  74. }
  75. }
  76. /// A variant of an enum.
  77. pub struct ASTEnumVariant<'a> {
  78. pub ident: syn::Ident,
  79. pub attrs: attr::ASTEnumAttrVariant,
  80. pub style: ASTStyle,
  81. pub fields: Vec<ASTField<'a>>,
  82. pub original: &'a syn::Variant,
  83. }
  84. impl<'a> ASTEnumVariant<'a> {
  85. pub fn name(&self) -> String { self.ident.to_string() }
  86. }
  87. pub enum BracketCategory {
  88. Other,
  89. Opt,
  90. Vec,
  91. Map((String, String)),
  92. }
  93. pub struct ASTField<'a> {
  94. pub member: syn::Member,
  95. pub attrs: attr::ASTAttrField,
  96. pub ty: &'a syn::Type,
  97. pub original: &'a syn::Field,
  98. pub bracket_ty: Option<syn::Ident>,
  99. pub bracket_inner_ty: Option<syn::Ident>,
  100. pub bracket_category: Option<BracketCategory>,
  101. }
  102. impl<'a> ASTField<'a> {
  103. pub fn new(cx: &Ctxt, field: &'a syn::Field, index: usize) -> Self {
  104. let mut bracket_inner_ty = None;
  105. let mut bracket_ty = None;
  106. let mut bracket_category = Some(BracketCategory::Other);
  107. match parse_ty(cx, &field.ty) {
  108. Some(inner) => {
  109. match inner.primitive_ty {
  110. PrimitiveTy::Map(map_info) => {
  111. bracket_category = Some(BracketCategory::Map((
  112. map_info.key.clone(),
  113. map_info.value.clone(),
  114. )))
  115. },
  116. PrimitiveTy::Vec => {
  117. bracket_category = Some(BracketCategory::Vec);
  118. },
  119. PrimitiveTy::Opt => {
  120. bracket_category = Some(BracketCategory::Opt);
  121. },
  122. PrimitiveTy::Other => {
  123. bracket_category = Some(BracketCategory::Other);
  124. },
  125. }
  126. match *inner.bracket_ty_info {
  127. Some(bracketed_inner_ty) => {
  128. bracket_inner_ty = Some(bracketed_inner_ty.ident.clone());
  129. bracket_ty = Some(inner.ident.clone());
  130. },
  131. None => {
  132. bracket_ty = Some(inner.ident.clone());
  133. },
  134. }
  135. },
  136. None => {
  137. cx.error_spanned_by(&field.ty, "fail to get the ty inner type");
  138. },
  139. }
  140. ASTField {
  141. member: match &field.ident {
  142. Some(ident) => syn::Member::Named(ident.clone()),
  143. None => syn::Member::Unnamed(index.into()),
  144. },
  145. attrs: attr::ASTAttrField::from_ast(cx, index, field),
  146. ty: &field.ty,
  147. original: field,
  148. bracket_ty,
  149. bracket_inner_ty,
  150. bracket_category,
  151. }
  152. }
  153. pub fn ty_as_str(&self) -> String {
  154. match self.bracket_inner_ty {
  155. Some(ref ty) => ty.to_string(),
  156. None => self.bracket_ty.as_ref().unwrap().clone().to_string(),
  157. }
  158. }
  159. #[allow(dead_code)]
  160. pub fn name(&self) -> Option<syn::Ident> {
  161. if let syn::Member::Named(ident) = &self.member {
  162. return Some(ident.clone());
  163. } else {
  164. None
  165. }
  166. }
  167. pub fn is_option(&self) -> bool { attr::is_option(&self.ty) }
  168. }
  169. #[derive(Copy, Clone)]
  170. pub enum ASTStyle {
  171. Struct,
  172. /// Many unnamed fields.
  173. Tuple,
  174. /// One unnamed field.
  175. NewType,
  176. /// No fields.
  177. Unit,
  178. }
  179. pub fn struct_from_ast<'a>(cx: &Ctxt, fields: &'a syn::Fields) -> (ASTStyle, Vec<ASTField<'a>>) {
  180. match fields {
  181. syn::Fields::Named(fields) => (ASTStyle::Struct, fields_from_ast(cx, &fields.named)),
  182. syn::Fields::Unnamed(fields) if fields.unnamed.len() == 1 => {
  183. (ASTStyle::NewType, fields_from_ast(cx, &fields.unnamed))
  184. },
  185. syn::Fields::Unnamed(fields) => (ASTStyle::Tuple, fields_from_ast(cx, &fields.unnamed)),
  186. syn::Fields::Unit => (ASTStyle::Unit, Vec::new()),
  187. }
  188. }
  189. pub fn enum_from_ast<'a>(
  190. cx: &Ctxt,
  191. variants: &'a Punctuated<syn::Variant, Token![,]>,
  192. enum_attrs: &Vec<syn::Attribute>,
  193. ) -> Vec<ASTEnumVariant<'a>> {
  194. variants
  195. .iter()
  196. .flat_map(|variant| {
  197. let attrs = attr::ASTEnumAttrVariant::from_ast(cx, variant, enum_attrs);
  198. let (style, fields) = struct_from_ast(cx, &variant.fields);
  199. Some(ASTEnumVariant {
  200. ident: variant.ident.clone(),
  201. attrs,
  202. style,
  203. fields,
  204. original: variant,
  205. })
  206. })
  207. .collect()
  208. }
  209. fn fields_from_ast<'a>(
  210. cx: &Ctxt,
  211. fields: &'a Punctuated<syn::Field, Token![,]>,
  212. ) -> Vec<ASTField<'a>> {
  213. fields
  214. .iter()
  215. .enumerate()
  216. .map(|(index, field)| ASTField::new(cx, field, index))
  217. .collect()
  218. }