2015-10-17 08:56:53 -05:00
|
|
|
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
use Indent;
|
|
|
|
use rewrite::{Rewrite, RewriteContext};
|
|
|
|
use utils::{wrap_str, format_mutability, span_after};
|
|
|
|
use lists::{format_item_list, itemize_list};
|
|
|
|
use expr::{rewrite_unary_prefix, rewrite_pair, rewrite_tuple};
|
|
|
|
use types::rewrite_path;
|
|
|
|
|
2015-11-12 14:38:41 -06:00
|
|
|
use syntax::ast::{BindingMode, Pat, Pat_};
|
2015-10-17 08:56:53 -05:00
|
|
|
|
|
|
|
// FIXME(#18): implement pattern formatting.
|
|
|
|
impl Rewrite for Pat {
|
|
|
|
fn rewrite(&self, context: &RewriteContext, width: usize, offset: Indent) -> Option<String> {
|
|
|
|
match self.node {
|
2015-11-14 14:57:31 -06:00
|
|
|
Pat_::PatBox(ref pat) => rewrite_unary_prefix(context, "box ", &**pat, width, offset),
|
2015-10-17 08:56:53 -05:00
|
|
|
Pat_::PatIdent(binding_mode, ident, None) => {
|
|
|
|
let (prefix, mutability) = match binding_mode {
|
|
|
|
BindingMode::BindByRef(mutability) => ("ref ", mutability),
|
|
|
|
BindingMode::BindByValue(mutability) => ("", mutability),
|
|
|
|
};
|
|
|
|
let mut_infix = format_mutability(mutability);
|
|
|
|
let result = format!("{}{}{}", prefix, mut_infix, ident.node);
|
|
|
|
wrap_str(result, context.config.max_width, width, offset)
|
|
|
|
}
|
2015-11-12 14:38:41 -06:00
|
|
|
Pat_::PatWild => {
|
|
|
|
if 1 <= width {
|
|
|
|
Some("_".to_owned())
|
2015-10-17 08:56:53 -05:00
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Pat_::PatQPath(ref q_self, ref path) => {
|
2015-11-14 15:52:43 -06:00
|
|
|
rewrite_path(context, true, Some(q_self), path, width, offset)
|
2015-10-17 08:56:53 -05:00
|
|
|
}
|
|
|
|
Pat_::PatRange(ref lhs, ref rhs) => {
|
|
|
|
rewrite_pair(&**lhs, &**rhs, "", "...", "", context, width, offset)
|
|
|
|
}
|
|
|
|
Pat_::PatRegion(ref pat, mutability) => {
|
|
|
|
let prefix = format!("&{}", format_mutability(mutability));
|
|
|
|
rewrite_unary_prefix(context, &prefix, &**pat, width, offset)
|
|
|
|
}
|
2015-11-14 14:57:31 -06:00
|
|
|
Pat_::PatTup(ref items) => rewrite_tuple(context, items, self.span, width, offset),
|
2015-10-17 08:56:53 -05:00
|
|
|
Pat_::PatEnum(ref path, Some(ref pat_vec)) => {
|
2015-11-14 15:52:43 -06:00
|
|
|
let path_str = try_opt!(::types::rewrite_path(context,
|
|
|
|
true,
|
|
|
|
None,
|
|
|
|
path,
|
|
|
|
width,
|
|
|
|
offset));
|
2015-10-17 08:56:53 -05:00
|
|
|
|
|
|
|
if pat_vec.is_empty() {
|
|
|
|
Some(path_str)
|
|
|
|
} else {
|
2015-10-23 13:44:46 -05:00
|
|
|
// 1 = (
|
|
|
|
let width = try_opt!(width.checked_sub(path_str.len() + 1));
|
|
|
|
let offset = offset + path_str.len() + 1;
|
2015-10-17 08:56:53 -05:00
|
|
|
let items = itemize_list(context.codemap,
|
|
|
|
pat_vec.iter(),
|
|
|
|
")",
|
|
|
|
|item| item.span.lo,
|
|
|
|
|item| item.span.hi,
|
|
|
|
|item| item.rewrite(context, width, offset),
|
|
|
|
span_after(self.span, "(", context.codemap),
|
|
|
|
self.span.hi);
|
|
|
|
Some(format!("{}({})",
|
|
|
|
path_str,
|
|
|
|
try_opt!(format_item_list(items, width, offset, context.config))))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Pat_::PatLit(ref expr) => expr.rewrite(context, width, offset),
|
|
|
|
// FIXME(#8): format remaining pattern variants.
|
|
|
|
Pat_::PatIdent(_, _, Some(..)) |
|
|
|
|
Pat_::PatEnum(_, None) |
|
|
|
|
Pat_::PatStruct(..) |
|
|
|
|
Pat_::PatVec(..) |
|
|
|
|
Pat_::PatMac(..) => {
|
|
|
|
wrap_str(context.snippet(self.span),
|
|
|
|
context.config.max_width,
|
|
|
|
width,
|
|
|
|
offset)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|