org.qedeq.kernel.se.common
Class ModuleDataException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.qedeq.kernel.se.common.QedeqException
              org.qedeq.kernel.se.common.ModuleDataException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

CheckRequiredModuleException, ClassOperatorAlreadyExistsException, HeuristicException, IdentityOperatorAlreadyExistsException, IllegalModuleDataException, InterruptException, LatexContentException, LatexListDataException, LoadRequiredModuleException, LocationFoundException, LocationNotFoundException, LogicalCheckException, ProofException, ReferenceLinkException, RuntimeVisitorException, UnicodeException

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.
An error code, message and location should fix a certain data validation error, so only these informations are used for hashCode() and equals(Object).

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

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

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

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

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

Method Summary

boolean	equals(java.lang.Object obj)
ModuleContext	getContext() Get context information about error location.
ModuleContext	getReferenceContext() Get additional context information about another associated location.
int	hashCode()

Methods inherited from class org.qedeq.kernel.se.common.QedeqException

getErrorCode, toString

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, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ModuleDataException

public ModuleDataException(int errorCode,
                           java.lang.String message,
                           ModuleContext context,
                           ModuleContext referenceContext,
                           java.lang.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,
                           java.lang.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,
                           java.lang.String message,
                           ModuleContext context,
                           java.lang.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,
                           java.lang.String message,
                           ModuleContext context)

Constructor. Copies module context, so original can be changed.

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.

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public final boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object