1use std::{collections::HashSet, error::Error as StdError, fmt};
21
22use itertools::Itertools;
23use tonic::{Code, Status};
24use tonic_types::StatusExt;
25
26use super::{address::Address, RequestID};
27
28macro_rules! error_messages {
29 {
30 $name:ident code: $code_pfx:literal, type: $message_pfx:literal,
31 $($error_name:ident $({ $($field:ident : $inner:ty),+ $(,)? })? = $code:literal: $body:literal),+ $(,)?
32 } => {
33 #[derive(Clone, Eq, PartialEq)]
34 pub enum $name {$(
35 $error_name$( { $($field: $inner),+ })?,
36 )*}
37
38 impl $name {
39 pub const PREFIX: &'static str = $code_pfx;
40
41 pub const fn code(&self) -> usize {
42 match self {$(
43 Self::$error_name $({ $($field: _),+ })? => $code,
44 )*}
45 }
46
47 pub fn format_code(&self) -> String {
48 format!(concat!("[", $code_pfx, "{}{}]"), self.padding(), self.code())
49 }
50
51 pub fn message(&self) -> String {
52 match self {$(
53 Self::$error_name $({$($field),+})? => format!($body $($(, $field = $field)+)?),
54 )*}
55 }
56
57 const fn max_code() -> usize {
58 let mut max = usize::MIN;
59 $(max = if $code > max { $code } else { max };)*
60 max
61 }
62
63 const fn num_digits(x: usize) -> usize {
64 if (x < 10) { 1 } else { 1 + Self::num_digits(x/10) }
65 }
66
67 const fn padding(&self) -> &'static str {
68 match Self::num_digits(Self::max_code()) - Self::num_digits(self.code()) {
69 0 => "",
70 1 => "0",
71 2 => "00",
72 3 => "000",
73 _ => unreachable!(),
74 }
75 }
76
77 const fn name(&self) -> &'static str {
78 match self {$(
79 Self::$error_name $({ $($field: _),+ })? => concat!(stringify!($name), "::", stringify!($error_name)),
80 )*}
81 }
82 }
83
84 impl std::fmt::Display for $name {
85 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
86 write!(
87 f,
88 concat!("[", $code_pfx, "{}{}] ", $message_pfx, ": {}"),
89 self.padding(),
90 self.code(),
91 self.message()
92 )
93 }
94 }
95
96 impl std::fmt::Debug for $name {
97 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
98 let mut debug_struct = f.debug_struct(self.name());
99 debug_struct.field("message", &format!("{}", self));
100 $(
101 $(
102 if let Self::$error_name { $($field),+ } = &self {
103 $(debug_struct.field(stringify!($field), &$field);)+
104 }
105 )?
106 )*
107 debug_struct.finish()
108 }
109 }
110
111 impl std::error::Error for $name {
112 fn source(&self) -> Option<&(dyn std::error::Error + 'static)> {
113 None
114 }
115 }
116 };
117}
118
119error_messages! { ConnectionError
120 code: "CXN", type: "Connection Error",
121 RPCMethodUnavailable { message: String } =
122 1: "The server does not support this method, please check the driver-server compatibility:\n'{message}'.",
123 ServerConnectionFailed { addresses: Vec<Address> } =
124 2: "Unable to connect to TypeDB server(s) at: \n{addresses:?}",
125 ServerConnectionFailedWithError { error: String } =
126 3: "Unable to connect to TypeDB server(s), received errors: \n{error}",
127 ServerConnectionFailedStatusError { error: String } =
128 4: "Unable to connect to TypeDB server(s), received network or protocol error: \n{error}",
129 ServerConnectionIsClosed =
130 5: "The connection has been closed and no further operation is allowed.",
131 TransactionIsClosed =
132 6: "The transaction is closed and no further operation is allowed.",
133 TransactionIsClosedWithErrors { errors: String } =
134 7: "The transaction is closed because of the error(s):\n{errors}",
135 DatabaseNotFound { name: String } =
136 8: "Database '{name}' not found.",
137 MissingResponseField { field: &'static str } =
138 9: "Missing field in message received from server: '{field}'. This is either a version compatibility issue or a bug.",
139 UnknownRequestId { request_id: RequestID } =
140 10: "Received a response with unknown request id '{request_id}'",
141 UnexpectedResponse { response: String } =
142 11: "Received unexpected response from server: '{response}'. This is either a version compatibility issue or a bug.",
143 InvalidResponseField { name: &'static str } =
144 12: "Invalid field in message received from server: '{name}'. This is either a version compatibility issue or a bug.",
145 QueryStreamNoResponse =
146 13: "Didn't receive any server responses for the query.",
147 UnexpectedQueryType { query_type: i32 } =
148 14: "Unexpected query type in message received from server: {query_type}. This is either a version compatibility issue or a bug.",
149 ClusterReplicaNotPrimary =
150 15: "The replica is not the primary replica.",
151 ClusterAllNodesFailed { errors: String } =
152 16: "Attempted connecting to all TypeDB Cluster servers, but the following errors occurred: \n{errors}.",
153 ClusterTokenCredentialInvalid =
154 17: "Invalid token credentials.",
155 EncryptionSettingsMismatch =
156 18: "Unable to connect to TypeDB: possible encryption settings mismatch.",
157 SSLCertificateNotValidated =
158 19: "SSL handshake with TypeDB failed: the server's identity could not be verified. Possible CA mismatch.",
159 BrokenPipe =
160 20: "Stream closed because of a broken pipe. This could happen if you are attempting to connect to an unencrypted TypeDB server using a TLS-enabled credentials.",
161 ConnectionFailed =
162 21: "Connection failed. Please check the server is running and the address is accessible. Encrypted TypeDB endpoints may also have misconfigured SSL certificates.",
163 MissingPort { address: String } =
164 22: "Invalid URL '{address}': missing port.",
165 AddressTranslationMismatch { unknown: HashSet<Address>, unmapped: HashSet<Address> } =
166 23: "Address translation map does not match the server's advertised address list. User-provided servers not in the advertised list: {unknown:?}. Advertised servers not mapped by user: {unmapped:?}.",
167 ValueTimeZoneNameNotRecognised { time_zone: String } =
168 24: "Time zone provided by the server has name '{time_zone}', which is not an officially recognized timezone.",
169 ValueTimeZoneOffsetNotRecognised { offset: i32 } =
170 25: "Time zone provided by the server has numerical offset '{offset}', which is not recognised as a valid value for offset in seconds.",
171 ValueStructNotImplemented =
172 26: "Struct valued responses are not yet supported by the driver.",
173 ListsNotImplemented =
174 27: "Lists are not yet supported by the driver.",
175 UnexpectedKind { kind: i32 } =
176 28: "Unexpected kind in message received from server: {kind}. This is either a version compatibility issue or a bug.",
177 UnexpectedConnectionClose =
178 29: "Connection closed unexpectedly.",
179}
180
181error_messages! { ConceptError
182 code: "CPT", type: "Concept Error",
183 UnavailableRowVariable { variable: String } =
184 1: "Cannot get concept from a concept row by variable '{variable}'.",
185 UnavailableRowIndex { index: usize } =
186 2: "Cannot get concept from a concept row by index '{index}'.",
187}
188
189error_messages! { InternalError
190 code: "INT", type: "Internal Error",
191 RecvError =
192 1: "Channel is closed.",
193 SendError =
194 2: "Unable to send response over callback channel (receiver dropped).",
195 UnexpectedRequestType { request_type: String } =
196 3: "Unexpected request type for remote procedure call: {request_type}. This is either a version compatibility issue or a bug.",
197 UnexpectedResponseType { response_type: String } =
198 4: "Unexpected response type for remote procedure call: {response_type}. This is either a version compatibility issue or a bug.",
199 UnknownServer { server: Address } =
200 5: "Received replica at unrecognized server: {server}.",
201 EnumOutOfBounds { value: i32, enum_name: &'static str } =
202 6: "Value '{value}' is out of bounds for enum '{enum_name}'.",
203}
204
205#[derive(Clone, PartialEq, Eq)]
206pub struct ServerError {
207 error_code: String,
208 error_domain: String,
209 message: String,
210 stack_trace: Vec<String>,
211}
212
213impl ServerError {
214 pub(crate) fn new(error_code: String, error_domain: String, message: String, stack_trace: Vec<String>) -> Self {
215 Self { error_code, error_domain, message, stack_trace }
216 }
217
218 pub(crate) fn format_code(&self) -> &str {
219 &self.error_code
220 }
221
222 pub(crate) fn message(&self) -> String {
223 self.to_string()
224 }
225
226 fn to_string(&self) -> String {
227 if self.stack_trace.is_empty() {
228 format!("[{}] {}. {}", self.error_code, self.error_domain, self.message)
229 } else {
230 format!("\n{}", self.stack_trace.join("\nCaused: "))
231 }
232 }
233}
234
235impl fmt::Display for ServerError {
236 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
237 write!(f, "{}", self.to_string())
238 }
239}
240
241impl fmt::Debug for ServerError {
242 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
243 fmt::Display::fmt(self, f)
244 }
245}
246
247#[derive(Clone, Debug, PartialEq, Eq)]
249pub enum Error {
250 Connection(ConnectionError),
251 Concept(ConceptError),
252 Internal(InternalError),
253 Server(ServerError),
254 Other(String),
255}
256
257impl Error {
258 pub fn code(&self) -> String {
259 match self {
260 Self::Connection(error) => error.format_code(),
261 Self::Concept(error) => error.format_code(),
262 Self::Internal(error) => error.format_code(),
263 Self::Server(error) => error.format_code().to_owned(),
264 Self::Other(_error) => String::new(),
265 }
266 }
267
268 pub fn message(&self) -> String {
269 match self {
270 Self::Connection(error) => error.message(),
271 Self::Concept(error) => error.message(),
272 Self::Internal(error) => error.message(),
273 Self::Server(error) => error.message(),
274 Self::Other(error) => error.clone(),
275 }
276 }
277
278 fn from_message(message: &str) -> Self {
279 Self::Other(message.to_owned())
281 }
282
283 fn parse_unavailable(status_message: &str) -> Error {
284 if status_message == "broken pipe" {
285 Error::Connection(ConnectionError::BrokenPipe)
286 } else if status_message.contains("received corrupt message") {
287 Error::Connection(ConnectionError::EncryptionSettingsMismatch)
288 } else if status_message.contains("UnknownIssuer") {
289 Error::Connection(ConnectionError::SSLCertificateNotValidated)
290 } else if status_message.contains("Connection refused") {
291 Error::Connection(ConnectionError::ConnectionFailed)
292 } else {
293 Error::Connection(ConnectionError::ServerConnectionFailedStatusError { error: status_message.to_owned() })
294 }
295 }
296}
297
298impl fmt::Display for Error {
299 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
300 match self {
301 Self::Connection(error) => write!(f, "{error}"),
302 Self::Concept(error) => write!(f, "{error}"),
303 Self::Internal(error) => write!(f, "{error}"),
304 Self::Server(error) => write!(f, "{error}"),
305 Self::Other(message) => write!(f, "{message}"),
306 }
307 }
308}
309
310impl StdError for Error {
311 fn source(&self) -> Option<&(dyn StdError + 'static)> {
312 match self {
313 Self::Connection(error) => Some(error),
314 Self::Concept(error) => Some(error),
315 Self::Internal(error) => Some(error),
316 Self::Server(_) => None,
317 Self::Other(_) => None,
318 }
319 }
320}
321
322impl From<ConnectionError> for Error {
323 fn from(error: ConnectionError) -> Self {
324 Self::Connection(error)
325 }
326}
327
328impl From<ConceptError> for Error {
329 fn from(error: ConceptError) -> Self {
330 Self::Concept(error)
331 }
332}
333
334impl From<InternalError> for Error {
335 fn from(error: InternalError) -> Self {
336 Self::Internal(error)
337 }
338}
339
340impl From<ServerError> for Error {
341 fn from(error: ServerError) -> Self {
342 Self::Server(error)
343 }
344}
345
346impl From<Status> for Error {
347 fn from(status: Status) -> Self {
348 if let Ok(details) = status.check_error_details() {
349 if let Some(bad_request) = details.bad_request() {
350 Self::Connection(ConnectionError::ServerConnectionFailedWithError {
351 error: format!("{:?}", bad_request),
352 })
353 } else if let Some(error_info) = details.error_info() {
354 let code = error_info.reason.clone();
355 let domain = error_info.domain.clone();
356 let stack_trace =
357 if let Some(debug_info) = details.debug_info() { debug_info.stack_entries.clone() } else { vec![] };
358 Self::Server(ServerError::new(code, domain, status.message().to_owned(), stack_trace))
359 } else {
360 Self::from_message(status.message())
361 }
362 } else {
363 if status.code() == Code::Unavailable {
364 Self::parse_unavailable(status.message())
365 } else if status.code() == Code::Unknown
366 || is_rst_stream(&status)
367 || status.code() == Code::InvalidArgument
368 || status.code() == Code::FailedPrecondition
369 || status.code() == Code::AlreadyExists
370 {
371 Self::Connection(ConnectionError::ServerConnectionFailedStatusError {
372 error: status.message().to_owned(),
373 })
374 } else if status.code() == Code::Unimplemented {
375 Self::Connection(ConnectionError::RPCMethodUnavailable { message: status.message().to_owned() })
376 } else {
377 Self::from_message(status.message())
378 }
379 }
380 }
381}
382
383fn is_rst_stream(status: &Status) -> bool {
384 status.message().contains("Received Rst Stream")
386}
387
388impl From<http::uri::InvalidUri> for Error {
389 fn from(err: http::uri::InvalidUri) -> Self {
390 Self::Other(err.to_string())
391 }
392}
393
394impl From<tonic::transport::Error> for Error {
395 fn from(err: tonic::transport::Error) -> Self {
396 Self::Other(err.to_string())
397 }
398}
399
400impl<T> From<tokio::sync::mpsc::error::SendError<T>> for Error {
401 fn from(_err: tokio::sync::mpsc::error::SendError<T>) -> Self {
402 Self::Internal(InternalError::SendError)
403 }
404}
405
406impl From<tokio::sync::oneshot::error::RecvError> for Error {
407 fn from(_err: tokio::sync::oneshot::error::RecvError) -> Self {
408 Self::Internal(InternalError::RecvError)
409 }
410}
411
412impl From<crossbeam::channel::RecvError> for Error {
413 fn from(_err: crossbeam::channel::RecvError) -> Self {
414 Self::Internal(InternalError::RecvError)
415 }
416}
417
418impl<T> From<crossbeam::channel::SendError<T>> for Error {
419 fn from(_err: crossbeam::channel::SendError<T>) -> Self {
420 Self::Internal(InternalError::SendError)
421 }
422}
423
424impl From<String> for Error {
425 fn from(err: String) -> Self {
426 Self::Other(err)
427 }
428}
429
430impl From<std::io::Error> for Error {
431 fn from(err: std::io::Error) -> Self {
432 Self::Other(err.to_string())
433 }
434}