Synthia
Generic and flexible data structure generator
PickerException.java
Go to the documentation of this file.
1
/*
2
Synthia, a data structure generator
3
Copyright (C) 2019-2020 Laboratoire d'informatique formelle
4
Université du Québec à Chicoutimi, Canada
5
6
This program is free software: you can redistribute it and/or modify
7
it under the terms of the GNU Lesser General Public License as published
8
by the Free Software Foundation, either version 3 of the License, or
9
(at your option) any later version.
10
11
This program is distributed in the hope that it will be useful,
12
but WITHOUT ANY WARRANTY; without even the implied warranty of
13
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14
GNU Lesser General Public License for more details.
15
16
You should have received a copy of the GNU Lesser General Public License
17
along with this program. If not, see <http://www.gnu.org/licenses/>.
18
*/
19
package
ca.uqac.lif.synthia;
20
21
/**
22
* Generic runtime exception thrown by the {@link Picker}
23
* interface.
24
* @ingroup API
25
*/
26
public
class
PickerException
extends
RuntimeException
27
{
28
/**
29
* Dummy UID
30
*/
31
private
static
final
long
serialVersionUID = 1L;
32
33
/**
34
* Creates a new picker exception from a throwable
35
* @param t The throwable
36
*/
37
public
PickerException
(Throwable t)
38
{
39
super(t);
40
}
41
42
/**
43
* Creates a new picker exception from a message
44
* @param message The message
45
*/
46
public
PickerException
(String message)
47
{
48
super(message);
49
}
50
}
ca.uqac.lif.synthia.PickerException.PickerException
PickerException(String message)
Creates a new picker exception from a message.
Definition:
PickerException.java:46
ca.uqac.lif.synthia.PickerException
Generic runtime exception thrown by the Picker interface.
Definition:
PickerException.java:26
ca.uqac.lif.synthia.PickerException.PickerException
PickerException(Throwable t)
Creates a new picker exception from a throwable.
Definition:
PickerException.java:37
Source
Core
src
ca
uqac
lif
synthia
PickerException.java
Generated by
1.8.17