VerifyException (Relana 1.0 API)

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - java.lang.RuntimeException
    - - eu.simuline.relana.model.VerifyException

All Implemented Interfaces:

Serializable
```
public class VerifyException
extends RuntimeException
```
Exception during verification of a class. Thrown by CClass if
- an effect is redeclared without being declared,
- redeclaration would weaken access privilegies
- trial to redeclare other but subclass
- Found effect with the same name: consider redeclare: more a warning
- declaration in class and in superclass
Trown by SClass if
- minimal/maximal element not unique
- relation should be spec in inner class because ...
- relation not reflected by superclass
- deficiency cyclically related with itself.
- no deficiencies found.
- relation has no minimal elements and is hence cyclic.
- relation is cyclic.
Created: Wed Apr 20 23:38:10 2005
Version:

1.0

Author:

Ernst Reissner

See Also:

Serialized Form

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private static long serialVersionUID
- Constructor Summary
  
  Constructors
  Constructor Description
  
  VerifyException(String message)
- Method Summary
  - Methods inherited from class java.lang.Throwable
    addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - serialVersionUID
```
private static final long serialVersionUID
```
    See Also:
    
    Constant Field Values
- Constructor Detail
  - VerifyException
```
public VerifyException(String message)
```