| David Tolnay | 3c64a4e | 2020-08-29 14:07:38 -0700 | [diff] [blame] | 1 | use crate::syntax::namespace::Namespace; |
| 2 | use quote::quote; |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 3 | use syn::parse::{Error, Parse, ParseStream, Result}; |
| David Tolnay | 00a8385 | 2020-08-29 15:06:16 -0700 | [diff] [blame] | 4 | use syn::{ |
| David Tolnay | c598a27 | 2020-08-29 15:10:18 -0700 | [diff] [blame] | 5 | braced, token, Abi, Attribute, ForeignItem, Ident, Item as RustItem, ItemEnum, ItemStruct, |
| David Tolnay | 0c0cfee | 2020-08-29 15:29:25 -0700 | [diff] [blame] | 6 | ItemUse, LitStr, Token, Visibility, |
| David Tolnay | 00a8385 | 2020-08-29 15:06:16 -0700 | [diff] [blame] | 7 | }; |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 8 | |
| 9 | pub struct Module { |
| David Tolnay | 3c64a4e | 2020-08-29 14:07:38 -0700 | [diff] [blame] | 10 | pub namespace: Namespace, |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 11 | pub attrs: Vec<Attribute>, |
| 12 | pub vis: Visibility, |
| David Tolnay | 633f566 | 2020-08-29 14:47:45 -0700 | [diff] [blame] | 13 | pub unsafety: Option<Token![unsafe]>, |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 14 | pub mod_token: Token![mod], |
| 15 | pub ident: Ident, |
| 16 | pub brace_token: token::Brace, |
| 17 | pub content: Vec<Item>, |
| 18 | } |
| 19 | |
| David Tolnay | 00a8385 | 2020-08-29 15:06:16 -0700 | [diff] [blame] | 20 | pub enum Item { |
| 21 | Struct(ItemStruct), |
| 22 | Enum(ItemEnum), |
| 23 | ForeignMod(ItemForeignMod), |
| 24 | Use(ItemUse), |
| 25 | Other(RustItem), |
| 26 | } |
| 27 | |
| David Tolnay | c598a27 | 2020-08-29 15:10:18 -0700 | [diff] [blame] | 28 | pub struct ItemForeignMod { |
| 29 | pub attrs: Vec<Attribute>, |
| 30 | pub unsafety: Option<Token![unsafe]>, |
| 31 | pub abi: Abi, |
| 32 | pub brace_token: token::Brace, |
| 33 | pub items: Vec<ForeignItem>, |
| 34 | } |
| 35 | |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 36 | impl Parse for Module { |
| 37 | fn parse(input: ParseStream) -> Result<Self> { |
| David Tolnay | 3c64a4e | 2020-08-29 14:07:38 -0700 | [diff] [blame] | 38 | let namespace = Namespace::none(); |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 39 | let mut attrs = input.call(Attribute::parse_outer)?; |
| 40 | let vis: Visibility = input.parse()?; |
| David Tolnay | 633f566 | 2020-08-29 14:47:45 -0700 | [diff] [blame] | 41 | let unsafety: Option<Token![unsafe]> = input.parse()?; |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 42 | let mod_token: Token![mod] = input.parse()?; |
| 43 | let ident: Ident = input.parse()?; |
| 44 | |
| David Tolnay | 3c64a4e | 2020-08-29 14:07:38 -0700 | [diff] [blame] | 45 | let semi: Option<Token![;]> = input.parse()?; |
| 46 | if let Some(semi) = semi { |
| 47 | let span = quote!(#vis #mod_token #semi); |
| 48 | return Err(Error::new_spanned( |
| 49 | span, |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 50 | "#[cxx::bridge] module must have inline contents", |
| David Tolnay | 73075fe | 2020-08-29 18:57:51 -0700 | [diff] [blame] | 51 | )); |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 52 | } |
| 53 | |
| 54 | let content; |
| 55 | let brace_token = braced!(content in input); |
| 56 | attrs.extend(content.call(Attribute::parse_inner)?); |
| 57 | |
| 58 | let mut items = Vec::new(); |
| 59 | while !content.is_empty() { |
| 60 | items.push(content.parse()?); |
| 61 | } |
| 62 | |
| 63 | Ok(Module { |
| David Tolnay | 3c64a4e | 2020-08-29 14:07:38 -0700 | [diff] [blame] | 64 | namespace, |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 65 | attrs, |
| 66 | vis, |
| David Tolnay | 633f566 | 2020-08-29 14:47:45 -0700 | [diff] [blame] | 67 | unsafety, |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 68 | mod_token, |
| 69 | ident, |
| 70 | brace_token, |
| 71 | content: items, |
| 72 | }) |
| 73 | } |
| 74 | } |
| David Tolnay | 00a8385 | 2020-08-29 15:06:16 -0700 | [diff] [blame] | 75 | |
| 76 | impl Parse for Item { |
| 77 | fn parse(input: ParseStream) -> Result<Self> { |
| David Tolnay | 0c0cfee | 2020-08-29 15:29:25 -0700 | [diff] [blame] | 78 | let attrs = input.call(Attribute::parse_outer)?; |
| 79 | |
| 80 | let ahead = input.fork(); |
| 81 | let unsafety = if ahead.parse::<Option<Token![unsafe]>>()?.is_some() |
| 82 | && ahead.parse::<Option<Token![extern]>>()?.is_some() |
| 83 | && ahead.parse::<Option<LitStr>>().is_ok() |
| 84 | && ahead.peek(token::Brace) |
| 85 | { |
| 86 | Some(input.parse()?) |
| 87 | } else { |
| 88 | None |
| 89 | }; |
| 90 | |
| David Tolnay | 00a8385 | 2020-08-29 15:06:16 -0700 | [diff] [blame] | 91 | let item = input.parse()?; |
| 92 | match item { |
| David Tolnay | 0c0cfee | 2020-08-29 15:29:25 -0700 | [diff] [blame] | 93 | RustItem::Struct(item) => Ok(Item::Struct(ItemStruct { attrs, ..item })), |
| 94 | RustItem::Enum(item) => Ok(Item::Enum(ItemEnum { attrs, ..item })), |
| David Tolnay | c598a27 | 2020-08-29 15:10:18 -0700 | [diff] [blame] | 95 | RustItem::ForeignMod(item) => Ok(Item::ForeignMod(ItemForeignMod { |
| 96 | attrs: item.attrs, |
| David Tolnay | 0c0cfee | 2020-08-29 15:29:25 -0700 | [diff] [blame] | 97 | unsafety, |
| David Tolnay | c598a27 | 2020-08-29 15:10:18 -0700 | [diff] [blame] | 98 | abi: item.abi, |
| 99 | brace_token: item.brace_token, |
| 100 | items: item.items, |
| 101 | })), |
| David Tolnay | 0c0cfee | 2020-08-29 15:29:25 -0700 | [diff] [blame] | 102 | RustItem::Use(item) => Ok(Item::Use(ItemUse { attrs, ..item })), |
| David Tolnay | 00a8385 | 2020-08-29 15:06:16 -0700 | [diff] [blame] | 103 | other => Ok(Item::Other(other)), |
| 104 | } |
| 105 | } |
| 106 | } |