org.qedeq.kernel.bo.logic.common
Class LogicalCheckException

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ElementCheckException, FormulaCheckException, ProofCheckException, TermCheckException

public abstract class LogicalCheckException
extends ModuleDataException

This is the basis for an exception for logical errors within a QEDEQ module.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

LogicalCheckException(int errorCode, java.lang.String message, Element element, ModuleContext context)
Constructs an exception.

LogicalCheckException(int errorCode, java.lang.String message, Element element, ModuleContext context, ModuleContext referenceContext)
Constructs an exception.

LogicalCheckException(int errorCode, java.lang.String message, ModuleContext context)
Constructs an exception.

Method Summary

Element	getElement() Get the problematic element.
java.lang.String	toString() Returns a short description of this throwable.

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

equals, getContext, getReferenceContext, hashCode

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

getErrorCode

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

LogicalCheckException

public LogicalCheckException(int errorCode,
                             java.lang.String message,
                             Element element,
                             ModuleContext context,
                             ModuleContext referenceContext)

Constructs an exception.

Parameters:

errorCode - ErrorCode of this message.

message - What is the problem.

element - Problematic line.

context - Error location.

referenceContext - Reference location.

LogicalCheckException

public LogicalCheckException(int errorCode,
                             java.lang.String message,
                             Element element,
                             ModuleContext context)

Constructs an exception.

Parameters:

errorCode - ErrorCode of this message.

message - What is the problem.

element - Problematic formula.

context - Error location.

LogicalCheckException

public LogicalCheckException(int errorCode,
                             java.lang.String message,
                             ModuleContext context)

Constructs an exception.

Parameters:

errorCode - ErrorCode of this message.

message - What is the problem.

context - Error location.

Method Detail

getElement

public final Element getElement()

Get the problematic element. Might be null.

Returns:

Element.

toString

public final java.lang.String toString()

Returns a short description of this throwable. If this Throwable object was created with a non-null detail message string, then the result is the concatenation of five strings:

• The name of the actual class of this object
• ": " (a colon and a space)
• The result of the Throwable.getMessage() method for this object
• "\n" (a newline)
• A string representation of the getElement() method for this object (might be empty).

Overrides:

toString in class QedeqException

Returns:

a string representation of this throwable.