JavaScript is disabled on your browser.
Detail:
Field |
Constr |
Method
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
GenericSortException
public class SortException
extends IllegalInstantiationException
this exception is thrown from an "SVInstantiations"-Object if the
sorts of a schema variable and its instantiation are not compatible
(and not generic)
See Also:
Serialized Form
Constructor Summary
Constructors
Constructor and Description
SortException (java.lang.String description)
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
Detail:
Field |
Constr |
Method
Copyright © 2003-2019 The KeY-Project .