fr.ove.openmath.exceptions
Class ErrorMessageException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byjava.lang.RuntimeException
              extended byfr.ove.openmath.exceptions.ErrorMessageException
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
ControlException, Mfd2Exception

public abstract class ErrorMessageException
extends java.lang.RuntimeException

An exception to subclass to alerts application of errors or to specialize the treatment of the symbol that causes the thrown of that kind of instance.
This class must be subclassed (it is an abstract class) to set the adequat error message and the possible details according to the symbol.

Version:
1.0 13/04/99
Author:
© 1998 DIRAT Laurent
See Also:
Serialized Form

Constructor Summary
ErrorMessageException(java.lang.String symbol)
          The constructor.
ErrorMessageException(java.lang.String symbol, java.lang.Object details)
          The constructor.
 
Method Summary
 java.lang.Object getDetails()
          Returns the details of the exception
 java.lang.String getErrorMessage()
          Returns the error message
 java.lang.String getSymbol()
          Returns the symbols which throws the instance
 boolean getThrowAgain()
          Returns if we've got to throw the exception.
 void setDetails(java.lang.Object details)
          Sets the details of the exception
 void setErrorMessage(java.lang.String errorMessage)
          Sets the error message
 void setSymbol(java.lang.String symbol)
          Sets the symbol which throws the instance
 void setThrowAgain(boolean throwAgain)
          Sets true if we've got to throw the exception.
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ErrorMessageException

public ErrorMessageException(java.lang.String symbol)
The constructor.

Parameters:
symbol - The symbol which throws the instance.

ErrorMessageException

public ErrorMessageException(java.lang.String symbol,
                             java.lang.Object details)
The constructor.

Parameters:
symbol - The symbol which throws the instance.
details - the details of the exception
Method Detail

getSymbol

public java.lang.String getSymbol()
Returns the symbols which throws the instance


setSymbol

public void setSymbol(java.lang.String symbol)
Sets the symbol which throws the instance


getDetails

public java.lang.Object getDetails()
Returns the details of the exception


setDetails

public void setDetails(java.lang.Object details)
Sets the details of the exception


setThrowAgain

public void setThrowAgain(boolean throwAgain)
Sets true if we've got to throw the exception.
false otherwise.


getThrowAgain

public boolean getThrowAgain()
Returns if we've got to throw the exception.


setErrorMessage

public void setErrorMessage(java.lang.String errorMessage)
Sets the error message


getErrorMessage

public java.lang.String getErrorMessage()
Returns the error message



Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.