| | |
| | | */ |
| | | UNEXPECTED_ADS_BACKEND_TYPE(), |
| | | /** |
| | | * Error merging with another ADSContext. |
| | | */ |
| | | ERROR_MERGING, |
| | | /** |
| | | * Unexpected error (potential bug). |
| | | */ |
| | | ERROR_UNEXPECTED(); |
| | |
| | | */ |
| | | public ADSContextException(ErrorType error, Throwable x) |
| | | { |
| | | super(getMessage(error, x), x); |
| | | this(error, getMessage(error, x), x); |
| | | } |
| | | |
| | | /** |
| | | * Creates an ADSContextException of the given error type with the provided |
| | | * error cause and message. |
| | | * @param error the error type. |
| | | * @param msg the message describing the error. |
| | | * @param x the throwable that generated this exception. |
| | | */ |
| | | public ADSContextException(ErrorType error, Message msg, Throwable x) |
| | | { |
| | | super(msg); |
| | | this.error = error; |
| | | this.embeddedException = x; |
| | | toString = "ADSContextException: error type "+error+"."; |