2015-06-21 20:04:34 -05:00
|
|
|
// A generic trait to abstract the rewriting of an element (of the AST).
|
|
|
|
|
2019-09-18 08:37:08 -05:00
|
|
|
use std::cell::{Cell, RefCell};
|
2019-09-04 09:00:26 -05:00
|
|
|
use std::rc::Rc;
|
2019-02-04 04:30:43 -06:00
|
|
|
|
2020-03-27 22:29:12 -05:00
|
|
|
use rustc_ast::ptr;
|
2020-03-26 21:25:34 -05:00
|
|
|
use rustc_span::Span;
|
2015-06-16 10:29:05 -05:00
|
|
|
|
2019-02-04 04:30:43 -06:00
|
|
|
use crate::config::{Config, IndentStyle};
|
2021-12-29 20:49:39 -06:00
|
|
|
use crate::parse::session::ParseSess;
|
2019-02-04 04:30:43 -06:00
|
|
|
use crate::shape::Shape;
|
2019-07-16 19:40:33 -05:00
|
|
|
use crate::skip::SkipContext;
|
2019-02-04 04:30:43 -06:00
|
|
|
use crate::visitor::SnippetProvider;
|
|
|
|
use crate::FormatReport;
|
2018-03-07 00:37:44 -06:00
|
|
|
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) trait Rewrite {
|
2017-01-30 13:28:48 -06:00
|
|
|
/// Rewrite self into shape.
|
2019-02-09 01:14:30 -06:00
|
|
|
fn rewrite(&self, context: &RewriteContext<'_>, shape: Shape) -> Option<String>;
|
2015-06-16 10:29:05 -05:00
|
|
|
}
|
|
|
|
|
2018-09-29 00:33:00 -05:00
|
|
|
impl<T: Rewrite> Rewrite for ptr::P<T> {
|
2019-02-09 01:14:30 -06:00
|
|
|
fn rewrite(&self, context: &RewriteContext<'_>, shape: Shape) -> Option<String> {
|
2018-09-29 00:33:00 -05:00
|
|
|
(**self).rewrite(context, shape)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-04-21 18:29:01 -05:00
|
|
|
#[derive(Clone)]
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) struct RewriteContext<'a> {
|
2020-03-26 21:25:34 -05:00
|
|
|
pub(crate) parse_sess: &'a ParseSess,
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) config: &'a Config,
|
2019-09-18 08:37:08 -05:00
|
|
|
pub(crate) inside_macro: Rc<Cell<bool>>,
|
2017-06-01 21:58:19 -05:00
|
|
|
// Force block indent style even if we are using visual indent style.
|
2019-09-18 08:37:08 -05:00
|
|
|
pub(crate) use_block: Cell<bool>,
|
2018-10-11 08:21:15 -05:00
|
|
|
// When `is_if_else_block` is true, unindent the comment on top
|
2017-06-01 21:58:19 -05:00
|
|
|
// of the `else` or `else if`.
|
2019-09-18 08:37:08 -05:00
|
|
|
pub(crate) is_if_else_block: Cell<bool>,
|
2017-06-04 01:23:00 -05:00
|
|
|
// When rewriting chain, veto going multi line except the last element
|
2019-09-18 08:37:08 -05:00
|
|
|
pub(crate) force_one_line_chain: Cell<bool>,
|
2020-03-26 21:25:34 -05:00
|
|
|
pub(crate) snippet_provider: &'a SnippetProvider,
|
2018-06-06 22:32:10 -05:00
|
|
|
// Used for `format_snippet`
|
2019-09-18 08:37:08 -05:00
|
|
|
pub(crate) macro_rewrite_failure: Cell<bool>,
|
2020-11-10 20:07:42 -06:00
|
|
|
pub(crate) is_macro_def: bool,
|
2018-05-18 23:44:48 -05:00
|
|
|
pub(crate) report: FormatReport,
|
2019-07-16 19:40:33 -05:00
|
|
|
pub(crate) skip_context: SkipContext,
|
2019-09-04 09:00:26 -05:00
|
|
|
pub(crate) skipped_range: Rc<RefCell<Vec<(usize, usize)>>>,
|
2015-06-16 10:29:05 -05:00
|
|
|
}
|
2015-08-14 03:00:22 -05:00
|
|
|
|
2019-09-04 21:15:46 -05:00
|
|
|
pub(crate) struct InsideMacroGuard {
|
|
|
|
is_nested_macro_context: bool,
|
2019-09-18 08:37:08 -05:00
|
|
|
inside_macro_ref: Rc<Cell<bool>>,
|
2019-09-04 21:15:46 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl InsideMacroGuard {
|
|
|
|
pub(crate) fn is_nested(&self) -> bool {
|
|
|
|
self.is_nested_macro_context
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Drop for InsideMacroGuard {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
self.inside_macro_ref.replace(self.is_nested_macro_context);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-08-14 03:00:22 -05:00
|
|
|
impl<'a> RewriteContext<'a> {
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) fn snippet(&self, span: Span) -> &str {
|
2017-12-06 07:49:49 -06:00
|
|
|
self.snippet_provider.span_to_snippet(span).unwrap()
|
2015-07-17 16:10:15 -05:00
|
|
|
}
|
2017-06-03 08:43:12 -05:00
|
|
|
|
2019-02-18 20:56:42 -06:00
|
|
|
/// Returns `true` if we should use block indent style for rewriting function call.
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) fn use_block_indent(&self) -> bool {
|
2019-09-18 08:37:08 -05:00
|
|
|
self.config.indent_style() == IndentStyle::Block || self.use_block.get()
|
2017-06-03 08:43:12 -05:00
|
|
|
}
|
2017-06-24 05:46:36 -05:00
|
|
|
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) fn budget(&self, used_width: usize) -> usize {
|
2018-05-14 07:58:57 -05:00
|
|
|
self.config.max_width().saturating_sub(used_width)
|
2017-06-24 05:46:36 -05:00
|
|
|
}
|
2018-03-25 06:20:50 -05:00
|
|
|
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) fn inside_macro(&self) -> bool {
|
2019-09-18 08:37:08 -05:00
|
|
|
self.inside_macro.get()
|
2018-03-25 06:20:50 -05:00
|
|
|
}
|
|
|
|
|
2019-09-04 21:15:46 -05:00
|
|
|
pub(crate) fn enter_macro(&self) -> InsideMacroGuard {
|
|
|
|
let is_nested_macro_context = self.inside_macro.replace(true);
|
|
|
|
InsideMacroGuard {
|
|
|
|
is_nested_macro_context,
|
|
|
|
inside_macro_ref: self.inside_macro.clone(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn leave_macro(&self) {
|
|
|
|
self.inside_macro.replace(false);
|
|
|
|
}
|
|
|
|
|
2019-05-09 13:37:51 -05:00
|
|
|
pub(crate) fn is_if_else_block(&self) -> bool {
|
2019-09-18 08:37:08 -05:00
|
|
|
self.is_if_else_block.get()
|
2018-03-25 06:20:50 -05:00
|
|
|
}
|
2015-08-14 03:00:22 -05:00
|
|
|
}
|