2015-08-11 18:53:50 +00:00
|
|
|
use syntax::ast::*;
|
|
|
|
use rustc::lint::{Context, LintPass, LintArray};
|
|
|
|
use rustc::middle::ty;
|
|
|
|
|
|
|
|
use utils::{span_lint, match_def_path, walk_ptrs_ty};
|
|
|
|
|
|
|
|
#[derive(Copy,Clone)]
|
|
|
|
pub struct MethodsPass;
|
|
|
|
|
|
|
|
declare_lint!(pub OPTION_UNWRAP_USED, Warn,
|
|
|
|
"Warn on using unwrap() on an Option value");
|
|
|
|
declare_lint!(pub RESULT_UNWRAP_USED, Allow,
|
|
|
|
"Warn on using unwrap() on a Result value");
|
2015-08-12 11:58:55 +00:00
|
|
|
declare_lint!(pub STR_TO_STRING, Warn,
|
|
|
|
"Warn when a String could use to_owned() instead of to_string()");
|
2015-08-12 15:02:49 +00:00
|
|
|
declare_lint!(pub STRING_TO_STRING, Warn,
|
|
|
|
"Warn when calling String.to_string()");
|
2015-08-11 18:53:50 +00:00
|
|
|
|
|
|
|
impl LintPass for MethodsPass {
|
|
|
|
fn get_lints(&self) -> LintArray {
|
2015-08-12 15:02:49 +00:00
|
|
|
lint_array!(OPTION_UNWRAP_USED, RESULT_UNWRAP_USED, STR_TO_STRING, STRING_TO_STRING)
|
2015-08-11 18:53:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn check_expr(&mut self, cx: &Context, expr: &Expr) {
|
|
|
|
if let ExprMethodCall(ref ident, _, ref args) = expr.node {
|
2015-08-12 11:58:55 +00:00
|
|
|
let ref obj_ty = walk_ptrs_ty(cx.tcx.expr_ty(&*args[0])).sty;
|
2015-08-11 18:53:50 +00:00
|
|
|
if ident.node.name == "unwrap" {
|
2015-08-12 11:58:55 +00:00
|
|
|
if let ty::TyEnum(did, _) = *obj_ty {
|
2015-08-11 18:53:50 +00:00
|
|
|
if match_def_path(cx, did.did, &["core", "option", "Option"]) {
|
|
|
|
span_lint(cx, OPTION_UNWRAP_USED, expr.span,
|
|
|
|
"used unwrap() on an Option value. If you don't want \
|
|
|
|
to handle the None case gracefully, consider using
|
|
|
|
expect() to provide a better panic message.");
|
|
|
|
}
|
|
|
|
else if match_def_path(cx, did.did, &["core", "result", "Result"]) {
|
|
|
|
span_lint(cx, RESULT_UNWRAP_USED, expr.span,
|
|
|
|
"used unwrap() on a Result value. Graceful handling \
|
|
|
|
of Err values is preferred.");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-08-12 11:58:55 +00:00
|
|
|
else if ident.node.name == "to_string" {
|
|
|
|
if let ty::TyStr = *obj_ty {
|
|
|
|
span_lint(cx, STR_TO_STRING, expr.span, "`str.to_owned()` is faster");
|
|
|
|
}
|
2015-08-12 15:02:49 +00:00
|
|
|
else if let ty::TyStruct(did, _) = *obj_ty {
|
|
|
|
if match_def_path(cx, did.did, &["collections", "string", "String"]) {
|
|
|
|
span_lint(cx, STRING_TO_STRING, expr.span,
|
|
|
|
"`String.to_string()` is a no-op")
|
|
|
|
}
|
|
|
|
}
|
2015-08-12 11:58:55 +00:00
|
|
|
}
|
2015-08-11 18:53:50 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|