| 1 | use std::fmt; |
| 2 | |
| 3 | use crate::error::Error; |
| 4 | |
| 5 | type DeriveInputShape = String; |
| 6 | type FieldName = String; |
| 7 | type MetaFormat = String; |
| 8 | |
| 9 | #[derive (Debug, Clone)] |
| 10 | // Don't want to publicly commit to ErrorKind supporting equality yet, but |
| 11 | // not having it makes testing very difficult. |
| 12 | #[cfg_attr (test, derive(PartialEq))] |
| 13 | pub(in crate::error) enum ErrorKind { |
| 14 | /// An arbitrary error message. |
| 15 | Custom(String), |
| 16 | DuplicateField(FieldName), |
| 17 | MissingField(FieldName), |
| 18 | UnsupportedShape { |
| 19 | observed: DeriveInputShape, |
| 20 | expected: Option<String>, |
| 21 | }, |
| 22 | UnknownField(ErrorUnknownField), |
| 23 | UnexpectedFormat(MetaFormat), |
| 24 | UnexpectedType(String), |
| 25 | UnknownValue(String), |
| 26 | TooFewItems(usize), |
| 27 | TooManyItems(usize), |
| 28 | /// A set of errors. |
| 29 | Multiple(Vec<Error>), |
| 30 | |
| 31 | // TODO make this variant take `!` so it can't exist |
| 32 | #[doc (hidden)] |
| 33 | __NonExhaustive, |
| 34 | } |
| 35 | |
| 36 | impl ErrorKind { |
| 37 | pub fn description(&self) -> &str { |
| 38 | use self::ErrorKind::*; |
| 39 | |
| 40 | match *self { |
| 41 | Custom(ref s) => s, |
| 42 | DuplicateField(_) => "Duplicate field" , |
| 43 | MissingField(_) => "Missing field" , |
| 44 | UnknownField(_) => "Unexpected field" , |
| 45 | UnsupportedShape { .. } => "Unsupported shape" , |
| 46 | UnexpectedFormat(_) => "Unexpected meta-item format" , |
| 47 | UnexpectedType(_) => "Unexpected type" , |
| 48 | UnknownValue(_) => "Unknown literal value" , |
| 49 | TooFewItems(_) => "Too few items" , |
| 50 | TooManyItems(_) => "Too many items" , |
| 51 | Multiple(_) => "Multiple errors" , |
| 52 | __NonExhaustive => unreachable!(), |
| 53 | } |
| 54 | } |
| 55 | |
| 56 | /// Deeply counts the number of errors this item represents. |
| 57 | pub fn len(&self) -> usize { |
| 58 | if let ErrorKind::Multiple(ref items) = *self { |
| 59 | items.iter().map(Error::len).sum() |
| 60 | } else { |
| 61 | 1 |
| 62 | } |
| 63 | } |
| 64 | } |
| 65 | |
| 66 | impl fmt::Display for ErrorKind { |
| 67 | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
| 68 | use self::ErrorKind::*; |
| 69 | |
| 70 | match *self { |
| 71 | Custom(ref s) => s.fmt(f), |
| 72 | DuplicateField(ref field) => write!(f, "Duplicate field ` {}`" , field), |
| 73 | MissingField(ref field) => write!(f, "Missing field ` {}`" , field), |
| 74 | UnknownField(ref field) => field.fmt(f), |
| 75 | UnsupportedShape { |
| 76 | ref observed, |
| 77 | ref expected, |
| 78 | } => { |
| 79 | write!(f, "Unsupported shape ` {}`" , observed)?; |
| 80 | if let Some(expected) = &expected { |
| 81 | write!(f, ". Expected {}." , expected)?; |
| 82 | } |
| 83 | |
| 84 | Ok(()) |
| 85 | } |
| 86 | UnexpectedFormat(ref format) => write!(f, "Unexpected meta-item format ` {}`" , format), |
| 87 | UnexpectedType(ref ty) => write!(f, "Unexpected type ` {}`" , ty), |
| 88 | UnknownValue(ref val) => write!(f, "Unknown literal value ` {}`" , val), |
| 89 | TooFewItems(ref min) => write!(f, "Too few items: Expected at least {}" , min), |
| 90 | TooManyItems(ref max) => write!(f, "Too many items: Expected no more than {}" , max), |
| 91 | Multiple(ref items) if items.len() == 1 => items[0].fmt(f), |
| 92 | Multiple(ref items) => { |
| 93 | write!(f, "Multiple errors: (" )?; |
| 94 | let mut first = true; |
| 95 | for item in items { |
| 96 | if !first { |
| 97 | write!(f, ", " )?; |
| 98 | } else { |
| 99 | first = false; |
| 100 | } |
| 101 | |
| 102 | item.fmt(f)?; |
| 103 | } |
| 104 | |
| 105 | write!(f, ")" ) |
| 106 | } |
| 107 | __NonExhaustive => unreachable!(), |
| 108 | } |
| 109 | } |
| 110 | } |
| 111 | |
| 112 | impl From<ErrorUnknownField> for ErrorKind { |
| 113 | fn from(err: ErrorUnknownField) -> Self { |
| 114 | ErrorKind::UnknownField(err) |
| 115 | } |
| 116 | } |
| 117 | |
| 118 | /// An error for an unknown field, with a possible "did-you-mean" suggestion to get |
| 119 | /// the user back on the right track. |
| 120 | #[derive (Clone, Debug)] |
| 121 | // Don't want to publicly commit to ErrorKind supporting equality yet, but |
| 122 | // not having it makes testing very difficult. |
| 123 | #[cfg_attr (test, derive(PartialEq))] |
| 124 | pub(in crate::error) struct ErrorUnknownField { |
| 125 | name: String, |
| 126 | did_you_mean: Option<(f64, String)>, |
| 127 | } |
| 128 | |
| 129 | impl ErrorUnknownField { |
| 130 | pub fn new<I: Into<String>>(name: I, did_you_mean: Option<(f64, String)>) -> Self { |
| 131 | ErrorUnknownField { |
| 132 | name: name.into(), |
| 133 | did_you_mean, |
| 134 | } |
| 135 | } |
| 136 | |
| 137 | pub fn with_alts<'a, T, I>(field: &str, alternates: I) -> Self |
| 138 | where |
| 139 | T: AsRef<str> + 'a, |
| 140 | I: IntoIterator<Item = &'a T>, |
| 141 | { |
| 142 | ErrorUnknownField::new(field, did_you_mean(field, alternates)) |
| 143 | } |
| 144 | |
| 145 | /// Add more alternate field names to the error, updating the `did_you_mean` suggestion |
| 146 | /// if a closer match to the unknown field's name is found. |
| 147 | pub fn add_alts<'a, T, I>(&mut self, alternates: I) |
| 148 | where |
| 149 | T: AsRef<str> + 'a, |
| 150 | I: IntoIterator<Item = &'a T>, |
| 151 | { |
| 152 | if let Some(bna) = did_you_mean(&self.name, alternates) { |
| 153 | if let Some(current) = &self.did_you_mean { |
| 154 | if bna.0 > current.0 { |
| 155 | self.did_you_mean = Some(bna); |
| 156 | } |
| 157 | } else { |
| 158 | self.did_you_mean = Some(bna); |
| 159 | } |
| 160 | } |
| 161 | } |
| 162 | |
| 163 | #[cfg (feature = "diagnostics" )] |
| 164 | pub fn into_diagnostic(self, span: Option<::proc_macro2::Span>) -> ::proc_macro::Diagnostic { |
| 165 | let base = span |
| 166 | .unwrap_or_else(::proc_macro2::Span::call_site) |
| 167 | .unwrap() |
| 168 | .error(self.top_line()); |
| 169 | match self.did_you_mean { |
| 170 | Some((_, alt_name)) => base.help(format!("did you mean `{}`?" , alt_name)), |
| 171 | None => base, |
| 172 | } |
| 173 | } |
| 174 | |
| 175 | #[cfg (feature = "diagnostics" )] |
| 176 | fn top_line(&self) -> String { |
| 177 | format!("Unknown field: `{}`" , self.name) |
| 178 | } |
| 179 | } |
| 180 | |
| 181 | impl From<String> for ErrorUnknownField { |
| 182 | fn from(name: String) -> Self { |
| 183 | ErrorUnknownField::new(name, did_you_mean:None) |
| 184 | } |
| 185 | } |
| 186 | |
| 187 | impl<'a> From<&'a str> for ErrorUnknownField { |
| 188 | fn from(name: &'a str) -> Self { |
| 189 | ErrorUnknownField::new(name, did_you_mean:None) |
| 190 | } |
| 191 | } |
| 192 | |
| 193 | impl fmt::Display for ErrorUnknownField { |
| 194 | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
| 195 | write!(f, "Unknown field: ` {}`" , self.name)?; |
| 196 | |
| 197 | if let Some((_, ref did_you_mean: &String)) = self.did_you_mean { |
| 198 | write!(f, ". Did you mean ` {}`?" , did_you_mean)?; |
| 199 | } |
| 200 | |
| 201 | Ok(()) |
| 202 | } |
| 203 | } |
| 204 | |
| 205 | #[cfg (feature = "suggestions" )] |
| 206 | fn did_you_mean<'a, T, I>(field: &str, alternates: I) -> Option<(f64, String)> |
| 207 | where |
| 208 | T: AsRef<str> + 'a, |
| 209 | I: IntoIterator<Item = &'a T>, |
| 210 | { |
| 211 | let mut candidate: Option<(f64, &str)> = None; |
| 212 | for pv: &'a T in alternates { |
| 213 | let confidence: f64 = ::strsim::jaro_winkler(a:field, b:pv.as_ref()); |
| 214 | if confidence > 0.8 && (candidate.is_none() || (candidate.as_ref().unwrap().0 < confidence)) |
| 215 | { |
| 216 | candidate = Some((confidence, pv.as_ref())); |
| 217 | } |
| 218 | } |
| 219 | candidate.map(|(score: f64, candidate: &str)| (score, candidate.into())) |
| 220 | } |
| 221 | |
| 222 | #[cfg (not(feature = "suggestions" ))] |
| 223 | fn did_you_mean<'a, T, I>(_field: &str, _alternates: I) -> Option<(f64, String)> |
| 224 | where |
| 225 | T: AsRef<str> + 'a, |
| 226 | I: IntoIterator<Item = &'a T>, |
| 227 | { |
| 228 | None |
| 229 | } |
| 230 | |