org.qedeq.kernel.bo.logic.proof.checker
Class ProofCheckException

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.proof.checker.ProofCheckException

All Implemented Interfaces:

java.io.Serializable

public class ProofCheckException
extends LogicalCheckException

This is an exception for formal proof errors within a QEDEQ module. A checked proof is not correct.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

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

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

ProofCheckException(int errorCode, java.lang.String message, ModuleContext context)
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

ProofCheckException

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

ProofCheckException

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

ProofCheckException

public ProofCheckException(int errorCode,
                           java.lang.String message,
                           ModuleContext context)

Constructs an exception.

Parameters:

errorCode - ErrorCode of this message.

message - What is the problem.

context - Error location. Not necessarily pointing to element.