David Tolnay | 5553501 | 2018-01-05 16:39:23 -0800 | [diff] [blame] | 1 | // Copyright 2018 Syn Developers |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| 4 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| 5 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| 6 | // option. This file may not be copied, modified, or distributed |
| 7 | // except according to those terms. |
| 8 | |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 9 | #![cfg(all(feature = "full", feature = "fold"))] |
David Tolnay | ecd024d | 2018-07-21 09:07:56 -0700 | [diff] [blame] | 10 | #![recursion_limit = "1024"] |
Nika Layzell | a2a1a4a | 2017-11-19 11:33:17 -0500 | [diff] [blame] | 11 | #![feature(rustc_private)] |
| 12 | |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 13 | //! The tests in this module do the following: |
| 14 | //! |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 15 | //! 1. Parse a given expression in both `syn` and `libsyntax`. |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 16 | //! 2. Fold over the expression adding brackets around each subexpression (with |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 17 | //! some complications - see the `syn_brackets` and `libsyntax_brackets` |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 18 | //! methods). |
| 19 | //! 3. Serialize the `syn` expression back into a string, and re-parse it with |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 20 | //! `libsyntax`. |
David Tolnay | 0ccb6d1 | 2018-08-14 22:43:00 -0700 | [diff] [blame] | 21 | //! 4. Respan all of the expressions, replacing the spans with the default |
| 22 | //! spans. |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 23 | //! 5. Compare the expressions with one another, if they are not equal fail. |
| 24 | |
| 25 | #[macro_use] |
| 26 | extern crate quote; |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 27 | extern crate rayon; |
David Tolnay | d1c31cc | 2018-08-24 14:47:15 -0400 | [diff] [blame] | 28 | extern crate regex; |
David Tolnay | c865992 | 2018-08-14 22:40:50 -0700 | [diff] [blame] | 29 | extern crate rustc_data_structures; |
David Tolnay | 0eab7d9 | 2018-09-26 22:10:40 -0700 | [diff] [blame] | 30 | #[macro_use] |
| 31 | extern crate smallvec; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 32 | extern crate syn; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 33 | extern crate syntax; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 34 | extern crate walkdir; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 35 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 36 | use rayon::iter::{IntoParallelIterator, ParallelIterator}; |
David Tolnay | d1c31cc | 2018-08-24 14:47:15 -0400 | [diff] [blame] | 37 | use regex::Regex; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 38 | use syntax::ast; |
| 39 | use syntax::ptr::P; |
Igor Gnatenko | 951a52b | 2018-03-12 10:33:33 +0100 | [diff] [blame] | 40 | use walkdir::{DirEntry, WalkDir}; |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 41 | |
| 42 | use std::fs::File; |
| 43 | use std::io::Read; |
David Tolnay | 3eaf7d8 | 2017-12-17 23:14:52 -0800 | [diff] [blame] | 44 | use std::process; |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 45 | use std::sync::atomic::{AtomicUsize, Ordering}; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 46 | |
David Tolnay | ecd024d | 2018-07-21 09:07:56 -0700 | [diff] [blame] | 47 | use common::eq::SpanlessEq; |
| 48 | use common::parse; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 49 | |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 50 | #[macro_use] |
David Tolnay | dd12556 | 2017-12-31 02:16:22 -0500 | [diff] [blame] | 51 | mod macros; |
| 52 | |
| 53 | #[allow(dead_code)] |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 54 | mod common; |
| 55 | |
| 56 | /// Test some pre-set expressions chosen by us. |
| 57 | #[test] |
| 58 | fn test_simple_precedence() { |
| 59 | const EXPRS: &[&str] = &[ |
| 60 | "1 + 2 * 3 + 4", |
| 61 | "1 + 2 * ( 3 + 4 )", |
| 62 | "{ for i in r { } *some_ptr += 1; }", |
| 63 | "{ loop { break 5; } }", |
| 64 | "{ if true { () }.mthd() }", |
Nika Layzell | 3aa0dc7 | 2017-12-04 13:41:28 -0500 | [diff] [blame] | 65 | "{ for i in unsafe { 20 } { } }", |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 66 | ]; |
| 67 | |
| 68 | let mut failed = 0; |
| 69 | |
| 70 | for input in EXPRS { |
| 71 | let expr = if let Some(expr) = parse::syn_expr(input) { |
| 72 | expr |
| 73 | } else { |
| 74 | failed += 1; |
| 75 | continue; |
| 76 | }; |
| 77 | |
| 78 | let pf = match test_expressions(vec![expr]) { |
| 79 | (1, 0) => "passed", |
| 80 | (0, 1) => { |
| 81 | failed += 1; |
| 82 | "failed" |
| 83 | } |
| 84 | _ => unreachable!(), |
| 85 | }; |
| 86 | errorf!("=== {}: {}\n", input, pf); |
| 87 | } |
| 88 | |
| 89 | if failed > 0 { |
| 90 | panic!("Failed {} tests", failed); |
| 91 | } |
| 92 | } |
| 93 | |
| 94 | /// Test expressions from rustc, like in `test_round_trip`. |
| 95 | #[test] |
| 96 | fn test_rustc_precedence() { |
Alex Crichton | 8637477 | 2017-07-07 20:39:28 -0700 | [diff] [blame] | 97 | common::clone_rust(); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 98 | let abort_after = common::abort_after(); |
| 99 | if abort_after == 0 { |
| 100 | panic!("Skipping all precedence tests"); |
| 101 | } |
| 102 | |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 103 | let passed = AtomicUsize::new(0); |
| 104 | let failed = AtomicUsize::new(0); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 105 | |
David Tolnay | d1c31cc | 2018-08-24 14:47:15 -0400 | [diff] [blame] | 106 | // 2018 edition is hard |
| 107 | let edition_regex = Regex::new(r"\b(async|try)[!(]").unwrap(); |
| 108 | |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 109 | WalkDir::new("tests/rust") |
Igor Gnatenko | 951a52b | 2018-03-12 10:33:33 +0100 | [diff] [blame] | 110 | .sort_by(|a, b| a.file_name().cmp(b.file_name())) |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 111 | .into_iter() |
| 112 | .filter_entry(common::base_dir_filter) |
| 113 | .collect::<Result<Vec<DirEntry>, walkdir::Error>>() |
| 114 | .unwrap() |
| 115 | .into_par_iter() |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 116 | .for_each(|entry| { |
| 117 | let path = entry.path(); |
| 118 | if path.is_dir() { |
| 119 | return; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 120 | } |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 121 | |
| 122 | // Our version of `libsyntax` can't parse this tests |
David Tolnay | 65fb566 | 2018-05-20 20:02:28 -0700 | [diff] [blame] | 123 | if path |
| 124 | .to_str() |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 125 | .unwrap() |
| 126 | .ends_with("optional_comma_in_match_arm.rs") |
| 127 | { |
| 128 | return; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 129 | } |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 130 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 131 | let mut file = File::open(path).unwrap(); |
| 132 | let mut content = String::new(); |
| 133 | file.read_to_string(&mut content).unwrap(); |
David Tolnay | d1c31cc | 2018-08-24 14:47:15 -0400 | [diff] [blame] | 134 | let content = edition_regex.replace_all(&content, "_$0"); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 135 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 136 | let (l_passed, l_failed) = match syn::parse_file(&content) { |
| 137 | Ok(file) => { |
| 138 | let exprs = collect_exprs(file); |
| 139 | test_expressions(exprs) |
| 140 | } |
| 141 | Err(msg) => { |
| 142 | errorf!("syn failed to parse\n{:?}\n", msg); |
| 143 | (0, 1) |
| 144 | } |
| 145 | }; |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 146 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 147 | errorf!( |
| 148 | "=== {}: {} passed | {} failed\n", |
| 149 | path.display(), |
| 150 | l_passed, |
| 151 | l_failed |
| 152 | ); |
| 153 | |
| 154 | passed.fetch_add(l_passed, Ordering::SeqCst); |
| 155 | let prev_failed = failed.fetch_add(l_failed, Ordering::SeqCst); |
| 156 | |
| 157 | if prev_failed + l_failed >= abort_after { |
| 158 | process::exit(1); |
| 159 | } |
| 160 | }); |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 161 | |
| 162 | let passed = passed.load(Ordering::SeqCst); |
| 163 | let failed = failed.load(Ordering::SeqCst); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 164 | |
| 165 | errorf!("\n===== Precedence Test Results =====\n"); |
| 166 | errorf!("{} passed | {} failed\n", passed, failed); |
| 167 | |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 168 | if failed > 0 { |
| 169 | panic!("{} failures", failed); |
| 170 | } |
| 171 | } |
| 172 | |
David Tolnay | ee97dbf | 2017-11-19 14:24:38 -0800 | [diff] [blame] | 173 | fn test_expressions(exprs: Vec<syn::Expr>) -> (usize, usize) { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 174 | let mut passed = 0; |
| 175 | let mut failed = 0; |
| 176 | |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 177 | syntax::with_globals(|| { |
| 178 | for expr in exprs { |
| 179 | let raw = quote!(#expr).to_string(); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 180 | |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 181 | let libsyntax_ast = if let Some(e) = libsyntax_parse_and_rewrite(&raw) { |
| 182 | e |
| 183 | } else { |
| 184 | failed += 1; |
| 185 | errorf!("\nFAIL - libsyntax failed to parse raw\n"); |
| 186 | continue; |
| 187 | }; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 188 | |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 189 | let syn_expr = syn_brackets(expr); |
| 190 | let syn_ast = if let Some(e) = parse::libsyntax_expr("e!(#syn_expr).to_string()) { |
| 191 | e |
| 192 | } else { |
| 193 | failed += 1; |
| 194 | errorf!("\nFAIL - libsyntax failed to parse bracketed\n"); |
| 195 | continue; |
| 196 | }; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 197 | |
David Tolnay | ecd024d | 2018-07-21 09:07:56 -0700 | [diff] [blame] | 198 | if SpanlessEq::eq(&syn_ast, &libsyntax_ast) { |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 199 | passed += 1; |
| 200 | } else { |
| 201 | failed += 1; |
| 202 | errorf!("\nFAIL\n{:?}\n!=\n{:?}\n", syn_ast, libsyntax_ast); |
| 203 | } |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 204 | } |
David Tolnay | 5d1a3ee | 2018-03-17 19:41:36 -0700 | [diff] [blame] | 205 | }); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 206 | |
| 207 | (passed, failed) |
| 208 | } |
| 209 | |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 210 | fn libsyntax_parse_and_rewrite(input: &str) -> Option<P<ast::Expr>> { |
David Tolnay | 3cede94 | 2017-12-26 12:29:24 -0500 | [diff] [blame] | 211 | parse::libsyntax_expr(input).and_then(libsyntax_brackets) |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 212 | } |
| 213 | |
| 214 | /// Wrap every expression which is not already wrapped in parens with parens, to |
David Tolnay | 0ccb6d1 | 2018-08-14 22:43:00 -0700 | [diff] [blame] | 215 | /// reveal the precidence of the parsed expressions, and produce a stringified |
| 216 | /// form of the resulting expression. |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 217 | /// |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 218 | /// This method operates on libsyntax objects. |
| 219 | fn libsyntax_brackets(libsyntax_expr: P<ast::Expr>) -> Option<P<ast::Expr>> { |
David Tolnay | c865992 | 2018-08-14 22:40:50 -0700 | [diff] [blame] | 220 | use rustc_data_structures::thin_vec::ThinVec; |
David Tolnay | 0eab7d9 | 2018-09-26 22:10:40 -0700 | [diff] [blame] | 221 | use smallvec::SmallVec; |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 222 | use syntax::ast::{Expr, ExprKind, Field, Mac, Pat, Stmt, StmtKind, Ty}; |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 223 | use syntax::ext::quote::rt::DUMMY_SP; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 224 | use syntax::fold::{self, Folder}; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 225 | |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 226 | struct BracketsFolder { |
| 227 | failed: bool, |
| 228 | }; |
| 229 | impl Folder for BracketsFolder { |
| 230 | fn fold_expr(&mut self, e: P<Expr>) -> P<Expr> { |
David Tolnay | 5d314dc | 2018-07-21 16:40:01 -0700 | [diff] [blame] | 231 | e.map(|e| match e.node { |
| 232 | ExprKind::If(..) | ExprKind::Block(..) | ExprKind::IfLet(..) => { |
| 233 | fold::noop_fold_expr(e, self) |
| 234 | } |
| 235 | _ => Expr { |
| 236 | id: ast::DUMMY_NODE_ID, |
| 237 | node: ExprKind::Paren(P(fold::noop_fold_expr(e, self))), |
| 238 | span: DUMMY_SP, |
| 239 | attrs: ThinVec::new(), |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 240 | }, |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 241 | }) |
| 242 | } |
| 243 | |
| 244 | fn fold_field(&mut self, f: Field) -> Field { |
| 245 | Field { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 246 | expr: if f.is_shorthand { |
| 247 | f.expr.map(|e| fold::noop_fold_expr(e, self)) |
| 248 | } else { |
| 249 | self.fold_expr(f.expr) |
| 250 | }, |
David Tolnay | a317499 | 2018-04-06 22:41:59 -0700 | [diff] [blame] | 251 | ..f |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 252 | } |
| 253 | } |
| 254 | |
| 255 | // We don't want to look at expressions that might appear in patterns or |
| 256 | // types yet. We'll look into comparing those in the future. For now |
| 257 | // focus on expressions appearing in other places. |
| 258 | fn fold_pat(&mut self, pat: P<Pat>) -> P<Pat> { |
| 259 | pat |
| 260 | } |
| 261 | |
| 262 | fn fold_ty(&mut self, ty: P<Ty>) -> P<Ty> { |
| 263 | ty |
| 264 | } |
| 265 | |
David Tolnay | 0eab7d9 | 2018-09-26 22:10:40 -0700 | [diff] [blame] | 266 | fn fold_stmt(&mut self, stmt: Stmt) -> SmallVec<[Stmt; 1]> { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 267 | let node = match stmt.node { |
| 268 | // Don't wrap toplevel expressions in statements. |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 269 | StmtKind::Expr(e) => StmtKind::Expr(e.map(|e| fold::noop_fold_expr(e, self))), |
| 270 | StmtKind::Semi(e) => StmtKind::Semi(e.map(|e| fold::noop_fold_expr(e, self))), |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 271 | s => s, |
| 272 | }; |
| 273 | |
David Tolnay | 0eab7d9 | 2018-09-26 22:10:40 -0700 | [diff] [blame] | 274 | smallvec![Stmt { node, ..stmt }] |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 275 | } |
| 276 | |
| 277 | fn fold_mac(&mut self, mac: Mac) -> Mac { |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 278 | // By default when folding over macros, libsyntax panics. This is |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 279 | // because it's usually not what you want, you want to run after |
| 280 | // macro expansion. We do want to do that (syn doesn't do macro |
| 281 | // expansion), so we implement fold_mac to just return the macro |
| 282 | // unchanged. |
| 283 | mac |
| 284 | } |
| 285 | } |
| 286 | |
David Tolnay | 5138205 | 2017-12-27 13:46:21 -0500 | [diff] [blame] | 287 | let mut folder = BracketsFolder { failed: false }; |
David Tolnay | cfa5cc0 | 2017-11-13 01:05:11 -0800 | [diff] [blame] | 288 | let e = folder.fold_expr(libsyntax_expr); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 289 | if folder.failed { |
| 290 | None |
| 291 | } else { |
| 292 | Some(e) |
| 293 | } |
| 294 | } |
| 295 | |
| 296 | /// Wrap every expression which is not already wrapped in parens with parens, to |
David Tolnay | 0ccb6d1 | 2018-08-14 22:43:00 -0700 | [diff] [blame] | 297 | /// reveal the precedence of the parsed expressions, and produce a stringified |
| 298 | /// form of the resulting expression. |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 299 | fn syn_brackets(syn_expr: syn::Expr) -> syn::Expr { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 300 | use syn::fold::*; |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 301 | use syn::*; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 302 | |
David Tolnay | eb75206 | 2018-01-06 13:51:42 -0800 | [diff] [blame] | 303 | struct ParenthesizeEveryExpr; |
| 304 | impl Fold for ParenthesizeEveryExpr { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 305 | fn fold_expr(&mut self, expr: Expr) -> Expr { |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame] | 306 | match expr { |
| 307 | Expr::Group(_) => unreachable!(), |
David Tolnay | 9c11912 | 2018-09-01 18:47:02 -0700 | [diff] [blame] | 308 | Expr::If(..) | Expr::Unsafe(..) | Expr::Block(..) | Expr::Let(..) => { |
David Tolnay | 3bc597f | 2017-12-31 02:31:11 -0500 | [diff] [blame] | 309 | fold_expr(self, expr) |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 310 | } |
David Tolnay | 5d314dc | 2018-07-21 16:40:01 -0700 | [diff] [blame] | 311 | node => Expr::Paren(ExprParen { |
| 312 | attrs: Vec::new(), |
| 313 | expr: Box::new(fold_expr(self, node)), |
| 314 | paren_token: token::Paren::default(), |
| 315 | }), |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame] | 316 | } |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 317 | } |
| 318 | |
| 319 | fn fold_stmt(&mut self, stmt: Stmt) -> Stmt { |
| 320 | match stmt { |
| 321 | // Don't wrap toplevel expressions in statements. |
David Tolnay | 1f0b7b8 | 2018-01-06 16:07:14 -0800 | [diff] [blame] | 322 | Stmt::Expr(e) => Stmt::Expr(fold_expr(self, e)), |
| 323 | Stmt::Semi(e, semi) => Stmt::Semi(fold_expr(self, e), semi), |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 324 | s => s, |
| 325 | } |
| 326 | } |
| 327 | |
| 328 | // We don't want to look at expressions that might appear in patterns or |
| 329 | // types yet. We'll look into comparing those in the future. For now |
| 330 | // focus on expressions appearing in other places. |
| 331 | fn fold_pat(&mut self, pat: Pat) -> Pat { |
| 332 | pat |
| 333 | } |
| 334 | |
David Tolnay | fd6bf5c | 2017-11-12 09:41:14 -0800 | [diff] [blame] | 335 | fn fold_type(&mut self, ty: Type) -> Type { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 336 | ty |
| 337 | } |
| 338 | } |
| 339 | |
David Tolnay | eb75206 | 2018-01-06 13:51:42 -0800 | [diff] [blame] | 340 | let mut folder = ParenthesizeEveryExpr; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 341 | folder.fold_expr(syn_expr) |
| 342 | } |
| 343 | |
| 344 | /// Walk through a crate collecting all expressions we can find in it. |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 345 | fn collect_exprs(file: syn::File) -> Vec<syn::Expr> { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 346 | use syn::fold::*; |
David Tolnay | f2cfd72 | 2017-12-31 18:02:51 -0500 | [diff] [blame] | 347 | use syn::punctuated::Punctuated; |
David Tolnay | eb7d79b | 2018-03-31 22:52:17 +0200 | [diff] [blame] | 348 | use syn::*; |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 349 | |
David Tolnay | eb75206 | 2018-01-06 13:51:42 -0800 | [diff] [blame] | 350 | struct CollectExprs(Vec<Expr>); |
| 351 | impl Fold for CollectExprs { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 352 | fn fold_expr(&mut self, expr: Expr) -> Expr { |
| 353 | self.0.push(expr); |
| 354 | |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame] | 355 | Expr::Tuple(ExprTuple { |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 356 | attrs: vec![], |
David Tolnay | f2cfd72 | 2017-12-31 18:02:51 -0500 | [diff] [blame] | 357 | elems: Punctuated::new(), |
David Tolnay | 8c91b88 | 2017-12-28 23:04:32 -0500 | [diff] [blame] | 358 | paren_token: token::Paren::default(), |
| 359 | }) |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 360 | } |
| 361 | } |
| 362 | |
David Tolnay | eb75206 | 2018-01-06 13:51:42 -0800 | [diff] [blame] | 363 | let mut folder = CollectExprs(vec![]); |
David Tolnay | c7a5d3d | 2017-06-04 12:11:05 -0700 | [diff] [blame] | 364 | folder.fold_file(file); |
Michael Layzell | 53fc31a | 2017-06-07 09:21:53 -0400 | [diff] [blame] | 365 | folder.0 |
| 366 | } |