Hilbert II - Version 0.03.04

org.qedeq.kernel.bo.module
Class ModuleDataException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byorg.qedeq.kernel.common.QedeqException
              extended byorg.qedeq.kernel.bo.module.ModuleDataException
All Implemented Interfaces:
Serializable
Direct Known Subclasses:
IllegalModuleDataException, LatexListDataException, LocationFoundException, LocationNotFoundException, LogicalCheckException, ModuleLoadingException

public abstract class ModuleDataException
extends QedeqException

Data validation error for a QEDEQ module. An error has always a reference to its location. Maybe an additional reference for another location is provided.

Version:
$Revision: 1.3 $
See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.lang.Exception
 
Constructor Summary
ModuleDataException(int errorCode, String message, ModuleContext context)
          Constructor.
ModuleDataException(int errorCode, String message, ModuleContext context, Exception cause)
          Constructor.
ModuleDataException(int errorCode, String message, ModuleContext context, ModuleContext referenceContext)
          Constructor.
ModuleDataException(int errorCode, String message, ModuleContext context, ModuleContext referenceContext, Exception cause)
          Constructor.
 
Method Summary
 ModuleContext getContext()
          Get context information about error location.
 ModuleContext getReferenceContext()
          Get additional context information about another associated location.
 
Methods inherited from class org.qedeq.kernel.common.QedeqException
getErrorCode
 
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

ModuleDataException

public ModuleDataException(int errorCode,
                           String message,
                           ModuleContext context,
                           ModuleContext referenceContext,
                           Exception cause)
Constructor.

Parameters:
errorCode - Error code of this message.
message - Error message.
context - Error location.
referenceContext - Reference location.
cause - Detailed exception information.

ModuleDataException

public ModuleDataException(int errorCode,
                           String message,
                           ModuleContext context,
                           ModuleContext referenceContext)
Constructor.

Parameters:
errorCode - Error code of this message.
message - Error message.
context - Error location.
referenceContext - Reference location.

ModuleDataException

public ModuleDataException(int errorCode,
                           String message,
                           ModuleContext context,
                           Exception cause)
Constructor.

Parameters:
errorCode - Error code of this message.
message - Error message.
context - Error location.
cause - Detailed exception information.

ModuleDataException

public ModuleDataException(int errorCode,
                           String message,
                           ModuleContext context)
Constructor.

Parameters:
errorCode - Error code of this message.
message - Error message.
context - Error location.
Method Detail

getContext

public final ModuleContext getContext()
Get context information about error location.

Returns:
Error location context.

getReferenceContext

public final ModuleContext getReferenceContext()
Get additional context information about another associated location.

Returns:
Additional error location context.

Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.