| David Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 1 | use crate::syntax::namespace::Namespace; |
| David Tolnay | ed6ba4a | 2021-01-01 14:59:40 -0800 | [diff] [blame] | 2 | use crate::syntax::{ForeignName, Pair}; |
| David Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 3 | use proc_macro2::{Ident, TokenStream}; |
| 4 | use quote::ToTokens; |
| 5 | use std::fmt::{self, Display, Write}; |
| 6 | |
| 7 | // A mangled symbol consisting of segments separated by '$'. |
| David Tolnay | 0f0162f | 2020-11-16 23:43:37 -0800 | [diff] [blame] | 8 | // For example: cxxbridge1$string$new |
| David Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 9 | pub struct Symbol(String); |
| 10 | |
| 11 | impl Display for Symbol { |
| 12 | fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result { |
| 13 | Display::fmt(&self.0, formatter) |
| 14 | } |
| 15 | } |
| 16 | |
| 17 | impl ToTokens for Symbol { |
| 18 | fn to_tokens(&self, tokens: &mut TokenStream) { |
| 19 | ToTokens::to_tokens(&self.0, tokens); |
| 20 | } |
| 21 | } |
| 22 | |
| 23 | impl 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 Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 32 | |
| David Tolnay | ed6ba4a | 2021-01-01 14:59:40 -0800 | [diff] [blame] | 33 | pub fn from_idents<'a>(it: impl Iterator<Item = &'a dyn Segment>) -> Self { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 34 | 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 Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 47 | } |
| 48 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 49 | pub trait Segment { |
| 50 | fn write(&self, symbol: &mut Symbol); |
| 51 | } |
| 52 | |
| 53 | impl Segment for str { |
| David Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 54 | fn write(&self, symbol: &mut Symbol) { |
| 55 | symbol.push(&self); |
| 56 | } |
| 57 | } |
| David Tolnay | ed6ba4a | 2021-01-01 14:59:40 -0800 | [diff] [blame] | 58 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 59 | impl Segment for usize { |
| 60 | fn write(&self, symbol: &mut Symbol) { |
| 61 | symbol.push(&self); |
| 62 | } |
| 63 | } |
| David Tolnay | ed6ba4a | 2021-01-01 14:59:40 -0800 | [diff] [blame] | 64 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 65 | impl Segment for Ident { |
| 66 | fn write(&self, symbol: &mut Symbol) { |
| 67 | symbol.push(&self); |
| 68 | } |
| 69 | } |
| David Tolnay | ed6ba4a | 2021-01-01 14:59:40 -0800 | [diff] [blame] | 70 | |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 71 | impl Segment for Symbol { |
| 72 | fn write(&self, symbol: &mut Symbol) { |
| 73 | symbol.push(&self); |
| 74 | } |
| 75 | } |
| David Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 76 | |
| 77 | impl Segment for Namespace { |
| 78 | fn write(&self, symbol: &mut Symbol) { |
| 79 | for segment in self { |
| 80 | symbol.push(segment); |
| 81 | } |
| 82 | } |
| 83 | } |
| 84 | |
| David Tolnay | 8faec77 | 2020-11-02 00:18:19 -0800 | [diff] [blame] | 85 | impl Segment for Pair { |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 86 | fn write(&self, symbol: &mut Symbol) { |
| David Tolnay | d7a3a18 | 2020-11-01 20:45:14 -0800 | [diff] [blame] | 87 | self.namespace.write(symbol); |
| David Tolnay | 8faec77 | 2020-11-02 00:18:19 -0800 | [diff] [blame] | 88 | self.cxx.write(symbol); |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 89 | } |
| 90 | } |
| 91 | |
| David Tolnay | ed6ba4a | 2021-01-01 14:59:40 -0800 | [diff] [blame] | 92 | impl 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 Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 100 | impl<T> Segment for &'_ T |
| 101 | where |
| Adrian Taylor | c871343 | 2020-10-21 18:20:55 -0700 | [diff] [blame] | 102 | T: ?Sized + Segment + Display, |
| David Tolnay | 5ea922a | 2020-04-19 21:58:06 -0700 | [diff] [blame] | 103 | { |
| 104 | fn write(&self, symbol: &mut Symbol) { |
| 105 | (**self).write(symbol); |
| 106 | } |
| 107 | } |
| 108 | |
| 109 | pub 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 | } |