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