7 // A mangled symbol consisting of segments separated by '$'.
9 pub struct Symbol(String);  struct
11 impl Display for Symbol {  implementation
17 impl ToTokens for Symbol {  implementation
23 impl Symbol {  implementation
34         let mut symbol = Symbol(String::new());  in from_idents()  localVariable
36             segment.write(&mut symbol);  in from_idents()
38         assert!(!symbol.0.is_empty());  in from_idents()
39         symbol  in from_idents()
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 {  in prefix_with()  argument
45         Symbol(format!("{}{}", prefix, self.to_string()))  in prefix_with()
50     fn write(&self, symbol: &mut Symbol);  in write()  argument
54     fn write(&self, symbol: &mut Symbol) {  in write()  argument
55         symbol.push(&self);  in write()
60     fn write(&self, symbol: &mut Symbol) {  in write()  argument
61         symbol.push(&self);  in write()
66     fn write(&self, symbol: &mut Symbol) {  in write()  argument
67         symbol.push(&self);  in write()
71 impl Segment for Symbol {  implementation
72     fn write(&self, symbol: &mut Symbol) {  in write()  argument
73         symbol.push(&self);  in write()
78     fn write(&self, symbol: &mut Symbol) {  in write()  argument
80             symbol.push(segment);  in write()
86     fn write(&self, symbol: &mut Symbol) {  in write()  argument
87         self.namespace.write(symbol);  in write()
88         self.cxx.write(symbol);  in write()
93     fn write(&self, symbol: &mut Symbol) {  in write()  argument
96         self.to_string().write(symbol);  in write()
104     fn write(&self, symbol: &mut Symbol) {  in write()  argument
105         (**self).write(symbol);  in write()
109 pub fn join(segments: &[&dyn Segment]) -> Symbol {  in join()  argument
110     let mut symbol = Symbol(String::new());  in join()  localVariable
112         segment.write(&mut symbol);  in join()
114     assert!(!symbol.0.is_empty());  in join()
115     symbol  in join()