blob: 30faccc76931cfc4d270eb26ae31d958eae70891 [file] [log] [blame]
David Tolnay7db73692019-10-20 14:51:12 -04001// Functionality that is shared between the cxxbridge macro and the cmd.
2
3pub mod atom;
David Tolnay067638e2020-12-30 16:18:05 -08004pub mod attrs;
David Tolnay7db73692019-10-20 14:51:12 -04005pub mod check;
David Tolnaybc047bb2020-11-27 14:30:12 -08006pub mod derive;
David Tolnay17e137f2020-05-08 15:55:28 -07007mod discriminant;
David Tolnay7db73692019-10-20 14:51:12 -04008mod doc;
9pub mod error;
David Tolnay05ef6ff2020-08-29 11:27:05 -070010pub mod file;
David Tolnay7db73692019-10-20 14:51:12 -040011pub mod ident;
12mod impls;
David Tolnay7953a112020-11-02 12:57:57 -080013mod improper;
David Tolnay4c6052d2020-12-31 15:01:04 -080014pub mod instantiate;
David Tolnay3caa50a2020-04-19 21:25:34 -070015pub mod mangle;
David Tolnaye352c1e2020-12-31 16:41:05 -080016pub mod map;
David Tolnay60e7aa62020-11-01 12:34:51 -080017mod names;
David Tolnay08419302020-04-19 20:38:20 -070018pub mod namespace;
David Tolnay7db73692019-10-20 14:51:12 -040019mod parse;
David Tolnay0beba912020-12-09 23:42:07 -080020mod pod;
David Tolnaya8d94a12020-09-06 23:28:18 -070021pub mod qualified;
David Tolnaydf344a82020-05-03 23:23:18 -070022pub mod report;
David Tolnay3abed472020-12-31 23:34:53 -080023mod resolve;
David Tolnay7db73692019-10-20 14:51:12 -040024pub mod set;
David Tolnay891061b2020-04-19 22:42:33 -070025pub mod symbol;
David Tolnay7db73692019-10-20 14:51:12 -040026mod tokens;
David Tolnay942cffd2020-11-03 18:27:10 -080027mod toposort;
David Tolnay0634b1f2020-12-20 21:04:04 -080028pub mod trivial;
David Tolnay7db73692019-10-20 14:51:12 -040029pub mod types;
30
David Tolnaycba3d442020-12-30 16:39:21 -080031use self::attrs::OtherAttrs;
David Tolnay17e137f2020-05-08 15:55:28 -070032use self::discriminant::Discriminant;
Adrian Taylorc8713432020-10-21 18:20:55 -070033use self::namespace::Namespace;
David Tolnaye3a48152020-04-08 19:38:05 -070034use self::parse::kw;
Adrian Taylorc8713432020-10-21 18:20:55 -070035use self::symbol::Symbol;
David Tolnaye3a48152020-04-08 19:38:05 -070036use proc_macro2::{Ident, Span};
37use syn::punctuated::Punctuated;
Adrian Taylorf5dd5522020-04-13 16:50:14 -070038use syn::token::{Brace, Bracket, Paren};
David Tolnaycba3d442020-12-30 16:39:21 -080039use syn::{Expr, Generics, Lifetime, LitInt, Token, Type as RustType};
David Tolnay7db73692019-10-20 14:51:12 -040040
41pub use self::atom::Atom;
David Tolnayb247df12020-11-27 12:06:12 -080042pub use self::derive::{Derive, Trait};
David Tolnay7db73692019-10-20 14:51:12 -040043pub use self::doc::Doc;
David Tolnayed6ba4a2021-01-01 14:59:40 -080044pub use self::names::ForeignName;
David Tolnay7db73692019-10-20 14:51:12 -040045pub use self::parse::parse_items;
46pub use self::types::Types;
47
48pub enum Api {
David Tolnayb0cd3272020-10-27 21:32:54 -070049 Include(Include),
David Tolnay7db73692019-10-20 14:51:12 -040050 Struct(Struct),
Joel Galensonc03402a2020-04-23 17:31:09 -070051 Enum(Enum),
David Tolnay7db73692019-10-20 14:51:12 -040052 CxxType(ExternType),
53 CxxFunction(ExternFn),
54 RustType(ExternType),
55 RustFunction(ExternFn),
David Tolnay99383812020-05-04 02:34:33 -070056 TypeAlias(TypeAlias),
David Tolnay7e69f892020-10-03 22:20:22 -070057 Impl(Impl),
David Tolnay7db73692019-10-20 14:51:12 -040058}
59
David Tolnayb0cd3272020-10-27 21:32:54 -070060pub struct Include {
61 pub path: String,
62 pub kind: IncludeKind,
63 pub begin_span: Span,
64 pub end_span: Span,
65}
66
David Tolnay700cd0c2020-10-28 12:40:27 -070067/// Whether to emit `#include "path"` or `#include <path>`.
68#[derive(Copy, Clone, PartialEq, Debug)]
David Tolnayb0cd3272020-10-27 21:32:54 -070069pub enum IncludeKind {
David Tolnay700cd0c2020-10-28 12:40:27 -070070 /// `#include "quoted/path/to"`
71 Quoted,
72 /// `#include <bracketed/path/to>`
73 Bracketed,
David Tolnayb0cd3272020-10-27 21:32:54 -070074}
75
David Tolnay7db73692019-10-20 14:51:12 -040076pub struct ExternType {
David Tolnay16e26202020-11-27 19:28:37 -080077 pub lang: Lang,
David Tolnay7db73692019-10-20 14:51:12 -040078 pub doc: Doc,
David Tolnay16e26202020-11-27 19:28:37 -080079 pub derives: Vec<Derive>,
David Tolnaycba3d442020-12-30 16:39:21 -080080 pub attrs: OtherAttrs,
David Tolnay524ff682020-12-30 17:25:38 -080081 pub visibility: Token![pub],
David Tolnay7db73692019-10-20 14:51:12 -040082 pub type_token: Token![type],
David Tolnay17a934c2020-11-02 00:40:04 -080083 pub name: Pair,
David Tolnayee312322020-12-28 22:04:10 -080084 pub generics: Lifetimes,
David Tolnayb7eb65e2020-11-27 20:00:53 -080085 pub colon_token: Option<Token![:]>,
86 pub bounds: Vec<Derive>,
David Tolnayc8361022020-08-25 21:57:53 -070087 pub semi_token: Token![;],
David Tolnay00f236a2020-08-29 19:07:18 -070088 pub trusted: bool,
David Tolnay7db73692019-10-20 14:51:12 -040089}
90
91pub struct Struct {
92 pub doc: Doc,
David Tolnaye86b9cf2020-05-10 14:24:29 -070093 pub derives: Vec<Derive>,
David Tolnaycba3d442020-12-30 16:39:21 -080094 pub attrs: OtherAttrs,
David Tolnay64343af2020-12-30 15:26:06 -080095 pub visibility: Token![pub],
David Tolnay7db73692019-10-20 14:51:12 -040096 pub struct_token: Token![struct],
David Tolnay17a934c2020-11-02 00:40:04 -080097 pub name: Pair,
David Tolnay038b29a2021-01-01 18:26:26 -080098 pub generics: Lifetimes,
David Tolnay09462ac2020-03-20 14:58:41 -070099 pub brace_token: Brace,
David Tolnay7db73692019-10-20 14:51:12 -0400100 pub fields: Vec<Var>,
101}
102
Joel Galensonc03402a2020-04-23 17:31:09 -0700103pub struct Enum {
104 pub doc: Doc,
David Tolnayfbc46692020-11-27 11:33:29 -0800105 pub derives: Vec<Derive>,
David Tolnaycba3d442020-12-30 16:39:21 -0800106 pub attrs: OtherAttrs,
David Tolnay8fbaea82020-12-30 17:15:46 -0800107 pub visibility: Token![pub],
Joel Galensonc03402a2020-04-23 17:31:09 -0700108 pub enum_token: Token![enum],
David Tolnay17a934c2020-11-02 00:40:04 -0800109 pub name: Pair,
David Tolnay038b29a2021-01-01 18:26:26 -0800110 pub generics: Lifetimes,
Joel Galensonc03402a2020-04-23 17:31:09 -0700111 pub brace_token: Brace,
112 pub variants: Vec<Variant>,
David Tolnaye2e303f2020-05-10 20:52:00 -0700113 pub repr: Atom,
David Tolnay9a69d8a2020-11-16 09:16:41 -0800114 pub repr_type: Type,
David Tolnay58eee392020-11-20 20:37:58 -0800115 pub explicit_repr: bool,
Joel Galensonc03402a2020-04-23 17:31:09 -0700116}
117
David Tolnay7db73692019-10-20 14:51:12 -0400118pub struct ExternFn {
David Tolnay6cde49f2020-03-16 12:25:45 -0700119 pub lang: Lang,
David Tolnay7db73692019-10-20 14:51:12 -0400120 pub doc: Doc,
David Tolnaycba3d442020-12-30 16:39:21 -0800121 pub attrs: OtherAttrs,
David Tolnay49f9df72020-12-30 18:02:38 -0800122 pub visibility: Token![pub],
David Tolnay17a934c2020-11-02 00:40:04 -0800123 pub name: Pair,
David Tolnay16448732020-03-18 12:39:36 -0700124 pub sig: Signature,
125 pub semi_token: Token![;],
David Tolnay556738d2020-11-15 13:58:44 -0800126 pub trusted: bool,
David Tolnay16448732020-03-18 12:39:36 -0700127}
128
David Tolnay99383812020-05-04 02:34:33 -0700129pub struct TypeAlias {
Bryan Henry890083d2020-09-13 10:34:31 -0700130 pub doc: Doc,
David Tolnayb7eb65e2020-11-27 20:00:53 -0800131 pub derives: Vec<Derive>,
David Tolnaycba3d442020-12-30 16:39:21 -0800132 pub attrs: OtherAttrs,
David Tolnay291c9352020-12-30 17:31:19 -0800133 pub visibility: Token![pub],
David Tolnay99383812020-05-04 02:34:33 -0700134 pub type_token: Token![type],
David Tolnay17a934c2020-11-02 00:40:04 -0800135 pub name: Pair,
David Tolnayee312322020-12-28 22:04:10 -0800136 pub generics: Lifetimes,
David Tolnay99383812020-05-04 02:34:33 -0700137 pub eq_token: Token![=],
138 pub ty: RustType,
139 pub semi_token: Token![;],
140}
141
David Tolnay7e69f892020-10-03 22:20:22 -0700142pub struct Impl {
143 pub impl_token: Token![impl],
David Tolnayc4179772021-01-01 19:39:35 -0800144 pub impl_generics: Lifetimes,
David Tolnay028d3d22020-11-29 18:09:52 -0800145 pub negative: bool,
David Tolnay7e69f892020-10-03 22:20:22 -0700146 pub ty: Type,
David Tolnayc4179772021-01-01 19:39:35 -0800147 pub ty_generics: Lifetimes,
David Tolnay7e69f892020-10-03 22:20:22 -0700148 pub brace_token: Brace,
David Tolnay028d3d22020-11-29 18:09:52 -0800149 pub negative_token: Option<Token![!]>,
David Tolnay7e69f892020-10-03 22:20:22 -0700150}
151
David Tolnayc4179772021-01-01 19:39:35 -0800152#[derive(Clone, Default)]
David Tolnayee312322020-12-28 22:04:10 -0800153pub struct Lifetimes {
154 pub lt_token: Option<Token![<]>,
155 pub lifetimes: Punctuated<Lifetime, Token![,]>,
156 pub gt_token: Option<Token![>]>,
157}
158
David Tolnay16448732020-03-18 12:39:36 -0700159pub struct Signature {
David Tolnaybdb576c2020-09-06 23:45:55 -0700160 pub unsafety: Option<Token![unsafe]>,
David Tolnay16448732020-03-18 12:39:36 -0700161 pub fn_token: Token![fn],
David Tolnay9938b642020-11-15 18:11:40 -0800162 pub generics: Generics,
David Tolnay7db73692019-10-20 14:51:12 -0400163 pub receiver: Option<Receiver>,
David Tolnaye3a48152020-04-08 19:38:05 -0700164 pub args: Punctuated<Var, Token![,]>,
David Tolnay7db73692019-10-20 14:51:12 -0400165 pub ret: Option<Type>,
David Tolnay59b7ede2020-03-16 00:30:23 -0700166 pub throws: bool,
David Tolnaye3a48152020-04-08 19:38:05 -0700167 pub paren_token: Paren,
168 pub throws_tokens: Option<(kw::Result, Token![<], Token![>])>,
David Tolnay7db73692019-10-20 14:51:12 -0400169}
170
171pub struct Var {
David Tolnayb4a05c32020-12-30 15:37:01 -0800172 pub doc: Doc,
David Tolnaycba3d442020-12-30 16:39:21 -0800173 pub attrs: OtherAttrs,
David Tolnay89902442020-12-30 15:10:40 -0800174 pub visibility: Token![pub],
David Tolnay84ed6ad2021-01-01 15:30:14 -0800175 pub name: Pair,
David Tolnay7db73692019-10-20 14:51:12 -0400176 pub ty: Type,
177}
178
179pub struct Receiver {
David Tolnay9c76c392020-11-15 16:07:08 -0800180 pub pinned: bool,
David Tolnayfb6e3862020-04-20 01:33:23 -0700181 pub ampersand: Token![&],
David Tolnay0bd50fa2020-04-22 15:31:33 -0700182 pub lifetime: Option<Lifetime>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800183 pub mutable: bool,
David Tolnay05e11cc2020-04-20 02:13:56 -0700184 pub var: Token![self],
David Tolnay77a5e752021-01-01 14:15:18 -0800185 pub ty: NamedType,
David Tolnay62d360c2020-04-22 16:26:21 -0700186 pub shorthand: bool,
David Tolnay9c76c392020-11-15 16:07:08 -0800187 pub pin_tokens: Option<(kw::Pin, Token![<], Token![>])>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800188 pub mutability: Option<Token![mut]>,
David Tolnay7db73692019-10-20 14:51:12 -0400189}
190
Joel Galensonc03402a2020-04-23 17:31:09 -0700191pub struct Variant {
David Tolnay4486f722020-12-30 00:01:26 -0800192 pub doc: Doc,
David Tolnaycba3d442020-12-30 16:39:21 -0800193 pub attrs: OtherAttrs,
David Tolnaye6f62142020-12-21 16:00:41 -0800194 pub name: Pair,
David Tolnay17e137f2020-05-08 15:55:28 -0700195 pub discriminant: Discriminant,
David Tolnay2b8bf6d2020-05-10 17:37:16 -0700196 pub expr: Option<Expr>,
Joel Galensonc03402a2020-04-23 17:31:09 -0700197}
198
David Tolnay7db73692019-10-20 14:51:12 -0400199pub enum Type {
David Tolnay77a5e752021-01-01 14:15:18 -0800200 Ident(NamedType),
David Tolnay7db73692019-10-20 14:51:12 -0400201 RustBox(Box<Ty1>),
Myron Ahneba35cf2020-02-05 19:41:51 +0700202 RustVec(Box<Ty1>),
David Tolnay7db73692019-10-20 14:51:12 -0400203 UniquePtr(Box<Ty1>),
David Tolnayb3b24a12020-12-01 15:27:43 -0800204 SharedPtr(Box<Ty1>),
David Tolnay215e77f2020-12-28 17:09:48 -0800205 WeakPtr(Box<Ty1>),
David Tolnay7db73692019-10-20 14:51:12 -0400206 Ref(Box<Ref>),
207 Str(Box<Ref>),
David Tolnay4377a9e2020-04-24 15:20:26 -0700208 CxxVector(Box<Ty1>),
David Tolnay417305a2020-03-18 13:54:00 -0700209 Fn(Box<Signature>),
David Tolnay2fb14e92020-03-15 23:11:38 -0700210 Void(Span),
David Tolnay73b72642020-11-25 17:44:05 -0800211 SliceRef(Box<SliceRef>),
Xiangpeng Hao78762352020-11-12 10:24:18 +0800212 Array(Box<Array>),
David Tolnay7db73692019-10-20 14:51:12 -0400213}
214
215pub struct Ty1 {
David Tolnayda71ef62020-11-02 00:36:00 -0800216 pub name: Ident,
David Tolnay7db73692019-10-20 14:51:12 -0400217 pub langle: Token![<],
218 pub inner: Type,
219 pub rangle: Token![>],
220}
221
222pub struct Ref {
David Tolnayb27f7872020-11-15 15:07:04 -0800223 pub pinned: bool,
David Tolnay7db73692019-10-20 14:51:12 -0400224 pub ampersand: Token![&],
David Tolnay0bd50fa2020-04-22 15:31:33 -0700225 pub lifetime: Option<Lifetime>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800226 pub mutable: bool,
David Tolnay7db73692019-10-20 14:51:12 -0400227 pub inner: Type,
David Tolnayb27f7872020-11-15 15:07:04 -0800228 pub pin_tokens: Option<(kw::Pin, Token![<], Token![>])>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800229 pub mutability: Option<Token![mut]>,
David Tolnay7db73692019-10-20 14:51:12 -0400230}
231
David Tolnaye0dca7b2020-11-25 17:18:57 -0800232pub struct SliceRef {
233 pub ampersand: Token![&],
234 pub lifetime: Option<Lifetime>,
235 pub mutable: bool,
Adrian Taylorf5dd5522020-04-13 16:50:14 -0700236 pub bracket: Bracket,
237 pub inner: Type,
David Tolnaye0dca7b2020-11-25 17:18:57 -0800238 pub mutability: Option<Token![mut]>,
Adrian Taylorf5dd5522020-04-13 16:50:14 -0700239}
240
Xiangpeng Hao78762352020-11-12 10:24:18 +0800241pub struct Array {
242 pub bracket: Bracket,
243 pub inner: Type,
244 pub semi_token: Token![;],
245 pub len: usize,
David Tolnayc351dc42020-11-24 20:45:13 -0800246 pub len_token: LitInt,
Xiangpeng Hao78762352020-11-12 10:24:18 +0800247}
248
David Tolnay7db73692019-10-20 14:51:12 -0400249#[derive(Copy, Clone, PartialEq)]
David Tolnay6cde49f2020-03-16 12:25:45 -0700250pub enum Lang {
251 Cxx,
252 Rust,
253}
Adrian Taylorc8713432020-10-21 18:20:55 -0700254
David Tolnaybe7e30e2020-10-30 21:21:23 -0700255// An association of a defined Rust name with a fully resolved, namespace
256// qualified C++ name.
David Tolnay9071c262020-10-30 21:18:54 -0700257#[derive(Clone)]
258pub struct Pair {
David Tolnayd7a3a182020-11-01 20:45:14 -0800259 pub namespace: Namespace,
David Tolnayed6ba4a2021-01-01 14:59:40 -0800260 pub cxx: ForeignName,
David Tolnay8faec772020-11-02 00:18:19 -0800261 pub rust: Ident,
David Tolnay9071c262020-10-30 21:18:54 -0700262}
263
David Tolnayabff2d52020-10-30 21:20:07 -0700264// Wrapper for a type which needs to be resolved before it can be printed in
265// C++.
David Tolnay4a79b7f2020-12-30 19:48:42 -0800266#[derive(PartialEq, Eq, Hash)]
David Tolnay77a5e752021-01-01 14:15:18 -0800267pub struct NamedType {
David Tolnay50de2c42020-10-30 21:16:03 -0700268 pub rust: Ident,
David Tolnay4a79b7f2020-12-30 19:48:42 -0800269 pub generics: Lifetimes,
Adrian Taylorc8713432020-10-21 18:20:55 -0700270}