]> git.proxmox.com Git - rustc.git/blame - src/tools/rustfmt/src/syntux/session.rs
New upstream version 1.58.1+dfsg1
[rustc.git] / src / tools / rustfmt / src / syntux / session.rs
CommitLineData
f20569fa 1use std::path::Path;
cdc7bbd5 2use std::sync::atomic::{AtomicBool, Ordering};
f20569fa
XL
3
4use rustc_data_structures::sync::{Lrc, Send};
5use rustc_errors::emitter::{Emitter, EmitterWriter};
6use rustc_errors::{ColorConfig, Diagnostic, Handler, Level as DiagnosticLevel};
7use rustc_session::parse::ParseSess as RawParseSess;
8use rustc_span::{
9 source_map::{FilePathMapping, SourceMap},
10 symbol, BytePos, Span,
11};
12
13use crate::config::file_lines::LineRange;
14use crate::ignore_path::IgnorePathSet;
15use crate::source_map::LineRangeUtils;
16use crate::utils::starts_with_newline;
17use crate::visitor::SnippetProvider;
18use crate::{Config, ErrorKind, FileName};
19
20/// ParseSess holds structs necessary for constructing a parser.
21pub(crate) struct ParseSess {
22 parse_sess: RawParseSess,
cdc7bbd5
XL
23 ignore_path_set: Lrc<IgnorePathSet>,
24 can_reset_errors: Lrc<AtomicBool>,
f20569fa
XL
25}
26
27/// Emitter which discards every error.
28struct SilentEmitter;
29
30impl Emitter for SilentEmitter {
31 fn source_map(&self) -> Option<&Lrc<SourceMap>> {
32 None
33 }
34 fn emit_diagnostic(&mut self, _db: &Diagnostic) {}
35}
36
37fn silent_emitter() -> Box<dyn Emitter + Send> {
38 Box::new(SilentEmitter {})
39}
40
41/// Emit errors against every files expect ones specified in the `ignore_path_set`.
42struct SilentOnIgnoredFilesEmitter {
cdc7bbd5
XL
43 ignore_path_set: Lrc<IgnorePathSet>,
44 source_map: Lrc<SourceMap>,
f20569fa
XL
45 emitter: Box<dyn Emitter + Send>,
46 has_non_ignorable_parser_errors: bool,
cdc7bbd5 47 can_reset: Lrc<AtomicBool>,
f20569fa
XL
48}
49
50impl SilentOnIgnoredFilesEmitter {
51 fn handle_non_ignoreable_error(&mut self, db: &Diagnostic) {
52 self.has_non_ignorable_parser_errors = true;
cdc7bbd5 53 self.can_reset.store(false, Ordering::Release);
f20569fa
XL
54 self.emitter.emit_diagnostic(db);
55 }
56}
57
58impl Emitter for SilentOnIgnoredFilesEmitter {
59 fn source_map(&self) -> Option<&Lrc<SourceMap>> {
60 None
61 }
62 fn emit_diagnostic(&mut self, db: &Diagnostic) {
63 if db.level == DiagnosticLevel::Fatal {
64 return self.handle_non_ignoreable_error(db);
65 }
66 if let Some(primary_span) = &db.span.primary_span() {
67 let file_name = self.source_map.span_to_filename(*primary_span);
17df50a5
XL
68 if let rustc_span::FileName::Real(rustc_span::RealFileName::LocalPath(ref path)) =
69 file_name
f20569fa
XL
70 {
71 if self
72 .ignore_path_set
73 .is_match(&FileName::Real(path.to_path_buf()))
74 {
75 if !self.has_non_ignorable_parser_errors {
cdc7bbd5 76 self.can_reset.store(true, Ordering::Release);
f20569fa
XL
77 }
78 return;
79 }
80 };
81 }
82 self.handle_non_ignoreable_error(db);
83 }
84}
85
86fn default_handler(
cdc7bbd5
XL
87 source_map: Lrc<SourceMap>,
88 ignore_path_set: Lrc<IgnorePathSet>,
89 can_reset: Lrc<AtomicBool>,
f20569fa
XL
90 hide_parse_errors: bool,
91) -> Handler {
92 let supports_color = term::stderr().map_or(false, |term| term.supports_color());
93 let color_cfg = if supports_color {
94 ColorConfig::Auto
95 } else {
96 ColorConfig::Never
97 };
98
99 let emitter = if hide_parse_errors {
100 silent_emitter()
101 } else {
102 Box::new(EmitterWriter::stderr(
103 color_cfg,
104 Some(source_map.clone()),
105 false,
106 false,
107 None,
108 false,
109 ))
110 };
111 Handler::with_emitter(
112 true,
113 None,
114 Box::new(SilentOnIgnoredFilesEmitter {
115 has_non_ignorable_parser_errors: false,
116 source_map,
117 emitter,
118 ignore_path_set,
119 can_reset,
120 }),
121 )
122}
123
124impl ParseSess {
125 pub(crate) fn new(config: &Config) -> Result<ParseSess, ErrorKind> {
126 let ignore_path_set = match IgnorePathSet::from_ignore_list(&config.ignore()) {
cdc7bbd5 127 Ok(ignore_path_set) => Lrc::new(ignore_path_set),
f20569fa
XL
128 Err(e) => return Err(ErrorKind::InvalidGlobPattern(e)),
129 };
cdc7bbd5
XL
130 let source_map = Lrc::new(SourceMap::new(FilePathMapping::empty()));
131 let can_reset_errors = Lrc::new(AtomicBool::new(false));
f20569fa
XL
132
133 let handler = default_handler(
cdc7bbd5
XL
134 Lrc::clone(&source_map),
135 Lrc::clone(&ignore_path_set),
136 Lrc::clone(&can_reset_errors),
f20569fa
XL
137 config.hide_parse_errors(),
138 );
139 let parse_sess = RawParseSess::with_span_handler(handler, source_map);
140
141 Ok(ParseSess {
142 parse_sess,
143 ignore_path_set,
144 can_reset_errors,
145 })
146 }
147
148 pub(crate) fn default_submod_path(
149 &self,
150 id: symbol::Ident,
151 relative: Option<symbol::Ident>,
152 dir_path: &Path,
cdc7bbd5
XL
153 ) -> Result<rustc_expand::module::ModulePathSuccess, rustc_expand::module::ModError<'_>> {
154 rustc_expand::module::default_submod_path(&self.parse_sess, id, relative, dir_path)
f20569fa
XL
155 }
156
157 pub(crate) fn is_file_parsed(&self, path: &Path) -> bool {
158 self.parse_sess
159 .source_map()
160 .get_source_file(&rustc_span::FileName::Real(
17df50a5 161 rustc_span::RealFileName::LocalPath(path.to_path_buf()),
f20569fa
XL
162 ))
163 .is_some()
164 }
165
166 pub(crate) fn ignore_file(&self, path: &FileName) -> bool {
3c0e092e 167 self.ignore_path_set.as_ref().is_match(path)
f20569fa
XL
168 }
169
170 pub(crate) fn set_silent_emitter(&mut self) {
171 self.parse_sess.span_diagnostic = Handler::with_emitter(true, None, silent_emitter());
172 }
173
174 pub(crate) fn span_to_filename(&self, span: Span) -> FileName {
175 self.parse_sess.source_map().span_to_filename(span).into()
176 }
177
3c0e092e
XL
178 pub(crate) fn span_to_file_contents(&self, span: Span) -> Lrc<rustc_span::SourceFile> {
179 self.parse_sess
180 .source_map()
181 .lookup_source_file(span.data().lo)
182 }
183
f20569fa
XL
184 pub(crate) fn span_to_first_line_string(&self, span: Span) -> String {
185 let file_lines = self.parse_sess.source_map().span_to_lines(span).ok();
186
187 match file_lines {
188 Some(fl) => fl
189 .file
190 .get_line(fl.lines[0].line_index)
191 .map_or_else(String::new, |s| s.to_string()),
192 None => String::new(),
193 }
194 }
195
196 pub(crate) fn line_of_byte_pos(&self, pos: BytePos) -> usize {
197 self.parse_sess.source_map().lookup_char_pos(pos).line
198 }
199
200 pub(crate) fn span_to_debug_info(&self, span: Span) -> String {
17df50a5 201 self.parse_sess.source_map().span_to_diagnostic_string(span)
f20569fa
XL
202 }
203
204 pub(crate) fn inner(&self) -> &RawParseSess {
205 &self.parse_sess
206 }
207
208 pub(crate) fn snippet_provider(&self, span: Span) -> SnippetProvider {
209 let source_file = self.parse_sess.source_map().lookup_char_pos(span.lo()).file;
210 SnippetProvider::new(
211 source_file.start_pos,
212 source_file.end_pos,
cdc7bbd5 213 Lrc::clone(source_file.src.as_ref().unwrap()),
f20569fa
XL
214 )
215 }
216
cdc7bbd5 217 pub(crate) fn get_original_snippet(&self, file_name: &FileName) -> Option<Lrc<String>> {
f20569fa
XL
218 self.parse_sess
219 .source_map()
220 .get_source_file(&file_name.into())
221 .and_then(|source_file| source_file.src.clone())
222 }
223}
224
225// Methods that should be restricted within the syntux module.
226impl ParseSess {
227 pub(super) fn emit_diagnostics(&self, diagnostics: Vec<Diagnostic>) {
228 for diagnostic in diagnostics {
229 self.parse_sess.span_diagnostic.emit_diagnostic(&diagnostic);
230 }
231 }
232
233 pub(crate) fn emit_or_cancel_diagnostic(&self, diagnostic: &mut Diagnostic) {
234 self.parse_sess.span_diagnostic.emit_diagnostic(diagnostic);
235 // The Handler will check whether the diagnostic should be emitted
236 // based on the user's rustfmt configuration and the originating file
237 // that caused the parser error. If the Handler determined it should skip
238 // emission then we need to ensure the diagnostic is cancelled.
239 if !diagnostic.cancelled() {
240 diagnostic.cancel();
241 }
242 }
243
244 pub(super) fn can_reset_errors(&self) -> bool {
cdc7bbd5 245 self.can_reset_errors.load(Ordering::Acquire)
f20569fa
XL
246 }
247
248 pub(super) fn has_errors(&self) -> bool {
249 self.parse_sess.span_diagnostic.has_errors()
250 }
251
252 pub(super) fn reset_errors(&self) {
253 self.parse_sess.span_diagnostic.reset_err_count();
254 }
255}
256
257impl LineRangeUtils for ParseSess {
258 fn lookup_line_range(&self, span: Span) -> LineRange {
259 let snippet = self
260 .parse_sess
261 .source_map()
262 .span_to_snippet(span)
263 .unwrap_or_default();
264 let lo = self.parse_sess.source_map().lookup_line(span.lo()).unwrap();
265 let hi = self.parse_sess.source_map().lookup_line(span.hi()).unwrap();
266
267 debug_assert_eq!(
268 lo.sf.name, hi.sf.name,
269 "span crossed file boundary: lo: {:?}, hi: {:?}",
270 lo, hi
271 );
272
273 // in case the span starts with a newline, the line range is off by 1 without the
274 // adjustment below
275 let offset = 1 + if starts_with_newline(&snippet) { 1 } else { 0 };
276 // Line numbers start at 1
277 LineRange {
278 file: lo.sf.clone(),
279 lo: lo.line + offset,
280 hi: hi.line + offset,
281 }
282 }
283}
284
285#[cfg(test)]
286mod tests {
287 use super::*;
288
289 mod emitter {
290 use super::*;
291 use crate::config::IgnoreList;
292 use crate::is_nightly_channel;
293 use crate::utils::mk_sp;
294 use rustc_span::{FileName as SourceMapFileName, MultiSpan, RealFileName, DUMMY_SP};
295 use std::path::PathBuf;
cdc7bbd5 296 use std::sync::atomic::AtomicU32;
f20569fa
XL
297
298 struct TestEmitter {
cdc7bbd5 299 num_emitted_errors: Lrc<AtomicU32>,
f20569fa
XL
300 }
301
302 impl Emitter for TestEmitter {
303 fn source_map(&self) -> Option<&Lrc<SourceMap>> {
304 None
305 }
306 fn emit_diagnostic(&mut self, _db: &Diagnostic) {
cdc7bbd5 307 self.num_emitted_errors.fetch_add(1, Ordering::Release);
f20569fa
XL
308 }
309 }
310
311 fn build_diagnostic(level: DiagnosticLevel, span: Option<MultiSpan>) -> Diagnostic {
312 Diagnostic {
313 level,
314 code: None,
315 message: vec![],
316 children: vec![],
317 suggestions: vec![],
318 span: span.unwrap_or_else(MultiSpan::new),
319 sort_span: DUMMY_SP,
c295e0f8 320 is_lint: false,
f20569fa
XL
321 }
322 }
323
324 fn build_emitter(
cdc7bbd5
XL
325 num_emitted_errors: Lrc<AtomicU32>,
326 can_reset: Lrc<AtomicBool>,
327 source_map: Option<Lrc<SourceMap>>,
f20569fa
XL
328 ignore_list: Option<IgnoreList>,
329 ) -> SilentOnIgnoredFilesEmitter {
330 let emitter_writer = TestEmitter { num_emitted_errors };
331 let source_map =
cdc7bbd5
XL
332 source_map.unwrap_or_else(|| Lrc::new(SourceMap::new(FilePathMapping::empty())));
333 let ignore_path_set = Lrc::new(
334 IgnorePathSet::from_ignore_list(&ignore_list.unwrap_or_default()).unwrap(),
335 );
f20569fa
XL
336 SilentOnIgnoredFilesEmitter {
337 has_non_ignorable_parser_errors: false,
338 source_map,
339 emitter: Box::new(emitter_writer),
340 ignore_path_set,
341 can_reset,
342 }
343 }
344
345 fn get_ignore_list(config: &str) -> IgnoreList {
346 Config::from_toml(config, Path::new("")).unwrap().ignore()
347 }
348
349 #[test]
350 fn handles_fatal_parse_error_in_ignored_file() {
cdc7bbd5
XL
351 let num_emitted_errors = Lrc::new(AtomicU32::new(0));
352 let can_reset_errors = Lrc::new(AtomicBool::new(false));
f20569fa 353 let ignore_list = get_ignore_list(r#"ignore = ["foo.rs"]"#);
cdc7bbd5 354 let source_map = Lrc::new(SourceMap::new(FilePathMapping::empty()));
f20569fa
XL
355 let source =
356 String::from(r#"extern "system" fn jni_symbol!( funcName ) ( ... ) -> {} "#);
357 source_map.new_source_file(
17df50a5 358 SourceMapFileName::Real(RealFileName::LocalPath(PathBuf::from("foo.rs"))),
f20569fa
XL
359 source,
360 );
361 let mut emitter = build_emitter(
cdc7bbd5
XL
362 Lrc::clone(&num_emitted_errors),
363 Lrc::clone(&can_reset_errors),
364 Some(Lrc::clone(&source_map)),
f20569fa
XL
365 Some(ignore_list),
366 );
367 let span = MultiSpan::from_span(mk_sp(BytePos(0), BytePos(1)));
368 let fatal_diagnostic = build_diagnostic(DiagnosticLevel::Fatal, Some(span));
369 emitter.emit_diagnostic(&fatal_diagnostic);
cdc7bbd5
XL
370 assert_eq!(num_emitted_errors.load(Ordering::Acquire), 1);
371 assert_eq!(can_reset_errors.load(Ordering::Acquire), false);
f20569fa
XL
372 }
373
374 #[test]
375 fn handles_recoverable_parse_error_in_ignored_file() {
376 if !is_nightly_channel!() {
377 return;
378 }
cdc7bbd5
XL
379 let num_emitted_errors = Lrc::new(AtomicU32::new(0));
380 let can_reset_errors = Lrc::new(AtomicBool::new(false));
f20569fa 381 let ignore_list = get_ignore_list(r#"ignore = ["foo.rs"]"#);
cdc7bbd5 382 let source_map = Lrc::new(SourceMap::new(FilePathMapping::empty()));
f20569fa
XL
383 let source = String::from(r#"pub fn bar() { 1x; }"#);
384 source_map.new_source_file(
17df50a5 385 SourceMapFileName::Real(RealFileName::LocalPath(PathBuf::from("foo.rs"))),
f20569fa
XL
386 source,
387 );
388 let mut emitter = build_emitter(
cdc7bbd5
XL
389 Lrc::clone(&num_emitted_errors),
390 Lrc::clone(&can_reset_errors),
391 Some(Lrc::clone(&source_map)),
f20569fa
XL
392 Some(ignore_list),
393 );
394 let span = MultiSpan::from_span(mk_sp(BytePos(0), BytePos(1)));
395 let non_fatal_diagnostic = build_diagnostic(DiagnosticLevel::Warning, Some(span));
396 emitter.emit_diagnostic(&non_fatal_diagnostic);
cdc7bbd5
XL
397 assert_eq!(num_emitted_errors.load(Ordering::Acquire), 0);
398 assert_eq!(can_reset_errors.load(Ordering::Acquire), true);
f20569fa
XL
399 }
400
401 #[test]
402 fn handles_recoverable_parse_error_in_non_ignored_file() {
403 if !is_nightly_channel!() {
404 return;
405 }
cdc7bbd5
XL
406 let num_emitted_errors = Lrc::new(AtomicU32::new(0));
407 let can_reset_errors = Lrc::new(AtomicBool::new(false));
408 let source_map = Lrc::new(SourceMap::new(FilePathMapping::empty()));
f20569fa
XL
409 let source = String::from(r#"pub fn bar() { 1x; }"#);
410 source_map.new_source_file(
17df50a5 411 SourceMapFileName::Real(RealFileName::LocalPath(PathBuf::from("foo.rs"))),
f20569fa
XL
412 source,
413 );
414 let mut emitter = build_emitter(
cdc7bbd5
XL
415 Lrc::clone(&num_emitted_errors),
416 Lrc::clone(&can_reset_errors),
417 Some(Lrc::clone(&source_map)),
f20569fa
XL
418 None,
419 );
420 let span = MultiSpan::from_span(mk_sp(BytePos(0), BytePos(1)));
421 let non_fatal_diagnostic = build_diagnostic(DiagnosticLevel::Warning, Some(span));
422 emitter.emit_diagnostic(&non_fatal_diagnostic);
cdc7bbd5
XL
423 assert_eq!(num_emitted_errors.load(Ordering::Acquire), 1);
424 assert_eq!(can_reset_errors.load(Ordering::Acquire), false);
f20569fa
XL
425 }
426
427 #[test]
428 fn handles_mix_of_recoverable_parse_error() {
429 if !is_nightly_channel!() {
430 return;
431 }
cdc7bbd5
XL
432 let num_emitted_errors = Lrc::new(AtomicU32::new(0));
433 let can_reset_errors = Lrc::new(AtomicBool::new(false));
434 let source_map = Lrc::new(SourceMap::new(FilePathMapping::empty()));
f20569fa
XL
435 let ignore_list = get_ignore_list(r#"ignore = ["foo.rs"]"#);
436 let bar_source = String::from(r#"pub fn bar() { 1x; }"#);
437 let foo_source = String::from(r#"pub fn foo() { 1x; }"#);
438 let fatal_source =
439 String::from(r#"extern "system" fn jni_symbol!( funcName ) ( ... ) -> {} "#);
440 source_map.new_source_file(
17df50a5 441 SourceMapFileName::Real(RealFileName::LocalPath(PathBuf::from("bar.rs"))),
f20569fa
XL
442 bar_source,
443 );
444 source_map.new_source_file(
17df50a5 445 SourceMapFileName::Real(RealFileName::LocalPath(PathBuf::from("foo.rs"))),
f20569fa
XL
446 foo_source,
447 );
448 source_map.new_source_file(
17df50a5 449 SourceMapFileName::Real(RealFileName::LocalPath(PathBuf::from("fatal.rs"))),
f20569fa
XL
450 fatal_source,
451 );
452 let mut emitter = build_emitter(
cdc7bbd5
XL
453 Lrc::clone(&num_emitted_errors),
454 Lrc::clone(&can_reset_errors),
455 Some(Lrc::clone(&source_map)),
f20569fa
XL
456 Some(ignore_list),
457 );
458 let bar_span = MultiSpan::from_span(mk_sp(BytePos(0), BytePos(1)));
459 let foo_span = MultiSpan::from_span(mk_sp(BytePos(21), BytePos(22)));
460 let bar_diagnostic = build_diagnostic(DiagnosticLevel::Warning, Some(bar_span));
461 let foo_diagnostic = build_diagnostic(DiagnosticLevel::Warning, Some(foo_span));
462 let fatal_diagnostic = build_diagnostic(DiagnosticLevel::Fatal, None);
463 emitter.emit_diagnostic(&bar_diagnostic);
464 emitter.emit_diagnostic(&foo_diagnostic);
465 emitter.emit_diagnostic(&fatal_diagnostic);
cdc7bbd5
XL
466 assert_eq!(num_emitted_errors.load(Ordering::Acquire), 2);
467 assert_eq!(can_reset_errors.load(Ordering::Acquire), false);
f20569fa
XL
468 }
469 }
470}