org.qedeq.kernel.bo.logic
Class FormulaCheckException

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

All Implemented Interfaces:

Serializable

public class FormulaCheckException

extends CheckException

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

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

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

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

getElement, toString

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

FormulaCheckException

public FormulaCheckException(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 formula.

context - Error location. Not necessarily pointing to element.

referenceContext - Reference location.

FormulaCheckException

public FormulaCheckException(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. Not necessarily pointing to element.