blob: 747574b994af936db9e8f700347a05f78bb627ce (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
/*
* SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.query.dnf;
import tools.refinery.store.query.InvalidQueryException;
public class InvalidClauseException extends InvalidQueryException {
private final int clauseIndex;
public InvalidClauseException(int clauseIndex) {
this.clauseIndex = clauseIndex;
}
public InvalidClauseException(int clauseIndex, String message) {
super(message);
this.clauseIndex = clauseIndex;
}
public InvalidClauseException(int clauseIndex, String message, Throwable cause) {
super(message, cause);
this.clauseIndex = clauseIndex;
}
public InvalidClauseException(int clauseIndex, Throwable cause) {
super(cause);
this.clauseIndex = clauseIndex;
}
public int getClauseIndex() {
return clauseIndex;
}
}
|