de.upb.swt.mcie.mc
Class IncorrectUseException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
de.upb.swt.mcie.mc.IncorrectUseException
- All Implemented Interfaces:
- java.io.Serializable
public class IncorrectUseException
- extends java.lang.RuntimeException
Exception that results from an incorrect use of the model checking
procedures, the models, or their extensions.
- Author:
- Ekkart Kindler, kindler@upb.de
- See Also:
- Serialized Form
Field Summary |
private int |
errorNo
The number of the error. |
static int |
NOT_IMPLEMENTED
Error number: This error indicates that the invoked method
was not implemented in this model. |
Constructor Summary |
IncorrectUseException(int errorNo)
Constructs an IncorrectUseException with the provided error number. |
Method Summary |
java.lang.String |
toString()
Converts the exception to its String representation. |
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NOT_IMPLEMENTED
public static final int NOT_IMPLEMENTED
- Error number: This error indicates that the invoked method
was not implemented in this model.
- See Also:
- Constant Field Values
errorNo
private int errorNo
- The number of the error. The possible values are defined
as constants in this class.
IncorrectUseException
IncorrectUseException(int errorNo)
- Constructs an IncorrectUseException with the provided error number.
- Parameters:
errorNo
- number of the internal error; should be one of
the constants defined in this class.
toString
public java.lang.String toString()
- Converts the exception to its
String
representation.
- Overrides:
toString
in class java.lang.Throwable