| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 1 | // Functionality that is shared between the cxxbridge macro and the cmd. |
| 2 | |
| 3 | pub mod atom; |
| 4 | mod attrs; |
| 5 | pub mod check; |
| David Tolnay | 64703b4 | 2020-05-10 22:12:33 -0700 | [diff] [blame] | 6 | mod derive; |
| David Tolnay | 17e137f | 2020-05-08 15:55:28 -0700 | [diff] [blame] | 7 | mod discriminant; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 8 | mod doc; |
| 9 | pub mod error; |
| David Tolnay | 05ef6ff | 2020-08-29 11:27:05 -0700 | [diff] [blame] | 10 | pub mod file; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 11 | pub mod ident; |
| 12 | mod impls; |
| David Tolnay | 3caa50a | 2020-04-19 21:25:34 -0700 | [diff] [blame] | 13 | pub mod mangle; |
| David Tolnay | 0841930 | 2020-04-19 20:38:20 -0700 | [diff] [blame] | 14 | pub mod namespace; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 15 | mod parse; |
| David Tolnay | a8d94a1 | 2020-09-06 23:28:18 -0700 | [diff] [blame] | 16 | pub mod qualified; |
| David Tolnay | df344a8 | 2020-05-03 23:23:18 -0700 | [diff] [blame] | 17 | pub mod report; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 18 | pub mod set; |
| David Tolnay | 891061b | 2020-04-19 22:42:33 -0700 | [diff] [blame] | 19 | pub mod symbol; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 20 | mod tokens; |
| 21 | pub mod types; |
| 22 | |
| David Tolnay | 17e137f | 2020-05-08 15:55:28 -0700 | [diff] [blame] | 23 | use self::discriminant::Discriminant; |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 24 | use self::namespace::Namespace; |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 25 | use self::parse::kw; |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 26 | use self::symbol::Symbol; |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 27 | use proc_macro2::{Ident, Span}; |
| 28 | use syn::punctuated::Punctuated; |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 29 | use syn::token::{Brace, Bracket, Paren}; |
| David Tolnay | 91e87fa | 2020-05-11 19:10:23 -0700 | [diff] [blame] | 30 | use syn::{Expr, Lifetime, Token, Type as RustType}; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 31 | |
| 32 | pub use self::atom::Atom; |
| David Tolnay | 64703b4 | 2020-05-10 22:12:33 -0700 | [diff] [blame] | 33 | pub use self::derive::Derive; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 34 | pub use self::doc::Doc; |
| 35 | pub use self::parse::parse_items; |
| 36 | pub use self::types::Types; |
| 37 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 38 | /// A Rust identifier will forver == a proc_macro2::Ident, |
| 39 | /// but for completeness here's a type alias. |
| 40 | pub type RsIdent = Ident; |
| 41 | |
| 42 | /// At the moment, a Rust name is simply a proc_macro2::Ident. |
| 43 | /// In the future, it may become namespaced based on a mod path. |
| 44 | pub type RsName = RsIdent; |
| 45 | |
| 46 | /// At the moment, a C++ identifier is also a proc_macro2::Ident. |
| 47 | /// In the future, we may wish to make a newtype wrapper here |
| 48 | /// to avoid confusion between C++ and Rust identifiers. |
| 49 | pub type CppIdent = Ident; |
| 50 | |
| 51 | #[derive(Clone)] |
| 52 | /// A C++ identifier in a particular namespace. |
| 53 | /// It is intentional that this does not impl Display, |
| 54 | /// because we want to force users actively to decide whether to output |
| 55 | /// it as a qualified name or as an unqualfiied name. |
| 56 | pub struct CppName { |
| 57 | pub ns: Namespace, |
| 58 | pub ident: CppIdent, |
| 59 | } |
| 60 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 61 | pub enum Api { |
| David Tolnay | 91e87fa | 2020-05-11 19:10:23 -0700 | [diff] [blame] | 62 | Include(String), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 63 | Struct(Struct), |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 64 | Enum(Enum), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 65 | CxxType(ExternType), |
| 66 | CxxFunction(ExternFn), |
| 67 | RustType(ExternType), |
| 68 | RustFunction(ExternFn), |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 69 | TypeAlias(TypeAlias), |
| David Tolnay | 7e69f89 | 2020-10-03 22:20:22 -0700 | [diff] [blame] | 70 | Impl(Impl), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 71 | } |
| 72 | |
| 73 | pub struct ExternType { |
| 74 | pub doc: Doc, |
| 75 | pub type_token: Token![type], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 76 | pub ident: Pair, |
| David Tolnay | c836102 | 2020-08-25 21:57:53 -0700 | [diff] [blame] | 77 | pub semi_token: Token![;], |
| David Tolnay | 00f236a | 2020-08-29 19:07:18 -0700 | [diff] [blame] | 78 | pub trusted: bool, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | pub struct Struct { |
| 82 | pub doc: Doc, |
| David Tolnay | e86b9cf | 2020-05-10 14:24:29 -0700 | [diff] [blame] | 83 | pub derives: Vec<Derive>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 84 | pub struct_token: Token![struct], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 85 | pub ident: Pair, |
| David Tolnay | 09462ac | 2020-03-20 14:58:41 -0700 | [diff] [blame] | 86 | pub brace_token: Brace, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 87 | pub fields: Vec<Var>, |
| 88 | } |
| 89 | |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 90 | pub struct Enum { |
| 91 | pub doc: Doc, |
| 92 | pub enum_token: Token![enum], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 93 | pub ident: Pair, |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 94 | pub brace_token: Brace, |
| 95 | pub variants: Vec<Variant>, |
| David Tolnay | e2e303f | 2020-05-10 20:52:00 -0700 | [diff] [blame] | 96 | pub repr: Atom, |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 97 | } |
| 98 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 99 | /// A type with a defined Rust name and a fully resolved, |
| 100 | /// qualified, namespaced, C++ name. |
| 101 | #[derive(Clone)] |
| David Tolnay | a4641c7 | 2020-09-08 14:05:53 -0700 | [diff] [blame] | 102 | pub struct Pair { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 103 | pub cxx: CppName, |
| 104 | pub rust: RsName, |
| David Tolnay | a4641c7 | 2020-09-08 14:05:53 -0700 | [diff] [blame] | 105 | } |
| 106 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 107 | pub struct ExternFn { |
| David Tolnay | 6cde49f | 2020-03-16 12:25:45 -0700 | [diff] [blame] | 108 | pub lang: Lang, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 109 | pub doc: Doc, |
| David Tolnay | a4641c7 | 2020-09-08 14:05:53 -0700 | [diff] [blame] | 110 | pub ident: Pair, |
| David Tolnay | 1644873 | 2020-03-18 12:39:36 -0700 | [diff] [blame] | 111 | pub sig: Signature, |
| 112 | pub semi_token: Token![;], |
| 113 | } |
| 114 | |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 115 | pub struct TypeAlias { |
| Bryan Henry | 890083d | 2020-09-13 10:34:31 -0700 | [diff] [blame] | 116 | pub doc: Doc, |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 117 | pub type_token: Token![type], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 118 | pub ident: Pair, |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 119 | pub eq_token: Token![=], |
| 120 | pub ty: RustType, |
| 121 | pub semi_token: Token![;], |
| 122 | } |
| 123 | |
| David Tolnay | 7e69f89 | 2020-10-03 22:20:22 -0700 | [diff] [blame] | 124 | pub struct Impl { |
| 125 | pub impl_token: Token![impl], |
| 126 | pub ty: Type, |
| 127 | pub brace_token: Brace, |
| 128 | } |
| 129 | |
| David Tolnay | 1644873 | 2020-03-18 12:39:36 -0700 | [diff] [blame] | 130 | pub struct Signature { |
| David Tolnay | bdb576c | 2020-09-06 23:45:55 -0700 | [diff] [blame] | 131 | pub unsafety: Option<Token![unsafe]>, |
| David Tolnay | 1644873 | 2020-03-18 12:39:36 -0700 | [diff] [blame] | 132 | pub fn_token: Token![fn], |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 133 | pub receiver: Option<Receiver>, |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 134 | pub args: Punctuated<Var, Token![,]>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 135 | pub ret: Option<Type>, |
| David Tolnay | 59b7ede | 2020-03-16 00:30:23 -0700 | [diff] [blame] | 136 | pub throws: bool, |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 137 | pub paren_token: Paren, |
| 138 | pub throws_tokens: Option<(kw::Result, Token![<], Token![>])>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 139 | } |
| 140 | |
| David Tolnay | 417305a | 2020-03-18 13:54:00 -0700 | [diff] [blame] | 141 | #[derive(Eq, PartialEq, Hash)] |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 142 | pub struct Var { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 143 | pub ident: RsIdent, // fields and variables are not namespaced |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 144 | pub ty: Type, |
| 145 | } |
| 146 | |
| 147 | pub struct Receiver { |
| David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 148 | pub ampersand: Token![&], |
| David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 149 | pub lifetime: Option<Lifetime>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 150 | pub mutability: Option<Token![mut]>, |
| David Tolnay | 05e11cc | 2020-04-20 02:13:56 -0700 | [diff] [blame] | 151 | pub var: Token![self], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 152 | pub ty: ResolvableName, |
| David Tolnay | 62d360c | 2020-04-22 16:26:21 -0700 | [diff] [blame] | 153 | pub shorthand: bool, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 154 | } |
| 155 | |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 156 | pub struct Variant { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 157 | pub ident: RsIdent, |
| David Tolnay | 17e137f | 2020-05-08 15:55:28 -0700 | [diff] [blame] | 158 | pub discriminant: Discriminant, |
| David Tolnay | 2b8bf6d | 2020-05-10 17:37:16 -0700 | [diff] [blame] | 159 | pub expr: Option<Expr>, |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 160 | } |
| 161 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 162 | pub enum Type { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 163 | Ident(ResolvableName), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 164 | RustBox(Box<Ty1>), |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 165 | RustVec(Box<Ty1>), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 166 | UniquePtr(Box<Ty1>), |
| 167 | Ref(Box<Ref>), |
| 168 | Str(Box<Ref>), |
| David Tolnay | 4377a9e | 2020-04-24 15:20:26 -0700 | [diff] [blame] | 169 | CxxVector(Box<Ty1>), |
| David Tolnay | 417305a | 2020-03-18 13:54:00 -0700 | [diff] [blame] | 170 | Fn(Box<Signature>), |
| David Tolnay | 2fb14e9 | 2020-03-15 23:11:38 -0700 | [diff] [blame] | 171 | Void(Span), |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 172 | Slice(Box<Slice>), |
| 173 | SliceRefU8(Box<Ref>), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 174 | } |
| 175 | |
| 176 | pub struct Ty1 { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 177 | pub name: ResolvableName, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 178 | pub langle: Token![<], |
| 179 | pub inner: Type, |
| 180 | pub rangle: Token![>], |
| 181 | } |
| 182 | |
| 183 | pub struct Ref { |
| 184 | pub ampersand: Token![&], |
| David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 185 | pub lifetime: Option<Lifetime>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 186 | pub mutability: Option<Token![mut]>, |
| 187 | pub inner: Type, |
| 188 | } |
| 189 | |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 190 | pub struct Slice { |
| 191 | pub bracket: Bracket, |
| 192 | pub inner: Type, |
| 193 | } |
| 194 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 195 | #[derive(Copy, Clone, PartialEq)] |
| David Tolnay | 6cde49f | 2020-03-16 12:25:45 -0700 | [diff] [blame] | 196 | pub enum Lang { |
| 197 | Cxx, |
| 198 | Rust, |
| 199 | } |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame^] | 200 | |
| 201 | /// Wrapper for a type which needs to be resolved |
| 202 | /// before it can be printed in C++. |
| 203 | #[derive(Clone, Eq, PartialEq, Hash, Ord, PartialOrd)] |
| 204 | pub struct ResolvableName { |
| 205 | pub rust: RsName, |
| 206 | } |