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

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.FormulaCheckException

All Implemented Interfaces:

java.io.Serializable

public class FormulaCheckException
extends LogicalCheckException

This is an exception for logical errors within a QEDEQ module. A checked formula has an syntactical error. That is for example: Mixture of free and bound occurrence of a subject variable, element list that is has a subject variable operator but has not exactly one element that is an atom.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

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

FormulaCheckException(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

FormulaCheckException

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

context - Error location. Not necessarily pointing to element.

referenceContext - Reference location.

FormulaCheckException

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

context - Error location. Not necessarily pointing to element.