org.qedeq.kernel.bo.logic.wf
Class TermCheckException

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

All Implemented Interfaces:

java.io.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.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

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

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

Method Summary

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

getElement, toString

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

TermCheckException

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

context - Error location. Not necessarily pointing to element.

referenceContext - Reference location.

TermCheckException

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

context - Error location. Not necessarily pointing to element.