David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 1 | extern crate proc_macro2; |
| 2 | |
David Tolnay | a13d142 | 2018-03-31 21:27:48 +0200 | [diff] [blame] | 3 | use std::str::{self, FromStr}; |
Alex Crichton | 8c03033 | 2018-01-16 08:07:36 -0800 | [diff] [blame] | 4 | |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 5 | use proc_macro2::{Literal, Span, Term, TokenStream, TokenTree}; |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 6 | |
| 7 | #[test] |
| 8 | fn symbols() { |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 9 | assert_eq!(Term::new("foo", Span::call_site()).as_str(), "foo"); |
| 10 | assert_eq!(Term::new("bar", Span::call_site()).as_str(), "bar"); |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 11 | } |
| 12 | |
| 13 | #[test] |
| 14 | fn literals() { |
Alex Crichton | 1a7f762 | 2017-07-05 17:47:15 -0700 | [diff] [blame] | 15 | assert_eq!(Literal::string("foo").to_string(), "\"foo\""); |
| 16 | assert_eq!(Literal::string("\"").to_string(), "\"\\\"\""); |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 17 | assert_eq!(Literal::f32_unsuffixed(10.0).to_string(), "10.0"); |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 18 | } |
| 19 | |
| 20 | #[test] |
| 21 | fn roundtrip() { |
| 22 | fn roundtrip(p: &str) { |
| 23 | println!("parse: {}", p); |
| 24 | let s = p.parse::<TokenStream>().unwrap().to_string(); |
| 25 | println!("first: {}", s); |
| 26 | let s2 = s.to_string().parse::<TokenStream>().unwrap().to_string(); |
| 27 | assert_eq!(s, s2); |
| 28 | } |
| 29 | roundtrip("a"); |
| 30 | roundtrip("<<"); |
| 31 | roundtrip("<<="); |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 32 | roundtrip( |
| 33 | " |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 34 | /// a |
| 35 | wut |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 36 | ", |
| 37 | ); |
| 38 | roundtrip( |
| 39 | " |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 40 | 1 |
| 41 | 1.0 |
| 42 | 1f32 |
| 43 | 2f64 |
| 44 | 1usize |
| 45 | 4isize |
| 46 | 4e10 |
| 47 | 1_000 |
| 48 | 1_0i32 |
| 49 | 8u8 |
| 50 | 9 |
| 51 | 0 |
| 52 | 0xffffffffffffffffffffffffffffffff |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 53 | ", |
| 54 | ); |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 55 | roundtrip("'a"); |
| 56 | roundtrip("'static"); |
David Tolnay | 8d10934 | 2017-12-25 18:24:45 -0500 | [diff] [blame] | 57 | roundtrip("'\\u{10__FFFF}'"); |
| 58 | roundtrip("\"\\u{10_F0FF__}foo\\u{1_0_0_0__}\""); |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | #[test] |
| 62 | fn fail() { |
| 63 | fn fail(p: &str) { |
| 64 | if p.parse::<TokenStream>().is_ok() { |
| 65 | panic!("should have failed to parse: {}", p); |
| 66 | } |
| 67 | } |
| 68 | fail("1x"); |
| 69 | fail("1u80"); |
| 70 | fail("1f320"); |
| 71 | fail("' static"); |
| 72 | fail("'mut"); |
David Tolnay | a13d142 | 2018-03-31 21:27:48 +0200 | [diff] [blame] | 73 | fail("r#1"); |
| 74 | fail("r#_"); |
David Tolnay | e580685 | 2017-06-01 12:49:20 -0700 | [diff] [blame] | 75 | } |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 76 | |
David Tolnay | 1ebe397 | 2018-01-02 20:14:20 -0800 | [diff] [blame] | 77 | #[cfg(procmacro2_semver_exempt)] |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 78 | #[test] |
| 79 | fn span_test() { |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 80 | use proc_macro2::TokenTree; |
| 81 | |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 82 | fn check_spans(p: &str, mut lines: &[(usize, usize, usize, usize)]) { |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 83 | let ts = p.parse::<TokenStream>().unwrap(); |
| 84 | check_spans_internal(ts, &mut lines); |
| 85 | } |
| 86 | |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 87 | fn check_spans_internal(ts: TokenStream, lines: &mut &[(usize, usize, usize, usize)]) { |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 88 | for i in ts { |
| 89 | if let Some((&(sline, scol, eline, ecol), rest)) = lines.split_first() { |
| 90 | *lines = rest; |
| 91 | |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 92 | let start = i.span().start(); |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 93 | assert_eq!(start.line, sline, "sline did not match for {}", i); |
| 94 | assert_eq!(start.column, scol, "scol did not match for {}", i); |
| 95 | |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 96 | let end = i.span().end(); |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 97 | assert_eq!(end.line, eline, "eline did not match for {}", i); |
| 98 | assert_eq!(end.column, ecol, "ecol did not match for {}", i); |
| 99 | |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 100 | match i { |
| 101 | TokenTree::Group(ref g) => { |
| 102 | check_spans_internal(g.stream().clone(), lines); |
| 103 | } |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 104 | _ => {} |
| 105 | } |
| 106 | } |
| 107 | } |
| 108 | } |
| 109 | |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 110 | check_spans( |
| 111 | "\ |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 112 | /// This is a document comment |
| 113 | testing 123 |
| 114 | { |
| 115 | testing 234 |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 116 | }", |
| 117 | &[ |
| 118 | (1, 0, 1, 30), |
| 119 | (2, 0, 2, 7), |
| 120 | (2, 8, 2, 11), |
| 121 | (3, 0, 5, 1), |
| 122 | (4, 2, 4, 9), |
| 123 | (4, 10, 4, 13), |
| 124 | ], |
| 125 | ); |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 126 | } |
| 127 | |
David Tolnay | 1ebe397 | 2018-01-02 20:14:20 -0800 | [diff] [blame] | 128 | #[cfg(procmacro2_semver_exempt)] |
David Tolnay | d66ecf6 | 2018-01-02 20:05:42 -0800 | [diff] [blame] | 129 | #[cfg(not(feature = "nightly"))] |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 130 | #[test] |
| 131 | fn default_span() { |
| 132 | let start = Span::call_site().start(); |
| 133 | assert_eq!(start.line, 1); |
| 134 | assert_eq!(start.column, 0); |
| 135 | let end = Span::call_site().end(); |
| 136 | assert_eq!(end.line, 1); |
| 137 | assert_eq!(end.column, 0); |
| 138 | let source_file = Span::call_site().source_file(); |
Nika Layzell | fb783e3 | 2017-12-30 14:58:27 -0500 | [diff] [blame] | 139 | assert_eq!(source_file.path().to_string(), "<unspecified>"); |
Nika Layzell | f8d5f21 | 2017-12-11 14:07:02 -0500 | [diff] [blame] | 140 | assert!(!source_file.is_real()); |
| 141 | } |
| 142 | |
David Tolnay | 1ebe397 | 2018-01-02 20:14:20 -0800 | [diff] [blame] | 143 | #[cfg(procmacro2_semver_exempt)] |
Nika Layzell | ddea156 | 2017-12-11 14:25:35 -0500 | [diff] [blame] | 144 | #[test] |
| 145 | fn span_join() { |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 146 | let source1 = "aaa\nbbb" |
| 147 | .parse::<TokenStream>() |
| 148 | .unwrap() |
| 149 | .into_iter() |
| 150 | .collect::<Vec<_>>(); |
| 151 | let source2 = "ccc\nddd" |
| 152 | .parse::<TokenStream>() |
| 153 | .unwrap() |
| 154 | .into_iter() |
| 155 | .collect::<Vec<_>>(); |
Nika Layzell | ddea156 | 2017-12-11 14:25:35 -0500 | [diff] [blame] | 156 | |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 157 | assert!(source1[0].span().source_file() != source2[0].span().source_file()); |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 158 | assert_eq!( |
| 159 | source1[0].span().source_file(), |
| 160 | source1[1].span().source_file() |
| 161 | ); |
Nika Layzell | ddea156 | 2017-12-11 14:25:35 -0500 | [diff] [blame] | 162 | |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 163 | let joined1 = source1[0].span().join(source1[1].span()); |
| 164 | let joined2 = source1[0].span().join(source2[0].span()); |
Nika Layzell | ddea156 | 2017-12-11 14:25:35 -0500 | [diff] [blame] | 165 | assert!(joined1.is_some()); |
| 166 | assert!(joined2.is_none()); |
| 167 | |
| 168 | let start = joined1.unwrap().start(); |
| 169 | let end = joined1.unwrap().end(); |
| 170 | assert_eq!(start.line, 1); |
| 171 | assert_eq!(start.column, 0); |
| 172 | assert_eq!(end.line, 2); |
| 173 | assert_eq!(end.column, 3); |
| 174 | |
David Tolnay | b28f38a | 2018-03-31 22:02:29 +0200 | [diff] [blame^] | 175 | assert_eq!( |
| 176 | joined1.unwrap().source_file(), |
| 177 | source1[0].span().source_file() |
| 178 | ); |
Nika Layzell | ddea156 | 2017-12-11 14:25:35 -0500 | [diff] [blame] | 179 | } |
Alex Crichton | 8c03033 | 2018-01-16 08:07:36 -0800 | [diff] [blame] | 180 | |
| 181 | #[test] |
| 182 | fn no_panic() { |
| 183 | let s = str::from_utf8(b"b\'\xc2\x86 \x00\x00\x00^\"").unwrap(); |
| 184 | assert!(s.parse::<proc_macro2::TokenStream>().is_err()); |
| 185 | } |
| 186 | |
Alex Crichton | f7df57c | 2018-01-21 21:05:11 -0800 | [diff] [blame] | 187 | #[test] |
David Tolnay | 639e4ba | 2018-03-31 21:10:55 +0200 | [diff] [blame] | 188 | fn tricky_doc_comment() { |
Alex Crichton | f7df57c | 2018-01-21 21:05:11 -0800 | [diff] [blame] | 189 | let stream = "/**/".parse::<proc_macro2::TokenStream>().unwrap(); |
| 190 | let tokens = stream.into_iter().collect::<Vec<_>>(); |
| 191 | assert!(tokens.is_empty(), "not empty -- {:?}", tokens); |
Alex Crichton | d7904e5 | 2018-01-23 11:08:45 -0800 | [diff] [blame] | 192 | |
| 193 | let stream = "/// doc".parse::<proc_macro2::TokenStream>().unwrap(); |
| 194 | let tokens = stream.into_iter().collect::<Vec<_>>(); |
| 195 | assert!(tokens.len() == 1, "not length 1 -- {:?}", tokens); |
Alex Crichton | af5bad4 | 2018-03-27 14:45:10 -0700 | [diff] [blame] | 196 | match tokens[0] { |
| 197 | proc_macro2::TokenTree::Literal(_) => {} |
Alex Crichton | d7904e5 | 2018-01-23 11:08:45 -0800 | [diff] [blame] | 198 | _ => panic!("wrong token {:?}", tokens[0]), |
| 199 | } |
Alex Crichton | f7df57c | 2018-01-21 21:05:11 -0800 | [diff] [blame] | 200 | } |
| 201 | |
David Tolnay | a13d142 | 2018-03-31 21:27:48 +0200 | [diff] [blame] | 202 | #[test] |
| 203 | fn raw_identifier() { |
| 204 | let mut tts = TokenStream::from_str("r#dyn").unwrap().into_iter(); |
| 205 | match tts.next().unwrap() { |
| 206 | TokenTree::Term(raw) => assert_eq!("r#dyn", raw.as_str()), |
| 207 | wrong => panic!("wrong token {:?}", wrong), |
| 208 | } |
| 209 | assert!(tts.next().is_none()); |
| 210 | } |