| 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 | b0cd327 | 2020-10-27 21:32:54 -0700 | [diff] [blame] | 62 | Include(Include), |
| 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 | |
| David Tolnay | b0cd327 | 2020-10-27 21:32:54 -0700 | [diff] [blame] | 73 | pub struct Include { |
| 74 | pub path: String, |
| 75 | pub kind: IncludeKind, |
| 76 | pub begin_span: Span, |
| 77 | pub end_span: Span, |
| 78 | } |
| 79 | |
| David Tolnay | 700cd0c | 2020-10-28 12:40:27 -0700 | [diff] [blame] | 80 | /// Whether to emit `#include "path"` or `#include <path>`. |
| 81 | #[derive(Copy, Clone, PartialEq, Debug)] |
| David Tolnay | b0cd327 | 2020-10-27 21:32:54 -0700 | [diff] [blame] | 82 | pub enum IncludeKind { |
| David Tolnay | 700cd0c | 2020-10-28 12:40:27 -0700 | [diff] [blame] | 83 | /// `#include "quoted/path/to"` |
| 84 | Quoted, |
| 85 | /// `#include <bracketed/path/to>` |
| 86 | Bracketed, |
| David Tolnay | b0cd327 | 2020-10-27 21:32:54 -0700 | [diff] [blame] | 87 | } |
| 88 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 89 | pub struct ExternType { |
| 90 | pub doc: Doc, |
| 91 | pub type_token: Token![type], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 92 | pub ident: Pair, |
| David Tolnay | c836102 | 2020-08-25 21:57:53 -0700 | [diff] [blame] | 93 | pub semi_token: Token![;], |
| David Tolnay | 00f236a | 2020-08-29 19:07:18 -0700 | [diff] [blame] | 94 | pub trusted: bool, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 95 | } |
| 96 | |
| 97 | pub struct Struct { |
| 98 | pub doc: Doc, |
| David Tolnay | e86b9cf | 2020-05-10 14:24:29 -0700 | [diff] [blame] | 99 | pub derives: Vec<Derive>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 100 | pub struct_token: Token![struct], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 101 | pub ident: Pair, |
| David Tolnay | 09462ac | 2020-03-20 14:58:41 -0700 | [diff] [blame] | 102 | pub brace_token: Brace, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 103 | pub fields: Vec<Var>, |
| 104 | } |
| 105 | |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 106 | pub struct Enum { |
| 107 | pub doc: Doc, |
| 108 | pub enum_token: Token![enum], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 109 | pub ident: Pair, |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 110 | pub brace_token: Brace, |
| 111 | pub variants: Vec<Variant>, |
| David Tolnay | e2e303f | 2020-05-10 20:52:00 -0700 | [diff] [blame] | 112 | pub repr: Atom, |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 113 | } |
| 114 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 115 | /// A type with a defined Rust name and a fully resolved, |
| 116 | /// qualified, namespaced, C++ name. |
| 117 | #[derive(Clone)] |
| David Tolnay | a4641c7 | 2020-09-08 14:05:53 -0700 | [diff] [blame] | 118 | pub struct Pair { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 119 | pub cxx: CppName, |
| 120 | pub rust: RsName, |
| David Tolnay | a4641c7 | 2020-09-08 14:05:53 -0700 | [diff] [blame] | 121 | } |
| 122 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 123 | pub struct ExternFn { |
| David Tolnay | 6cde49f | 2020-03-16 12:25:45 -0700 | [diff] [blame] | 124 | pub lang: Lang, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 125 | pub doc: Doc, |
| David Tolnay | a4641c7 | 2020-09-08 14:05:53 -0700 | [diff] [blame] | 126 | pub ident: Pair, |
| David Tolnay | 1644873 | 2020-03-18 12:39:36 -0700 | [diff] [blame] | 127 | pub sig: Signature, |
| 128 | pub semi_token: Token![;], |
| 129 | } |
| 130 | |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 131 | pub struct TypeAlias { |
| Bryan Henry | 890083d | 2020-09-13 10:34:31 -0700 | [diff] [blame] | 132 | pub doc: Doc, |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 133 | pub type_token: Token![type], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 134 | pub ident: Pair, |
| David Tolnay | 9938381 | 2020-05-04 02:34:33 -0700 | [diff] [blame] | 135 | pub eq_token: Token![=], |
| 136 | pub ty: RustType, |
| 137 | pub semi_token: Token![;], |
| 138 | } |
| 139 | |
| David Tolnay | 7e69f89 | 2020-10-03 22:20:22 -0700 | [diff] [blame] | 140 | pub struct Impl { |
| 141 | pub impl_token: Token![impl], |
| 142 | pub ty: Type, |
| 143 | pub brace_token: Brace, |
| 144 | } |
| 145 | |
| David Tolnay | 1644873 | 2020-03-18 12:39:36 -0700 | [diff] [blame] | 146 | pub struct Signature { |
| David Tolnay | bdb576c | 2020-09-06 23:45:55 -0700 | [diff] [blame] | 147 | pub unsafety: Option<Token![unsafe]>, |
| David Tolnay | 1644873 | 2020-03-18 12:39:36 -0700 | [diff] [blame] | 148 | pub fn_token: Token![fn], |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 149 | pub receiver: Option<Receiver>, |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 150 | pub args: Punctuated<Var, Token![,]>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 151 | pub ret: Option<Type>, |
| David Tolnay | 59b7ede | 2020-03-16 00:30:23 -0700 | [diff] [blame] | 152 | pub throws: bool, |
| David Tolnay | e3a4815 | 2020-04-08 19:38:05 -0700 | [diff] [blame] | 153 | pub paren_token: Paren, |
| 154 | pub throws_tokens: Option<(kw::Result, Token![<], Token![>])>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 155 | } |
| 156 | |
| David Tolnay | 417305a | 2020-03-18 13:54:00 -0700 | [diff] [blame] | 157 | #[derive(Eq, PartialEq, Hash)] |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 158 | pub struct Var { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 159 | pub ident: RsIdent, // fields and variables are not namespaced |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 160 | pub ty: Type, |
| 161 | } |
| 162 | |
| 163 | pub struct Receiver { |
| David Tolnay | fb6e386 | 2020-04-20 01:33:23 -0700 | [diff] [blame] | 164 | pub ampersand: Token![&], |
| David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 165 | pub lifetime: Option<Lifetime>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 166 | pub mutability: Option<Token![mut]>, |
| David Tolnay | 05e11cc | 2020-04-20 02:13:56 -0700 | [diff] [blame] | 167 | pub var: Token![self], |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 168 | pub ty: ResolvableName, |
| David Tolnay | 62d360c | 2020-04-22 16:26:21 -0700 | [diff] [blame] | 169 | pub shorthand: bool, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 170 | } |
| 171 | |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 172 | pub struct Variant { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 173 | pub ident: RsIdent, |
| David Tolnay | 17e137f | 2020-05-08 15:55:28 -0700 | [diff] [blame] | 174 | pub discriminant: Discriminant, |
| David Tolnay | 2b8bf6d | 2020-05-10 17:37:16 -0700 | [diff] [blame] | 175 | pub expr: Option<Expr>, |
| Joel Galenson | c03402a | 2020-04-23 17:31:09 -0700 | [diff] [blame] | 176 | } |
| 177 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 178 | pub enum Type { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 179 | Ident(ResolvableName), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 180 | RustBox(Box<Ty1>), |
| Myron Ahn | eba35cf | 2020-02-05 19:41:51 +0700 | [diff] [blame] | 181 | RustVec(Box<Ty1>), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 182 | UniquePtr(Box<Ty1>), |
| 183 | Ref(Box<Ref>), |
| 184 | Str(Box<Ref>), |
| David Tolnay | 4377a9e | 2020-04-24 15:20:26 -0700 | [diff] [blame] | 185 | CxxVector(Box<Ty1>), |
| David Tolnay | 417305a | 2020-03-18 13:54:00 -0700 | [diff] [blame] | 186 | Fn(Box<Signature>), |
| David Tolnay | 2fb14e9 | 2020-03-15 23:11:38 -0700 | [diff] [blame] | 187 | Void(Span), |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 188 | Slice(Box<Slice>), |
| 189 | SliceRefU8(Box<Ref>), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 190 | } |
| 191 | |
| 192 | pub struct Ty1 { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 193 | pub name: ResolvableName, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 194 | pub langle: Token![<], |
| 195 | pub inner: Type, |
| 196 | pub rangle: Token![>], |
| 197 | } |
| 198 | |
| 199 | pub struct Ref { |
| 200 | pub ampersand: Token![&], |
| David Tolnay | 0bd50fa | 2020-04-22 15:31:33 -0700 | [diff] [blame] | 201 | pub lifetime: Option<Lifetime>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 202 | pub mutability: Option<Token![mut]>, |
| 203 | pub inner: Type, |
| 204 | } |
| 205 | |
| Adrian Taylor | f5dd552 | 2020-04-13 16:50:14 -0700 | [diff] [blame] | 206 | pub struct Slice { |
| 207 | pub bracket: Bracket, |
| 208 | pub inner: Type, |
| 209 | } |
| 210 | |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 211 | #[derive(Copy, Clone, PartialEq)] |
| David Tolnay | 6cde49f | 2020-03-16 12:25:45 -0700 | [diff] [blame] | 212 | pub enum Lang { |
| 213 | Cxx, |
| 214 | Rust, |
| 215 | } |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 216 | |
| 217 | /// Wrapper for a type which needs to be resolved |
| 218 | /// before it can be printed in C++. |
| 219 | #[derive(Clone, Eq, PartialEq, Hash, Ord, PartialOrd)] |
| 220 | pub struct ResolvableName { |
| 221 | pub rust: RsName, |
| 222 | } |