de.upb.swt.mcie.mc
Class IncorrectUseException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by 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
 

Field Detail

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.

Constructor Detail

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.
Method Detail

toString

public java.lang.String toString()
Converts the exception to its String representation.

Overrides:
toString in class java.lang.Throwable