1 package eu.simuline.relana.model;
2
3 /**
4 * Exception during verification of a class.
5 *
6 * Thrown by {@link CClass} if
7 * <ul>
8 * <li>
9 * an effect is redeclared without being declared,
10 * <li>
11 * redeclaration would weaken access privilegies
12 * <li>
13 * trial to redeclare other but subclass
14 * <li>
15 * Found effect with the same name: consider redeclare: more a warning
16 * <li>
17 * declaration in class and in superclass
18 * </ul>
19 *
20 * Trown by {@link SClass} if
21 * <ul>
22 * <li>
23 * minimal/maximal element not unique
24 * <li>
25 * relation should be spec in inner class because ...
26 * <li>
27 * relation not reflected by superclass
28 * <li>
29 * deficiency cyclically related with itself.
30 * <li>
31 * no deficiencies found.
32 * <li>
33 * relation has no minimal elements and is hence cyclic.
34 * <li>
35 * <li>
36 * relation is cyclic.
37 * </ul>
38 *
39 * Created: Wed Apr 20 23:38:10 2005
40 *
41 * @author <a href="mailto:ernst.reissner@simuline.eu">Ernst Reissner</a>
42 * @version 1.0
43 */
44 public class VerifyException extends RuntimeException {
45
46 private static final long serialVersionUID = -2479143000061671589L;
47
48 public VerifyException(String message) {
49 super(message);
50 }
51 } // VerifyException