rust/src/rewrite.rs

67 lines
2.2 KiB
Rust
Raw Normal View History

2015-06-22 03:04:34 +02:00
// A generic trait to abstract the rewriting of an element (of the AST).
2019-02-04 13:30:43 +03:00
use std::cell::RefCell;
use syntax::parse::ParseSess;
use syntax::ptr;
2018-08-23 17:14:19 -04:00
use syntax::source_map::{SourceMap, Span};
2015-06-16 17:29:05 +02:00
2019-02-04 13:30:43 +03:00
use crate::config::{Config, IndentStyle};
use crate::shape::Shape;
use crate::visitor::SnippetProvider;
use crate::FormatReport;
2018-03-07 15:37:44 +09:00
2019-05-09 20:37:51 +02:00
pub(crate) trait Rewrite {
/// Rewrite self into shape.
2019-02-09 16:14:30 +09:00
fn rewrite(&self, context: &RewriteContext<'_>, shape: Shape) -> Option<String>;
2015-06-16 17:29:05 +02:00
}
impl<T: Rewrite> Rewrite for ptr::P<T> {
2019-02-09 16:14:30 +09:00
fn rewrite(&self, context: &RewriteContext<'_>, shape: Shape) -> Option<String> {
(**self).rewrite(context, shape)
}
}
#[derive(Clone)]
2019-05-09 20:37:51 +02:00
pub(crate) struct RewriteContext<'a> {
pub(crate) parse_session: &'a ParseSess,
pub(crate) source_map: &'a SourceMap,
pub(crate) config: &'a Config,
pub(crate) inside_macro: RefCell<bool>,
2017-06-02 11:58:19 +09:00
// Force block indent style even if we are using visual indent style.
2019-05-09 20:37:51 +02:00
pub(crate) use_block: RefCell<bool>,
// When `is_if_else_block` is true, unindent the comment on top
2017-06-02 11:58:19 +09:00
// of the `else` or `else if`.
2019-05-09 20:37:51 +02:00
pub(crate) is_if_else_block: RefCell<bool>,
// When rewriting chain, veto going multi line except the last element
2019-05-09 20:37:51 +02:00
pub(crate) force_one_line_chain: RefCell<bool>,
pub(crate) snippet_provider: &'a SnippetProvider<'a>,
// Used for `format_snippet`
pub(crate) macro_rewrite_failure: RefCell<bool>,
2018-05-19 16:44:48 +12:00
pub(crate) report: FormatReport,
2019-05-09 20:37:51 +02:00
pub(crate) skip_macro_names: RefCell<Vec<String>>,
2015-06-16 17:29:05 +02:00
}
2015-08-14 20:00:22 +12:00
impl<'a> RewriteContext<'a> {
2019-05-09 20:37:51 +02:00
pub(crate) fn snippet(&self, span: Span) -> &str {
self.snippet_provider.span_to_snippet(span).unwrap()
2015-07-17 23:10:15 +02:00
}
2019-02-19 02:56:42 +00:00
/// Returns `true` if we should use block indent style for rewriting function call.
2019-05-09 20:37:51 +02:00
pub(crate) fn use_block_indent(&self) -> bool {
2018-03-07 15:37:44 +09:00
self.config.indent_style() == IndentStyle::Block || *self.use_block.borrow()
}
2019-05-09 20:37:51 +02:00
pub(crate) fn budget(&self, used_width: usize) -> usize {
2018-05-14 21:58:57 +09:00
self.config.max_width().saturating_sub(used_width)
}
2018-03-25 20:20:50 +09:00
2019-05-09 20:37:51 +02:00
pub(crate) fn inside_macro(&self) -> bool {
2018-03-25 20:20:50 +09:00
*self.inside_macro.borrow()
}
2019-05-09 20:37:51 +02:00
pub(crate) fn is_if_else_block(&self) -> bool {
2018-03-25 20:20:50 +09:00
*self.is_if_else_block.borrow()
}
2015-08-14 20:00:22 +12:00
}