Package: ReasonerNotAvailableException

ReasonerNotAvailableException

name	instruction	branch	complexity	line	method
ReasonerNotAvailableException()	M: 0 C: 3 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 2 100%	M: 0 C: 1 100%
ReasonerNotAvailableException(String)	M: 4 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
ReasonerNotAvailableException(String, Throwable)	M: 5 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%
ReasonerNotAvailableException(Throwable)	M: 4 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%

Coverage

1: /*
2: * JOPA
3: * Copyright (C) 2023 Czech Technical University in Prague
4: *
5: * This library is free software; you can redistribute it and/or
6: * modify it under the terms of the GNU Lesser General Public
7: * License as published by the Free Software Foundation; either
8: * version 3.0 of the License, or (at your option) any later version.
9: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library.
17: */
18: package cz.cvut.kbss.ontodriver.owlapi.exception;
19:
20: /**
21: * Signals that the driver requested services of a reasoner but it was not available.
22: */
23: public class ReasonerNotAvailableException extends RuntimeException {
24:
25: public ReasonerNotAvailableException() {
26: }
27:
28: public ReasonerNotAvailableException(String message) {
29: super(message);
30: }
31:
32: public ReasonerNotAvailableException(String message, Throwable cause) {
33: super(message, cause);
34: }
35:
36: public ReasonerNotAvailableException(Throwable cause) {
37: super(cause);
38: }
39: }