org.qedeq.kernel.bo.logic
Class CheckException

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ElementCheckException, FormulaCheckException, TermCheckException

public abstract class CheckException

extends ModuleDataException

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

Version:

$Revision: 1.5 $

See Also:

Serialized Form

Field Summary

Fields inherited from class java.lang.Exception

Constructor Summary

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

CheckException(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.base.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

CheckException

public CheckException(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.

CheckException

public CheckException(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.