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