blob: e8288a94754c6cc125b678206290706e33eab32a [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;
4mod attrs;
5pub 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 Tolnay3caa50a2020-04-19 21:25:34 -070014pub mod mangle;
David Tolnay60e7aa62020-11-01 12:34:51 -080015mod names;
David Tolnay08419302020-04-19 20:38:20 -070016pub mod namespace;
David Tolnay7db73692019-10-20 14:51:12 -040017mod parse;
David Tolnaya8d94a12020-09-06 23:28:18 -070018pub mod qualified;
David Tolnaydf344a82020-05-03 23:23:18 -070019pub mod report;
David Tolnay7db73692019-10-20 14:51:12 -040020pub mod set;
David Tolnay891061b2020-04-19 22:42:33 -070021pub mod symbol;
David Tolnay7db73692019-10-20 14:51:12 -040022mod tokens;
David Tolnay942cffd2020-11-03 18:27:10 -080023mod toposort;
David Tolnay7db73692019-10-20 14:51:12 -040024pub mod types;
25
David Tolnay17e137f2020-05-08 15:55:28 -070026use self::discriminant::Discriminant;
Adrian Taylorc8713432020-10-21 18:20:55 -070027use self::namespace::Namespace;
David Tolnaye3a48152020-04-08 19:38:05 -070028use self::parse::kw;
Adrian Taylorc8713432020-10-21 18:20:55 -070029use self::symbol::Symbol;
David Tolnaye3a48152020-04-08 19:38:05 -070030use proc_macro2::{Ident, Span};
31use syn::punctuated::Punctuated;
Adrian Taylorf5dd5522020-04-13 16:50:14 -070032use syn::token::{Brace, Bracket, Paren};
David Tolnayc351dc42020-11-24 20:45:13 -080033use syn::{Expr, Generics, Lifetime, LitInt, Token, Type as RustType};
David Tolnay7db73692019-10-20 14:51:12 -040034
35pub use self::atom::Atom;
David Tolnayb247df12020-11-27 12:06:12 -080036pub use self::derive::{Derive, Trait};
David Tolnay7db73692019-10-20 14:51:12 -040037pub use self::doc::Doc;
38pub use self::parse::parse_items;
39pub use self::types::Types;
40
41pub enum Api {
David Tolnayb0cd3272020-10-27 21:32:54 -070042 Include(Include),
David Tolnay7db73692019-10-20 14:51:12 -040043 Struct(Struct),
Joel Galensonc03402a2020-04-23 17:31:09 -070044 Enum(Enum),
David Tolnay7db73692019-10-20 14:51:12 -040045 CxxType(ExternType),
46 CxxFunction(ExternFn),
47 RustType(ExternType),
48 RustFunction(ExternFn),
David Tolnay99383812020-05-04 02:34:33 -070049 TypeAlias(TypeAlias),
David Tolnay7e69f892020-10-03 22:20:22 -070050 Impl(Impl),
David Tolnay7db73692019-10-20 14:51:12 -040051}
52
David Tolnayb0cd3272020-10-27 21:32:54 -070053pub struct Include {
54 pub path: String,
55 pub kind: IncludeKind,
56 pub begin_span: Span,
57 pub end_span: Span,
58}
59
David Tolnay700cd0c2020-10-28 12:40:27 -070060/// Whether to emit `#include "path"` or `#include <path>`.
61#[derive(Copy, Clone, PartialEq, Debug)]
David Tolnayb0cd3272020-10-27 21:32:54 -070062pub enum IncludeKind {
David Tolnay700cd0c2020-10-28 12:40:27 -070063 /// `#include "quoted/path/to"`
64 Quoted,
65 /// `#include <bracketed/path/to>`
66 Bracketed,
David Tolnayb0cd3272020-10-27 21:32:54 -070067}
68
David Tolnay7db73692019-10-20 14:51:12 -040069pub struct ExternType {
David Tolnay16e26202020-11-27 19:28:37 -080070 pub lang: Lang,
David Tolnay7db73692019-10-20 14:51:12 -040071 pub doc: Doc,
David Tolnay16e26202020-11-27 19:28:37 -080072 pub derives: Vec<Derive>,
David Tolnay7db73692019-10-20 14:51:12 -040073 pub type_token: Token![type],
David Tolnay17a934c2020-11-02 00:40:04 -080074 pub name: Pair,
David Tolnayc8361022020-08-25 21:57:53 -070075 pub semi_token: Token![;],
David Tolnay00f236a2020-08-29 19:07:18 -070076 pub trusted: bool,
David Tolnay7db73692019-10-20 14:51:12 -040077}
78
79pub struct Struct {
80 pub doc: Doc,
David Tolnaye86b9cf2020-05-10 14:24:29 -070081 pub derives: Vec<Derive>,
David Tolnay7db73692019-10-20 14:51:12 -040082 pub struct_token: Token![struct],
David Tolnay17a934c2020-11-02 00:40:04 -080083 pub name: Pair,
David Tolnay09462ac2020-03-20 14:58:41 -070084 pub brace_token: Brace,
David Tolnay7db73692019-10-20 14:51:12 -040085 pub fields: Vec<Var>,
86}
87
Joel Galensonc03402a2020-04-23 17:31:09 -070088pub struct Enum {
89 pub doc: Doc,
David Tolnayfbc46692020-11-27 11:33:29 -080090 pub derives: Vec<Derive>,
Joel Galensonc03402a2020-04-23 17:31:09 -070091 pub enum_token: Token![enum],
David Tolnay17a934c2020-11-02 00:40:04 -080092 pub name: Pair,
Joel Galensonc03402a2020-04-23 17:31:09 -070093 pub brace_token: Brace,
94 pub variants: Vec<Variant>,
David Tolnaye2e303f2020-05-10 20:52:00 -070095 pub repr: Atom,
David Tolnay9a69d8a2020-11-16 09:16:41 -080096 pub repr_type: Type,
David Tolnay58eee392020-11-20 20:37:58 -080097 pub explicit_repr: bool,
Joel Galensonc03402a2020-04-23 17:31:09 -070098}
99
David Tolnay7db73692019-10-20 14:51:12 -0400100pub struct ExternFn {
David Tolnay6cde49f2020-03-16 12:25:45 -0700101 pub lang: Lang,
David Tolnay7db73692019-10-20 14:51:12 -0400102 pub doc: Doc,
David Tolnay17a934c2020-11-02 00:40:04 -0800103 pub name: Pair,
David Tolnay16448732020-03-18 12:39:36 -0700104 pub sig: Signature,
105 pub semi_token: Token![;],
David Tolnay556738d2020-11-15 13:58:44 -0800106 pub trusted: bool,
David Tolnay16448732020-03-18 12:39:36 -0700107}
108
David Tolnay99383812020-05-04 02:34:33 -0700109pub struct TypeAlias {
Bryan Henry890083d2020-09-13 10:34:31 -0700110 pub doc: Doc,
David Tolnay99383812020-05-04 02:34:33 -0700111 pub type_token: Token![type],
David Tolnay17a934c2020-11-02 00:40:04 -0800112 pub name: Pair,
David Tolnay99383812020-05-04 02:34:33 -0700113 pub eq_token: Token![=],
114 pub ty: RustType,
115 pub semi_token: Token![;],
116}
117
David Tolnay7e69f892020-10-03 22:20:22 -0700118pub struct Impl {
119 pub impl_token: Token![impl],
120 pub ty: Type,
121 pub brace_token: Brace,
122}
123
David Tolnay16448732020-03-18 12:39:36 -0700124pub struct Signature {
David Tolnaybdb576c2020-09-06 23:45:55 -0700125 pub unsafety: Option<Token![unsafe]>,
David Tolnay16448732020-03-18 12:39:36 -0700126 pub fn_token: Token![fn],
David Tolnay9938b642020-11-15 18:11:40 -0800127 pub generics: Generics,
David Tolnay7db73692019-10-20 14:51:12 -0400128 pub receiver: Option<Receiver>,
David Tolnaye3a48152020-04-08 19:38:05 -0700129 pub args: Punctuated<Var, Token![,]>,
David Tolnay7db73692019-10-20 14:51:12 -0400130 pub ret: Option<Type>,
David Tolnay59b7ede2020-03-16 00:30:23 -0700131 pub throws: bool,
David Tolnaye3a48152020-04-08 19:38:05 -0700132 pub paren_token: Paren,
133 pub throws_tokens: Option<(kw::Result, Token![<], Token![>])>,
David Tolnay7db73692019-10-20 14:51:12 -0400134}
135
David Tolnay417305a2020-03-18 13:54:00 -0700136#[derive(Eq, PartialEq, Hash)]
David Tolnay7db73692019-10-20 14:51:12 -0400137pub struct Var {
David Tolnay50de2c42020-10-30 21:16:03 -0700138 pub ident: Ident,
David Tolnay7db73692019-10-20 14:51:12 -0400139 pub ty: Type,
140}
141
142pub struct Receiver {
David Tolnay9c76c392020-11-15 16:07:08 -0800143 pub pinned: bool,
David Tolnayfb6e3862020-04-20 01:33:23 -0700144 pub ampersand: Token![&],
David Tolnay0bd50fa2020-04-22 15:31:33 -0700145 pub lifetime: Option<Lifetime>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800146 pub mutable: bool,
David Tolnay05e11cc2020-04-20 02:13:56 -0700147 pub var: Token![self],
Adrian Taylorc8713432020-10-21 18:20:55 -0700148 pub ty: ResolvableName,
David Tolnay62d360c2020-04-22 16:26:21 -0700149 pub shorthand: bool,
David Tolnay9c76c392020-11-15 16:07:08 -0800150 pub pin_tokens: Option<(kw::Pin, Token![<], Token![>])>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800151 pub mutability: Option<Token![mut]>,
David Tolnay7db73692019-10-20 14:51:12 -0400152}
153
Joel Galensonc03402a2020-04-23 17:31:09 -0700154pub struct Variant {
David Tolnay50de2c42020-10-30 21:16:03 -0700155 pub ident: Ident,
David Tolnay17e137f2020-05-08 15:55:28 -0700156 pub discriminant: Discriminant,
David Tolnay2b8bf6d2020-05-10 17:37:16 -0700157 pub expr: Option<Expr>,
Joel Galensonc03402a2020-04-23 17:31:09 -0700158}
159
David Tolnay7db73692019-10-20 14:51:12 -0400160pub enum Type {
Adrian Taylorc8713432020-10-21 18:20:55 -0700161 Ident(ResolvableName),
David Tolnay7db73692019-10-20 14:51:12 -0400162 RustBox(Box<Ty1>),
Myron Ahneba35cf2020-02-05 19:41:51 +0700163 RustVec(Box<Ty1>),
David Tolnay7db73692019-10-20 14:51:12 -0400164 UniquePtr(Box<Ty1>),
165 Ref(Box<Ref>),
166 Str(Box<Ref>),
David Tolnay4377a9e2020-04-24 15:20:26 -0700167 CxxVector(Box<Ty1>),
David Tolnay417305a2020-03-18 13:54:00 -0700168 Fn(Box<Signature>),
David Tolnay2fb14e92020-03-15 23:11:38 -0700169 Void(Span),
David Tolnay73b72642020-11-25 17:44:05 -0800170 SliceRef(Box<SliceRef>),
Xiangpeng Hao78762352020-11-12 10:24:18 +0800171 Array(Box<Array>),
David Tolnay7db73692019-10-20 14:51:12 -0400172}
173
174pub struct Ty1 {
David Tolnayda71ef62020-11-02 00:36:00 -0800175 pub name: Ident,
David Tolnay7db73692019-10-20 14:51:12 -0400176 pub langle: Token![<],
177 pub inner: Type,
178 pub rangle: Token![>],
179}
180
181pub struct Ref {
David Tolnayb27f7872020-11-15 15:07:04 -0800182 pub pinned: bool,
David Tolnay7db73692019-10-20 14:51:12 -0400183 pub ampersand: Token![&],
David Tolnay0bd50fa2020-04-22 15:31:33 -0700184 pub lifetime: Option<Lifetime>,
David Tolnay9c4ac2e2020-11-15 21:14:03 -0800185 pub mutable: bool,
David Tolnay7db73692019-10-20 14:51:12 -0400186 pub inner: Type,
David Tolnayb27f7872020-11-15 15:07:04 -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
David Tolnaye0dca7b2020-11-25 17:18:57 -0800191pub struct SliceRef {
192 pub ampersand: Token![&],
193 pub lifetime: Option<Lifetime>,
194 pub mutable: bool,
Adrian Taylorf5dd5522020-04-13 16:50:14 -0700195 pub bracket: Bracket,
196 pub inner: Type,
David Tolnaye0dca7b2020-11-25 17:18:57 -0800197 pub mutability: Option<Token![mut]>,
Adrian Taylorf5dd5522020-04-13 16:50:14 -0700198}
199
Xiangpeng Hao78762352020-11-12 10:24:18 +0800200pub struct Array {
201 pub bracket: Bracket,
202 pub inner: Type,
203 pub semi_token: Token![;],
204 pub len: usize,
David Tolnayc351dc42020-11-24 20:45:13 -0800205 pub len_token: LitInt,
Xiangpeng Hao78762352020-11-12 10:24:18 +0800206}
207
David Tolnay7db73692019-10-20 14:51:12 -0400208#[derive(Copy, Clone, PartialEq)]
David Tolnay6cde49f2020-03-16 12:25:45 -0700209pub enum Lang {
210 Cxx,
211 Rust,
212}
Adrian Taylorc8713432020-10-21 18:20:55 -0700213
David Tolnaybe7e30e2020-10-30 21:21:23 -0700214// An association of a defined Rust name with a fully resolved, namespace
215// qualified C++ name.
David Tolnay9071c262020-10-30 21:18:54 -0700216#[derive(Clone)]
217pub struct Pair {
David Tolnayd7a3a182020-11-01 20:45:14 -0800218 pub namespace: Namespace,
David Tolnay8faec772020-11-02 00:18:19 -0800219 pub cxx: Ident,
220 pub rust: Ident,
David Tolnay9071c262020-10-30 21:18:54 -0700221}
222
David Tolnayabff2d52020-10-30 21:20:07 -0700223// Wrapper for a type which needs to be resolved before it can be printed in
224// C++.
David Tolnay59815422020-10-30 21:24:05 -0700225#[derive(Clone, PartialEq, Hash)]
Adrian Taylorc8713432020-10-21 18:20:55 -0700226pub struct ResolvableName {
David Tolnay50de2c42020-10-30 21:16:03 -0700227 pub rust: Ident,
Adrian Taylorc8713432020-10-21 18:20:55 -0700228}