org.qedeq.kernel.bo.logic
Class LogicalCheckException

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ElementCheckException, FormulaCheckException, TermCheckException

public abstract class LogicalCheckException

extends ModuleDataException

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

Version:

$Revision: 1.2 $

See Also:

Serialized Form

Field Summary

Fields inherited from class java.lang.Exception

Constructor Summary

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

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

Method Summary

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

Methods inherited from class org.qedeq.kernel.bo.module.ModuleDataException

getContext, getReferenceContext

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LogicalCheckException

public LogicalCheckException(int errorCode,
                             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,
                             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.

Method Detail

getElement

public final Element getElement()

Get the element.

Returns:

element, that should have been a symbol

toString

public final 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

Returns:

a string representation of this throwable.