org.qedeq.kernel.bo.logic
Class TermCheckException

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
                      org.qedeq.kernel.bo.logic.TermCheckException

All Implemented Interfaces:

Serializable

public class TermCheckException

extends LogicalCheckException

This is an exception for logical errors within a QEDEQ module. This exception occurs if an element should be a term but is not.

Version:

$Revision: 1.4 $

See Also:

Serialized Form

Field Summary

Fields inherited from class java.lang.Exception

Constructor Summary

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

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

Methods inherited from class org.qedeq.kernel.bo.logic.LogicalCheckException

getElement, toString

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

TermCheckException

public TermCheckException(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 element.

context - Error location. Not necessarily pointing to element.

referenceContext - Reference location.

TermCheckException

public TermCheckException(int errorCode,
                          String message,
                          Element element,
                          ModuleContext context)

Constructs an exception.

Parameters:

errorCode - ErrorCode of this message.

message - What is the problem.

element - Problematic element.

context - Error location. Not necessarily pointing to element.