blob: a13a4f3cfca15812885e0f02a51c42e80f154346 [file] [log] [blame]
David Tolnay5ea922a2020-04-19 21:58:06 -07001use crate::syntax::namespace::Namespace;
David Tolnayed6ba4a2021-01-01 14:59:40 -08002use crate::syntax::{ForeignName, Pair};
David Tolnay5ea922a2020-04-19 21:58:06 -07003use proc_macro2::{Ident, TokenStream};
4use quote::ToTokens;
5use std::fmt::{self, Display, Write};
6
7// A mangled symbol consisting of segments separated by '$'.
David Tolnay0f0162f2020-11-16 23:43:37 -08008// For example: cxxbridge1$string$new
David Tolnay5ea922a2020-04-19 21:58:06 -07009pub struct Symbol(String);
10
11impl Display for Symbol {
12 fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
13 Display::fmt(&self.0, formatter)
14 }
15}
16
17impl ToTokens for Symbol {
18 fn to_tokens(&self, tokens: &mut TokenStream) {
19 ToTokens::to_tokens(&self.0, tokens);
20 }
21}
22
23impl Symbol {
24 fn push(&mut self, segment: &dyn Display) {
25 let len_before = self.0.len();
26 if !self.0.is_empty() {
27 self.0.push('$');
28 }
29 self.0.write_fmt(format_args!("{}", segment)).unwrap();
30 assert!(self.0.len() > len_before);
31 }
Adrian Taylorc8713432020-10-21 18:20:55 -070032
David Tolnayed6ba4a2021-01-01 14:59:40 -080033 pub fn from_idents<'a>(it: impl Iterator<Item = &'a dyn Segment>) -> Self {
Adrian Taylorc8713432020-10-21 18:20:55 -070034 let mut symbol = Symbol(String::new());
35 for segment in it {
36 segment.write(&mut symbol);
37 }
38 assert!(!symbol.0.is_empty());
39 symbol
40 }
41
42 /// For example, for taking a symbol and then making a new symbol
43 /// for a vec of that symbol.
44 pub fn prefix_with(&self, prefix: &str) -> Symbol {
45 Symbol(format!("{}{}", prefix, self.to_string()))
46 }
David Tolnay5ea922a2020-04-19 21:58:06 -070047}
48
Adrian Taylorc8713432020-10-21 18:20:55 -070049pub trait Segment {
50 fn write(&self, symbol: &mut Symbol);
51}
52
53impl Segment for str {
David Tolnay5ea922a2020-04-19 21:58:06 -070054 fn write(&self, symbol: &mut Symbol) {
55 symbol.push(&self);
56 }
57}
David Tolnayed6ba4a2021-01-01 14:59:40 -080058
Adrian Taylorc8713432020-10-21 18:20:55 -070059impl Segment for usize {
60 fn write(&self, symbol: &mut Symbol) {
61 symbol.push(&self);
62 }
63}
David Tolnayed6ba4a2021-01-01 14:59:40 -080064
Adrian Taylorc8713432020-10-21 18:20:55 -070065impl Segment for Ident {
66 fn write(&self, symbol: &mut Symbol) {
67 symbol.push(&self);
68 }
69}
David Tolnayed6ba4a2021-01-01 14:59:40 -080070
Adrian Taylorc8713432020-10-21 18:20:55 -070071impl Segment for Symbol {
72 fn write(&self, symbol: &mut Symbol) {
73 symbol.push(&self);
74 }
75}
David Tolnay5ea922a2020-04-19 21:58:06 -070076
77impl Segment for Namespace {
78 fn write(&self, symbol: &mut Symbol) {
79 for segment in self {
80 symbol.push(segment);
81 }
82 }
83}
84
David Tolnay8faec772020-11-02 00:18:19 -080085impl Segment for Pair {
Adrian Taylorc8713432020-10-21 18:20:55 -070086 fn write(&self, symbol: &mut Symbol) {
David Tolnayd7a3a182020-11-01 20:45:14 -080087 self.namespace.write(symbol);
David Tolnay8faec772020-11-02 00:18:19 -080088 self.cxx.write(symbol);
Adrian Taylorc8713432020-10-21 18:20:55 -070089 }
90}
91
David Tolnayed6ba4a2021-01-01 14:59:40 -080092impl Segment for ForeignName {
93 fn write(&self, symbol: &mut Symbol) {
94 // TODO: support C++ names containing whitespace (`unsigned int`) or
95 // non-alphanumeric characters (`operator++`).
96 self.to_string().write(symbol);
97 }
98}
99
David Tolnay5ea922a2020-04-19 21:58:06 -0700100impl<T> Segment for &'_ T
101where
Adrian Taylorc8713432020-10-21 18:20:55 -0700102 T: ?Sized + Segment + Display,
David Tolnay5ea922a2020-04-19 21:58:06 -0700103{
104 fn write(&self, symbol: &mut Symbol) {
105 (**self).write(symbol);
106 }
107}
108
109pub fn join(segments: &[&dyn Segment]) -> Symbol {
110 let mut symbol = Symbol(String::new());
111 for segment in segments {
112 segment.write(&mut symbol);
113 }
114 assert!(!symbol.0.is_empty());
115 symbol
116}