1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
17 use std::io::{Error, ErrorKind, Read};
18 use std::path::{Path, PathBuf};
20 use file_lines::FileLines;
21 use lists::{SeparatorTactic, ListTactic};
23 macro_rules! configuration_option_enum{
24 ($e:ident: $( $x:ident ),+ $(,)*) => {
25 #[derive(Copy, Clone, Eq, PartialEq, Debug)]
30 impl_enum_serialize_and_deserialize!($e, $( $x ),+);
34 configuration_option_enum! { Style:
35 Rfc, // Follow the style RFCs style.
36 Legacy, // Follow the traditional Rustfmt style.
39 configuration_option_enum! { NewlineStyle:
42 Native, // \r\n in Windows, \n on other platforms
45 configuration_option_enum! { BraceStyle:
48 // Prefer same line except where there is a where clause, in which case force
49 // the brace to the next line.
53 configuration_option_enum! { ControlBraceStyle:
54 // K&R style, Rust community default
62 // How to indent a function's return type.
63 configuration_option_enum! { ReturnIndent:
64 // Aligned with the arguments
66 // Aligned with the where clause
70 configuration_option_enum! { IndentStyle:
71 // First line on the same line as the opening brace, all lines aligned with
74 // First line is on a new line and all lines align with block indent.
78 configuration_option_enum! { Density:
79 // Fit as much on one line as possible.
83 // Try to compress if the body is empty.
85 // Place every item on a separate line.
89 configuration_option_enum! { TypeDensity:
90 // No spaces around "=" and "+"
92 // Spaces around " = " and " + "
98 pub fn to_list_tactic(self) -> ListTactic {
100 Density::Compressed => ListTactic::Mixed,
101 Density::Tall | Density::CompressedIfEmpty => ListTactic::HorizontalVertical,
102 Density::Vertical => ListTactic::Vertical,
107 configuration_option_enum! { LicensePolicy:
108 // Do not place license text at top of files
110 // Use the text in "license" field as the license
112 // Use a text file as the license text
116 configuration_option_enum! { MultilineStyle:
117 // Use horizontal layout if it fits in one line, fall back to vertical
119 // Use vertical layout
123 impl MultilineStyle {
124 pub fn to_list_tactic(self) -> ListTactic {
126 MultilineStyle::PreferSingle => ListTactic::HorizontalVertical,
127 MultilineStyle::ForceMulti => ListTactic::Vertical,
132 configuration_option_enum! { ReportTactic:
138 configuration_option_enum! { WriteMode:
139 // Backs the original file up and overwrites the original.
141 // Overwrites original file without backup.
143 // Writes the output to stdout.
145 // Writes the diff to stdout.
147 // Displays how much of the input file was processed
151 // Outputs a checkstyle XML file.
155 /// Trait for types that can be used in `Config`.
156 pub trait ConfigType: Sized {
157 /// Returns hint text for use in `Config::print_docs()`. For enum types, this is a
158 /// pipe-separated list of variants; for other types it returns "<type>".
159 fn doc_hint() -> String;
162 impl ConfigType for bool {
163 fn doc_hint() -> String {
164 String::from("<boolean>")
168 impl ConfigType for usize {
169 fn doc_hint() -> String {
170 String::from("<unsigned integer>")
174 impl ConfigType for isize {
175 fn doc_hint() -> String {
176 String::from("<signed integer>")
180 impl ConfigType for String {
181 fn doc_hint() -> String {
182 String::from("<string>")
186 impl ConfigType for FileLines {
187 fn doc_hint() -> String {
188 String::from("<json>")
192 pub struct ConfigHelpItem {
193 option_name: &'static str,
194 doc_string: &'static str,
195 variant_names: String,
196 default: &'static str,
199 impl ConfigHelpItem {
200 pub fn option_name(&self) -> &'static str {
204 pub fn doc_string(&self) -> &'static str {
208 pub fn variant_names(&self) -> &String {
212 pub fn default(&self) -> &'static str {
217 macro_rules! create_config {
218 ($($i:ident: $ty:ty, $def:expr, $( $dstring:expr ),+ );+ $(;)*) => (
221 // For each config item, we store a bool indicating whether it has
222 // been accessed and the value, and a bool whether the option was
223 // manually initialised, or taken from the default,
224 $($i: (Cell<bool>, bool, $ty)),+
227 // Just like the Config struct but with each property wrapped
228 // as Option<T>. This is used to parse a rustfmt.toml that doesn't
229 // specity all properties of `Config`.
230 // We first parse into `PartialConfig`, then create a default `Config`
231 // and overwrite the properties with corresponding values from `PartialConfig`.
232 #[derive(Deserialize, Serialize, Clone)]
233 pub struct PartialConfig {
234 $(pub $i: Option<$ty>),+
238 pub fn to_toml(&self) -> Result<String, String> {
239 // file_lines can't be specified in TOML
240 let mut cloned = self.clone();
241 cloned.file_lines = None;
243 toml::to_string(&cloned)
244 .map_err(|e| format!("Could not output config: {}", e.to_string()))
248 // Macro hygiene won't allow us to make `set_$i()` methods on Config
249 // for each item, so this struct is used to give the API to set values:
250 // `config.get().option(false)`. It's pretty ugly. Consider replacing
251 // with `config.set_option(false)` if we ever get a stable/usable
252 // `concat_idents!()`.
253 pub struct ConfigSetter<'a>(&'a mut Config);
255 impl<'a> ConfigSetter<'a> {
257 pub fn $i(&mut self, value: $ty) {
258 (self.0).$i.2 = value;
263 // Query each option, returns true if the user set the option, false if
264 // a default was used.
265 pub struct ConfigWasSet<'a>(&'a Config);
267 impl<'a> ConfigWasSet<'a> {
269 pub fn $i(&self) -> bool {
278 pub fn $i(&self) -> $ty {
284 pub fn set<'a>(&'a mut self) -> ConfigSetter<'a> {
288 pub fn was_set<'a>(&'a self) -> ConfigWasSet<'a> {
292 fn fill_from_parsed_config(mut self, parsed: PartialConfig) -> Config {
294 if let Some(val) = parsed.$i {
302 pub fn from_toml(toml: &str) -> Result<Config, String> {
303 let parsed: toml::Value =
304 toml.parse().map_err(|e| format!("Could not parse TOML: {}", e))?;
305 let mut err: String = String::new();
309 .ok_or(String::from("Parsed config was not table"))?;
310 for (key, _) in table {
313 stringify!($i) => (),
317 &format!("Warning: Unknown configuration option `{}`\n",
324 match parsed.try_into() {
326 Ok(Config::default().fill_from_parsed_config(parsed_config)),
328 err.push_str("Error: Decoding config file failed:\n");
329 err.push_str(format!("{}\n", e).as_str());
330 err.push_str("Please check your config file.\n");
336 pub fn used_options(&self) -> PartialConfig {
339 $i: if self.$i.0.get() {
340 Some(self.$i.2.clone())
348 pub fn all_options(&self) -> PartialConfig {
351 $i: Some(self.$i.2.clone()),
356 pub fn override_value(&mut self, key: &str, val: &str)
361 self.$i.2 = val.parse::<$ty>()
362 .expect(&format!("Failed to parse override for {} (\"{}\") as a {}",
368 _ => panic!("Unknown config key in override: {}", key)
372 /// Construct a `Config` from the toml file specified at `file_path`.
374 /// This method only looks at the provided path, for a method that
375 /// searches parents for a `rustfmt.toml` see `from_resolved_toml_path`.
377 /// Return a `Config` if the config could be read and parsed from
378 /// the file, Error otherwise.
379 pub fn from_toml_path(file_path: &Path) -> Result<Config, Error> {
380 let mut file = File::open(&file_path)?;
381 let mut toml = String::new();
382 file.read_to_string(&mut toml)?;
383 Config::from_toml(&toml).map_err(|err| Error::new(ErrorKind::InvalidData, err))
386 /// Resolve the config for input in `dir`.
388 /// Searches for `rustfmt.toml` beginning with `dir`, and
389 /// recursively checking parents of `dir` if no config file is found.
390 /// If no config file exists in `dir` or in any parent, a
391 /// default `Config` will be returned (and the returned path will be empty).
393 /// Returns the `Config` to use, and the path of the project file if there was
395 pub fn from_resolved_toml_path(dir: &Path) -> Result<(Config, Option<PathBuf>), Error> {
397 /// Try to find a project file in the given directory and its parents.
398 /// Returns the path of a the nearest project file if one exists,
399 /// or `None` if no project file was found.
400 fn resolve_project_file(dir: &Path) -> Result<Option<PathBuf>, Error> {
401 let mut current = if dir.is_relative() {
402 env::current_dir()?.join(dir)
407 current = fs::canonicalize(current)?;
410 match get_toml_path(¤t) {
411 Ok(Some(path)) => return Ok(Some(path)),
412 Err(e) => return Err(e),
416 // If the current directory has no parent, we're done searching.
423 match resolve_project_file(dir)? {
424 None => Ok((Config::default(), None)),
425 Some(path) => Config::from_toml_path(&path).map(|config| (config, Some(path))),
430 pub fn print_docs() {
433 $( let max = cmp::max(max, stringify!($i).len()+1); )+
434 let mut space_str = String::with_capacity(max);
438 println!("Configuration Options:");
440 let name_raw = stringify!($i);
441 let mut name_out = String::with_capacity(max);
442 for _ in name_raw.len()..max-1 {
445 name_out.push_str(name_raw);
447 println!("{}{} Default: {:?}",
452 println!("{}{}", space_str, $dstring);
459 // Template for the default configuration
460 impl Default for Config {
461 fn default() -> Config {
464 $i: (Cell::new(false), false, $def),
472 /// Check for the presence of known config file names (`rustfmt.toml, `.rustfmt.toml`) in `dir`
474 /// Return the path if a config file exists, empty if no file exists, and Error for IO errors
475 pub fn get_toml_path(dir: &Path) -> Result<Option<PathBuf>, Error> {
476 const CONFIG_FILE_NAMES: [&'static str; 2] = [".rustfmt.toml", "rustfmt.toml"];
477 for config_file_name in &CONFIG_FILE_NAMES {
478 let config_file = dir.join(config_file_name);
479 match fs::metadata(&config_file) {
480 // Only return if it's a file to handle the unlikely situation of a directory named
482 Ok(ref md) if md.is_file() => return Ok(Some(config_file)),
483 // Return the error if it's something other than `NotFound`; otherwise we didn't
484 // find the project file yet, and continue searching.
485 Err(e) => if e.kind() != ErrorKind::NotFound {
497 verbose: bool, false, "Use verbose output";
498 disable_all_formatting: bool, false, "Don't reformat anything";
499 skip_children: bool, false, "Don't reformat out of line modules";
500 file_lines: FileLines, FileLines::all(),
501 "Lines to format; this is not supported in rustfmt.toml, and can only be specified \
502 via the --file-lines option";
503 max_width: usize, 100, "Maximum width of each line";
504 error_on_line_overflow: bool, true, "Error if unable to get all lines within max_width";
505 tab_spaces: usize, 4, "Number of spaces per tab";
506 fn_call_width: usize, 60,
507 "Maximum width of the args of a function call before falling back to vertical formatting";
508 struct_lit_width: usize, 18,
509 "Maximum width in the body of a struct lit before falling back to vertical formatting";
510 struct_variant_width: usize, 35,
511 "Maximum width in the body of a struct variant before falling back to vertical formatting";
512 force_explicit_abi: bool, true, "Always print the abi for extern items";
513 newline_style: NewlineStyle, NewlineStyle::Unix, "Unix or Windows line endings";
514 fn_brace_style: BraceStyle, BraceStyle::SameLineWhere, "Brace style for functions";
515 item_brace_style: BraceStyle, BraceStyle::SameLineWhere, "Brace style for structs and enums";
516 control_style: Style, Style::Rfc, "Indent style for control flow statements";
517 control_brace_style: ControlBraceStyle, ControlBraceStyle::AlwaysSameLine,
518 "Brace style for control flow constructs";
519 impl_empty_single_line: bool, true, "Put empty-body implementations on a single line";
520 trailing_comma: SeparatorTactic, SeparatorTactic::Vertical,
521 "How to handle trailing commas for lists";
522 fn_empty_single_line: bool, true, "Put empty-body functions on a single line";
523 fn_single_line: bool, false, "Put single-expression functions on a single line";
524 fn_return_indent: ReturnIndent, ReturnIndent::WithArgs,
525 "Location of return type in function declaration";
526 fn_args_paren_newline: bool, false, "If function argument parenthesis goes on a newline";
527 fn_args_density: Density, Density::Tall, "Argument density in functions";
528 fn_args_layout: IndentStyle, IndentStyle::Block,
529 "Layout of function arguments and tuple structs";
530 array_layout: IndentStyle, IndentStyle::Block, "Indent on arrays";
531 array_width: usize, 60,
532 "Maximum width of an array literal before falling back to vertical formatting";
533 array_horizontal_layout_threshold: usize, 0,
534 "How many elements array must have before rustfmt uses horizontal layout.";
535 type_punctuation_density: TypeDensity, TypeDensity::Wide,
536 "Determines if '+' or '=' are wrapped in spaces in the punctuation of types";
537 where_style: Style, Style::Rfc, "Overall strategy for where clauses";
539 // 1. Should we at least try to put the where clause on the same line as the rest of the
541 // 2. Currently options `Tall` and `Vertical` produce the same output.
542 where_density: Density, Density::CompressedIfEmpty, "Density of a where clause";
543 where_layout: ListTactic, ListTactic::Vertical, "Element layout inside a where clause";
544 where_pred_indent: IndentStyle, IndentStyle::Visual,
545 "Indentation style of a where predicate";
546 generics_indent: IndentStyle, IndentStyle::Block, "Indentation of generics";
547 struct_lit_style: IndentStyle, IndentStyle::Block, "Style of struct definition";
548 struct_lit_multiline_style: MultilineStyle, MultilineStyle::PreferSingle,
549 "Multiline style on literal structs";
550 fn_call_style: IndentStyle, IndentStyle::Block, "Indentation for function calls, etc.";
551 report_todo: ReportTactic, ReportTactic::Never,
552 "Report all, none or unnumbered occurrences of TODO in source file comments";
553 report_fixme: ReportTactic, ReportTactic::Never,
554 "Report all, none or unnumbered occurrences of FIXME in source file comments";
555 chain_indent: IndentStyle, IndentStyle::Block, "Indentation of chain";
556 chain_one_line_max: usize, 60, "Maximum length of a chain to fit on a single line";
557 chain_split_single_child: bool, false, "Split a chain with a single child if its length \
558 exceeds `chain_one_line_max`";
559 reorder_imports: bool, false, "Reorder import statements alphabetically";
560 reorder_imports_in_group: bool, false, "Reorder import statements in group";
561 reorder_imported_names: bool, false,
562 "Reorder lists of names in import statements alphabetically";
563 single_line_if_else_max_width: usize, 50, "Maximum line length for single line if-else \
564 expressions. A value of zero means always break \
565 if-else expressions.";
566 format_strings: bool, false, "Format string literals where necessary";
567 force_format_strings: bool, false, "Always format string literals";
568 take_source_hints: bool, false, "Retain some formatting characteristics from the source code";
569 hard_tabs: bool, false, "Use tab characters for indentation, spaces for alignment";
570 wrap_comments: bool, false, "Break comments to fit on the line";
571 comment_width: usize, 80, "Maximum length of comments. No effect unless wrap_comments = true";
572 normalize_comments: bool, false, "Convert /* */ comments to // comments where possible";
573 wrap_match_arms: bool, true, "Wrap the body of arms in blocks when it does not fit on \
574 the same line with the pattern of arms";
575 match_block_trailing_comma: bool, false,
576 "Put a trailing comma after a block based match arm (non-block arms are not affected)";
577 indent_match_arms: bool, true, "Indent match arms instead of keeping them at the same \
578 indentation level as the match keyword";
579 closure_block_indent_threshold: isize, 7, "How many lines a closure must have before it is \
580 block indented. -1 means never use block indent.";
581 space_before_type_annotation: bool, false,
582 "Leave a space before the colon in a type annotation";
583 space_after_type_annotation_colon: bool, true,
584 "Leave a space after the colon in a type annotation";
585 space_before_struct_lit_field_colon: bool, false,
586 "Leave a space before the colon in a struct literal field";
587 space_after_struct_lit_field_colon: bool, true,
588 "Leave a space after the colon in a struct literal field";
589 space_before_bound: bool, false, "Leave a space before the colon in a trait or lifetime bound";
590 space_after_bound_colon: bool, true,
591 "Leave a space after the colon in a trait or lifetime bound";
592 spaces_around_ranges: bool, false, "Put spaces around the .. and ... range operators";
593 spaces_within_angle_brackets: bool, false, "Put spaces within non-empty generic arguments";
594 spaces_within_square_brackets: bool, false, "Put spaces within non-empty square brackets";
595 spaces_within_parens: bool, false, "Put spaces within non-empty parentheses";
596 use_try_shorthand: bool, false, "Replace uses of the try! macro by the ? shorthand";
597 write_mode: WriteMode, WriteMode::Replace,
598 "What Write Mode to use when none is supplied: Replace, Overwrite, Display, Diff, Coverage";
599 condense_wildcard_suffixes: bool, false, "Replace strings of _ wildcards by a single .. in \
601 combine_control_expr: bool, true, "Combine control expressions with funciton calls.";
602 struct_field_align_threshold: usize, 0, "Align struct fields if their diffs fits within \
611 fn test_config_set() {
612 let mut config = Config::default();
613 config.set().verbose(false);
614 assert_eq!(config.verbose(), false);
615 config.set().verbose(true);
616 assert_eq!(config.verbose(), true);
620 fn test_config_used_to_toml() {
621 let config = Config::default();
623 let verbose = config.verbose();
624 let skip_children = config.skip_children();
626 let used_options = config.used_options();
627 let toml = used_options.to_toml().unwrap();
630 format!("verbose = {}\nskip_children = {}\n", verbose, skip_children)
636 let config = Config::from_toml("hard_tabs = true").unwrap();
638 assert_eq!(config.was_set().hard_tabs(), true);
639 assert_eq!(config.was_set().verbose(), false);